Conference Contributions
Lower-level publication types
-
Conference Paper [24568]
-
Conference Poster [1769]
-
Conference Proceedings [437]
-
Other Conference Item [13772]
Recent Submissions
-
Application of Carbon Fiber Reinforced Polymer Sandwich Structures in Multiaxial Testing Machines
(2018)Conference Paper -
Big-Data Informed Citizen Participatory Urban Identity Design
(2018)The identity of an urban environment is important because it contributes to self-identity, a sense of community, and a sense of place. However, under present-day conditions, the identities of expanding cities are rapidly deteriorating and vanishing, especially in the case of Asian cities. Therefore, cities need to build their urban identity, which includes the past and points to the future. At the same time, cities need to add new features ...Conference Proceedings -
100 Gbit/s Graphene Photodetector
(2018)OSA Technical Digest ~ Advanced Photonics 2018 (BGPP, IPR, NP, NOMA, Sensors, Networks, SPPCom, SOF)Conference Paper -
Close relationships and career goals: How significant others facilitate career goal attainment
(2018)Career goals are an important aspect of career management, yet few studies investigate the processes involved in career goal attainment. Our study addresses the question if the most significant other person in one’s social environment can facilitate career goal attainment. Drawing on transactive goal dynamics theory (Fitzsimons, Finkel, & vanDellen, 2015), we assume that if the most significant other shares one’s career goal more resources ...Conference Paper -
Prototype development for mobile and automated auditory sleep stimulation
(2018)Conference Poster -
Prototype development for mobile and automated auditory sleep stimulation
(2018)Conference Poster -
-
Book of Abstracts. Symposium Lightweight Design in Product Development, Zurich, 14.06. - 15.06.2018
(2018)The symposium Lightweight Design in Product Development (LWD-PD18) was held June 14th – 15th 2018 at ETH Zurich, Switzerland. Today more than ever, economic growth, prosperity and mobility need to be balanced with the limited availability of natural resources and energy reserves. In this context, lightweight systems play a central role by the realization of sustainable products and components, minimizing material and energy consumption ...Conference Proceedings -
Intersections of Our World
(2018)10th International Conference on Geographic Information ScienceThere are several situations where the type of a street intersections can become very important, especially in the case of navigation studies. The types of intersections affect the route complexity and this has to be accounted for, e.g., already during the experimental design phase of a navigation study. In this work we introduce a formal definition for intersection types and present a framework that allows for extracting information about ...Conference Paper -
Gaze Sequences and Map Task Complexity
(2018)10th International Conference on Geographic Information ScienceAs maps are visual representations of spatial context to communicate geographic information, analysis of gaze behavior is promising to improve map design. In this research we investigate the impact of map task complexity and different legend types on the visual attention of a user. With an eye tracking experiment we could show that the complexity of two map tasks can be measured and compared based on AOI sequences analysis. This knowledge ...Conference Paper -
Practical UC-Secure Delegatable Credentials with Attributes and Their Application to Blockchain
(2017)CCS '17 Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications SecurityConference Paper -
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
(2018)2018 IEEE 31st Computer Security Foundations Symposium (CSF)Exclusive-or (XOR) operations are common in cryptographic protocols, in particular in RFID protocols and electronic payment protocols. Although there are numerous applications, due to the inherent complexity of faithful models of XOR, there is only limited tool support for the verification of cryptographic protocols using XOR. The TAMARIN prover is a state-of-the-art verification tool for cryptographic protocols in the symbolic ...Conference Paper -
Anonymous Attestation with Subverted TPMs
(2017)Lecture Notes in Computer Science ~ Advances in Cryptology – CRYPTO 2017Conference Paper -
A Topological Review On Recent Improvements Of Three-Phase Impedance Source Inverter
(2017)2017 Nineteenth International Middle East Power Systems Conference (MEPCON)Conference Paper -
Developing a smartphone app for tracking digital biomarkers of low back pain
(2018)Other Conference Item -
-
Impact of Coatings Delamination on the Performance of Stress Grading in Form-Wound Stator Coil
(2017)2017 Nineteenth International Middle East Power Systems Conference (MEPCON)Conference Paper -
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
(2018)Lecture Notes in Computer Science ~ Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, ProceedingsConference Paper -
Multispectral camera fusion increases robustness of ROI detection for biosignal estimation with nearables in real-world scenarios
(2018)Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 2018Thermal cameras enable non-contact estimation of the respiratory rate (RR). Accurate estimation of RR is highly dependent on the reliable detection of the region of interest (ROI), especially when using cameras with low pixel resolution. We present a novel approach for the automatic detection of the human nose ROI, based on facial landmark detection from an RGB camera that is fused with the thermal image after tracking. We evaluated the ...Conference Paper