This work aims to develop approximate depth estimation methods for three-dimensional computer vision in unmanned vehicles (UVs) based on a developed wavelet transformation-based optimization method. This method can as...
详细信息
The proceedings contain 25 papers. The special focus in this conference is on Software Engineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a...
ISBN:
(纸本)9783031773815
The proceedings contain 25 papers. The special focus in this conference is on Software Engineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a Policy Framework for Regulating External Calls in Smart Contracts;exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability;a Formal modeling Language for Smart Contracts;symbolic Execution for Precise Information Flow Analysis of Timed Concurrent systems;Validating Traces of Distributed Programs Against TLA+ Specifications;partially-Observable Security Games for Attack-Defence Analysis in Software systems;secure Smart Contracts with Isabelle/Solidity;Deductive Verification of SYCL in VerCors;minuska: Towards a Formally Verified Programming Language Framework;hierarchical Learning of Generative Automaton Models from Sequential Data;composing Run-Time Variability Models;model-Checking the Implementation of Consent;grammarForge: Learning Program Input Grammars for Fuzz Testing;verified Configuration and Deployment of Layered Attestation Managers;right or Wrong – Understanding How Users Write Software Models in Alloy;an Operational Semantics for Yul;execution-Time Opacity Control for Timed Automata;unlocking the Power of Environment Assumptions for Unit Proofs;towards Quantum Multiparty Session Types;automated Invariant Generation for Efficient Deductive Reasoning About Embedded systems;formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards;leveraging Contracts for Failure Monitoring and Identification in Automated Driving systems.
Appliance load monitoring is used to determine an individual's residential energy usage by analyzing appliances' voltage and current changes in a household. The approach determines how much power each applianc...
详细信息
In this paper we present the Medical Treatment Graph (MTG) and Bayesian network to model the therapy of patients with type 1 diabetes at onset. Both approaches graphically represent the clinical pathways and allow to ...
详细信息
Land Use/Land Cover Analysis is conducted to perform continuous monitoring and assessment of land resources in order to manage the Land Usage and Land Utilization and to take the right decisions to protect the environ...
详细信息
In today's dynamic healthcare environment an efficient allocation of healthcare resources is essential for overall positive outcomes of healthcare processes and patient's satisfaction. A preliminary stage for ...
详细信息
In this study, we present a middleware-based approach for detecting anomalies in distributed systems. Our method facilitates the dynamic collection of logs at various levels of detail and incorporates an a priori dict...
详细信息
Scientific research increasingly relies on distributed computational resources, storage systems, networks, and instruments, ranging from HPC and cloud systems to edge devices. Event-driven architecture (EDA) benefits ...
详细信息
Combinators, as defined originally by Moses Schönfinkel, give rise to a Turing-complete model of computation. This paper presents a diagrammatic representation of combinators as presheaves defined over a category...
详细信息
The field of Structural Health Monitoring (SHM) aims to manage the built heritage, buildings and infrastructures, to first and foremost avoid collapse, detect early sign of damage and plan maintenance. As regards brid...
详细信息
The field of Structural Health Monitoring (SHM) aims to manage the built heritage, buildings and infrastructures, to first and foremost avoid collapse, detect early sign of damage and plan maintenance. As regards bridges and footbridges, structural health conditions are tightly coupled with modal properties, attainable from structural vibrations. The assessment of vibrations is traditionally obtained with measuring systems composed of sensors directly installed on the structure. Despite the large diffusion of these systems, their use may be unfeasible due to the necessity of an expensive and time-consuming installation of the acquisition system. A promising approach to characterize the footbridge dynamic behavior is represented by computer vision-based techniques, that require the installation of only one or more cameras together with, if necessary, some targets on the monitored structure. The vision-based approach is totally non-invasive, low-cost and enables the direct measurement of structural displacements. The aim of the present paper is to investigate the potential of vision-based techniques for the dynamic identification of structures, analyzing some preliminary results of dynamic tests performed on a steel footbridge. Structural vibrations caused by a jumping pedestrian were acquired from a camera as well as by an accelerometer-based monitoring system installed for comparison purposes. The paper presents and discusses the post-processing of the video frames with particular emphasis on vertical dynamic movements related to bending and torsional modes, comparing vision-based results with data obtained from accelerometers.
暂无评论