Search Results - "intuition"
Suggested Topics within your search.
Suggested Topics within your search.
- Architectural structure & design 386
- Art techniques & principles 386
- Engineering graphics & technical drawing 386
- Philosophy 26
- Ethics & moral philosophy 20
- Mathematics 13
- Physics 11
- Artificial intelligence 10
- Literature: history & criticism 10
- Psychology 10
- Social & political philosophy 9
- Western philosophy, from c 1900 - 9
- linguistics 9
- Education 6
- History 6
- Humanities 6
- Operational research 6
- Applied mathematics 5
- Economics 5
- Finance 5
- Neurosciences 5
- Psychiatry 5
- Social & cultural anthropology, ethnography 5
- Social sciences 5
- Sociology 5
- Algebra 4
- Biology, life sciences 4
- Business & management 4
- Computer modelling & simulation 4
- Computer science 4
-
421
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table 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
Electronic eBook -
422
-
423
-
424
-
425
-
426
-
427
-
428
-
429
-
430
-
431
-
432
-
433
-
434
-
435
Social and Affective Neuroscience of Everyday Human Interaction From Theory to Methodology /
Published 2023Table of Contents: “…Molecular imaging of the human emotion circuit -- The neurocognitive mechanisms of unconscious emotional responses -- Social and Affective Neuroscience of Embodiment -- The neuroscience of beauty -- Mirror Neurons ... in action: ERPs and neuroimaging evidence -- Sex differences in social cognition -- Development of morality and emotional processing -- Trust in Social Interaction: From Dyads to Civilizations -- The time has come to be mindwanderful: Mind wandering and the intuitive psychology mode -- Social Cognition development and socio affective dysfunction in childhood and adolescence -- Clinical neuroscience meets second-person neuropsychiatry -- EEG and ERPs in the study of Language and Social Knowledge -- fMRI and fNIRS methods for social brain studies: hyperscanning possibilities -- Modulating the Social and Affective Brain with transcranial stimulation techniques -- What our eyes can tell us about our social and affective brain? …”
Link to Metadata
Electronic eBook -
436
-
437
Die Gegenwart des Vergangenen im urbanen Raum Czernowitz-Innsbruck
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
438
-
439
-
440