Search Results - Theory of computation Models of computation Concurrence Parallel computing models*

Occurrence Net Logics: Occurrence net logics

Authors: Haar, Stefan Loria, Publications

Contributors: Haar, Stefan Loria, Publications

Source: Fundamenta Informaticae. 43:105-127

Subject Terms: 0209 industrial biotechnology, Petri net systems, concurrence, branching processes, petri nets, réseaux de petri, logique ordre partiel, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, 02 engineering and technology, partial order logics, 01 natural sciences, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], processus de branchement, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), concurrency, sémantique, semantics

File Description: application/xml

Access URL: https://inria.hal.science/inria-00098861v1
https://zbmath.org/1515286
https://inria.hal.science/inria-00638279v1
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0008-0021
https://content.iospress.com/articles/fundamenta-informaticae/fi43-1-4-06
https://dblp.uni-trier.de/db/journals/fuin/fuin43.html#Haar00
https://doi.org/10.3233/FI-2000-43123406

Exploring Zika's dynamics: A scoping review journey from epidemic to equations through mathematical modelling.

Authors: Romero-Leiton, Jhoana P. Laison, Elda K. E. Alfaro, Rowin et al.

Source: Infectious Disease Modelling (2468-2152); Jun2025, Vol. 10 Issue 2, p536-558, 23p

Reversible Computation: Extending Horizons of Computing

Authors: Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz et al.

Resource Type: eBook.

Subjects: Reversible computing

Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Artificial Intelligence for Bearing Capacity Evaluation of Shallow Foundation: an Overview.

Authors: Khajehzadeh, Mohammad Keawsawasvong, Suraparb

Source: Geotechnical & Geological Engineering; Sep2024, Vol. 42 Issue 7, p5401-5424, 24p

Subject Terms: SHALLOW foundations, BUILDING foundations, MACHINE learning, ARTIFICIAL intelligence, GEOTECHNICAL engineering

SEEG4D: a tool for 4D visualization of stereoelectroencephalography data.

Authors: Evans, James L. Bramlet, Matthew T. Davey, Connor et al.

Source: Frontiers in Neuroinformatics; 2024, p1-11, 11p

Subject Terms: MAGNETIC resonance imaging, SPATIAL ability, NEUROLOGICAL disorders, COMPUTED tomography, VIRTUAL reality

Factors affecting polyandry: A study among polyandrous family of Shillai Tehsil in Himachal Pradesh.

Authors: Kumar, Shiv Kumar, Thakur Prem

Source: Cuestiones de Fisioterapia; 2025, Vol. 54 Issue 3, p4835-4848, 14p

Subject Terms: SOCIAL norms, FAMILY structure, POLYANDRY, ATTITUDE change (Psychology), GENDER role

HALITOSIS: THE SILENT STRUGGLE FOR CONNECTION.

Authors: SWATHI, T. BABU, N. ARAVINDHA KRUPAA, JAYASRI et al.

Source: TPM: Testing, Psychometrics, Methodology in Applied Psychology; 2025 Supplement, Vol. 32, p909-911, 503p

Virtual Hemodynamic Assessment of Coronary Lesions: The Advent of Functional Angiography and Coronary Imaging.

Authors: Nikopoulos, Sotirios Papafaklis, Michail I. Tsompou, Panagiota et al.

Source: Journal of Clinical Medicine; Apr2024, Vol. 13 Issue 8, p2243, 18p

Subject Terms: CORONARY angiography, COMPUTATIONAL fluid dynamics, HEMODYNAMICS, IMAGE processing, CORONARY artery stenosis

Artificial Intelligence on the Digital Flight Deck: A Continuum with Parallel Trajectories.

Authors: Holley, Sam Miller, Mark Halawi, Leila

Source: Proceedings of the Human Factors & Ergonomics Society Annual Meeting; Sep2024, Vol. 68 Issue 1, p1339-1344, 6p

High Level Abstractions for Improving Parallel Image Reconstruction Algorithms.

Authors: Álvarez, Jose A. Piera, Javier Roca

Source: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing & Ambient Assisted Living; 2009, p50-57, 8p

Towards Understanding Factors Affecting Arsenic, Chromium, and Vanadium Mobility in the Subsurface.

Authors: Peel, Hannah R. Balogun, Fatai O. Bowers, Christopher A. et al.

Source: Water (20734441); Nov2022, Vol. 14 Issue 22, p3687, 27p

Subject Terms: CHROMIUM, VANADIUM, ARSENIC, GEOCHEMISTRY, CHEMICAL kinetics, GEOCHEMICAL modeling

TERMIS 2023 – European Chapter Manchester Central Conference Centre Manchester, UK March 28–31, 2023.

Source: Tissue Engineering Part A: Tissue Engineering; Jul2023, Vol. 29 Issue 13/14, p1-1022, 1022p

Formal Methods in Musicology: Models and Computation

Authors: Francis Knights, Editor Pablo Padilla, Editor

Resource Type: eBook.

Subjects: Musical analysis--Mathematics

Categories: MUSIC / Ethnomusicology, MUSIC / Instruction & Study / Techniques, MUSIC / Instruction & Study / Theory

A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system.

Authors: Qiu, R.G. Joshi, S.B.

Source: IEEE Transactions on Systems, Man & Cybernetics: Part A; Nov99, Vol. 29 Issue 6, p573-586, 14p

MVST-SciVis: narrative visualization and analysis of compound events in scientific data.

Authors: Lu, Xuyi Xu, Yuan Li, Guan et al.

Source: Journal of Visualization; Jun2023, Vol. 26 Issue 3, p687-703, 17p

Model and Mathematics: From the 19th to the 21st Century

Authors: Michael Friedman Karin Krauthausen

Resource Type: eBook.

Subjects: Computer simulation, Mathematical models--History

Categories: MATHEMATICS / History & Philosophy, SCIENCE / History

Simulation of Spray Polymerisation and Structure Generation in Spray Drying by Single Droplet Models

Authors: Winfried Säckel

Resource Type: eBook.

Subjects: Polymerization

Categories: TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Chemical & Biochemical

Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings

Authors: Adrian-Horia Dediu Carlos Martín-Vide Bianca Truthe et al.

Resource Type: eBook.

Subjects: Algorithms, Artificial intelligence, Computer science, Computer networks, Application software, Software engineering

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General

Physics Clues on the Mind Substrate and Attributes.

Authors: Torres, Joaquin J. Marro, Joaquín

Source: Frontiers in Computational Neuroscience; 4/8/2022, Vol. 16, p1-10, 10p

Subject Terms: PHYSICS, PHASE transitions, SYNAPSES, CONSCIOUSNESS, NEURONS, NEURAL transmission

A comprehensive sensitivity and uncertainty analysis for discharge and nitrate-nitrogen loads involving multiple discrete model inputs under future changing conditions.

Authors: Schürz, Christoph Hollosi, Brigitta Matulla, Christoph et al.

Source: Hydrology & Earth System Sciences; 2019, Vol. 23 Issue 3, p1211-1244, 34p, 2 Diagrams, 11 Charts, 8 Graphs, 1 Map