Výsledky vyhledávání - Theory of computation Theory and algorithms for application domains Machine learning theory

Formal Methods

Přispěvatelé: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a další

Témata: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93255

Theory and Algorithms on the Median Graph. Application to Graph-based Classification and Clustering

Autoři: Ferrer Sumsi, Miquel

Přispěvatelé: University/Department: Universitat Autònoma de Barcelona. Departament de Ciències de la Computació

Thesis Advisors: Valveny Llobet, Ernest, Serratosa i Casanelles, Francesc

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Structural Pattern Recognition, Graph Matching, Median Graph, Tecnologies

Time: 519.1

Popis souboru: application/pdf

Přístupová URL adresa: http://www.tdx.cat/TDX-0212109-100250
http://hdl.handle.net/10803/5788

Model Uncertainties in Inverse Problems: Theory, Algorithms, and Applications in Computational Imaging

Autoři: Ni, Yuan

Témata: Applied mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/9z79697m
https://escholarship.org/content/qt9z79697m/qt9z79697m.pdf

Super-Resolution With Binary Priors: Theory and Algorithms

Autoři: Sarangi, Pulak Hattori, Ryoma Komiyama, Takaki a další

Témata: Engineering, Information and Computing Sciences, Communications Engineering, Computer Vision and Multimedia Computation, Machine Learning, Superresolution, Deconvolution, Filtering algorithms, Calcium, Low-pass filters, IIR filters, Signal processing algorithms, Beta-expansions, binary compressed sensing, sparsity, binary search, spike deconvolution, super-resolution, Binary compressed sensing, beta-expansions, Networking & Telecommunications

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/6j55n3zw
https://escholarship.org/content/qt6j55n3zw/qt6j55n3zw.pdf

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Autoři: DİLAVER, Hatice DİLAVER, Kamil Fatih

Zdroj: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Témata: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

Quantum algorithms and complexity in healthcare applications: a systematic review with machine learning-optimized analysis

Autoři: Agostino Marengo Vito Santamato

Zdroj: Frontiers in Computer Science, Vol 7 (2025)

Témata: quantum algorithms, computational complexity, quantum machine learning, Particle Swarm Optimization, healthcare data security, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fcomp.2025.1584114/full; https://doaj.org/toc/2624-9898

Přístupová URL adresa: https://doaj.org/article/d56baa2caf6f4738bba7fca363334064

Uncertainty and indistinguishability. Application to modelling with words.

Autoři: Hernández Jiménez, Enric

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

Thesis Advisors: Recasens Ferrés, Jordi

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: machine learning, decision trees, indistinguishability operators, uncertainty measures

Popis souboru: application/pdf

Přístupová URL adresa: http://www.tdx.cat/TDX-0419107-100926
http://hdl.handle.net/10803/6648
https://dx.doi.org/10.5821/dissertation-2117-93959

Conservative decision-making and inference in uncertain dynamical systems

Autoři: Calliess, Jan-Peter Roberts, Stephen Osborne, Michael

Přispěvatelé: Calliess, Jan-Peter Roberts, Stephen Osborne, Michael

Témata: 629.8, Information engineering, Control engineering, Robotics, Difference and functional equations, Dynamical systems and ergodic theory (mathematics), Scalable systems, Applications and algorithms, Decision science, Vehicle guidance (information eng), Operations research,mathematical programming, Artificial Intelligence, Machine Learning, Control, Multiagent Systems, Optimisation, Collision Avoidance, Dynamical Systems, System Identification

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664847

In Silico Peptide Design: Methods, Resources, and Role of AI.

Autoři: Choudhury PR Mishra SK Yadav S a další

Zdroj: Journal of peptide science : an official publication of the European Peptide Society [J Pept Sci] 2025 Dec; Vol. 31 (12), pp. e70063.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: John Wiley & Sons Country of Publication: England NLM ID: 9506309 Publication Model: Print Cited Medium: Internet ISSN: 1099-1387 (Electronic) Linking ISSN: 10752617 NLM ISO Abbreviation: J Pept Sci Subsets: MEDLINE

Výrazy ze slovníku MeSH: Peptides*/chemistry , Peptides*/chemical synthesis , Drug Design*, Molecular Dynamics Simulation ; Machine Learning ; Deep Learning ; Humans ; Computer Simulation

Smoothing Spline Semiparametric Density Models.

Autoři: Yu, Jiahui Shi, Jian Liu, Anna a další

Zdroj: Journal of the American Statistical Association. Mar2022, Vol. 117 Issue 537, p237-250. 14p.

Témata: HILBERT space, SPLINE theory, DENSITY, MACHINE learning, GAUSS-Newton method

Ultra-Large Virtual Screening: Definition, Recent Advances, and Challenges in Drug Design.

Autoři: Corrêa Veríssimo G Salgado Ferreira R Gonçalves Maltarollo V

Zdroj: Molecular informatics [Mol Inform] 2025 Jan; Vol. 44 (1), pp. e202400305. Date of Electronic Publication: 2024 Dec 05.

Způsob vydávání: Journal Article; Review

Informace o časopise: Publisher: Wiley-VCH Verlag Country of Publication: Germany NLM ID: 101529315 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1868-1751 (Electronic) Linking ISSN: 18681743 NLM ISO Abbreviation: Mol Inform Subsets: MEDLINE

Výrazy ze slovníku MeSH: Drug Design* , Molecular Docking Simulation*, Machine Learning ; Software ; Humans ; Drug Discovery/methods ; Algorithms ; Drug Evaluation, Preclinical/methods

Of Rats and Men II A Pragmatist Reconstruction of the Basis of Agency via the Free-Energy Principle.

Alternate Title: О крысах и людях II Прагматистская реконструкция оснований агентности посредством принципа свободной энергии

Autoři: SŁUSZKIEWICZ, ZBIGNIEW¹

Zdroj: Zoophilologica: Polish Journal of Animal Studies. 2025, Vol. 15 Issue 1, p1-37. 37p.

Témata: Animal behavior, Metaphysics, Rats, Pragmatism, Agent (Philosophy)

Object Detection In Video Streaming Using Machine Learning And Cnn Techniques.

Autoři: Vaidya, Gouri Amol¹

Zdroj: Journal of Advanced Zoology. 2024 Supplement, Vol. 45, p186-196. 11p.

Per instance algorithm configuration of CMA-ES with limited budget

Autoři: Belkhir, Nacim Dreo, Johann Savéant, Pierre a další

Přispěvatelé: Belkhir, Nacim Dreo, Johann Savéant, Pierre a další

Zdroj: Proceedings of the Genetic and Evolutionary Computation Conference. :681-688

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, CCS CONCEPTS • General and reference → Empirical studies, [STAT.ML] Statistics [stat]/Machine Learning [stat.ML], numerical black box optimization, empirical study, fitness landscape analysis, 0202 electrical engineering, electronic engineering, information engineering, Algorithm Configuration, • Theory of computation → Continuous optimization, Bio-inspired optimization, problem features

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01613753/file/GECCO2017_nacimbelkhir.pdf
https://inria.hal.science/hal-01613753v1
https://dl.acm.org/citation.cfm?id=3071343
https://dl.acm.org/doi/10.1145/3071178.3071343
https://doi.org/10.1145/3071178.3071343
https://hal.inria.fr/hal-01613753/document
https://hal.inria.fr/hal-01613753
https://dblp.uni-trier.de/db/conf/gecco/gecco2017.html#BelkhirDSS17

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.

Data-Driven Early Warning Approach for Antimicrobial Resistance Prediction–Anomaly Detection Based on High-Level Indicators.

Autoři: Csorba, Szilveszter Vribék, Krisztián Farkas, Máté a další

Zdroj: Veterinary Sciences. Oct2025, Vol. 12 Issue 10, p935. 17p.

Genetic Algorithm-Based Search Space Exploration to Generate Best Convolutional Neural Network

Autoři: Dhananjay Bisen Praneet Saurabh Mayank Thakur a další

Zdroj: IEEE Access, Vol 13, Pp 155482-155499 (2025)

Témata: Convolutional neural network, machine learning, neural architectural search, automated machine learning, genetic algorithm, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

Relation: https://ieeexplore.ieee.org/document/11151578/; https://doaj.org/toc/2169-3536

Přístupová URL adresa: https://doaj.org/article/44188b0c14eb4eaabe1effa4657ab92f

Dynamic Sparse Attention for Scalable Transformer Acceleration.

Autoři: Liu, Liu Qu, Zheng Chen, Zhaodong a další

Zdroj: IEEE Transactions on Computers. Dec2022, Vol. 71 Issue 12, p3165-3178. 14p.

Témata: COMPUTER vision, MACHINE learning, SPARSE matrices

Application of some artificial intelligence optimization methods to determine the freshness of eggs.

Autoři: ŞAHİN, Hasan Alp ÖNDER, Hasan

Zdroj: Turkish Journal of Veterinary & Animal Sciences. 2024, Vol. 48 Issue 3, p156-164. 9p.

Témata: Artificial intelligence, Digital image processing, Artificial neural networks, Object recognition (Computer vision), Particle swarm optimization, Image compression

A Note on Improving Variational Estimation for Multidimensional Item Response Theory.

Autoři: Ma C Ouyang J Wang C a další

Zdroj: Psychometrika [Psychometrika] 2024 Mar; Vol. 89 (1), pp. 172-204. Date of Electronic Publication: 2023 Nov 18.

Způsob vydávání: Journal Article; Research Support, Non-U.S. Gov't; Research Support, U.S. Gov't, Non-P.H.S.

Informace o časopise: Publisher: Cambridge University Press Country of Publication: United States NLM ID: 0376503 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1860-0980 (Electronic) Linking ISSN: 00333123 NLM ISO Abbreviation: Psychometrika Subsets: MEDLINE

Výrazy ze slovníku MeSH: Psychometrics*/methods , Algorithms* , Models, Statistical*, Humans ; Computer Simulation