Arama Sonuçları - "fret"
Önerilen Konular
Önerilen Konular
- Research & information: general 11
- Biology, life sciences 9
- Technology: general issues 6
- History of engineering & technology 5
- Artificial Intelligence 3
- Artificial intelligence 3
- Biography & True Stories 2
- Cellular biology (cytology) 2
- Computer Engineering and Networks 2
- Computer engineering 2
- Computer networks 2
- Dermatology 2
- Ophthalmology 2
- Optical physics 2
- Social & cultural anthropology, ethnography 2
- Software Engineering 2
- Software engineering 2
- Vietnam 2
- Algorithms 1
- Biochemistry 1
- Biophysics 1
- Cell Biology 1
- Chemistry 1
- Computer science 1
- Cytology 1
- Design and Analysis of Algorithms 1
- Geography 1
- Immunology 1
- Information technology industries 1
- Mathematical Models of Cognitive Processes and Neural Networks 1
-
141
-
142
-
143
-
144
-
145
-
146
Sigma-1 Receptor Plays a Negative Modulation on N-type Calcium Channel
Baskı/Yayın Bilgisi 2017Connect to this object online.
Kitap -
147
-
148
-
149
-
150
مساهمة في دراسة تطوير محطة حاويات مرفأ اللاذقية
Baskı/Yayın Bilgisi 2014Connect to this object online.
Kitap -
151
-
152
-
153
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 -
154
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 -
155
Make Life Visible
Baskı/Yayın Bilgisi 2020İçindekiler: “…Molecular dynamics revealed by single-molecule FRET measurement -- Chapter 11. Comprehensive approaches using luminescence to studies of cellular functions -- Part II: Imaging Disease Mechanisms -- Chapter 12. …”
Link to Metadata
Elektronik Ekitap -
156
Natural Product-Based Screening for Lead Compounds Targeting SARS CoV-2 M<sup>pro</sup>
Baskı/Yayın Bilgisi 2023Connect to this object online.
Kitap -
157
SEM analysis of working surface in new manual endodontic instruments
Baskı/Yayın Bilgisi 2020Connect to this object online.
Kitap -
158
MANIFESTAREA HIPERACTIVITĂŢII CU DEFICIT DE ATENŢIE LA COPII
Baskı/Yayın Bilgisi 2007Connect to this object online.
Kitap -
159
Failure Analysis of Biometals
Baskı/Yayın Bilgisi 2020DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
160