Výsledky vyhledávání - theory of computation: models of computation: time and hybrid models

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version: Full Version

Autoři: Xu, Xiong Talpin, Jean-Pierre Wang, Shuling a další

Přispěvatelé: Xu, Xiong Talpin, Jean-Pierre Wang, Shuling a další

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2501.09430

Numerical optimisation of worm locomotion on frictional substrates

Autoři: Bijalwan, Ashutosh

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística

Thesis Advisors: Muñoz Romero, José

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Optimal control, Adjoint method, Control Hamiltonian, Structure-preserving discretisation, Nonlinear elasticity, Finite element, Limbless locomotion, Àrees temàtiques de la UPC::Matemàtiques i estadística

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/692243
https://dx.doi.org/10.5821/dissertation-2117-415062

Computing Power of Hybrid Models in Synchronous Networks

Autoři: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo a další

Přispěvatelé: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo a další

Témata: LOCAL, FOS: Computer and information sciences, hybrid model, 0102 computer and information sciences, [INFO] Computer Science [cs], synchronous networks, 01 natural sciences, Computer Science - Distributed, Parallel, and Cluster Computing, CONGEST, 0103 physical sciences, Broadcast Congested Clique, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2208.02640
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.20

Brief Announcement: Computing Power of Hybrid Models in Synchronous Networks

Autoři: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo a další

Přispěvatelé: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo a další

Témata: LOCAL, CONGEST, Broadcast Congested Clique, hybrid model, Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], ddc:004, synchronous networks

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.43

Higher-Dimensional Timed and Hybrid Automata

Autoři: Fahrenberg, Uli Uli Fahrenberg Laboratoire de Recherche de l'EPITA (LRE) a další

Přispěvatelé: Fahrenberg, Uli Uli Fahrenberg Laboratoire de Recherche de l'EPITA (LRE) a další

Zdroj: Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 03:1-03:16 (2022)

Témata: Technology, higher-dimensional automaton, real time, TK7800-8360, timed automaton, hybrid automaton, Theory of computation → Timed and hybrid models, Theory of computation → Concurrency, non-interleaving concurrency, TK1-9971, precubical set, [INFO]Computer Science [cs], Electrical engineering. Electronics. Nuclear engineering, ddc:004, Electronics

Popis souboru: application/pdf

Přístupová URL adresa: https://doaj.org/article/ee34da38eb9a4486abfd504881a63662
https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.3

Bandwidth of Timed Automata: 3 Classes

Autoři: Asarin, Eugene Degorre, Aldric Dima, Cătălin a další

Přispěvatelé: Asarin, Eugene Degorre, Aldric Dima, Cătălin a další

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2310.01941
https://hal.u-pec.fr/hal-04569989v1
https://doi.org/10.4230/lipics.fsttcs.2023.10
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.10

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates

Autoři: Nejati A Zamani M Ameneh Nejati and Majid Zamani

Přispěvatelé: Nejati A Zamani M Ameneh Nejati and Majid Zamani

Zdroj: Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 06:1-06:17 (2022)

Témata: Technology, TK7800-8360, Theory of computation~Timed and hybrid models, Stochastic hybrid systems, Computer systems organization~Embedded and cyber-physical systems, Compositional barrier certificates, Dissipativity theory, dissipativity theory, TK1-9971, compositional barrier certificates, Mathematics of computing~Stochastic processes, Electrical engineering. Electronics. Nuclear engineering, ddc:004, Large-scale networks, Electronics, Formal controller synthesis, large-scale networks, stochastic hybrid systems, formal controller synthesis

Popis souboru: application/pdf

Přístupová URL adresa: https://doaj.org/article/a448bf869765417888665620e44b0ec8
https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.6

Introduction to the Special Issue on Distributed Hybrid Systems

Autoři: Abate, Alessandro Fahrenberg, Uli Fränzle, Martin

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000/48

Dostupnost: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000
https://doi.org/10.4230/LITES.8.2.0

Strict Self-Assembly of Discrete Self-Similar Fractal Shapes ; Auto-assemblage strict de formes fractales

Autoři: Becker, Florent Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) a další

Přispěvatelé: Becker, Florent Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) a další

Zdroj: https://hal.science/hal-04571345 ; 2024.

Témata: 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

Dostupnost: https://hal.science/hal-04571345
https://hal.science/hal-04571345v3/document
https://hal.science/hal-04571345v3/file/main.pdf

Reduced-order model-based reachability analysis of hybrid wind-solar microgrids considering primary energy uncertainty

Autoři: Zhuoli Zhao Jianzhao Lu Jingmin Fan a další

Zdroj: International Journal of Electrical Power & Energy Systems, Vol 163, Iss , Pp 110331- (2024)

Témata: Hybrid wind-solar microgrids, Reachability analysis, Reduced-order model, Primary energy disturbance, Zonotope, Reachable set, Production of electric energy or power. Powerplants. Central stations, TK1001-1841

Popis souboru: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S0142061524005544; https://doaj.org/toc/0142-0615

Přístupová URL adresa: https://doaj.org/article/86874b1389254260b4b330ddcd0e7991

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Models and Theories : A Philosophical Inquiry

Autoři: Roman Frigg

Resource Type: eBook.

Témata: Science--Methodology, Science--Philosophy

Categories: PHILOSOPHY / General

Improving River-Stage Forecasting Using Hybrid Models Based on the Combination of Multiple Additive Regression Trees and Runge–Kutta Schemes.

Autoři: Jang, Jiun-Huei Lee, Kun-Fang Fu, Jin-Cheng

Zdroj: Water Resources Management; Feb2022, Vol. 36 Issue 3, p1123-1140, 18p

Témata: REGRESSION trees, HYDROLOGICAL forecasting, FORECASTING, RIVER conservation, MACHINE learning, WATERSHEDS

Geografický termín: TAIWAN

Application of Group Theory for Computation Reduction in Microwave Imaging of Human Breast Model at 500 MHz.

Autoři: Patel, Hardik N. Ghodgaonkar, Deepak K.

Zdroj: Progress in Electromagnetics Research M; 2016, Vol. 51, p165-173, 9p

Témata: GROUP theory, MICROWAVE imaging, MICROWAVE imaging in medicine, BREAST cancer diagnosis, INVERSE scattering transform

Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow

Autoři: Meng Li Ratnesh Kumar

Zdroj: IET Cyber-Physical Systems (2017)

Témata: reachability analysis, discrete systems, automation, program testing, control engineering computing, automata theory, reachability resolution, discrete-time hybrid systems, automated test generation, Simulink/Stateflow, commercial model-based development tool, hybrid automaton refinement, edge representation, defect-detection, requirements-satisfaction, bounded counter, cyberphysical system, thermal control unit, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2017.0007; https://doaj.org/toc/2398-3396

Přístupová URL adresa: https://doaj.org/article/661e997454df43d6bf0bed88b682aef7

Prediction of Sea Level Using Double Data Decomposition and Hybrid Deep Learning Model for Northern Territory, Australia.

Autoři: Raj, Nawin Murali, Jaishukh Singh-Peterson, Lila a další

Zdroj: Mathematics (2227-7390); Aug2024, Vol. 12 Issue 15, p2376, 25p

Témata: CONVOLUTIONAL neural networks, SEA level, BEACH erosion, PRINCIPAL components analysis, ARTIFICIAL intelligence

Application of the fast multipole method to hybrid finite element-boundary element models

Autoři: Sabariego, R.V. Gyselinck, J. Geuzaine, C. a další

Zdroj: ISSN:0377-0427 ; ISSN:1879-1778 ; Journal Of Computational And Applied Mathematics, vol. 168 (1-2), (403-412.

Témata: Science & Technology, Physical Sciences, Mathematics, Applied, fast multipole method, finite element method, boundary element method, hybrid method, Laplace function, INTEGRAL-EQUATIONS, SCATTERING, ALGORITHM, 0102 Applied Mathematics, 0103 Numerical and Computational Mathematics, 0906 Electrical and Electronic Engineering, Numerical & Computational Mathematics, 4613 Theory of computation, 4901 Applied mathematics, 4903 Numerical and computational mathematics

Popis souboru: application/pdf

Relation: https://lirias.kuleuven.be/handle/123456789/427942; https://doi.org/10.1016/j.cam.2003.12.011

Dostupnost: https://lirias.kuleuven.be/handle/123456789/427942
https://lirias.kuleuven.be/retrieve/7c4b0617-e204-4df1-bc5a-636a8f759120
https://doi.org/10.1016/j.cam.2003.12.011

Model-Based Demography : Essays on Integrating Data, Technique and Theory

Autoři: Thomas K. Burch

Resource Type: eBook.

Témata: Statistics, Demography, Social sciences, Philosophy and science

Categories: SOCIAL SCIENCE / Demography, SCIENCE / Philosophy & Social Aspects, SOCIAL SCIENCE / Sociology / General, SOCIAL SCIENCE / Statistics

A survey of slow thinking-based reasoning LLMs using reinforcement learning and test-time scaling law.

Autoři: Pan, Qianjun Ji, Wenkai Ding, Yuyang a další

Zdroj: Information Processing & Management. Mar2026:Part A, Vol. 63 Issue 2, pN.PAG-N.PAG. 1p.

Témata: Reinforcement learning, Cognitive psychology, Cognitive ability, Critical thinking, Computer performance, Model-based reasoning

Cyber-Physical Systems: A Model-Based Approach

Autoři: Taha, Walid M. Taha, Abd-Elhamid M. Thunberg, Johan

Témata: Computer Systems Organization and Communication Networks, Cyber-physical systems, IoT, Simulation and Modeling, Control, Robotics, Mechatronics, Computer Engineering and Networks, Cyber-Physical Systems, Computer Science, Control, Robotics, Automation, CPS, Embedded System, model-based engineering, hybrid systems, Acumen, coordinate transformations, modeling computational systems, modeling physical systems, control, sensing and actuation, game theory, Open Access, Computer networking & communications, Electrical engineering, Cybernetics & systems theory, Computer modelling & simulation, Automatic control engineering, Electronic devices & materials, Textbook, Computer networking and communications, Computer modelling and simulation

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/41754