objective: the ideal time to commence orthodontic treatment is very important. in iran, due to the widely distributed population and low number and uneven distribution of orthodontists, general dental practitioners (gdps) play an important role in proper treatment of occlusal and functional disorders and referring orthodontic patients to orthodontists. the purpose of this study was to assess th...

It is well known that security properties are not preserved by refinement, and that refinement can introduce new, covert, channels, such as timing channels. The finalisation step in refinement can be analysed to identify some of these channels, as unwanted finalisations that can break the assumptions of the formal model. We introduce a taxonomy of such unwanted finalisations, and give examples ...

Area bloat in physical synthesis not only increases power dissipation, but also creates congestion problems, forces designers to enlarge the die area, rerun the whole design flow, and postpone the design deadline. As a result, it is vital for physical synthesis tools to achieve timing closure and low power consumption with intelligent area control. The major sources of area increase in a typica...

This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or failures is developed. The concept of the semimirror is introduced to allow conformance checking thus supporting hierarchical verification of timed circuits and systems. Finally, we relate our framework to those previ...

In this paper we introduce a method for computing the Elmore delay of MOS circuits which relies on a model of the capacitance of MOS devices and a model of the Elmore delay of individual MOS devices. The resistance of a device is not explicitly modelled. The Elmore models are used to compute the Elmore delay and the 50% point delay of CMOS circuits in a static timing veri er. Elmore delays comp...

We review the results of a timing analysis of the observations for ten bright X-ray pulsars (with fluxes > 100 mCrab in the 20-100 keV energy band) that fell within the INTEGRAL field of view from 2003 to 2007. The dependence of the pulse profile on the energy and intrinsic source luminosity has been investigated; particular attention has been paid to searching for changes in the pulse profile ...

Thank you for submitting your manuscript on mouse Rif1 and replication timing for consideration by The EMBO Journal. It has now been evaluated by three referees, whose reports are copied below. While the all consider your findings as potentially important, interesting and timely, they at the same time find the study presently still preliminary, and raise a number of very substantive concerns th...