Suchergebnisse - lazy sequential computation

Proof Systems for Reasoning about Computation Errors

Autoren: Avron, Arnon Konikowska, Beata

Quelle: Studia Logica: An International Journal for Symbolic Logic, 2009 Mar 01. 91(2), 273-293.

Zugangs-URL: https://www.jstor.org/stable/40269036

Proof Systems for Reasoning about Computation Errors

Autoren: A. Avron B. Konikowska The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: A. Avron B. Konikowska The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.math.tau.ac.il/~aa/articles/MK.pdf.

Schlagwörter: three-valued logics, four-valued logics, parallel computation, lazy sequential computation, computation errors, non-deterministic matrices, sequent calculi

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7572; http://www.math.tau.ac.il/~aa/articles/MK.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7572
http://www.math.tau.ac.il/~aa/articles/MK.pdf

A Universal Realizability Model for Sequential Functional Computation

Autoren: Rohr, Alexander

Index Begriffe: Ph.D. Thesis, PeerReviewed, info:eu-repo/semantics/doctoralThesis

URL: https://tuprints.ulb.tu-darmstadt.de/351/1/diss.pdf
http://tuprints.ulb.tu-darmstadt.de/351/
https://doi.org/10.26083/tuprints-00000351
http://tuprints.ulb.tu-darmstadt.de/351
https://doi.org/10.26083/tuprints-00000351

A Universal Realizability Model for Sequential Functional Computation

Autoren: Rohr, Alexander

Index Begriffe: Ph.D. Thesis, PeerReviewed, info:eu-repo/semantics/doctoralThesis

URL: http://tuprints.ulb.tu-darmstadt.de/351/
http://elib.tu-darmstadt.de/diss/000351
http://tuprints.ulb.tu-darmstadt.de/351
http://elib.tu-darmstadt.de/diss/000351

A lazy associative classifier for time series.

Autoren: Jidong Yuan Zhihai Wang Meng Han et al.

Quelle: Intelligent Data Analysis. 2015, Vol. 19 Issue 5, p983-1002. 20p.

Schlagwörter: *TIME series analysis, *PROBABILITY theory, *SEQUENTIAL analysis, *MATHEMATICAL statistics, *STOCHASTIC learning models

Sequential aggregate signatures with lazy verification from trapdoor permutations.

Autoren: Brogle, Kyle Goldberg, Sharon Reyzin, Leonid

Quelle: Information & Computation. Dec2014, Vol. 239, p356-376. 21p.

Schlagwörter: *DIGITAL signatures, *PUBLIC key cryptography, *IDENTIFICATION, *PERMUTATIONS, *ALGORITHMS, *DATA security

Parallel evaluation strategies for lazy data structures in Haskell

Autoren: Totoo, Prabhat Loidl, Hans-Wolfgang Trinder, Phil et al.

Weitere Verfasser: Totoo, Prabhat Loidl, Hans-Wolfgang Trinder, Phil et al.

Schlagwörter: 005.13

Zugangs-URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.695468

Universal domains for sequential computation

Autoren: Kanneganti, Ramarao

Thesis Advisors: Cartwright, Robert S.

Schlagwörter: Computer Science

Dateibeschreibung: 190 p.; application/pdf

Verfügbarkeit: http://hdl.handle.net/1911/16836

Sequential Decision Making with Limited Observation Capability: Application to Wireless Networks

Autoren: Kaza, Kesav Meshram, Rahul Mehta, Varun et al.

Index Begriffe: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Information Theory, text

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

Jumping Computation : Updating Automata and Grammars for Discontinuous Information Processing

Autoren: Alexander Meduna Zbyněk Křivka

Resource Type: eBook.

Schlagworte: Computer programming, Computer science--Mathematics, Machine theory

Categories: COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Games, COMPUTERS / Computer Literacy

An Approximate Bayesian Computation Approach for Embryonic Astrocyte Migration Model Reduction.

Autoren: Stepien TL; Department of Mathematics, University of Florida, Gainesville, FL, USA. tstepien@ufl.edu.

Quelle: Bulletin of mathematical biology [Bull Math Biol] 2024 Sep 13; Vol. 86 (10), pp. 126. Date of Electronic Publication: 2024 Sep 13.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Springer Country of Publication: United States NLM ID: 0401404 Publication Model: Electronic Cited Medium: Internet ISSN: 1522-9602 (Electronic) Linking ISSN: 00928240 NLM ISO Abbreviation: Bull Math Biol Subsets: MEDLINE

MeSH-Schlagworte: Astrocytes*/cytology , Astrocytes*/physiology , Cell Movement*/physiology , Bayes Theorem* , Computer Simulation* , Models, Biological* , Cell Differentiation*/physiology , Mathematical Concepts* , Retina*/cytology , Retina*/embryology, Animals ; Cell Proliferation/physiology ; Oxygen/metabolism ; Mice

Humans and neural networks show similar patterns of transfer and interference during continual learning.

Autoren: Holton E Braun L Thompson JA et al.

Quelle: Nature human behaviour [Nat Hum Behav] 2025 Oct 30. Date of Electronic Publication: 2025 Oct 30.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Springer Nature Publishing Country of Publication: England NLM ID: 101697750 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2397-3374 (Electronic) Linking ISSN: 23973374 NLM ISO Abbreviation: Nat Hum Behav Subsets: MEDLINE

Lazy compilation and kernel fusion in dynamic computation graphs

Proof Systems for Reasoning about Computation Errors.

Autoren: Arnon Avron Beata Konikowska

Quelle: Studia Logica; Mar2009, Vol. 91 Issue 2, p273-293, 21p

Shrad: A Language for Sequential Real Number Computation.

Autoren: Farjudian, Amin

Quelle: Theory of Computing Systems; Jun2007, Vol. 40 Issue 4, p49-105, 57p, 5 Charts, 2 Graphs

Schlagwörter: ABSTRACT thought, SEQUENTIAL analysis, MATHEMATICAL statistics, STATISTICAL decision making, COMPUTATIONAL complexity

Streams with a Bottom in Functional Languages.

Autoren: Sagiv, Mooly Tsuiki, Hideki Sugihara, Keiji

Quelle: Programming Languages & Systems (9783540254355); 2005, p201-216, 16p

Recoverable Distributed Shared Memory Under Sequential and Relaxed Consistency.

Autoren: ILLINOIS UNIV AT URBANA COORDINATED SCIENCE LAB Janssens, Bob Fuchs, W. K.

Quelle: DTIC AND NTIS

Index Begriffe: Computer Hardware, Computer Systems, DISTRIBUTED DATA PROCESSING, BLOCK ORIENTED RANDOM ACCESS MEMORIES, ALGORITHMS, RECOVERY, OPTIMIZATION, DATA MANAGEMENT, INFORMATION TRANSFER, COMPUTER COMMUNICATIONS, PARALLEL PROCESSING, PARALLEL PROCESSORS, CONSISTENCY, FINITE DIFFERENCE THEORY, CLUSTERING, WORK STATIONS, MULTIPROCESSORS, SYSTEMS ANALYSIS, COMPUTER NETWORKS, MESSAGE PROCESSING, TIME SHARING, CONTROL SEQUENCES., DSM(DISTRIBUTED SHARED MEMORY), SHARED MEMORY, Text

URL: https://apps.dtic.mil/docs/citations/ADA293966

Parallel Simulation Using Reactive Streams: Graph-Based Approach for Dynamic Modeling and Optimization.

Autoren: Sirotkin, Oleksii Prymushko, Arsentii Puchko, Ivan et al.

Quelle: Computation; May2025, Vol. 13 Issue 5, p103, 30p

Schlagwörter: MODERN architecture, FAULT tolerance (Engineering), DYNAMIC models, SYNCHRONIZATION, COMPUTATIONAL biology

Through the Speech and Vocal Signals Hidden Secrets: An Explainable Methodology for Neurological Diseases Early Detection.

Autoren: Vizza, Patrizia Di Ponio, Alessio Timpano, Giuseppe et al.

Quelle: Journal of Healthcare Informatics Research; Dec2025, Vol. 9 Issue 4, p533-566, 34p

Machine Learning Models of the Geospatial Distribution of Groundwater Quality: A Systematic Review.

Autoren: Mehrabi, Mohammad Polya, David A. Han, Yang

Quelle: Water (20734441); Oct2025, Vol. 17 Issue 19, p2861, 48p

Schlagwörter: MACHINE learning, GROUNDWATER quality, STATISTICAL reliability, PREDICTION models, SPATIAL variation, ENVIRONMENTAL risk assessment, POLLUTANTS