Výsledky vyhľadávania - automation programming— program synthesis general terms design~

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

Autori: Saber, Takfarinas Tao, Ning

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

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

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

Autori: Shaout, Adnan Ditty, Javid Carr, Kyle

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

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

Autori: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang a ďalší

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

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

Smartsynth: Synthesizing smartphone automation scripts from natural language

Autori: Vu Le Sumit Gulwani Zhendong Su a ďalší

Prispievatelia: Vu Le Sumit Gulwani Zhendong Su a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

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

Autori: Isil Dillig Serdar Tasiran

Typ zdroja: eBook.

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

Kategórie: 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.

Autori: Grivas, Gerasimos V. Safari, Kousar

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

Autori: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a ďalší

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

How fast can you invent a medicine?

Autori: Ashkar, Shireen R. Cernak, Tim

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

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

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

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

Predmety: EMPIRICAL research, RESEARCH personnel

Algorithmic program synthesis: introduction.

Autori: Bodik, Rastislav Jobstmann, Barbara

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

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

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

Autori: Johannsmeier, Lars Schneider, Samuel Li, Yanan a ďalší

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

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

Autori: Dai, Yongyu Huang, Zhengwei Khan, Naveed a ďalší

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

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

Geografický termín: SHENZHEN (Guangdong Sheng, China : East), SINGAPORE

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

Autori: Shaikh, Muneer Ahmed Khuhro, Mansoor Ahmed Shaikh, Sarmad Ahmed a ďalší

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

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

Autori: Knoll, Sebastian Steinberger, Martin Kuchler, Lisa a ďalší

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

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)

Autori: Oraibi, Amjad I. Zheoat, Ahmed Mohammed Sameer, Hayder Naji a ďalší

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

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

Template-based program verification and program synthesis.

Autori: Srivastava, Saurabh Gulwani, Sumit Foster, Jeffrey S.

Zdroj: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p497-518, 22p

Predmety: DESIGN templates, COMPUTER software, SPECTRAL synthesis (Mathematics), AUTOMATION, SEARCH algorithms, COMPUTER network resources

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

Autori: Morales Matamoros, Oswaldo Takeo Nava, José Guillermo Moreno Escobar, Jesús Jaime a ďalší

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

Predmety: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks

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

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

Predmety: EPIDEMIOLOGY, EPIDEMIOLOGICAL research, HEALTH programs, AIR pollution, HEALTH status indicators, MAMMOGRAMS, ARTIFICIAL intelligence

Geografický termín: MUNSTER (Germany : Regierungsbezirk), GERMANY

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

Autori: Chen, Ancheng Peng, Xiangda Shen, Tao a ďalší

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

Toward Building a Functional Image of the Design Object in CAD.

Autori: Shevel, Vladimir Kritskiy, Dmitriy Popov, Oleksii

Zdroj: Computation; Aug2022, Vol. 10 Issue 8, p134, 23p

Predmety: ENGINEERING systems, SYSTEMS engineering, ENGINEERING design, DESIGN