Learn More
The human genome is by far the largest genome to be sequenced, and its size and complexity present many challenges for sequence assembly. The International Human Genome Sequencing Consortium constructed a map of the whole genome to enable the selection of clones for sequencing and for the accurate assembly of the genome sequence. Here we report the(More)
This paper introduces DRIVE, a reconfigurable demonstrator that will allow for experimental validation of vehicular networking research, as well as proof of concept and realistic performance studies of advanced services for vehicular users. The testbed features an OSGi-based software platform that allows easy service development through bundles. DRIVE's(More)
Non-small cell lung carcinoma (NSCLC) is the leading cause of cancer-related death worldwide, with an overall 5-year survival rate of only 10-15%. Deregulation of the Ras pathway is a frequent hallmark of NSCLC, often through mutations that directly activate Kras. p53 is also frequently inactivated in NSCLC and, because oncogenic Ras can be a potent trigger(More)
Development of asthma and allergic inflammation involves innate immunity, but the environmental contributions remain incompletely defined. Analysis of dust collected from the homes of asthmatic individuals revealed that the polysaccharide chitin is environmentally widespread and associated with β-glucans, possibly from ubiquitous fungi. Cell wall(More)
An interesting new application domain for handheld devices may be represented by Ambient Intelligence (AmI), where they can be used as intermediaries between us and our surrounding environment. Thus, the devices, which always accompany us, will behave as electronic butlers who assist us in our daily tasks, by interacting with the smart objects (everyday(More)
This paper presents a case study in formal software development of a plugin for a Java Desktop project management application using JML. Our goals for the case study include determining how JML-based formal methods can be incorporated in traditional software engineering practices used in the software industry and how the use of JML for modeling software(More)