This manual describes the formalism and use of the program EPIPROD to compute observables and response functions for the electroproduction of pseu-doscalar mesons upon nucleons.

We describe a tool that formally verifies ANSI-C programs. The tool implements a technique called Bounded Model Checking (BMC). In BMC, the transition relation for a complex state machine and its specification are jointly unwound to obtain a Boolean formula, which is then checked for satisfiability by using a SAT procedure. The tool supports all ANSI-C integer operators and all pointer construc...

This paper introduces JNCC2, the Java implementation of the Naive Credal Classifier 2 (NCC2). JNCC2 is open source; it is hence freely available together with manual, sources and javadoc documentation. NCC2 is an extension of Naive Bayes Classifier (NBC) to imprecise probabilities, designed so as to return robust classifications even on small and/or incomplete data sets. A peculiar feature of N...

CUBE is a generic presentation component suitable for displaying a wide variety of performance metrics for parallel programs including MPI and OpenMP applications. Program performance is represented in a multi-dimensional space including various program and system resources. The tool allows the interactive exploration of this space in a scalable fashion and browsing the different kinds of perfo...

The problem of partitioning a graph into a number of pieces is one of the fundamental tasks in computer science and occurs in several applications like parallel programming or VLSI design. Finding optimal partitions according to diierent measures is in most cases NP-complete. A large number of eecient partitioning heuristics have been developed, but their performance in terms of computation tim...

µ-ARGUS (4.2) user's manual-3-Preface This is the users manual of version 4.1 of µ-ARGUS, a software package to assist in producing safe microdata. The package has been developed under Windows 2000 and runs under Windows versions from Windows 2000 and later. This version is an update of the final version of µ-ARGUS that has been produced in the fifth Framework CASC (Computational Aspects of Sta...

This paper introduces JNCC2, the Java implementation of the Naive Credal Classifier2 (NCC2). JNCC2 is open source; it is hence freely available together with manual, sources and javadoc documentation. JNCC2 implements the Naive Credal Classifier2 (NCC2), i.e., an extension of Naive Bayes Classifier (NBC) towards imprecise probabilities. NCC2 is designed to return robust classification, even on ...

When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This pascal user manual and report iso pas...