Search Results - Automatic Programming – Program transformation. General Terms Algorithm

Optimising the selection of welfare indicators in farm animals.

Authors: Day, Jon Ben Haddou, Mohamed Kylling, Rita et al.

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

Natural language processing in veterinary pathology: A review.

Authors: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura et al.

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

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

Authors: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar et al.

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

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

Today's TBB

Authors: Michael J. Voss James R. Reinders

Resource Type: eBook.

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

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

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

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

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

Algorithmic Foundations for Social Advancement

Authors: Shin-ichi Minato Takeaki Uno Norihito Yasuda et al.

Resource Type: eBook.

Subjects: Algorithms, Automatic differentiation

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

Compiling Real Time Functional Reactive Programming

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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

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

Authors: Yuan S Guo L Xu F

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

Publication Type: Journal Article; Review

Journal Info: 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

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

Authors: Aqeel Raza Kumail Abbas Theerawat Swangchan-Uthai et al.

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

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

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

Authors: Glück, Robert Kawabe, Masahiko

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

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

Reliable computing in estimation of variance components.

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

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

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

Exploration of automatic optimisation for CUDA programming

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

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

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

Subject Terms: 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

Access URL: https://ieeexplore.ieee.org/document/6449791/

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

Authors: Ippoliti, Carla Bonicelli, Lorenzo De Ascentis, Matteo et al.

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

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

Authors: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

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

Authors: Hannah Bast Claudius Korzen Ulrich Meyer et al.

Resource Type: eBook.

Subjects: Computer algorithms, Big data

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

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

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

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

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

Authors: Shivaani, Manickavasagan Madan, Pavneesh

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

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

Authors: Laura, Rodríguez-Navas Luis, Balcázar José Marta, Terré et al.

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

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

Authors: Viktor Vafeiadis

Resource Type: eBook.

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

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

Prenatal and Neonatal Bone Health: Updated Review on Early Identification of Newborns at High Risk for Osteopenia.

Authors: Perrone, Serafina Caporilli, Chiara Grassi, Federica et al.

Source: Nutrients. Aug2023, Vol. 15 Issue 16, p3515. 25p.