Navigation with Probabilistic Safety Constraints: A Convex Formulation
We consider the problem of navigation with safety constraints. The safety constraints are probabilistic, where a given set is assigned a degree of safety, a number between zero and one, with zero being safe and one being unsafe. The deterministic unsafe set will arise as a particular case of the proposed probabilistic description of safety.
Joseph Moyalan +2 more
openaire +2 more sources
Integration of Safety Analysis in Model-Driven Software Development [PDF]
I Safety critical software requires integrating verification techniques in software development methods. Software architectures must guarantee that developed systems will meet safety requirements and safety analyses are frequently used in the assessment.
Fernández Briones, Javier +3 more
core +1 more source
Semantic Modelling of Ship Behavior in Harbor Based on Ontology and Dynamic Bayesian Network
Recognizing ship behavior is important for maritime situation awareness and intelligent transportation management. Some scholars extracted ship behaviors from massive trajectory data by statistical analysis.
Yuanqiao Wen +8 more
doaj +1 more source
Wave height nowcasting on moving vessels using adaptive feature selection and KAN-enhanced BiLSTM
Accurate short-term nowcasting of significant wave height (SWH) is important for ship safety and onboard operational decision-making on moving vessels.
Zeping Liu +5 more
doaj +1 more source
ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Oceanic long-distance navigation: Do experienced migrants use the Earth's magnetic field? [PDF]
Albatrosses and sea turtles are known to perform extremely long-distance journeys between disparate feeding areas and breeding sites located on small, isolated, oceanic islands or at specific coastal sites.
Åkesson, Susanne, +8 more
core +1 more source
Ship behavior pattern recognition method based on hybrid graph neural networks
IntroductionAccurate identification of ship behavioral patterns is essential for maritime management, contributing to improved regulatory efficiency, accident prevention, navigation safety, and scheduling. However, traditional methods often struggle with
Lin Ma +5 more
doaj +1 more source
Engineering peptides into antibodies—opportunities and strategies for therapeutic innovation
Peptides and antibodies occupy complementary therapeutic niches. Peptides recognize difficult targets in a compact format, while antibodies add specificity, long half‐life, and effector functions. This review examines strategies that merge both modalities—peptide grafting into loops, terminal and Fc fusions, and bioconjugation—highlighting how ...
Jinling Wang +2 more
wiley +1 more source
Cancer‐associated mutations in endometriosis reframe a benign disease through molecular oncology
This review aims to comprehensively analyse cancer‐associated somatic mutations (CAMs) present in endometriotic lesions, emphasizing their biological roles, spatial distribution and implications for translational applications in medicine. By contextualizing a benign state within a genomic framework, this analysis seeks to establish its value as a ...
Clarissa Mujacic +15 more
wiley +1 more source
Human errors analysis for remotely controlled ships during collision avoidance
To address human errors in collision avoidance tasks of remotely controlled ships, this study aims to develop a comprehensive framework for human error analysis within the context of autonomous ships.
Ying Zhou +14 more
doaj +1 more source

