It is well known that, as n tends to infinity, the probability of satisfiability for a random 2-SAT formula on n variables, where each clause occurs independently with probability α/2n, exhibits a sharp threshold at α = 1. We provide a simple conceptual proof of this fact based on branching process arguments. We also study a generalized 2-SAT model in which each clause occurs independently but ...

Strains of Fusarium produced high levels of T-2 toxin when cultured on certain media absorbed into vermiculite. Modified Gregory medium was nutritionally complex (2% soya meal, 0.5% corn steep liquor, 10% glucose) and, when inoculated with the appropriate fungal strain, yielded maximum T-2 toxin within 24 days of incubation at 19 degrees C. On Vogel synthetic medium N (H. J. Vogel, Microb. Gen...

Process mining aims to transform event data recorded in information systems into knowledge of an organisation’s business processes. The results of process mining analysis can be used to improve process performance or compliance to rules and regulations. However, applying process mining in practice is not trivial. In this paper we introduce PM, a methodology to guide the execution of process min...

ion Principles Data Conceptualization Process Conceptualization Raw data/ Audit trails Mining Algorithms Conceptualized Patterns FIG. 9: Major components of Process Centered Business Intelligence.

Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited. Notice This informational memo presents the current procedures for creating and documenting Internet Standards. This document is provisional, pending legal review and concurrence of the Internet Society Trustees. It i...

For years we have been developing a our project on MVE. MVE stands for Modular Visualization Environment. It is a user friendly modular environment using data flow paradigm for communication between user-created modules. The core of the system is based on pure .NET technology. We find this environment useful in several application areas. This paper focuses on successful employment within the ed...

This paper presents the project management process maturity (PM) model that determines and positions an organization’s relative project management level with other organizations. The comprehensive model follows a systematic approach to establish an organization’s current project management level. Each maturity level consists of major project management characteristics, factors, and processes. T...

Exploiting locality is a central goal of translating problem-oriented parallel programming languages for distributed memory parallel machines. Modula-2* places the burden of automatically deriving good data and process distribution on the compiler. In this paper we present a technique implemented in our optimizing compiler that enhances locality in a source-to-source transformation. Analysis of...