Tabla de Contenidos: “…2.6-2.10 From the Bottom Up: The Structures of the Brain -- 2.6 The Hindbrain -- 2.7 Structures Under the Cortex: The Limbic System -- 2.8 The Cortex -- 2.9 The Association Areas of the Cortex -- Classic Studies in Psychology: Through the Looking Glass-Spatial Neglect -- 2.10 The Cerebral Hemispheres -- 2.11-2.12 The Nervous System: the Rest of the Story -- 2.11 The Central Nervous System: The "Central Processing Unit" -- 2.12 The Peripheral Nervous System: Nerves on the Edge -- 2.13-2.14 the Endocrine Glands -- 2.13 the Pituitary: Master of the Hormonal Universe -- 2.14 Other Endocrine Glands -- APA Goal 2: Scientific Inquiry and Critical Thinking: Phineas Gage and Neuroplasticity -- Applying Psychology to Everyday Life: Minimizing the Impact of Adult Attention-Deficit/Hyperactivity Disorder -- Chapter Summary -- Test Yourself -- 3 Sensation and Perception -- 3.1-3.3 The Abcs of Sensation -- 3.1 Transduction -- 3.2 Sensory Thresholds -- 3.3 Habituation and Sensory Adaptation -- 3.4-3.6 The Science of Seeing -- 3.4 Light and the Eye -- 3.5 The Visual Pathway -- 3.6 Perception of Color -- 3.7-3.9 The Hearing Sense: Can You Hear Me Now? -- 3.7 Sound Waves and the Ear -- 3.8 Perceiving Pitch -- 3.9 Types of Hearing Impairments -- 3.10-3.11 Chemical Senses: It Tastes Good and Smells Even Better -- 3.10 Gustation: How We Taste the World -- 3.11 The Sense of Scents: Olfaction -- 3.12-3.13 The Other Senses: What the Body Knows -- 3.12 Somesthetic Senses -- 3.13 Body Movement and Position -- 3.14-3.16 The Abcs of Perception -- 3.14 How We Organize Our Perceptions -- 3.15 Depth Perception -- 3.16 Perceptual Illusions -- APA Goal 2: Scientific Inquiry and Critical Thinking: Perceptual Influences on Metacognition -- Applying Psychology to Everyday Life: Using Your Senses to Be More Mindful -- Chapter Summary -- Test Yourself -- 4 Consciousness…”

Tabla de Contenidos: “…1 Introduction -- 2 SMLP Architecture -- 3 Symbolic Representation of Models and Constraints -- 4 Symbolic Representation of the ML Model Exploration -- 5 Problem Specification in SMLP -- 6 SMLP Exploration Modes of ML Models -- 6.1 Stable Parameter Synthesis -- 6.2 Verifying Assertions on a Model -- 6.3 Querying Conditions on the Model -- 6.4 Stable Optimized Synthesis -- 6.5 Design of Experiments -- 6.6 Root Cause Analysis -- 6.7 Model Refinement Loop -- 7 Implementation -- 8 Industrial Case Studies -- 9 Future Work -- References -- Avoiding the Shoals - A New Approach to Liveness Checking -- 1 Introduction -- 2 Preliminaries -- 2.1 Boolean Satisfiability -- 2.2 Boolean Transition Systems -- 2.3 Invariant Checking -- 2.4 Liveness Checking -- 3 Liveness Checking with rlive -- 3.1 Overview -- 3.2 Algorithm -- 3.3 Optimizations -- 3.4 Correctness Proof -- 4 Related Work -- 5 Evaluation -- 5.1 Experimental Setup -- 5.2 Experimental Results -- 6 Conclusions -- References -- Toward Liveness Proofs at Scale -- 1 Introduction -- 2 Background and Related Work -- 2.1 Liveness-to-Safety with Rankings -- 2.2 Dynamic Liveness-to-Safety Construction -- 3 Relational Rankings -- 3.1 The Relational Reactivity Rule -- 3.2 Chaining Liveness Lemmas -- 3.3 Stable Schedulers -- 3.4 Lexicographic Rankings -- 4 Case Study: The Apple Generic Memory Subsystem Model -- 4.1 Liveness Proof with Lemmas -- 4.2 Lemma-Free Proof of Liveness -- 5 Conclusions and Future Work -- A Soundness proofs -- References -- Software Verification -- Strided Difference Bound Matrices -- 1 Introduction and Motivation -- 2 DBMs, SDBMs, and HSDBMs -- 3 Satisfiability -- 3.1 GCD-Tightening Constraints -- 3.2 Satisfiability for HSDBMs in O(n4) Time -- 3.3 Satisfiability for SDBMs in O(n m Dlcm) Time -- 4 HSDBM Normalization -- 5 Operations for Abstract Interpretation -- 6 Empirical Study…”

Tabla de Contenidos: “…5 Enforcing EMFOTL -- 5.1 Obligations -- 5.2 Checking Satisfaction of MFOTL Formulae Under Assumptions -- 5.3 The Enforcement Algorithm -- 5.4 Correctness -- 6 Evaluation -- 7 Related Work -- 8 Conclusion -- References -- Predictive Monitoring with Strong Trace Prefixes -- 1 Introduction -- 2 Predictive Monitoring and Trace Theory -- 3 Strong Trace Prefixes -- 3.1 Modelling Correct Reorderings with Strong Trace Prefixes -- 4 Complexity of Predictive Monitoring -- 4.1 Non-deterministic Predictive Monitoring -- 4.2 Deterministic Predictive Monitoring -- 4.3 Ensuring Well-Formedness and Soundness -- 5 Strong Reads-From Prefixes -- 6 Strong Prefixes Versus Synchronization Preservation -- 7 Experimental Evaluation -- 7.1 Enhanced Predictive Power of Strong Prefixes -- 7.2 Strong Reads-From Prefixes v/s Sync-Preservation -- 8 Related Work and Conclusions -- References -- Case Studies and Tools -- Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned -- 1 Introduction -- 1.1 Related Work -- 2 Stream-Based Monitoring -- 3 Setup -- 3.1 Monitoring Applications -- 3.2 Development Cycle for the Monitor -- 4 Abstract Integration -- 4.1 Common Interfaces -- 5 Concrete Integration of Representative Specifications -- 6 Conclusion -- References -- Testing the Migration from Analog to Software-Based Railway Interlocking Systems -- 1 Introduction -- 2 Operational Setting -- 3 Bridging the Gap Between ReRIS and SwRIS -- 3.1 Simulations Extractor -- 3.2 Working with a Partial ReRIS Model -- 3.3 Mapping a ReRIS Simulation into an Abstract SwRIS Test -- 3.4 Test Execution -- 4 Related Works -- 5 Experimental Evaluation -- 6 Conclusions -- References -- soid: A Tool for Legal Accountability for Automated Decision Making -- 1 Introduction -- 1.1 Related Work -- 2 soid Tool Architecture and Usage -- 2.1 Example #1: Decision Tree Inference…”

Tabla de Contenidos: “…4.4 Hide Access Screen Activity -- Problem -- Solution -- Discussion -- Hiding reports in design view -- See Also -- 4.5 Find out What Language Version of Access Is Installed -- Problem -- Solution -- Discussion -- 4.6 Internationalize Text in Your Applications -- Problem -- Solution -- Discussion -- 4.7 Change and Reset the Access Caption Bar -- Problem -- Solution -- Discussion -- 4.8 Use the Windows File Open/Save Common Dialogs -- Problem -- Solution -- Discussion -- See Also -- 4.9 Clean Test Data out of a Database When You're Ready to Ship It -- Problem -- Solution -- Discussion -- See Also -- 4.10 Secure Your Access Database -- Problem -- Solution -- Discussion -- Printers -- 5.1 Retrieve a List of All the Installed Output Devices -- Problem -- Solution -- Discussion -- Adding items to a list box -- See Also -- 5.2 Set and Retrieve the Name of the Default Output Device -- Problem -- Solution -- Discussion -- 5.3 Programmatically Change Margin and Column Settings for Reports -- Problem -- Solution -- Discussion -- 5.4 Programmatically Change Printer Options -- Problem -- Solution -- Discussion -- 5.5 Programmatically Control the Paper Source -- Problem -- Solution -- Discussion -- 5.6 Retrieve Information About a Report or Form's Selected Printer -- Problem -- Solution -- 5.7 Choose an Output Device at Runtime -- Problem -- Solution -- Discussion -- 5.8 Find Which Reports Are Not Set to Print to the Default Printer -- Problem -- Solution -- Discussion -- Data -- 6.1 Save with Each Record the Name of the Last Person Who Edited It and the Date and Time -- Problem -- Solution -- Discussion -- See Also -- 6.2 Determine if You're on a New Record in a Form -- Problem -- Solution -- Discussion -- 6.3 Find All Records with Names That Sound Alike -- Problem -- Solution -- Discussion -- 6.4 Find the Median Value for a Field -- Problem -- Solution…”

Tabla de Contenidos: “…-- Try not to look like, or act like, or sound like, or be like an ad -- Do I have to Draw you a Picture? …”

Tabla de Contenidos: “…-- Visual Basic Is Not Like BASIC -- Good News: Climbing the Learning Curve Is Easy -- Great News: Excel with VBA Is Worth the Effort -- Knowing Your Tools: The Developer Tab -- Macro Security -- Adding a Trusted Location -- Using Macro Settings to Enable Macros in Workbooks Outside of Trusted Locations -- Using Disable All Macros with Notification -- Overview of Recording, Storing, and Running a Macro -- Filling Out the Record Macro Dialog -- Running a Macro -- Creating a Macro Button on the Ribbon -- Creating a Macro Button on the Quick Access Toolbar -- Assigning a Macro to a Form Control, Text Box, or Shape -- Using New File Types in Excel 2010 -- Understanding the VB Editor -- VB Editor Settings -- The Project Explorer -- The Properties Window -- Understanding Shortcomings of the Macro Recorder -- Examining Code in the Programming Window -- Running the Macro on Another Day Produces Undesired Results -- Possible Solution: Use Relative References When Recording -- Never Use the AutoSum Button While Recording a Macro -- Three Tips When Using the Macro Recorder -- Next Steps -- 2 This Sounds Like BASIC, So Why Doesn't It Look Familiar? …”

Tabla de Contenidos: “…Capturing Video -- Using the Movie Shooting Menus -- Movie Recording Size -- High Frame Rate -- Movie Cropping -- Digital Zoom -- Sound Recording -- Movie ISO Speed Settings -- HDR Movie Recording -- Av 1/8-stop Increments…”

Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- About the Author -- How to Use This Book -- Table of Contents -- Chapter 1 Getting Started with Your MacBook -- Understanding the MacBook Pro and MacBook Air -- Identify Your MacBook's Main Features -- Identify the Ports on the MacBook Pro Models -- Meet Your MacBook's Keyboard -- Understanding and Using the Touch Bar -- Set Up Your MacBook -- Start Your MacBook and Log In -- Start Your MacBook and Log In -- Explore the macOS Desktop -- Explore the macOS Desktop -- Work with the Finder Menu Bar and Menus -- Work with Finder Windows -- Work with the Dock and Sidebar -- Point and Click with the Trackpad -- Point and Click with the Trackpad -- Point and Click -- Double-Click -- Point, Click, and Drag -- Secondary Click (Control + Click) -- Connect to a Wireless Network -- Connect to a Wireless Network -- Give Commands -- Give Commands -- Give a Command from a Menu -- Choose Among Groups of Features on a Menu -- Give a Command from a Toolbar -- Choose Among Groups of Features on a Toolbar -- Open, Close, and Manage Windows -- Open, Close, and Manage Windows -- Open a Window -- Move, Resize, and Zoom a Window -- Close a Window -- Minimize or Hide a Window -- Using Control Center -- Using Control Center -- Open Control Center and Toggle Settings On and Off -- Change Display Brightness and Configure Display Settings -- Change the Sound Volume and Select an Output Device -- Apply a Focus -- Using Notifications -- Using Notifications -- View a Notification -- Display Notification Center When Your Desktop Is Visible -- Choose What Notifications to Display and Configure Focus Settings -- Add Widgets to Your Desktop -- Add Widgets to Your Desktop -- Add and Remove Widgets -- Edit a Widget -- Put Your MacBook to Sleep and Wake It Up -- Put Your MacBook to Sleep and Wake It Up -- Put Your MacBook to Sleep…”

Tabla de Contenidos: “…Introduction -- 1.1 Language and speech disorders: Types, diagnosis, and treatment -- 1.1.1 Fluency speech disorders -- 1.1.2 Resonance disorders -- 1.1.3 Voice disorders -- 1.1.4 Motor speech disorders -- 1.1.5 Language disorders -- 1.1.6 Acquired language disorders -- 1.1.7 Speech sound disorders -- 1.1.7.1 Deep learning and machine learning in AI -- 1.1.7.1 Deep learning and machine learning in AI -- 2. …”

“…In turn, the texts gathered via a writing competition show how sounds can be listened to both analytically and aesthetically, connecting them to local, national and transnational cultures and histories pondering what sounds mean to the listeners and how they influence the soundscape they live in. …”

“…Certain combinations of sounds or signs on paper are meaningful. What makes it the case that, unlike most combinations of sounds answers to these questions are based on the idea that words stand for something, but it is difficult to say what words such as good, if, or probable stand for. …”

“…Burton's William Barnes's Dialect Poems: A Pronunciation Guide (2010), show what the poems would have sounded like in Barnes's own time; the accompanying audio recordings (made at the 2010 Adelaide Fringe) give living voice to the sounds noted in the transcripts…”

“…Disappearing Cryptography, Second Edition describes how to take words, sounds, or images and hide them in digital data so they look like other words, sounds, or images. …”

Tabla de Contenidos: “…Oosthuizen & Andre van der Bijl 169 -- Abstract 170 -- Introduction 171 -- Problem statement 173 -- Conceptual and theoretical considerations 173 -- Learning and behaviour modification within the context of vocational education 175 -- Acceptance of positive discipline 178Methods of applying positive discipline 179 -- Research design and methodology 182 Population, sampling and participant selection 183 Data analysis 184 Validity, reliability and trustworthiness 184 -- Ethical considerations 185 -- The occurrence of the application of positive discipline at a Technical and Vocational Education and Training college in the Western Cape 185 -- Biographical detail 186 -- Attributes of Technical and Vocational Education and Training lecturers that contribute to a positive, disciplined teaching and learning environment ranked 186 -- Measures that contribute towards a positive, disciplined teaching and learning environment ranked 189 -- The views and experiences of lecturers on positive student disciplinary measures 193 -- Conclusion and recommendations 194 -- Appendix A 197 -- Questionnaire 197 -- Section A: Biographical 197 -- Section B: Lecturer attributes 197 -- Section C: Application of disciplinary measures 198 -- Chapter 9: The congeniality to sound learner discipline of the Finnish education system: Relevance for approaching learner discipline in South African schools Charl C. …”

Tabla de Contenidos: “…RY -- 3.1 Introduction 31 -- 3.2 Some elements of definition 32 -- 3.2.1 The term "virtual reality" 32 -- 3.2.2 The purpose of virtual reality 32 -- 3.2.3 A functional definition of virtual reality 33 -- 3.2.4 A technical definition of virtual reality 33 -- 3.3 The main interaction devices 34 -- 3.3.1 Display devices 35 -- 3.3.2 Motion and position capture devices 35 -- 3.3.3 Proprioceptive and cutaneous feedback devices 35 -- 3.3.4 Sound input and presentation devices 36 -- 3.4 The main areas of application of virtual reality 36 -- 3.4.1 Applications in everyday life 37 -- 3.4.2 Applications in various professional contexts 37 -- 3.5 Applications of virtual reality in industry 38 -- 3.6 Conclusion 40 -- 3.7 References 40 -- Chapter 4 Robotization in Industries: A Focus on SMEs 45 Sandrine BERGER-DOUCE -- 4.1 Introduction 45 -- 4.2 Focus on a robotization experiment in an industrial SME 46 -- 4.2.1 The case study in the service of exploratory research 46 -- 4.2.2 Presentation of the company 47 -- 4.2.3 A mixed technological adventure 47 -- 4.2.4 Lessons to be learned 48 -- 4.3 Receiving support in order to better implement a robot: illustration by the Robot Start PME program 49 -- 4.3.1 A program at the service of French industrial SMEs 50 -- 4.3.2 An inspiring framework to support technological change 53 -- 4.4 Conclusion 54 -- 4.5 References 55 -- Chapter 5 Serious Games for Vocational Training: From Emotional Labor to Knowledge Transfer 57 Lydia MARTIN, Julian ALVAREZ and Antoine TALY -- 5.1 Introduction 57 -- 5.2 Emotions, debriefing and learning 59 -- 5.2.1 Emotional labor 59 -- 5.2.2 Learning in a game 60 -- 5.3 The context and framework of the Serious Escape Game (SEG) 61 -- 5.3.1 Difficulty in gamification 61 -- 5.3.2 The training system 62 -- 5.3.3 A research-action approach 62 -- 5.4 Results 63 -- 5.4.1 Observations during gaming 63 -- 5.4.2 Post-game discussions 64 -- 5.4.3 Questionnaires 66 -- 5.5 Discussion and conclusion 67 -- 5.6 References 68 -- Chapter 6 The "Old" Issues of the "New" Artificial Intelligence Systems in Professional Activities 71 Tamari GAMKRELIDZE, Moustafa ZOUINAR and Flore BARCELLINI -- 6.1 Introduction 71 -- 6.2 AI: elements of definition and recent developments 72 -- 6.3 Functionalities and (potential) uses of new generation AI systems 74 -- 6.4 The "new" generation of AI and the old challenges of transforming work situations 77 -- 6.4.1 From the substitutive approach of automation to the complementary approaches of human-machine systems 77 -- 6.4.2 The challenges of "new" AI systems in work situations 79 -- 6.5 What are the approaches to designing and integrating AI systems in work situations? …”

Tabla de Contenidos: “…-- 20.3 Reduced Gravity Environment for CombustionStudies -- 20.4 Conclusions -- References -- Chapter_21 Materials Science -- 21.1 Introduction -- 21.2 Scientific Challenges -- 21.3 Specifics of Low-Gravity Platforms and Facilitiesfor Materials Science -- 21.3.1 Parabolic Flights -- 21.3.2 TEXUS Sounding Rocket Processing -- 21.3.3 Long-Duration Microgravity Experiments on ISS -- 21.4 Materials Alloy Selection -- Acknowledgements -- References -- 6 - Current Research in Life Sciences -- Chapter_22 Microbiology/Astrobiology -- 22.1 Radiation Environment -- 22.2 Change in Gravity Environment -- 22.3 Space Flight Experiments and Related GroundSimulations -- References -- Chapter_23 Gravitational Cell Biology -- 23.1 Gravitational Cell Biology -- 23.2 Studies Under Simulated Microgravity -- 23.3 Effects of Simulated Microgravity on Algae,Plant Cells, and Whole Plants -- 23.4 Mammalian Cells in Simulated Microgravity -- References -- Chapter_24 Growing Plants under GeneratedExtra-Terrestrial Environments: Effectsof Altered Gravity and Radiation -- 24.1 Introduction: Plants and Space Exploration -- 24.2 Cellular and Molecular Aspects of the GravityPerception and Response in Real and SimulatedMicrogravity -- 24.2.1 Gravity Perception in Plant Roots: Gravitropism -- 24.2.2 Effects on Cell Growth and Proliferation -- 24.2.3 Effects of Gravity Alteration on Gene Expression -- 24.3 Morpho-Functional Aspects of the Plant Responseto Real and Simulated Microgravity Environments…”

Tabla de Contenidos: “…-- 7.1.3 Benefits of Technology -- 7.1.4 Market Potential -- 7.2 Type and Properties of Fillers Added in the Plastic Matrix -- 7.2.1 Fly Ash -- 7.2.2 Physical Properties -- 7.2.3 Chemical Properties -- 7.2.4 Disposal and Utilization of Fly Ash -- 7.2.5 Rice Husk -- 7.2.6 Classification and Composition of RHA -- 7.2.7 Applications of Rice Husk -- 7.3 Methodology and Characterization -- 7.3.1 Characterization of Waste Plastic Composite Tiles -- 7.3.1.1 Gas Analyzer Test -- 7.3.2 Waste Plastic Composite Tile as a Sound Absorbing Material -- 7.3.3 British Pendulum Test -- 7.4 Applications -- 7.5 Conclusion…”