Van Kampen's Theorem and Fundamental Groupoids

Calculating the Fundamental Group of the Circle in Homotopy Type Theory: Formalized in the Coq Unimath library

Mortgage credit and house prices: The housing market equilibrium revisited

Inferring vehicle spacing in urban traffic from trajectory data

Uncertainties and their treatment in the quantitative risk assessment of domino effects: Classification and review

Framing the opportunities of robotics in meaningful autonomous vehicle experiences: An exploration of fundamental needs, AI-systems, and user interfaces

On the fundamental solutions-based inversion of Laplace matrices

Achieving 23.83% conversion efficiency in silicon heterojunction solar cell with ultra-thin MoO_x hole collector layer via tailoring (i)a-Si:H/MoO_x interface

Distributed Model-Free Adaptive Predictive Control for Urban Traffic Networks

Designing for Well-being during Covid-19: Converting daily activities into [un]conscious pursuits of joy

Designing a more inclusive museum experience: A strategic service concept to contribute to inclusion in the museum sector, by facilitating a mutually beneficial relationship between museums and their audiences

Macroscopic Characteristics of Bicycle Traffic Flow: A bird's-eye view of cycling

Numerical prediction of the dynamic properties of a historic masonry structure: A Case Study of The Old Church in Garrelsweer, Groningen

An Analysis of the Factors Influencing the Capacity of Constrained Urban Airspace

Optimizing distribution of metered traffic flow in perimeter control: Queue and delay balancing approaches

Physical limitations on fundamental efficiency of set-based brownian circuits

How many cars in the city are too many?: Towards finding the optimal modal split for a multi-modal urban road network

Exploring perspectives in the public debate with emotional awareness: Design to reduce polarization

Microtask crowdsourcing for music score Transcriptions: an experiment with error detection

Nature–Inspired self–cleaning surfaces: Mechanisms, modelling, and manufacturing