Search Results - "Engineering"

Models and Analysis of Vocal Emissions for Biomedical Applications 9th International Workshop, september, 2-4, 2015

Subjects: “…Electronics engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Models and Analysis of Vocal Emissions for Biomedical Applications 10th International Workshop, december, 13-15, 2017

Subjects: “…Electronics engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Models and Analysis of Vocal Emissions for Biomedical Applications 11th International Workshop, December, 17-19, 2019

Subjects: “…Electronics engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Low Complexity Physical Layer Cooperation Concepts for Mobile Ad Hoc Networks by Rüegg, Tim

Subjects: “…Electronics engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Advanced Memristor Modeling Memristor Circuits and Networks by Mladenov, Valeri

Subjects: “…Electrical engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Italian National Forest Inventory-Methods and Results of the Third Survey Inventario Nazionale delle Foreste e dei Serbatoi Forestali di Carbonio-Metodi e Risultati della Terza Ind...

Subjects: “…Environmental engineering.…”
Link to Metadata

A Guide to Additive Manufacturing

Subjects: “…Industrial engineering.…”
Link to Metadata

Smart machines, Remote Sensing, Precision Farming, Processes, Mechatronic, Materials and Policies for Safety and Health Aspects by Massimo Cecchini (Ed.)

Subjects: “…Technology, engineering, agriculture bicssc…”
DOAB: download the publication
DOAB: description of the publication

Zukunft der Arbeit - Eine praxisnahe Betrachtung

Subjects: “…Industrial engineering.…”
Link to Metadata

Feature Papers in Eng 2022

Subjects: “…History of engineering & technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Antenne Integrate Attive by Lucci, Leonardo

Subjects: “…Electrical engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Antenne Integrate Attive by Lucci, Leonardo

Subjects: “…Electrical engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Computer engineering.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table 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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table 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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

Subjects: “…Software engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

Subjects: “…Software engineering.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

Subjects: “…Software engineering.…”
Link to Metadata

Product Development within Artificial Intelligence, Ethics and Legal Risk Exemplary for Safe Autonomous Vehicles / by Winkle, Thomas

Subjects: “…Automotive engineering.…”
Link to Metadata

4th Applied Synthetic Biology in Europe

Subjects: “…Civil engineering, surveying & building bicssc…”
DOAB: download the publication
DOAB: description of the publication