Suchergebnisse - (automatizace OR automation) programming— program synthesis general terms design~

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

Autoren: Saber, Takfarinas Tao, Ning

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

Schlagwörter: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

Autoren: Shaout, Adnan Ditty, Javid Carr, Kyle

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

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

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

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

Schlagwörter: 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

Autoren: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Schlagworte: 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 in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Autoren: Grivas, Gerasimos V. Safari, Kousar

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

Smartsynth: Synthesizing smartphone automation scripts from natural language

Autoren: Vu Le Sumit Gulwani Zhendong Su et al.

Weitere Verfasser: Vu Le Sumit Gulwani Zhendong Su et al.

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

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

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

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

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

How fast can you invent a medicine?

Autoren: Ashkar, Shireen R. Cernak, Tim

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

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

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

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

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

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

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

Schlagwörter: EMPIRICAL research, RESEARCH personnel

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

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

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

Schlagwörter: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development

Geografische Kategorien: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE

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

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

Quelle: 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)

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

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

Schlagwörter: DRUG design, DRUG discovery, BIOINFORMATICS, PATIENT safety, MOLECULAR docking, DRUG target, PHARMACOLOGY, MATHEMATICAL optimization

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

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

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

Algorithmic program synthesis: introduction.

Autoren: Bodik, Rastislav Jobstmann, Barbara

Quelle: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p397-411, 15p

Schlagwörter: ALGOL (Computer program language), COMPUTER programming, SPECTRAL synthesis (Mathematics), SYSTEMS design, COMPUTER software correctness, COMPUTER networks

Abstracts of the 20th Annual Conference of the German Society for Epidemiology (DGEpi) 2025, 23 – 26 September 2025, Münster.

Quelle: Public Health Forum; 2025, Vol. 33 Issue 1, p1-575, 575p

Schlagwörter: EPIDEMIOLOGY, EPIDEMIOLOGICAL research, HEALTH programs, AIR pollution, HEALTH status indicators, MAMMOGRAMS, ARTIFICIAL intelligence

Geografische Kategorien: MUNSTER (Germany : Regierungsbezirk), GERMANY

Enhancing multimodal interaction in resource-constrained environments: a case study on smart TV control.

Autoren: Bousba, Fadia Nouna Elouali, Nadia Benslimane, Sidi Mohammed

Quelle: Journal on Multimodal User Interfaces; Dec2025, Vol. 19 Issue 4, p375-389, 15p

A Bibliometric-Systematic Literature Review (B-SLR) of Machine Learning-Based Water Quality Prediction: Trends, Gaps, and Future Directions.

Autoren: Muñoz-Alegría, Jeimmy Adriana Núñez, Jorge Oyarzún, Ricardo et al.

Quelle: Water (20734441); Oct2025, Vol. 17 Issue 20, p2994, 36p

Schlagwörter: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis

Discovery, design, and engineering of enzymes based on molecular retrobiosynthesis.

Autoren: Chen, Ancheng Peng, Xiangda Shen, Tao et al.

Quelle: mLife; Apr2025, Vol. 4 Issue 2, p107-125, 19p

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

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

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

Schlagwörter: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks