This paper describes results of a study related to the PARSEME Shared Task on automatic detection of verbal Multi-Word Expressions (MWEs) which focuses on their identification in running texts in many languages. The Shared Task’s organizers have provided basic annotation guidelines where four basic types of verbal MWEs are defined including some specific subtypes. Czech is among the twenty lang...

L ine-oriented textual data streams are the lowest useful common denominator for a lot of data that passes through our hands. We use such streams to represent program source code, Web server log data, version control history, file lists, symbol tables, archive contents, error messages, profiling data, and so on. For many routine, everyday tasks, we might be tempted to process the data using a "...

Since the LISA conferences began, the character of a typical ‘‘large installation’’ has changed greatly. Most large sites tended to consist of a comparatively small number of handcrafted ‘‘servers’’ supporting a larger number of very similar ‘‘clients’’ (which would usually be configured with the aid of some automatic tool). A modern large site involves a more complex mesh of services, often wi...

* 0-7803-7952-7/03/$17.00  2003 IEEE. Abstract Multi-dimension Workflow net (MWF-net) [1], which includes process, organization, and resource perspectives, is introduced. Using the structure analysis of the TWF-net in the process perspective and the perspectives mapping, the routing of transaction instances in the multi-TWF-nets can be projected into the flow of transaction instance between di...

The use of software is an integral part of any organization. Software applications, including web applications, must evolve quickly. By dividing a web application into independent components, we are developing a framework that gives developers a set of generic functionalities which can be integrated to fulfill specific requirements. Our research involves both developing the framework and compar...

One of the aims of model checking is to confirm a system’s safety properties. Safety properties state that undesirable events never occur. This paper describes a method that derives comprehensive and rigorous safety properties for model checking. In general, an undesirable event in a system is abstract, and so safety properties corresponding to undesirable events cannot be directly applied to m...

The microbicidal activity of four different biocides was studied in synthetic metalworking fluid (MWF) against Mycobacterium immunogenum, a suspected causative agent for hypersensitivity pneumonitis, and Pseudomonas fluorescens, a representative for the predominant gram-negative bacterial contaminants of MWF. The results indicated that M. immunogenum is more resistant than P. fluorescens to the...

Aerosol mapping was used to assess particle number and mass concentration in an engine machining and assembly facility in the winter and spring. Number and mass concentration maps were constructed from data collected with two mobile sampling carts, each equipped with a condensation particle counter (10 nm < diameter < 1 microm) and an optical particle counter (300 nm < diameter < 20 microm). Nu...

Various magnetic resonance (MR) techniques are used to study the pathological evolution of demyelinating diseases, such as multiple sclerosis (MS). However, few studies have validated MR derived measurements with histopathology. Here, we determine the correlation of myelin water imaging, an MR measure of myelin content, with quantitative histopathologic measures of myelin density. The multi-com...