Search Results - 2012 ACM Subject Classification Theory of computation → Models of computation

Strategies for Asymptotic Normalization

Authors: Faggian, Claudia Guerrieri, Giulio Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Contributors: Faggian, Claudia Guerrieri, Giulio Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Source: FSCD 2022, International Conference on Formal Structures for Computation and Deduction ; https://hal.science/hal-03786122 ; FSCD 2022, International Conference on Formal Structures for Computation and Deduction, 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.17⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Models of computation, Theory of computation → Equational logic and rewriting, Theory of computation → Lambda calculus phrases rewriting, strategies, normalization, lambda calculus, probabilistic rewriting, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Haifa, Israel

Availability: https://hal.science/hal-03786122
https://hal.science/hal-03786122v1/document
https://hal.science/hal-03786122v1/file/LIPIcs-FSCD-2022-17.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2022.17

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

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

Hydrodynamic and symbolic models of computation with advice.

Authors: Cardona, Robert

Source: Revista Mathemática Iberoamericana; 2025, Vol. 41 Issue 1, p313-338, 26p

Subject Terms: RECURRENT neural networks, TURING machines, COMPUTABLE analysis, EULER equations, SYMBOLIC computation

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

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

An Innovative Approach for Extraction of Smoking Addiction Levels Using Physiological Parameters Based on Machine Learning: Proof of Concept.

Authors: Bascil, Muhammet Serdar Iscanli, Irem Nur

Source: Diagnostics (2075-4418); Nov2025, Vol. 17 Issue 22, p2839, 22p

Subject Terms: NICOTINE addiction, MACHINE learning, PATIENT monitoring, DECISION trees, SUPPORT vector machines, SCIENTIFIC observation, K-nearest neighbor classification

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

Reconstructing brain causal dynamics for subject and task fingerprints using fMRI time-series data.

Authors: Song, Dachuan Shen, Li Duong-Tran, Duy et al.

Source: Health Information Science & Systems; 10/28/2025, Vol. 13 Issue 1, p1-17, 17p

Integrating Boruta, LASSO, and SHAP for Clinically Interpretable Glioma Classification Using Machine Learning.

Authors: Samara, Mohammad Najeh Harry, Kimberly D.

Source: BioMedInformatics; Sep2025, Vol. 5 Issue 3, p34, 26p

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

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

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

Authors: Ding, Liwei Zhang, Hongfeng Zhou, Jinqiao et al.

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

Imperative Process Algebra and Models of Parallel Computation.

Authors: Middelburg, Cornelis A.

Source: Theory of Computing Systems; Jun2024, Vol. 68 Issue 3, p529-570, 42p

Subject Terms: TIME complexity, ALGEBRA, COMPUTATIONAL complexity, ATHLETIC fields

SHAP-Based Identification of Potential Acoustic Biomarkers in Patients with Post-Thyroidectomy Voice Disorder.

Authors: Celepli, Salih Bigat, Irem Karakas, Bilgi et al.

Source: Diagnostics (2075-4418); Aug2025, Vol. 15 Issue 16, p2065, 42p

Subject Terms: VOICE disorders, BIOMARKERS, SUPPORT vector machines, THYROIDECTOMY, MACHINE learning, CEPSTRUM analysis (Mechanics), INDIVIDUALIZED medicine

Predicting the Dynamic of Debris Flow Based on Viscoplastic Theory and Support Vector Regression.

Authors: Zhang, Xinhai Li, Hanze Fan, Yazhou et al.

Source: Water (20734441); Jan2025, Vol. 17 Issue 1, p120, 19p

Subject Terms: MACHINE learning, DEBRIS avalanches, YIELD stress, MODEL theory, FLUID flow

hvEEGNet: a novel deep learning model for high-fidelity EEG reconstruction.

Authors: Cisotto, Giulia Zancanaro, Alberto Zoppis, Italo F. et al.

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

Subject Terms: AUTOENCODERS, BRAIN-computer interfaces, MOTOR imagery (Cognition), SIGNAL reconstruction, RESEARCH questions, DEEP learning