खोज परिणाम - "automata"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- Computer science 58
- Software Engineering 56
- Artificial intelligence 54
- Computer networking & communications 26
- Software engineering 24
- Computer programming / software development 21
- Algorithms & data structures 20
- Formal Languages and Automata Theory 19
- Machine theory 19
- Artificial Intelligence 18
- Computer Science Logic and Foundations of Programming 16
- Mathematical theory of computation 16
- Computer networks 12
- Theory of Computation 11
- Computer Engineering and Networks 10
- Computer engineering 10
- Computer modelling & simulation 8
- Systems analysis & design 8
- Computer Modelling 7
- Computer simulation 7
- Computers 7
- Mathematics 7
- Control Structures and Microprogramming 6
- Electronic digital computers 6
- Evaluation 6
- Microprogramming 6
- Programming & scripting languages: general 6
- System Performance and Evaluation 6
- Algorithms 5
- Discrete mathematics 5
-
161
IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency Intelligent Methods for the Factory of the Future /
प्रकाशित 2018विषय - सूची: “…Concept and Implementation of a Software Architecture for Unifying Data Transfer in Automated Production Systems -- Social Science Contributions to Engineering Projects: Looking Beyond Explicit Knowledge Through the Lenses of Social Theory -- Enable learning of Hybrid Timed Automata in Absence of Discrete Events through Self-Organizing Maps -- Anomaly Detection and Localization for Cyber-Physical Production Systems with Self-Organizing Maps -- A Sampling-Based Method for Robust and Efficient Fault Detection in Industrial Automation Processes -- Validation of similarity measures for industrial alarm flood analysis -- Concept for Alarm Flood Reduction with Bayesian Networks by Identifying the Root Cause.…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
162
Making and Unmaking in Early Modern English Drama - Spectators, Aesthetics and Incompletion
प्रकाशित 2014DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
163
-
164
-
165
-
166
-
167
-
168
-
169
-
170
-
171
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
प्रकाशित 2023विषय - सूची: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
172
Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman /
प्रकाशित 2023विषय - सूची: “…Beyond Watson-Crick -- DNA nanotechnology out of equilibrium -- The Evolution of DNA-Based Molecular Computing -- DNA Nanotechnology Research in Japan -- Reminiscences from the Trenches -- Beyond DNA -- Controlling single molecule conjugated oligomers and polymers with DNA -- Organizing charge flow with DNA -- DNA Assembly of Dye Aggregates -- Building with DNA -- From Molecules to Mathematics -- Origami Life -- Ok: a kinetic model for locally reconfigurable molecular systems -- Implementing a Theoretician's Toolkit for Self-Assembly with DNA Components -- Reasoning As If -- Scaling up DNA computing with array-based synthesis and high-throughput sequencing -- Sequenceable Event Recorders -- Computational Design of Nucleic Acid Circuits -- Parallel computations with DNA-encoded chemical reaction networks -- Social DNA Nanorobots -- Models of Gellular Automata -- Patterning DNA origami on membranes through protein self-organization.…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
173
-
174
-
175
Foundations of Robotics A Multidisciplinary Approach with Python and ROS /
प्रकाशित 2022विषय - सूची: “…PART I: Contextual Design -- Chapter 1 - Genealogy of artificial beings: from ancient automata to modern robotics (Nicolas Reeves and David St-Onge) -- Chapter 2 - Teaching and learning robotics: A pedagogical perspective(Eleni Petraki and Damith Herath) -- Chapter 3 - Design Thinking: from Empathy to Ideation(Fanke Peng).…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
176
Intelligent Control in Energy Systems
प्रकाशित 2019DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
177
-
178
-
179
-
180