Results 71 to 80 of about 28,203,158 (308)
A Visual Analysis Approach to Understand and Explore Quality Problems of AIS Data
Low quality automatic identification system (AIS) data often mislead analysts to a misunderstanding of ship behavior analysis and to making incorrect navigation risk assessments.
Wei He +5 more
doaj +1 more source
Data for: A novel framework for regional collision risk identification based on AIS data
The data uploaded are decoded and extracted from AIS raw data for case studies. The data were used for validation and comparison with traditional models in the paper.
Wu, Zhaolin, Wu, Z (via Mendeley Data)
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
AIS Data Vulnerability Indicated by a Spoofing Case-Study
This paper takes a close look at the landscape of the Automatic Identification System (AIS) as a major source of information for maritime situational awareness (MSA) and identifies its vulnerabilities and challenges for safe navigation and shipping.
Andrej Androjna +3 more
doaj +1 more source
AIS President\u27s Report - 1998 [PDF]
This report presents the results to the end of 1998.
Davis, Gordon B., Gordon B. Davis
core +1 more source
In this study, we unveil a thymus‐brain endocrine axis wherein Tα1 engages HCRTR1 to inhibit RIPK3‐mediated necroptosis. This study nominates the Tal‐HCRTR1‐RIPK3 axis as a potent and clinically translatable therapeutic target for stroke and neurodegeneration.
Xinmei Kang +11 more
wiley +1 more source
Usage AIS Data for Analyzing Ship's Motion Intensity [PDF]
In preliminary unit of report were introduced order, structure and format of VDM code sended by the AIS VHF data link. Described the process of decoding combination of binary chains sentences describe from ITU R M. 1371.In principle unit analyse of ships
Krzysztof Naus +2 more
doaj
AIS SCLC 2021 Final Awards and Closing Session [PDF]
This is a recording of the AIS National SCLC 2021 Final Awards and Closing ...
Lopes, Alex
core
After ischemic stroke, injured neurons transfer circMagi1 to endothelial cells through extracellular vesicles. Within endothelial cells, circMagi1 binds ANXA2 and enhances its engagement with TRIM65, promoting ANXA2 ubiquitination and proteasomal degradation to constrain angiogenic repair.
Youkun Bi +16 more
wiley +1 more source
The Piraeus AIS dataset for large-scale maritime data analytics
The advent of Big Data and streaming technologies has resulted in a swarm of voluminous, heterogeneous information, especially in the domains of Internet of Things (IoT) and transportation.
Andreas Tritsarolis +2 more
doaj +1 more source

