Taking care of the incentives of people with limited rationality is a challenging research direction that requires novel paradigms to design mechanisms. Obviously strategyproof (OSP) mechanisms have recently emerged as the concept of interest to this research agenda. How-ever, the majority of the literature in the area has either highlighted the shortcomings of OSP or focused on the “right” definition rather than on the construction ...

Detection of type-3 and type-4 clones remains a difficult task. Current methods are complex, both on a conceptual and computational level. Similarly, their usage requires substantial implementation efforts. Instead of creating yet another method, it might be more productive to combine the simplicity of syntactic approaches with the abstractions granted by intermediate representations (IR). To this end, we devised a c-like IR based on LLVM ...

An alternative approach for real-time network- wide traffic control in cities that has recently gained a lot of interest is perimeter flow control. The focus of the current work is to study two aspects that are not covered in the perimeter control literature, which are: (a) integration of appropriate external demand information that has been considered sys- tem disturbance in the derivation of feedback control laws in previous works, and ...

Developing virtual reality (VR) simulations for replication of real-world studies in spatial cognition research is a tedious process, as numerous processes must be considered to achieve correspondence. In this chapter, we describe the develop-ment of a virtual model for a replication of a real-world study in the Seattle Cen-tral Library. The aim is to pragmatically report challenges and solutions in trans-lating real-world conditions of ...