Výsledky vyhledávání - (automatic OR automatizace) programming – program transformation. general terms algorithm

Optimising the selection of welfare indicators in farm animals.

Autoři: Day, Jon Ben Haddou, Mohamed Kylling, Rita a další

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

Natural language processing in veterinary pathology: A review.

Autoři: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura a další

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

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

Autoři: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar a další

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

Témata: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research

Today's TBB

Autoři: Michael J. Voss James R. Reinders

Resource Type: eBook.

Témata: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Algorithmic Foundations for Social Advancement

Autoři: Shin-ichi Minato Takeaki Uno Norihito Yasuda a další

Resource Type: eBook.

Témata: Algorithms, Automatic differentiation

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

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

Autoři: Aqeel Raza Kumail Abbas Theerawat Swangchan-Uthai a další

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

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

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

Autoři: Yuan S Guo L Xu F

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

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

Informace 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

Autoři: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: application/pdf

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

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

Autoři: Ippoliti, Carla Bonicelli, Lorenzo De Ascentis, Matteo a další

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

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

Autoři: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Témata: Computer science, Computer software, Data structures (Computer science)

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

Autoři: Hannah Bast Claudius Korzen Ulrich Meyer a další

Resource Type: eBook.

Témata: Computer algorithms, Big data

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

Reliable computing in estimation of variance components.

Autoři: Misztal, I.¹ ignacy@uga.edu

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

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

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

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

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

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

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

Autoři: Shivaani, Manickavasagan Madan, Pavneesh

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

Exploration of automatic optimisation for CUDA programming

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

Přispěvatelé: 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

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

Pří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

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Television Drama From Germany

Autoři: Florian Krauß

Resource Type: eBook.

Témata: Television programs--Germany

Categories: PERFORMING ARTS / Television / General, PERFORMING ARTS / Film / General

EXPLORING MODELLING METHODS TO MONITOR MORTALITY INDICATORS IN DAIRY FARMS. CASE STUDY: CATALONIA (SPAIN).

Autoři: Laura, Rodríguez-Navas Luis, Balcázar José Marta, Terré a další

Zdroj: Épidémiologie et Santé Animale. 2023, Issue 81, p81-96. 16p.

Rhetorical Code Studies : Discovering Arguments in and Around Code

Autoři: Kevin Brock

Resource Type: eBook.

Témata: Online social networks, Rhetoric--Data processing, Coding theory, Computer algorithms--Psychological aspects, Software engineering--Psychological aspects

Categories: COMPUTERS / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General