Daniel García

Learn 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)
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)
BACKGROUND Understanding how people of diverse cultural backgrounds have traditionally used plants and animals as medicinal substances during displacements is one of the most important objectives of ethnopharmacological studies. An ethnopharmacological survey conducted among migrants living in the Southeast Atlantic Forest remnants (Diadema, São Paulo,(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)
Butyrylcholinesterase (BChE) is a plasma enzyme that catalyzes the hydrolysis of choline esters, including the muscle-relaxant succinylcholine and mivacurium. Patients who present sustained neuromuscular blockade after using succinylcholine usually carry BChE variants with reduced enzyme activity or an acquired BChE deficiency. We report here the molecular(More)
Classical Galactosemia (CG) is an inborn error of galactose metabolism caused by the deficiency of the galactose-1-phosphate uridyltransferase enzyme. It is transmitted as an autosomal recessive disease and is typically characterized by neonatal galactose intolerance, with complications ranging from neonatal jaundice and liver failure to late complications,(More)