Search Results - "Artificial intelligence"

Wound Healing Recent Advances and Future Opportunities

Subjects: “…artificial intelligence…”
DOAB: download the publication
DOAB: description of the publication

Recent Advances in Robotic Systems

Subjects: “…artificial intelligence, optimization, sensors, cognition, augmented reality, automation…”
DOAB: download the publication
DOAB: description of the publication

Earthquakes Tectonics, Hazard and Risk Mitigation

Subjects: “…accelerometer, artificial intelligence, neural network, piezoelectric, liquefaction, buildings…”
DOAB: download the publication
DOAB: description of the publication

Aviation and Its Management Global Challenges and Opportunities

Subjects: “…machine learning, artificial intelligence, leadership, blockchain, digital transformation, network…”
DOAB: download the publication
DOAB: description of the publication

Accounting and Finance Innovations

Subjects: “…artificial intelligence, bitcoin, big data, entrepreneurship, higher education, gender…”
DOAB: download the publication
DOAB: description of the publication

Innovation in the Food Sector Through the Valorization of Food and Agro-Food By-Products

Subjects: “…bioactive compounds, artificial intelligence, antioxidant, biodiversity, carotenoids, bioavailability…”
DOAB: download the publication
DOAB: description of the publication

Plant Breeding Current and Future Views

Subjects: “…genome editing, cotton, oxidative stress, artificial intelligence, agriculture, drought…”
DOAB: download the publication
DOAB: description of the publication

Digitalisierung. Privatheit und öffentlicher Raum by Akademie der Wissenschaften zu Göttingen

Subjects: “…artificial intelligence…”
DOAB: download the publication
DOAB: description of the publication

Pattern Discrimination

Subjects: “…Artificial Intelligence…”
DOAB: download the publication
DOAB: description of the publication

Data Loam. Sometimes Hard, Usually Soft. The Future of Knowledge Systems by Paganelli, Mattia

Subjects: “…artificial intelligence…”
DOAB: download the publication
DOAB: description of the publication

Human and Machine Consciousness by Gamez, David

Subjects: “…artificial intelligence…”
DOAB: download the publication
DOAB: description of the publication

Chapter Automation of the Expertise of the Roman Mosaic Arts in Constanta: Analytical and Statistical Models for a Fuzzy Inference-Based System by Ţurcanu-Caruțiu, Daniela

Subjects: “…automatic reasoning, expertise, mosaic artifacts, artificial intelligence…”
DOAB: download the publication
DOAB: description of the publication

Chapter Monitoring online perception of environmental issues on coasts of Sicily by De Marchi, Damiano

Subjects: “…Artificial Intelligence…”
DOAB: download the publication
DOAB: description of the publication

Sprachkontrolle im Spiegel der Maschinellen Übersetzung Untersuchung zur Wechselwirkung ausgewählter Regeln der Kontrollierten Sprache mit verschiedenen Ansätzen der Maschinelle... by Marzouk, Shaimaa

Subjects: “…Artificial Intelligence…”
DOAB: download the publication
DOAB: description of the publication

Digitalisierung. Privatheit und öffentlicher Raum by Akademie der Wissenschaften zu Göttingen

Subjects: “…artificial intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Pattern Discrimination

Subjects: “…Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter Automation of the Expertise of the Roman Mosaic Arts in Constanta: Analytical and Statistical Models for a Fuzzy Inference-Based System by Ţurcanu-Caruțiu, Daniela

Subjects: “…automatic reasoning, expertise, mosaic artifacts, artificial intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter Monitoring online perception of environmental issues on coasts of Sicily by De Marchi, Damiano

Subjects: “…Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Sprachkontrolle im Spiegel der Maschinellen Übersetzung Untersuchung zur Wechselwirkung ausgewählter Regeln der Kontrollierten Sprache mit verschiedenen Ansätzen der Maschinellen Ü... by Marzouk, Shaimaa

Subjects: “…Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata