Formal proofs for broadcast algorithms [PDF]
, 2014 Standard distributed algorithmic solutions to recurring distributed problems are commonly specified and described informally. A proper understanding of these distributed algorithms that clarifies ambiguities requires formal descriptions.
Francalanza, Adrian, Zammit, Mandy
core +1 more source
Limitations and Practical Applicability of SEMIS Methodology in Intact Stability Assessment [PDF]
TransNavThis paper applies the SEMIS (Simple Evaluation Methodology for Intact Stability) approach to a 13593 DWT general cargo vessel for stability assessment using only metacentric height (GM).
Pawel Kacprzak
doaj +1 more source
A Bidirectional Imitation-Learning Framework for Real Time Trajectory Planning in Automatic Berthing [PDF]
TransNavThis paper presents a bidirectional imitation-learning framework for AIS-based real-time trajectory planning in automatic berthing. The framework connects a ship’s current state with a prescribed terminal berthing condition by using two imitation ...
Takefumi Higaki, Hirotada Hashimoto
doaj +1 more source
Methods and Algorithms of Subsurface Holographic Sounding
Remote Sensing, 2022 In our experiments, we develop and test portable multi-element receiver antenna arrays, electrically scanned in order to immediately obtain a recognizable image of subsurface objects.
A. V. Popov +5 more
doaj +1 more source
07391 Abstracts Collection – Probabilistic Methods in the Design and Analysis of Algorithms [PDF]
, 2007 From 23.09.2007 to 28.09.2007, the Dagstuhl Seminar 07391 "Probabilistic Methods in the Design and Analysis of Algorithms''was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Teng, Shang-Hua +3 more
core +1 more source
Designing a YOLOv8n-based Video Surveillance System for Ship Aspect Recognition [PDF]
TransNavAccording to the Convention on the International Regulations for Preventing Collisions at Sea (COLREGs), vessels must maintain an effective lookout by sight, hearing, and all available technical means, taking into account prevailing circumstances and ...
Olena Pashenko +2 more
doaj +1 more source
Optimisation of the weighting functions of an H∞ controller using genetic algorithms and structured genetic algorithms [PDF]
, 2008 In this paper the optimisation of the weighting functions for an H<sub>∞</sub> controller using genetic algorithms and structured genetic algorithms is considered. The choice of the weighting functions is one of the key steps in the design of
McGookin, E.W. +2 more
core +1 more source
Determination of Hydrodynamic Coefficients of Moonpool from Free Decay and Forced Oscillation Tests Including the Influence of Damping Plates [PDF]
TransNavThe paper presents Reynolds-Averaged Navier–Stokes (RANS) simulations of a hull with a moonpool, aiming to determine its hydrodynamic coefficients and to evaluate the effect of damping plates.
Ewelina Ciba +2 more
doaj +1 more source
AligNet: alignment of protein-protein interaction networks
BMC Bioinformatics, 2020 Background All molecular functions and biological processes are carried out by groups of proteins that interact with each other. Metaproteomic data continuously generates new proteins whose molecular functions and relations must be discovered.
Adrià Alcalá +4 more
doaj +1 more source
Monitoring and Evaluating Sustainable Mobility in a Fragmented Port-City Environment: Evidence from a Maritime University [PDF]
TransNavThe implementation of sustainable mobility initiatives in academic institutions plays a crucial role in shaping environmentally friendly transport behaviours and enhancing urban accessibility.
Agnieszka Jankowska +3 more
doaj +1 more source