Результаты поиска - "Algorithm"
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- History of engineering & technology 354
- Technology: general issues 267
- Research & information: general 184
- Artificial intelligence 161
- Computer science 141
- Algorithms & data structures 119
- Information technology industries 85
- Software Engineering 81
- Media studies 69
- Computer networking & communications 58
- Mathematics & science 54
- Machine learning 51
- Mathematics 44
- Artificial Intelligence 39
- Medicine 39
- Data mining 38
- Physics 38
- Computer programming / software development 36
- Applied mathematics 33
- Biology, life sciences 33
- Computer modelling & simulation 32
- Environmental science, engineering & technology 31
- Mathematical theory of computation 31
- Information technology: general issues 30
- Computer networks 29
- Mechanical engineering & materials 29
- Mathematical physics 28
- Probability & statistics 28
- Numerical analysis 27
- Software engineering 27
-
8321
-
8322
-
8323
-
8324
-
8325
-
8326
-
8327
-
8328
-
8329
-
8330
Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /
Опубликовано 2021Оглавление: “...-- Usage and scaling of an open-source spiking multi-area model of the monkey cortex -- Exascale compute and data infrastructures for neuroscience and applications -- Modular supercomputing for neuroscience -- Fenix: Distributed e-Infrastructure Services for EBRAINS -- Independent component analysis for noise and artifact removal in three-dimensional Polarized Light Imaging -- Exascale artificial and natural neural architectures -- Brain-inspired algorithms for processing of visual data -- An hybrid attention-based system for the prediction of facial attributes -- The statistical physics of learning revisited: Typical learning curves in model scenarios -- Emotion mining: from unimodal to multimodal approaches -- ....”
Link to Metadata
Электронный ресурс eКнига -
8331
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Опубликовано 2019Оглавление: “...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
Электронный ресурс eКнига -
8332
-
8333
-
8334
-
8335
-
8336
-
8337
-
8338
-
8339
-
8340