We study the problem of convexifying drawings of planar graphs. Given any planar straight-line drawing of a 3-connected graph G, we show how to morph the drawing to one with convex faces while maintaining planarity at all times. Furthermore, the morph is convexity increasing, meaning that angles of inner faces never change from convex to reflex. We give a polynomial time algorithm that construc...

In an Object Relational Data Warehousing (ORDW) environment, the semantics of data and queries can be explicitly captured, represented, and utilized based on is-a and class composition hierarchies, thereby resulting in more efficient OLAP query processing. In this paper, we show the efficacy in building semantic-rich hybrid class partitions by incorporating the Associated Horizontal Class Parti...

This paper reports the composition and horizontal distribution of an earthworm community at El Molar (Madrid), and the underlying causes of its distribution. Five species of earthworms were found. The most abundant species were Hormogaster elisae, Allolobophora rosea and Allolobophora caliginosa trapezoides, which showed an aggregate-type distribution. Coarse sand, organic matter and nitrogen a...

A new approach for real-time monitoring of horizontal wells, which is based on data assimilation concepts, is presented. Such methodology can be used when the direct measurement of multiphase flow rates is unfeasible or even unavailable. The real-time estimator proposed is an ensemble Kalman filter employing a dynamic model of the pipe flow and information from several downhole pressure sensors...

This manuscript describes their box modeling work constrained by the measurements acquired during PRIDE-PRD2006 campaign. They focused on the importance of source and sink mechanisms to reconcile the observed and modeled HCHO and CHOCHO concentration. The authors claim that fresh emission, vertical and horizontal transport, and aerosol uptake processes are the major reason in the overestimation...

CuIn2n+1S3n+2 crystals were synthesized by horizontal Bridgman method using high purity copper, indium, sulfur elements. The phases and crystallographic structure of the CuIn2n+1S3n+2 crystals were analyzed by X-ray diffraction (XRD) and the composition of the material powders was determined using the energy dispersive X-ray analysis (EDX). Measurement data revealed that CuIn2n+1S3n+2 materials...

The generative surface reconstruction problem can be stated like this: Given a finite collection of 3D shapes, create a small set of functions that can be combined to generate the given shapes procedurally. We propose generative fact labeling (GFL) as an attempt to organize the iterative process of shape analysis and shape synthesis in a systematic way. We present our results for the reconstruc...

In [5] we introduced a framework for specification of parameterized data types utilizing a generalization of the traditional semantics based on the pushout construction. In the present paper, we address the issue of program development using this framework with particular emphasis on the notion of refinement. Unlike for the loose specifications, refinement does not amount merely to a narrowing ...

We develop and analyze a single-degree-of-freedom model for multilegged locomotion in the horizontal (ground) plane. The model is a hybrid dynamical system incorporating rudimentary motoneuronal activation and agonist-antagonist Hill-type muscle pairs that drive a point mass body along a line. Composition of the smooth stance phase dynamics with various discrete lift-off and touch-down protocol...