Multi-feature enhancement fusion network for remote sensing image semantic segmentation. [PDF]
Zhang W +5 more
europepmc +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
MCM-YOLO: A Lightweight Conflict Mitigation Network for Industrial Metal Surface Defect Detection. [PDF]
Zhang S, He K, Xu J, Sha H, Chen Z.
europepmc +1 more source
Lightweight Anonymous Group Authentication and Quantum-Cloud Key Distribution Based on PUF for Classical Network Environments. [PDF]
Zhang H, Chen Y, Chen S, Zhao Z, Zhu D.
europepmc +1 more source
A Kyber-Based Lightweight Cloud-Assisted Authentication Scheme for Medical IoT. [PDF]
Yan H, Wang Z, Lin L, Sun J, Liu S.
europepmc +1 more source
CEA-DETR: A Multi-Scale Feature Fusion-Based Method for Wind Turbine Blade Surface Defect Detection. [PDF]
Luo X, Wang R, Zhang J, Zeng J, Cai X.
europepmc +1 more source
Adaptive management in disaster crisis: Role analysis in cross-sector collaboration. [PDF]
Meutia IF +4 more
europepmc +1 more source
A color image encryption scheme utilizing a logistic-sine chaotic map and cellular automata. [PDF]
Sun S +5 more
europepmc +1 more source
Related searches:
Functional Analysis of Cyberspace Operations
MILCOM 2018 - 2018 IEEE Military Communications Conference (MILCOM), 2018Cyberspace is a relatively new domain of operations for NATO, but also for many nations. Operations in cyberspace lack the doctrinal corpus and experience that operations in the other domains (land, air, sea) have accumulated over the years (or centuries, in many cases). The legal aspects of operating in a geographical domain that exceeds the Commander'
Alberto Domingo, Manisha Parmar
exaly +2 more sources
The topography of cyberspace and its consequences for operations
2018 10th International Conference on Cyber Conflict (CyCon), 2018For all the focus on cyberspace as a source of security threats and a domain of military operations, there has been little progress on establishing a consistent approach to describing what constitutes cyberspace. Dozens of definitions of the term "cyberspace" have been developed, but consensus on its essential attributes has yet to be achieved ...
exaly +3 more sources

