Problem solving in ID-logic with aggregates: some experiments
The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the ...
Denecker, Marc, Van Nuffelen, Bert
core +1 more source
Waveform-level time-domain simulation comparison study of three shipboard power system architectures [PDF]
Detailed waveform-level modeling and simulation of three alternative shipboard power system architectures is presented herein. The three system architectures are based on conventional 60Hz medium-voltage ac (MVAC), higherfrequency 240Hz medium-voltage ac
Crider, J. +9 more
core
Among unmanned surface vehicle (USV) components, underwater thrusters are pivotal in their mission execution integrity. Yet, these thrusters directly interact with marine environments, making them perpetually susceptible to malfunctions.
Hyunjoon Cho +5 more
doaj +1 more source
Factors on the Effective Domain of Ship
K. Tanaka, K. Yamada
openaire +2 more sources
GUARANTEED ESTIMATION OF SHIPS� DOMAINS [PDF]
openaire +1 more source
SHIP-1 adapter functions mediate recruitment of FCRL1 to the BCR and inhibition of ERK. [PDF]
Wolfe MM +3 more
europepmc +1 more source
Numerical study on the 6-DOF motions of ship turning in waves. [PDF]
Zhan J, Ma Y, Zhan C, Shang H.
europepmc +1 more source
An Intelligent Ship Detection Algorithm Based on Visual Sensor Signal Processing for AIoT-Enabled Maritime Surveillance Automation. [PDF]
Zhang L, Jiang Y, Yang W, Liu B.
europepmc +1 more source
Improved AIS data simplification algorithm for extracting typical routes considering motion continuity. [PDF]
He J, Ruan J, Tong Y.
europepmc +1 more source
Wake-Independent Velocity Estimation and Motion Compensation for SAR Moving Target Based on Time-Frequency Analysis. [PDF]
Wen C +6 more
europepmc +1 more source

