Search Results - ((automatizace OR automatizacia) OR automation) programming— program synthesis general terms design

Review and Mapping of Search-Based Approaches for Program Synthesis.

Authors: Saber, Takfarinas Tao, Ning

Source: Information; May2025, Vol. 16 Issue 5, p401, 28p

Subject Terms: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

The Role of Interactive Program Synthesis in the Future of Software Development.

Authors: Shaout, Adnan Ditty, Javid Carr, Kyle

Source: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Authors: Grivas, Gerasimos V. Safari, Kousar

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Authors: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model.

Authors: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang et al.

Source: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p

Subject Terms: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Artificial Intelligence for Quality Defects in the Automotive Industry: A Systemic Review.

Authors: Morales Matamoros, Oswaldo Takeo Nava, José Guillermo Moreno Escobar, Jesús Jaime et al.

Source: Sensors (14248220); Mar2025, Vol. 25 Issue 5, p1288, 39p

Subject Terms: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks

How fast can you invent a medicine?

Authors: Ashkar, Shireen R. Cernak, Tim

Source: Medicinal Chemistry Research; Dec2025, Vol. 34 Issue 12, p2365-2371, 7p

Smartsynth: Synthesizing smartphone automation scripts from natural language

Authors: Vu Le Sumit Gulwani Zhendong Su et al.

Contributors: Vu Le Sumit Gulwani Zhendong Su et al.

Source: http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.pdf.

Subject Terms: General Terms Algorithms, Design, Languages, Human Factors Keywords Program synthesis, natural language processing, smartphone, automation

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4380
http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.pdf

3D Printed EM Lens Focusing Antenna Design for Location-Based Services in 5G/6G Systems: Complexity Reduction and Performance Improvement.

Authors: Shaikh, Muneer Ahmed Khuhro, Mansoor Ahmed Shaikh, Sarmad Ahmed et al.

Source: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 12, p142-153, 12p

Smart Water Management: Governance Innovation, Technological Integration, and Policy Pathways Toward Economic and Ecological Sustainability.

Authors: Dai, Yongyu Huang, Zhengwei Khan, Naveed et al.

Source: Water (20734441); Jul2025, Vol. 17 Issue 13, p1932, 22p

Subject Terms: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development

Geographic Terms: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE

A process-centric manipulation taxonomy for the organization, classification and synthesis of tactile robot skills.

Authors: Johannsmeier, Lars Schneider, Samuel Li, Yanan et al.

Source: Nature Machine Intelligence; Jun2025, Vol. 7 Issue 6, p916-927, 12p

Drug design and discovery with bioinformatics tools.

Alternate Title: Diseño y descubrimiento de fármacos con herramientas bioinformáticas. (Spanish)
Projeto e descoberta de fármacos com ferramentas de bioinformática. (Portuguese)

Authors: Oraibi, Amjad I. Zheoat, Ahmed Mohammed Sameer, Hayder Naji et al.

Source: Revista Colombiana de Ciencias Químico-Farmacéuticas; 2025, Vol. 54 Issue 3, p621-642, 22p

Subject Terms: DRUG design, DRUG discovery, BIOINFORMATICS, PATIENT safety, MOLECULAR docking, DRUG target, PHARMACOLOGY, MATHEMATICAL optimization

Program synthesis: challenges and opportunities.

Authors: David, Cristina Kroening, Daniel

Source: Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences; 10/13/2017, Vol. 375 Issue 2104, p1-20, 20p

Subject Terms: COMPUTER programming, COMPUTER systems, SOFTWARE engineering

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Authors: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Source: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p

Subject Terms: EMPIRICAL research, RESEARCH personnel

Scheduling Optimization of a Compact End-to-End Pharmaceutical Manufacturing Line: Design and Experimental Evaluation.

Authors: Knoll, Sebastian Steinberger, Martin Kuchler, Lisa et al.

Source: Journal of Pharmaceutical Innovation; Apr2025, Vol. 20 Issue 2, p1-21, 21p

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Authors: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Subjects: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Handbook of Digital 3D Reconstruction of Historical Architecture

Authors: Sander Münster Fabrizio Ivan Apollonio Ina Bluemel et al.

Resource Type: eBook.

Subjects: Three-dimensional imaging in architecture--Handbooks, manuals, etc, Historic buildings--Reconstruction--Computer programs--Handbooks, manuals, etc, Digital humanities

Categories: COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, ART / General, COMPUTERS / Image Processing, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, SOCIAL SCIENCE / Archaeology

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

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

Symbiotic Intelligence

Authors: Hua Chai Ding Wen Nic Bao Zhe Guo et al.

Resource Type: eBook.

Subjects: Automation--Congresses, Artificial intelligence--Engineering applications--Congresses, Robotics--Congresses, Computer-aided engineering--Congresses, Computer-aided engineering, Architectural design--Data processing--Congresses, Artificial intelligence

Categories: TECHNOLOGY & ENGINEERING / Civil / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Design, Graphics & Media / CAD-CAM