搜索结果: 1-15 共查到“知识库 Automated”相关记录338条 . 查询时间(0.077 秒)
Semi-Automated Semantic Segmentation of Arctic Shorelines Using Very High-Resolution Airborne Imagery, Spectral Indices and Weakly Supervised Machine Learning Approaches
land water segmentation remote sensing deep learning sparse labels
2023/12/5
Precise coastal shoreline mapping is essential for monitoring changes in erosion rates, surface hydrology, and ecosystem structure and function. Monitoring water bodies in the Arctic National Wildlife...
A comprehensive and automated machine-learning platform for nucleic acid and protein sequence analysis, prediction and visualization
棉花 纤维品质 QTL 遗传基因组
2024/4/16
本研究在sGK9708×0-153、LMY22×LY343、鲁绵研28×新陆早24等多个重组自交系群体中通过综合考评表型变异和共有置信区间筛选主效QTL，结果表明在A04、A07、A08和D08染色体上存在重要的纤维品质相关QTL。其中，通过SGK9708×0-153群体的转录组数据在纤维长度和强度QTL中分别检测到50和48个候选基因。这些基因的共表达网络模块在多个RIL群体中的基因对之间表现出...
Automated Probe Repositioning for On-Die EM Measurements
side-channel analysis EM probe machine learning
2019/8/14
In side-channel analysis attacks, on-die localized EM monitoring enable high bandwidth measurements of only a relevant part of the Integrated Circuit (IC). This can lead to improved attacks compared t...
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures
signature schemes symbolic models formal methods
2019/7/10
The standard definition of security for digital signatures---existential unforgeability---does not ensure certain properties that protocol designers might expect. For example, in many modern signature...
Related-Key Boomerang Attacks on GIFT with Automated Trail Search Including BCT Effect
Boomerang connectivity table GIFT Automatic search
2019/6/10
In Eurocrypt 2018, Cid et al. proposed a novel notion called the boomerang connectivity table, which formalised the switch property in the middle round of boomerang distinguishers in a unified approac...
Contingent payments on a public ledger: models and reductions for automated verification
fair exchange security models blockchain
2019/5/9
We study protocols that rely on a public ledger infrastructure, concentrating on protocols for zero-knowledge contingent payment, whose security properties combine diverse notions of fairness and priv...
AUTOMATED DETECTION AND LAYOUT REGULARIZATION OF SIMILAR FEATURES IN INDOOR POINT CLOUD
Layout regularization Pattern detection Point cloud analysis Indoor modeling
2019/3/4
Automated identification of high-level structures in unorganized point cloud of indoor spaces Indoor space is an important aspect of scene analysis that provides essential information for many applica...
A FULLY AUTOMATED INCREMENTAL PHOTOGRAMMETRIC PROCESSING DEDICATED FOR COLLABORATIVE REMOTE-COMPUTING WORKFLOW
Close-Range Photogrammetry Structure From Motion MicMac
2019/3/4
Image based-modeling practices in the field of Cultural Heritage studies are nowadays no longer seen as one-shot applications but as various and complex multimodal scenarios. Current use of SFM and ph...
Automated software protection for the masses against side-channel attacks
Side-channel attack hiding polymorphism
2018/12/19
We present an approach and a tool to answer the need for effective, generic and easily applicable protections against side-channel attacks. The protection mechanism is based on code polymorphism, so t...
SEMI-AUTOMATED CEMETERY MAPPING USING SMARTPHONES
Cemetery Graves Smartphone mapping Geo-tagging OCR
2019/2/27
Cemeteries are being considered as a symbol of love, religion, and culture across the globe. The maps of cemetery and grave are the interest of individuals and communities, who wants to identify the r...
Automated Penalization of Data Breaches using Crypto-augmented Smart Contracts
Data leakage Oblivious transfer Smart Contracts
2018/11/2
This work studies the problem of automatically penalizing intentional or unintentional data breach (APDB) by a receiver/custodian receiving confidential data from a sender. We solve this problem by au...
AUTOMATED BUILDING DETECTION USING RANSAC FROM CLASSIFIED LIDAR POINT CLOUD DATA
LiDAR RANSAC Building Detection Plane Detection Python LAS Point Cloud
2018/11/8
For the past 10 years, the Philippines has seen and experienced the growing force of different natural disasters and because of this the Philippine governement started an initiative to use LiDAR techn...
AUTOMATED BUILDING DETECTION IN DENSE POINT CLOUD AND UPDATE OF OPEN SOURCE DATA BASES
Dense matching, Building detection Classification Digital Terrain Model openstreetmap point cloud
2018/11/9
In this paper a method of detecting buildings in dense populated city areas using a three-dimensional model, produced by aerial images, is described. Further to the detection of the outline of the bui...
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
formal verification noise protocol framework cryptographic protocols
2018/8/21
The Noise Protocol Framework, introduced recently, allows for the design and construction of secure channel protocols by describing them through a simple, restricted language from which complex key de...
Rethinking Secure FPGAs: Towards a Cryptography-friendly Configurable Cell Architecture and its Automated Design Flow
eFPGA ASIC
2018/8/8
This work proposes the first fine-grained configurable cell array specifically tailored for cryptographic implementations. The proposed architecture can be added to future FPGAs as an application-spec...