GPU Shape Grammars

GPU Shape Grammars provide a solution for interactive procedural generation, tuning and visualization of massive environment elements for both video games and production rendering. Our technique generates detailed models without explicit geometry storage. To this end we reformulate the grammar expansion for generation of detailed models at the tesselation control and geometry shader stages. Using the geometry generation capabilities of modern graphics hardware, our technique generated massive, highly detailed models. GPU Shape Grammars integrate within a scalable framework by introducing automatic generation of levels of detail at reduced cost. We apply our solution for interactive generation and rendering of scenes containing thousands of buildings and trees.     

Cognitive conflict in human-automation interactions: a psychophysiological study

The review of literature in sociology and distributed artificial intelligence reveals that the occurrence of conflict is a remarkable precursor to the disruption of multi-agent systems. The study of this concept could be applied to human factors concerns, as man-system conflict appears to provoke perseveration behavior and to degrade attentional abilities with a trend to excessive focus. Once entangled in such conflicts, the human operator will do anything to succeed in his current goal even if it jeopardizes the mission. In order to confirm these findings, an experimental setup, composed of a real unmanned ground vehicle, a ground station is developed. A scenario involving an authority conflict between the participants and the robot is proposed. Analysis of the effects of the conflict on the participants' cognition and arousal is assessed through heart-rate measurement (reflecting stress level) and eye-tracking techniques (index of attentional focus). Our results clearly show that the occurrence of the conflict leads to perseveration behavior and can induce higher heart rate as well as excessive attentional focus. These results are discussed in terms of task commitment issues and increased arousal. Moreover, our results suggest that individual differences may predict susceptibility to perseveration behavior.     

Characterization of multilayer anti-fog coatings

Fog formation on transparent substrates constitutes a major challenge in several optical applications requiring excellent light transmission characteristics. Anti-fog coatings are hydrophilic, enabling water to spread uniformly on the surface rather than form dispersed droplets. Despite the development of several anti-fog coating strategies, the long-term stability, adherence to the underlying substrate, and resistance to cleaning procedures are not yet optimal. We report on a polymer-based anti-fog coating covalently grafted onto glass surfaces by means of a multistep process. Glass substrates were first activated by plasma functionalization to provide amino groups on the surface, resulting in the subsequent covalent bonding of the polymeric layers. The anti-fog coating was then created by the successive spin coating of (poly(ethylene-maleic anhydride) (PEMA) and poly(vinyl alcohol) (PVA) layers. PEMA acted as an interface by covalently reacting with both the glass surface amino functionalities and the PVA hydroxyl groups, while PVA added the necessary surface hydrophilicity to provide anti-fog properties. Each step of the procedure was monitored by XPS, which confirmed the successful grafting of the coating. Coating thickness was evaluated by profilometry, nanoindentation, and UV visible light transmission. The hydrophilic nature of the anti-fog coating was assessed by water contact angle (CA), and its anti-fog efficiency was determined visually and tested quantitatively for the first time using an ASTM standard protocol. Results show that the PEMA/PVA coating not only delayed the initial period required for fog formation but also decreased the rate of light transmission decay. Finally, following a 24 hour immersion in water, these PEMA/PVA coatings remained stable and preserved their anti-fog properties.     

Algorithmic probabilistic game semantics

We present a detailed account of a translation from probabilistic call-by-value programs with procedures to Rabin’s probabilistic automata. The translation is fully abstract in that programs exhibit the same computational behaviour if and only if the corresponding automata are language-equivalent. Since probabilistic language equivalence is decidable, we can apply the translation to analyse the behaviour of probabilistic programs and protocols. We illustrate our approach on a number of case studies.     

Overview of the MPEG Reconfigurable Video Coding Framework

Video coding technology in the last 20 years has evolved producing a variety of different and complex algorithms and coding standards. So far the specification of such standards, and of the algorithms that build them, has been done case by case providing monolithic textual and reference software specifications in different forms and programming languages. However, very little attention has been given to provide a specification formalism that explicitly presents common components between standards, and the incremental modifications of such monolithic standards. The MPEG Reconfigurable Video Coding (RVC) framework is a new ISO standard currently under its final stage of standardization, aiming at providing video codec specifications at the level of library components instead of monolithic algorithms. The new concept is to be able to specify a decoder of an existing standard or a completely new configuration that may better satisfy application-specific constraints by selecting standard components from a library of standard coding algorithms. The possibility of dynamic configuration and reconfiguration of codecs also requires new methodologies and new tools for describing the new bitstream syntaxes and the parsers of such new codecs. The RVC framework is based on the usage of a new actor/ dataflow oriented language called CAL for the specification of the standard library and instantiation of the RVC decoder model. This language has been specifically designed for modeling complex signal processing systems. CAL dataflow models expose the intrinsic concurrency of the algorithms by employing the notions of actor programming and dataflow. The paper gives an overview of the concepts and technologies building the standard RVC framework and the non standard tools supporting the RVC model from the instantiation and simulation of the CAL model to software and/or hardware code synthesis.     

Macroporous calcium phosphate ceramic implants for sustained drug delivery

Limited blood circulation to the skeletal tissue is a major cause of reduced therapeutic effects seen with drugs administered by conventional systemic ways. To resolve this issue and obtain a sufficiently high local concentration to induce therapeutic effects, several implanted drug delivery systems have been developed for hard tissues using biomaterials.We have designed a drug delivery device based on hydroxylapatite (HA) and tested it in vitro using metronidazol and chloramphenicol as model compounds. Porous HA ceramics were prepared with two different shapes (cylindrical and spherical). Known amounts of drugs were introduced inside a drilled hole and sealed with wax. The ceramics were then suspended in stirred distilled water in closed polypropylene vials. Drug release was observed during several weeks.A mathematical model used to describe drug release from HA was elaborated based on the expressions of Fick's laws. The experimental kinetic results could be related to ceramic constitution and to drug localization.     

Treatment of uncertain material interfaces in compressible flows

To treat uncertain interface position is an important issue for complex applications. In this paper, we address the characterization of randomly perturbed interfaces between fluids thanks to stochastic modeling and uncertainty quantification through the 2D Euler system. The perturbed interface is modeled as a random field and represented by a Karhunen–Loève expansion. The stochastic 2D Euler system is solved applying Polynomial Chaos theory through the Intrusive Polynomial Moment Method (IPMM). This stochastic resolution method is fully explained and studied (theoretically and numerically). Stochastic Richtmyer–Meshkov unstable flows are solved and presented for several configurations of the uncertain interface (different rugosities) between the fluids. The probability density functions of the mass density of the fluid in the vicinity of the interface are computed built and compared for the different simulations: the system exhibits strong sensitivity with respect to the stochastic initially leading modes.     

Poroelastic behaviour of a water-saturated limestone

This paper presents the results of an experimental study carried out on a porous, water-saturated limestone. First, a set of poroelastic parameters is obtained from a wide range of experiments (drained, undrained, pore pressure loading and unjacketed tests) conducted on the same sample at the same stress state. A “null” test, inspired from unsaturated soil testing, is added to confirm the previous results, in particular the value of the Biot coefficient. Then, the variation of the measured parameters between samples is investigated. Finally, the influence of the stress state is studied in the framework of semilinear poroelasticity. Several expressions are compared to model the evolution of the drained bulk modulus as a function of Terzaghi's effective stress.