Search Results - Omloop~
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 91
- Technology: general issues 76
- Research & information: general 34
- Medicine 15
- Biology, life sciences 14
- Computer Science 13
- Computer science 13
- Electrical engineering 12
- Physics 12
- Media studies 11
- Politics & government 10
- Science: general issues 10
- Artificial intelligence 9
- Software Engineering 9
- Applied ecology 8
- Energy industries & utilities 8
- Neurosciences 8
- Nuclear physics 8
- Artificial Intelligence 7
- Materials science 7
- Programming Languages 7
- Software engineering 7
- Sustainability 6
- Chemistry 5
- Mathematics 5
- Mechanical engineering & materials 5
- Alternative & renewable energy sources & technology 4
- Automatic control engineering 4
- Climate change 4
- Cognition & cognitive psychology 4
-
2581
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 -
2582
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 -
2583
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata
Electronic eBook -
2584
Homeostasis and Allostasis of Thyroid Function
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2585
-
2586
-
2587
-
2588
-
2589
-
2590
-
2591
-
2592
J.C. Steyn en Afrikaans n Viering
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2593
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata
Electronic eBook -
2594
Business Transitions: A Path to Sustainability The CapSEM Model /
Published 2023Table of Contents: “…Part I Sustainability: challenges and opportunities -- Chapter 1: Business Challenges in the Transition to Sustainability -- Chapter 2: The CapSEM Model -- Chapter 3: Sustainable Development Goals and CapSEM -- Part II The Toolbox: Methodologies and Theories -- Chapter 4: Input-output Analysis and Cleaner Production -- Chapter 5: Looking Beyond the Factory Gates -- Chapter 6: Communicating Product Life Cycle Performance through Labels and Declarations -- Chapter 7 : Environmental Management Systems -- Chapter 8: Analytical frameworks, indicators and performance evaluation -- Chapter 9: Reporting Schemes -- Chapter 10: Business Models for Sustainability -- Chapter 11: Closing the loop: Industrial Ecology, Circular Economy and Material Flow Analysis -- Chapter 12: Systems Engineering. …”
Link to Metadata
Electronic eBook -
2595
-
2596
-
2597
-
2598
-
2599
-
2600