Search Results - "improvisation"
Suggested Topics within your search.
Suggested Topics within your search.
- Music 26
- Philosophy 18
- Theory of music & musicology 15
- Media studies 8
- Society & social sciences 6
- Humanities 5
- Theatre studies 5
- Civil defence 4
- Literature & literary studies 4
- Literature: history & criticism 4
- Politics & government 4
- Social & cultural anthropology, ethnography 4
- Warfare & defence 4
- Arts 3
- Electronic, holographic & video art 3
- History of engineering & technology 3
- Neurosciences 3
- Techniques of music / music tutorials 3
- Technology: general issues 3
- The arts 3
- Acting techniques 2
- African history 2
- Artificial Intelligence 2
- Artificial intelligence 2
- Ballet 2
- Ballroom dancing 2
- Biography & True Stories 2
- Choreography 2
- Computer Engineering and Networks 2
- Computer engineering 2
-
301
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published 2022Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata
Electronic eBook -
302
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published 2022Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata
Electronic eBook -
303
-
304
The Future of Consumption How Technology, Sustainability and Wellbeing will Transform Retail and Customer Experience /
Published 2024Table of Contents: “…, Matthias Lehner, Jessika Luth Richter & Oksana Mont -- The Challenge of Overproduction and Overconsumption, Gabriella Wulff -- Creating Tomorrow's Vintage, Kevin Gelsi & Sandya Lang -- Part 3 - Wellbeing -- The Future of Wellbeing: Value Creation in Digital Mental Health Services, Alisa Minina Jeunemaître -- No cash, no coins, no cards, but you: Biohacking the future of payments, Vitor Lima & Russell Belk -- Contemporary Consumption of Brand Activism, Natasha Lewis & Jessica Vredenburg -- Vegan Consumption: Insights into the consumer-driven emergence of the vegan market, Rachel Lamarche-Beauchesne -- Buying Happiness, Tomas de Souza -- Part 4 - Customer Experience -- Re-examining the Place of the Physical Store During the Digital Retail Era, Elin Nilsson -- Employee-to-Customer Improvisation: A Value Creation Strategy for Navigating the Contemporary Consumption Experience, Jessica Vredenburg, Simon J. …”
Link to Metadata
Electronic eBook -
305
-
306
-
307
-
308
-
309
-
310
-
311
-
312
-
313
-
314
-
315
-
316
-
317
Microhistories of Technology Making the World /
Published 2023Table of Contents: “…Withstanding Globalization in Northern India: Farmers Make Sugar for Local Consumption -- Part II Twentieth-Century Improvisations -- 5. Accessing Electricity in East Africa: Dar es Salaam Dwellers Pursue Power -- 6. …”
Link to Metadata
Electronic eBook -
318
-
319
-
320