Information & computer science publications
-
ROSRV: Runtime Verification for Robots
We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS), a widely used open-source framework for robot software development.
-
The Versatile Synchronous Observer
The paper describes and illustrates these applications of synchronous observers.
-
KB_Bio_101: Content and Challenges
We give an overview of its content, summarize the key concepts represented, and give some examples of problems requiring further ontology research.
-
Precise Vision-Aided Aerial Navigation
This paper proposes a novel vision-aided navigation approach that continuously estimates precise 3D absolute pose for aerial vehicles, using only inertial measurements and monocular camera observations.
-
Expanding the Metabolite Mimic Approach to Identify Hits for Mycobacterium Tuberculosis
-
Template-Based Circuit Understanding
We propose a template-based approach that extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping…
-
A Nonlinear Real Arithmetic Fragment
We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.
-
Metabolic Pathways for the Whole Community
Here we adopt the MetaPathways annotation and analysis pipeline and Pathway Tools to construct environmental pathway/genome databases that describe microbial community metabolism using MetaCyc.
-
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are…
-
Yices 2.2
We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms it implements, and we describe recent developments such as support for…
-
The CHERI Capability Model: Revisiting RISC in an Age of Risk
Motivated by contemporary security challenges, we reevaluate and refine capability-based addressing for the RISC era. We present CHERI, a hybrid capability model that extends the 64-bit MIPS ISA with byte-granularity…
-
A Genome-Scale Metabolic Flux Model of Escherichia coli K-12 Derived from the EcoCyc Database
We present EcoCyc–18.0–GEM, a genome-scale model of the E. coli K–12 MG1655 metabolic network.