20 Result(s)

Chapter and Conference Paper

Correlations Linking Macroergonomic Premises with Key Features of Intelligent Buildings

The subject of this study is the processes of macroergonomic improvements of intelligent buildings. The macroergonomic premises involve both the technological-economic and political-legal component as well as ...

Leszek Pacholski in Advances in Manufacturing, Production Management and Process Control (2021)

Chapter and Conference Paper

The Macroergonomic Improvement of Total Quality Management Industrial Systems

Quality based macroergonomic improvement of industrial systems involve both a technological-organizational component as well as human communities subjectively treated in this system. The essence of Total Quali...

Milena Drzewiecka-Dahlke… in Advances in Social and Occupational Ergonomics (2020)

Chapter and Conference Paper

The Conditioning of Macroergonomic Design and Improvement of the Intelligent Building’s Use and Service

The subject of this study are the processes of macroergonomic design, use and service as well as improvement of intelligent buildings. These processes involve both the technological-organizational component as...

Joanna Kalkowska, Leszek Pacholski in Advances in Social and Occupational Ergonomics (2020)

Chapter and Conference Paper

Improvement Method of Subcontract Phase of Production Process in IT Production Management System – Case Study

A subject of the paper is a model of production process in IT production management system, presented in simplified form of items flow diagram through technological operations and stores between operations.

Maciej Siemieniak, Katarzyna Siemieniak… in Advances in Social and Occupational Ergono… (2019)

Chapter and Conference Paper

The Future of Macroergonomic Manufacturing Systems

The goal of the paper is to present research results concerning the future of Macroergonomic Manufacturing Systems (MMS). This research were based on an expert version of Delphi method and fuzzy set applicati...

Joanna Kałkowska, Maciej Siemieniak… in Advances in Social and Occupational Ergono… (2019)

Chapter and Conference Paper

Methodology of Maturity Level Rating for Macro Ergonomic System in Area of Sustainable Development

Paper concerns methodology of macro ergonomic system maturity level rating. The technique is design for wide range of branches and may be useful for companies, where size and reputation have no matter. Sustai...

Leszek Pacholski, Marek Szczuka in Advances in Social & Occupational Ergonomics (2018)

Chapter and Conference Paper

Implementation of TPM Methodology in Worker Fatigue Management - A Macroergonomic Approach

The article describes the use of TPM pillars: Focused Improvement, Autonomous Maintenance, Planned Maintenance, Quality Maintenance, Early Equipment Management and Training and Education, along with their imp...

Marcin Butlewski, Grzegorz Dahlke… in Advances in Social & Occupational Ergonomi… (2018)

Chapter and Conference Paper

The Usage of Simulation Technology for Macroergonomic Industrial Systems Improvement

The paper presents progress and results of the project, which was performed for the particular macroergonomic system. The goal of the project is the analysis of the buses’ production process capability after t...

Leszek Pacholski, Pawel Pawlewski in Advances in Social & Occupational Ergonomics (2017)

Chapter and Conference Paper

A Multi-Criterial Hardware Assessment of the Psychophysical Capacity of Workers in the Investigation of Fatigue

The article presents a multiple-criteria-based evaluation of the suitability of selected measuring devices for assessing fatigue levels in miners during underground work in a bituminous coal mine. The changing...

Grzegorz Dahlke, Milena Drzewiecka… in Advances in Social & Occupational Ergonomi… (2017)

Chapter and Conference Paper

Tarskian set constraints are in NEXPTIME

In this paper we show that satisfiability of Tarskian set constraints (without recursion) can be decided in exponential time. This closes the gap left open by D.A. McAllester, R. Givan, C. Witty and D. Kozen i...

Pawel Mielniczuk, Leszek Pacholski in Mathematical Foundations of Computer Science 1998 (1998)

Chapter and Conference Paper

Set constraints: A pearl in research on constraints

The topic of set constraints is a pearl among the research topics on constraints. It combines theoretical investigations (ranging from logical expressiveness, decidability, algorithms and complexity analysis t...

Leszek Pacholski… in Principles and Practice of Constraint Programming-CP97 (1997)

Chapter and Conference Paper

Decidability of finiteness properties

We are going to survey decidability results concerning finiteness of sets of terms or formulas that arise in investigations of equational bases of abstract algebras, axiomatisations of propositional logics, un...

Leszek Pacholski in Conditional Term Rewriting Systems (1993)

Chapter and Conference Paper

Word equations with two variables

Witold Charatonik, Leszek Pacholski in Word Equations and Related Topics (1993)

Chapter and Conference Paper

Undecidability of implication problems in logic programming, database theory and classical logic

The paper contains a survey of results in various areas of logic and theoretical computer science which seem to have similar logical structure. The author believes that similarity is not restricted to similar ...

Leszek Pacholski in Computational Logic and Proof Theory (1993)

Article

Reduced products which are not saturated

IfT is a complete theory of Boolean algebra, then we writeA ⊲_T B to denote that for every cardinal κ and every κ-regular filter over a setI such that the Boolean algebra 2 _{F ...}

Leszek Pacholski, Jerzy Tomasik in algebra universalis (1982)

Article

Homogeneous limit reduced powers

Leszek Pacholski in Archiv für mathematische Logik und Grundlagenforschung (1981)