Abstract. On 7 April 2021, an exceptional bloom of the scyphomedusa Rhizostoma pulmo was observed in Gulf Trieste (Italy). Blooms this species northern Adriatic Sea have been reported since late 1800s: density jellyfish 2021 reached more than 10 specimens per square metre. We analyse from a multi-platform approach using observations and model data at different timescales. attempt to explain int...

A two-way-coupled duo grid primitive-equations-based ocean model is used in a 75-year simulation of the North Atlantic Ocean, Caribbean Sea and Gulf of Mexico region between 10◦ N and 73◦ N. All advection and horizontal pressure gradient terms are fourth-order accurate on a semi-Collocated control volume grid. By construction of surface freshwater and heat fluxes, the model multi-year ensemble ...

This paper presents a theory of dynamic slicing, which reveals that the relationship between static and dynamic slicing is more subtle than previously thought. The definitions of dynamic slicing are formulated in terms of the projection theory of slicing. This shows that existing forms of dynamic slicing contain three orthogonal dimensions in their slicing criteria and allows for a lattice-theo...

We outline a model of dimensional reasoning on time and space scales which integrates quantitative and qualitative knowledge about distances. At the core of this model lie constraints on interval boundaries, partial ordering and subsumption relations on interval relations and interval boundary constraints, as well as the transformation of interval relations to interval boundary constraints and ...

Finite model reasoning in expressive DLs such as ALCQI and SHIQ requires non-trivial algorithmic approaches that are substantially differerent from algorithms used for reasoning about unrestricted models. In contrast, finite model reasoning in the inexpressive fragment DL-LiteF of ALCQI and SHIQ is algorithmically rather simple: using a TBox completion procedure that reverses certain terminolog...