Arama Sonuçları - coherent control
Önerilen Konular
Önerilen Konular
- History of engineering & technology 14
- Research & information: general 9
- Medicine 8
- Technology: general issues 7
- Philosophy 5
- Political control & freedoms 4
- Social issues & processes 4
- Sociology 4
- Clinical psychology 3
- Neurosciences 3
- Particle & high-energy physics 3
- Society & culture: general 3
- Artificial Intelligence 2
- Artificial intelligence 2
- Birth control, contraception, family planning 2
- Chemistry 2
- Clinical & internal medicine 2
- Communication studies 2
- Computer Engineering and Networks 2
- Computer engineering 2
- Computer games / online games: strategy guides 2
- Computer networks 2
- Cultural studies 2
- Development economics & emerging economies 2
- Econometrics 2
- Economic theory & philosophy 2
- Electrical engineering 2
- Endocrinology 2
- Fascism & Nazism 2
- Health economics 2
-
301
-
302
-
303
Chinese guqin music and calligraphy for treating symptoms of primary insomnia
Baskı/Yayın Bilgisi 2019Connect to this object online.
Kitap -
304
Does corneal epithelial thickness show the severity of psoriasis? SD-OCT study
Baskı/Yayın Bilgisi 2023Connect to this object online.
Kitap -
305
-
306
Enzymatic vitreolysis with recombinant tissue plasminogen activator for vitreomacular traction
Baskı/Yayın Bilgisi 2015Connect to this object online.
Kitap -
307
-
308
-
309
Non-invasive instrumental analytical methods in modern pharmaceutical technology
Baskı/Yayın Bilgisi 2020Connect to this object online.
Kitap -
310
-
311
-
312
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Baskı/Yayın Bilgisi 2022İçindekiler: “…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
Elektronik Ekitap -
313
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Baskı/Yayın Bilgisi 2022İçindekiler: “…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
Elektronik Ekitap -
314
-
315
Blau syndrome: a case report from Palestine
Baskı/Yayın Bilgisi 2021Connect to this object online.
Kitap -
316
-
317
-
318
Unravelling salutogenic mechanisms in the workplace: the role of learning
Baskı/Yayın Bilgisi 2018Connect to this object online.
Kitap -
319
-
320
The Role of Saliva Cortisol Measurement in Health and Disease
Baskı/Yayın Bilgisi 2012DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü