20 papers · ranked by Valyu relevance
Kehao Mao, Baokun Hu, Ruixin Lin, Zewen Li + 2 more
Automated programming has become a powerful tool for solving real-world problems. Code generation, in particular, plays a key role in improving developer productivity and reducing the entry barrier to software development. Recent advances in large language models (LLMs) have significantly improved program synthesis…
Jan Mendling, Henrik Leopold, Henning Meyerhenke, Benoît Depaire
Research on algorithms has drastically increased in recent years. Various sub-disciplines of computer science investigate algorithms according to different objectives and standards. This plurality of the field has led to various methodological advances that have not yet been transferred to neighboring sub-disciplines.…
Michel Adam, Patrice Frison, Sabine Letellier Zarshenas, Moncef Daoud
Program construction in imperative languages remains largely based on writing textual code that specifies sequences of instructions operating on program data. This approach requires developers to anticipate the effects of instructions on evolving data states, which increases cognitive load and the likelihood of errors…
Ali Arya
| 3 | Table of Content | | --- | --- | | Preface 8 | | | Notes 10 | | | 10 | Code Examples | | Signage and Numbering 11 | | | 12 | Chapter 1: Introduction | | 12 | 1.1. At the Restaurant | | 15 | 1.2. Algorithms | | 1.3. Programs 17 | | | 1.4. Programming and Algorithmic Thinking 21 | | | 25 | 1.5. Modularization | |…
Greg Wilson, Francis Ouellette
While the final design should be leveled, the process used to create it almost certainly won’t be. Studies of expert designers have found that they constantly drill down from high-level ideas to concrete implications to find out whether their plan will work or not . Replacing a low-level test with a function as shown…
Parth Chansoria, Dominic Rütsche, Anny Wang, Hao Liu + 7 more
Accelerating the designing and manufacturing of complex shapes has been a driving factor of modern industrialization. This has led to numerous advances in computational design and modeling and novel additive manufacturing (AM) techniques that can create complex shapes for bespoke applications. By combining a new…
Michel Adam, Patrice Frison, Moncef Daoud, Sabine Letellier Zarshenas
The use of applications on computers, smartphones, and tablets has been considerably simplified thanks to interactive and dynamic graphical interfaces coupled with the mouse and touch screens. It is no longer necessary to be a computer specialist to use them. Paradoxically, the development of computer programs…
Adithya Kulkarni, Mohna Chakraborty, Yonas Sium, Sai Charishma Valluri + 2 more
'Sai Charishma Valluri' 'Wei Le' 'Qi Li'] In this paper, we explore the feasibility of finding algorithm implementations from code. Successfully matching code and algorithms can help understand unknown code, provide reference implementations, and automatically collect data for learning-based program synthesis [21]. To…
Timothy H. Lehmann
The aim of this study is to examine how algorithmatizing tasks engage mathematics students in algorithmic thinking. Structured, task-based interviews were conducted with eight Year 12 students as they completed a sequence of algorithmatizing tasks involving maximum flow problems. A deductive-inductive analytical…
Tiasa Mondol, Daniel G. Brown, Ercan Kuruoglu
We build an analysis based on the Algorithmic Information Theory of computational creativity and extend it to revisit computational aesthetics, thereby, improving on the existing efforts of its formulation. We discuss Kolmogorov complexity, models and randomness deficiency (which is a measure of how much a model falls…
Authors not listed
Bayesian optimization (BO) has become increasingly important for experimental optimization across scientific domains, yet implementing BO pipelines requires significant programming expertise and familiarity with specialized frameworks. This creates a barrier for domain experts who could benefit from BO but lack the…
Yun-Fei Liu, Marina Bedny
Programming is a cornerstone of modern society, yet its cognitive and neural basis remains poorly understood. In this study, we test the hypothesis that programming “recycles” pre-existing neural mechanisms and representations in fronto-parietal reasoning networks. Using fMRI, we scanned programming-naïve…
Authors not listed
While virtual libraries of synthetically accessible compounds have exploded in size to many billions, our capacity to extract valuable drug leads from these vast databases remains limited by computational resources. To overcome this, we developed SLICE SMARTS and Logic In ChEmistry), a powerful new tool designed for…
Ernestine Dickhaut, Mahei Manhai Li, Andreas Janson, Jan Marco Leimeister
Novel technologies such as smart personal assistants integrate digital services into everyday life. These services use personal data to offer personalized services. While they are subject to special data protection regulations at the time of development, there are few guidelines describing the transition from legal…
Aditi T. Merchant, Daniel Guo, Ben Viggiano, Lucas Brennan-Almaraz + 6 more
Programmable composition of complex systems is a longstanding goal of biological research. Generative modeling has improved the reliability of computational design, but existing methods are highly specialized and are difficult to extend or compose. Here, we introduce Proto, a high-level programming language for…
Authors not listed
The Hidden Subgroup Problem (HSP) unifies several landmark quantum algorithms, yet systematic exploration of its variants and modern applications has slowed. This paper revives HSP-based algorithm design by examining new group structures with direct relevance to post-quantum cryptography, lattice problems, and…
Authors not listed
Step-by-step thinking is essential in all domains of chemical sciences and engineering. While machine learning tools are broadly used, algorithms that automate reasoning are far less common. We elaborate on seven categories of human reasoning activities and connect each to applications in chemical science and…
Tristan Stérin, Abeer Eshra, Janet Adio, Constantine Glen Evans + 1 more
Like life, computers are out-of-equilibrium.^1,2^ Thermodynamically favoured error states are thwarted by energetically-costly processes such as kinetic proofreading of biological polymers, error-correcting codes in computer data storage, and redundancy in molecular programming. Decades of theoretical work shows that…
Joel Shor, Erik Strand, Cory Y. McLean
An outstanding open problem with high therapeutic value is how to design nucleic acid sequences with specific properties. Even just the 5’ UTR sequence admits 2 × 10^120^ possibilities, making exhaustive exploration impossible. Although the field has focused on developing high-quality predictive models, techniques for…
Frederick Starkey, Filippo Menolascina
Synthetic Biology aims to rationally engineer biological systems. Current methods often employ an initial human designed circuit topology and utilise iterative approaches, e.g. directed evolution, to fine-tune part function. This approach can be extremely time consuming and resource intensive whilst often reaching…