Results 11 to 20 of about 4,197,782 (360)
Procedia CIRP, 2016 Increased competition in the aerospace market has placed additional demands on aerospace manufacturers to reduce costs, increase product flexibility and improve manufacturing efficiency. There is a knowledge gap within the sphere of digital to physical dimensional verification and on how to successfully achieve dimensional specifications within real ...
Francis, Andrew +3 more
openaire +3 more sources
, 2011 This chapter presents different tools that have been developed inside the Sensoria project. Sensoria studied qualitative analysis techniques for verifying properties of service implementations with respect to their formal specifications. The tools presented in this chapter have been developed to carry out the analysis in an automated, or semi-automated,
M. Bartoletti +6 more
openaire +7 more sources
BMJ Evidence-Based Medicine, 2018 This article is part of the Catalogue of Bias series. We present a description of verification bias, and outline its potential impact on research studies and the preventive steps to minimise its risk. We also present teaching slides in the online supplementary file.
O'Sullivan, J +3 more
openaire +3 more sources
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems [PDF]
, 2013 . Hybrid systems with both discrete and continuous dynamics are an important model for real-world physical systems. The key challenge is how to ensure their correct functioning w.r.t. safety requirements.
Mitsch, Stefan +2 more
core +5 more sources
Additive Margin Softmax for Face Verification [PDF]
IEEE Signal Processing Letters, 2018 In this letter, we propose a conceptually simple and intuitive learning objective function, i.e., additive margin softmax, for face verification. In general, face verification tasks can be viewed as metric learning problems, even though lots of face ...
Feng Wang +3 more
semanticscholar +1 more source
Sensors and Actuators Reports, 2022 Food and beverage (F&B) industries employ containers to package, store and transport ingredients/products. High-speed capping of containers is prone to defective sealing, which affects containment and subsequently causes leaks during transportation ...
Hari Krishna Salila Vijayalal Mohan +2 more
doaj +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
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
Using feature-based verification methods to explore the spatial and temporal characteristics of the 2019 chlorophyll-a bloom season in a model of the European Northwest Shelf [PDF]
Ocean Science, 2021 Two feature-based verification methods, thus far only used for the diagnostic evaluation of atmospheric models, have been applied to compare ∼7 km resolution pre-operational analyses of chlorophyll-a (Chl-a) concentrations to a 1 km gridded satellite ...
M. Mittermaier +4 more
doaj +1 more source
The design and verification of MuMax3 [PDF]
, 2014 We report on the design, verification and performance of MUMAX3, an open-source GPU-accelerated micromagnetic simulation program. This software solves the time- and space dependent magnetization evolution in nano- to micro scale magnets using a finite ...
A. Vansteenkiste +4 more
semanticscholar +1 more source