UNLABELLED Understanding of human variation relevant to association studies can benefit from population comparison, especially comparing populations in the same geographical region. Variations in linkage disequilibrium patterns, in tagSNP sets, and in SNP heterozygosities among populations can be used to infer the evolutionary pattern. We present here a win32 system based Perl/Tk application fo...

This paper discusses the implementation of anIPv6.java.net package allowing distributed applications to benefit from all the new aspects of the IPv6 protocol such as: security, flow control, mobility and multicast. Moreover, we present a full IP Next Generation Compliant JavaTM Virtual Machine, that is a JVM which is able to handle both IPv4 and IPv6 protocols from standard Java APIs and in a f...

We propose a Web service architecture for achieving bidirectional updating. This architecture consists of three tiers: clients, a Bi-X bidirectional transformation engine, and some content servers accessible through the Internet. The benefit of using this architecture is that users can harness the power of bidirectional transformations without the burden of installing and maintaining the bidire...

Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagrams. By associating both an additive and a multiplicative weight with the edges, FEVBDDs can be used to represent a wider range of functions concisely. As a result, the computational complexity for certain operations can be significantly reduced compared to EVBDDs. Additionally, the introduction ...

The Medicare Payment Advisory Commission (MedPAC) has identified two important problems with the Medicare+Choice (M+C) program: nationwide geographic inequity in government-financed benefits, and unequal government payments for M+C plans versus fee-for-service (FFS) Medicare in the same market area. MedPAC concludes that both problems cannot be solved simultaneously. We argue that both problems...

We introduce a package service model where trucks as well as drones can deliver packages. Drones can travel on trucks or fly; but while flying, drones can only carry one package at a time and have to return to a truck to charge after each delivery. We present a heuristic algorithm to solve the problem of finding a good schedule for all drones and trucks. The algorithm is based on two nested loc...

In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA similarly to Binary Decision Diagrams (BDDs). As a result, checking whether two DFAs are equal is a constant-time comparison. A hashbased cache can be used to improve significantly the performance of automata operation...

This software paper describes ‘Stylometry with R’ (stylo), a flexible R package for the highlevel analysis of writing style in stylometry. Stylometry (computational stylistics) is concerned with the quantitative study of writing style, e.g. authorship verification, an application which has considerable potential in forensic contexts, as well as historical research. In this paper we introduce th...

The purpose of this paper is to present a software package for the handling and management of prostate transabdominal ultrasound images. The software package can be used to detect men's prostate in transabdominal ultrasound images, to build a 3D model for the detected object, to represent the 3D model obtained, to calculate prostate's volume and to classify the prostate transabdominal ultrasoun...

Inference in many probabilistic logic systems is based on representing the proofs of a query as a DNF Boolean formula. Assessing the probability of such a formula is known as a #P-hard task. In practice, a large DNF is given to a BDD software package to construct the corresponding BDD. The DNF has to be transformed into the input format of the package. This is the preprocessing step. In this pa...