21 papers · ranked by Valyu relevance
Ahmad Ayaz Amin
Many tasks can be easily solved using machine learning techniques. However, some tasks cannot readily be solved using statistical models, requiring a symbolic approach instead. Program induction is one of the ways that such tasks can be solved by means of capturing an interpretable and generalizable algorithm through…
Hanqi Zhou, Dávid Nagy, Charley M. Wu
Many aspects of human learning have been proposed as a process of constructing mental programs: from acquiring symbolic number representations to intuitive theories about the world. In parallel, there is a long-tradition of using information processing to model human cognition through Rate Distortion Theory (RDT). Yet…
Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew Hausknecht + 1 more
'Pushmeet Kohli'] Most recently proposed methods for Neural Program Induction work under the assumption of having a large set of input/output (I/O) examples for learning any underlying input-output mapping. This paper aims to address the problem of data and computation efficiency of program induction by leveraging…
Shraddha Surana, Ashwin Srinivasan
We are interested in the construction of software that can act as scientific assistants to domain specialists. It is expected that such assistants will be needed to accelerate the identification of ways to address complex problems requiring urgent solutions. In this paper, our focus is not on a specific scientific…
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
We present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. Instead of inducting over individual loops, our technique inducts over the entire program (possibly containing multiple loops) directly via…
Joshua Rule, Eric Schulz, Steven T. Piantadosi, Joshua B. Tenenbaum
Humans master complex systems of interrelated concepts like mathematics and natural language. Previous work suggests learning these systems relies on iteratively and directly revising a language-like conceptual representation. We introduce and assess a novel concept learning paradigm called Martha’s Magical Machines…
Benjamin Pitt, Elena Leib, David O’Shaughnessy, Charlene Gallardo + 2 more
Humans are unique in our ability to acquire diverse skills and inhabit myriad environments, but the cognitive mechanisms underlying such fast, flexible learning remain unresolved. Inspired by theories of artificial intelligence, here we show evidence for one such learning mechanism - program induction - in US American…
John Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow
Programming by Example (PBE) is the task of inducing computer programs from input-output examples. It can be seen as a type of machine learning where the hypothesis space is the set of legal programs in some programming language. Recent work on differentiable interpreters relaxes the discrete space of programs into a…
Gaurav Soni, Neelam
Editor, Recently Central Council of Indian Medicine (CCIM), on behalf of the Ministry of Ayush, New Delhi; introduced a fifteen-day; ninety hourly, transitional curriculum (TC) for first-year of academic session 2020-21, for Ayurveda, Siddha, and Unani (ASU) streams. This curriculum was to be implemented by all ASU…
Ji Zha, Jasmine Alexander-Floyd, Tali Gidalevitz
Differentiation of secretory cells leads to sharp increases in protein synthesis, challenging ER proteostasis. Anticipatory activation of the unfolded protein response (UPR) prepares cells for the onset of secretory function by expanding the ER size and folding capacity. How cells ensure that the repertoire of induced…
Ator Ashoti, Anna Alemany, Fanny Sage, Niels Geijsen
Facioscapulohumeral muscular dystrophy (FSHD) is a muscle degenerative disease that disproportionally affects the muscles of the face, shoulder girdle and upper arms. FSHD is caused by the misexpression of Double Homeobox 4 (DUX4), a transcription factor that is normally expressed during early embryonic development.…
Alexander Muacevic, John R Adler, Phil J Peacock, Anna Woodman + 2 more
'Wendy McCay' 'Sarah E Bates'] Introduction Non-pediatric trainees working in pediatrics in the UK are expected to attend newborn deliveries and provide initial newborn life support if needed. In Swindon, new junior doctors receive a 90-minute teaching session at the start of their pediatrics rotation, but the content…
S Selma, N Sanmartín, A Espinosa-Ruiz, S Gianoglio + 5 more
Transcriptional regulators based on CRISPR architecture expand our ability of reprogramming endogenous gene expression in plants. One of their potential applications is the customization of plant metabolome through the activation of selected enzymes in a given metabolic pathway. Using the previously described…
Anton Vladimirovich Milov, Vadim Sergeevich Tynchenko, Sergei Olegovich Kurashkin, Valeriya Valerievna Tynchenko + 8 more
'Sergei Olegovich Kurashkin' 'Valeriya Valerievna Tynchenko' 'Vladislav Viktorovich Kukartsev' 'Vladimir Viktorovich Bukhtoyarov' 'Roman Sergienko' 'Viktor Alekseevich Kukartsev' 'Kirill Aleksandrovich Bashmur' 'Carlo Massaroni' 'Paolo Ferrari' 'Paolo Bellitti'] In industries that implement the technology of induction…
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…
Alfred Fillol-Salom, Rodrigo Bacigalupe, Suzanne Humphrey, Yin Ning Chiang + 2 more
'Yin Ning Chiang' 'John Chen' 'José R. Penadés'] Lysogenic induction ends the stable association between a bacteriophage and its host, and the transition to the lytic cycle begins with early prophage excision followed by DNA replication and packaging (ERP). This temporal program is considered universal for P22-like…
Tianfan Jin, Brett M Savoie
Contemporary machine learning algorithms have largely succeeded in automating the development of mathematical models from data. Although this is a striking accomplishment, it leaves unaddressed the multitude of scenarios, especially across the chemical sciences and engineering, where deductive, rather than inductive…
George Chao, Evan Appleton, Clair S. Gutierrez, Lilia Evgeniou + 4 more
Pluripotent cells specialize into numerous cell types by receiving external signals, making fate decisions, and executing differentiation functions – a paradigm similar to computer algorithms. While advances in biosensor design have enabled cells to respond to diverse stimuli, the ability to maintain a synthetic memory…
Ricardo Iván Martínez-Zamudio, Pierre-François Roux, José Américo N L F de Freitas, Lucas Robinson + 5 more
Senescent cells play important physiological- and pathophysiological roles in tumor suppression, tissue regeneration, and aging. While select genetic and epigenetic elements crucial for senescence induction were identified, the dynamics, underlying epigenetic mechanisms, and regulatory networks defining senescence…
Woongbin Park, Hyuksoo Kwon
The purpose of this study is multifold: First, to develop an educational program using artificial intelligence (AI) in middle school free semester system of South Korea. Second, to verify the program’s effectiveness, the study clarified the definition of AI and AI education and considered their meaning in technology…
Andrej Brodnik, Andrew Csizmadia, Gerald Futschek, Lidija Kralj + 3 more
'Violetta Lonati' 'Peter Micheuz' 'Mattia Monga'] Abstract. Computer programs are part of our daily life, we use them, we provide them with data, they support our decisions, they help us remember, they control machines, etc. Programs are made by people, but in most cases we are not their authors, so we have to decide…