Výsledky vyhledávání - theory of computation theory and algorithms for applications domains machinery learning theory

Formal Specification and Testing for Reinforcement Learning

Autoři: Mahsa Varshosaz Mohsen Ghaffari Einar Broch Johnsen a další

Zdroj: 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

Témata: Program specifications, Software testing and debugging, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Theory of computation

Popis souboru: application/pdf

Přístupová URL adresa: https://pure.itu.dk/portal/da/publications/e1a419da-e1e2-4370-82df-ef6d760dcef4

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

Autoři: Jobarteh, Bubacarr Mincu-Iorga, Madalina Gavojdian, Dinu a další

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

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

Autoři: Schnidrig, Guy-Alain Struchen, Rahel Schärrer, Sara a další

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

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

Autoři: Greif, Hajo

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

Témata: ANALOGY, ARTIFICIAL intelligence, IMITATIVE behavior, SIMULATION methods & models, MODEL theory, ISOMORPHISM (Mathematics)

Semantic programming by example with pre-trained models

Autoři: Gust Verbruggen Vu Le Sumit Gulwani

Zdroj: Proceedings of the ACM on Programming Languages

Témata: 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

Přístupová URL adresa: 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

Autoři: Tong, Lihan Liu, Yun Ye, Tian a další

Témata: 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.

Autoři: Totaro, Paolo Ninno, Domenico

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

Témata: HUMAN-machine relationship, COGNITION, RECURSION theory, DUALITY (Logic), COMPUTATIONAL mathematics

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

Autoři: Prosvirin, Alexander E. Piltan, Farzin Kim, Jong-Myon

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

Témata: FAULT diagnosis, DEEP learning, SIGNAL processing, DIAGNOSIS, AUTOREGRESSIVE models, INDUSTRIAL applications

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

Autoři: Broeker, Marianne D. Broome, Matthew R.

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

Témata: DELUSIONS, PSYCHIATRY, THEORY of knowledge, RESEARCH methodology, STATISTICAL models, COGNITIVE psychology, BAYESIAN analysis, PATHOLOGICAL psychology

Quantifying artificial intelligence through algorithmic generalization.

Autoři: Ito, Takuya Campbell, Murray Horesh, Lior a další

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

A Position-Sensitive Mixture Item Response Model.

Autoři: Kanopka, Klint Domingue, Benjamin W.

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

Témata: 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.

Autoři: Fan, Xin Kannan Villalan, Arivizhivendhan Hu, YeZhi a další

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

A Convergence of Theories of Mind and Brain.

Autoři: Dubé, Chad Malmberg, Kenneth J.

Zdroj: 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.

Autoři: Kolenik, Tine Schiepek, Günter Gams, Matjaž

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

Témata: 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.

Autoři: Song, Xi

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

Témata: 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.

Autoři: Gusev, Evgenii Sarapultsev, Alexey Komelkova, Maria

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

Témata: 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.

Autoři: Jia, Yunke Anida Abdullah, Norli Eliza, Hafiz a další

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

Témata: 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.

Autoři: Chmiel, James Malinowska, Agnieszka

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

Témata: PSYCHOLOGICAL burnout, ELECTROENCEPHALOGRAPHY, COGNITIVE bias, MENTAL illness, NEUROPHYSIOLOGY, PUBLIC health

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

Autoři: Berry, Donald A.

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

Témata: 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.

Autoři: Aghdam, Maryam Akhavan Bozdag, Serdar Saeed, Fahad

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

Témata: ALZHEIMER'S disease, MACHINE learning, DATA management, BRAIN imaging, GENERALIZABILITY theory, DIAGNOSIS, DEEP learning, REPRODUCIBLE research