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

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

Parallel Complexity of Term Rewriting Systems

Autoři: Baudon, Thaïs Fuhs, Carsten Gonnord, Laure a další

Přispěvatelé: Baudon, Thaïs Fuhs, Carsten Gonnord, Laure a další

Zdroj: WST 2021 - 17th International Workshop on Termination ; https://hal.science/hal-03418400 ; WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6

Témata: Rewriting, Parallelism, Formal software verification phrases Complexity analysis, Software and its engineering → Automated static analysis, Rewrite systems, 2012 ACM Subject Classification Theory of computation → Program verification, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Geografické téma: Virtual, France

Dostupnost: https://hal.science/hal-03418400
https://hal.science/hal-03418400v1/document
https://hal.science/hal-03418400v1/file/wst2021.pdf

A Symbolic Framework to Analyse Physical Proximity in Security Protocols

Autoři: Debant, Alexandre Delaune, Stéphanie Wiedling, Cyrille a další

Přispěvatelé: Debant, Alexandre Delaune, Stéphanie Wiedling, Cyrille a další

Zdroj: Foundations of Software Technology and Theoretical Computer Science (FSTTCS) ; https://hal.science/hal-02390222 ; Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.29⟩

Témata: 2012 ACM Subject Classification Theory of computation Program verification phrases cryptographic protocols verification formal methods process algebra Dolev-Yao model, 2012 ACM Subject Classification Theory of computation Program verification phrases cryptographic protocols, verification, formal methods, process algebra, Dolev-Yao model, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geografické téma: Ahmedabad, India

Time: Ahmedabad, India

Relation: info:eu-repo/grantAgreement//714955/EU/Reasoning about Physical properties Of security Protocols with an Application To contactless Systems/ERC-POPSTAR

Dostupnost: https://hal.science/hal-02390222
https://hal.science/hal-02390222/document
https://hal.science/hal-02390222/file/research-report.pdf
https://doi.org/10.4230/LIPIcs.FSTTCS.2018.29

Ordinal measures of the set of finite multisets

Autoři: Vialard, Isa Laboratoire Méthodes Formelles (LMF) Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay) a další

Přispěvatelé: Vialard, Isa Laboratoire Méthodes Formelles (LMF) Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay) a další

Zdroj: MFCS 2023 ; https://hal.science/hal-04287405 ; MFCS 2023, Aug 2023, Bordeaux, France. ⟨10.4230/LIPIcs⟩

Témata: Well-partial order, program verification, termination, finite multisets, Theory of computation → Program reasoning, Theory of computation → Proof theory, Theory of computation → Logic and verification, 2012 ACM Subject Classification Theory of computation → Complexity theory and logic, [INFO]Computer Science [cs]

Geografické téma: Bordeaux, France

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

Dostupnost: https://hal.science/hal-04287405
https://hal.science/hal-04287405v1/document
https://hal.science/hal-04287405v1/file/multiset.pdf
https://doi.org/10.4230/LIPIcs

Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes

Autoři: Baillot, Patrick Ghyselen, Alexis Kobayashi, Naoki a další

Přispěvatelé: Baillot, Patrick Ghyselen, Alexis Kobayashi, Naoki a další

Zdroj: 32nd International Conference on Concurrency Theory, CONCUR 2021
https://hal.science/hal-03198277
32nd International Conference on Concurrency Theory, CONCUR 2021, Aug 2021, Virtual conference, France. pp.34:1--34:22, ⟨10.4230/LIPICS.CONCUR.2021.34⟩

Témata: Complexity Analysis, Theory of computation → Process calculi, Software and its engineering → Software verification phrases Type Systems, Pi-calculus, Process Calculi, 2012 ACM Subject Classification Theory of computation → Type structures, Sized Types, Usages, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Virtual conference, France

Time: Virtual conference, France

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

Dostupnost: https://hal.science/hal-03198277
https://hal.science/hal-03198277v2/document
https://hal.science/hal-03198277v2/file/main.pdf
https://doi.org/10.4230/LIPICS.CONCUR.2021.34

Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory

Autoři: Hondet, Gabriel Blanqui, Frédéric Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM) a další

Přispěvatelé: Hondet, Gabriel Blanqui, Frédéric Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM) a další

Zdroj: TYPES 2020 - 26th International Conference on Types for Proofs and Programs ; https://inria.hal.science/hal-03279766 ; TYPES 2020 - 26th International Conference on Types for Proofs and Programs, Mar 2020, Turino, Italy. ⟨10.4230/LIPIcs.TYPES.2020.6⟩ ; https://types2020.di.unito.it/

Témata: equational logic, Theory of computation → Equational logic and rewriting, Theory of computation → Higher order logic, 2012 ACM Subject Classification Theory of computation → Type theory, type theory, higher order logic, PVS, logical framework, Dedukti, rewriting, proof Irrelevance, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Turino, Italy

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

Dostupnost: https://inria.hal.science/hal-03279766
https://inria.hal.science/hal-03279766v2/document
https://inria.hal.science/hal-03279766v2/file/main.pdf
https://doi.org/10.4230/LIPIcs.TYPES.2020.6

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

Verification of Flat FIFO Systems

Autoři: Finkel, Alain Praveen, M. Laboratoire Spécification et Vérification Cachan (LSV) a další

Přispěvatelé: Finkel, Alain Praveen, M. Laboratoire Spécification et Vérification Cachan (LSV) a další

Zdroj: CONCUR 2019 ; https://hal.science/hal-02267453 ; CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands

Témata: reachability, FIFO, termination, Infinite state systems, complexity, flat systems, counters, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: AMSTERDAM, Netherlands

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

Dostupnost: https://hal.science/hal-02267453
https://hal.science/hal-02267453v1/document
https://hal.science/hal-02267453v1/file/flat.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

AI-Driven Ambient Intelligence Systems for Mental Health Monitoring and Proactive Intervention.

Autoři: Roy, Piyal Ghosh, Shivnath Sarkar, Saptarshi Kumar a další

Zdroj: Cuestiones de Fisioterapia; 2025, Vol. 54 Issue 3, p2743-2752, 10p

Témata: MENTAL health services, AMBIENT intelligence, MACHINE dynamics, ARTIFICIAL intelligence, CRISIS management

The foundations of spectral computations via the Solvability Complexity Index hierarchy.

Autoři: Colbrook, Matthew J. Hansen, Anders C.

Zdroj: Journal of the European Mathematical Society (EMS Publishing); 2023, Vol. 25 Issue 12, p4639-4718, 80p

Témata: HILBERT'S tenth problem, MATHEMATICS, ALGORITHMS, ALGEBRA, NONLINEAR operators

A comprehensive review on application of cognitive behavioral therapy in emotional AI solutions for mental well-being.

Autoři: Pawar, Bimba Mahajan, Smita Kolhar, Shrikrishna

Zdroj: Discover Psychology; 12/3/2025, Vol. 5 Issue 1, p1-35, 35p

A Combined Virtual Electrode-Based ESA and CNN Method for MI-EEG Signal Feature Extraction and Classification.

Autoři: Lun, Xiangmin Zhang, Yifei Zhu, Mengyang a další

Zdroj: Sensors (14248220); Nov2023, Vol. 23 Issue 21, p8893, 30p

Témata: CONVOLUTIONAL neural networks, FEATURE extraction, COMPUTER-aided diagnosis, SIGNAL classification, BRAIN-computer interfaces, BRAINWASHING

A Survey of Few-Shot Learning for Biomedical Time Series.

Autoři: Li, Chenqi Denison, Timothy Zhu, Tingting

Zdroj: IEEE Reviews in Biomedical Engineering; 2025, Vol. 18, p192-210, 19p

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

Emotion recognition framework based on adaptive window selection and CA-KAN.

Autoři: Lin, Xuefen Fan, Linhui Gu, Yifan a další

Zdroj: Cognitive Neurodynamics; 6/24/2025, Vol. 19 Issue 1, p1-18, 18p

MACHINE-LEARNING TECHNIQUES IN MULTIPLE SCLEROSIS PREDICTION USING EEG.

Autoři: Soleimanidoust, Leila Rezai, Abdalhossein Barghamadi, Hamideh a další

Zdroj: Biomedical Engineering: Applications, Basis & Communications; Apr2025, Vol. 37 Issue 2, p1-14, 14p

Témata: ARTIFICIAL neural networks, COMPUTER-aided diagnosis, MACHINE learning, DEEP reinforcement learning, EXTREME learning machines, REINFORCEMENT learning, SUPERVISED learning, SCALP

HALITOSIS: THE SILENT STRUGGLE FOR CONNECTION.

Autoři: SWATHI, T. BABU, N. ARAVINDHA KRUPAA, JAYASRI a další

Zdroj: TPM: Testing, Psychometrics, Methodology in Applied Psychology; 2025 Supplement, Vol. 32, p909-911, 503p

Predicting MCI to AD Conversation Using Integrated sMRI and rs-fMRI: Machine Learning and Graph Theory Approach.

Autoři: Zhang, Tingting Liao, Qian Zhang, Danmei a další

Zdroj: Frontiers in Aging Neuroscience; 7/30/2021, Vol. 13, p1-17, 17p

Témata: GRAPH theory, MACHINE learning, FUNCTIONAL magnetic resonance imaging, FEATURE selection, MAGNETIC resonance imaging