Výsledky vyhledávání - 2012 ACM Subject Classification Theory of computation → Program semantics~

Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs

Autoři: Barbarossa, Davide Pistone, Paolo Davide Barbarossa and Paolo Pistone

Přispěvatelé: Barbarossa, Davide Pistone, Paolo Davide Barbarossa and Paolo Pistone

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.3.2, F.4.1, [INFO] Computer Science [cs], 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, FOS: Mathematics, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Relational semantics, Lawvere quantale, Theory of computation → Linear logic, Computer Science - Programming Languages, Theory of computation Ñ Linear logic Relational semantics, Program metrics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, Theory of computation → Lambda calculus, Mathematics - Logic, Differential lambda-calculus, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Tropical semiring, ddc:004, Logic (math.LO), Theory of computation Ñ Categorical semantics, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2311.15704
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.14
https://hal.science/hal-04777395v1
https://hal.science/hal-04777395v1/document
https://doi.org/10.4230/lipics.csl.2024.14

The 2-Dimensional Constraint Loop Problem is Decidable

Autoři: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël a další

Přispěvatelé: Guilmant, Quentin Lefaucheux, Engel Ouaknine, Joël a další

Zdroj: 51st International Colloquium on Automata, Languages, and Programming
Leibniz International Proceedings in Informatics

Témata: Asymptotic Expansions, FOS: Computer and information sciences, Convex Sets, Computer Science - Logic in Computer Science, Logic, 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops, [INFO] Computer Science [cs], 16. Peace & justice, Minkowski-Weyl, Semantics, 3. Good health, Logic in Computer Science (cs.LO), Theory of computation → Program verification, and Theory of Programming ], 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops Minkowski-Weyl Convex Sets Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata Logic Semantics and Theory of Programming ], Linear Constraints Loops, ddc:004, Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2405.12992
https://inria.hal.science/hal-04644417v1
https://inria.hal.science/hal-04644417v1/document
https://doi.org/10.4230/lipics.icalp.2024.140
https://ora.ox.ac.uk/objects/uuid:b023968e-302c-4c2e-b11a-5d011ea028f8
https://doi.org/10.4230/lipics.icalp.2024.140
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.140
http://hdl.handle.net/21.11116/0000-000F-97B9-6
http://hdl.handle.net/21.11116/0000-000F-97BB-4

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs

Autoři: Dal Lago, Ugo Gavazzo, Francesco gavazzo, francesco a další

Přispěvatelé: Dal Lago, Ugo Gavazzo, Francesco gavazzo, francesco a další

Zdroj: Proceedings of FSCD 2021, 6th International Conference on Formal Structures for Computation and Deduction

Témata: linearity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], program equivalence, Algebraic effects, Full abstraction, Linearity, Program equivalence, full abstraction, 2012 ACM Subject Classification Theory of computation → Operational semantics phrases algebraic effects, ddc:004, Theory of computation → Operational semantics, algebraic effects, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-03520742v1
https://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-12849
https://arxiv.org/abs/2106.12849
https://drops.dagstuhl.de/opus/volltexte/2021/14261/pdf/LIPIcs-FSCD-2021-23.pdf/
https://cris.unibo.it/handle/11585/834269
https://doi.org/10.4230/LIPIcs.FSCD.2021.23
https://arxiv.org/pdf/2106.12849
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.23

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

Autoři: Prebet, Enguerrand Enguerrand Prebet

Přispěvatelé: Prebet, Enguerrand Enguerrand Prebet

Témata: 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Call-by-value λ-calculus, π-calculus, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Pi Calculus, Bisimulation, ddc:004, Type System, Imperative programming, imperative Programming

Popis souboru: application/pdf

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

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation (Research Report)

Autoři: Aubert, Clément Cristescu, Ioana Augusta University a další

Přispěvatelé: Aubert, Clément Cristescu, Ioana Augusta University a další

Zdroj: https://hal.archives-ouvertes.fr/hal-02568250 ; 2020.

Témata: Distributed and reversible computation, Computing meth- odologies → Concurrent programming languages Keywords and phrases Formal semantics, Process algebras and calculi, Bisimulation, Reversible CCS, Configuration structures, 2012 ACM Subject Classification Theory of computation → Program semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2005.06814; hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250/document; https://hal.archives-ouvertes.fr/hal-02568250/file/2020_05_08_standalone.pdf; ARXIV: 2005.06814

Dostupnost: https://hal.archives-ouvertes.fr/hal-02568250
https://hal.archives-ouvertes.fr/hal-02568250/document
https://hal.archives-ouvertes.fr/hal-02568250/file/2020_05_08_standalone.pdf

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems

Autoři: Aubert, Clément Cristescu, Ioana Augusta University a další

Přispěvatelé: Aubert, Clément Cristescu, Ioana Augusta University a další

Zdroj: https://hal.science/hal-01778656 ; 2019.

Témata: Hereditary history-preserving bisimulation, Reversible CCS, Formal semantics, Process algebras and calculi, 2012 ACM Subject Classification Theory of computation → Program semantics, Computing method-ologies → Concurrent programming languages Keywords and phrases Formal semantics, Configuration structures, Distributed and reversible computation, Auto-concurrency, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

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

Dostupnost: https://hal.science/hal-01778656
https://hal.science/hal-01778656v2/document
https://hal.science/hal-01778656v2/file/2019_02_12_standalone.pdf

a complexity approach to tree algebras the bounded case

Autoři: Colcombet, Thomas Jaquard, Arthur Thomas Colcombet and Arthur Jaquard a další

Přispěvatelé: Colcombet, Thomas Jaquard, Arthur Thomas Colcombet and Arthur Jaquard a další

Zdroj: Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Tree languages, Logic, language theory, language theory Digital Object Identifier 10.4230/LIPIcs.ICALP.2021.127 Category Track B: Automata, Theory of computation → Tree languages, Theory of computation → Regular languages, Theory of computation → Regular languages phrases Tree algebra, Semantics, Tree algebra, infinite tree, and Theory of Programming, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/opus/volltexte/2021/14196/
https://drops.dagstuhl.de/opus/volltexte/2021/14196/pdf/LIPIcs-ICALP-2021-127.pdf/
https://dblp.uni-trier.de/db/conf/icalp/icalp2021.html#ColcombetJ21
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.127
https://hal.science/hal-03473726v1
https://hal.science/hal-03473726v1/document
https://doi.org/10.4230/lipics.icalp.2021.127

Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs

Autoři: Barbarossa, Davide Pistone, Paolo University of Bath Bath a další

Přispěvatelé: Barbarossa, Davide Pistone, Paolo University of Bath Bath a další

Zdroj: Computer Science Logic 2024 (CSL 2024) ; https://hal.science/hal-04777395 ; Computer Science Logic 2024 (CSL 2024), Feb 2024, Napoli, France. ⟨10.4230/LIPIcs.CSL.2024.14⟩

Témata: Tropical semiring, Program metrics, Lawvere quantale, Theory of computation → Lambda calculus, Theory of computation → Categorical semantics, Theory of computation → Linear logic, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, Theory of computation Ñ Categorical semantics, Theory of computation Ñ Linear logic Relational semantics, Differential lambda-calculus, Relational semantics, [INFO]Computer Science [cs]

Geografické téma: Napoli, France

Dostupnost: https://hal.science/hal-04777395
https://hal.science/hal-04777395v1/document
https://hal.science/hal-04777395v1/file/LIPIcs.CSL.2024.14.pdf
https://doi.org/10.4230/LIPIcs.CSL.2024.14

Böhm and Taylor for All!

Autoři: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) a další

Přispěvatelé: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) a další

Zdroj: 9th International on Formal Structure for Computation Deduction
https://hal.science/hal-04797294
9th International on Formal Structure for Computation Deduction, Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.FSCD.2024.29⟩

Témata: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation Linear logic Differential linear logic Taylor expansion of lambda-terms Böhm trees Process calculi .FSCD.2024.26, Theory of computation Linear logic, Differential linear logic, Taylor expansion of lambda-terms, Böhm trees, Process calculi .FSCD.2024.26, Linear logic, Process calculi, Theory of computation → Linear logic, Theory of computation → Denotational semantics, Theory of computation → Operational semantics, Theory of computation → Lambda calculus, Theory of computation → Process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Tallinn, Estonia

Time: Tallinn, Estonia

Dostupnost: https://hal.science/hal-04797294
https://hal.science/hal-04797294v1/document
https://hal.science/hal-04797294v1/file/BohmTaylor.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2024.29

A recipe for quantum graphical languages

Autoři: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a další

Přispěvatelé: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a další

Zdroj: ICALP 2020 ; https://hal.science/hal-02914177 ; ICALP 2020, 2020, Saarbrücken, Germany

Témata: 2012 ACM Subject Classification Theory of computation → Quantum computation theory, Theory of computation → Semantics and reasoning, Mathematics of computing, Theory of computation → Equational logic and rewriting Keywords and phrases Categorical Quantum Mechanics, Quantum Computing, Category Theory Funding ANR-17-CE25-0009, PIA-GDN/Quantex, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]

Geografické téma: Saarbrücken, Germany

Relation: https://doi.org/10.4230/LIPIcs.ICALP.2020.118; info:eu-repo/semantics/altIdentifier/arxiv/2008.04193; ARXIV: 2008.04193

Dostupnost: https://hal.science/hal-02914177
https://hal.science/hal-02914177v1/document
https://hal.science/hal-02914177v1/file/supparxiv.pdf

Research on the classification of EEG signals for dementia and its interpretability using the GWOCS agorithm.

Autoři: Wang, Ruofan Xu, Haojie Ma, Yijia a další

Zdroj: Cognitive Neurodynamics; 11/10/2025, Vol. 20 Issue 1, p1-30, 30p

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autoři: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. a další

Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Témata: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

Modeling and Accessing Smart Materials with Integrity Constraints in the Shapes Constraint Language and Ontologies—The SmaDi Way.

Autoři: Özçep, Özgür L. Leemhuis, Mena Winkler, Maximilian a další

Zdroj: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-17, 17p

Témata: SPARQL (Computer program language), LINKED data (Semantic Web), SMART materials, CONSORTIA, SYSTEMS software, RDF (Document markup language)

Simulating Subjects: The Promise and Peril of Artificial Intelligence Stand-Ins for Social Agents and Interactions.

Autoři: Kozlowski, Austin C. Evans, James

Zdroj: Sociological Methods & Research; Aug2025, Vol. 54 Issue 3, p1017-1073, 57p

Témata: ARTIFICIAL neural networks, MACHINE learning, LANGUAGE models, GENERATIVE artificial intelligence, COMPUTATIONAL intelligence

Integrating Linguistic and Eye Movements Features for Arabic Text Readability Assessment Using ML and DL Models.

Autoři: Baazeem, Ibtehal Al-Khalifa, Hend Al-Salman, Abdulmalik

Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p258, 36p

Témata: EYE tracking, MACHINE learning, SEMANTICS, DEEP learning, COGNITIVE psychology, ARABIC language, READABILITY formulas

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

Eigenspectrum regularisation reverse neighbourhood discriminative learning.

Autoři: Xie, Ming Tan, Hengliang Du, Jiao a další

Zdroj: IET Computer Vision (Wiley-Blackwell); Sep2024, Vol. 18 Issue 6, p842-858, 17p

Témata: PATTERN recognition systems, IMAGE recognition (Computer vision), FISHER discriminant analysis, FEATURE extraction, S-matrix theory

Comparison of Required Competences and Task Material in Modeling Education.

Autoři: Soyka, Chantal Ullrich, Meike Striewe, Michael a další

Zdroj: Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p1-36. 36p.

Témata: Assessment of education, Computer science education, Landscape assessment, Master's degree, Computer simulation, Educational outcomes

A Scale‐Adaptive Urban Hydrologic Framework: Incorporating Network‐Level Storm Drainage Pipes Representation.

Autoři: Chegini, Taher Li, Hong‐Yi Yang, Y. C. Ethan a další

Zdroj: Water Resources Research; Mar2025, Vol. 61 Issue 3, p1-26, 26p

Témata: RAINFALL, URBAN watersheds, FLOOD forecasting, DRAINAGE pipes, BURIED pipes (Engineering)

Contextualization, Procedural Logic, and Active Construction: A Cognitive Scaffolding Model for Topic Sentiment Analysis in Game-Based Learning.

Autoři: Ding, Liwei Zhang, Hongfeng Zhou, Jinqiao a další

Zdroj: Behavioral Sciences (2076-328X); Oct2025, Vol. 15 Issue 10, p1327, 22p