Search Results - "reinforcement learning"

Deep Learning and Computer Vision in Remote Sensing-II

DOAB: download the publication
DOAB: description of the publication

Distinct Functions of the Primate Putamen Direct and Indirect Pathways in Adaptive Outcome-Based Action Selection by Yasumasa Ueda, Yasumasa Ueda, Ko Yamanaka, Ko Yamanaka, Atsushi Noritake, Kazuki Enomoto, Kazuki Enomoto, Naoyuki Matsumoto, Naoyuki Matsumoto, Hiroshi Yamada, Hiroshi Yamada, Hiroshi Yamada, Kazuyuki Samejima, Hitoshi Inokawa, Yukiko Hori, Yukiko Hori, Kae Nakamura, Minoru Kimura, Minoru Kimura

Connect to this object online.

PENGINTEGRASIAN PENDIDIKAN ANTIKORUPSI DALAM PEMBELAJARAN PKN SEBAGAI PENGUAT KARAKTER BANGSA :Studi Evaluasi dan Pengembangan Perangkat Pembelajaran Bermodel PAKEM di Sekolah Mene... by Harmanto

Link Metadata

BUDAYA GURU SEKOLAH DASAR DALAM PEMBELAJARAN ( Studi Situs SD Negeri 1 Getasrejo Kecamatan Grobogan) by NARTO, NARTO

Connect to this object online

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2018 /

Table of Contents: “…Machine Learning for Enhanced Waste Quantity Reduction: Insights from the MONSOON Industry 4.0 Project -- Deduction of time-dependent machine tool characteristics by fuzzy-clustering -- Unsupervised Anomaly Detection in Production Lines -- A Random Forest Based Classifer for Error Prediction of Highly Individualized Products -- Web-based Machine Learning Platform for Condition-Monitoring -- Selection and Application of Machine Learning-Algorithms in Production Quality -- Which deep artifificial neural network architecture to use for anomaly detection in Mobile Robots kinematic data -- GPU GEMM-Kernel Autotuning for scalable machine learners -- Process Control in a Press Hardening Production Line with Numerous Process Variables and Quality Criteria -- A Process Model for Enhancing Digital Assistance in Knowledge-Based Maintenance -- Detection of Directed Connectivities in Dynamic Systems for Different Excitation Signals using Spectral Granger Causality -- Enabling Self-Diagnosis of AutomationDevices through Industrial Analytics -- Making Industrial Analytics work for Factory Automation Applications -- Application of Reinforcement Learning in Production Planning and Control of Cyber Physical Production Systems -- LoRaWan for Smarter Management of Water Network: From metering to data analysis.…”
Link to Metadata

Trusted Artificial Intelligence in Manufacturing; Trusted Artificial Intelligence in Manufacturing A Review of the Emerging Wave of Ethical and Human Centric AI Technologies for Sm...

DOAB: download the publication
DOAB: description of the publication

Current Approaches and Applications in Natural Language Processing

DOAB: download the publication
DOAB: description of the publication

Trusted Artificial Intelligence in Manufacturing; Trusted Artificial Intelligence in Manufacturing A Review of the Emerging Wave of Ethical and Human Centric AI Technologies for Sm...

OAPEN Library: download the publication
OAPEN Library: description of the publication

IMPLEMENTASI KOMBINASI METODE TEMPORAL DIFFERENCE LEARNING DAN ALGORITMA MINIMAX PADA GAME CATUR JAWA DAN VARIASINYA by Utama, Zenna Dwi

Link Metadata

EFEK MEDIASI MOTIVASI BELAJAR PADA PENGARUH REINFORCEMENT TERHADAP HASIL BELAJAR SISWA (Systematic Literature Review) by Melissa Delvia, -

Link Metadata

xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers /

Table of Contents: “…Editorial -- xxAI - Beyond explainable Artificial Intelligence -- Current Methods and Challenges -- Explainable AI Methods - A Brief Overview -- Challenges in Deploying Explainable Machine Learning -- Methods for Machine Learning Models -- CLEVR-X: A Visual Reasoning Dataset for Natural Language Explanations -- New Developments in Explainable AI -- A Rate-Distortion Framework for Explaining Black-box Model Decisions -- Explaining the Predictions of Unsupervised Learning Models -- Towards Causal Algorithmic Recourse -- Interpreting Generative Adversarial Networks for Interactive Image Generation -- XAI and Strategy Extraction via Reward Redistribution -- Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis -- Interpreting and improving deep-learning models with reality checks -- Beyond the Visual Analysis of Deep Model Saliency -- ECQ^2: Quantization for Low-Bit and Sparse DNNs -- A whale's tail - Finding the right whale in an uncertain world -- Explainable Artificial Intelligence in Meteorology and Climate Science: Model fine-tuning, calibrating trust and learning new science -- An Interdisciplinary Approach to Explainable AI.…”
Link to Metadata

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

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
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

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...

Table 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

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…On-the-fly Calibration in Computerized Adaptive Testing; Angela Verschoor, Stéphanie Berger, Urs Moser, Frans Kleintjes -- 17. Reinforcement Learning applied to Adaptive Classification Testing; Darkhan Nurakhmetov -- Theme 5: Technological developments in educational measurement -- 18. …”
Link to Metadata

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

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

Echtzeitsimulation in der Produktionsautomatisierung Beiträge zu Virtueller Inbetriebnahme, Digitalem Engineering und Digitalen Zwillingen /

Table of Contents: “…Teil I Echtzeitsimulation für die Virtuelle Inbetriebnahme: Die simulierte Werkzeugmaschine, ein Rückblick -- Anforderungen und Methoden für die Hardware-in-the-Loop-Simulation zur Virtuellen Inbetriebnahme von Produktionssystemen -- Echtzeit-Co-Simulation von Produktionsanlagen -- ISG-virtuos - der Digitale Zwilling für die Praxis -- Echtzeitsimulation der Prozess-Maschinen-Interaktion zur Prognose der Prozessstabilität mit realer CNC am Beispiel eines Fräsprozesses -- Herausforderungen bei der Abbildung der Prozess-Maschine Interaktion am Beispiel der Umformsimulation -- Materialflusssimulation für die Virtuelle Inbetriebnahme in Steuerungsechtzeit -- Nutzen von Digitalen Zwillingen und Virtueller Inbetriebnahme für den Maschinen- und Anlagenbau -- Teil II Echtzeitsimulation und Modellgenerierung im Entwicklungsprozess: Automatische Modellgenerierung aus Engineering-Daten -- Automatische Modellgenerierung für die Virtuelle Inbetriebnahme bei HOMAG -- TwinStore - Online-Plattform für Simulationsmodelle -- Testautomatisierung am Digitalen Zwilling -- Simulationsmodelle der Virtuellen Inbetriebnahme als Lernumgebung für Reinforcement Learning -- Konzept für die automatisierte Planung von Montagesystemen -- Teil III Echtzeitsimulation als Service in der Betriebsphase: Digital Twin as a Service -- Mixed-Reality-in-the-Loop Simulation -- Anwendungsberichte über den industriellen Einsatz der Mixed Reality im Maschinen- und Anlagenbau -- Anwendungsberichte über den Einsatz der Mixed Reality in der Aus- und Weiterbildung technischer Fachkräfte -- Lernpotenziale und -herausforderungen Digitaler Zwillinge in der Betriebsphase -- Teil IV Echtzeitsimulation für Steuerungsfunktionen: Online-Berechnung des Digitalen Zwillings für CNC am Beispiel der additiven Fertigung -- Strukturmodellbasierte Korrektur thermisch bedingter Fehler -- Räumliche Kraftmessung und -regelung mit strukturintegrierter Sensorik in Hexapoden.…”
Link to Metadata

An Automatically Adaptive Digital Health Intervention to Decrease Opioid-Related Risk While Conserving Counselor Time: Quantitative Analysis of Treatment Decisions Based on Artific... by John D Piette, Laura Thomas, Sean Newman, Nicolle Marinec, Joel Krauss, Jenny Chen, Zhenke Wu, Amy S B Bohnert

Connect to this object online.