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

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.

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.

From Datalog rules to efficient programs with time and space guarantees

Autoři: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf.

Témata: and logic languages, D.3.4 [Programming Languages, Processors—code generation, optimization, E.1 [Data, Data Structures—arrays, lists, queues, records, E.2 [Data, Data Storage Representations—linked representations, F.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—computations on discrete structures, H.2.3 [Information Systems, Database Management—query languages, H.2.4 [Information Systems, Systems—query processing, rule-based databases, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Complexity analysis, Datalog, data structure design, incremental computation, indexing, indexed representations, linked representations

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.8989
http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs

Autoři: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf.

Témata: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892
http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

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

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

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

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

Partial Redundancy Elimination in SSA Form

Autoři: Robert Kennedy Sun Chan Shin-ming Liu a další

Přispěvatelé: Robert Kennedy Sun Chan Shin-ming Liu a další

Zdroj: http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps.

Témata: gramming Languages, Processors---compilers, optimization, I.1.2 [Algebraic Manipulation, Algorithms---analysis of algorithms, I.2.2 [Artificial Intelligence, Automatic Programming---program transformation General Terms, Partial Redundancy, Code Motion, Static Single Assignment Form Additional Key Words and Phrases, common subexpressions, data flow analysis, program optimization

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783; http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783
http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps

Partial Evaluation of Functional Logic Programs

Autoři: Maria Alpuente Moreno Falaschi German Vidal a další

Přispěvatelé: Maria Alpuente Moreno Falaschi German Vidal a další

Zdroj: http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf.

Témata: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018
http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

Digital pathology in veterinary clinical pathology: A review.

Autoři: Piccione, Julie Anderson, Stephanie F. Neal, Samuel V. a další

Zdroj: Veterinary Pathology. Sep2025, Vol. 62 Issue 5, p631-645. 15p.

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

Autoři: Fajfar, Iztok Puhan, Janez Bürmen, Árpád

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

Témata: GENETIC programming, PROGRAM transformation, HEURISTIC, AUTOMATIC programming (Computer science), SIGNAL processing

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

Autoři: Glück, Robert Kawabe, Masahiko

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

Témata: AUTOMATIC programming (Computer science), COMPUTER programming, PROGRAM transformation, FUNCTIONAL programming languages, FUNCTIONAL programming (Computer science)

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

Foundations of Trusted Autonomy

Autoři: Hussein A. Abbass Jason Scholz Darryn J. Reid

Resource Type: eBook.

Témata: Electronics, Automation, Computer algorithms, Microelectronics, Robotics, Algorithms, Engineering, Computer science--Mathematics, Artificial intelligence

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Electronics / General, MATHEMATICS / Numerical Analysis

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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 I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Sine Cosine Algorithm for Optimization

Autoři: Jagdish Chand Bansal Prathu Bajpai Anjali Rawat a další

Resource Type: eBook.

Témata: Mathematical optimization, Metaheuristics, Computer programming

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

The Digital Transformation of Labor : Automation, the Gig Economy and Welfare

Autoři: Anthony Larsson Robin Teigland

Resource Type: eBook.

Témata: Labor supply--Effect of automation on, Labor supply--Effect of technological innovations on, Automation--Social aspects, Public welfare administration--Technological innovations, Precarious employment--Social aspects

Categories: BUSINESS & ECONOMICS / Labor / General, BUSINESS & ECONOMICS / Economic Conditions, BUSINESS & ECONOMICS / Office Automation