Search Results - BAFTA~
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 54
- Artificial intelligence 44
- Computer Science 43
- Science 40
- Computer networks 38
- Education 37
- Artificial Intelligence 32
- Data processing 32
- Social sciences 31
- History 29
- Computer science 28
- Information technology 27
- Sociology 27
- Comparative education 26
- Humanities 26
- International and Comparative Education 26
- International education 26
- Philosophy 26
- Application software 25
- Computer and Information Systems Applications 25
- Research & information: general 25
- Education and state 23
- Software Engineering 23
- Software engineering 23
- Statistics 23
- Computer Engineering and Networks 22
- Computer engineering 22
- Educational Policy and Politics 22
- Literature: history & criticism 22
- Medicine 22
-
4001
-
4002
-
4003
-
4004
Technological Imagination in the Green and Digital Transition
Published 2023Table of Contents: “…From a liquid society, through technological imagination, to beyond the knowledge society -- Opening lecture: Digital spaces and the material culture -- Part 1: Innovation -- Innovation for the digitization process of the AECO sector -- The digital revolution and the art of co-creation -- Towards a new humanism of technological innovation in design of the built environment -- A bim-based approach to energy analysis of existing buildings in the Italian context -- Short-term wind speed forecasting model using hybrid neural networks and wavelet packet decomposition -- COGNIBUILD: Cognitive digital twin framework for advanced building management and predictive maintenance -- Design of CCHP system with the help of combined chiller system, solar energy, and gas microturbine -- Digital construction and management the public's infrastructures -- An innovative multi-objective optimization digital workflow for social housing deep energy renovation design process -- Digital information management in thebuilt environment: Data-driven approaches for building process optimization -- Immersive facility management - A methodological approach based on BIM and mixed reality for training and maintenance operations -- A digital information model for coastal maintenance and waterfront recovery -- Sustainable workplace: Space planning model to optimize environmental impact -- Digital twin models supporting cognitive buildings for ambient assisted living -- Less automation more information: A learning tool for a post-occupancy operation and evaluation -- A prosumer approach for feeding the digital twin. …”
Link to Metadata
Electronic eBook -
4005
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Electronic eBook -
4006
Uprooting Bias in the Academy Lessons from the Field /
Published 2022Table of Contents: “…Barriers to inclusion: Social roots and current concerns (Laura Grindstaff) -- Part 2: Making the case for institutional change -- Chapter 3. Data-driven decision making (Sophie Barbu, Karen Mcdonald, Lisceth Brazil-Cruz, Lisa Sullivan and Linda F. …”
Link to Metadata
Electronic eBook -
4007
Stable Isotopes in Tree Rings Inferring Physiological, Climatic and Environmental Responses /
Published 2022Table of Contents: “…Tree-Ring Stable Isotope Measurements: The Role of Quality Assurance and Quality Control to Ensure High Quality Data -- 7. Newer Developments in Tree-Ring Stable Isotope Methods -- PART III: ISOTOPIC FRACTIONATIONS FROM SOURCE TO WOOD: 8. …”
Link to Metadata
Electronic eBook -
4008
Water-filtered Infrared A (wIRA) Irradiation From Research to Clinical Settings /
Published 2022Table of Contents: “…Evaluation of the effectiveness of a water-filtered infrared-A therapy (wIRA) applied to the hands in patients with osteoarthritis and non-inflammatory arthralgia - preliminary data -- 21. Water-filtered Infrared-A radiation in axial spondyloarthritis - heat for lower back pain? …”
Link to Metadata
Electronic eBook -
4009
Transforming Education for Sustainability Discourses on Justice, Inclusion, and Authenticity /
Published 2023Table of Contents: “…It turned into a BioBlitz: urban data collection for understanding and connection (Kelly O'Donnell) -- Chapter 9. …”
Link to Metadata
Electronic eBook -
4010
Situating Children of Migrants across Borders and Origins A Methodological Overview /
Published 2017Table of Contents: “…1: Introduction: Situating Children of Migrants across Borders and Origin: Claudio Bolzman, Laura Bernardi, Jean-Marie Le Goff -- Part I: Comparison as Key Methodological Tool ad Challenging Perspective in Study of the Children of Migrants: 2: Damned of you do, Damned if you don't: The Challenges of Including and Comparing the Children of Immigrants in European Survey Data: Laurence Lessard-Philips, Silvia Galandini, Helge de Valk, Rosita Fibbi -- 3: Risk Factors of Labor-Market Insertion for Children of Immigrants in Switzerland: Andrés Guarin and Emmanuel Rousseaux -- 4: The Presence of a Third Person in Face-to-Face Interviews with Immigrants Descendants: Patterns, Determinants and Effects: Nadja Milewski and Danny Otto -- Part II: Life Course Perspective and Mixed-Methods Approaches in the Study of Children of Migrants -- 5: Analyzing Second-Generation Trajectories from a Life Course Approach: What Mixed Methods can Offer: Ingrid Tucci -- 6: Intergenerational Relationships in Migrant Families. …”
Link to Metadata
Electronic eBook -
4011
-
4012
-
4013
-
4014
-
4015
-
4016
-
4017
-
4018
-
4019
-
4020