18 papers · ranked by Valyu relevance
Dongchen Jiang, Chenxi Fu
> Abstract. Isabelle2Cpp is a code generation framework that supports automatic generation of C++ code from Isabelle/HOL specifications. However, if some type information of Isabelle/HOL specification is missing, Isabelle2Cpp may not complete the code generation automatically. In order to solve this problem, this paper…
Stephen T Wu, Vinod C Kaggal, Dmitriy Dligach, James J Masanz + 6 more
'Pei Chen' 'Lee Becker' 'Wendy W Chapman' 'Guergana K Savova' 'Hongfang Liu' 'Christopher G Chute'] Background One challenge in reusing clinical data stored in electronic medical records is that these data are heterogenous. Clinical Natural Language Processing (NLP) plays an important role in transforming information…
Viviana Bono, Marcin Benke, Aleksy Schubert
Object-oriented scripting languages such as JavaScript or Python gain in popularity due to their flexibility. Still, the growing code bases written in the languages call for methods that make possible to automatically control the properties of the programs that ensure their stability in the running time. We propose a…
Li Tan
Situation calculus has been widely applied in Artificial Intelligence related fields. This formalism is considered as a dialect of logic programming language and mostly used in dynamic domain modeling. However, type systems are hardly deployed in situation calculus in the literature. To achieve a correct and sound…
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera
Elixir is a functional programming language with dynamic typing. We propose a gradual type system that makes it possible to perform type-checking on a significant fragment of the language. An important feature of the type system is that it does not require any syntactic change to Elixir. Type information is provided by…
João Barbosa, Mário Florido, Vı́tor Santos Costa
In this paper we present a new static data type inference al- gorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automatically assign types to predic- ates which, in most cases, correspond to the data types processed by their intended meaning. The algorithm is…
Robbert Krebbers
The core of a formal semantics of an imperative programming language is a memory model that describes the behavior of operations on the memory. Defining a memory model that matches the description of C in the C11 standard is challenging because C allows both high-level (by means of typed expressions) and low-level (by…
David C. Krakauer, Lydia Müller, Sonja J. Prohaska, Peter F. Stadler
A critical feature of all cellular processes is the ability to control the rate of gene or protein expression and metabolic flux in changing environments through regulatory feedback. We review the many ways that regulation is represented through causal, logical and dynamical components. Formalizing the nature of these…
Andrew Marmaduke, Apoorv Ingle, J. Garrett Morris
We present a new, uniform semantics for Haskell-style overloading. We realize our approach in a new core language, System FD, whose metatheory we mechanize in the Lean4 interactive theorem prover. System F D is distinguished by its open data types and open functions, each given by a collection of instances rather than…
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…
Enrique Gallifa-Tronch, João Barbosa, Santiago Escobar
Prolog is traditionally thought of as an untyped logic programming language, although there are queries that result in a type error. Several attempts of statically introducing a type discipline in Prolog have been made but they have not been widely adopted. We use Maude to implement a typed unification algorithm and…
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}…
Avi Ma'ayan
Complex systems theory is concerned with identifying and characterizing common design elements that are observed across diverse natural, technological and social complex systems. Systems biology, a more holistic approach to study molecules and cells in biology, has advanced rapidly in the past two decades. However, not…
Nico M. Franz, Beckett W. Sterner
We explore solutions for identifying and reconciling taxonomic concepts that take advantage of the powers of computational representation and reasoning without compromising the suitability of the Linnaean system of nomenclature for human communication. Using the model of the semiotic triangle, we show that taxonomic…
Elena Emili, Alberto Pérez-Posada, Maria D. Christodoulou, Jordi Solana
Allometry explores the relationship between an organism’s body size and its various components, offering insights into ecology, physiology, metabolism, and disease. The cell is the basic unit of biological systems, and yet, the study of cell type allometry remains relatively unexplored. Single-cell RNA sequencing…
J.C. Romers, M. Krantz
Advances in the experimental state of the art have provided us and continue to provide us with more and more detailed information regarding the mechanisms underlying signal transduction phenomena in living cells. Simultaneously, progress in modelling techniques and computer hardware enable simulations of ever larger…
Sofie Beier, Jean-Baptiste Bernard
Physical inter-letter dissimilarity has been suggested as a solution to increase perceptual differences between letter shapes and hence a solution to improve reading performance. However, the deleterious effects of font tuning suggest that low inter-letter regularity (due to the enhancement of specific letter features…
Andres M. Bran, Peter F. Stadler, Juergen Jost, Guillermo Restrepo
The periodic system emerges by intertwining order and similarity relationships among chemical elements, which in turn arise from known substances at a given time that constitute the chemical space. Although the system has been adjusted to accommodate new elements, the connection with the chemical space has been largely…