This guide and glossary focuses on the role of theory and conceptual models within population health research. Upon discussing the critical need for theory in conducting interdisciplinary research, it provides strategies for crafting theories that can be empirically tested and a glossary of theory building terms that are useful for guiding research. In addition to general concepts, the glossary...

Methods for automated identification and building of protein-bound ligands in electron-density maps are described. An error model of the geometrical features of the molecular structure of a ligand based on a lattice distribution of positional parameters is obtained via simulation and is used for the construction of an approximate likelihood scoring function. This scoring function combined with ...

We perform lattice Monte Carlo simulations to study the self-assembly of functionalized inorganic nanoscale building blocks using recognitive biomolecule linkers. We develop a minimal coarse-grained lattice model for the nanoscale building block (NBB) and the recognitive linkers. Using this model, we explore the influence of the size ratio of linker length to NBB diameter on the assembly proces...

Abstract: Providing indoor navigation within a building is usually associated with large investments in infrastructure. We present and evaluate an approach to provide indoor navigation with minimal infrastructure investments. In our approach people use a mobile camera device like a mobile phone as a magic lens. When the device is sweeped over a map of the building, the way is augmented on the c...

 Transient simulation times for field-circuit coupled models of realistic electromagnetic devices become unacceptably high. A magnetodynamic formulation is coupled to an electric circuit analysis, yielding a sparse, symmetric and indefinite matrix. The unknown circuit currents correspond to negative eigenvalues in the matrix spectrum. The Quasi-Minimal Residual method performs better than the ...

Alignments represent correspondences between entities of two ontologies. They are produced from the ontologies by ontology matchers. In order for matchers to exchange alignments and for applications to manipulate matchers and alignments, a minimal agreement is necessary. The Alignment API provides abstractions for the notions of network of ontologies, alignments and correspondences as well as b...

Given a sextic CM field K, we give an explicit method for finding all genus 3 hyperelliptic curves defined over C whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng [27], we give an algorithm which works in complete generality, for any CM sextic field K, and computes mini...

The minimal free resolution of the Jacobian ideals of the determinant polynomial were computed by Lascoux [12], and it is an active area of research to understand the Jacobian ideals of the permanent, see e.g., [13, 9]. As a step in this direction we compute several new cases and completely determine the linear strands of the minimal free resolutions of the ideals generated by sub-permanents. O...

In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this goal, we encode the trajectories of the transition system as words. This method was introduced in our paper “On o-minimal hybrid systems” in order to give a new proof of the existence of a finite bisimulation for o-min...

We present a general theory of topological maps whereby sensory input, topological and local metrical information are combined to define the topological maps explaining such information. Topological maps correspond to the minimal models of an axiomatic theory describing the relationships between the different sources of information explained by a map. We use a circumscriptive theory to specify ...