Výsledky vyhledávání - Theory of computation → Complexity theory and logic phrases Implicit Complexity

Parallelism in Soft Linear Logic

Autoři: 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)

Přispěvatelé: 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)

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

Témata: 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]

Geografické téma: Göttingen, Germany

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

Autoři: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois a další

Přispěvatelé: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois a další

Témata: [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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Aubert, Clément Rubiano, Thomas Rusch, Neea a další

Přispěvatelé: Aubert, Clément Rubiano, Thomas Rusch, Neea a další

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

Témata: 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]

Geografické téma: Haifa, Israel

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

Dostupnost: 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]

Autoři: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ugo Dal Lago The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

Autoři: Edwards, Darren J.

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

Témata: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

Questioning Psychological Constructs: Current Issues and Proposed Changes.

Autoři: De Boeck, Paul Pek, Jolynn Walton, Katherine a další

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

Témata: THEORY of knowledge, DEFINITIONS

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

Autoři: Crull, Elise

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

Témata: 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.

Autoři: Kolenik, Tine Schiepek, Günter Gams, Matjaž

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

Témata: GENERATIVE artificial intelligence, MACHINE learning, THEORY of mind, HEALTH behavior, K-nearest neighbor classification

Artificial grammar learning meets formal language theory: an overview.

Autoři: Fitch, W. Tecumseh Friederici, Angela D.

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

Témata: FORMAL languages, INFORMATION theory, ANIMAL sound production, GRAMMAR, LINGUISTIC complexity, MOLECULAR structure of RNA, BRAIN imaging

Computability and Complexity

Autoři: Hubie Chen

Resource Type: eBook.

Témata: Computational complexity

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

Generic cognition: A neglected source of context sensitivity.

Autoři: Almotahari, Mahrad

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

Témata: CONTEXTUALISM (Philosophy), SYSTEMS theory, COGNITION, GENERALIZATION, DEFAULT (Finance)

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

Autoři: Wells, A. J.

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

Témata: 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.

Autoři: Tofighi, Soheyla Gurbuz, Faruk Mantilla, Ricardo a další

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

Témata: TRANSFORMER models, REINFORCEMENT learning, WATER storage, RISK assessment, HYDRAULIC models, EMPIRICAL research, FLOOD damage prevention

Geografický termín: UNITED States

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

Autoři: Li, Shenglin Erickson, Caleb Zajac, Michal a další

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

Témata: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

How computation explains.

Autoři: Richmond, Andrew

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

Témata: COGNITIVE science, SCIENTIFIC models, PHILOSOPHERS, PRAGMATISM, EXPLANATION

Theory of Computation

Autoři: George Tourlakis

Resource Type: eBook.

Témata: Computable functions, Functional programming languages

Categories: MATHEMATICS / Discrete Mathematics

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

Autoři: Du, Jiao He, Xiaowei Yu, Haopeng

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

Témata: LANGUAGE disorders, CHILDREN'S language, PRONOUNS, NOUNS, HYPOTHESIS

Linguistic Theory and the Biblical Text

Autoři: William A. Ross Elizabeth Robar

Resource Type: eBook.

Témata: 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.

Autoři: Welde, Tesfayee Meshu Liao, Lejian

Zdroj: 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.

Autoři: Alekseeva, Veronika Ciaunica, Anna

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