Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., Java 5 has yet to be fully supported. This paper presents JML4, our proposal for an Integrated Verification Environment (IVE) for JML that builds upon Eclipse’s support for Java, enhanc...

This ar t ic le i s an in troduct ion to the computevsoffwave used by the Potential Relative Increment (PRI) approach to opt imal tree diameter growth modeling. These DOSpvograms extract quali f ied tree andplot data,from the Eastwide Forest Inventory Data Base (EFIDB), calculate relat ive tree increment , sort for the highest relat ive iucrements by diameter class, and generate an ASCIIjile fo...

Migrat ion studies provide informat ion on the role of environmental factors on the development of atopy and respiratory disease. Internat ional studies provide st rong and obj ect ive evidence for an associat ion of atopic disease with westernisat ion.1 A metaanalysis has shown higher rates of asthma in immigrants. Immigrants moving to allergy prevalent count ries have general ly more al lergy...

Modern biomedical computer simulations produce spatiotemporal results that are often viewed at a single point in time on standard 2D displays. An immersive visualization environment (IVE) with 3D stereoscopic capability can mitigate some shortcomings of 2D displays via improved depth cues and active movement to further appreciate the spatial localization of imaging data with temporal computatio...

Convergence rat es and generalization performance are compared for the squared error metric and a relat ive entropy metric on a contiguity problem using several optimization algorithms. The relat ive entropy measure converged to a good solution slight ly more often than the squared error metric given the same distribution of init ial weights . However, where the results differed, the squared er...

Since the early days of the discovery of the virus of poliomyelitis it has been known tha t quant i ta t ive differences in virulence for the monkey exist between recently isolated strains, and strains which have passed through successive monkeys. Only within the last few years has it been clearly demonstra ted by the work of Burne t and Macnamara (1) in Australia, tha t immunologic differences...