Suchergebnisse - (automatizace OR automation) programming— program synthesis

Organic synthesis in a modular robotic system driven by a chemical programming language von Steiner, Sebastian, Wolf, Jakob, Glatzel, Stefan, Andreou, Anna, Granda, Jarosław M, Keenan, Graham, Hinkley, Trevor, Aragon-Camarasa, Gerardo, Kitson, Philip J, Angelone, Davide, Cronin, Leroy

“… The synthesis of complex organic compounds is largely a manual process that is often incompletely documented …”
Weitere Angaben

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming von Tao, Ning, Ventresque, Anthony, Nallur, Vivek, Saber, Takfarinas

“… —each with its strengths and weaknesses. While LLMs have shown success in program synthesis from a task description, they often struggle to generate the correct code due to ambiguity in task specifications, complex programming syntax …”
Volltext

Optimal Layout Synthesis for Quantum Computing von Tan, Bochen, Cong, Jason

“… However, the available quantum computers are still volatile and error-prone. Thus, layout synthesis, which transforms quantum programs to meet these hardware limitations, is a crucial step in the realization of quantum computing …”
Volltext

Program sketching von Solar-Lezama, Armando

“… Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem …”
Volltext

Bounded synthesis von Finkbeiner, Bernd, Schewe, Sven

“… A fundamental challenge in the synthesis of reactive systems is the size of the search space …”
Volltext

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming von Chakraborty, Saikat, Ebner, Gabriel, Bhat, Siddharth, Fakhoury, Sarah, Fatima, Sakina, Lahiri, Shuvendu, Swamy, Nikhil

“… Our dataset includes around 32K top-level F* definitions, each representing a type-directed program and proof synthesis problem-producing a definition given a formal specification expressed as an F* type …”
Volltext

Overfitting in semantics-based automated program repair von Le, Xuan Bach D., Thung, Ferdian, Lo, David, Goues, Claire Le

“… to extract semantic constraints, and uses program synthesis to synthesize repairs that satisfy the extracted constraints …”
Volltext

Efficient Bottom-Up Synthesis for Programs with Local Variables von Li, Xiang, Zhou, Xiangyu, Dong, Rui, Zhang, Yihong, Wang, Xinyu

“… We propose a new synthesis algorithm that can efficiently search programs with local variables (e.g …”
Volltext

Optimal control of unknown nonaffine nonlinear discrete-time systems based on adaptive dynamic programming von Wang, Ding, Liu, Derong, Wei, Qinglai, Zhao, Dongbin, Jin, Ning

“… The iterative adaptive dynamic programming algorithm is introduced to solve the optimal control problem with convergence analysis …”
Volltext

Transforming natural language into code: advancing automated code synthesis for software development von Al shboul, Bashar, Qaqour, Ali, Bani-Salameh, Hani, Almakadmeh, Khaled

“… Machine learning-based automatic code synthesis emerged as a key solution, with transformer-based models playing a pivotal role in enhancing this process …”
Volltext

Convex Optimization for Parameter Synthesis in MDPs von Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk

“… We formulate the parameter synthesis problem as a quadratically constrained quadratic program, which is nonconvex and is NP-hard to solve in general …”
Volltext

Review and Mapping of Search-Based Approaches for Program Synthesis von Saber, Takfarinas, Tao, Ning

“… However, the proliferation of search-based program synthesis tools utilising diverse search algorithms and input types and targeting various programming tasks can overwhelm users seeking the most suitable tool. Objective …”
Volltext

Algorithmic program synthesis: introduction von Bodik, Rastislav, Jobstmann, Barbara

“… Program synthesis is a process of producing an executable program from a specification …”
Volltext

MerIt: improving neural program synthesis by merging collective intelligence von Zhang, Yating, Wang, Daiyan, Dong, Wei

“… Program synthesis is the task of automatically generating programs from user intent, which is one of the central problems in automated software engineering …”
Volltext

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing von Ramírez-Rueda, Rolando, Benítez-Guerrero, Edgard, Mezura-Godoy, Carmen, Bárcenas, Everardo

“… Program synthesis is the process of automatically generating software from a requirement specification …”
Volltext

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks von Beal, Jacob, Lu, Ting, Weiss, Ron

“… Recent advances in DNA synthesis and automated DNA assembly technologies suggest that it is now possible to construct synthetic systems of significant complexity …”
Volltext

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming von Diveev, Askhat I., Shmalko, Elizaveta Y.

“… A numerical solution of the problem of the general synthesis of a stabilization system by a symbolic regression method is considered …”
Volltext

Fuzzy model‐based multi‐objective dynamic programming with modified particle swarm optimization approach for the balance control of bicycle robot von Sun, Yiyong, Zhao, Haotian, Chen, Zhang, Zheng, Xudong, Zhao, Mingguo, Liang, Bin

“… Existing studies for the balance control of unmanned bicycle robots only consider constant forward velocity and a single optimal objective that cannot be …”
Volltext

Neural-Network-Based Optimal Control for a Class of Unknown Discrete-Time Nonlinear Systems Using Globalized Dual Heuristic Programming von Liu, Derong, Wang, Ding, Zhao, Dongbin, Wei, Qinglai, Jin, Ning

“… The iterative adaptive dynamic programming algorithm using globalized dual heuristic programming technique is introduced to obtain the optimal controller with convergence analysis in terms of cost …”
Volltext

Re-Factoring Based Program Repair Applied to Programming Assignments von Hu, Yang, Ahmed, Umair Z., Mechtaev, Sergey, Leong, Ben, Roychoudhury, Abhik

“… Automated program repair has been used to provide feedback for incorrect student programming assignments, since program repair captures the code modification needed to make a given buggy program pass a given test-suite …”
Volltext