Search
Results
-
Monitoring usage-control policies in distributed systems
(2011)18th International Symposium on Temporal Representation and Reasoning (TIME) 2011 : 12-14 September 2011, Lübeck, GermanyWe have previously presented a monitoring algorithm for compliance checking of policies formalized in an expressive metric first-order temporal logic. We explain here the steps required to go from the original algorithm to a working infrastructure capable of monitoring an existing distributed application producing millions of log entries per day. The main challenge is to correctly and efficiently monitor the trace interleavings obtained ...Conference Paper -
-
A Case for Atmospheric Transmittance: Solar Energy Prediction in Wireless Sensor Nodes
(2018)2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)In this paper, we propose four novel schemes for solar energy prediction in wireless sensor nodes. Two of the schemes (WCMA-T and ProEnergy-T) are extensions of stateof-the-art schemes, while the remaining schemes (EWMA-T and Delta-T) are new. The proposed strategies leverage the extraterrestrial solar model [5] to get better prediction accuracy compared to state-of-the-art. We restrict our scope to schemes that only employ local information. ...Conference Paper -
Punching behaviour of continuous two-way CLT flat slabs at interior connections to columns
(2018)Proceedings of the 2018 World Conference on Timber EngineeringIn this contribution, results from punching tests on cross-laminated timber (CLT) plates with a central opening are shown. The tested plates represent the area on top of a column in a continuous slab system. Six different plates were tested. They differ in the diameter of the opening, the load introduction area and the use of additional reinforcement. The test showed that for spruce CLT the limiting size in respect to load bearing capacity ...Conference Paper -
Leveraging Deep Visual Descriptors for Hierarchical Efficient Localization
(2018)Proceedings of Machine Learning Research ~ Proceedings of the 2nd Conference on Robot Learning (CoRL 2018)Conference Paper -
Model Adaptation with Synthetic and Real Data for Semantic Dense Foggy Scene Understanding
(2018)Lecture Notes in Computer Science ~ Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XIIIThis work addresses the problem of semantic scene understanding under dense fog. Although considerable progress has been made in semantic scene understanding, it is mainly related to clear-weather scenes. Extending recognition methods to adverse weather conditions such as fog is crucial for outdoor applications. In this paper, we propose a novel method, named Curriculum Model Adaptation (CMAda), which gradually adapts a semantic segmentation ...Conference Paper -
Hybrid Roofscape – Development and experimental results of roof-integrated PV/T-collectors for ZeroEmission-LowEx building systems
(2014)World Sustainable Building 2014 Barcelona Conference - Conference Proceedings - Volume 6Conference Paper -
VLSI Design of Large-Scale Soft-Output MIMO Detection Using Conjugate Gradients
(2015)2015 IEEE International Symposium on Circuits and Systems (ISCAS)We propose an FPGA design for soft-output data detection in orthogonal frequency-division multiplexing (OFDM)-based large-scale (multi-user) MIMO systems. To reduce the high computational complexity of data detection, our design uses a modified version of the conjugate gradient least square (CGLS) algorithm. In contrast to existing linear detection algorithms for massive MIMO systems, our method avoids two of the most complex tasks, namely ...Conference Paper -
Information Directed Sampling and Bandits with Heteroscedastic Noise
(2018)Proceedings of Machine Learning Research ~ Proceedings of the 31st Conference On Learning Theory (COLT 2018)In the stochastic bandit problem, the goal is to maximize an unknown function via a sequence of noisy evaluations. Typically, the observation noise is assumed to be independent of the evaluation point and to satisfy a tail bound uniformly on the domain; a restrictive assumption for many applications. In this work, we consider bandits with heteroscedastic noise, where we explicitly allow the noise distribution to depend on the evaluation ...Conference Paper -
End-to-end Real-time Guarantees in Wireless Cyber-physical Systems
(2016)Proceedings 2016 IEEE Real-Time Systems Symposium. RTSS 2016Conference Paper