-
Vessel and Port Efficiency Metrics through Validated AIS data
Authors:
Tomaz Martincic,
Dejan Stepec,
Joao Pita Costa,
Kristijan Cagran,
Athanasios Chaldeakis
Abstract:
Automatic Identification System (AIS) data represents a rich source of information about maritime traffic and offers a great potential for data analytics and predictive modeling solutions, which can help optimizing logistic chains and to reduce environmental impacts. In this work, we address the main limitations of the validity of AIS navigational data fields, by proposing a machine learning-based…
▽ More
Automatic Identification System (AIS) data represents a rich source of information about maritime traffic and offers a great potential for data analytics and predictive modeling solutions, which can help optimizing logistic chains and to reduce environmental impacts. In this work, we address the main limitations of the validity of AIS navigational data fields, by proposing a machine learning-based data-driven methodology to detect and (to the possible extent) also correct erroneous data. Additionally, we propose a metric that can be used by vessel operators and ports to express numerically their business and environmental efficiency through time and spatial dimensions, enabled with the obtained validated AIS data. We also demonstrate Port Area Vessel Movements (PARES) tool, which demonstrates the proposed solutions.
△ Less
Submitted 30 April, 2021;
originally announced May 2021.
-
Machine Learning based System for Vessel Turnaround Time Prediction
Authors:
Dejan Stepec,
Tomaz Martincic,
Fabrice Klein,
Daniel Vladusic,
Joao Pita Costa
Abstract:
In this paper, we present a novel system for predicting vessel turnaround time, based on machine learning and standardized port call data. We also investigate the use of specific external maritime big data, to enhance the accuracy of the available data and improve the performance of the developed system. An extensive evaluation is performed in Port of Bordeaux, where we report the results on 11 ye…
▽ More
In this paper, we present a novel system for predicting vessel turnaround time, based on machine learning and standardized port call data. We also investigate the use of specific external maritime big data, to enhance the accuracy of the available data and improve the performance of the developed system. An extensive evaluation is performed in Port of Bordeaux, where we report the results on 11 years of historical port call data and provide verification on live, operational data from the port. The proposed automated data-driven turnaround time prediction system is able to perform with increased accuracy, in comparison with the current manual expert-based system in Port of Bordeaux.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
A methodology to evaluate the evolution of networks using topological data analysis
Authors:
Joao Pita Costa,
Tihana Galinac Grbac
Abstract:
Networks are important representations in computer science to communicate structural aspects of a given system of interacting components. The evolution of a network has several topological properties that can provide us information on the network itself. In this paper, we present a methodology to compare the the topological characteristics of the evolution of a network, encoded into a (persistence…
▽ More
Networks are important representations in computer science to communicate structural aspects of a given system of interacting components. The evolution of a network has several topological properties that can provide us information on the network itself. In this paper, we present a methodology to compare the the topological characteristics of the evolution of a network, encoded into a (persistence) diagram that tracks the lifetimes of those features. This will enable us to classify the evolution of networks based on the distance between the diagrams that represent such network evolution. In that, we also consider complex vectors that bring a complementary perspective to the distance-based classification that is closer to the computational methods, aims to enhance the computational efficiency of those comparisons, and that is by itself a source of open research questions.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
An Adaptive CM Array Preconditioner for Blind Multi-User Separation
Authors:
Stanislaw Gorlow,
João Paulo C. L. da Costa,
and Martin Haardt
Abstract:
The family of constant-modulus algorithms is widely used in wireless communication systems and in radar. The classical constant-modulus adaptive (CMA) algorithm, however, fails to lock onto a single mode when used in conjunction with an antenna array. Instead, it equalizes the entire spatial spectrum. In this paper, we describe in full detail our recently proposed approach for the separation of mu…
▽ More
The family of constant-modulus algorithms is widely used in wireless communication systems and in radar. The classical constant-modulus adaptive (CMA) algorithm, however, fails to lock onto a single mode when used in conjunction with an antenna array. Instead, it equalizes the entire spatial spectrum. In this paper, we describe in full detail our recently proposed approach for the separation of multiple users in a radio system with frequency reuse, such as a cellular network, making use of the CMA algorithm. Based on the observation that the differential filter weights resemble a superposition of the array steering vectors, we cast the original task to a direction-of-arrival estimation problem. With rigorous theoretical analysis of the array response based on the discrete-space Fourier transform we elaborate a solution that solves the problem by finding the roots of a polynomial equation. We provide a numerical example to demonstrate the validity of the approach under high-SNR conditions. In addition, we propose a more general preprocessor for the CMA array which allows the modulated signals to differ in amplitude. As a byproduct, the preprocessor yields a low-cost estimate of the number of concurrent users, i.e. the model order, by simply counting the roots with the strongest response.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology
Authors:
João Pita Costa,
Mikael Vejdemo Johansson,
Primož Škraba
Abstract:
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, permuting the encoding of topological features…
▽ More
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, permuting the encoding of topological features by so called barcodes or equivalently persistence diagrams. The set of points of all such diagrams determines a complete Heyting algebra that can explain aspects of the relations between persistent bars through the algebraic properties of its underlying lattice structure. In this paper, we investigate the topos of sheaves over such algebra, as well as discuss its construction and potential for a generalised simplicial homology over it. In particular we are interested in establishing a topos theoretic unifying theory for the various flavours of persistent homology that have emerged so far, providing a global perspective over the algebraic foundations of applied and computational topology.
△ Less
Submitted 21 June, 2015; v1 submitted 30 September, 2014;
originally announced September 2014.
-
Aspects of an internal logic for persistence
Authors:
João Pita Costa,
Primož Škraba,
Mikael Vejdemo-Johansson
Abstract:
The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of algebraic logic to the study of persistence based on a new operation on the ordered structure of the input diagram of vector spaces and linear maps given by a filtratio…
▽ More
The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of algebraic logic to the study of persistence based on a new operation on the ordered structure of the input diagram of vector spaces and linear maps given by a filtration. Within the context of persistence theory, we give an analysis of the underlying algebra, derive universal properties and discuss new applications. We highlight the definition of the implication operation within this construction, as well as interpret its meaning within persistent homology, multidimensional persistence and zig-zag persistence.
△ Less
Submitted 15 September, 2014; v1 submitted 12 September, 2014;
originally announced September 2014.
-
Flat Coset Decompositions of Skew Lattices
Authors:
Joao Pita Costa,
Karin Cvetko-Vah
Abstract:
Skew lattices are non-commutative generalizations of lattices, and the cosets represent the building blocks that skew lattices are built of. As by Leech's Second Decomposition Theorem any skew lattice embeds into a direct product of a left-handed skew lattice by a right-handed one, it is natural to consider the so called flat coset decompositions, i.e. decompositions of a skew lattice into right a…
▽ More
Skew lattices are non-commutative generalizations of lattices, and the cosets represent the building blocks that skew lattices are built of. As by Leech's Second Decomposition Theorem any skew lattice embeds into a direct product of a left-handed skew lattice by a right-handed one, it is natural to consider the so called flat coset decompositions, i.e. decompositions of a skew lattice into right and left cosets, thus finding the smallest atoms that compose the structure.
△ Less
Submitted 27 July, 2019; v1 submitted 10 June, 2014;
originally announced June 2014.
-
A Lattice for Persistence
Authors:
Primož Škraba,
João Pita Costa
Abstract:
The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the most prominent areas of research in computational topology in the past 20 years. In this paper we will introduce an alternative interpretation of persistence based…
▽ More
The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the most prominent areas of research in computational topology in the past 20 years. In this paper we will introduce an alternative interpretation of persistence based on the study of the order structure of its correspondent lattice. Its algorithmic construction leads to two operations on homology groups which describe a diagram of spaces as a complete Heyting algebra, which is a generalization of a Boolean algebra. We investigate some of the properties of this lattice, the algorithmic implications of it, and some possible applications.
△ Less
Submitted 31 January, 2014; v1 submitted 16 July, 2013;
originally announced July 2013.
-
On the coset category of a skew lattice
Authors:
Joao Pita Costa
Abstract:
Skew lattices are non-commutative generalizations of lattices. The coset structure decomposition is an original approach to the study of these algebras describing the relation between its rectangular classes. In this paper we will look at the category determined by these rectangular algebras and the morphisms between them, showing that not all skew lattices can determine such a category. Furthermo…
▽ More
Skew lattices are non-commutative generalizations of lattices. The coset structure decomposition is an original approach to the study of these algebras describing the relation between its rectangular classes. In this paper we will look at the category determined by these rectangular algebras and the morphisms between them, showing that not all skew lattices can determine such a category. Furthermore, we will present a class of examples of skew lattices in rings that are not strictly categorical, and present sufficient conditions for skew lattices of matrices in rings to constitute $\wedge$-distributive skew lattices.
△ Less
Submitted 9 July, 2014; v1 submitted 5 July, 2013;
originally announced July 2013.
-
Distributivity in skew lattices
Authors:
Michael Kinyon,
Jonathan Leech,
Joao Pita Costa
Abstract:
Distributive skew lattices satisfying $x\wedge (y\vee z)\wedge x = (x\wedge y\wedge x) \vee (x\wedge z\wedge x)$ and its dual are studied, along with the larger class of linearly distributive skew lattices, whose totally preordered subalgebras are distributive. Linear distributivity is characterized in terms of the behavior of the natural partial order between comparable $\DD$-classes. This leads…
▽ More
Distributive skew lattices satisfying $x\wedge (y\vee z)\wedge x = (x\wedge y\wedge x) \vee (x\wedge z\wedge x)$ and its dual are studied, along with the larger class of linearly distributive skew lattices, whose totally preordered subalgebras are distributive. Linear distributivity is characterized in terms of the behavior of the natural partial order between comparable $\DD$-classes. This leads to a second characterization in terms of strictly categorical skew lattices. Criteria are given for both types of skew lattices to be distributive.
△ Less
Submitted 24 June, 2013;
originally announced June 2013.
-
On the coset structure of a skew lattice
Authors:
Joao Pita Costa
Abstract:
The class of skew lattices can be seen as an algebraic category. It models an algebraic theory in the category of Sets where the Green's relation D is a congruence describing an adjunction to the category of Lattices. In this paper we will discuss the relevance of this approach, revisit some known decompositions and relate the order structure of a skew lattice with its coset structure that describ…
▽ More
The class of skew lattices can be seen as an algebraic category. It models an algebraic theory in the category of Sets where the Green's relation D is a congruence describing an adjunction to the category of Lattices. In this paper we will discuss the relevance of this approach, revisit some known decompositions and relate the order structure of a skew lattice with its coset structure that describes the internal coset decomposition of the respective algebra.
△ Less
Submitted 28 December, 2012;
originally announced February 2013.
-
On the coset structure of distributive skew lattices
Authors:
Joao Pita Costa
Abstract:
In the latest developments in the theory of skew lattices, distributivity has been one of the main topics of study. The largest classes of examples of such algebras are distributive. Unlike what happens in lattices, the properties of cancellation and distributivity are independent for skew lattices. In this paper we will discuss several aspects of distributivity in the absence of commutativity, re…
▽ More
In the latest developments in the theory of skew lattices, distributivity has been one of the main topics of study. The largest classes of examples of such algebras are distributive. Unlike what happens in lattices, the properties of cancellation and distributivity are independent for skew lattices. In this paper we will discuss several aspects of distributivity in the absence of commutativity, review the recent results by Kinyon and Leech on these matters and have an insight on the coset structure of those algebras that satisfy this property. We will also discuss combinatorial implications of these results.
△ Less
Submitted 5 July, 2013; v1 submitted 28 December, 2012;
originally announced December 2012.
-
On ideals of a skew lattice
Authors:
Joao Pita Costa
Abstract:
Ideals are one of the main topics of interest to the study of the order structure of an algebra. Due to their nice properties, ideals have an important role both in lattice theory and semigroup theory. Two natural concepts of ideal can be derived, respectively, from the two concepts of order that arise in the context of skew lattices. The correspondence between the ideals of a skew lattice, derive…
▽ More
Ideals are one of the main topics of interest to the study of the order structure of an algebra. Due to their nice properties, ideals have an important role both in lattice theory and semigroup theory. Two natural concepts of ideal can be derived, respectively, from the two concepts of order that arise in the context of skew lattices. The correspondence between the ideals of a skew lattice, derived from the preorder, and the ideals of its respective lattice image is clear. Though, skew ideals, derived from the partial order, seem to be closer to the specific nature of skew lattices. In this paper we review ideals in skew lattices and discuss the intersection of this with the study of the coset structure of a skew lattice.
△ Less
Submitted 24 September, 2012; v1 submitted 1 July, 2012;
originally announced July 2012.
