Search Results - ((automatic OR automatizacia) OR automation) programming— program synthesis

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks by 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…”
Get full text

Efficient Bottom-Up Synthesis for Programs with Local Variables by 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…”
Get full text

AUTOMATIC WAGON LOADING CONTROL SYSTEM USING INDUSTRY 4.0 TECHNOLOGIES by Mashianov, Danilo, Korshikov, Oleksii, Tkachenko, Oleg, Telychko, Hanna, Stupak, Glib

“… Research methods are grapho-combinatorial. Methodology: the research is justified by a logical synthesis based on the hardware of embedded control systems, programming in the language of functional blocks of the MEK61131-3 standard. Results…”
Get full text

Automatic synthesis of action programs for intelligent robots by Osipov, V. Yu

“…The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered…”
Get full text

Fast and Reliable Program Synthesis via User Interaction by Chen, Yanju, Wang, Chenglong, Wang, Xinyu, Bastani, Osbert, Feng, Yu

“…The performance of programming-by-example systems varies significantly across different tasks and even across different examples in one task…”
Get full text

Organic synthesis in a modular robotic system driven by a chemical programming language by 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…”
Get more information

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models by Cao, Jialun, Chen, Zhiyong, Wu, Jiarong, Cheung, Shing-Chi, Xu, Chang

“… First, imbalanced programming language. 95.8% of benchmarks involve Python, while only 5 benchmarks involve Java, resulting in an insufficient understanding of LLMs' capability to generate Java code…”
Get full text

Current challenges in automatic software repair by Le Goues, Claire, Forrest, Stephanie, Weimer, Westley

“… Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation and run-time monitoring, and sound…”
Get full text

Giotto: a time-triggered language for embedded programming by Henzinger, T.A., Horowitz, B., Kirsch, C.M.

“… The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program…”
Get full text

Convex Optimization for Parameter Synthesis in MDPs by 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…”
Get full text

A parameterized automatic programming solution for composite grinding based on digital image processing by Shen, Nanyan, Zhao, Chen, Li, Jing, Xu, Yingjie, Wu, Yang, Deng, Zongqian

“…In this paper, a parameterized automatic programming solution whose advantage depends on the automatic feature recognition of digital image is proposed and applied to the development of automatic…”
Get full text

Transforming natural language into code: advancing automated code synthesis for software development by 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…”
Get full text

Control synthesis for polynomial discrete-time systems under input constraints via delayed-state Lyapunov functions by Pitarch, J.L., Sala, A., Lauber, J., Guerra, T.M.

“… Sum-of-squares techniques and available semi-definite programming (SDP) software are used in order to find the controller…”
Get full text

MerIt: improving neural program synthesis by merging collective intelligence by 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…”
Get full text

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming by 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…”
Get full text

Sub-optimal recursively feasible Linear Parameter-Varying predictive algorithm for semi-active suspension control by Morato, Marcelo Menezes, Normey-Rico, Julio Elias, Sename, Olivier

“… Assuming bounds on the variation rates of the qLPV scheduling parameters, the method enables a replacement of the original complex non-linear optimisation by a much simpler quadratic program (QP…”
Get full text

Time-Optimal Path Tracking for Robots: A Convex Optimization Approach by Verscheure, D., Demeulenaere, B., Swevers, J., De Schutter, J., Diehl, M.

“… A direct transcription method is presented that reduces finding the globally optimal trajectory to solving a second-order cone program using robust numerical algorithms that are freely available…”
Get full text

Safety first: a two-stage algorithm for the synthesis of reactive systems by Sohail, Saqib, Somenzi, Fabio

“…In the game-theoretic approach to the synthesis of reactive systems, specifications are often expressed as ω -regular languages…”
Get full text

Stabilization of Continuous-Time Fractional Positive Systems by Using a Lyapunov Function by Benzaouia, Abdellah, Hmamed, Abdelaziz, Mesquine, Fouad, Benhayoun, Mohamed, Tadeo, Fernando

“… The obtained results are based on a direct Lyapunov function. In particular, the synthesis of state-feedback controllers is obtained by giving conditions in terms of Linear Programs…”
Get full text

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing by 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…”
Get full text