Tabla de Contenidos: “…5.3 Discussion -- 5.4 Conclusion -- References -- Chapter 06 ▪ Differential Evolution Coupled Neural-based Prediction of Soil Water Content -- 6.1 Introduction -- 6.2 Background -- 6.3 Methodology -- 6.4 Results &amp -- Discussion -- 6.5 Conclusion -- References -- Chapter 07 ▪ Numerical Investigation of Heat Conduction in a Rectangular Composite Plate with Sinusoidal Heat Input from Top Wall -- 7.1 Introduction -- 7.2 Methodology -- 7.3 Discussion -- References -- Chapter 08 ▪ Analytical Modelling and Simulation of a Hot-Wall Condenser Applied to Domestic Refrigerator -- 8.1 Introduction -- 8.2 Analytical Heat Transfer Model of The Hot-Wall Condenser -- 8.2.2 Variation of outside heat flux with contact angle in the hot-wall condenser -- 8.3 Numerical Heat Transfer Simulation of The Hot-Wall Condenser With Angular Contact -- 8.4 Conclusion -- References -- Chapter 09 ▪ Design and Analysis of a Dual-Axis Solar Tracker with an In-built Low Cost Self-Cleaning Mechanism -- 9.1 Introduction -- 9.2 Design -- 9.3 Operation -- 9.4 Results and Discussion -- 9.5 Conclusion and Future Scope -- References -- Chapter 10 ▪ Indices based Comparative Performance Analysis of Standard Test Systems for Reliable Power System Operation -- 10.1 Introduction -- 10.2 Methodology -- 10.3 Discussion -- 10.4 Conclusion -- References -- Chapter 11 ▪ Natural Ground-Water Recharge Scenario in Kolkata and a Review of Artificial Recharging -- 11.1 Introduction -- 11.2 Methodology -- 11.3 Discussion -- 11.4 Conclusion -- References -- Chapter 12 ▪ Performance Analysis of Grid Connected PV system under Varying Irradiance and Temperature -- 12.1 Introduction -- 12.2 Methodology -- 12.3 Discussion -- 12.4 Conclusion -- Acknowledgment -- References -- Chapter 13 ▪ Development of a Low Cost Autonomous Car Parking System: Towards Smart City -- 13.1 Introduction -- 13.2 Methodology…”

Tabla de Contenidos: “…Front Cover -- Wheeled Mobile Robotics: From Fundamentals Towards Autonomous Systems -- Copyright -- Contents -- Preface -- Acknowledgements -- Chapter 1: Introduction to Mobile Robotics -- 1.1 Introduction -- 1.1.1 Robots -- 1.1.2 Mobile -- 1.1.3 Wheels -- 1.1.4 Autonomous Mobile Systems -- 1.2 History -- 1.3 About the Book -- References -- Chapter 2: Motion Modeling for Mobile Robots -- 2.1 Introduction -- 2.2 Kinematics of Wheeled Mobile Robots -- 2.2.1 Differential Drive -- 2.2.2 Bicycle Drive -- 2.2.3 Tricycle Drive -- 2.2.4 Tricycle With a Trailer -- 2.2.5 Car (Ackermann) Drive -- 2.2.6 Synchronous Drive -- 2.2.7 Omnidirectional Drive -- 2.2.8 Tracked Drive -- 2.3 Motion Constraints -- 2.3.1 Holonomic Constraints -- 2.3.2 Nonholonomic Constraints -- 2.3.3 Integrability of Constraints -- 2.3.4 Vector Fields, Distribution, Lie Bracket -- 2.3.5 Controllability of Wheeled Mobile Robots -- 2.4 Dynamic Model of a Mobile System With Constraints -- 2.4.1 State-Space Representation of the Dynamic Model of a Mobile System With Constraints -- 2.4.2 Kinematic and Dynamic Model of Differential Drive Robot -- Kinematic Model and Constraints -- Dynamic Model -- References -- Chapter 3: Control of Wheeled Mobile Systems -- 3.1 Introduction -- 3.2 Control to Reference Pose -- 3.2.1 Orientation Control -- 3.2.2 Forward-Motion Control -- 3.2.3 Basic Approaches -- Control to Reference Position -- Control to Reference Pose Using an Intermediate Point -- Control to Reference Pose Using an Intermediate Direction -- Control on a Segmented Continuous Path Determined by a Line and a Circle Arc -- From Reference Pose Control to Reference Path Control -- 3.3 Trajectory Tracking Control -- 3.3.1 Trajectory Tracking Control Using Basic Approaches -- 3.3.2 Decomposing Control to Feedforward and Feedback Action -- 3.3.3 Feedback Linearization…”

Tabla de Contenidos: “…-- 1.6 Tooling -- Chapter 2. The Case Study: ITSO Car Rentals -- 2.1 Business overview -- 2.1.1 Data requirements -- 2.1.2 Information infrastructure -- 2.1.3 Design decisions -- 2.2 Running the sample application -- 2.2.1 The sample application panels -- 2.2.2 The sample application flow -- 2.2.3 Files created by the application on the device -- 2.2.4 Application properties -- 2.2.5 Application services and technologies -- 2.3 Running the sample application with live servers -- 2.3.1 Using the demonstration application with multiple devices -- 2.4 Building the sample application -- Chapter 3. …”

Tabla de Contenidos: “…2.2 Existing Approaches -- 3 Algorithms -- 3.1 First-Cut Algorithm -- 3.2 Logarithmic Algorithm -- 3.3 Lazy Algorithm -- 4 Experimental Evaluation -- 5 Application to Extended Regular Expressions -- 5.1 Reduction from Incremental Regex Emptiness to GIDs -- 6 Related Work -- References -- Model Checking Race-Freedom When ``Sequential Consistency for Data-Race-Free Programs'' is Guaranteed -- 1 Introduction -- 2 Theory -- 3 Implementation and Evaluation -- 3.1 Background on OpenMP -- 3.2 Background on CIVL-C -- 3.3 Transformation for Data Race Detection -- 3.4 Evaluation -- 4 Related Work -- 5 Conclusion -- References -- Searching for i-Good Lemmas to Accelerate Safety Model Checking -- 1 Introduction -- 2 Preliminaries -- 2.1 Boolean Transition System -- 2.2 Safety Checking and Reachability Analysis -- 2.3 Overview of IC3 and CAR -- 3 Finding i-Good Lemmas -- 3.1 What Are i-good Lemmas -- 3.2 Searching for i-good Lemmas -- 4 Related Work -- 5 Evaluation -- 5.1 Experimental Setup -- 5.2 Experimental Results -- 5.3 Why Do branching and refer-skipping Work? …”

Tabla de Contenidos: “…Funaki, K. Higa, WLP-BASED TV-CAR SPEECH ANALYSIS AND ITS EVALUATION FOR F0 ESTIMATION -- Session VI: VOICE AND PATHOLOGIES -- J. …”