Výsledky vyhľadávania - (automatizace OR automatic) programming – program transformation. general terms algorithm

Optimising the selection of welfare indicators in farm animals.

Autori: Day, Jon Ben Haddou, Mohamed Kylling, Rita a ďalší

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

Natural language processing in veterinary pathology: A review.

Autori: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura a ďalší

Zdroj: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.

Applications and Considerations of Artificial Intelligence in Veterinary Sciences: A Narrative Review.

Autori: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar a ďalší

Zdroj: Veterinary Medicine & Science. May2025, Vol. 11 Issue 3, p1-29. 29p.

Predmet: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research

Today's TBB

Autori: Michael J. Voss James R. Reinders

Typ zdroja: eBook.

Predmet: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Algorithmic Foundations for Social Advancement

Autori: Shin-ichi Minato Takeaki Uno Norihito Yasuda a ďalší

Typ zdroja: eBook.

Predmet: Algorithms, Automatic differentiation

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

Evolving a Nelder-Mead Algorithm for Optimization with Genetic Programming.

Autori: Fajfar, Iztok Puhan, Janez Bürmen, Árpád

Zdroj: Evolutionary Computation; Fall2017, Vol. 25 Issue 3, p351-373, 23p

Predmety: GENETIC programming, PROGRAM transformation, HEURISTIC, AUTOMATIC programming (Computer science), SIGNAL processing

Impacts of early postpartum behavioral patterns on the fertility and milk production of tropical dairy cows.

Autori: Aqeel Raza Kumail Abbas Theerawat Swangchan-Uthai a ďalší

Zdroj: Veterinary World. May2025, Vol. 18 Issue 5, p1109-1126. 18p.

Predmet: Milk yield, Estrus, K-means clustering, Dairy cattle, Lactation, Intelligent sensors, Tropical climate

Artificial intelligence in nephrology: predicting CKD progression and personalizing treatment.

Autori: Yuan S Guo L Xu F

Zdroj: International urology and nephrology [Int Urol Nephrol] 2025 Nov 08. Date of Electronic Publication: 2025 Nov 08.

Spôsob vydávania: Journal Article; Review

Informácie o časopise: Publisher: Springer Country of Publication: Netherlands NLM ID: 0262521 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1573-2584 (Electronic) Linking ISSN: 03011623 NLM ISO Abbreviation: Int Urol Nephrol Subsets: MEDLINE

Compiling Real Time Functional Reactive Programming

Autori: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf.

Predmety: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563
http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Spotting Culex pipiens from satellite: modeling habitat suitability in central Italy using Sentinel-2 and deep learning techniques.

Autori: Ippoliti, Carla Bonicelli, Lorenzo De Ascentis, Matteo a ďalší

Zdroj: Frontiers in Veterinary Science. 2024, p1-19. 19p.

A Method for Automatic Program Inversion Based on LR(0) Parsing.

Autori: Glück, Robert Kawabe, Masahiko

Zdroj: Fundamenta Informaticae; 2005, Vol. 66 Issue 4, p367-395, 29p

Predmety: AUTOMATIC programming (Computer science), COMPUTER programming, PROGRAM transformation, FUNCTIONAL programming languages, FUNCTIONAL programming (Computer science)

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Autori: Michael Voss Rafael Asenjo James Reinders

Typ zdroja: eBook.

Predmet: Computer science, Computer software, Data structures (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Algorithms for Big Data : DFG Priority Program 1736

Autori: Hannah Bast Claudius Korzen Ulrich Meyer a ďalší

Typ zdroja: eBook.

Predmet: Computer algorithms, Big data

Kategórie: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied

Reliable computing in estimation of variance components.

Autori: Misztal, I.¹ ignacy@uga.edu

Zdroj: Journal of Animal Breeding & Genetics. Dec2008, Vol. 125 Issue 6, p363-370. 8p. 1 Chart.

Predmet: Parameter estimation, Multilevel models, Computer software, Algorithms, Stochastic convergence, Bayesian analysis

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

Predmet: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Application of imaging and spectroscopy techniques for grading of bovine embryos - a review.

Autori: Shivaani, Manickavasagan Madan, Pavneesh

Zdroj: Frontiers in Veterinary Science. 2024, p01-09. 9p.

Exploration of automatic optimisation for CUDA programming

Autori: Al-Mouhamed, Mayez Khan, Ayaz ul Hassan King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia

Prispievatelia: Al-Mouhamed, Mayez Khan, Ayaz ul Hassan King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia

Zdroj: International Journal of Parallel, Emergent and Distributed Systems. 30:309-324

Predmety: parallel programming, source-to-source compiler, GPGPU, GPU, 0202 electrical engineering, electronic engineering, information engineering, compiler transformations, CUDA, directivebased language, 02 engineering and technology, 15. Life on land

Prístupová URL adresa: https://ieeexplore.ieee.org/document/6449791/

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autori: Stephanie Weirich

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Television Drama From Germany

Autori: Florian Krauß

Typ zdroja: eBook.

Predmet: Television programs--Germany

Kategórie: PERFORMING ARTS / Television / General, PERFORMING ARTS / Film / General