10451 Executive Summary -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

From November 7 to 12, 2010, the Dagstuhl Seminar 10451 \u27Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems\u27 was held in Schloss Dagstuhl -- Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This document puts together abstracts of the presentations given during the seminar, and provides links to extended abstracts or full papers, if available

10451 Abstracts Collection -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

From November 7 to 12, 2010, the Dagstuhl Seminar 10451 ``Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems\u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This document puts together abstracts of the presentations given during the seminar, and provides links to extended abstracts or full papers, if available

Aeronautical enginnering: A cumulative index to a continuing bibliography (supplement 312)

This is a cumulative index to the abstracts contained in NASA SP-7037 (301) through NASA SP-7073 (311) of Aeronautical Engineering: A Continuing Bibliography. NASA SP-7037 and its supplements have been compiled by the Center for AeroSpace Information of the National Aeronautics and Space Administration (NASA). This cumulative index includes subject, personal author, corporate source, foreign technology, contract number, report number, and accession number indexes

Aeronautical engineering: A continuing bibliography with indexes (supplement 249)

This bibliography lists 637 reports, articles, and other documents introduced into the NASA scientific and technical information system in November, 1988. Subject coverage includes: design, construction and testing of aircraft and aircraft engines; aircraft components, equipment and systems; ground support systems; and theoretical and applied aspects of aerodynamics and general fluid dynamics

Technology and Management Applied in Construction Engineering Projects

This book focuses on fundamental and applied research on construction project management. It presents research papers and practice-oriented papers. The execution of construction projects is specific and particularly difficult because each implementation is a unique, complex, and dynamic process that consists of several or more subprocesses that are related to each other, in which various aspects of the investment process participate. Therefore, there is still a vital need to study, research, and conclude the engineering technology and management applied in construction projects. This book present unanimous research approach is a result of many years of studies, conducted by 35 well experienced authors. The common subject of research concerns the development of methods and tools for modeling multi-criteria processes in construction engineering

European Distance and E-Learning Network (EDEN). Conference Proceedings

Erasmus+ Programme of the European UnionThe powerful combination of the information age and the consequent disruption caused by these unstable environments provides the impetus to look afresh and identify new models and approaches for education (e.g. OERs, MOOCs, PLEs, Learning Analytics etc.). For learners this has taken a fantastic leap into aggregating, curating and co-curating and co-producing outside the boundaries of formal learning environments – the networked learner is sharing voluntarily and for free, spontaneously with billions of people.Supported by Erasmus+ Programme of the European Unioninfo:eu-repo/semantics/publishedVersio

INNODOCT/20. International Conference on Innovation, Documentation and Education

La conferencia tiene como objetivo proporcionar un foro para académicos y profesionales que se reúnen para compartir la investigación, discutir ideas, proyectos actuales, resultados y desafíos relacionados con las Nuevas Tecnologías de la Información y Comunicación, Innovaciones y Metodologías aplicadas a la Educación y la Investigación.Garrigós Simón, FJ.; Estelles Miguel, S.; Lengua Lengua, I.; Narangajavana, Y. (2021). INNODOCT/20. International Conference on Innovation, Documentation and Education. Editorial Universitat Politècnica de València. http://hdl.handle.net/10251/161668EDITORIA