Searched for: mods_originInfo_publisher_s:"MIT"
(1 - 9 of 9)
document
Liebenwein, Lucas (author), Schwarting, Wilko (author), Vasile, Cristian-Ioan (author), DeCastro, Jonathan (author), Alonso Mora, J. (author), Karaman, Sertac (author), Rus, Daniela (author)
Recent advances in autonomous driving have raised the problem of safety<br/>to the forefront and incentivized research into establishing safety guarantees. In this paper, we propose a safety verification framework as a safety standard for driving controllers with full or shared autonomy based on compositional and contract-based principles. Our...
conference paper 2017
document
Psyllidis, A. (author), Bozzon, A. (author), Bocconi, S. (author), Titos Bolivar, C. (author)
Understanding the complexity of urban dynamics requires the combination of information from multiple city data sources. Besides traditional urban data, geo-localized social media provide human-generated content, which may reflect in (near) real time the activities people undertake in cities. The challenge is to devise methods and tools that...
conference paper 2015
document
Karana, E. (author), Pedgley, O. (author), Rognoli, V. (author)
journal article 2015
document
Psyllidis, A. (author)
This paper presents a novel knowledge representation framework for smart city planning and management that enables the semantic integration of heterogeneous urban data from diverse sources. Currently, the combination of information across city agencies is cumbersome, as the increasingly available datasets are stored in disparate data silos,...
conference paper 2015
document
Tisma, A. (author), de Weerdt, M.M. (author), van Riemsdijk, M.B. (author), Warnier, Martijn (author), van der Velde, R (author)
Technologies collecting location-based data in the real world have advantages<br/>over traditional methods for landscape perception research. The<br/>possibility to relate geo-referenced responses of inhabitants to the physical<br/>and social data in expert GIS databases can lead to new insights into the<br/>difference between laymen and expert...
conference paper 2015
document
Absalom, Richard (author), Hartmann, L. (author), Luczak-Rösch, M (author), Plaat, A (author)
Searching for concepts in science and technology is often a difficult task. To facilitate concept search, different types of human-generated metadata have been created to define the content of scientific and technical disclosures. Classification schemes such as the International Patent Classification (IPC) and MEDLINE's MeSH are structured and...
conference paper 2014
document
Hajibeygi, H. (author), Tchelepi, H.A. (author)
conference paper 2013
document
Adams, A.A. (author), Hecker, G.E. (author)
Proceedings of the 4th conference organized by IAHR (section on experimental methods and physical modeling) on scale effects. Special keynotes and invited presentations describe the contributions of Dr. Keulegan and their relation to present work in mixing processes, stratified flow and other areas of fluid mechanics. These proceedings contain...
report 1990
document
Cross, R.H. (author), Sollitt, C. (author)
This report presents a theory for ocean wave transmission past breakwaters by overtopping, based on an evaluation of the energy content of the overtopping water. While several coefficients are subject to further investigation, the data shows that the general form of the equations developed is correct. Comparison with large-scale model tests...
report 1970
Searched for: mods_originInfo_publisher_s:"MIT"
(1 - 9 of 9)