Search Results - theory of computation theory and algorithms for applications domains machinery learning theory~

Formal Specification and Testing for Reinforcement Learning

Authors: Mahsa Varshosaz Mohsen Ghaffari Einar Broch Johnsen et al.

Source: Varshosaz, M, Ghaffari, M, Broch Johnsen, E & Wasowski, A 2023, 'Formal Specification and Testing for Reinforcement Learning', Proceedings of the ACM on Programming Languages, vol. 7, no. Issue ICFP, 193, pp. 125-158. https://doi.org/10.1145/3607835

Subject Terms: Program specifications, Software testing and debugging, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Theory of computation

File Description: application/pdf

Access URL: https://pure.itu.dk/portal/da/publications/e1a419da-e1e2-4370-82df-ef6d760dcef4

Integrating multi-modal data fusion approaches for analysis of dairy cattle vocalizations.

Authors: Jobarteh, Bubacarr Mincu-Iorga, Madalina Gavojdian, Dinu et al.

Source: Frontiers in Veterinary Science. 2025, p1-13. 13p.

Improved cattle farm classification: leveraging machine learning and linked national datasets.

Authors: Schnidrig, Guy-Alain Struchen, Rahel Schärrer, Sara et al.

Source: Frontiers in Veterinary Science. 2025, p1-14. 14p.

Exploring Minds: Modes of Modeling and Simulation in Artificial Intelligence.

Authors: Greif, Hajo

Source: Perspectives on Science; 8/20/2021, Vol. 29 Issue 4, p409-435, 27p

Subject Terms: ANALOGY, ARTIFICIAL intelligence, IMITATIVE behavior, SIMULATION methods & models, MODEL theory, ISOMORPHISM (Mathematics)

Semantic programming by example with pre-trained models

Authors: Gust Verbruggen Vu Le Sumit Gulwani

Source: Proceedings of the ACM on Programming Languages

Subject Terms: 4613 Theory of computation, Technology, Science & Technology, language models, Computer Science, 4903 Numerical and computational mathematics, 0202 electrical engineering, electronic engineering, information engineering, 4612 Software engineering, 02 engineering and technology, Computer Science, Software Engineering, program synthesis, programming by example

Access URL: https://dl.acm.org/doi/pdf/10.1145/3485477
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#VerbruggenLG21
https://dl.acm.org/doi/10.1145/3485477
https://dl.acm.org/doi/pdf/10.1145/3485477
https://lirias.kuleuven.be/handle/20.500.12942/697357
https://doi.org/10.1145/3485477

Parallel Cross Strip Attention Network for Single Image Dehazing

Authors: Tong, Lihan Liu, Yun Ye, Tian et al.

Index Terms: Horizontal Strip Attention, Parallel Cross Strip Attention, Single Image Dehazing, Vertical Strip Attention, Conference paper

URL: http://repository.hkust.edu.hk/ir/Record/1783.1-142264
https://doi.org/10.1145/3670105.3670130
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2024&rft.spage=148&rft.aulast=Tong&rft.aufirst=Lihan&rft.atitle=Parallel+Cross+Strip+Attention+Network+for+Single+Image+Dehazing&rft.title=ACM+International+Conference+Proceeding+Series
http://www.scopus.com/record/display.url?eid=2-s2.0-85200967969&origin=inward
http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=001286669500025

Biological Recursion and Digital Systems: Conceptual Tools for Analysing Man-Machine Interaction.

Authors: Totaro, Paolo Ninno, Domenico

Source: Theory, Culture & Society; Sep2020, Vol. 37 Issue 5, p27-49, 23p

Subject Terms: HUMAN-machine relationship, COGNITION, RECURSION theory, DUALITY (Logic), COMPUTATIONAL mathematics

Hybrid Rubbing Fault Identification Using a Deep Learning-Based Observation Technique.

Authors: Prosvirin, Alexander E. Piltan, Farzin Kim, Jong-Myon

Source: IEEE Transactions on Neural Networks & Learning Systems; Nov2021, Vol. 32 Issue 11, p5144-5155, 12p

Subject Terms: FAULT diagnosis, DEEP learning, SIGNAL processing, DIAGNOSIS, AUTOREGRESSIVE models, INDUSTRIAL applications

Can an algorithm become delusional? Evaluating ontological commitments and methodology of computational psychiatry.

Authors: Broeker, Marianne D. Broome, Matthew R.

Source: Phenomenology & the Cognitive Sciences; Sep2025, Vol. 24 Issue 4, p965-991, 27p

Subject Terms: DELUSIONS, PSYCHIATRY, THEORY of knowledge, RESEARCH methodology, STATISTICAL models, COGNITIVE psychology, BAYESIAN analysis, PATHOLOGICAL psychology

Quantifying artificial intelligence through algorithmic generalization.

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

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

A Position-Sensitive Mixture Item Response Model.

Authors: Kanopka, Klint Domingue, Benjamin W.

Source: Journal of Educational & Behavioral Statistics; Dec2025, Vol. 50 Issue 6, p1026-1059, 34p

Subject Terms: ITEM response theory, EDUCATIONAL tests & measurements, STATISTICAL models, PROBABILITY theory, SIMULATION methods & models

Prediction of the Potential Host of Peste Des Petits Ruminants Virus by the Least Common Amino Acid Pattern in SLAM Receptor.

Authors: Fan, Xin Kannan Villalan, Arivizhivendhan Hu, YeZhi et al.

Source: Transboundary & Emerging Diseases. 4/9/2024, Vol. 2024, p1-9. 9p.

A Convergence of Theories of Mind and Brain.

Authors: Dubé, Chad Malmberg, Kenneth J.

Source: Computational Brain & Behavior; Dec2025, Vol. 8 Issue 4, p649-670, 22p

Computational Psychotherapy System for Mental Health Prediction and Behavior Change with a Conversational Agent.

Authors: Kolenik, Tine Schiepek, Günter Gams, Matjaž

Source: Neuropsychiatric Disease & Treatment; Dec2024, Vol. 20, p2465-2498, 34p

Subject Terms: GENERATIVE artificial intelligence, MACHINE learning, THEORY of mind, HEALTH behavior, K-nearest neighbor classification

Combining generative adversarial networks for emotion prediction in college students: An application to interactive musical interpretation.

Authors: Song, Xi

Source: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 4, p1-18, 18p

Subject Terms: GENERATIVE adversarial networks, MUSICAL interpretation, ATTENTION, AFFECTIVE forecasting (Psychology), SENTIMENT analysis, COLLEGE students, CONVOLUTIONAL neural networks

Evolutionary Trajectories of Consciousness: From Biological Foundations to Technological Horizons.

Authors: Gusev, Evgenii Sarapultsev, Alexey Komelkova, Maria

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

Subject Terms: CONSCIOUSNESS, SUBJECTIVITY, INFORMATION networks, HUMAN evolution, COMPUTATIONAL neuroscience, LIFE sciences, INFORMATION theory

A narrative review of deep learning applications in sports performance analysis: current practices, challenges, and future directions.

Authors: Jia, Yunke Anida Abdullah, Norli Eliza, Hafiz et al.

Source: BMC Sports Science, Medicine & Rehabilitation; 8/27/2025, Vol. 17 Issue 1, p1-20, 20p

Subject Terms: DEEP learning, PREDICTION models, ATHLETIC ability, HUMAN activity recognition, REAL-time computing, MOTION detectors, PREVENTION of injury

Neural Correlates of Burnout Syndrome Based on Electroencephalography (EEG)—A Mechanistic Review and Discussion of Burnout Syndrome Cognitive Bias Theory.

Authors: Chmiel, James Malinowska, Agnieszka

Source: Journal of Clinical Medicine; 8/1/2025, Vol. 14 Issue 15, p5357, 45p

Subject Terms: PSYCHOLOGICAL burnout, ELECTROENCEPHALOGRAPHY, COGNITIVE bias, MENTAL illness, NEUROPHYSIOLOGY, PUBLIC health

Adaptive Bayesian Clinical Trials: The Past, Present, and Future of Clinical Research.

Authors: Berry, Donald A.

Source: Journal of Clinical Medicine; 8/1/2025, Vol. 14 Issue 15, p5267, 35p

Subject Terms: CLINICAL trials, MULTI-armed bandit problem (Probability theory), TECHNOLOGICAL innovations, BAYESIAN analysis, DRUG development, MEDICAL equipment, ARTIFICIAL intelligence, EXPERIMENTAL design

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