Arama Sonuçları - "automation"

Implementing Industry 4.0 in SMEs Concepts, Examples and Applications /

İçindekiler: “…Readiness Model for Integration of ICT and CPS for SMEs Smart Logistics -- 7. Automated Performance Measurement in Internal Logistics Systems -- 8. …”
Link to Metadata

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

İç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

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

İç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

دراسة وتحليل أثر هجمات الحرمان من الخدمة Denial of Service على شبكات الـZigBee ذات الطوبولوجيا الشجرية (Tree) بالمقارنة مع الطوبولوجيا المختلطة (Mesh) من خلال معايير(التأخير، الح... Yazar: أحمد أحمد, لجين صقر

Connect to this object online.

Cepas de Pseudomonas spp. produtoras de metalo-betalactamase isoladas no Hospital Geral de Fortaleza Metallo-betalactamase producing Pseudomonas spp. strains isolated in the Hospit... Yazar: Júlio César Nogueira Torres, Everardo Albuquerque Menezes, Maria Rozellê Ferreira Ângelo, Inácio Regis Nascimento Oliveira, Maria Núbia Cavalcante Salviano, Danilo Elias Xavier, Lauro Santos Filho

Connect to this object online.

Development of a Twitter-Based Intervention for Smoking Cessation that Encourages High-Quality Social Media Interactions via Automessages Yazar: Pechmann, Cornelia, Pan, Li, Delucchi, Kevin, Lakon, Cynthia M, Prochaska, Judith J

Connect to this object online.

Pengembangan Sistem Arsip Elektronik Berbasis Web "Siape" Sebagai Implementasi E-Office Yazar: Tri Nugroho Budi Santoso, Herry Sanoto, Dani Kusuma

Connect to this object online.

Principais parâmetros biológicos avaliados em erros na fase pré-analítica de laboratórios clínicos: revisão sistemática Main biological parameters evaluated in pre-analytic... Yazar: Vivaldo Gomes da Costa, Marcos Lázaro Moreli

Connect to this object online.

PECULIARITIES OF THE IDENTIFICATION OF DIFFERENT TYPES OF TISSUES DURING 3D-RECONSTRUCTION OF HUMAN MICROSCOPIC STRUCTURES Yazar: Р. Дмитренко, О. Коваль, Л. Андрущак, І. Макарчук, О. Цигикало

Connect to this object online.

PENGARUH MEDIA PEMBELAJARAN DIGITAL DAN KEBIASAAN BELAJAR TERHADAP EFEKTIVITAS PEMBELAJARAN (Studi Pada Mata Pelajaran Sarana dan Prasarana Kelas XI Jurusan Otomatisasi dan Tata K... Yazar: Sopa Marwati, -

Link Metadata

STUDI KOMPARATIF PEMBELAJARAN TATAP MUKA DENGAN PEMBELAJARAN JARAK JAUH TERHADAP PRESTASI BELAJAR SISWA KELAS XI JURUSAN OTOMATISASI DAN TATA KELOLA PERKANTORAN PADA MATA PELAJARAN... Yazar: Riana Marlisa, -

Link Metadata

PENGARUH PENGUASAAN KOMPETENSI KEAHLIAN ADMINISTRASI PERKANTORAN TERHADAP PELAKSANAAN PRAKTIK KERJA LAPANGAN (PKL) SISWA KELAS XI PADA JURUSAN OTKP DI SMK PASUNDAN 3 BANDUNG Yazar: Husni Tamrin, -

Link Metadata

An Introduction to Ontology Engineering Yazar: Keet, Maria

İçindekiler: “…1 Introduction -- 2 First order logic and automated reasoning in a nutshell -- 3 Description Logics -- 4 The Web Ontology Language OWL 2 -- 5 Methods and Methodologies -- 6 Top-down Ontology Development -- 7 Bottom-up Ontology Development -- 8 Ontology-Based Data Access -- 9 Ontologies and natural languages -- 10 Advanced Modelling with Additional Languages Features…”
Access online version

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

İçindekiler: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

Notifiable condition reporting practices: implications for public health agency participation in a health information exchange Yazar: Debra Revere, Rebecca H. Hills, Brian E. Dixon, P. Joseph Gibson, Shaun J. Grannis

Connect to this object online.

Lecciones de la vigilancia de la COVID-19. Necesidad urgente de una nueva vigilancia en salud pública. Informe SESPAS 2022 Yazar: María José Sierra Moros, Elena Vanessa Martínez Sánchez, Susana Monge Corella, Lucía García San Miguel, Berta Suárez Rodríguez, Fernando Simón Soria

Connect to this object online.

About relevance of fundamentalisation of mathematical training of students of the pedagogical directions during the digital era Yazar: E. A. Perminov, D. D. Gadjiev, M. M. Abdurazakov

Connect to this object online.

EVALUASI PELAKSANAAN PEMBELAJARAN CONTEXTUAL TEACHING LEARNING (CTL) PADA MATA PELAJARAN SISTEM KONTROL TERPROGRAM DALAM PENERAPAN KURIKULUM MERDEKA Yazar: Aldiansyah Nur Fauzi Pratama, -

Link Metadata

PENGEMBANGAN BAHAN AJAR MATA PELAJARAN PEKERJAAN DASAR ELEKTROMEKANIK UNTUK SEKOLAH MENENGAH KEJURUAN Yazar: Kharimah, Hilda Khusnul

Link Metadata

PERLINDUNGAN KONSUMEN DALAM TRANSAKSI ASET DIGITAL (BITCOIN,ETHEREUM,DASH,DLL) DI INDONESIA Yazar: Bagus Fadhlurrohman Ariyanto, -

Link Metadata