Transforming Entrepreneurship Education Interdisciplinary Insights on Innovative Methods and Formats /

Table of Contents: “…Using Unplugged Tools to Introduce Coding to South African Learners -- Part 3. Research -- Chapter 10. …”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.…”
Link to Metadata

Assessing Progress in Decarbonizing Spain's Building Stock Indicators and Data Availability /

Table of Contents: “…Assessing the effectiveness of building renovation policies and decarbonization progress: a review of European legislation -- Analysis of institutional frameworks of indicators to measure the effectiveness of building renovation policy and decarbonization progress in Europe -- Indicators and data in Spain for an overview of the general characteristics of the national building stock -- Indicators and data in Spain for an overview of the energy characteristics of the national building stock -- Indicators and data in Spain for an overview of deep renovation of buildings -- Indicators and data in Spain regarding an overview of worst performing segments of the national building stock, rented properties and energy poverty -- Indicators and data in Spain regarding an overview of the capacities in the construction, energy efficiency and renewable energy sector -- Indicators and data in Spain for an overview of actual energy savings and wider benefits of renovation of buildings -- Indicators and data in Spain regarding evidence-based estimate of expected energy savings and of reduction of costs for health systems from buildings renovation -- Indicators and data in Spain regarding policies and measures for the mobilization of investments into the renovation of buildings -- On the availability and quality of data in Spain for the development of progress indicators to measure building renovation policies effectiveness and the decarbonization of the building stock -- New approaches to generate data to measure the progress of decarbonization of the building stock in Europe and Spain.…”
Link to Metadata

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2018 /

Table of Contents: “…Machine Learning for Enhanced Waste Quantity Reduction: Insights from the MONSOON Industry 4.0 Project -- Deduction of time-dependent machine tool characteristics by fuzzy-clustering -- Unsupervised Anomaly Detection in Production Lines -- A Random Forest Based Classifer for Error Prediction of Highly Individualized Products -- Web-based Machine Learning Platform for Condition-Monitoring -- Selection and Application of Machine Learning-Algorithms in Production Quality -- Which deep artifificial neural network architecture to use for anomaly detection in Mobile Robots kinematic data -- GPU GEMM-Kernel Autotuning for scalable machine learners -- Process Control in a Press Hardening Production Line with Numerous Process Variables and Quality Criteria -- A Process Model for Enhancing Digital Assistance in Knowledge-Based Maintenance -- Detection of Directed Connectivities in Dynamic Systems for Different Excitation Signals using Spectral Granger Causality -- Enabling Self-Diagnosis of AutomationDevices through Industrial Analytics -- Making Industrial Analytics work for Factory Automation Applications -- Application of Reinforcement Learning in Production Planning and Control of Cyber Physical Production Systems -- LoRaWan for Smarter Management of Water Network: From metering to data analysis.…”
Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…-- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata

Living Well in a World Worth Living in for All Volume 1: Current Practices of Social Justice, Sustainability and Wellbeing /

Table of Contents: “…Student voice work defended: Students as 'expert witnesses' to their experiences in schools and other sites of learning -- The heart of the small rural village school: Roots and wings, solidarity and autonomy -- Leading for love, life, wisdom, and voice in Steiner schools: Constraints and conditions of possibility -- The sand through my fingers: Finding Aboriginal cultural voice, identity and agency on country -- Leading by listening: Why Aboriginal voices matter in creating a world worth living in -- Practices and experiences in educational researcher training: Reflections from research students exploring the theme, living well in a world worth living in, during the COVID-19 pandemic -- Partnering for Hope: Agentic narrative practices shaping a world worth living in -- Keeping each other safe: Young refugees' navigation towards a good life in Finland, Norway, and Scotland -- The kitchen is my favrote place in the house": A world worth living in for children with feeding difficulties and their families -- Facing the climate crisis, acting together: Young climate activists on building sustainable future -- Finding worlds worth living in.…”
Link to Metadata

Software for Exascale Computing - SPPEXA 2016-2019

Table of Contents: “…EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. …”
Link to Metadata

Concepts in Action Representation, Learning, and Application /

Table of Contents: “…Emergence of Grounded Communication and Concepts using Deep Reinforcement Learning (Michael Spranger) -- Chapter 6. …”
Link to Metadata

Deep Neural Networks and Data for Automated Driving Robustness, Uncertainty Quantification, and Insights Towards Safety /

Table of Contents: “…Safety Assurance of Machine Learning for Perception Functions -- Chapter 13. A Variational Deep Synthesis Approach for Perception Validation -- Chapter 14. …”
Link to Metadata

Interdisciplinary Explorations of Postmortem Interaction Dead Bodies, Funerary Objects, and Burial Spaces Through Texts and Time /

Table of Contents: “….: Perception and Appropriation of Deep History during the Iron Ages in Northern Germany (Pre-Roman Iron Age, Roman Iron Age, and Migration Period) -- Chapter 6. …”
Link to Metadata

Media Studies 101 by Pearson, Erika

Table of Contents: “…AboutIntroduction, and How To Use This TextPart One: Reading Media Texts -- Analysing Texts: Media and Theory -- Communication & Culture -- Intercultural Communication -- Semiotics -- Signs and Signifiers -- Sign Systems -- Semiotics and Communication Processes -- Codes -- Two-step flow of communication -- Gender and politics -- Limitations of minimal effects model -- Part Two: Culture and Contexts -- Ideology -- Discourse, Institutions, and Power -- Institutions -- Discourse and Institutions -- Media and Democracy -- Habermas' Public Sphere -- Who is 'the Public'? …”
Access online version

Digital Platform Regulation Global Perspectives on Internet Governance /

Table of Contents: “…Global platforms and local networks: an institutional account of the Australian news media bargaining code by James Meese & Edward Hurcombe -- 9. Regulating Chinese and North American Digital Media in Australia: Facebook and WeChat as Case Studies by Chunmeizi Su.-10. …”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Bioethics and the Holocaust A Comprehensive Study in How the Holocaust Continues to Shape the Ethics of Health, Medicine and Human Rights /

Table of Contents: “…From the Nuremberg "Doctors' Trial" to the "Nuremberg Code" (Paul Weindling) -- Chapter 12. The Rights and Responsibilities of the Physician to Uphold Bioethical Values in Society (Ashley K. …”
Link to Metadata

Ethics, Integrity and Policymaking The Value of the Case Study /

Table of Contents: “…Formulating a Guidance Code for Research Managers (the UK ARMA case) (John Oates) -- Chapter 12. …”
Link to Metadata

Volunteered Geographic Information Interpretation, Visualization and Social Context /

Table of Contents: “…Two Worlds in One Network: Fusing Deep Learning and Random Forests for Classification and Object Detection -- Part II: Geovisualization and User Interactions Related to VGI -- 6. …”
Link to Metadata

Intelligent Human Computer Interaction 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /

Table of Contents: “…Optimizing User Interfaces for Human Performance -- Geometrical Shapes Rendering on a Dot-Matrix Display -- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM -- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques -- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach -- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment -- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) -- List Navigation Using Edge Menu -- Simplexity and Vicariance. …”
Link to Metadata

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: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

AVENUE21. Planning and Policy Considerations for an Age of Automated Mobility

Table of Contents: “…-- Lessons from local transport transition projects for connected and automated transport -- Connected and automated transport in the socio-technical transition -- Data-driven urbanism, digital platforms and the planning of MaaS in times of deep uncertainty: What does it mean for CAVs?.…”
Link to Metadata

Understanding Globalization, Global Gaps, and Power Shifts in the 21st Century CCG Global Dialogues /

Table of Contents: “…Part I: The evolution of globalization -- Chapter 1: The Year 1000 and the beginnings of globalization - A dialogue Valerie Hansen -- Chapter 2: Transformations in the global economy - A dialogue with Martin Wolf -- Chapter 3: The world isn't just flat...it's also fast, fused, deep, and fragile - A dialogue with Thomas L. Friedman -- Part II: Bridging gaps and deficits -- Chapter 4: Understanding inequality in a globalizing world - A dialogue with Anne Case and Angus Deaton, David Blair -- Chapter 5: The multilateral trading system in a changing context - A dialogue with Wendy Cutler and Pascal Lamy -- Chapter 6: Bridging differences between China and the world - A dialogue with Kerry Brown -- Part III: Power shifts and great power relations -- Chapter 7: Power shifts in the 21st century - A dialogue with Joseph S. …”
Link to Metadata