Compositional and contract-based verification for autonomous driving on road networks

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...

Harnessing heterogeneous social data to explore, monitor, and visualize urban dynamics

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...

On materials experience

Ontology-based data integration from heterogeneous urban systems: A knowledge representation framework for smart cities

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,...

Smart Phones for a Smart City: Requirements for Context Aware Mobile Application for Landscape and Urban Planning

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...

Crowd-Sourcing Fuzzy and Faceted Classification for Concept Search

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...

Multiscale Finite Volume Formulation for Compositional Flows (abstract)

International Conference on Physical Modeling of Transport and Dispersion

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...

Wave transmission by overtopping

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...