LEADER 13135nam 22007455 450 001 9910337622203321 005 20251230061321.0 010 $a3-319-94000-7 024 7 $a10.1007/978-3-319-94000-7 035 $a(CKB)4100000004836523 035 $a(DE-He213)978-3-319-94000-7 035 $a(MiAaPQ)EBC5435260 035 $a(Au-PeEL)EBL5435260 035 $a(OCoLC)1041937708 035 $a(PPN)229496083 035 $a(EXLCZ)994100000004836523 100 $a20180623d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvances in Social and Occupational Ergonomics $eProceedings of the AHFE 2018 International Conference on Social and Occupational Ergonomics, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA /$fedited by Richard H. M. Goossens 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XIII, 432 p. 148 illus.) 225 1 $aAdvances in Intelligent Systems and Computing,$x2194-5365 ;$v792 311 08$a3-319-93999-8 327 $aIntro -- Advances in Human Factors and Ergonomics 2018 -- Preface -- Contents -- Social and Occupational Ergonomics: Evaluation, Optimization and Job Design -- Ergonomic Risk Assessment of Gas Delivery Operations and Stretching Program Design -- Abstract -- 1 Introduction -- 2 Method -- 2.1 OSHA Analysis -- 2.2 Phase 2: Task Analysis -- 2.3 Phase 3: Stretching Card Design -- 3 Results -- 3.1 Phase 1: OSHA Analysis -- 3.2 Phase 2: Task Analysis -- 3.3 Phase 3: Stretching Card Design -- 4 Discussion -- 5 Conclusion -- References -- Evaluating Training for Manual Handling in the Workplace -- Abstract -- 1 Introduction -- 1.1 Manual Material Handling Risks -- 1.2 Training: A Noteworthy Path for Prevention -- 1.3 A New Approach to Material Manual Handling -- 1.3.1 An Adapted Content: Handling Principles -- 1.3.2 Expanding the Intervention: Going Beyond Training -- 1.3.3 Encourage Participation: Learning Through Action -- 2 Methodology -- 2.1 Data Collection Tools -- 2.2 Characteristics of the Observed TPs -- 3 Results -- 3.1 Characteristics of Companies and MMH Activities -- 3.2 The Content Presented to the Participants -- 3.3 Going Beyond Training to Firmly Fix the Intervention in the Company's Habits -- 3.4 Participation of Various Actors -- 4 Discussion -- 4.1 A Multi-faceted Approach -- 4.2 Diverse Uses of Intervention Mechanisms -- 5 Conclusion -- References -- Intuitionistic Fuzzy REBA Method and Its Application in a Manufacturing Company -- Abstract -- 1 Introduction -- 2 Rapid Entire Body Assessment (REBA) Method -- 3 Methodology -- 3.1 Fuzzy Set -- 3.2 Intuitionistic Fuzzy Sets -- 3.3 Intuitionistic Fuzzy REBA Method -- 3.4 Transforming Intuitionistic Fuzzy REBA Scores into Type-1 Fuzzy Scores -- 4 Application -- 5 Conclusion -- References -- Optimizing the Workstation of a Dentist -- Abstract -- 1 Introduction -- 2 Methods and Procedures. 327 $a2.1 The Dentist -- 2.2 Task -- 2.3 Equipment and Machines -- 2.4 Work Space -- 2.5 Physical Environment -- 2.6 Work Organization -- 3 Gaps and Solutions -- 4 Reassessment -- 5 Discussion -- 6 Conclusion -- References -- Biomechanical Risk Assessment of Pathologists in the Morgue -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 2.1 Akward Postures -- 2.2 Manual Handling of Loads -- 2.3 Surface Electromyography (sEMG) -- 3 Results -- 3.1 Awkward Postures -- 3.2 Manual Handling of Loads -- 4 Conclusions -- References -- Job Design and Ergonomic Risk in Administrative Jobs -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 3 Results -- 4 Conclusions -- References -- Occupational Health and Safety Challenges Among Small and Medium Sized Enterprise Contractors in South Africa -- Abstract -- 1 Introduction -- 2 Literature Review -- 3 Research Methodology -- 4 Findings and Discussion -- 5 Conclusion -- References -- Dynamics of Resistance in the Change Process -- Abstract -- 1 Introduction -- 2 Realisation of Change Process and Emergence of Resistance - the Research -- 2.1 Situation 1 - Change of Production Order -- 2.2 Situation 2 - Increase of the Target Value of Process Capability Index Cp -- 2.3 Situation 3 - Reducing the Fraction of Production Rejects by Several Percentage Points -- 2.4 Situation 4 - Employing a New Worker -- 2.5 Situation 5 - Informing a Worker About a Disciplinary Penalty -- 3 Summary -- References -- The Concept of Teaching Modeling and Simulation of Manufacturing Systems -- Abstract -- 1 Introduction -- 2 Models and Systems -- 2.1 Discrete Event -- 2.2 System Dynamics -- 2.3 Available Tools -- 3 Teaching Methods -- 3.1 Worldwide Tendency -- 3.2 In Poland -- 4 The Concept -- 5 Conclusion -- References -- Methods for Assessing the Effectiveness of Language Learning - A Comparative Study -- Abstract. 327 $a1 Introduction -- 2 Basic Principles in Formative and Summative Assessment -- 3 Challenges in Language Assessment -- 4 Assessment Validity, Reliability, Practicality and Appropriateness -- 5 A Brief Overview of Assessment Instruments -- 6 Concluding Remarks -- References -- A Look at the Ergonomic Situation of the Bakery Industry in the City of Quito, Ecuador -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 3 Results -- 4 Conclusions -- References -- The Case for Paternity Leave in Ghana: Imperatives and Implications for Gender Parity -- Abstract -- 1 Introduction -- 2 Arguments for Paternity Leave -- 2.1 Family Case for Paternity Leave -- 2.2 Business Case for Paternity Leave -- 3 Paternity Leave in Ghana: The Position of the Law -- 4 Illustrative Cases of Paternity Leave Around the World -- 4.1 Europe, Asia and America -- 4.2 Africa -- 5 Implications for Gender Parity -- 6 Conclusion -- References -- Ergonomics in Reuse and Recycling of Solid Materials: Demand Analysis -- Abstract -- 1 Introduction -- 2 Analysis of the Work Organization -- 2.1 Identification of Sectors -- 2.2 Description of Activities -- 3 Conclusions -- References -- Workplace and Sexual Harassment: Time to Take a Second Look at the Law? -- Abstract -- 1 Introduction -- 2 Sexual Harassment -- 2.1 Meaning and Controversies -- 2.2 Abuse of Power -- 2.3 A 21st Century Perspective -- 3 Sexual Harassment: A Global Menace -- 4 Problems with the Current Ghanaian Law -- 5 Conclusion -- References -- Social and Occupational Factors of Comfort, Discomfort and Pain -- Fuzzy Model Evaluation of Vehicles Ergonomics and Its Influence on Occupational Diseases -- Abstract -- 1 Introduction -- 2 Models and Methods -- 3 Synthesis Results -- 4 Conclusion -- References -- How to Improve Ancient Handcraft: The Bobbin Lace -- Abstract -- 1 Introduction -- 2 The Bobbin Lace -- 3 Conclusions. 327 $aAcknowledgments -- References -- The Need for Ergonomic Studies for the Reduction of Injuries and Redesign of Tools in the Agricultural Sector Through TRIZ -- Abstract -- 1 Introduction -- 2 Background -- 3 Methods -- 4 Results -- 5 Discussion -- Acknowledgments -- References -- A Postural Analysis of Rice Farming in San Miguel, Bulacan -- Abstract -- 1 Introduction -- 1.1 Background of the Study -- 1.2 Rationale of the Study -- 1.3 Scope and Limitations -- 2 Methodology -- 3 Results and Discussion -- 4 Conclusion -- 5 Recommendations -- Acknowledgements -- References -- Social and Occupational Ergonomics of Stress, Mental Factors and Musculoskeletal Disorders -- Addressing Mental Health Consequences of Social Networking from the Social Services Perspective -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Assessment Tool Design -- 4 Risk Assessment and Treatment -- 4.1 Occurrence -- 4.2 Outcome -- 4.3 Severity -- 4.4 Cause -- 4.5 Status -- 5 Conclusion and Future Work -- References -- Ergonomic Analysis of the Operators' Activity in an Industrial Agri-Food Workshop -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 3 Results -- 4 Discussion and Conclusion -- References -- A Systematic Review of Musculoskeletal Disorders (MSDs) Among Port Workers -- Abstract -- 1 Introduction -- 1.1 The Prevalence of Musculoskeletal Disorders (MSDs) -- 1.2 Port Worker Related MSDs -- 1.2.1 Port Worker Definition -- 1.2.2 Port Labor-Related MSDs -- 1.3 Research Question -- 2 Methodology -- 2.1 Criteria for Inclusion -- 3 Results -- 3.1 Lower Back -- 3.2 Neck -- 3.3 Shoulder -- 3.4 Knee -- 3.5 Ankle -- 3.6 Hand and Wrist -- 3.7 Leg -- 3.8 Elbow -- 3.9 Feet -- 3.10 Lumbar Sciatica -- 4 Discussion -- 4.1 Assessment of Port-Related MSDs -- 4.2 Intervention -- 4.2.1 Ergonomics -- 4.2.2 Position Correction -- 4.2.3 Workstation -- 4.2.4 Therapy -- 5 Conclusion. 327 $aReferences -- Ergonomic Evaluation of Risk Level by Exposure to Forced Postures in Cattle Slaughterhouse Workers in Ecuador -- Abstract -- 1 Introduction -- 2 Methodology -- 2.1 Steps for the Application of the Ergonomic Methods -- 2.2 Rapid Entire Body Assessment (REBA) -- 2.3 Rapid Upper Limb Assessment (RULA) -- 3 Results -- 4 Discussion -- Acknowledgments -- References -- Applied Forces and sEMG Activity Contribution to Risk Assessment for Assistance Workers Helping Passengers with Restricted Mobility -- Abstract -- 1 Introduction -- 1.1 Task Description -- 2 Materials and Methods -- 2.1 Experimental Setup -- 2.2 Surface Electromyography -- 2.3 Pushing Forces -- 2.4 Statistical Analysis -- 3 Results -- 3.1 Pushing Forces -- 3.2 Surface Electromyography -- 4 Conclusions -- References -- Ergonomic and Anthropometric Preliminary Study to Determine Whether Moving a Loaded Cart Can Cause Musculoskeletal Disorders -- Abstract -- 1 Introduction -- 2 Study Case -- 3 Methodology for Specialized Risk Estimation and Evaluation -- 3.1 Anthropometric Study -- 3.1.1 Mean, Standard Deviation and Relative Frequency -- 3.1.2 Graphic Representation -- 3.2 Procedure to Estimate the Synthetic Distribution of Strength -- 3.2.1 Collecting Input Data -- 3.2.2 Determining Muscle Force Limits -- 3.3 Risk Estimation and Evaluation -- 3.3.1 Adjustments to Basic Force Limits FBr -- 3.3.2 Skeletal-Strength-Based Force Limits FC and FLS -- 3.3.3 Limiting Force FL and Safety Limit FS -- 4 Evaluation Risk Results and Discussions -- 5 Conclusions -- References -- The Blessings and Curses of Job Stress: Exploring the Job Stress - OCB/CWB Nexus Among Ghanaian Bankers -- Abstract -- 1 Introduction -- 2 Theoretical Underpinning and Hypotheses Development -- 2.1 Job Stress -- 2.2 Voluntary Work Behaviour -- 2.3 Review of Theories -- 3 Method -- 3.1 Participants and Procedures. 327 $a3.2 Measures. 330 $aThis book reports on cutting-edge research on social and occupational ergonomics, presenting innovative contributions to the optimization of sociotechnical management systems related to organizational, policy, and logistical issues. It discusses timely topics related to communication, crew resource management, work design, participatory design, as well as teamwork, community ergonomics, cooperative work, and warning systems, and explores new work paradigms, organizational cultures, virtual organizations, telework, and quality management. The book also describes pioneering infrastructures implemented for different purposes such as urban, health, and enterprise, and examines the changing role of automated systems, offering innovative solutions that address the needs of particular populations. Based on the AHFE 2018 International Conference on Social and Occupational Ergonomics, held in Orlando, Florida, USA on July 21?25, 2018, the book provides readers with a comprehensive overviewof the current challenges in both organizational and occupational ergonomics, highlighting key connections between them and underlining the importance of emotional factors in influencing human performance. . 410 0$aAdvances in Intelligent Systems and Computing,$x2194-5365 ;$v792 606 $aEngineering design 606 $aEmployee health promotion 606 $aBusiness information services 606 $aIndustrial Management 606 $aPsychology, Industrial 606 $aEngineering Design 606 $aEmployee Health and Wellbeing 606 $aEnterprise Architecture 606 $aIndustrial Management 606 $aWork and Organizational Psychology 615 0$aEngineering design. 615 0$aEmployee health promotion. 615 0$aBusiness information services. 615 0$aIndustrial Management. 615 0$aPsychology, Industrial. 615 14$aEngineering Design. 615 24$aEmployee Health and Wellbeing. 615 24$aEnterprise Architecture. 615 24$aIndustrial Management. 615 24$aWork and Organizational Psychology. 676 $a620.0042 702 $aGoossens$b Richard H. M.$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337622203321 996 $aAdvances in Social and Occupational Ergonomics$92041880 997 $aUNINA LEADER 03738nam 22006615 450 001 9910743688603321 005 20251225203800.0 010 $a9783031424410 010 $a3031424417 024 7 $a10.1007/978-3-031-42441-0 035 $a(MiAaPQ)EBC30723343 035 $a(Au-PeEL)EBL30723343 035 $a(DE-He213)978-3-031-42441-0 035 $a(PPN)27226038X 035 $a(CKB)28104032100041 035 $a(OCoLC)1396167243 035 $a(EXLCZ)9928104032100041 100 $a20230829d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamentals of Software Engineering $e10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers /$fedited by Hossein Hojjat, Erika Ábrahám 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (168 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14155 311 08$aPrint version: Hojjat, Hossein Fundamentals of Software Engineering Cham : Springer,c2023 9783031424403 327 $aStructured specification of paraconsistent transition systems -- Towards a Basic Theory for Partial Differentiation in the Prototype Verification System -- Case studies of development of verified programs with Dafny for accessibility assessment -- TPGen: A Self-Stabilizing GPU-Based Method for Test and Prime Paths Generation -- An Optimised Complete Strategy for Testing Symbolic Finite State Machines -- Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models -- Interaction-based Offline Runtime Verification of Distributed Systems -- Genetic Algorithm for Program Synthesis -- Property-Based Conjecturing for Automated Induction in Isabelle/HOL -- Verification of the busy-forbidden protocol -- kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023. The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14155 606 $aSoftware engineering 606 $aMicroprogramming 606 $aComputer networks 606 $aComputer science 606 $aSoftware Engineering 606 $aControl Structures and Microprogramming 606 $aComputer Communication Networks 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aMicroprogramming. 615 0$aComputer networks. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Communication Networks. 615 24$aTheory of Computation. 676 $a005.1 700 $aHojjat$b Hossein$0905425 701 $aA?braha?m$b Erika$00 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910743688603321 996 $aFundamentals of Software Engineering$93552029 997 $aUNINA