Výsledky vyhledávání - automation programming— program synthesis general terms performance

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

Autoři: Saber, Takfarinas Tao, Ning

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

Témata: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

Autoři: 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.

Autoři: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang a další

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

Témata: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

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

Autoři: Grivas, Gerasimos V. Safari, Kousar

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

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

Autoři: Johannsmeier, Lars Schneider, Samuel Li, Yanan a další

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.

Autoři: Dai, Yongyu Huang, Zhengwei Khan, Naveed a další

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

Témata: SUSTAINABILITY, DIGITAL technology, POLICY analysis, AQUATIC resource management, TECHNOLOGY convergence, SUSTAINABLE development

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

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

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

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

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

Autoři: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

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

Témata: EMPIRICAL research, RESEARCH personnel

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

Autoři: Shaikh, Muneer Ahmed Khuhro, Mansoor Ahmed Shaikh, Sarmad Ahmed a další

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

How fast can you invent a medicine?

Autoři: Ashkar, Shireen R. Cernak, Tim

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

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

Autoři: Bousba, Fadia Nouna Elouali, Nadia Benslimane, Sidi Mohammed

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

Human Performance in Deepfake Detection: A Systematic Review.

Autoři: Somoray, Klaire Miller, Dan J. Holmes, Mary a další

Zdroj: Human Behavior & Emerging Technologies; 8/3/2025, Vol. 2025, p1-15, 15p

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

Témata: EPIDEMIOLOGY, EPIDEMIOLOGICAL research, HEALTH programs, AIR pollution, HEALTH status indicators, MAMMOGRAMS, ARTIFICIAL intelligence

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

Synthesis of High-Performance Parallel Programs for a Class of Ab Initio Quantum Chemistry Models.

Autoři: Baumgartner, Gerald Auer, Alexander Bernholdt, David E. a další

Zdroj: Proceedings of the IEEE; Feb2005, Vol. 93 Issue 2, p276-292, 17p, 11 Diagrams, 3 Charts

Témata: COMPUTER programming, COMPUTER systems, HIGH performance computing, COMPUTER architecture, PROGRAM transformation, MATHEMATICAL optimization software

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

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: 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

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

Autoři: Muñoz-Alegría, Jeimmy Adriana Núñez, Jorge Oyarzún, Ricardo a další

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

Témata: MACHINE learning, GROUNDWATER quality, BIBLIOMETRICS, ENSEMBLE learning, CONTENT analysis, DEEP learning, TREND analysis

Early nutrition as a tool to improve the productive performance of broiler chickens.

Autoři: Abd El- Azeem, Nafisa A. Madkour, Mahmoud Hashem, Nesrein M. a další

Zdroj: World's Poultry Science Journal. Mar2024, Vol. 80 Issue 1, p171-185. 15p.

Program synthesis using abstraction refinement

Autoři: Isil Dillig Xinyu Wang Rishabh Singh

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

Témata: 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)

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

Learning from models beyond fine-tuning.

Autoři: Zheng, Hongling Shen, Li Tang, Anke a další

Zdroj: Nature Machine Intelligence; Jan2025, Vol. 7 Issue 1, p6-17, 12p

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

Autoři: Alzahrani, Ateyah Alogla, Ageel Aljlil, Saad a další

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

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