Výsledky vyhledávání - Theory of computation Semantics and reasoning Program reasoning Program analysis

A Kleene algebra with tests for union bound reasoning about probabilistic programs

Autoři: Gomes, Leandro Baillot, Patrick Gaboardi, Marco a další

Přispěvatelé: Gomes, Leandro Baillot, Patrick Gaboardi, Marco a další

Témata: union bound, Kleene algebras with tests Hoare logic equational reasoning probabilistic programs union bound formal verification, Theory of computation → Hoare logic, Hoare logic, equational reasoning, [INFO] Computer Science [cs], Theory of computation → Logic and verification, Theory of computation → Algebraic semantics, Kleene algebras with tests, probabilistic programs, ddc:004, formal verification, Theory of computation → Pre- and post-conditions

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.35

An overview of the quantum cognition research program.

Autoři: Huang J Epping G Trueblood JS a další

Zdroj: Psychonomic bulletin & review [Psychon Bull Rev] 2025 Dec; Vol. 32 (6), pp. 2507-2556. Date of Electronic Publication: 2025 Jul 03.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: Springer] Country of Publication: United States NLM ID: 9502924 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1531-5320 (Electronic) Linking ISSN: 10699384 NLM ISO Abbreviation: Psychon Bull Rev Subsets: MEDLINE

Výrazy ze slovníku MeSH: Quantum Theory* , Cognition* , Models, Psychological* , Probability Theory*, Humans ; Decision Making ; Judgment

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autoři: Din, Crystal, Chang Hähnle, Reiner Henrio, Ludovic a další

Přispěvatelé: Din, Crystal, Chang Hähnle, Reiner Henrio, Ludovic a další

Zdroj: ISSN: 0164-0925.

Témata: • Software and its engineering → Concurrent programming structures, Program semantics, Programming logic, Theory of computation → Parallel computing models, CCS Concepts, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, [INFO]Computer Science [cs]

Dostupnost: https://hal.science/hal-04732946
https://hal.science/hal-04732946v1/document
https://hal.science/hal-04732946v1/file/LAGC.pdf
https://doi.org/10.1145/3648439

CoqQ: Foundational Verification of Quantum Programs

Autoři: Zhou, L Barthe, G Strub, PY a další

Témata: 4612 Software engineering, 4613 Theory of computation, 4903 Numerical and computational mathematics

Popis souboru: application/pdf

Relation: Proceedings of the ACM on Programming Languages; Proceedings of the ACM on Programming Languages, 2023, 7, (POPL), pp. 833-865; http://hdl.handle.net/10453/175412

Dostupnost: http://hdl.handle.net/10453/175412

Modular, compositional, and executable formal semantics for LLVM IR

Autoři: Zakowski, Yannick Beck, Calvin Yoon, Irene a další

Přispěvatelé: Zakowski, Yannick Beck, Calvin Yoon, Irene a další

Zdroj: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-03525711 ; Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473572⟩.

Témata: Software and its engineering, Semantics, Compilers, Theory of computation, Program verification, Denotational semantics, Monads, Coq, LLVM, Verified Compilation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnost: https://hal.science/hal-03525711
https://hal.science/hal-03525711v1/document
https://hal.science/hal-03525711v1/file/vellvm_design_final.pdf
https://doi.org/10.1145/3473572

Involutions on Relational Program Calculi.

Autoři: Rewitzky, I. M. Sanders, J. W.

Zdroj: Scientific Annals of Computer Science. 2008, Vol. 18, p129-171. 43p. 7 Diagrams.

Témata: Galois theory, Boolean algebra, Algebraic logic, Lattice theory, Sequential analysis, Mathematical programming, Mathematical models, Determinism (Philosophy), Semantics

Semantics for Noninterference with Interaction Trees (Artifact)

Autoři: Silver, Lucas He, Paul Cecchetti, Ethan a další

Přispěvatelé: Silver, Lucas He, Paul Cecchetti, Ethan a další

Témata: Security and privacy → Information flow control, Security and privacy → Logic and verification, information-flow, monads, ddc:004, verification, Theory of computation → Denotational semantics, denotational semantics

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.6

Structure Learning Training and Cognitive Flexibility

Autoři: University of Cambridge SH Annabel Chen, PhD, Professor

Přispěvatelé: University of Cambridge SH Annabel Chen, PhD, Professor

Zdroj: Structure Learning Training and Cognitive Flexibility
Friedman NP, Miyake A. Unity and diversity of executive functions: Individual differences as a window on cognitive structure. Cortex. 2017 Jan;86:186-204. doi: 10.1016/j.cortex.2016.04.023. Epub 2016 May 10.
Dajani DR, Uddin LQ. Demystifying cognitive flexibility: Implications for clinical and developmental neuroscience. Trends Neurosci. 2015 Sep;38(9):571-8. doi: 10.1016/j.tins.2015.07.003.
Uddin LQ. Cognitive and behavioural flexibility: neural mechanisms and clinical considerations. Nat Rev Neurosci. 2021 Mar;22(3):167-179. doi: 10.1038/s41583-021-00428-w. Epub 2021 Feb 3.
Karbach J, Kray J. How useful is executive control training? Age differences in near and far transfer of task-switching training. Dev Sci. 2009 Nov;12(6):978-90. doi: 10.1111/j.1467-7687.2009.00846.x.
Buttelmann F, Karbach J. Development and Plasticity of Cognitive Flexibility in Early and Middle Childhood. Front Psychol. 2017 Jun 20;8:1040. doi: 10.3389/fpsyg.2017.01040. eCollection 2017.
Kloo D, Perner J. Training transfer between card sorting and false belief understanding: helping children apply conflicting descriptions. Child Dev. 2003 Nov-Dec;74(6):1823-39. doi: 10.1046/j.1467-8624.2003.00640.x.
Wang R, Shen Y, Tino P, Welchman AE, Kourtzi Z. Learning predictive statistics from temporal sequences: Dynamics and strategies. J Vis. 2017 Oct 1;17(12):1. doi: 10.1167/17.12.1.
Wang R, Shen Y, Tino P, Welchman AE, Kourtzi Z. Learning Predictive Statistics: Strategies and Brain Mechanisms. J Neurosci. 2017 Aug 30;37(35):8412-8427. doi: 10.1523/JNEUROSCI.0144-17.2017. Epub 2017 Jul 31.
Karlaftis VM, Wang R, Shen Y, Tino P, Williams G, Welchman AE, Kourtzi Z. White-Matter Pathways for Statistical Learning of Temporal Structures. eNeuro. 2018 Jul 17;5(3):ENEURO.0382-17.2018. doi: 10.1523/ENEURO.0382-17.2018. eCollection 2018 May-Jun.
Karlaftis VM, Giorgio J, Vertes PE, Wang R, Shen Y, Tino P, Welchman AE, Kourtzi Z. Multimodal imaging of brain connectivity reveals predictors of individual decision strategy in statistical learning. Nat Hum Behav. 2019 Mar 1;3:297-307. doi: 10.1038/s41562-018-0503-4.
Giorgio J, Karlaftis VM, Wang R, Shen Y, Tino P, Welchman A, Kourtzi Z. Functional brain networks for learning predictive statistics. Cortex. 2018 Oct;107:204-219. doi: 10.1016/j.cortex.2017.08.014. Epub 2017 Aug 18.
Green CS, Bavelier D. Learning, attentional control, and action video games. Curr Biol. 2012 Mar 20;22(6):R197-206. doi: 10.1016/j.cub.2012.02.012.
Bock AM, Cartwright KB, McKnight PE, Patterson AB, Shriver AG, Leaf BM, Mohtasham MK, Vennergrund KC, Pasnak R. Patterning, Reading, and Executive Functions. Front Psychol. 2018 Sep 25;9:1802. doi: 10.3389/fpsyg.2018.01802. eCollection 2018.
Yeniad N, Malda M, Mesman J, Van IJzendoorn MH, Pieper S. Shifting ability predicts math and reading performance in children: A meta-analytical study. Learning and Individual Differences. 2013; 23:1-9.
Bock AM, Gallaway KC, Hund AM. Specifying links between executive functioning and theory of mind during middle childhood: Cognitive flexibility predicts social understanding. Journal of Cognition and Development. 2015;16(3):509-21.
Papic MM, Mulligan JT, Mitchelmore MC. Assessing the development of preschoolers' mathematical patterning. Journal for Research in Mathematics Education. 2011;42(3):237-68.
Liu CL, Cheng X, Choo BL, Hong M, Teo JL, Koo WL, Tan JYJ, Ubrani MB, Suckling J, Gulyas B, Leong V, Kourtzi Z, Sahakian B, Robbins T, Chen AS. Potential cognitive and neural benefits of a computerised cognitive training programme based on Structure Learning in healthy adults: study protocol for a randomised controlled trial. Trials. 2023 Aug 11;24(1):517. doi: 10.1186/s13063-023-07551-2.

Bayesian estimation in veterinary pharmacology: A conceptual and practical introduction.

Autoři: Woodward, Andrew P.¹ (AUTHOR) andrew.woodward@canberra.edu.au

Zdroj: Journal of Veterinary Pharmacology & Therapeutics. Jul2024, Vol. 47 Issue 4, p322-352. 31p.

Fulminate: Testing CN Separation-Logic Specifications in C

Autoři: Banerjee, Rini Memarian, Kayvan Makwana, Dhruv a další

Témata: 4613 Theory Of Computation, 46 Information and Computing Sciences, 4612 Software Engineering, Article

URL: https://www.repository.cam.ac.uk/handle/1810/377338

What we mean when we say semantic: Toward a multidisciplinary semantic glossary.

Autoři: Reilly J Shain C Borghesani V a další

Zdroj: Psychonomic bulletin & review [Psychon Bull Rev] 2025 Feb; Vol. 32 (1), pp. 243-280. Date of Electronic Publication: 2024 Sep 04.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: Springer] Country of Publication: United States NLM ID: 9502924 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1531-5320 (Electronic) Linking ISSN: 10699384 NLM ISO Abbreviation: Psychon Bull Rev Subsets: MEDLINE

Výrazy ze slovníku MeSH: Semantics* , Terminology as Topic*, Humans ; Psycholinguistics ; Concept Formation

A Process Algebra for Reasoning About Quantum Security

Autoři: Adão, P. Mateus, P.

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Mar2007, Vol. 170, p3-21. 19p.

Témata: Algebra software, Pseudocode (Computer program language), Programming languages, Quantum theory, Mathematical analysis, Computer programming

Mathematical Theory of Computation

Autoři: STANFORD UNIV CA DEPT OF COMPUTER SCIENCE McCarthy, John

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, COMPUTER PROGRAMS, COMPUTATIONS, COMPUTER AIDED DESIGN, VERIFICATION, MODELS, REUSABLE EQUIPMENT, THEORY, COMPUTER PROGRAMMING, MUTATIONS, MATHEMATICS, LOGIC, MECHANICAL PROPERTIES, REASONING, SOFTWARE ENGINEERING, REUSABLE EQUIPMENT., Text

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

Hunting for Paradoxes: A Research Strategy for Cognitive Science.

Autoři: Chater N; Behavioural Science Group, Warwick Business School.

Zdroj: Topics in cognitive science [Top Cogn Sci] 2025 Jul; Vol. 17 (3), pp. 770-801. Date of Electronic Publication: 2025 Apr 01.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Cognitive Science Society, Inc Country of Publication: United States NLM ID: 101506764 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1756-8765 (Electronic) Linking ISSN: 17568757 NLM ISO Abbreviation: Top Cogn Sci Subsets: MEDLINE

Výrazy ze slovníku MeSH: Cognitive Science*/methods , Thinking* , Research Design*, Humans

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

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

Inhibition and updating share common resources: Bayesian evidence from signal detection theory and drift diffusion model.

Autoři: Sun Y Lin Y Han S

Zdroj: Psychological research [Psychol Res] 2025 Jul 22; Vol. 89 (4), pp. 128. Date of Electronic Publication: 2025 Jul 22.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Springer-Verlag Country of Publication: Germany NLM ID: 0435062 Publication Model: Electronic Cited Medium: Internet ISSN: 1430-2772 (Electronic) Linking ISSN: 03400727 NLM ISO Abbreviation: Psychol Res Subsets: MEDLINE

Výrazy ze slovníku MeSH: Inhibition, Psychological* , Signal Detection, Psychological*/physiology , Executive Function*/physiology , Models, Psychological*, Humans ; Bayes Theorem ; Male ; Reaction Time/physiology ; Young Adult ; Female ; Adult ; Stroop Test ; Adolescent ; Decision Making/physiology

A formal model of semantic computing.

Autoři: Jiang, Yuncheng

Zdroj: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Jul2019, Vol. 23 Issue 14, p5411-5429, 19p

Témata: TURING machines, FINITE state machines, MACHINE theory, ROBOTS, SEMANTIC computing, ONTOLOGIES (Information retrieval), SEMANTICS

Reduced Susceptibility to the Dunning-Kruger Effect in Autistic Employees.

Autoři: Hartman LM Glassman H Hartman BL

Zdroj: Autism research : official journal of the International Society for Autism Research [Autism Res] 2025 Nov 12. Date of Electronic Publication: 2025 Nov 12.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: John Wiley & Sons, Inc Country of Publication: United States NLM ID: 101461858 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1939-3806 (Electronic) Linking ISSN: 19393806 NLM ISO Abbreviation: Autism Res Subsets: MEDLINE

On the Interpretation of Denotational Semantics.

Autoři: Cardone, Felice

Zdroj: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p

Témata: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

Contract as automaton: representing a simple financial agreement in computational form.

Autoři: Flood, Mark D. Goodenough, Oliver R.

Zdroj: Artificial Intelligence & Law; Sep2022, Vol. 30 Issue 3, p391-416, 26p

Témata: LOAN agreements, CONTRACTS, REASONING, DETERMINISTIC processes, COUNTERPARTIES (Finance)