Suchergebnisse - Theory of computation Semantics and reasoning Program semantics Algebraic semantics

Treffer weiter einschränken
  1. 1

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

    Autoren: Gomes, Leandro Baillot, Patrick Gaboardi, Marco et al.

    Weitere Verfasser: Gomes, Leandro Baillot, Patrick Gaboardi, Marco et al.

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

    Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.35

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    On the Interpretation of Denotational Semantics.

    Autoren: Cardone, Felice

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

    Schlagwörter: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Processes Parametrised by an Algebraic Theory

    Autoren: Schmid, Todd Różowski, Wojciech Rot, Jurriaan et al.

    Weitere Verfasser: Schmid, Todd Różowski, Wojciech Rot, Jurriaan et al.

    Quelle: Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20

    Schlagwörter: regular expressions, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Software Science, program semantics, ddc:004, 0101 mathematics, Theory of computation → Program reasoning, coalgebra, process algebra

    Dateibeschreibung: application/pdf

    Zugangs-URL: http://arxiv.org/abs/2202.06901
    https://repository.ubn.ru.nl//bitstream/handle/2066/282992/282992.pdf
    https://hdl.handle.net/2066/282992
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.132

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Contextual Behavioural Metrics

    Autoren: Dal Lago, Ugo Murgia, Maurizio Foundations of Component-based Ubiquitous Systems (FOCUS) et al.

    Weitere Verfasser: Dal Lago, Ugo Murgia, Maurizio Foundations of Component-based Ubiquitous Systems (FOCUS) et al.

    Quelle: Leibniz International Proceedings in Informatics (LIPIcs) ; CONCUR 2023 - 34th International Conference on Concurrency Theory ; https://inria.hal.science/hal-04356984 ; CONCUR 2023 - 34th International Conference on Concurrency Theory, Sep 2023, Antwerp, Belgium. ⟨10.4230/LIPIcs.CONCUR.2023.38⟩ ; https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-279

    Schlagwörter: Theory of computation → Process calculi, Theory of computation → Program reasoning, Behavioural metrics, Differential Semantics, Labelled Transition Systems, [INFO]Computer Science [cs]

    Geographisches Schlagwort: Antwerp, Belgium

    Relation: info:eu-repo/grantAgreement//818616/EU/Differential Program Semantics/DIAPASoN

    Verfügbarkeit: https://inria.hal.science/hal-04356984
    https://inria.hal.science/hal-04356984v1/document
    https://inria.hal.science/hal-04356984v1/file/concur2023.pdf
    https://doi.org/10.4230/LIPIcs.CONCUR.2023.38

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Recent mathematical advances in coupled cluster theory.

    Autoren: Faulstich, Fabian M.

    Quelle: International Journal of Quantum Chemistry; 7/5/2024, Vol. 124 Issue 13, p1-27, 27p

    Schlagwörter: ALGEBRAIC geometry, NUMERICAL analysis, PHYSICAL & theoretical chemistry, COMPUTATIONAL chemistry

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Geometric Loci and ChatGPT: Caveat Emptor! †.

    Autoren: Botana, Francisco Recio, Tomas

    Quelle: Computation; Feb2024, Vol. 12 Issue 2, p30, 19p

    Schlagwörter: LOCUS (Mathematics), CHATGPT, PLANE curves, GEOMETRICAL constructions, ALGORITHMS, CHATBOTS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

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

    Autoren: Woodward, Andrew P.1 (AUTHOR) andrew.woodward@canberra.edu.au

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

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  8. 8

    Vector Semantics

    Autoren: András Kornai

    Resource Type: eBook.

    Schlagworte: Semantics, Cognitive grammar

    Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, MATHEMATICS / Probability & Statistics / General

    PDF-Volltext
    Zu den Favoriten
  9. 9

    Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas.

    Autoren: Davydov, Artem Larionov, Aleksandr Nagul, Nadezhda

    Quelle: Computation; May2024, Vol. 12 Issue 5, p95, 25p

    Schlagwörter: ROBOT control systems, SUPERVISORY control systems, ROBOTIC path planning, FORMAL languages, DYNAMICAL systems

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    A Mathematical Model for Universal Semantics.

    Autoren: E, Weinan Zhou, Yajun

    Quelle: IEEE Transactions on Pattern Analysis & Machine Intelligence; Mar2022, Vol. 44 Issue 3, p1124-1132, 9p

    Schlagwörter: MATHEMATICAL models, MARKOV processes, MATHEMATICAL analysis, SEMANTICS, SOURCE code, DISTRIBUTION (Probability theory)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Quantifying artificial intelligence through algorithmic generalization.

    Autoren: Ito, Takuya Campbell, Murray Horesh, Lior et al.

    Quelle: Nature Machine Intelligence; Aug2025, Vol. 7 Issue 8, p1195-1205, 11p

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    On the Optimization of Iterative Programming with Distributed Data Collections

    Autoren: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

    Weitere Verfasser: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

    Quelle: https://inria.hal.science/hal-02066649 ; 2022.

    Schlagwörter: optimization, rewrite rules, distributed data, fixpoint operator, Recursion, Software and its engineering, Distributed computing methodologies, Computing methodologies, Algebraic semantics, Theory of computation, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

    Verfügbarkeit: https://inria.hal.science/hal-02066649
    https://inria.hal.science/hal-02066649v6/document
    https://inria.hal.science/hal-02066649v6/file/paper.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

    Autoren: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon et al.

    Weitere Verfasser: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon et al.

    Quelle: ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-03920025 ; ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩

    Schlagwörter: Type System, Bisimulation, π-calculus, 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Pi Calculus, Imperative programming, Call-by-value λ-calculus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Geographisches Schlagwort: Paris, France

    Verfügbarkeit: https://hal.science/hal-03920025
    https://hal.science/hal-03920025v1/document
    https://hal.science/hal-03920025v1/file/lambda_ref.pdf
    https://doi.org/10.4230/LIPIcs.ICALP.2022.114

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Subordination Algebras as Semantic Environment of Input/Output Logic

    Autoren: De Domenico, Andrea Farjami, Ali Manoorkar, Krishna et al.

    Quelle: Vrije Universiteit Amsterdam Repository

    Index Begriffe: input/output logic, modal logic, Sahlqvist theory, subordination algebra, Conference contribution

    URL: https://research.vu.nl/en/publications/fcb8b7e8-adcc-41db-a97e-eb24e1b45949
    https://research.vu.nl/ws/files/222509955/Subordination_Algebras_as_Semantic_Environment_of_Input_or_Output_Logic.pdf
    https://research.vu.nl/ws/files/222509955/Subordination_Algebras_as_Semantic_Environment_of_Input_or_Output_Logic.pdf

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    Combinatory Logic, Semantics and Cognition.

    Autoren: Rouabhi, Miloud Desclés, Jean-Pierre

    Quelle: Journal of Cognitive Science; Jun2025, Vol. 26 Issue 2, p111-158, 48p

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Advances in Proof-Theoretic Semantics

    Autoren: Thomas Piecha Peter Schroeder-Heister

    Resource Type: eBook.

    Schlagworte: Semantics, Semantics--Mathematical models--Congresses, Proof theory--Congresses

    Categories: PHILOSOPHY / Logic, COMPUTERS / Computer Science, MATHEMATICS / Logic

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  17. 17

    Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)

    Autoren: Laura Kovács Kovács, Laura

    Index Begriffe: Symbolic Computation, Formal Methods, Loop Analysis, Polynomial Invariants, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

    URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.4
    Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Involutions on Relational Program Calculi.

    Autoren: Rewitzky, I. M. Sanders, J. W.

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

    Schlagwörter: Galois theory, Boolean algebra, Algebraic logic, Lattice theory, Sequential analysis, Mathematical programming, Mathematical models, Determinism (Philosophy), Semantics

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Semantic alignment across whole-number arithmetic and rational numbers: evidence from a Russian perspective.

    Autoren: Tyumeneva, Yulia A. Larina, Galina Alexandrova, Ekaterina et al.

    Quelle: Thinking & Reasoning; May2018, Vol. 24 Issue 2, p198-220, 23p, 2 Diagrams, 7 Charts, 1 Graph

    Schlagwörter: MATHEMATICAL analysis, REASONING, PROBABILITY theory, SEMANTIC computing, NUMERICAL solutions to functional equations

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Biologically-Based Computation: How Neural Details and Dynamics Are Suited for Implementing a Variety of Algorithms.

    Autoren: Dumont, Nicole Sandra-Yaffa Stöckel, Andreas Furlong, P. Michael et al.

    Quelle: Brain Sciences (2076-3425); Feb2023, Vol. 13 Issue 2, p245, 29p

    Schlagwörter: GRID cells, ALGORITHMS, NEURONS

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: