An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems

Section 2.4 recalls two explicit formulas (see (2.37) and (2.38)) of prime number theory, some results about the roots of the Riemann ζ function, and explains the computation of

Outline: In Section 2, we recall fusion frames, state the phase retrieval problem, and introduce tight p-fusion frames and cubature formulas. We present the closed

To answer to the requirements of this process, we take advantage of our energy cartography framework to perform various energy measurement passes, and collect multiple energy samples

Due to tube geometrical characteristics and above hypothesis, central axis of a bent tube is used to describe tube behaviour or geometry in different manufacturing steps

This fault tree is aimed at describing all the causes of an undesirable event. In the case of automated systems, some of these causes are physical components failures; other ones

An important issue related to the first question is the role of counting strategies in the development of conceptual understanding of number and operations with numbers..

geomagnetic field polarization ratio increases which have been claimed to be related to the 15.. occurrence of moderate and strong

For digital components of safety- related systems, the method of improving on attributes of a checkability of the circuit and trustworthiness of the results calculated on