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

Upřesnit hledání
  1. 1

    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.

    Plný text ve formátu HTML Plný text ve formátu PDF
    Přidat do oblíbených
  2. 2

    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.

    Plný text ve formátu HTML Plný text ve formátu PDF
    Přidat do oblíbených
  3. 3

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    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

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  6. 6

    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

    Plný text ve formátu HTML Plný text ve formátu PDF
    Přidat do oblíbených
  7. 7

    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

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  8. 8

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    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

    Plný text ve formátu PDF
    Přidat do oblíbených
  12. 12

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Spotting Culex pipiens from satellite: modeling habitat suitability in central Italy using Sentinel-2 and deep learning techniques.

    Autoři: Ippoliti, Carla Bonicelli, Lorenzo De Ascentis, Matteo a další

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

    Plný text ve formátu HTML Plný text ve formátu PDF
    Přidat do oblíbených
  15. 15

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

    Autoři: Michael Voss Rafael Asenjo James Reinders

    Resource Type: eBook.

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

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  16. 16

    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)

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Algorithms for Big Data : DFG Priority Program 1736

    Autoři: Hannah Bast Claudius Korzen Ulrich Meyer 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
    Přidat do oblíbených
  18. 18

    Reliable computing in estimation of variance components.

    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
    Přidat do oblíbených
  19. 19

    Architecture of Advanced Numerical Analysis Systems

    Autoři: Liang Wang Jianxin Zhao

    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
    Přidat do oblíbených
  20. 20

    Abstract Efficient Trust Management Policy Analysis from Rules ∗

    Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf.

    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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016
    http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: