19 papers · ranked by Valyu relevance
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that manipulate arrays is challenging. We present a novel verification technique, called full-program induction, for proving (a sub-class of) quantified as well as…
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…
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…
Edward McDaid, Sarah McDaid
- Abstract: Inductive programming frequently relies on some form of search in order to identify candidate solutions. However, the size of the search space limits the use of inductive programming to the production of relatively small programs. If we could somehow correctly predict the subset of instructions required for…
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…
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…
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…
Ashwin Srinivasan, Tirtharaj Dash, A Baskar, Sanjay Kumar Dey + 1 more
Our interest is in the generation of “lead” molecules in early-stage drug design. Leads are small molecules (ligands) that can bind to a part of pre-specified target and also satisfy multiple physico-chemical constraints. We propose using techniques developed in Inductive Logic Programming (ILP) to identify a logical…
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…
Hicham El Malki, Salma Ghofrane Moutawakkil, Abdelfettah El-Ammari, Mohammed El Amine Ragala + 16 more
Background Early adolescent psychoactive substance use poses major health and social risks. School-based programs enhancing psychosocial skills are effective for prevention. This study aims to develop, implement, and evaluate “HOPE”, a school-based program to prevent substance use and promote health among first-year…
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…
Ruth Nanjala, Festus Nyasimi, Daniel Masiga, Caleb Kipkurui Kibet + 1 more
'Francis Ouellette'] The demand for well-trained bioinformaticians to support genomics research continues to rise. Unfortunately, undergraduate training in Kenya does not prepare students for specialization in bioinformatics. Graduates are often unaware of the career opportunities in bioinformatics, and those who are…
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…
Dominic Hodgkin, Cindy Parks Thomas, Margot T. Davis, Jennifer J. Wicks + 3 more
3.1.1#### Grant Funding Most interviewees said they currently rely on grant and/or philanthropic funding. Often the ED program staff applied for the grants, but sometimes hospital administrators or other partners applied for grants as well. Some interviewees expressed concern that when the grants end, the hospitals…
Kathleen S. Dreyer, Anh V. Nguyen, Gauri G. Bora, Lauren E. Redus + 6 more
Genetic programs can direct living systems to perform diverse, pre-specified functions. As the library of parts available for building such programs continues to expand, computation-guided design is increasingly helpful and necessary. Predictive models aid the challenging design process, but iterative simulation and…
R. A. Wolf, Sho Araiba
—In this paper we provide an overview of the programmed instructions approach for the purpose of quantum software education. The article presents the programmed instructions method and recent successes in STEM fields before describing its operating mode. Elements tackled include the core components of programmed…
Amelia Sullivan, Bryn Kubinsky, Emma Watras, Kathyrn Yerxa + 5 more
Highlights Public health relevance-How does this work relate to a public health issue?1. Rural adolescents often face barriers to nutrition security, and schools are a primary setting where nutrition programs can reach students equitably. 2. This study evaluates a theory-based smoothie and nutrition education program…
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…