Search Results - "engineer"

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

4th Applied Synthetic Biology in Europe

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

工程及科技教育認證制度下的學生核心能力與評估：大學教師、系主任、院長的觀點 A Study of Students' Core-Competence Evaluation in Engineering Education Quality Assurance: The Perspectives of Faculty Members, Program Chairpersons, and Deans by 林妙真 Miao-Chen Lin, 張佩芬 Pei-Fen Chang

Connect to this object online.

Cold Micro Metal Forming Research Report of the Collaborative Research Center "Micro Cold Forming" (SFB 747), Bremen, Germany

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

Cold Micro Metal Forming Research Report of the Collaborative Research Center "Micro Cold Forming" (SFB 747), Bremen, Germany

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

Proceedings of PIANC Smart Rivers 2022 Green Waterways and Sustainable Navigations /

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

Industrial Robotics Programming, Simulation and Applications

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

Food Safety and Agro-Environment in China Perceptions and Behaviors of Farmers and Consumers

Subjects: “…Agricultural engineering & machinery bicssc…”
DOAB: download the publication
DOAB: description of the publication

Cutting Edge Robotics

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

Mobile Robots towards New Applications

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

Mobile Robotics, Moving Intelligence

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