In earlier work, we had presented a definition of software fault as being any feature of a program that admits a substitution that would make the program more-correct. This definition requires, in turn, that we define the ...

Faults are an important concept in the study of system dependability, and most approaches to dependability can be characterized by the way in which they deal with faults (e.g., fault avoidance, fault removal, fault tolerance, ...

Radiometric corrections serve to remove the effects that alter the spectral characteristics of land features, except for actual changes in ground target, becoming mandatory in multi‐sensor, multi‐date studies. In this ...

The absolute atmospheric correction inputs are not always available, and then such parameters are assumed based on geographical location, acquisition time and sensor type. These assumptions can imply in errors in retrieving ...

In this talk we want to study one-loop corrections in VSRSM. In particular, we use the new Sim(2)-invariant dimensional regularization to compute one-loop corrections to the Effective Action in the subsector of the VSRSM ...

Massive Open Online Courses (MOOCs) allow the participation of hundreds of students who are interested in a wide range of areas. Given the huge attainable enrollment rate, it is almost impossible to suggest complex homework ...

The dielectric strength of air gaps is affected by air density, humidity and temperature. In order to normalize external insulation strength of power equipment under different conditions, such effects need to be taken into ...

Memory researchers have long been captivated by the nature of memory distortions and have made efforts to identify the neural correlates of true and false memories. However, the underlying mechanisms of avoiding false ...