The veri cation of timed systems is extremely important but also extremely di cult Several methods have been proposed to assist in this task including extensions to symbolic model checking One possible use of model checking to analyze timed systems is by modeling passage of time as the number of taken transitions and ap plying quantitative algorithms to determine the timing parameters of the sy...

This paper presents an overview of the economics literature on the effect of Corporate Average Fuel Economy (CAFE) standards on the new vehicle market. Since 1978, CAFE has imposed fuel economy standards for cars and light trucks sold in the U.S. market. This paper reviews the history of the standards, followed by a discussion of the major upcoming changes in implementation and stringency. It d...

BACKGROUND Although colorectal cancer is the third most common cancer in women, little is known about predictors of adherence to screening. METHODS A randomly selected sample of 202 predominantly low-income and African-American women were interviewed. Knowledge of, attitudes and beliefs about, and practices related to flexible sigmoidoscopy (FS) screening were assessed. RESULTS The majority...

This article calls for engaging the public and private sectors of developing and industrialized countries in a global clean cooking fuel initiative (GCCFI) to bring about a worldwide shift to clean fluid fuels for cooking and heating in 10-15 years’ time -with an emphasis on providing clean fuel to the poorest households. This initiative is crucial to implementation of the Millennium Developmen...

We study competition between two multi-product firms with distinct production technologies in a market where customers have heterogeneous preferences on a single taste attribute. The mass customizer (MC) has a perfectly flexible production technology, thus can offer any variety within a product space, represented by Hotelling’s (1929) linear city. The mass producer (MP) has a more focused produ...

We proposed the flexible thermoelectric generator (TEG) using double side FPCB (flexible printed circuit boards). The proposed flexible thermoelectric generator has the unique vertical structure. The heat of the flexible thermoelectric generator flows vertically via plated through hole (PTH). The n-type (Bi-Te) and p-type (Sb-Te) thin films are deposited by the co-evaporator and patterned using...

This study provides an analysis of multistory reinforced concrete residential buildings to earthquakes considering local uplift foundation, soil behaviour, site category and seismicity area as suggested by the Moroccan seismic regulation. The superstructure was modeled a flexible column with lumped mass placed at top under hypothesis large rotations or small rotations. governing equations coupl...