Výsledky vyhľadávania - (automatizace OR automation) programming— program synthesis general terms~

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

Synthesis of Interface Automata.

Autori: Peled, Doron A. Tsay, Yih-Kuen Bhaduri, Purandar

Zdroj: Automated Technology for Verification & Analysis. 2005, p338-353. 16p.

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

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.

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.

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

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

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

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Autori: Fred Mesnard Peter J. Stuckey

Typ zdroja: eBook.

Predmet: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

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

Handbook of Digital 3D Reconstruction of Historical Architecture

Autori: Sander Münster Fabrizio Ivan Apollonio Ina Bluemel a ďalší

Typ zdroja: eBook.

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

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

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

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Autori: Bach, Bao Gia Kundu, Akash Acharya, Tamal a ďalší

Zdroj: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Predmety: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

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

Autori: Muñoz-Alegría, Jeimmy Adriana Núñez, Jorge Oyarzún, Ricardo a ďalší

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

Predmety: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Program synthesis using abstraction refinement

Autori: Isil Dillig Xinyu Wang Rishabh Singh

Zdroj: Proceedings of the ACM on Programming Languages. 2:1-30

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, Programming Languages (cs.PL)

Prístupová URL adresa: http://dl.acm.org/ft_gateway.cfm?id=3158151&type=pdf
http://arxiv.org/abs/1710.07740

The Role of Smart Infrastructure in Residential Water Demand Management: A Global Survey.

Autori: Alzahrani, Ateyah Alogla, Ageel Aljlil, Saad a ďalší

Zdroj: Water (20734441); Nov2025, Vol. 17 Issue 21, p3119, 43p

Predmety: WATER demand management, WATER conservation, INTERNET of things, GLOBAL studies, DIGITAL technology, WATER shortages, ARTIFICIAL intelligence, RESIDENTIAL water consumption