Výsledky vyhledávání - (automatizace OR automation) programming – program synthesis general terms algorithms

Upřesnit hledání
  1. 1

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    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.

    Plný text ve formátu HTML Plný text ve formátu PDF
    Přidat do oblíbených
  5. 5

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    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.

    Plný text ve formátu HTML Plný text ve formátu PDF
    Přidat do oblíbených
  8. 8

    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

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    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

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  12. 12

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    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

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    Recent advancement of metaheuristic optimization algorithms-based learning for breast cancer diagnosis: a review.

    Autoři: Awotwe, Samuel Dufera, Amanuel Tafese Yi, Wenhui

    Zdroj: Memetic Computing; Sep2025, Vol. 17 Issue 3, p1-22, 22p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    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

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    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

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  18. 18

    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

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    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

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

    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

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených

Vyhledávací nástroje: