07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems

From March 5 to March 9, 2007, the Dagstuhl Seminar 07101 ``Quantitative Aspects of Embedded Systems\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Aerospace Medicine and Biology: A Continuing Bibliography with Indexes

This report lists reports, articles and other documents recently announced in the NASA STI Database

Dagstuhl News January - December 2007

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic

Aerospace Medicine and Biology: A continuing bibliography with indexes (supplement 314)

This bibliography lists 139 reports, articles, and other documents introduced into the NASA scientific and technical information system in August, 1988

Aerospace medicine and biology: A continuing bibliography with indexes (supplement 355)

This bibliography lists 147 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during October, 1991. Subject coverage includes: aerospace medicine and psychology, life support systems and controlled environments, safety equipment, exobiology and extraterrestrial life, and flight crew behavior and performance

Aerospace Medicine and Biology: A Continuing Bibliography with Indexes

This report lists reports, articles and other documents recently announced in the NASA STI Database

Aeronautical Engineering: A Continuing Bibliography with Indexes

This supplemental issue of Aeronautical Engineering, A Continuing Bibliography with Indexes (NASA/SP-1999-7037) lists reports, articles, and other documents recently announced in the NASA STI Database. The coverage includes documents on the engineering and theoretical aspects of design, construction, evaluation, testing, operation, and performance of aircraft (including aircraft engines) and associated components, equipment, and systems. It also includes research and development in aerodynamics, aeronautics, and ground support equipment for aeronautical vehicles. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. Two indexes-subject and author are included after the abstract section

Aerospace medicine and biology: A continuing bibliography with indexes (supplement 361)

This bibliography lists 141 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during Mar. 1992. Subject coverage includes: aerospace medicine and physiology, life support systems and man/system technology, protective clothing, exobiology and extraterrestrial life, planetary biology, and flight crew behavior and performance