Suchergebnisse - Theory of computation → Complexity theory AND logic phrases Implicit Complexity*

Parallelism in Soft Linear Logic

Autoren: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

Weitere Verfasser: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

Quelle: Computer Science Logic ; https://hal.science/hal-03374648 ; Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.10⟩

Schlagwörter: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Typing, Linear Logic, Functional Programming, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

Geographisches Schlagwort: Göttingen, Germany

Verfügbarkeit: https://hal.science/hal-03374648
https://hal.science/hal-03374648v1/document
https://hal.science/hal-03374648v1/file/PSLL-CSL%20-%20Final.pdf
https://doi.org/10.4230/LIPIcs.10

Parallelism in Soft Linear Logic

Autoren: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

Weitere Verfasser: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

Schlagwörter: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Implicit Complexity, Functional Programming, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ddc:004, Typing, Linear Logic

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271468v1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.26
https://hal.science/hal-03374648v1
https://doi.org/10.4230/lipics...10
https://hal.science/hal-03374648v1/document

mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity

Autoren: Aubert, Clément Rubiano, Thomas Rusch, Neea et al.

Weitere Verfasser: Aubert, Clément Rubiano, Thomas Rusch, Neea et al.

Quelle: 7th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel
https://hal.science/hal-03596285
7th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel, Aug 2022, Haifa, Israel. pp.26:1--26:23, ⟨10.4230/LIPIcs.CVIT.2016.23⟩
Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik

Schlagwörter: 2012 ACM Subject Classification Automated static analysis, Complexity theory and logic, Logic and verification phrases Static Program Analysis, Implicit Computational Complexity, Automatic Complexity Analysis, Program Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geographisches Schlagwort: Haifa, Israel

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

Verfügbarkeit: https://hal.science/hal-03596285
https://hal.science/hal-03596285v1/document
https://hal.science/hal-03596285v1/file/2022_03_03_standalone.pdf
https://doi.org/10.4230/LIPIcs.CVIT.2016.23

Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]

Autoren: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

Quelle: http://tocl.acm.org/accepted/330dallago.pdf.

Schlagwörter: Mathematical Logic—Lambda calculus and related systems, F.1.3 [Computation by Abstract Devices, Complexity Measures and Classes—Machine-independent complexity General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Geometry of interaction, implicit computational complexity, linear

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.5986; http://tocl.acm.org/accepted/330dallago.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.5986
http://tocl.acm.org/accepted/330dallago.pdf

Further N -Frame networking dynamics of conscious observer-self agents via a functional contextual interface: predictive coding, double-slit quantum mechanical experiment, and decision-making fallacy modeling as applied to the measurement problem in humans and AI

Autoren: Edwards, Darren J.

Quelle: Frontiers in Computational Neuroscience; 2025, p1-53, 53p

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

Questioning Psychological Constructs: Current Issues and Proposed Changes.

Autoren: De Boeck, Paul Pek, Jolynn Walton, Katherine et al.

Quelle: Psychological Inquiry; Oct-Dec2023, Vol. 34 Issue 4, p239-257, 19p

Schlagwörter: THEORY of knowledge, DEFINITIONS

Realism with Quantum Faces: The Leggett–Garg Inequalities as a Case Study for Feyerabend's Views.

Autoren: Crull, Elise

Quelle: International Studies in the Philosophy of Science; Dec2024, Vol. 37 Issue 4, p195-217, 23p

Schlagwörter: BELL'S theorem, PHILOSOPHY of science, QUANTUM mechanics, QUANTUM theory, QUANTUM measurement

Computational Psychotherapy System for Mental Health Prediction and Behavior Change with a Conversational Agent.

Autoren: Kolenik, Tine Schiepek, Günter Gams, Matjaž

Quelle: Neuropsychiatric Disease & Treatment; Dec2024, Vol. 20, p2465-2498, 34p

Schlagwörter: GENERATIVE artificial intelligence, MACHINE learning, THEORY of mind, HEALTH behavior, K-nearest neighbor classification

Artificial grammar learning meets formal language theory: an overview.

Autoren: Fitch, W. Tecumseh Friederici, Angela D.

Quelle: Philosophical Transactions of the Royal Society B: Biological Sciences; 7/19/2012, Vol. 367 Issue 1598, p1933-1955, 23p

Schlagwörter: FORMAL languages, INFORMATION theory, ANIMAL sound production, GRAMMAR, LINGUISTIC complexity, MOLECULAR structure of RNA, BRAIN imaging

Computability and Complexity

Autoren: Hubie Chen

Resource Type: eBook.

Schlagworte: Computational complexity

Categories: COMPUTERS / Computer Science, COMPUTERS / Machine Theory, COMPUTERS / Programming / Algorithms

Generic cognition: A neglected source of context sensitivity.

Autoren: Almotahari, Mahrad

Quelle: Mind & Language; Sep2024, Vol. 39 Issue 4, p472-491, 20p

Schlagwörter: CONTEXTUALISM (Philosophy), SYSTEMS theory, COGNITION, GENERALIZATION, DEFAULT (Finance)

Algorists, Algorithms, and Complexity: An Exploration of the Shavian Critique of Discrete State Computation.

Autoren: Wells, A. J.

Quelle: Ecological Psychology; 2005, Vol. 17 Issue 3/4, p205-230, 26p

Schlagwörter: ENVIRONMENTAL psychology, PSYCHOLOGY, ANIMALS -- Environmental aspects, ECOLOGY

People: SHAW, Robert

A Data-Driven Framework for Flood Mitigation: Transformer-Based Damage Prediction and Reinforcement Learning for Reservoir Operations.

Autoren: Tofighi, Soheyla Gurbuz, Faruk Mantilla, Ricardo et al.

Quelle: Water (20734441); Oct2025, Vol. 17 Issue 20, p3024, 37p

Schlagwörter: TRANSFORMER models, REINFORCEMENT learning, WATER storage, RISK assessment, HYDRAULIC models, EMPIRICAL research, FLOOD damage prevention

Geografische Kategorien: UNITED States

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Autoren: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

Quelle: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Schlagwörter: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

How computation explains.

Autoren: Richmond, Andrew

Quelle: Mind & Language; Feb2025, Vol. 40 Issue 1, p2-20, 19p

Schlagwörter: COGNITIVE science, SCIENTIFIC models, PHILOSOPHERS, PRAGMATISM, EXPLANATION

Theory of Computation

Autoren: George Tourlakis

Resource Type: eBook.

Schlagworte: Computable functions, Functional programming languages

Categories: MATHEMATICS / Discrete Mathematics

The production of passives in Mandarin children with and without developmental language disorder.

Autoren: Du, Jiao He, Xiaowei Yu, Haopeng

Quelle: First Language; Feb2025, Vol. 45 Issue 1, p66-96, 31p

Schlagwörter: LANGUAGE disorders, CHILDREN'S language, PRONOUNS, NOUNS, HYPOTHESIS

Linguistic Theory and the Biblical Text

Autoren: William A. Ross Elizabeth Robar

Resource Type: eBook.

Schlagworte: Hebrew language, Linguistics, Greek language, Biblical

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Linguistics / Historical & Comparative, BIBLES / General

Counting in Visual Question Answering: Methods, Datasets, and Future Work.

Autoren: Welde, Tesfayee Meshu Liao, Lejian

Quelle: International Journal of Image & Graphics; Sep2025, Vol. 25 Issue 5, p1-32, 32p

It Is Movement All the Way Down: Broken Rhythms and Embodied Selfhood in Depersonalization.

Autoren: Alekseeva, Veronika Ciaunica, Anna

Quelle: Behavioral Sciences (2076-328X); Aug2025, Vol. 15 Issue 8, p1090, 23p