Publications

Temporal pattern matching tasks require the detection of situations of interest based on streams of symbolic events. The Run-Time Event Calculus (RTEC) is a formal framework that represents situations of interest as time-varying properties called ‘fluents’. Temporal patterns often express ‘Boolean combinations’ of situations; RTEC features two types of fluents that may model such patterns:

Predictive Maintenance (PM) represents a transformative approach applied in industry and, naturally, within the transportation sector, optimizing infrastructure functionality and resilience, while minimizing resources and costs. Diverging from traditional maintenance strategies, such as reactive and corrective methods, PM employs digital technologies—Edge and Cloud Computing, Internet of Things (IoT), Artificial Intelligence (AI)—to proactively anticipate and prevent

This chapter discusses some key considerations of central bank digital currency (CBDC) design to identify the potential benefits and risks of the CBDC issuance for global financial integration. First, it provides an overview of all CBDC design choices under investigation and development. Since the efficiency and integration of payment systems, the strengthening of financial stability

This paper develops a logistic regression model in an in-house credit assessmentsystem (ICAS) framework for predicting corporate defaults in the Greekeconomy. We consider the impact of the COVID-19 pandemic and the associatedgovernment financial support schemes, aiming to protect against financialvulnerabilities, on the probability of default of non-financial firms, as well asthe relevant sectoral and firm-size

Evacuating a large and complex environment, such as a large passenger vessel, either cruise or RoPax, is a safety-critical task that involves thousands of people in motion and a complex decision-making process. Despite the significant enhancement of maritime safety over the years, various hazards still pose threats to passengers and crew. To deal with this

The environmental impact of shipping sector includes the pollution caused by vessels to air and water environment. The water pollution is primarily caused by ship accidents and by untreated ballast water. To avoid maritime accidents, a complex system of regulations and safety management measures has been initiated to minimize and possibly avoid similar maritime disasters

This research is focused upon the evaluation of safe birth clause pursuant to US law, in conjunction with UK law, based on the recent US Supreme Court ruling over “ATHOS I”, which was fixed pursuant to an ASBATANKVOY charterparty to carry a cargo of heavy crude oil from Venezuela to Paulsboro, New Jersey. The dispute

The impact of the Parallel Registration is pretty apparent in modern shipping. Traces of Parallel Registration, Dual Registration, Demise Charter Registration and Bareboat Charter Registration can be found in both the Open Ship Registries system and the traditional Closed Ship Registries. The stance of both the new maritime nations and the traditional Flag States towards

The international maritime transport sector is known as one of the oldest industries in the world. Ships are used for various purposes from transportation to military and they are considered vital for global trade since their main use is for the transport of goods around the world. Currently, the international commercial shipping sector is carrying

Shipbuilding and shipping industries are comprehensive sectors with various types of manufacturing and operation phases. Ship manufacturing is a complicated body of processes including mainly painting, blasting, cutting and welding. Painting is the most important emission producer stage amongst all. Ship operation phase is the longest stage of a ship’s life cycle and due to