Results 1 to 10 of about 828,996 (313)
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
Independent verification and validation of an industrial simulation model [PDF]
, 2010 The independent verification and validation (IV&V) of simulation models is largely restricted to applications in the military and public policy domains. There is little evidence of IV&V for industrial simulation models. This is largely because industrial
Brooks RJ +3 more
core +1 more source
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
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
, 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