Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Intersection Types"”.
-
RSU-Based Intrusion Detection and Autonomous Intersection Response Systems
… Intrusion Response System (IRS) for a autonomous intersection was developed to protect again sybil attacks. The IRS utilizes adaptive switching between several intersection types to reduce delay by up to 78% compared to intersections without these defenses.
-
A New Approach To Identify The Expected Crash Patterns Based On Signalized Intersection Size And Analysis Of Vehicle Movements
Analysis of intersection crashes is a significant area in traffic safety research. This study contributes to the area by identifying traffic-geometric characteristics and driver demographics that affect different types of crashes at signalized intersections. A simple methodology to estimate crash …
-
Improving roundabouts for cyclists and visually impaired
… out in what way roundabouts differ from other intersection types and to investigate whether there are design solutions to make roundabouts more accessible. The results show that signalised intersections are more accessible than roundabouts. Despite this, they are not perceived as safer. …
-
Improving the Runtime Performance and Robustness of Hybrid Statically and Dynamically Typed Programming Languages
… system are a new interpretation of union and intersection types, the combination of syntax-directed and constraint-based type-checking, type inference of implicitly-typed dynamic and static references, and flow-sensitive type-checking. The type system has been implemented as an extension of a …
-
Extensible records in the System E Framework and a new approach to object-oriented type inference
… E, which supports first-class polymorphism via intersection types, and compositional type inference via expansion variables. However, research into System E has so far focused on refining and simplifying the formulation of expansion variables and exploring type inference algorithms with various …