Výsledky vyhledávání - (automation OR automatizacii) programming— program synthesis general terms algorithms~

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

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.

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

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.

Exploring the Landscape of Operating Room Scheduling: A Bibliometric Analysis of Recent Advancements and Future Prospects.

Autoři: Amin, Md Al Hadid, Majed Elomri, Adel a další

Zdroj: Biomedical Engineering & Computational Biology; 8/16/2025, p1-16, 16p

Témata: OPERATING rooms, VALUE-based healthcare, HEURISTIC algorithms, SCHOLARLY method, SURGERY practice, HOSPITAL administration, BIBLIOMETRICS

From Integer Programming to Machine Learning: A Technical Review on Solving University Timetabling Problems.

Autoři: Gu, Xin Krish, Muralee Sohail, Shaleeza a další

Zdroj: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p

Témata: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

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

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

Algorithmic program synthesis: introduction.

Autoři: Bodik, Rastislav Jobstmann, Barbara

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

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

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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

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

Autoři: Bach, Bao Gia Kundu, Akash Acharya, Tamal a další

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

Témata: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

Template-based program verification and program synthesis.

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

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

Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code.

Autoři: Michaud, Eric J. Liao, Isaac Lad, Vedang a další

Zdroj: Entropy; Dec2024, Vol. 26 Issue 12, p1046, 32p

Témata: LANGUAGE models, AUTOENCODERS, FINITE state machines, GENERATIVE pre-trained transformers, ARTIFICIAL intelligence

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Autoři: Manuel V Hermenegildo Pedro Lopez-Garcia

Resource Type: eBook.

Témata: Computer science, Compilers (Computer programs), Computer programming, Software engineering, Machine theory, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

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

Smartsynth: Synthesizing smartphone automation scripts from natural language

Autoři: Vu Le Sumit Gulwani Zhendong Su a další

Přispěvatelé: Vu Le Sumit Gulwani Zhendong Su a další

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

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

Popis souboru: application/pdf

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

Dostupnost: 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

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

Autoři: Morales Matamoros, Oswaldo Takeo Nava, José Guillermo Moreno Escobar, Jesús Jaime a další

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

Témata: MACHINE learning, ARTIFICIAL neural networks, NEURAL computers, ARTIFICIAL intelligence, CONVOLUTIONAL neural networks

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

A Flexible and General-Purpose Platform for Heterogeneous Computing.

Autoři: Garcia-Hernandez, Jose Juan Morales-Sandoval, Miguel Elizondo-Rodríguez, Erick

Zdroj: Computation; May2023, Vol. 11 Issue 5, p97, 15p

Témata: DEEP learning, COMPUTING platforms, HETEROGENEOUS computing, BIG data, DATA science