Publications
Chosen filters:
Chosen filters:
Synthesizing efficiently monitorable formulas in metric temporal logic University of Antwerp
In runtime verification, manually formalizing a specification for monitoring system executions is a tedious and error-prone process. To address this issue, we consider the problem of automatically synthesizing formal specifications from system executions. To demonstrate our approach, we consider the popular specification language Metric Temporal Logic (MTL), which is particularly tailored towards specifying temporal properties for cyber-physical ...
The role of reinforced interface adhesive layer to construct resilient pavement University of Antwerp
Resilience in general captures the goals of maintaining the continuity of performance and recovery to the desired function during an infrastructure designated service life. Nevertheless, pavement infrastructure is particularly vulnerable to the impacts of climate change due to being continuously exposed to outdoor conditions. Constructing a pavement that is resilient to a changing climate will necessitate challenging changes in materials, ...
Deep learning model compression for resource efficient activity recognition on edge devices University of Antwerp
This paper presents an approach to adapt an existing activity recognition model for efficient deployment on edge devices. The used model, called YOWO (You Only Watch Once), is a prominent deep learning model. Given its computational complexity, direct deployment on resource-constrained edge devices is challenging. To address this, we propose a two-stage compression methodology consisting of structured channel pruning and quantization. The goal ...
Recognizing actions in high-resolution low-framerate videos University of Antwerp
Action recognition addresses the automated comprehension of human actions within images or video sequences. Its applications extend across critical areas, mediating between visual perception and intelligent decision-making. However, action recognition encounters multifaceted challenges, including limited annotated data, background clutter, and varying illumination conditions. In the context of the construction sector, distinct challenges arise, ...
Effect of carbonation on non-destructive strength and durability assessment of limestone based concrete University of Antwerp
For the condition assessment and determination of residual bearing capacity of existing concrete structures, strength and durability related properties of the reinforced element are of high importance. Assessment of these properties can be performed by (i) destructive testing of drilled cores and testing the extracted samples in lab environment for compressive strength evaluation and determination of carbonation depth and (ii) indirect methods ...
Advances in digital human modeling University of Antwerp
This book reports on advances in human modeling techniques, covering cutting-edge algorithms and their practical implementation in health and medicine, automotive, clothing, virtual reality simulations, robotics, and assistive technologies. Gathering the proceedings of the 8th International Digital Human Modeling Symposium, held on September 4-6, 2023, in Antwerp, Belgium, it offers a timely snapshot on interdisciplinary, applied research, at ...
Recommender systems, autonomy and user engagement University of Antwerp
Recommender systems form the backbone of modern e-commerce, suggesting items to users based on the collection of algorithmic data of a user's preferences. Companies that use recommender systems claim that they can give users what they want, or more precisely, what they desire. Netflix, for example, gives users recommended movies based on the user's behaviour on the platform, thereby listing new movies that the user may want to watch. This ...
Drone Robotic Construction University of Antwerp
The economic and social impacts of robotic construction in Architecture, Engineering, and construction (AEC) are hard to assess and quantify without physical in situ testing, which is expensive and time-consuming This paper presents a methodology for the simulation of robotic construction technologies, namely drones, in a human-machine cooperation (HMC) using virtual (VR) and augmented (AR) reality environments. The developed methodology for ...