Search Results - AIAW~

Earth Observation Science and Applications for Risk Reduction and Enhanced Resilience in Hindu Kush Himalaya Region A Decade of Experience from SERVIR /

Table of Contents: “…Getting prepared for droughts in South Asia -- Chapter 6. Mapping crops for better national production estimates in Afghanistan and Nepal -- Chapter 7. …”
Link to Metadata

Technologies and Applications for Big Data Value

Table of Contents: “…Technologies and Applications for Big Data Value -- Part I: Technologies and Methods -- Trade-Offs and Challenges of Serverless Data Analytics -- Big Data and AI Pipeline Framework: Technology Analysis from a Benchmarking Perspective -- An Elastic Software Architecture for Extreme-Scale Big Data Analytics -- Privacy-Preserving Technologies for Trusted Data Spaces -- Leveraging Data-Driven Infrastructure Management to Facilitate AIOps for Big Data Applications and Operations -- Leveraging High-Performance Computing and Cloud Computing with Unified Big-DataWorkflows: The LEXIS Project -- Part II: Processes and Applications -- The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures -- Applying AI to Manage Acute and Chronic Clinical Condition -- 3D Human Big Data Exchange Between the Healthcare and Garment Sectors -- Using a Legal Knowledge Graph for Multilingual Compliance Services in Labor Law, Contract Management, and Geothermal Energy -- Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case -- Data-Driven Artificial Intelligence and Predictive Analytics for the Maintenance of Industrial Machinery with Hybrid and Cognitive Digital Twins -- Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case -- Next-Generation Big Data-Driven Factory 4.0 Operations and Optimization: The Boost 4.0 Experience -- Big Data-Driven Industry 4.0 Service Engineering Large-Scale Trials: The Boost 4.0 Experience -- Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle -- A Data SciencePipeline for Big Linked Earth Observation Data -- Towards Cognitive Ports of the Futures -- Distributed Big Data Analytics in a Smart City -- Processing Big Data in Motion: Core Components and System Architectures with Applications to the Maritime Domain -- Knowledge Modeling and Incident Analysis for Special Cargo.…”
Link to Metadata

Land Use Cover Datasets and Validation Tools Validation Practices with QGIS /

Table of Contents: “…General Land Use Cover datasets for America and Asia -- Chapter 19. Global thematic Land Use Cover datasets characterizing vegetation covers -- Chapter 20. …”
Link to Metadata

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014

Table of Contents: “…Chapter 1 Financial Market -- Influence Networks in the Foreign Exchange Market -- Entropy and Transfer Entropy: The Dow Jones and the build up to the 1997 Asian Crisis -- Execution and Cancellation Lifetimes in Foreign Currency Market -- Signs of market orders and human dynamics -- Damped oscillatory behaviors in the ratios of stock market indices -- Exploring Market Making Strategy for High Frequency Trading: an Agent-based Approach -- Effect of Cancel Order on Simple Stochastic Order-Book Model -- Chapter 2 Robustness and Fragility -- Cascading failures in interdependent economic networks -- Do connections make systems robust?…”
Link to Metadata

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

Table of Contents: “…-Chapter 4 - Software building blocks: From Python to Version control (Damith Herath, Adam Haskard and Niranjan Shukla) -- Chapter 5 - The Robot Operating System (ROS1&2): programming paradigms and deployment(David St-Onge and Damith Herath) -- Chapter 6 - Mathematical building blocks: From geometry to quaternions to Bayesian(Rebecca Stower, Bruno Belzile and David St-Onge).…”
Link to Metadata

Taxation, International Cooperation and the 2030 Sustainable Development Agenda

Table of Contents: “…The Suitability of BEPS in Developing Countries (Emphasis on Latin America and the Caribbean) (Isaác Gonzalo Arias Esteban and Anarella Calderoni) -- Part II: External assistance for tax capacity building ((Chapters on external assistance, including issues for donors) -- Chapter 4. …”
Link to Metadata

Knowledge and Networks

Table of Contents: “…The Case of Regional Electromobility Initiatives in Germany: Jörg Sydow and Friedemann Koll -- Brokering Trust to Enhance Leadership: A Self-Monitoring Approach to Leadership Emergence: Martin Kilduff, Ajay Mehra, Dennis A. Gioia, and Stephen Borgatti -- III: Network Geographies of Learning: How Social Networks in Space Lead to Innovation: How Atypical Combinations of Scientific Ideas Are Related to Impact: The General Case and the Case of the Field of Geography: Satyam Mukherjee, Brian Uzzi, Ben Jones, and Michael Stringer -- Connectivity in Contiguity: Conventions and Taboos of Imitation in Colocated Networks: Johannes Glückler and Ingmar Hammer -- Are Gatekeepers Important for the Renewal of the Local Knowledge Base? …”
Link to Metadata

Understanding Society and Natural Resources Forging New Strands of Integration Across the Social Sciences /

Table of Contents: “…: Arun Agrawal -- Chapter 5: Millennium Alliance for Humanity and the Biosphere (MAHB): Integrating Social Science and the Humanities into Earth Systems Governance: Ilan Kelman, Eugene Rosa, Tom R. …”
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

Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis /

Table of Contents: “…Urban Soils (Richard Pouyat, Susan Day, Sally Brown, Kirsten Schwarz, Richard Shaw, Katalin Szlavecz, Tara Trammell, and Ian Yesilonis) -- Chapter 8. …”
Link to Metadata

Remittances as Social Practices and Agents of Change The Future of Transnational Society /

Table of Contents: “…Overseas Remittances from Southeast Asia to China around the Sino-Japanese War (1937-1945) -- Chapter 5. …”
Link to Metadata

Handbook of Positive Psychology, Religion, and Spirituality

Table of Contents: “…North America, and South America" -- Positive Psychology and Religion/Spirituality Across Cultures in Africa, Asia, and Oceania -- Part IV: Developmental Considerations -- Religion, Spirituality, and Youth Thriving: Investigating the Roles of the Developing Mind and Meaning-Making -- Religious/Spiritual Development and Positive Psychology: Toward an Integrative Theory -- Part V: Happiness and Well-Being -- The Scientific Study of Life Satisfaction and Religion/Spirituality -- The Scientific Study of Positive Emotions and Religion/Spirituality -- The Scientific Study of Positive Psychology, Religion/Spirituality, and Physical Health -- The Scientific Study of Positive Psychology, Religion/Spirituality, and Mental Health -- Part VI: Character Strengths and Virtues -- The Scientific Study of Religion/Spirituality, Forgiveness, and Hope -- Religion/Spirituality and the Twin Virtues of Humility and Gratitude -- Theological Virtues, Health, and Well-Being: Theory, Research, and Public Health -- Part VII: Clinical and Applied Considerations -- Integrating Positive Psychology, Religion/Spirituality, and a Virtue Focus Within Culturally Responsive Mental Healthcare -- Meaningfulness and Religious/Spiritual Meaning Systems at Work: A Multilevel Framework -- Positive Psychology and Religiousness/Spirituality in the Context of Couples and Families -- Positive Psychology in the Context of Religious Communities -- Building Spiritual Fortitude and Resilience Following Disaster: Synthesizing the Contributions of Positive Psychology and Religion/Spirituality -- Part VIII: Field Unification and Advancement -- Future Directions for the Positive Psychology of Religion and Spirituality.…”
Link to Metadata

To Be a Minority Teacher in a Foreign Culture Empirical Evidence from an International Perspective /

Table of Contents: “…USA: Transitional international students from China as minority teachers -- Part 2: Trajectories and identities of migrant teacher educators -- 8. Indian-Asian migrant teacher educator in USA: navigating the foreignness American curriculum -- 9. …”
Link to Metadata

25 Years of Transformations of Higher Education Systems in Post-Soviet Countries Reform and Continuity /

Table of Contents: “…HigherEducation in Tajikistan: Institutional Landscape and Key Policy Developments; Alan J. DeYoung, Zumrad Kataeva & Dilrabo Jonbekova -- Chapter 15. …”
Link to Metadata

Conceptualizing Environmental Citizenship for 21st Century Education

Table of Contents: “…. -- Values, Beliefs and Environmental Citizenship; Audra Balunde, Mykolas Simas Poškus, Lina Jovarauskait, Ariel Sarid, Georgios Farangitakis, Marie-Christine Knippels, Andreas Hadjichambis, Demetra Paraskeva-Hadjichambi -- Attitudes and Environmental Citizenship; Nicole Bauer, Boldizsár Megyesi, Rares Halbac, Cristina Zamfir -- PART III: Environmental Citizenship in the context of Environmental Education and Education for Sustainability -- Education for Environmental Citizenship & Responsible Environmental Behaviour; Daphne Goldman, Ralph Hansmann, Jan Čincera, Vesela Radović, Audronė Telešienė, Aistė Balžekienė, Jan Vávra -- Environmental Citizenship & Youth Activism; Pedro Reis -- Environmental Citizenship and Education for Sustainability; Gema Parra, Ralph Hansmann, Andreas Ch. …”
Link to Metadata

Dialogue for Intercultural Understanding Placing Cultural Literacy at the Heart of Learning /

Table of Contents: “…Baruch Schwarz (Hebrew University of Jerusalem), Talli Cedar (Hebrew University of Jerusalem) Ana Remesal (University of Barcelona), Merce Garcia-Mila (University of Barcelona) -- 8. …”
Link to Metadata

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

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

The Palgrave Handbook of South-South Migration and Inequality

Table of Contents: “…Unfair and Unjust: Temporary Labour Migration Programmes in and from Asia and the Pacific as Barriers to Migrant Justice -- 33. …”
Link to Metadata

History Education and Conflict Transformation Social Psychological Theories, History Teaching and Reconciliation /

Table of Contents: “…The Potential Role of Social Psychology in History Teaching after Conflict: Exploring two History Education Projects Aiming to Improve Community Relations in Northern Ireland; Alan McCully & Jackie Reilly -- Chapter 13. …”
Link to Metadata

Vocational Teacher Education in Central Asia Developing Skills and Facilitating Success /

Table of Contents: “…Preface,Uwe Munzert -- Greeting for the GIZ publication as part of the regional programme "Professional Education and Training in Central Asia", Volker -- About the contributors -- Part I -- Introduction -- 1 Recent technological challenges in (vocational) education, Thomas Köhler, Jens Drummer -- Part II Project based learning -- 1 Project based learning, Christian Stehling, Uwe Munzert -- 2 Strengthening the Innovative Potential of Project-Based Learning for TVET, Navbahor Sharipova, Matthias Wesseler -- 3 Project-Based Learning to Develop Creative Abilities in Students, Asylbek Isabekov, Gulzat Sadyrova -- Part III Specific didactics of laboratory work -- 1 Laboratory work in education of food technology professionals, Maksudakhon Abdullayeva -- 2 The Theoretical-Practical Cake, Linking theory and practice in food industry education, Horlacher, Franz -- 3 Potential of the task-based learning for the sustainable development of food technology, Manuela Niethammer -- Part IV Media and new technologies in TVET -- 1 The project title: The Virtual Laboratory and Quality of Education, Lafiz Boboev, Zokirhodzha Soliyev, Firuz Asrorkulov -- 2 Application of Modern Educational Technologies for Managing Project Activities of Master of Education, Rimma Masyrova, Victoria Savelieva, Janat Bisenbaeva, Bakhyt Atymtaeva -- 3 The significance of the Media Didactics Course for Masters of Vocational Education, Mamatair Joldoshov, Ainura Bekbolsunova -- 4 The significance of using business simulations in training of bachelors and masters, Mamatair Joldoshov, Jypargul Sayakbaeva -- 5 The use of new teaching and learning technologies for professional qualifications development in the system of the initial and secondary vocational education, Masuma Bashirova, Alymkan Sattarova -- Part V Evaluation and development of competencies -- 1 Technical training of teachers of vocational education in higher educational institutions, Svetlana Udartseva, Tatyana Ikonnikova, Tamara Udartseva, Tatyana Chausova, Gulfarida Samashova -- 2 Approaches of Engineering Pedagogy to improve the quality of teaching in engineering education, Steffen Kersten -- Competency-based exams in professional education, Ekaterina Golubina, Alexander Löser -- 4 Learning Performance in Vocational Secondary Schools: Testing academic achievement in electrical engineering, Metwaly Mabed and Thomas Köhler -- 5 Quality management for projects and workshops, Jens Drummer -- Part VI Research methods in TVET -- 1 The significance of scientific research in the professional development of students, Mukhabbat Ikrami -- 2 Preparing of Masters of Vocational Education for Conducting Research Activities, Gafurjon Hakimov, Kalybek Dykanaliev -- 3 Research Training for Doctoral Candidates in the Field of Education and Technology, Thomas Köhler -- Annex.…”
Link to Metadata