The world has recently seen a tremendous proliferation in the use of XML for data exchange. In addition, XML is increasingly used as a replacement for HTML on the Web or in large intranets. As XML provides means to structure data and tag it with rich annotations, retrieving information in the XML-based Web is radically different from today's widely used keyword-based search engines. It is also ...

• Design and formal verification of component-based complex systems (distributed, mobile, real-time and hybrid systems) and application to mechatronics, automobile, aeronautics and telecommunications industrial problems. • Semantic-based systems architectures and applications: Ontology-based systems architectures and application to e-learning systems, semantic integration of data and services, ...

The research activities described in this document were supported by the Utah State University Economics Research Institute in 2001. The Economics Research Institute was founded in 1965 to provide training opportunities for graduate students and to assist in the solution of local, regional, and national economic problems. Utah Agricultural Experiment Station (UABS) has provided ongoing support ...

My research activities live at the intersection of particle physics and cosmology, focusing on probing the unseen components of the universe through the methods of particle physics and astronomy. These include dark matter, which is widely believed to be a new subatomic particle that may also be a sign of physics beyond the Standard Model, and dark energy, whose existence is well established and...