Search Results - Theory of computation: Models of computation: Timed and hybrid models
-
1
Authors: et al.
Source: ACM Transactions on Cyber-Physical Systems, 8 (1), 1–23
Subject Terms: ddc:004, 0209 industrial biotechnology, Theory of computation: Models of computation: Interactive computation, DATA processing & computer science, 05 social sciences, Theory of computation: Models of computation: Timed and hybrid models, 0501 psychology and cognitive sciences, 02 engineering and technology, concepts and paradigms, Human-centered computing: Interaction design: Interaction design theory, CCS CONCEPTS
File Description: application/pdf
-
2
Authors: Fahrenberg, Uli
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 03:1-03:16 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: timed automaton, higher-dimensional automaton, precubical set, real time, non-interleaving concurrency, hybrid automaton, Theory of computation~Concurrency, Theory of computation~Timed and hybrid models
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04571345 ; 2024.
Subject Terms: Molecular Self-assembly, Discrete Fractals, Substitutions, 2012 ACM Subject Classification Theory of computation → Abstract machines Theory of computation → Timed and hybrid models Theory of computation → Computational geometry Molecular Self-assembly, Substitutions 1, 2012 ACM Subject Classification Theory of computation → Abstract machines, Theory of computation → Timed and hybrid models, Theory of computation → Computational geometry Molecular Self-assembly, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2405.08548; ARXIV: 2405.08548
-
4
Authors:
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models
File Description: application/pdf
-
5
Authors:
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 06:1-06:17 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: Compositional barrier certificates, Stochastic hybrid systems, Dissipativity theory, Large-scale networks, Formal controller synthesis, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Timed and hybrid models
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Source: 31st International Conference on Concurrency Theory
Leibniz International Proceedings in Informatics
31st International Conference on Concurrency Theory (CONCUR)Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0209 industrial biotechnology, Theory of computation → Models of computation, Theory of computation → Timed and hybrid models, 02 engineering and technology, [INFO] Computer Science [cs], Logic in Computer Science (cs.LO), Mathematics - Algebraic Geometry, algebraic invariants, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, ddc:004, Hybrid automata, Algebraic Geometry (math.AG)
File Description: application/pdf
Access URL: http://arxiv.org/abs/1902.10452
http://ui.adsabs.harvard.edu/abs/2019arXiv190210452M/abstract
https://arxiv.org/pdf/1902.10452
https://arxiv.org/abs/1902.10452
https://pure.mpg.de/pubman/item/item_3316421_2/component/file_3341981/LIPIcs-CONCUR-2020-32.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2020.32
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3316421
https://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-10452
https://arxiv.org/abs/1902.10452
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.32
http://hdl.handle.net/21.11116/0000-0008-6A71-2
http://hdl.handle.net/21.11116/0000-0009-2F12-F
https://hal.science/hal-03011136v1 -
7
Authors: et al.
Contributors: et al.
Subject Terms: Networking and Internet Architecture (cs.NI), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.3.1, Computer Science - Programming Languages, Internet of Things, Systems and Control (eess.SY), Hybrid Systems, Electrical Engineering and Systems Science - Systems and Control, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Process calculi, Computer Science - Networking and Internet Architecture, Algebraic language theory, Operational semantics, FOS: Electrical engineering, electronic engineering, information engineering, F.3.2, Bisimulation, F.3.1, Timed and hybrid models, F.1.1, Theory of computation, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2501.09430
-
8
Authors: et al.
Contributors: et al.
Subject Terms: bandwidth, FOS: Computer and information sciences, orbit graphs, Formal Languages and Automata Theory (cs.FL), factorization forests, Computer Science - Information Theory, Information Theory (cs.IT), E.4, Theory of computation → Timed and hybrid models, Computer Science - Formal Languages and Automata Theory, [INFO] Computer Science [cs], 68Q70, 68Q45, 68P30, timed automata, F.4.3, ddc:004, entropy, Theory of computation → Quantitative automata, F.1.1, information theory
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Source: Concur
Subject Terms: FOS: Computer and information sciences, Theory of computation → Automata over infinite objects, Formal Languages and Automata Theory (cs.FL), 4. Education, 1. No poverty, Theory of computation → Timed and hybrid models, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, deterministic membership problem, determinisation, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Timed automata
File Description: application/pdf
Access URL: http://arxiv.org/abs/2007.09340
https://drops.dagstuhl.de/opus/volltexte/2020/12854/pdf/LIPIcs-CONCUR-2020-42.pdf/
https://doi.org/10.4230/LIPIcs.CONCUR.2020.42
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-09340
https://drops.dagstuhl.de/opus/volltexte/2020/12854/
https://arxiv.org/abs/2007.09340
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.42 -
10
-
11
Authors:
Source: Journal of Educational Measurement. Fall 2012 49(3):285-311.
Peer Reviewed: Y
Page Count: 27
-
12
Authors: et al.
Source: Scientific reports [Sci Rep] 2025 May 29; Vol. 15 (1), pp. 18828. Date of Electronic Publication: 2025 May 29.
Publication Type: Journal Article
Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: PubMed not MEDLINE; MEDLINE
-
13
Authors:
Source: Minds & Machines; Mar2023, Vol. 33 Issue 1, p83-112, 30p, 2 Diagrams
Subject Terms: HUMAN-computer interaction, COMPUTABLE functions, TURING machines, COMPUTERS, COMPUTER engineering
-
14
Authors:
Source: Frontiers in Computational Neuroscience; 2025, p1-35, 35p
-
15
Authors:
Source: Cardiovascular Engineering & Technology; Oct2025, Vol. 16 Issue 5, p493-504, 12p
-
16
Authors:
Source: American Behavioral Scientist; Sep2025, Vol. 69 Issue 10, p1271-1288, 18p
-
17
Authors: et al.
Source: Water Resources Research; Mar2025, Vol. 61 Issue 3, p1-36, 36p
Subject Terms: GLOBAL warming, AUTOMATIC differentiation, LATENT heat, HEAT flux, RESEARCH questions
-
18
Authors: et al.
Source: Geotechnical & Geological Engineering; Nov2024, Vol. 42 Issue 8, p7129-7148, 20p
Subject Terms: EARTH pressure, PRESSURE sensors, MECHANICAL models, LANDSLIDES, COMPUTER simulation
-
19
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics
PDF Full Text ePub Full Text -
20
Authors:
Contributors:
Source: Repositorio Digital Universitario (UNC)
Universidad Nacional de Córdoba
instacron:UNCSubject Terms: Models of computation, Logic, Quantitative automata, Automata, Confluencia, Automata over infinite objects, Concurrency, Formal languages and automata theory, Verification by model checking, Determinismo, Simulación, Probabilidades continuas, Timed and hybrid models, Concurrencia
File Description: application/pdf
Access URL: http://hdl.handle.net/11086/549542
Full Text Finder 
Nájsť tento článok vo Web of Science 
Full Text