This research gives methods for nonparametric sequential monitoring of paired censored survival data in the two-sample problem using paired weighted log-rank statistics with adjustments for dependence in survival and censoring outcomes. The joint asymptotic closed-form distribution of these sequentially monitored statistics has a dependent increments structure. Simulations validating operating ...

Example-driven modeling (EDM) is an approach to systematically using explicit examples for eliciting, modeling, verifying, and validating complex business knowledge. In EDM, examples and abstractions are equally important parts of the model, as both are needed for e ective knowledge transfer (model = examples + abstractions). We show how Clafer, a lightweight structural modeling language, can b...

This paper describes preliminary work on validating process definitions by comparing a process definition to event streams derived from an actual execution of that process. The goal of this work is to find and remove discrepancies in the process definition before using that definition as the basis for various forms of analysis and decision making. The paper outlines important issues that need t...

We present EM∩IM, software that allows the calculation of collision cross-sections from electron density maps obtained for example by means of transmission electron microscopy. This allows the assessment of structures other than those described by atomic coordinates with ion mobility mass spectrometry data, and provides a new means for contouring and validating electron density maps. EM∩IM ther...

This paper is concerned with the use of spectral analysis to analyze data generated by computer simulation experiments with models of economic systems. An example model serves to illustrate two different applications of spectral analysis. First, spectral analysis is used to construct confidence bands and to test hypotheses for the purpose of comparing the results of the use of two or more alter...

background the purpose of implementing a system such as clinical governance (cg) is to integrate, establish and globalize distinct policies in order to improve quality through increasing professional knowledge and the accountability of healthcare professional toward providing clinical excellence. since cg is related to change, and change requires money and time, cg implementation has to be focu...

This paper introduces a new method for improving the accuracy in medium scale music similarity problems. Recently, it has been shown that the raw accuracy of query by example systems can be enhanced by considering priors about the distribution of its output or the structure of the music collection being considered. The proposed approach focuses on reducing the dependency to those priors by cons...

We propose a method to split and translate input sentences for speech translation in order to overcome the long sentence problem. This approach is based on three criteria used to judge the goodness of translation results. The criteria utilize the output of an MT system only and assumes neither a particular language nor a particular MT approach. In an experiment with an EBMT system, in which pri...