Search Results - (automatically OR automatizace) programming – program transformation. general terms algorithm~

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

A Bayesian analysis of variables causally associated with hair cortisol concentration in dogs with obesity.

Authors: Turnbull, Kaitlin Woods-Lee, Georgiana R. T. Flanagan, John et al.

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

Boosting Immunity Through Nutrition and Gut Health: A Narrative Review on Managing Allergies and Multimorbidity.

Authors: Andreou, Eleni Papaneophytou, Christos

Source: Nutrients. May2025, Vol. 17 Issue 10, p1685. 40p.

Sine Cosine Algorithm for Optimization

Authors: Jagdish Chand Bansal Prathu Bajpai Anjali Rawat et al.

Resource Type: eBook.

Subjects: Mathematical optimization, Metaheuristics, Computer programming

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Optimization

Algorithms Against Fraud and Corruption - with Practical Application

Authors: Vicente Humberto Monteverde

Resource Type: eBook.

Categories: COMPUTERS / Programming / Algorithms, BUSINESS & ECONOMICS / Accounting / General, COMPUTERS / Security / General

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

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

Transdisciplinarity for Transformation

Authors: Barbara J. Regeer Pim Klaassen Jacqueline E. W. Broerse

Resource Type: eBook.

Subjects: Interdisciplinary research, Interdisciplinary research--Social aspects

Categories: SOCIAL SCIENCE / Human Geography, POLITICAL SCIENCE / Comparative Politics, POLITICAL SCIENCE / Public Policy / Social Policy, SCIENCE / Earth Sciences / Geography, SOCIAL SCIENCE / General, SOCIAL SCIENCE / Sociology / General

The statistical building blocks of animal movement simulations.

Authors: Getz, Wayne M. Salter, Richard Sethi, Varun et al.

Source: Movement Ecology. 9/30/2024, Vol. 12 Issue 1, p1-24. 24p.

Abstract Automatic Inversion Generates Divide-and-Conquer Parallel Programs

Authors: Kazutaka Morita Akimasa Morihata Kiminori Matsuzaki et al.

Contributors: Kazutaka Morita Akimasa Morihata Kiminori Matsuzaki et al.

Source: http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/pldi07.pdf.

Subject Terms: Concurrent Programming—Parallel programming General Terms Algorithms, Design, Languages Keywords Divide-and-conquer parallelism, Inversion, Program transformation, Third

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.5695

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.5695
http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/pldi07.pdf

Automatic Inversion Generates Divide-and-Conquer Parallel Programs

Authors: Kazutaka Morita Akimasa Morihata Kiminori Matsuzaki et al.

Contributors: Kazutaka Morita Akimasa Morihata Kiminori Matsuzaki et al.

Source: http://www.cs.ucla.edu/~palsberg/course/cs239/papers/morita.pdf.

Subject Terms: Concurrent Programming—Parallel programming General Terms Algorithms, Design, Languages Keywords Divide-and-conquer parallelism, Inversion, Program transformation, Third

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.5882; http://www.cs.ucla.edu/~palsberg/course/cs239/papers/morita.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.5882
http://www.cs.ucla.edu/~palsberg/course/cs239/papers/morita.pdf

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

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

Optimization of Sewer Networks Using an Adaptive Genetic Algorithm.

Authors: Haghighi, Ali Bakhshipour, Amin

Source: Water Resources Management; Sep2012, Vol. 26 Issue 12, p3441-3456, 16p

Subject Terms: SEWER design, GENETIC algorithms, PROGRAM transformation, DYNAMIC programming, GENETIC programming

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.

Television Drama From Germany

Authors: Florian Krauß

Resource Type: eBook.

Subjects: Television programs--Germany

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

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

Authors: Stephanie Weirich

Resource Type: eBook.

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

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

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 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 II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation