Výsledky vyhledávání - (automatic OR automatizace) programming – program transformation. general terms algorithm*
-
1
Autoři: a další
Zdroj: Frontiers in Veterinary Science. 2025, p1-19. 19p.
Plný text ve formátu HTML Plný text ve formátu PDF -
2
Autoři: a další
Zdroj: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
Plný text ve formátu HTML Plný text ve formátu PDF -
3
Autoři:
Přispěvatelé:
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
-
4
Autoři:
Přispěvatelé:
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
-
5
Autoři: a další
Resource Type: eBook.
Témata: Algorithms, Automatic differentiation
Plný text ve formátu PDF Plný text ve formátu ePub -
6
Autoři: 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
Plný text ve formátu HTML Plný text ve formátu PDF -
7
Autoři:
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
Plný text ve formátu PDF Plný text ve formátu ePub -
8
Autoři: a další
Přispěvatelé: a další
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
-
9
Autoři: a další
Přispěvatelé: a další
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
-
10
Autoři: 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
Plný text ve formátu PDF -
11
Autoři:
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
-
12
Autoři:
Přispěvatelé:
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
-
13
Autoři: a další
Zdroj: Frontiers in Veterinary Science. 2024, p1-19. 19p.
Plný text ve formátu HTML Plný text ve formátu PDF -
14
-
15
Autoři: a další
Resource Type: eBook.
Témata: Computer algorithms, Big data
Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied
Plný text ve formátu PDF Plný text ve formátu ePub -
16
Autoři: Misztal, I.1 ignacy@uga.edu
Zdroj: Journal of Animal Breeding & Genetics. Dec2008, Vol. 125 Issue 6, p363-370. 8p. 1 Chart.
Témata: Parameter estimation, Multilevel models, Computer software, Algorithms, Stochastic convergence, Bayesian analysis
Plný text ve formátu PDF -
17
Autoři:
Resource Type: eBook.
Témata: OCaml (Computer program language), Science--Data processing, Numerical analysis--Data processing
Categories: COMPUTERS / Languages / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management
Plný text ve formátu PDF Plný text ve formátu ePub -
18
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms security, algorithms, languages, performance Keywords access control, policy analysis, security, algorithm, time
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016; http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf
-
19
Autoři:
Zdroj: IEEE Transactions on Computers. :853-861
Témata: P-functions, binary program synthesis, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, resolution principle, declarative programming, 01 natural sciences, Prolog, Switching theory, application of Boolean algebra, Boolean functions, 0202 electrical engineering, electronic engineering, information engineering, logic design, Theorem proving (deduction, resolution, etc.), binary decision programs
Popis souboru: application/xml
Přístupová URL adresa: https://www.computer.org/csdl/trans/tc/1986/10/01676676.html
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000001676676
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000001676676
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1676676
http://www.osti.gov/scitech/biblio/5311132-algorithmic -state-machine-design-automatic -theorem-proving-two-dual-approaches-same-activity
https://dblp.uni-trier.de/db/journals/tc/tc35.html#SnyersT86 -
20
Autoři:
Resource Type: eBook.
Témata: 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
Plný text ve formátu PDF Plný text ve formátu ePub
Nájsť tento článok vo Web of Science 
Full Text Finder