[1] We present a methodology for deriving emissions of volatile organic compounds (VOC) using space-based column observations of formaldehyde (HCHO) and apply it to data from the Global Ozone Monitoring Experiment (GOME) satellite instrument over North America during July 1996. The HCHO column is related to local VOC emissions, with a spatial smearing that increases with the VOC lifetime. Isopr...

A basic question concerning zero-knowledge proof systems is whether their (sequential and/or parallel) composition is zero-knowledge too. This question is not only of natural theoretical interest, but is also of great practical importance as it concerns the use of zero-knowledge proofs as subroutines in cryptographic protocols. We prove that the original formulation of zero-knowledge as appeari...

1 This report is available by anonymous ftp from ftp.esat.kuleuven.ac.be in the directory pub/SISTA/moreau/reports/. The missing gures, which have been excluded because they are diicult to print, are available separately in the le chua gures.ps. Abstract Composition methods are methods for the integration of ordinary differential equations arising from diierential geometry, or more precisely, L...

We describe action machines, a framework for encoding and composing partial behavioral descriptions. Action machines encode behavior as a variation of labeled transition systems where the labels are observable activities of the described artifact and the states capture full data models. Labels may also have structure, and both labels and states may be partial with a symbolic representation of t...

One of the main problems associated with the authoring of e-courses, for e-learning systems, is that the current composition-approaches do not support 'personalized-learning' or in other words, the current composition approaches fail to take into consideration the difference in individual learning-capabilities and the background knowledge of the individual learners and thus do not provide mater...

A numerical method to simulate reactions in a cross-linked polymer is developed and applied to the photodegradation process of polyester-urethane clearcoats during artificial exposure in a Weather-Ometer. This coarse-grained simulation method, which is based on a kinetic Monte Carlo scheme, is verified with experimental data on the depth-resolved changes in optical properties and chemical compo...

Composability is the capability to select and assemble simulation components in various combinations into simulation systems. The defining characteristic of composability is the ability to combine and recombine components. Composability exists in two forms, syntactic and semantic (also known as engineering and modeling). Syntactic composability is the implementation of components so that they c...

Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service composition methods can hardly meet the requirements of dynamism and performance for pervasive computing. This paper proposes a Petri net based service model to formally describe the function of services and employs a parameter...

The paper is a contribution to introducing biologically oriented ideas in conceiving a new and innovative idea in modern factories of the future. The intelligent system is treated as an autonomous organization structure efficiently adapting itself to the dynamic changes in the micro and macro environment. Simulation of self-organizing (genetic) composition of elementary (basic) mechanical parts...