Results 31 to 40 of about 3,111 (191)
Data Transmission in Inland AIS System [PDF]
TransNav, 2010 The article presents the technical aspects of applying the marine Automatic Identification System (AIS) for the purposes of vessel traffic control in inland shipping.
Piotr Wolejsza
doaj
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.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
IEEE Access, 2022 To increase situational awareness of maritime vessels and other entities and to enable their exchange of various information, the International Maritime Organization mandated the use of the Automatic Identification System (AIS) in 2004. The AIS is a self-
Syed Khandker +3 more
doaj +1 more source
Advanced Science, EarlyView.This perspective contrasts the historical, linear progression of early AI with the dynamic, iterative nature of AI 4.0; and it describes the real‐world medical applications and the necessary evolution of laboratory infrastructure brought about by AI 4.0.
Weida Liu, Gary Peltz
wiley +1 more source
AIS Data Manipulation in the Illicit Global Oil Trade
Journal of Marine Science and Engineering, 2023 This article takes a close look at the landscape of global navigation satellite system (GNSS) spoofing. It is well known that automated identification system (AIS) spoofing can be used for electronic warfare to conceal military activities in sensitive ...
Andrej Androjna +4 more
doaj +1 more source
Advanced Intelligent Systems, EarlyView.A volatile‐switching compact model of electrochemical metallization memory cells for neuromorphic architecture is developed and validated by reliable reproduction of device characterization measurements: I−V sweeps, SET kinetics, relaxation dynamics.
Rana Walied Ahmad +4 more
wiley +1 more source
The Vulnerability of Inland Waterway AIS to GNSS Radio Frequency Interference
Engineering Proceedings, 2023 GNSS is an indispensable source of positioning, navigation and timing for many sectors, including inland waterway transport. Unfortunately, GNSS is also vulnerable to interference, including intentional jamming and spoofing.
Jakub Steiner +3 more
doaj +1 more source
Advanced Intelligent Systems, EarlyView.A hybrid Reinforcement Learning–Explainable AI framework integrates SHAP and LIME explanations directly into a Deep Q‐Network inference loop for real‐time ICU decision support. Trained on 18 142 mechanically ventilated stays from the eICU database, the system attains 93.0% decision accuracy, 20% fewer errors than RL alone, and a 91% clinician trust ...
Jannatul Ferdaus Disha +2 more
wiley +1 more source
Automatic Identification System (AIS) Collection and Reach-back System: System Description [PDF]
, 2014 Abstract : The Naval Research Laboratory (NRL) designed the Automatic Identification System (AIS) Collection and Reach-back System (ACRBS) to address a critical shortfall in the ability of the Military Sealift Command (MSC) to securely obtain and share its MSC ship position data along with the AIS data from all other surface contacts within AIS range ...
null Mark E. +6 more
openaire +1 more source
Five Issues of Artificial Intelligence in Science: Sailing the Ship of Theseus
Annals of Neurology, EarlyView.Artificial intelligence (AI) is becoming part of the working infrastructure of academic medicine. Because grants convert scientific ideas into protected time, infrastructure, and institutional priority, they provide a revealing test case for AI's effects on biomedicine. Five issues are emerging: language, agency, review, doership, and identity.
S. Thomas Carmichael
wiley +1 more source