Results 11 to 20 of about 1,018,595 (300)
Data protection preliminary verification translation: Italy [PDF]
Requested by Fineco Bank S.p.A.
Data protection preliminary verification translation:, Italy
core +13 more sources
Positioning via outdoor fingerprinting, which exploits the radio signals emitted by cellular towers, is fundamental in many applications. In most cases, the localization performance is affected by the availability of information about the emitters, such ...
Andrea Brunello +5 more
doaj +1 more source
Research on installation and application of an additive manufacturing gust lock bracket
According to the requirement of the installation of 3D printing technology,after the completion of the verification of materials and processes,the permissible value test of specimen level additive manufacturing materials and the additive manufacturing ...
LI Lei, ZHANG Zhongzhen, ZHANG Hao
doaj +1 more source
These data were used to build an object detection model to locate Relict Charcoal Hearths (RCH) as described in the paper “When Computers Dream of Charcoal: Using Deep Learning, Open Tools and Open Data to Identify Relict Charcoal Hearths in and around ...
Jeff Blackadar +2 more
doaj +1 more source
BIM-based Collaborative Management and Intelligent Manufacturing in the Shenzhong Link Project [PDF]
Building Information Modelling (BIM) technology has become a central topic in infrastructure construction industry recently in China. This paper describes the applications of BIM technology, including 3D digital design, intelligent manufacturing, smart ...
Liu Cheng +3 more
doaj +1 more source
These data were used to build an object detection model to locate Relict Charcoal Hearths (RCH) as described in the paper “When Computers Dream of Charcoal: Using Deep Learning, Open Tools and Open Data to Identify Relict Charcoal Hearths in and around ...
Weston Conner +2 more
doaj +1 more source
Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus [PDF]
The paper introduces a novel approach to the verification of spatial properties for finite [pi]-calculus specifications. The mechanism is based on a recently proposed graphical encoding for mobile calculi: Each process is mapped into a (ranked) graph ...
Gadducci, Fabio +5 more
core +1 more source
Data protection preliminary verification translation: Italy [PDF]
Requested by Fineco Bank S.p.A.
Data protection preliminary verification translation:, Italy
core +7 more sources
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.
core +2 more sources
In order to improve the construction method of highway tunnel fault, improve the excavation level, improve the construction efficiency, reduce the project cost, and shorten the construction period, so as to find a specific road, this paper puts forward ...
Banma Huang +3 more
doaj +1 more source

