The CMDASH’07 team follows our past teams CMDash’06, CMDash’05, CMPack’04, CMPack’03, CMPack’02, CMPack’01, CMPack’00, CMTrio’99, and CMTrio’98 [5, 3, 7, 6]. We have continued our research into new ways of modeling the world and maintained our focus on robust behaviors and cooperation. In this paper, we provide an overview of the specific technical components in our team and focus in detail on ...

This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics that are surprising to programmers and that lead to bugs. They also contribute to the problem of null-pointer exceptions, which make software less reliable. Masked types are a new type-state mechanism that explicitly ...

The outlook for patients with advanced ovarian cancer who experience disease relapse following treatment with platinumbased chemotherapy is poor. As well as searching for more effective cytotoxic chemotherapy regimens recent attention has also focused on identifying those agents which have minimal toxicity but still retain clinical activity. In response to the discovery of oestrogen and progest...

ion of the dynamic bandwidth sharing at the flow level that can be used to approximate even the fairness realized by TCP. For models based on balanced fairness, the performance can efficiently be computed for networks of realistic size. In addition, these models lead to robust performance measures that are completely independent of detailed traffic characteristics, which is a very desirable fea...

Pudendal nerve block is performed to confirm the diagnosis of pudendal neuralgia. Many physicians and patients are hesitant to pursue diagnostic nerve blocks to confirm the diagnosis of pudendal neuralgia secondary to significant patient discomfort, the need for special equipment, and the risk in the traditionally described approach. Objective: To describe a novel technique for pudendal nerve b...

Proper initialization is one of the most important prerequisites for fast convergence of feed-forward neural networks like high order and multilayer perceptrons. This publication aims at determining the optimal value of the initial weight v ariance (or range), which is the principal parameter of random weight initialization methods for both types of neural networks. An overview of random weight...

The introduction of ondansetron has revolutionised the treatment of nausea and vomiting which frequently follows cisplatin and other drugs used in the treatment of cancer. However, there remain some patients for whom this 5 HT3 antagonist offers only a partial alleviation of symptoms, particularly on the 3rd and 4th days of treatment. Even when there may be no vomiting, some patients still rema...

In this note we describe, extend, and analyze the lattice construction ideas of Alexander May 1] as they apply to the NTRU public key cryptosystem. We use both theoretical and experimental methods to analyze the strength of the attacks. The nal conclusion is that the new attacks only marginally aaect the security levels of the standard commercial NTRU parameter sets (N = 167, 263, and 503), but...

Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of their state and the dynamic nature of many programs. Here we address both these issues within the context of the Java PathFinder (JPF) model checker. Firstly, we will show how the state of a Java program can be encoded e cient...