A Rigorous Approach to Requirements Validation

Author(s):  
S. Sukumaran ◽  
A. Sreenivas ◽  
R. Venkatesh
Author(s):  
Jose B. Rosales Chavez ◽  
Meg Bruening ◽  
Punam Ohri-Vachaspati ◽  
Rebecca E. Lee ◽  
Megan Jehn

Street food stands (SFS) are an understudied element of the food environment. Previous SFS studies have not used a rigorous approach to document the availability, density, and distribution of SFS across neighborhood income levels and points of access in Mexico City. A random sample (n = 761) of street segments representing 20 low-, middle-, and high-income neighborhoods were assessed using geographic information system (GIS) and ground-truthing methods. All three income levels contained SFS. However, SFS availability and density were higher in middle-income neighborhoods. The distribution of SFS showed that SFS were most often found near homes, transportation centers, and worksites. SFS availability near schools may have been limited by local school policies. Additional studies are needed to further document relationships between SFS availability, density, and distribution, and current structures and processes.


Electronics ◽  
2021 ◽  
Vol 10 (3) ◽  
pp. 349
Author(s):  
Igor Aizenberg ◽  
Riccardo Belardi ◽  
Marco Bindi ◽  
Francesco Grasso ◽  
Stefano Manetti ◽  
...  

In this paper, we present a new method designed to recognize single parametric faults in analog circuits. The technique follows a rigorous approach constituted by three sequential steps: calculating the testability and extracting the ambiguity groups of the circuit under test (CUT); localizing the failure and putting it in the correct fault class (FC) via multi-frequency measurements or simulations; and (optional) estimating the value of the faulty component. The fabrication tolerances of the healthy components are taken into account in every step of the procedure. The work combines machine learning techniques, used for classification and approximation, with testability analysis procedures for analog circuits.


2012 ◽  
Vol 35 (3) ◽  
pp. 148-149 ◽  
Author(s):  
Gopikrishna Deshpande ◽  
K. Sathian ◽  
Xiaoping Hu ◽  
Joseph A. Buckhalt

AbstractAlthough the target article provides strong evidence against the locationist view, evidence for the constructionist view is inconclusive, because co-activation of brain regions does not necessarily imply connectivity between them. We propose a rigorous approach wherein connectivity between co-activated regions is first modeled using exploratory Granger causality, and then confirmed using dynamic causal modeling or Bayesian modeling.


Sign in / Sign up

Export Citation Format

Share Document