Search Results - ABSP~

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Chemistry of Cooking by Rodriguez-Velazquez, Sorangel

Table of Contents: “…IntroductionEssential Ideas -- Essential Ideas Introduction -- Phases and Classification of Matter -- Physical and Chemical Properties -- Measurements -- Measurement Uncertainty, Accuracy, and Precision -- Mathematical Treatment of Measurement Results -- Energy Basics -- Calorimetry -- Atoms, Molecules, and Ions -- The Periodic Table -- Atoms, Molecules, and Ions -- Atomic Structure and Symbolism -- Chemical Formulas -- Molecular and Ionic Compounds -- Cooking Techniques: Thickening and Concentrating Flavors -- Viscosity -- Thickening Agents -- Types of Thickening Agents -- Coagulation -- Gelatinization -- Crystallization -- Non-traditional thickeners -- Sauces -- Low-temperature and sous-vide -- Understanding Ingredients: Flour -- Introduction -- Understanding Ingredients -- The History of Wheat Flour -- Milling of Wheat -- Flour Streams and Types of Wheat Flour -- Flour Terms and Treatments -- Flour Additives -- Whole Grain and Artisan Milling -- Flour in Baking -- Rye Flour -- Other Grains and Flours -- Understanding Ingredients: Fat -- Understanding Fats and Oils -- Sources of Bakery Fats and Oils -- Major Fats and Oils Used in Bakeries -- Functions of Fat in Baking -- Understanding Ingredients: Sugar -- Sugar Chemistry (ADD US) -- Sugar Refining -- The Application of Sugar -- Agave -- Glucose/Dextrose -- Honey -- Malt -- Maple Syrup (ADD US) -- Sugar Substitutes (ADD US) -- Understanding Ingredients: Leavening Agents -- Catalysis -- Introduction to Leavening Agents -- Yeast -- The Functions of Yeast -- Using Yeast in Baking -- Introduction to Acid- bases -- Brønsted-Lowry Acids and Bases -- pH and pOH -- Baking Powder -- Sodium Bicarbonate -- Ammonium Bicarbonate -- Water Hardness and pH -- Understanding Ingredients: Dairy Products -- Introduction to Dairy Products -- Milk -- Milk Products ADD US -- Milk in bread baking -- Yogurt -- Lactose -- Cheese -- Understanding Ingredients: Eggs -- Eggs Grade (ADD US) -- Composition and Nutrition -- Egg Products -- The Function of Eggs -- Storing Eggs -- Chocolate -- From the Cocoa Bean to the Finished Chocolate -- Chocolate Produced for the Baking Industry -- Couverture -- Definitions and Regulations (ADD US) -- Understanding Ingredients: Spices -- Elements of Taste -- Introduction to Salt -- Types of Salt -- Functions of Salt in Baking -- Using Salt in Fermented Doughs -- Storing Salt -- Introduction to Spices and Other Flavorings -- Seasoning and Flavoring -- Herbs -- Spices -- Flavorings in Baking -- Appendix…”
Access online version

Developments in Demographic Forecasting

Table of Contents: “…Stochastic population forecasting: A Bayesian approach based on evaluation by experts -- Chapter 3. Using expert elicitation to build long-term projection assumptions -- Chapter 4. …”
Link to Metadata

Anisotropy Across Fields and Scales

Table of Contents: “…Tensor approximation for multidimensional and multivariate data -- Tensor field topology without symmetrization using Hermitian tensors -- Continuous histograms for Anisotropy of 2D symmetric piece-wise linear tensor fields -- Riemann-DTI geodesic tractography revisited -- Fourth-order anisotropic diffusion for inpainting and image compression -- Advanced deep learning for processing orientation-dependent diffusion magnetic resonance imaging data - A review -- On the variance measure of diffusion tensors in two dimensions -- Magnetic resonance assessment of effective confinement anisotropy with powder-averaged single and double diffusion encoding -- Merge trees, neutral surfaces, and tensor field topology -- Asymmetric tensor analysis -- Anisotropy issues in shape-based object analysis -- Tractogram filtering -- Multispectral image processing in astronomy -- Anisotropy in the human placenta in pregnancies complicated by fetal growth restriction -- The case for spatially homogeneous models in high gradient strength diffusion-weighted MRI: A position paper on the potential applicability of stochastic geometry.…”
Link to Metadata

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

Table of Contents: “…-- Usage and scaling of an open-source spiking multi-area model of the monkey cortex -- Exascale compute and data infrastructures for neuroscience and applications -- Modular supercomputing for neuroscience -- Fenix: Distributed e-Infrastructure Services for EBRAINS -- Independent component analysis for noise and artifact removal in three-dimensional Polarized Light Imaging -- Exascale artificial and natural neural architectures -- Brain-inspired algorithms for processing of visual data -- An hybrid attention-based system for the prediction of facial attributes -- The statistical physics of learning revisited: Typical learning curves in model scenarios -- Emotion mining: from unimodal to multimodal approaches -- .…”
Link to Metadata

Information and Communication Technologies in Tourism 2022 Proceedings of the ENTER 2022 eTourism Conference, January 11-14, 2022 /

Table of Contents: “…-- Video Games as a Media for Tourism Experience -- Travel planning for families with a disabled child, and how AI can improve tourism accessibility -- Leveraging Blockchain in Medical Tourism Value Chain -- Navigation by Revealing Trade-offs for Content-Based Recommendations -- Personalization of Multi-Day Round Trip Itineraries According to Travelers' Preferences -- Identifying the main service elements for customer-oriented live guided virtual tours -- Platform Stress in Hospitality - Focusing on the technology dimension -- Visualizing and Comparing Online Travel Reviews of the Great Walls: A Data Mining Approach -- Monitoring Human-Wildlife Interactions in National Parks with Crowdsourced Data and Deep Learning -- Exploring the utilitarian and hedonic value derived from tourism pre-experiences with virtual reality: differences between destinations and accommodations.…”
Link to Metadata

Cultural Representations of Gender Vulnerability and Resistance A Mediterranean Approach to the Anglosphere /

Table of Contents: “…Growing Resilient Against Adversity: Victims Of Abuse In Irish Magdalene Laundries -- 3. Violence, Vulnerability And Resistance In Room By Emma Donoghue -- 4. …”
Link to Metadata

Novel Developments for Sustainable Hydropower

Table of Contents: “…1 Policy Framework for Hydropower Mitigation -- 2 Costs of Ecological Mitigation at Hydropower Plants -- 3 Public Acceptance of Hydropower -- 4 Impacts and Risks of Hydropower -- 5 The Attractiveness of Fishways and Bypass Facilities -- 6 Attraction Flow and Migration Habitat Assessment Using an Agent-Based Model -- 7 Fish Guidance Structures with Narrow Bar Spacing: Physical Barriers -- 8 Fish Guidance Structure with Wide Bar Spacing: Mechanical Behavioural Barrier -- 9 Guidelines for Application of Different Analysis Methods of Fish Passage Through Turbines - Impact Assessment of Fish Behavioural Aspects -- 10 Measures to Improve Fish Passage Through a Turbine -- 11 Archimedes Screw - An Alternative for Safe Migration Through Turbines? …”
Link to Metadata

New Horizons in Systemic Practice with Children and Families

Table of Contents: “…A Systemic Approach to School-Based Consultation: Combining Interventions that Belong to Different Theoretical Traditions -- 10. …”
Link to Metadata

Rangeland Systems Processes, Management and Challenges /

Table of Contents: “…Structural heterogeneity as the basis for rangeland management -- 6. Non-equilibrium ecology and resilience theory -- 7. …”
Link to Metadata

The Essence of Software Engineering

Table of Contents: “…: The Role of Empirical Methods in Answering the Question -- 5 Only the Architecture You Need -- 6 Variability in standard software products Introducing software product line engineering to the insurance industry -- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation - a Motivation and an Experience Report -- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge -- 9 Data-driven decisions and actions in today's software development -- 10 Software Architecture: Past, Present, Future -- 11 Software Product Lines -- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise -- 13 Achievements, Failures, and the Future ofModel-based Software Engineering.…”
Link to Metadata

Internal Migration, Urbanization and Poverty in Asia: Dynamics and Interrelationships

Table of Contents: “…Internal migration and poverty: A lesson based on panel data analysis from Indonesia -- 6. …”
Link to Metadata

Managing Socio-ecological Production Landscapes and Seascapes for Sustainable Communities in Asia Mapping and Navigating Stakeholders, Policy and Action /

Table of Contents: “…Chapter 1: Introduction: Socio-ecological Production Landscapes and Seascapes -- Chapter 2: Mapping the policy interventions on marine social-ecological systems: case study of Sekisei Lagoon, southwest Japan -- Chapter 3: How to engage tourists in invasive carp removal: Application of a discrete choice model -- Chapter 4: The Use of Backcasting to Promote Urban Transformation to Sustainability: The Case of Toyama City, Japan -- Chapter 5: Traditional Knowledge, Institutions, and Human Sociality in Sustainable Use and Conservation of Biodiversity of the Sundarbans of Bangladesh -- Chapter 6: Lessons learned from application of the "Indicators of Resilience in Socio-ecological Production Landscapes and Seascapes (SEPLS)" under the Satoyama Initiative -- Chapter 7: Place-based Solutions for Conservation and Restoration of Social-Ecological Production Landscapes and Seascapes in Asia -- Chapter 8: Managing Socio-ecological Production Landscapes and Seascapes for Sustainable Communities in Asia: Mapping and Navigating Stakeholders, Policy and Action -- Chapter 9: Synthesis: Managing Socio-ecological Production Landscapes and Seascapes for Sustainable Communities in Asia.…”
Link to Metadata

Narrating China's Governance Stories in Xi Jinping's Speeches / by People's Daily, Department of Commentary

Table of Contents: “…-Part 1 About the Interior -- On Incorrupt Government: "When the officials become corruptible and unfair, the regime is going into decline" -- On Characters and Morals: "To enter politics, a person should cultivate his moral character and enrich himself with virtues first" -- On Self-improvement: "If you want to enhance your ability, you must study; if you want to make the blade sharp, you must sharpen it"- On Governance: "Empty talk endangers the nation, practical work brings prosperity" -- Part 2 About Diplomacy -- On People-to-people Friendship: "The key to sound relations between states lies in amity between the people" -- On Intercourse Between Nations: "Of the things brought about by the rites, harmony is the most valuable" -- On Cultural Exchange: "It is the very nature of things to be unequal in quality" -- On Historical Affinity: "Distance cannot separate true friends who feel so close even when they are thousands of miles apart" -- On Xi Jinping's Personal Experience: Never forget why you started.…”
Link to Metadata

Future Trends in Education Post COVID-19 Teaching, Learning and Skills Driven Curriculum /

Table of Contents: “…Evaluation of Anatomy Course Teaching and Learning Outcomes for Iraqi Pharmacy Students: Internet-based Learning versus Blended Learning During the Pandemic -- 2. …”
Link to Metadata

Students' Collaborative Problem Solving in Mathematics Classrooms An Empirical Study /

Table of Contents: “…Examining junior high school students' collaborative knowledge building based on the comparison of high & low performance groups' mathematical problem-solving -- Chapter 2. …”
Link to Metadata

Managerial Accounting by Heisinger, Kurt, Hoyle, Joe

Table of Contents: “…-- Chapter 3: How Does an Organization Use Activity-Based Costing to Allocate Overhead Costs? -- Chapter 4: How Is Process Costing Used to Track Production Costs? …”
Access online version

Nursing Mental Health and Community Concepts by Christman, Elizabeth, Ernstmeyer, Kimberly

Table of Contents: “…Chapter 14 Substance Use Disorders -- XV. Chapter 15 Trauma, Abuse, and Violence -- XVI. Chapter 16 Community Assessment -- XVII. …”
Access online version

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

Table of Contents: “…ationary Hands -- Perception of friction in tactile exploration of micro-structured rubber samples -- Influence of Prior Visual Information on Exploratory Movement Direction in Texture Perception -- Guidance for the Design of Vibrotactile Patterns for Use on the Human Back -- Speed Discrimination In The Apparent Haptic Motion Illusion -- Neutral point in haptic perception of softness -- Pilot Study on Presenting Pulling Sensation by Electro-Tactile Stimulation -- A Preliminary Study on the Perceptual Independence Between Vibrotactile and Thermal Senses -- Spatial compatibility of visual and tactile stimulation in shared haptic perception -- Increasing Perceived Weight and Resistance by Applying Vibration to Tendons during Active Arm Movements -- A comparison of haptic and auditory feedback as a warning signal for slip in tele-operation scenarios -- Experiencing touch by technology -- Effect of Focus Direction and Agency on Tactile Perceptibility -- Haptic Guidance for Teleoperation: Optimizing Performance and User Experience -- A Multi-Modal Haptic Armband for Finger-Level Sensory Feedback from a Prosthetic Hand -- Sound Pressure Field Reconstruction for Ultrasound Phased Array by Linear Synthesis Scheme Optimization -- A Rotary Induction Actuator for Kinesthetic and Tactile Rendering -- Haptic Feedback for Wrist Angle Adjustment -- Larger skin-surface contact through a fingertip wearable improves roughness perception -- Expanding Dynamic Range of Electrical Stimulation Using Anesthetic Cream -- Haptic Rattle: Multi-Modal Rendering of Virtual Objects Inside a Hollow Container -- Design of a 2-DoF Haptic Device for Motion Guidance -- Preliminary Design of a Flexible Haptic Surface -- Human Self-Touch vs Other-Touch Resolved by Machine Learning -- Investigating Movement-Related Tactile Suppression Using Commercial VR Controllers -- Estimation of Frictional Force Using the Thermal Images of Target Surface during Stroking -- Spatial Resolution of Mesoscopic Shapes Presented by Airborne Ultrasound -- Vibrotactile Similarity Perception in Crowdsourced and Lab Studies -- Perception of spatialized vibrotactile impacts in a hand-held tangible for virtual reality -- Wearable Haptics in a Modern VRRehabilitation System: Design Comparison forUsability and Engagement -- Perceiving Sequences and Layouts through Touch -- Whole-Hand Haptics for Mid-Air Buttons -- Proximity-based Haptic Feedback for Collaborative Robotic Needle Insertion -- Furekit: Wearable Tactile Music Toolkit for Children with ASD -- A database of vibratory signals from free haptic exploration of natural material textures and perceptual judgments (ViPer): analysis of spectral statistics.…”
Link to Metadata

Sustainability of Southern African Ecosystems under Global Change Science for Management and Policy Interventions /

Table of Contents: “…Dynamics and Drivers of Net Primary Production (NPP) in Southern Africa Based on Estimates from Earth Observation and Process-Based Dynamic Vegetation Modelling -- Chapter 27. …”
Link to Metadata