Výsledky vyhledávání - automatic (Programming—automatic OR Programming—automation) analysis of algorithms~

ALGORITHMS OF THE AUTOMATIC DIGITAL ANALYSIS OF VEGETABLE SEEDS QUALITY

Autoři: F. В. Musaev М. S. Antoshkina A. V. Soldatenko a další

Zdroj: Овощи России, Vol 0, Iss 3, Pp 86-88 (2018)

Témata: seeds, x-ray analysis, x-ray image, digital analysis, plumpness of seeds, defects, protocol., Agriculture

Popis souboru: electronic resource

Relation: https://www.vegetables.su/jour/article/view/564; https://doaj.org/toc/2072-9146; https://doaj.org/toc/2618-7132

Přístupová URL adresa: https://doaj.org/article/6f9b7228bb8b4a8dad867fa26fd1958d

Inductive data mining based on genetic programming: Automatic generation of decision trees from data for process historical data analysis

Autoři: Xue Z. Wang Chao Y. Ma

Zdroj: Computers & Chemical Engineering. 33:1602-1616

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0098135409001021
http://dblp.uni-trier.de/db/journals/cce/cce33.html#MaW09
https://dblp.uni-trier.de/db/journals/cce/cce33.html#MaW09
https://doi.org/10.1016/j.compchemeng.2009.04.005

Development of computer program for automatic X-ray analysis of quality of vegetable seeds

Autoři: N. N. Potrakhov S. L. Beletskiy F. B. Musaev

Zdroj: Plant Biology and Horticulture: theory, innovation. :86-95

Témata: 2. Zero hunger, 0106 biological sciences, 0301 basic medicine, 03 medical and health sciences, 01 natural sciences

Přístupová URL adresa: https://scbook.elpub.ru/jour/article/download/643/540
https://scbook.elpub.ru/jour/article/viewFile/643/540

Cost Analysis of Logic Programs

Autoři: Saumya Debray Nai-wei Lin The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Saumya Debray Nai-wei Lin The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.arizona.edu/people/debray/papers/cost_analysis.ps.

Témata: Programming---automatic analysis of algorithms. General Terms, Languages, Performance Additional Key Words and Phrases, Program Analysis, Complexity, PROLOG

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7367; http://www.cs.arizona.edu/people/debray/papers/cost_analysis.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7367
http://www.cs.arizona.edu/people/debray/papers/cost_analysis.ps

Empirical hardness models: Methodology and a case study on combinatorial auctions

Autoři: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf.

Témata: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Graph and tree search strategies, Heuristic methods, I.2.6 [Artificial Intelligence, Learning General Terms, Design, Economics, Experimentation, Measurement, Performance Additional Key Words and Phrases, Empirical Analysis of Algorithms, Algorithm Portfolios, Combinatorial Auctions, Runtime Prediction

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.1931; http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.1931
http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf

Automated Termination Proofs for Haskell . . .

Autoři: Jürgen Giesl Matthias Raffelsieper Peter Schneider-Kamp a další

Přispěvatelé: Jürgen Giesl Matthias Raffelsieper Peter Schneider-Kamp a další

Zdroj: http://www.win.tue.nl/%7Emraffels/Haskell_Journal_pre.pdf.

Témata: Techniques, Applicative (Functional) Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Automatic analysis of algorithms, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving General Terms, Languages, Theory, Verification Additional Key Words and Phrases, functional programming, Haskell, termination analysis, term rewriting, dependency

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3618; http://www.win.tue.nl/%7Emraffels/Haskell_Journal_pre.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3618
http://www.win.tue.nl/%7Emraffels/Haskell_Journal_pre.pdf

Static caching for incremental computation

Autoři: Yanhong A. Liu Scott D. Stoller Tim Teitelbaum a další

Přispěvatelé: Yanhong A. Liu Scott D. Stoller Tim Teitelbaum a další

Zdroj: http://www.grammatech.com/images/pdf/Scic-TOPLAS98-1.pdf.

Témata: Categories and Subject Descriptors, D.1 [Programming Techniques, Automatic Programming|automatic analysis of algorithms � program transformation � D.3.3 [Programming, Language Constructs and Features � D.3.4 [Programming Languages, Processors| optimization � F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Caching, dependence analysis, incremental computation, incremental programs, intermediate results, memoization, optimization, program e ciency improvement, program

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.4258
http://www.grammatech.com/images/pdf/Scic-TOPLAS98-1.pdf

Eta-expansion does the Trick

Autoři: Olivier Danvy Karoline Malmkjær Jens Palsberg a další

Přispěvatelé: Olivier Danvy Karoline Malmkjær Jens Palsberg a další

Zdroj: http://www.cs.ucla.edu/~palsberg/paper/toplas96-dmp.pdf.

Témata: and Formal Languages, Mathematical Logic—lambda calculus and related systems, I.1.3 [Algebraic Manipulation, Languages and Systems—evaluation strategies, I.2.2 [Artificial Intelligence, Automatic Programming—automatic analysis of algorithms, program transformation

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.8571
http://www.cs.ucla.edu/~palsberg/paper/toplas96-dmp.pdf

Research of VB Programming Automatic Scoring Method Based on the Windows API.

Autoři: Tan Peng Fei Li Yan Heng Zhang Chang Yun

Zdroj: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I. 2012, Vol. 1, p158-162. 5p.

Témata: Programming languages, Windows (Graphical user interfaces), Computer programming, Electronic data processing, Algorithms

Automatic grading of students' ALGOL programming: Automatic grading of student's ALGOL programming

Autoři: Peter Naur

Zdroj: BIT. 4:177-188

Témata: numerical analysis, 4. Education

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/3212537
https://doi.org/10.1007/bf01956028
https://link.springer.com/article/10.1007/BF01956028

Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs.

Autoři: van Doornmalen, Jasper Hojny, Christopher

Zdroj: INFORMS Journal on Computing; May/Jun2024, Vol. 36 Issue 3, p868-883, 16p

Témata: CYCLIC groups, SYMMETRY, SYMMETRY groups, PERMUTATION groups

METHODS AND MEANS OF APPLYING ONTOLOGICAL MODELS IN THE PROGRAM SYSTEMS LIFECYCLE OF FLIGHT CONTROL.

Alternate Title: МЕТОДИ ТА ЗАСОБИ ЗАСТОСУВАННЯ ОНТОЛОГІЧНИХ МОДЕЛЕЙ В ЖИТТЄВОМУ ЦИКЛІ ПРОГРАМНИХ СИСТЕМ КОНТРОЛЮ ПОЛЬОТІВ. (Ukrainian)

Autoři: Raichev, Ihor Denysenko, Nataliia

Zdroj: Science-Based Technologies; 2025, Vol. 65 Issue 1, p3-20, 18p

Témata: FLIGHT control systems, LIFE cycles (Biology), AUTOMATIC control systems, ARTIFICIAL intelligence, BUILDING design & construction, FLIGHT simulators

An Automatic Software Defect Repair Method Based on Multi-Objective Genetic Programming.

Autoři: Han, Tiantian Chu, Yonghe Liu, Fangzheng

Zdroj: Applied Sciences (2076-3417); Sep2024, Vol. 14 Issue 18, p8550, 17p

Témata: OPTIMIZATION algorithms, COMPUTER software developers, SOFTWARE maintenance, SEARCH algorithms, COMPUTER software

Integrating AI with Meta-Language: An Interdisciplinary Framework for Classifying Concepts in Mathematics and Computer Science.

Autoři: Kramer, Elena Lamberg, Dan Georgescu, Mircea a další

Zdroj: Information; Sep2025, Vol. 16 Issue 9, p735, 26p

Témata: MATHEMATICS, COMPUTER science, CLUSTERING algorithms, DISCOURSE, PEDAGOGICAL content knowledge, ARTIFICIAL intelligence, DEEP learning, EDUCATIONAL resources

A point cloud registration-based calibration algorithm for robot offline programming automatic loading in aero-grinding applications.

Autoři: Mu, Zixin Cai, Zhenhua Zeng, Chunnian a další

Zdroj: Industrial Robot; 2022, Vol. 49 Issue 6, p1218-1228, 11p

Design and Implementation of a Data Preprocessing Automatic Assessment Module in Jupyter Notebook.

Autoři: HakNeung Go Hyunwoo Moon Youngjun Lee a další

Zdroj: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 6, p1922-1927, 6p

Témata: HIGH school teachers, PROGRAMMING languages, LEARNING, ONLINE education, EDUCATIONAL outcomes

Automatic generation of BIM-based construction schedule: combining an ontology constraint rule and a genetic algorithm.

Autoři: Wu, Zhijiang Ma, Guofeng

Zdroj: Engineering Construction & Architectural Management (09699988); 2023, Vol. 30 Issue 10, p5253-5279, 27p

Témata: ONTOLOGIES (Information retrieval), GENETIC algorithms, BUILDING information modeling, PRODUCTION scheduling, ONTOLOGY, WORKING hours

Insight Thoughts for Intelligent Traffic Management-Based SDN.

Alternate Title: افكار ثاقبة في ادارة المرور الذكية للشبكات المعرفة برمجياً. (Arabic)

Autoři: Jawad, Sara Sadiq Kadhim, Dheyaa Jasim Bt Jusoh, Yusmadi Yah

Zdroj: Journal of Engineering (17264073); Jul2025, Vol. 31 Issue 7, p1-34, 34p

Témata: REINFORCEMENT learning, DEEP reinforcement learning, ARTIFICIAL intelligence, SOFTWARE-defined networking, MACHINE learning

Empirical Hardness Models: Methodology and a Case Study on Combinatorial Auctions

Autoři: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf.

Témata: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Graph and tree search strategies, Heuristic methods, I.2.6 [Artificial Intelligence, Learning General Terms, Design, Economics, Experimentation, Measurement, Performance Additional Key Words and Phrases, Empirical Analysis of Algorithms, Algorithm Portfolios, Combinatorial Auctions, Runtime Prediction

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5960; http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5960
http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf

Automation of Language Sample Analysis.

Autoři: Houjun Liu MacWhinney, Brian Fromm, Davida a další

Zdroj: Journal of Speech, Language & Hearing Research; Jul2023, Vol. 66 Issue 7, p2421-2433, 13p, 1 Chart, 1 Graph

Témata: COMPUTER software, SPEECH therapy, PHONOLOGICAL awareness, SPEECH evaluation, AUTOMATIC speech recognition, ACQUISITION of data, ARTICULATION disorders, AUTOMATION