Search Results - 2012 ACM Subject Classification Theory of computation → Distributed computing models

Decentralised Runtime Verification of Timed Regular Expressions

Authors: Roussanaly, Victor Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) et al.

Contributors: Roussanaly, Victor Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) et al.

Source: TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning ; https://inria.hal.science/hal-03911668 ; TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs.12⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Distributed computing models Theory of computation → Regular languages Theory of computation → Rewrite systems Theory of computation → Automata over infinite objects Computer systems organization → Real-time system specification phrases Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication Digital Object Identifier 10.4230/LIPIcs.12, 2012 ACM Subject Classification Theory of computation → Distributed computing models, Theory of computation → Regular languages, Theory of computation → Rewrite systems, Theory of computation → Automata over infinite objects, Computer systems organization → Real-time system specification phrases Timed expressions, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Online, France

Availability: https://inria.hal.science/hal-03911668
https://inria.hal.science/hal-03911668v1/document
https://inria.hal.science/hal-03911668v1/file/time22.pdf
https://doi.org/10.4230/LIPIcs.12

The topology of local computing in networks

Authors: Fraigniaud, Pierre Paz, Ami Pierre Fraigniaud and Ami Paz

Contributors: Fraigniaud, Pierre Paz, Ami Pierre Fraigniaud and Ami Paz

Source: Journal of Applied and Computational Topology. 8:1069-1098

Subject Terms: combinatorial topology, FOS: Computer and information sciences, 0102 computer and information sciences, 02 engineering and technology, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Distributed computing, [INFO] Computer Science [cs], 01 natural sciences, 7. Clean energy, Distributed computing, 102031 Theoretische Informatik, Computer Science - Distributed, Parallel, and Cluster Computing, 2012 ACM Subject Classification Theory of computation → Distributed algorithms Distributed computing distributed graph algorithms combinatorial topology, distributed graph algorithms, 102031 Theoretical computer science, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004

File Description: application/pdf

Access URL: http://arxiv.org/abs/2003.03255
https://ucrisportal.univie.ac.at/de/publications/8b94d914-dcb8-4035-a20f-89f5b9cfd352
https://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-03255
https://doi.org/10.4230/LIPIcs.ICALP.2020.128
https://arxiv.org/pdf/2003.03255
http://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-03255
https://drops.dagstuhl.de/opus/volltexte/2020/12535/pdf/LIPIcs-ICALP-2020-128.pdf/
https://drops.dagstuhl.de/opus/volltexte/2020/12535/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.128

brief announcement model checking rendezvous algorithms for robots with lights in euclidean space

Authors: Défago, Xavier Heriban, Adam Tixeuil, Sébastien et al.

Contributors: Défago, Xavier Heriban, Adam Tixeuil, Sébastien et al.

Subject Terms: Theory of computation → Self-organization Keywords and phrases Autonomous mobile robots, Theory of computation → Verification by model checking, Rendezvous, 2012 ACM Subject Classification Theory of computation → Distributed algorithms, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Computer systems organization → Robotic autonomy, Lights, ddc:004, Autonomous mobile robots, Model Checking

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-02394992
https://doi.org/10.4230/LIPIcs.DISC.2019.41
https://dblp.uni-trier.de/db/conf/wdag/disc2019.html#DefagoHTW19
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2019.41
https://hal.sorbonne-universite.fr/hal-02394992v1/document
https://hal.sorbonne-universite.fr/hal-02394992v1
https://doi.org/10.4230/lipics.disc.2019.41

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

Authors: Baillot, Patrick Ghyselen, Alexis Kobayashi, Naoki et al.

Contributors: Baillot, Patrick Ghyselen, Alexis Kobayashi, Naoki et al.

Subject Terms: FOS: Computer and information sciences, Type Systems, Sized Types, 2012 ACM Subject Classification Theory of computation → Type structures, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), 01 natural sciences, Pi-calculus, Process Calculi, Computer Science - Computational Complexity, Complexity Analysis, Computer Science - Distributed, Parallel, and Cluster Computing, Theory of computation → Process calculi, Software and its engineering → Software verification phrases Type Systems, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Usages

File Description: application/pdf

Access URL: http://arxiv.org/abs/2104.07293
https://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-07293
https://drops.dagstuhl.de/opus/volltexte/2021/14411/pdf/LIPIcs-CONCUR-2021-34.pdf/
https://hal.archives-ouvertes.fr/hal-03198277v2
https://arxiv.org/abs/2104.07293
https://hal.archives-ouvertes.fr/hal-03198277/document
https://drops.dagstuhl.de/opus/volltexte/2021/14411/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.34

Holistic Verification of Blockchain Consensus

Authors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Contributors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Subject Terms: FOS: Computer and information sciences, Model checking, logic, Computer Science - Cryptography and Security, automata, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, Theory of computation → Logic and verification, 01 natural sciences, Theory of computation → Logic and verification phrases Model checking, Computer Science - Distributed, Parallel, and Cluster Computing, Computing methodologies → Distributed algorithms, byzantine failure, 0202 electrical engineering, electronic engineering, information engineering, 2012 ACM Subject Classification Computing methodologies → Distributed algorithms, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Cryptography and Security (cs.CR)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2206.04489
https://inria.hal.science/hal-03819724v1/document
https://inria.hal.science/hal-03819724v1
https://doi.org/10.4230/lipics.disc.2022.10
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.10

Predictive Analytics and Soft Computing Models for Groundwater Vulnerability Assessment in High-Salinity Regions of the Southeastern Anatolia Project (GAP), Türkiye.

Authors: Karabulut, Abdullah Izzeddin Nacar, Sinan Yesilnacar, Mehmet Irfan et al.

Source: Water (20734441); Jul2025, Vol. 17 Issue 13, p1855, 29p

Subject Terms: GROUNDWATER, SALINITY, PREDICTION models, SOFT computing, AGRICULTURE, ARTIFICIAL neural networks, ENVIRONMENTAL risk assessment

Geographic Terms: TURKEY

Verification of Flat FIFO Systems

Authors: Finkel, Alain Praveen, M. Laboratoire Spécification et Vérification Cachan (LSV) et al.

Contributors: Finkel, Alain Praveen, M. Laboratoire Spécification et Vérification Cachan (LSV) et al.

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

Subject Terms: 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]

Subject Geographic: AMSTERDAM, Netherlands

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

Availability: https://hal.science/hal-02267453
https://hal.science/hal-02267453v1/document
https://hal.science/hal-02267453v1/file/flat.pdf

Review of EEG Affective Recognition with a Neuroscience Perspective.

Authors: Lim, Rosary Yuting Lew, Wai-Cheong Lincoln Ang, Kai Keng

Source: Brain Sciences (2076-3425); Apr2024, Vol. 14 Issue 4, p364, 47p

Subject Terms: AFFECTIVE neuroscience, AFFECTIVE computing, ARTIFICIAL neural networks, EMOTION recognition, NEURAL circuitry, RECOGNITION (Psychology)

Cellular Automata Can Reduce Memory Requirements of Collective-State Computing.

Authors: Kleyko, Denis Frady, Edward Paxon Sommer, Friedrich T.

Source: IEEE Transactions on Neural Networks & Learning Systems; Jun2022, Vol. 33 Issue 6, p2701-2713, 13p

Subject Terms: CELLULAR automata, CONCRETE testing, MEMORY, RANDOM sets, DISTRIBUTED computing

Improved classification approach for use with large-scale scene images in the Hadoop cluster environment.

Authors: Cao, Jianfang Li, Yanfei Wang, Yan et al.

Source: Journal of Electronic Imaging; Nov/Dec2018, Vol. 27 Issue 6, p1-12, 12p

Subject Terms: DISTRIBUTED computing, SUPPORT vector machines, INFORMATION storage & retrieval systems, DEEP learning

VAE deep learning model with domain adaptation, transfer learning and harmonization for diagnostic classification from multi-site neuroimaging data.

Authors: Deshpande, Gopikrishna Lu, Bonian Huynh, Nguyen et al.

Source: Frontiers in Neuroinformatics; 2025, p1-19, 19p

Subject Terms: AUTISM, DEEP learning, FUNCTIONAL magnetic resonance imaging, BRAIN imaging, DIAGNOSTIC examinations, TRANSFER of training, DATA harmonization

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

Authors: Wang, Ruofan Xu, Haojie Ma, Yijia et al.

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

Universal differential equations as a unifying modeling language for neuroscience.

Authors: El-Gazzar, Ahmed van Gerven, Marcel

Source: Frontiers in Computational Neuroscience; 2025, p1-17, 17p

Subject Terms: NEUROSCIENCES, MATHEMATICAL models, NEURAL computers, ARTIFICIAL neural networks, SIMULATION methods & models

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

Authors: Kozlowski, Austin C. Evans, James

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

Subject Terms: ARTIFICIAL neural networks, MACHINE learning, LANGUAGE models, GENERATIVE artificial intelligence, COMPUTATIONAL intelligence

Mining exceptional Rasch models.

Authors: Kiefer, Ch. Sengewald, M.-A.

Source: Behaviormetrika; Jul2025, Vol. 52 Issue 2, p361-391, 31p

Subject Terms: RASCH models, ITEM response theory, RECURSIVE partitioning, SIMULATION methods & models, MACHINE learning

DCPat-XFE: an explainable EEG model for psychogenic nonepileptic seizure detection.

Authors: Unal, Deren Almiyra Tanko, Dahiru Sercek, Ilknur et al.

Source: Cognitive Neurodynamics; 12/9/2025, Vol. 20 Issue 1, p1-21, 21p

Application of Graph-Theoretic Methods Using ERP Components and Wavelet Coherence on Emotional and Cognitive EEG Data.

Authors: Deniz, Sencer Melih Ademoglu, Ahmet Duru, Adil Deniz et al.

Source: Brain Sciences (2076-3425); Jul2025, Vol. 15 Issue 7, p714, 24p

Subject Terms: EMOTIONS, COGNITION, WAVELETS (Mathematics), ELECTROENCEPHALOGRAPHY, SUPERVISED learning, EVOKED potentials (Electrophysiology), ELECTROPHYSIOLOGY, GRAPH theory

Pre-training, personalization, and self-calibration: all a neural network-based myoelectric decoder needs.

Authors: Ma, Chenfei Jiang, Xinyu Nazarpour, Kianoush

Source: Frontiers in Neurorobotics; 2025, p1-11, 11p

Subject Terms: ELECTROMYOGRAPHY, ARTIFICIAL neural networks, PROSTHETICS, MACHINE learning, ROBOTICS

Unravelling emotions: exploring deep learning approaches for EEG-based emotion recognition with current challenges and future recommendations.

Authors: Abgeena, Abgeena Garg, Shruti

Source: Cognitive Neurodynamics; 10/23/2025, Vol. 19 Issue 1, p1-32, 32p

Machine-learning models for Alzheimer's disease diagnosis using neuroimaging data: survey, reproducibility, and generalizability evaluation.

Authors: Aghdam, Maryam Akhavan Bozdag, Serdar Saeed, Fahad

Source: Brain Informatics; 3/21/2025, Vol. 12 Issue 1, p1-27, 27p

Subject Terms: ALZHEIMER'S disease, MACHINE learning, DATA management, BRAIN imaging, GENERALIZABILITY theory, DIAGNOSIS, DEEP learning, REPRODUCIBLE research