Results 11 to 20 of about 1,018,595 (300)

Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis

open access: yesSensors, 2022
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

open access: yesHangkong gongcheng jinzhan, 2023
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

Object Detection Model, Image Data and Results from the “When Computers Dream of Charcoal: Using Deep Learning, Open Tools and Open Data to Identify Relict Charcoal Hearths in and Around State Game Lands in Pennsylvania” Paper

open access: yesJournal of Open Archaeology Data, 2021
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]

open access: yesE3S Web of Conferences, 2019
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

Geospatial and Image Data from the “When Computers Dream of Charcoal: Using Deep Learning, Open Tools and Open Data to Identify Relict Charcoal Hearths in and Around State Game Lands in Pennsylvania” Paper

open access: yesJournal of Open Archaeology Data, 2021
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]

open access: yes, 2005
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

Computer Aided Verification

open access: yes, 2021
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

Stability Analysis and Construction Parameter Optimization of Tunnels in the Fractured Zone of Faults

open access: yesInternational Journal of Analytical Chemistry, 2022
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

Home - About - Disclaimer - Privacy