Zobrazeno 1 - 10
of 2 417
pro vyhledávání: '"Program synthesis"'
Autor:
Sihyung Lee, Seung Yeob Nam
Publikováno v:
IEEE Access, Vol 12, Pp 43027-43038 (2024)
Grover’s algorithm harnesses the power of quantum computing to swiftly locate specific elements in an unstructured database, outperforming classical computers in tasks like database searching. This algorithm capitalizes on the unique ability of qub
Externí odkaz:
https://doaj.org/article/32b840c817d44d5f9769ac301cfa325b
Publikováno v:
Tongxin xuebao, Vol 44, Pp 249-259 (2023)
In order to address the issue of rapid growth of program space in SQUARES, which led to low efficiency in program synthesis, a program space reducer based on deep neural network (DNN) was introduced into the SQUARES framework.A given ＆lt;Queried ta
Externí odkaz:
https://doaj.org/article/378cde62a56040e899e7a606e1119f6e
Publikováno v:
Algorithms, Vol 17, Iss 7, p 287 (2024)
The ability to automatically generate code, i.e., program synthesis, is one of the most important applications of artificial intelligence (AI). Currently, two AI techniques are leading the way: large language models (LLMs) and genetic programming (GP
Externí odkaz:
https://doaj.org/article/7e065a01e18a45da971851f443c77ed9
Publikováno v:
Mathematics, Vol 12, Iss 6, p 916 (2024)
Inductive Logic Programming (ILP) is a research field at the intersection between machine learning and logic programming, focusing on developing a formal framework for inductively learning relational descriptions in the form of logic programs from ex
Externí odkaz:
https://doaj.org/article/de4373cfda9d44c281802e9d40792d6c
Publikováno v:
IEEE Access, Vol 11, Pp 76388-76402 (2023)
There is an increasing interest in the area of quantum computing but developing quantum algorithms is difficult. Neural Network augmented search algorithms have proven quite successful for general search problems (like program generation) but current
Externí odkaz:
https://doaj.org/article/6f569a183867467d8b3456b71e148a48
Publikováno v:
IEEE Access, Vol 11, Pp 62394-62408 (2023)
Fault-tolerant algorithms, such as Reliable Broadcast, assure the correct operation of modern distributed systems, even when some of the system nodes fail. However, the development of distributed algorithms is a manual and complex process, where slig
Externí odkaz:
https://doaj.org/article/24b002d3d3a04e52988e0a825421174e
Autor:
Sihyung Lee, Seung Yeob Nam
Publikováno v:
IEEE Access, Vol 11, Pp 25755-25767 (2023)
Programming for quantum computers is complicated and time-consuming, because quantum operations are counterintuitive and their combined effects are difficult to understand. Existing tools allow automatic synthesis of quantum programs, which releases
Externí odkaz:
https://doaj.org/article/8ae24ee38a8543b7a5142af3f0b63056
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
YAN Qian-yu, LI Yi, PENG Xin
Publikováno v:
Jisuanji kexue, Vol 49, Iss 11, Pp 1-7 (2022)
Program synthesis means that the computer automatically constructs code that conforms to the specified grammar and user’s given specifications.Programming by examples is a kind of paradigm in program synthesis that takes input and output examples a
Externí odkaz:
https://doaj.org/article/dca31f5e4c004dfd9cc573caa4848e68
Publikováno v:
Machine Learning: Science and Technology, Vol 5, Iss 2, p 025029 (2024)
Despite rapid progress in the field, it is still challenging to discover new ways to leverage quantum computation: all quantum algorithms must be designed by hand, and quantum mechanics is notoriously counterintuitive. In this paper, we study how art
Externí odkaz:
https://doaj.org/article/14b1a4b8064a4856a84b5fedd4270e72