Keyword:Applications

Papers
Unmanned Aerial Systems in the U.S. Construction Industry: Exploratory Study on Current State of Practice Spoorthy Venkatesh Prakash, Caroline Clevenger and Manideep Tummalapudi In:ASC2022. 58th Annual Associated Schools of Construction International Conference
Results and Applications in Statistical Queuing Theory Manuel Alberto M. Ferreira EasyChair Preprint no. 7902
The Innovation Potential of Sensory Augmentation for Public Space Michel van Dartel and Alwin de Rooij EasyChair Preprint no. 1206
24 Challenges in Deductive Software Verification Reiner Hähnle and Marieke Huisman In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements