14 papers · ranked by Valyu relevance
Stefan Höck, Rainer Riedl
Background Although programming in a type-safe and referentially transparent style offers several advantages over working with mutable data structures and side effects, this style of programming has not seen much use in chemistry-related software. Since functional programming languages were designed with referential…
Raymond Turner, Neal G. Anderson
Representation and abstraction are two of the fundamental concepts of computer science. Together they enable “high-level” programming: without abstraction programming would be tied to machine code; without a machine representation, it would be a pure mathematical exercise. Representation begins with an abstract…
Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach
'Christoph Weidenbach'] We developed a formal framework for conflict-driven clause learning (CDCL) using the Isabelle/HOL proof assistant. Through a chain of refinements, an abstract CDCL calculus is connected first to a more concrete calculus, then to a SAT solver expressed in a functional programming language, and…
Luba Sominsky, Erin A. Fuller, Evgeny Bondarenko, Lin Kooi Ong + 6 more
'Lee Averell' 'Eugene Nalivaiko' 'Peter R. Dunkley' 'Phillip W. Dickson' 'Deborah M. Hodgson' 'Martin Gerbert Frasch'] Neonatal exposure of rodents to an immune challenge alters a variety of behavioural and physiological parameters in adulthood. In particular, neonatal lipopolysaccharide (LPS; 0.05 mg/kg, i.p.)…
Muhammad Shoaib Farooq, Sher Afzal Khan, Farooq Ahmad, Saeed Islam + 2 more
'Adnan Abid' 'Hussein Suleman'] Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving…
Zoltan A. Kocsis, Jerry Swan
\usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{+}$$\end{document} + Proof Search \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym}…
Rute A Tomaz, Ekaterini D Zacharis, Fabian Bachinger, Annabelle Wurmser + 14 more
'Annabelle Wurmser' 'Daniel Yamamoto' 'Sandra Petrus-Reurer' 'Carola M Morell' 'Dominika Dziedzicka' 'Brandon T Wesley' 'Imbisaat Geti' 'Charis-Patricia Segeritz' 'Miguel C de Brito' 'Mariya Chhatriwala' 'Daniel Ortmann' 'Kourosh Saeb-Parsy' 'Ludovic Vallier' 'Matthew A Quinn' 'Mone Zaidi'] Production of large…
Giedre Miskinyte, Marita Grønning Hansen, Emanuela Monni, Matti Lam + 5 more
'Johan Bengzon' 'Olle Lindvall' 'Henrik Ahlenius' 'Zaal Kokaia' 'Jialin Charles Zheng'] Human neurodegenerative disorders affect specific types of cortical neurons. Efficient protocols for the generation of such neurons for cell replacement, disease modeling and drug screening are highly warranted. Current methods for…
Maribel Fernández, Jack Hughes, Dominic Orchard
Linear types provide a way to constrain programs by specifying that some values must be used exactly once. Recent work on graded modal types augments and refines this notion, enabling fine-grained, quantitative specification of data use in programs. The information provided by graded modal types appears to be useful…
Sang-Joon Ahn, Howon Lee, Kyu-Jin Cho
Additive manufacturing, or 3D printing attracts growing attention as a promising method for creating functionally graded materials. Fused deposition modeling (FDM) is widely available, but due to its simple process, creating spatial gradation of diverse properties using FDM is challenging. Here, we present a 3D printed…
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich + 1 more
'Grigory Fedyukovich' 'Natasha Sharygina'] This article provides an innovative approach for verification by model checking of programs that undergo continuous changes. To tackle the problem of repeating the entire model checking for each new version of the program, our approach verifies programs incrementally. It…
Cristina David, Daniel Kroening
Program synthesis is the mechanized construction of software, dubbed ‘self-writing code’. Synthesis tools relieve the programmer from thinking about how the problem is to be solved; instead, the programmer only provides a description of what is to be achieved. Given a specification of what the program should do, the…
Mohamed A. El-Zawawy
This paper introduces new approaches for the analysis of frequent statement and dereference elimination for imperative and object-oriented distributed programs running on parallel machines equipped with hierarchical memories. The paper uses languages whose address spaces are globally partitioned. Distributed programs…
Wenyi Lin, Jingjing Zou, Chongzhi Di, Dorothy D. Sears + 2 more
'Cheryl L. Rock' 'Loki Natarajan'] Accelerometers are widely used for tracking human movement and provide minute-level (or even 30 Hz level) physical activity (PA) records for detailed analysis. Instead of using day-level summary statistics to assess these densely sampled inputs, we implement functional principal…