Search Results - Theory of computation Models of computation Abstract machines

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

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

Authors: 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) et al.

Contributors: 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) 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

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

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)

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

The algebraic extended atom-type graph-based model for precise ligand–receptor binding affinity prediction

Authors: Farjana Tasnim Mukta Md Masud Rana Avery Meyer et al.

Source: Journal of Cheminformatics, Vol 17, Iss 1, Pp 1-15 (2025)

Subject Terms: Algebraic graph learning, Extended atom type, Similarity computation, Non-redundant training sets, Protein-ligand interactions, Binding affinity predictions, Information technology, T58.5-58.64, Chemistry, QD1-999

File Description: electronic resource

Relation: https://doaj.org/toc/1758-2946

Access URL: https://doaj.org/article/5c44853ede4f47178dcda5315b5a5ecc

enTurning Machines

Authors: Kostitsyna, Irina Wood, Cai Woods, Damien et al.

Contributors: Kostitsyna, Irina Wood, Cai Woods, Damien et al.

Subject Terms: Theory of computation → Models of computation, reconfiguration, nubot, model of computation, self-assembly, molecular robotics

Theory of computation on abstract/concrete computer automata

Authors: Karel Culik

Source: ACM SIGACT News. 14:21-35

Subject Terms: abstract finite computer automata, concrete arithmetic automata, finite computer arithmetics, Specification and verification (program logics, model checking, etc.), computation theory, programming languages, 0202 electrical engineering, electronic engineering, information engineering, correctness of programs, concrete computer automaton, Formal languages and automata, 02 engineering and technology, Models of computation (Turing machines, etc.), infinite computer automata

File Description: application/xml

Access URL: https://zbmath.org/3902040
https://dl.acm.org/doi/10.1145/1008892.1008894

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

Vector magnetic circuit analysis of silicon steel sheet parameters under different frequencies for electrical machines

Authors: Wei Qin Ming Cheng Zheng Wang et al.

Source: IET Electric Power Applications, Vol 18, Iss 9, Pp 981-994 (2024)

Subject Terms: eddy current losses, magductance, magnetic circuits, magnetic flux skin effect, magnetoelectric power law, vector magnetic circuit theory, Applications of electric power, TK4001-4102

File Description: electronic resource

Relation: https://doaj.org/toc/1751-8660; https://doaj.org/toc/1751-8679

Access URL: https://doaj.org/article/6fb7d3f76ceb4903801c9b76dfa1919f

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

A strategic framework for optimal decisions in football 1-vs-1 shot-taking situations: an integrated approach of machine learning, theory-based modeling, and game theory

Authors: Calvin Yeung Keisuke Fujii

Source: Complex & Intelligent Systems, Vol 10, Iss 5, Pp 5989-6008 (2024)

Subject Terms: Machine learning, Game theory, Theory-based, Interaction strategy, Sports, Football, Electronic computers. Computer science, QA75.5-76.95, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://doaj.org/toc/2199-4536; https://doaj.org/toc/2198-6053

Access URL: https://doaj.org/article/9d3462c184974824b51a1593908c7cc8

Homogeneity Equation for the Effective Elastic Properties of Heterogenous Rocks Developed From Machine Learning

Authors: E. Maalouf H. Kareem H. Chebli

Source: Journal of Geophysical Research: Machine Learning and Computation, Vol 2, Iss 1, Pp n/a-n/a (2025)

Subject Terms: neural networks, rock, effective medium theory, cracks, elastic properties, homogeneity equation, Geophysics. Cosmic physics, QC801-809, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://doaj.org/toc/2993-5210

Access URL: https://doaj.org/article/37df24aa621a49908516f775ac2a8a4b

Analysis of Electron Distribution Functions From the Magnetospheric Multiscale (MMS) Mission Using the Gaussian Mixture Model

Authors: Beniamino Sanò Nathan N. Maes Anno David L. Newman et al.

Source: Journal of Geophysical Research: Machine Learning and Computation, Vol 2, Iss 1, Pp n/a-n/a (2025)

Subject Terms: heliophysics, unsupervised machine learning, magnetic reconnection, velocity distribution function, Gaussian mixture models, Geophysics. Cosmic physics, QC801-809, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://doaj.org/toc/2993-5210

Access URL: https://doaj.org/article/d06a8a6c807c4ded8516d880f8dc42b6

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)