Výsledky vyhľadávania - theory of computation theory AND algorithms for applications domains machinery learning theory

Formal Specification and Testing for Reinforcement Learning

Autori: Mahsa Varshosaz Mohsen Ghaffari Einar Broch Johnsen a ďalší

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

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

Popis súboru: application/pdf

Prí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.

Autori: Jobarteh, Bubacarr Mincu-Iorga, Madalina Gavojdian, Dinu a ďalší

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

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

Autori: Schnidrig, Guy-Alain Struchen, Rahel Schärrer, Sara a ďalší

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

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

Autori: Greif, Hajo

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

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

Semantic programming by example with pre-trained models

Autori: Gust Verbruggen Vu Le Sumit Gulwani

Zdroj: Proceedings of the ACM on Programming Languages

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

Prí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

Autori: Tong, Lihan Liu, Yun Ye, Tian a ďalší

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

Autori: Totaro, Paolo Ninno, Domenico

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

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

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

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

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

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

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

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

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

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

Quantifying artificial intelligence through algorithmic generalization.

Autori: Ito, Takuya Campbell, Murray Horesh, Lior a ďalší

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

A Position-Sensitive Mixture Item Response Model.

Autori: Kanopka, Klint Domingue, Benjamin W.

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

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

Autori: Fan, Xin Kannan Villalan, Arivizhivendhan Hu, YeZhi a ďalší

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

A Convergence of Theories of Mind and Brain.

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

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

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

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

Autori: Song, Xi

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

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

Autori: Gusev, Evgenii Sarapultsev, Alexey Komelkova, Maria

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

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

Autori: Jia, Yunke Anida Abdullah, Norli Eliza, Hafiz a ďalší

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

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

Autori: Chmiel, James Malinowska, Agnieszka

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

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

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

Autori: Berry, Donald A.

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

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

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

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

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