Search Results - automatic (Programming—automatic OR Programming—automation) analysis of algorithms*

ALGORITHMS OF THE AUTOMATIC DIGITAL ANALYSIS OF VEGETABLE SEEDS QUALITY

Authors: F. В. Musaev М. S. Antoshkina A. V. Soldatenko et al.

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

Subject Terms: seeds, x-ray analysis, x-ray image, digital analysis, plumpness of seeds, defects, protocol., Agriculture

File Description: electronic resource

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

Access URL: https://doaj.org/article/6f9b7228bb8b4a8dad867fa26fd1958d

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

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

Authors: Raichev, Ihor Denysenko, Nataliia

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

Subject Terms: 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.

Authors: Han, Tiantian Chu, Yonghe Liu, Fangzheng

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

Subject Terms: 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.

Authors: Kramer, Elena Lamberg, Dan Georgescu, Mircea et al.

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

Subject Terms: MATHEMATICS, COMPUTER science, CLUSTERING algorithms, DISCOURSE, PEDAGOGICAL content knowledge, ARTIFICIAL intelligence, DEEP learning, EDUCATIONAL resources

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

Authors: HakNeung Go Hyunwoo Moon Youngjun Lee et al.

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

Subject Terms: HIGH school teachers, PROGRAMMING languages, LEARNING, ONLINE education, EDUCATIONAL outcomes

Cost Analysis of Logic Programs

Authors: Saumya Debray Nai-wei Lin The Pennsylvania State University CiteSeerX Archives

Contributors: Saumya Debray Nai-wei Lin The Pennsylvania State University CiteSeerX Archives

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

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

File Description: 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

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

Insight Thoughts for Intelligent Traffic Management-Based SDN.

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

Authors: Jawad, Sara Sadiq Kadhim, Dheyaa Jasim Bt Jusoh, Yusmadi Yah

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

Subject Terms: REINFORCEMENT learning, DEEP reinforcement learning, ARTIFICIAL intelligence, SOFTWARE-defined networking, MACHINE learning

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

Authors: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Contributors: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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 . . .

Authors: Jürgen Giesl Matthias Raffelsieper Peter Schneider-Kamp et al.

Contributors: Jürgen Giesl Matthias Raffelsieper Peter Schneider-Kamp et al.

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

Subject Terms: 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

File Description: 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

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

Automation of Language Sample Analysis.

Authors: Houjun Liu MacWhinney, Brian Fromm, Davida et al.

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

Subject Terms: COMPUTER software, SPEECH therapy, PHONOLOGICAL awareness, SPEECH evaluation, AUTOMATIC speech recognition, ACQUISITION of data, ARTICULATION disorders, AUTOMATION

RESEARCH AND APPLICATION OF INFORMATION-ENERGY INDICATORS OF ANALOG TYPE ELECTROMAGNETIC TRANSMITTERS IN THE DIFFERENT INDUSTRY FIELDS.

Authors: Javanshir, Mammadov Nikolov, Nikola Shafagat, Mammadova et al.

Source: EUREKA: Physics & Engineering; 2025, Issue 3, p62-75, 14p

Subject Terms: FLEXIBLE manufacturing systems, PROCESS control systems, AUTOMATIC control systems, MANUFACTURING processes, MECHANICAL engineering, INDUSTRIAL robots

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

Authors: Ma, Chao Y. Wang, Xue Z.

Source: Computers & Chemical Engineering. Oct2009, Vol. 33 Issue 10, p1602-1616. 15p.

Subject Terms: *DATA mining, *GENETIC programming, *DECISION trees, *DATA analysis, *ELECTRONIC data processing, *ALGORITHMS, *MATHEMATICS literature

Machine Learning & Automations.

Authors: Thakare, Shailesh R. Sharma, Vikram S. Gulhane, Amar V.

Source: International Research Journal of Innovations in Engineering & Technology; Dec2023, Vol. 7 Issue 12, p51-54, 4p

Subject Terms: MACHINE learning, AUTOMATION, DATA science, ALGORITHMS, DEEP learning

Static caching for incremental computation

Authors: Yanhong A. Liu Scott D. Stoller Tim Teitelbaum et al.

Contributors: Yanhong A. Liu Scott D. Stoller Tim Teitelbaum et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

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

Authors: Wu, Zhijiang Ma, Guofeng

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

Subject Terms: ONTOLOGIES (Information retrieval), GENETIC algorithms, BUILDING information modeling, PRODUCTION scheduling, ONTOLOGY, WORKING hours

Design and Implementation of a Programming Automatic Assessment System in Jupyter Notebook.

Authors: HakNeung Go Seong-Won Kim Youngjun Lee

Source: International Journal on Advanced Science, Engineering & Information Technology; 2023, Vol. 13 Issue 3, p1080-1086, 7p

Subject Terms: LEARNING management system, NOTEBOOKS, ELECTRONIC textbooks, INTERACTIVE learning, MEDICAL informatics, TEACHING aids, TEXTBOOKS

Eta-expansion does the Trick

Authors: Olivier Danvy Karoline Malmkjær Jens Palsberg et al.

Contributors: Olivier Danvy Karoline Malmkjær Jens Palsberg et al.

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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.

Authors: Tan Peng Fei Li Yan Heng Zhang Chang Yun

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

Subject Terms: Programming languages, Windows (Graphical user interfaces), Computer programming, Electronic data processing, Algorithms

Automated programming approaches to enhance computer-aided translation accuracy.

Authors: Zhao, Tao Alias, Mazni Binti

Source: PeerJ Computer Science; Nov2024, p1-17, 17p

Subject Terms: GRAPH neural networks, INFORMATION technology, COMPUTERS, MACHINE translating, DEEP learning, ENGLISH language

Transportation scheduling for modules used in modular integrated construction.

Authors: Huiwen Wang Liang Liao Wen Yi et al.

Source: International Journal of Production Research; 2024, Vol. 62 Issue 11, p3918-3931, 14p

Subject Terms: MODULAR construction, TRANSPORTATION schedules, MATHEMATICAL programming, INTEGER programming, TRANSPORTATION costs

Geographic Terms: HONG Kong (China)