Search Results - Theory of computation Models of computation Abstract machine

The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

Authors: Simone Martini Martini, Simone

Index Terms: Semantics of programming languages, history of programming languages, mathematical theory of computation, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.8
Is Part Of OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)

Probabilistic reasoning in computation and simple type theory

Authors: Gilezan, Silvia Ognjanović, Zoran Ivetić, Jelena et al.

Index Terms: Probabilistic programming, lambda calculus, combinatory logic, type theory, Kripke-style semantics, completeness, probability logic, Verovatnosno programiranje, lambda račun, kombinatorna logika,teorija tipova, Kripkeova semantika, potpunost, verovatnosnalogika, doctoralThesis

URL: https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija169988562208978.pdf?controlNumber=(BISIS)134924&fileName=169988562208978.pdf&id=22153&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/record.jsf?recordId=134924&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije169988563797775.pdf?controlNumber=(BISIS)134924&fileName=169988563797775.pdf&id=22154&source=NaRDuS&language=sr
https://nardus.mpn.gov.rs/handle/123456789/22520
http://nardus.mpn.gov.rs/bitstream/id/161459/Disertacija_15652.pdf
http://nardus.mpn.gov.rs/bitstream/id/161460/Izvestaj_komisije_15652.pdf
https://hdl.handle.net/21.15107/rcub_nardus_22520

Deep learning multiphysics network for imaging CO2 saturation and estimating uncertainty in geological carbon storage

Authors: Um, Evan Schankee Alumbaugh, David Commer, Michael et al.

Source: Geophysical Prospecting. 72(1)

Subject Terms: 37 Earth Sciences (for-2020), 3706 Geophysics (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Machine Learning and Artificial Intelligence (rcdc), electromagnetics, full waveform, gravity, inversion and monitoring, 0404 Geophysics (for), 0802 Computation Theory and Mathematics (for), Geochemistry & Geophysics (science-metrix), 3706 Geophysics (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/81k0m6k2
https://escholarship.org/content/qt81k0m6k2/qt81k0m6k2.pdf

Real‐time deep‐learning inversion of seismic full waveform data for CO2 saturation and uncertainty in geological carbon storage monitoring

Authors: Um, Evan Schankee Alumbaugh, David Lin, Youzuo et al.

Source: Geophysical Prospecting. 72(1)

Subject Terms: 37 Earth Sciences (for-2020), 3706 Geophysics (for-2020), Machine Learning and Artificial Intelligence (rcdc), Networking and Information Technology R&D (NITRD) (rcdc), full waveform, inversion, monitoring, 0404 Geophysics (for), 0802 Computation Theory and Mathematics (for), Geochemistry & Geophysics (science-metrix), 3706 Geophysics (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/65c211z7
https://escholarship.org/content/qt65c211z7/qt65c211z7.pdf

Significance of models of computation, from Turing model to natural computation

Authors: Dodig-Crnkovic, Gordana, 1955

Source: Minds and Machines. 21(2):301-322

Subject Terms: Philosophy, Filosofi, Other Computer and Information Science, Annan data- och informationsvetenskap, Computer and Information Sciences, Data- och informationsvetenskap (Datateknik), Computer Sciences, Datavetenskap (datalogi), Hypercomputing, Models of computation, Philosophy of computer science, Philosophy of computing, Philosophy of information, Theory of computation

Access URL: https://gup.ub.gu.se/publication/224931

Verification of Flat FIFO Systems

Authors: Finkel, Alain Praveen, M. Laboratoire Spécification et Vérification Cachan (LSV) et al.

Contributors: Finkel, Alain Praveen, M. Laboratoire Spécification et Vérification Cachan (LSV) et al.

Source: CONCUR 2019 ; https://hal.science/hal-02267453 ; CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands

Subject Terms: reachability, FIFO, termination, Infinite state systems, complexity, flat systems, counters, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: AMSTERDAM, Netherlands

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1908.07282; ARXIV: 1908.07282

Availability: https://hal.science/hal-02267453
https://hal.science/hal-02267453v1/document
https://hal.science/hal-02267453v1/file/flat.pdf

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Authors: DİLAVER, Hatice DİLAVER, Kamil Fatih

Source: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Subjects: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

Forecasting the growth of Ambystoma mexicanum via artificial neural networks based on water quality parameters in intensive culture systems.

Authors: Axel Vera-Cortes, Christian Juan Carbajal-Hernández, José Samantha Morales-Rodríguez, Úrsula et al.

Source: Journal of Animal Behavior & Biometeorology. Jul2025, Vol. 13 Issue 3, p1-18. 18p.

Subjects: Artificial neural networks, Autoregressive models, Water quality, Transfer functions, Water temperature

Bayesian inference of frequency-specific functional connectivity in MEG imaging using a spectral graph model

Authors: Jin, Huaqing Abdelnour, Farras Verma, Parul et al.

Subject Terms: Information and Computing Sciences, Physical Sciences, Machine Learning, Networking and Information Technology R&D (NITRD), Bioengineering, Biomedical Imaging, Neurosciences, 1.1 Normal biological development and functioning

Access URL: https://escholarship.org/uc/item/24b4v3x6

Atomistic Modeling of Rare Earth Ions in Photonic Materials.

Authors: Wayo DDK Noor MZBM Ganji MD et al.

Source: Luminescence : the journal of biological and chemical luminescence [Luminescence] 2025 Sep; Vol. 40 (9), pp. e70297.

Publication Type: Journal Article; Review

Journal Info: Publisher: Wiley & Sons Country of Publication: England NLM ID: 100889025 Publication Model: Print Cited Medium: Internet ISSN: 1522-7243 (Electronic) Linking ISSN: 15227235 NLM ISO Abbreviation: Luminescence Subsets: MEDLINE

MeSH Terms: Metals, Rare Earth*/chemistry, Photons ; Ions/chemistry ; Density Functional Theory ; Machine Learning ; Quantum Theory

The Mathematician as Mathematics : Theories of Computation in Light of Wittgenstein's Thought

Authors: Solin, Kim

Index Terms: theories of computation, philosophy of mathematics, Wittgenstein, Philosophy, Filosofi, Doctoral thesis, monograph, info:eu-repo/semantics/doctoralThesis, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-45160

Exploring Minds: Modes of Modeling and Simulation in Artificial Intelligence.

Authors: Greif, Hajo

Source: Perspectives on Science; 8/20/2021, Vol. 29 Issue 4, p409-435, 27p

Subject Terms: ANALOGY, ARTIFICIAL intelligence, IMITATIVE behavior, SIMULATION methods & models, MODEL theory, ISOMORPHISM (Mathematics)

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

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

Evolutionary computation in zoology and ecology.

Authors: BOONE, Randall B.¹ Randall.Boone@ColoState.edu

Source: Current Zoology. 2017, Vol. 63 Issue 6, p675-686. 12p.

Subjects: Evolutionary computation, Zoology, Ecology, Multiagent systems, Genetic algorithms

Transcending Turing Computability.

Authors: MaClennan, B. J.

Source: Minds & Machines; Feb2003, Vol. 13 Issue 1, p3-22, 20p

Subject Terms: TURING machines, COMPUTATIONAL complexity, ARTIFICIAL neural networks, ANALOG computer simulation, INFORMATION processing, THEORY of knowledge

Sequential abstract state machines capture sequential algorithms

Authors: Yuri Gurevich The Pennsylvania State University CiteSeerX Archives

Contributors: Yuri Gurevich The Pennsylvania State University CiteSeerX Archives

Source: http://research.microsoft.com/en-us/um/people/gurevich/Opera/141.pdf.

Subject Terms: Categories and Subject Descriptors, F.1.1 [Theory of Computation, Models of Computation, I.6.5 [Computing Methodologies, Model Development—Modeling methodologies General Terms, Computation Models, Simulation, High-Level Design, Specification Additional Key Words and Phrases, Turing’s thesis, sequential algorithm, abstract state machine, sequential ASM thesis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.3017

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.3017
http://research.microsoft.com/en-us/um/people/gurevich/Opera/141.pdf

Learning produces an orthogonalized state machine in the hippocampus.

Authors: Sun W Winnubst J Natrajan M et al.

Source: Nature [Nature] 2025 Apr; Vol. 640 (8057), pp. 165-175. Date of Electronic Publication: 2025 Feb 12.

Publication Type: Journal Article

Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 0410462 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1476-4687 (Electronic) Linking ISSN: 00280836 NLM ISO Abbreviation: Nature Subsets: MEDLINE

MeSH Terms: Learning*/physiology , CA1 Region, Hippocampal*/cytology , CA1 Region, Hippocampal*/physiology , Hippocampus*/physiology , Hippocampus*/cytology, Animals ; Mice ; Neurons/physiology ; Male ; Reward ; Markov Chains ; Neural Networks, Computer ; Models, Neurological ; Virtual Reality ; Cognition/physiology ; Calcium/metabolism ; Mice, Inbred C57BL ; Female

Theory-Based Causal Induction

Authors: Griffiths, Thomas L. Tenenbaum, Joshua B.

Source: Psychological Review. Oct 2009 116(4):661-716.

Peer Reviewed: Y

Page Count: 56

Descriptors: Causal Models, Prior Learning, Logical Thinking, Statistical Inference, Inferences, Observation, Computation, Theories, Physics, Case Studies, Adults, Experiments

Supportive Oracles for Parameterized Polynomial-Time Sub-Linear-Space Computations in Relation to L, NL, and P

Authors: Yamakami, Tomoyuki

Index Terms: Computer Science - Computational Complexity, text

URL: http://arxiv.org/abs/1901.05854

Object Detection In Video Streaming Using Machine Learning And Cnn Techniques.

Authors: Vaidya, Gouri Amol¹

Source: Journal of Advanced Zoology. 2024 Supplement, Vol. 45, p186-196. 11p.