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

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

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

Glycyrrhiza glabra and Saussurea costus extracts mitigate arsenic-induced nephrotoxicity via orchestrating Nrf2/HO-1 and NF-kB crosstalk and repressing the expression of HSPs genes, and apoptosis in broiler chickens.

Authors: Elazab, Sara T. Safhi, Fatmah A. Al-Rasheed, Mohammed et al.

Source: Toxin Reviews; Jun2025, Vol. 44 Issue 2, p211-232, 22p

Subject Terms: LICORICE (Plant), BROILER chickens, SAUSSUREA, OXIDATIVE stress, NEPHROTOXICOLOGY, CHICKS

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

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

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

Determinacy and confluence in concurrent and synchronous process calculi ; Déterminisme et Confluence dans des systèmes concurrents et synchrones

Authors: Dogguy, Mehdi Laboratoire PPS Preuves, Programmes et Systèmes (PPS) et al.

Contributors: Dogguy, Mehdi Laboratoire PPS Preuves, Programmes et Systèmes (PPS) et al.

Source: https://theses.hal.science/tel-00690512 ; Calcul formel [cs.SC]. Université Paris-Diderot - Paris VII, 2012. Français. ⟨NNT : ⟩.

Subject Terms: concurrency, determinism, process calculi, synchrnous, signals, channels, concurrence, déterminisme, confluence, calculs de processus, synchrone, signaux, canaux, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Availability: https://theses.hal.science/tel-00690512
https://theses.hal.science/tel-00690512v1/document
https://theses.hal.science/tel-00690512v1/file/TheseMehdiDogguy.pdf

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

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

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

Determinacy and confluence in concurrent and synchronous process calculi

Authors: Dogguy, Mehdi

Contributors: Dogguy, Mehdi

Subject Terms: process calculi, synchrnous, concurrence, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], determinism, signals, channels, canaux, synchrone, signaux, confluence, calculs de processus, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], concurrency, déterminisme

File Description: application/pdf

Access URL: https://theses.hal.science/tel-00690512v1

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