TangiSoft is a hybrid of a physical and a soft keyboard designed specifically for digital tabletops. The aim of the design was to combine the advantages of tangible and direct-touch interaction in a tool for the tabletop. TangiSoft was realised by printing a keyboard on paper, tracking the paper, allowing text entry by direct-touch on the printed layout, and augmenting printed layout through pr...

This paper focuses on Model Driven Engineering (MDE) techniques to build ontology incrementally. The global building process consists of building ontologies from texts through a stepwise approach. Our approach consists of modeling each step independently and defining a mapping model to express relationships between these steps. Results of this work are applied in the ANR DAFOE project, which ai...

context-dependent modeling is a well-known approach to increase modeling accuracy in continuous speech recognition. the most common way to implement this approach is via triphone modeling. nevertheless, the large number of such models results in several problems in model training, whilst the robust training of such models is often hardly obtained. one approach to solve this problem is via param...

Conventional tools for measurement of laser spectra (e.g. optical spectrum analysers) capture data averaged over a considerable time period. However, the generation spectrum of many laser types may involve spectral dynamics whose relatively fast time scale is determined by their cavity round trip period, calling for instrumentation featuring both high temporal and spectral resolution. Such real...

Particle methods provide a simple yet powerful framework for simulating both discrete and continuous systems either deterministically or stochastically. The inherent adaptivity of particle methods is particularly appealing when simulating multiscale models or systems that develop a wide spectrum of length scales. Evaluating particle–particle interactions using neighbor-finding algorithms such a...

The formation of a single lumen during tubulogenesis is crucial for the development and function of many organs. Although 3D cell culture models have identified molecular mechanisms controlling lumen formation in vitro, their function during vertebrate organogenesis is poorly understood. Using light sheet microscopy and genetic approaches we have investigated single lumen formation in the zebra...

Sets of equations can be used to specify, implement, and reason about software. We discuss how to automate these tasks for constructor-based, convergent rewrite systems. Using incremental design strategies, we obtain completely defined, consistent, and sufficiently complete specifications. Direct implementations of specifications as term rewriting systems serve as software prototypes of systems...

We introduce and test a new method to detect annual forest cover loss from time series estimates of percent tree cover. Our approach is founded on two realistic assumptions: (1) land cover disturbances are rare events over large geographic areas that occur within a short time frame; and (2) spatially discrete land cover disturbances are continuous processes over time. Applying statistically rig...

Measurement of trace chemical impurities in ice cores contributes to the reconstruction of records of the atmospheric environment and of the climate system. Ion chromatography (IC) is an effective analytical technique for ionic species in ice cores but has been used on discretely prepared ice samples, resulting in extensive and slow sample preparation and potential for contamination. A new tech...

We propose a mixed-resolution volume ray-casting approach that enables more flexibility in the choice of downsampling positions and filter kernels, allows freely mixing volume bricks of different resolutions during rendering, and does not require modifying the original sample values. A C-continuous function is obtained everywhere with hardware-native filtering at full speed by simply warping te...