English
Related papers

Related papers: Modelling and Analysing Cargo Screening Processes:…

200 papers

Mixed-criticality real-time scheduling has been developed to improve resource utilization while guaranteeing safe execution of critical applications. These studies use optimistic resource reservation for all the applications to improve…

Operating Systems · Computer Science 2020-04-07 Xiaozhe Gu , Arvind Easwaran , Kieu-My Phan , Insik Shin

Decision making and requirements scoping occupy central roles in helping to develop products that are demanded by the customers and ensuring company strategies are accurately realized in product scope. Many companies experience continuous…

Software Engineering · Computer Science 2016-11-15 Krzysztof Wnuk , Markus Borg , Sardar Muhammad Sulaman

Modern security operation centers (SOCs) rely on operators and a tapestry of logging and alerting tools with large scale collection and query abilities. SOC investigations are tedious as they rely on manual efforts to query diverse data…

Accurate maneuvering estimation is essential to establish autonomous berthing control. The system-based mathematical model is widely used to estimate the ship's maneuver. Commonly, the system parameters of the mathematical model are…

Systems and Control · Electrical Eng. & Systems 2021-11-12 Yoshiki Miyauchi , Atsuo Maki , Naoya Umeda , Dimas M. Rachman , Youhei Akimoto

Conventional Bayesian estimation requires an accurate stochastic model of a system. However, this requirement is not always met in many practical cases where the system is not completely known or may differ from the assumed model. For such…

Signal Processing · Electrical Eng. & Systems 2023-04-05 Ranjeet Kumar Tiwari , Shovan Bhaumik

In recent years, maritime traffic has increased, especially in seaborne trade. To ensure safety, security, and environmental protection, various systems have been deployed, often combining data for improved effectiveness. One key…

Signal Processing · Electrical Eng. & Systems 2024-01-26 Yassir Zardoua , Bilal Sebbar , Moussab Chbeine , Abdelali Astito , Mohammed Boulaala

Bolting operations are critical in industrial assembly and in the maintenance of scientific facilities, requiring high precision and robustness to faults. Although robotic solutions have the potential to improve operational safety and…

Robotics · Computer Science 2025-11-14 Lorenzo Pagliara , Violeta Redondo , Enrico Ferrentino , Manuel Ferre , Pasquale Chiacchio

Scenario-based testing is a promising method to develop, verify and validate automated driving systems (ADS) since pure on-road testing seems inefficient for complex traffic environments. A major challenge for this approach is the provision…

Software Engineering · Computer Science 2024-04-22 Michael Schuldes , Christoph Glasmacher , Lutz Eckstein

Onboard autonomy technologies such as planning and scheduling, identification of scientific targets, and content-based data summarization, will lead to exciting new space science missions. However, the challenge of operating missions with…

Containerization is a virtualization technique that allows one to create and run executables consistently on any infrastructure. Compared to virtual machines, containers are lighter since they do not bundle a (guest) operating system but…

Software Engineering · Computer Science 2023-03-08 Luciano Baresi , Giovanni Quattrocchi , Nicholas Rasi

Configuring a storage system to better serve an application is a challenging task complicated by a multidimensional, discrete configuration space and the high cost of space exploration (e.g., by running the application with different…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-06-11 Lauro Beltrão Costa , Abmar Barros , Samer Al-Kiswany , Hao Yang , Emalayan Vairavanathan , Matei Ripeanu

We consider a distribution logistics scenario where a shipping operator, managing a limited amount of resources, receives a stream of collection requests, issued by a set of customers along a booking time-horizon, that are referred to a…

Optimization and Control · Mathematics 2023-07-04 Giovanni Giallombardo , Francesca Guerriero , Giovanna Miglionico

Control tasks with safety requirements under high levels of model uncertainty are increasingly common. Machine learning techniques are frequently used to address such tasks, typically by leveraging model error bounds to specify robust…

Robotics · Computer Science 2025-06-13 Alexandre Capone , Ryan Cosner , Aaaron Ames , Sandra Hirche

Container terminals, pivotal nodes in the network of empty container movement, hold significant potential for enhancing operational efficiency within terminal depots through effective collaboration between transporters and terminal…

Systems and Control · Electrical Eng. & Systems 2025-03-18 Arthur Cartel Foahom Gouabou , Mohammed Al-Kharaz , Faouzi Hakimi , Tarek Khaled , Kenza Amzil

Operators performing high-stakes, safety-critical tasks - such as air traffic controllers, surgeons, or mission control personnel - must maintain exceptional cognitive performance under variable and often stressful conditions. This paper…

Human-Computer Interaction · Computer Science 2025-06-30 Maciej Grzeszczuk , Grzegorz Pochwatko , Barbara Karpowicz , Stanisław Knapiński , Wiesław Kopeć

The use of drones in logistics is gaining more and more interest, and drones are becoming a more viable and common way of distributing parcels in an urban environment. As a consequence, there is a flourishing production of articles in the…

Discrete Mathematics · Computer Science 2021-07-29 Mauro Dell'Amico , Roberto Montemanni , Stefano Novellani

A submarine's sonar team is responsible for detecting, localising and classifying targets using information provided by the platform's sensor suite. The information used to make these assessments is typically uncertain and/or incomplete and…

Artificial Intelligence · Computer Science 2013-02-08 Todd Michael Mansell

As cloud computing continues to advance and become an integral part of modern IT infrastructure, container security has emerged as a critical factor in ensuring the smooth operation of cloud-native applications. An attacker can attack the…

Cryptography and Security · Computer Science 2025-09-22 Kai Tan , Dongyang Zhan , Lin Ye , Hongli Zhang , Binxing Fang , Zhihong Tian

Sustaining high fidelity and high throughput of perception tasks over vision sensor streams on edge devices remains a formidable challenge, especially given the continuing increase in image sizes (e.g., generated by 4K cameras) and…

Multimedia · Computer Science 2023-05-08 Ila Gokarn , Hemanth Sabella , Yigong Hu , Tarek Abdelzaher , Archan Misra

This report covers an intelligent decision support system (IDSS), which handles an efficient and effective way to rapidly inspect containerized cargos for defection. Defection is either cargo exposure to radiation, physical damages such as…

Artificial Intelligence · Computer Science 2015-06-16 Philip B. Alipour , Matteus Magnusson , Martin W. Olsson , Nooshin H. Ghasemi , Lawrence Henesey