Search Results - neural modeling fields
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 141
- Technology: general issues 110
- Research & information: general 66
- Information technology industries 26
- Neurosciences 25
- Biology, life sciences 20
- Computer science 18
- Mathematics & science 18
- Medicine 15
- Artificial intelligence 14
- Machine learning 12
- Environmental science, engineering & technology 8
- Technology, engineering, agriculture 7
- Energy industries & utilities 6
- Physics 6
- Artificial Intelligence 5
- Data mining 5
- Geography 5
- Machine Learning 5
- Psychology 5
- Biomedical engineering 4
- Conservation of buildings & building materials 4
- Data Mining and Knowledge Discovery 4
- Humanities 4
- Automatic control engineering 3
- Chemical engineering 3
- Chemistry 3
- Coins, banknotes, medals, seals (numismatics) 3
- Computer Engineering and Networks 3
- Computer engineering 3
-
481
-
482
-
483
Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2018 /
Published 2019Link to Metadata
Electronic eBook -
484
-
485
-
486
-
487
-
488
Bio-Inspired Information Pathways From Neuroscience to Neurotronics /
Published 2024Link to Metadata
Electronic eBook -
489
-
490
-
491
-
492
-
493
-
494
-
495
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata
Electronic eBook -
496
Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020 /
Published 2021Link to Metadata
Electronic eBook -
497
-
498
-
499
-
500