Suchergebnisse - automatic programming – program transformation. general terms algorithm~

Optimising the selection of welfare indicators in farm animals.

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

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

Natural language processing in veterinary pathology: A review.

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

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

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

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

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

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

Today's TBB

Autoren: Michael J. Voss James R. Reinders

Resource Type: eBook.

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

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

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

Schlagwörter: GENETIC programming, PROGRAM transformation, HEURISTIC, AUTOMATIC programming (Computer science), SIGNAL processing

Algorithmic Foundations for Social Advancement

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

Resource Type: eBook.

Schlagworte: Algorithms, Automatic differentiation

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

Compiling Real Time Functional Reactive Programming

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

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

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Yuan S Guo L Xu F

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

Publikationsart: Journal Article; Review

Info zur Zeitschrift: 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.

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

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

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

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

Autoren: Glück, Robert Kawabe, Masahiko

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

Schlagwörter: AUTOMATIC programming (Computer science), COMPUTER programming, PROGRAM transformation, FUNCTIONAL programming languages, FUNCTIONAL programming (Computer science)

Reliable computing in estimation of variance components.

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

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

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

Exploration of automatic optimisation for CUDA programming

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

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

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

Schlagwörter: 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

Zugangs-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.

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

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

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

Autoren: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

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

Autoren: Hannah Bast Claudius Korzen Ulrich Meyer et al.

Resource Type: eBook.

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

Autoren: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

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

Autoren: Shivaani, Manickavasagan Madan, Pavneesh

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

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

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

Quelle: É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

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

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

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