Results 1 to 10 of about 489,046 (269)
Sensors, 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
Hangkong 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
Journal 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]
E3S 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
Journal 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
Parameterized verification [PDF]
International Journal on Software Tools for Technology Transfer, 2016 The goal of parameterized verification is to prove the correctness of a system specification regardless of the number of its components. The problem is of interest in several different areas: verification of hardware design, multithreaded programs, distributed systems, and communication protocols. The problem is undecidable in general.
Abdulla, Parosh A, DELZANNO, GIORGIO
openaire +2 more sources
International 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
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments
Sensors, 2021 Real-time estimation of temperatures in indoor environments is critical for several reasons, including the upkeep of comfort levels, the fulfillment of legal requirements, and energy efficiency. Unfortunately, setting an adequate number of sensors at the
Andrea Brunello +4 more
doaj +1 more source
Research on wireless acquisition and analysis system of gateway table data based on improved ACO algorithm [PDF]
E3S Web of ConferencesIn the past two years, due to the frequent combination of extreme weather and high primary energy prices and other factors, resulting in the continuous tension of power supply and demand in many places, the risk of power rationing has gradually increased.
An Chao, Wang Minzhe, Lv Lianxin
doaj +1 more source
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science, 2007 AbstractMost of the research effort towards verification of concurrent software has focused on multithreaded code. On the other hand, concurrency in low-end embedded systems is predominantly based on interrupts. Low-end embedded systems are ubiquitous in safety-critical applications such as those supporting transportation and medical automation; their ...
John Regehr, Nathan Cooprider
openaire +1 more source