Search
Results
-
Metric First-Order Temporal Logic with Complex Data Types
(2023)Lecture Notes in Computer Science ~ Runtime VerificationTemporal logics are widely used in runtime verification as they enable the creation of declarative and compositional specifications. However, their ability to model complex data is limited. One must resort to complicated encoding schemes to express properties involving basic structures such as lists or trees. To avoid this drawback, we extend metric first-order temporal logic with a minimalistic, yet expressive, functional programming ...Conference Paper -
Heart Rate During Sleep Measured Using Finger-, Wrist-and Chest-Worn Devices: A Comparison Study
(2023)Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ~ Pervasive Computing Technologies for HealthcareWearable heart rate (HR) sensing devices are increasingly used to monitor human health. The availability and the quality of the HR measurements may however be affected by the body location at which the device is worn. The goal of this paper is to compare HR data collected from different devices and body locations and to investigate their interchangeability at different stages of the data analysis pipeline. To this goal, we conduct a data ...Conference Paper -
Comparing Mixed Reality Hand Gestures to Artificial Instruction Means for Small Target Objects
(2023)Lecture Notes in Networks and Systems ~ Proceedings of Eighth International Congress on Information and Communication TechnologyHand gestures are a valuable means for the instruction of complex handling processes. They are used and perceived in an intuitive way and outperform artificial representations such as arrows or symbols. On the other hand, referring finger gestures require a certain object size to avoid ambiguities, and often they are replaced by artificial means. However, this comes to the cost of reduced intuition due to the change of a hand gesture to ...Conference Paper -
Vibration Isolation Capabilities of a Low-Cost Seismic Isolation System Based on Elastomeric Rolling Spheres for Masonry Structures
(2024)RILEM Bookseries ~ Structural Analysis of Historical ConstructionsIn recent years, seismic isolation has been used as an effective retrofit technique to protect historical buildings and structures against earthquakes. However, for some isolation devices, man-induced low-amplitude vibrations (e.g., construction activities, vehicle, and rail traffic) can still be directly transmitted to the structure. These vibrations can cause damage and deteriorate structural elements if they persist during extended ...Conference Paper -
Trusted Introductions for Secure Messaging
(2023)Lecture Notes in Computer Science ~ Security Protocols XXVIIIAlthough today’s most prevalent end-to-end encrypted messaging platforms using the Signal Protocol perform opportunistic encryption and provide resistance to eavesdropping, they are still vulnerable to impersonation attacks. We propose Trusted Introductions, a mechanism to transfer existing identity verifications between users, to increase resistance to active attacks. The proposal builds on the out-of-band user identity verification ...Conference Paper -
Fast Shared-Memory Barrier Synchronization for a 1024-Cores RISC-V Many-Core Cluster
(2023)Lecture Notes in Computer Science ~ Embedded Computer Systems: Architectures, Modeling, and SimulationSynchronization is likely the most critical performance killer in shared-memory parallel programs. With the rise of multi-core and many-core processors, the relative impact on performance and energy overhead of synchronization is bound to grow. This paper focuses on barrier synchronization for TeraPool, a cluster of 1024 RISC-V processors with non-uniform memory access to a tightly coupled 4 MB shared L1 data memory. We compare the ...Conference Paper -
Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes
(2023)Lecture Notes in Computer Science ~ Advances in Cryptology – ASIACRYPT 2023Fuzzy Password-Authenticated Key Exchange (fuzzy PAKE) allows cryptographic keys to be generated from authentication data that is both fuzzy and of low entropy. The strong protection against offline attacks offered by fuzzy PAKE opens an interesting avenue towards secure biometric authentication, typo-tolerant password authentication, and automated IoT device pairing. Previous constructions of fuzzy PAKE are either based on Error Correcting ...Conference Paper -
Photovoltaics and hydropower – Potential study at Alpine reservoirs in Switzerland
(2023)Role of Dams and Reservoirs in a Successful Energy TransitionPhotovoltaics (PV) play a major role in Switzerland’s energy transition. Compared to conventional installations in urbanized areas, PV at high altitudes may yield a 30% increase in power generation due to stronger solar irradiation and lower module temperatures as well as a considerably higher production share in winter. Numerous Swiss hydropower reservoirs are situated above 1,000 ma.s.l. and already offer a good accessibility and grid ...Conference Paper -
Shifting to sharing
(2023)hEART 2023: 11th Symposium of the European Association for Research in TransportationShared mobility is discussed as one potential solution making transportation more sustainable since it can enable a more multi-modal behaviour and provides joint access to vehicle fleets. Research has focused on respective potentials for greenhouse gas (GHG) emission reductions. However, there are more external effects such as land use, accidents or noise that need to be incorporated in analyses. Thus, this work takes a systemic perspective ...Conference Paper -
Parametric Approach to Simplified Life Cycle Assessment of Bamboo Frame Buildings
(2021)The provision of sustainable housing solutions is one of the main challenges in emerging economy countries. Furthermore, it is clear that a sustainable solution should be based on renewable bio-based materials. The scientific and practical evidence clearly suggests that the use of bamboo in the provision of housing solutions not only brings environmental but also socio-economic benefits to the communities using these strategies. One barrier ...Conference Paper