Search Results - (automatic OR automation) programming – program transformation. general terms algorithm*
-
1
Authors: et al.
Source: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
HTML Full Text PDF Full Text -
2
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-19. 19p.
HTML Full Text PDF Full Text -
3
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
4
Authors:
Contributors:
Subject Terms: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation
File Description: 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
-
5
Authors: et al.
Resource Type: eBook.
Subjects: Algorithms, Automatic differentiation
PDF Full Text ePub Full Text -
6
Authors:
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
-
7
Authors: 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
HTML Full Text PDF Full Text -
8
Authors:
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
PDF Full Text ePub Full Text -
9
Authors:
Contributors:
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
-
10
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
11
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
12
Authors: et al.
Source: Veterinary Pathology. Sep2025, Vol. 62 Issue 5, p631-645. 15p.
HTML Full Text PDF Full Text -
13
Authors: 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
PDF Full Text -
14
Authors:
Resource Type: eBook.
Subjects: 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
PDF Full Text ePub Full Text -
15
Authors:
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
PDF Full Text ePub Full Text -
16
-
17
Authors: et al.
Resource Type: eBook.
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Optimization
PDF Full Text ePub Full Text -
18
Authors:
Resource Type: eBook.
Subjects: 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
PDF Full Text ePub Full Text -
19
-
20
Authors: et al.
Source: Frontiers in Veterinary Science. 2024, p1-19. 19p.
HTML Full Text PDF Full Text
Nájsť tento článok vo Web of Science 
Full Text Finder