This paper investigates compositional verification with Propositional Projection Temporal Logic (PPTL). To this end, a sublogic Stutter-invariant PPTL (written as PPTLst) is first proposed. As a specification language, PPTLst helps designers get rid of irrelevant detail in compositional verification of a concurrent system since the projection construct of PPTLst allows designers to assert formu...

OF THE DISSERTATION A Hierarchical Compositional Model for Representation and Sketching of High-Resolution Human Images

An elevator configuration task, the VT task, is modelled within DESIRE as a design task. DESIRE is a framework within which complex reasoning tasks are modelled as compositional architectures. Compositional architectures are based on a task decomposition, acquired during task analysis. An earlier developed generic task model of design, based on a logical analysis and synthesis of task models de...

Compositional coordination models and languages play an important role in cyber-physical systems (CPSs). In this paper, we introduce a formal model for describing hybrid behaviors of connectors in CPSs. We extend the constraint automata model, which is used as the semantic model for the exogenous channelbased coordination language Reo, to capture the dynamic behavior of connectors in CPSs where...

We propose a grammar induction technique for AMR semantic parsing. While previous grammar induction techniques were designed to re-learn a new parser for each target application, the recently annotated AMR Bank provides a unique opportunity to induce a single model for understanding broad-coverage newswire text and support a wide range of applications. We present a new model that combines CCG p...

finding a representative fluid in a hydrocarbon reservoir is crucial for integrated reservoir management. in this study, a systematic approach for screening and selecting consistent fluid samples in a reservoir was developed. the model integrated quality control (qc) of well conditioning before sampling, qc of pvt data, thermodynamic modeling and compositional gradient within a reservoir. well ...

New imputation algorithms for estimating missing values in compositional data are introduced. A first proposal uses the k-nearest neighbor procedure based on the Aitchison distance, a distance measure especially designed for compositional data. It is important to adjust the estimated missing values to the overall size of the compositional parts of the neighbors. As a second proposal an iterativ...

This discussion investigates the importance of understanding and establishing limits on the following three areas during the compositional process of creating music for a digital musical instrument (DMI): group paradigms; performance practises; sound-gesture combinations. I will propose a compositional model in which composing for and performing on a DMI requires rigourous technique attained on...

This paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false counter-examples are produced at the end of verification on the reduced model. This approach allo...

This paper shows that class inheritance viewed as composition of recursive namespaces is a broadly applicable concept. We show that several kinds of software artifacts can be modeled as recursive namespaces, and software tools based on a model of composition of namespaces can effectively manage these artifacts. We describe four such tools: an interpreter for compositionally modular Scheme, a co...