nec is inflammatory necrosis of intestine with most common site being terminal ileum and ascending colon in preterm babies (1). the condition is typically seen in premature infants, and the timing of its onset is generally inversely proportional to the gestational age of the baby at birth, i.e. the earlier a baby is born, longer is the time of risk for nec in premature babies. the incidence of ...

This paper presents a method of deriving a performance metric for timed asynchronous circuits called a stochastic cycle period, which uses analytical techniques combined with simulation to capture the stochastic profile of the system. The stochastic cycle period is constructed by finding transition and steady-state probabilities in a reachability graph of the timed circuit. The transition and s...

Based on QCD-inspired models for multiple jets production, we developed a Monte Carlo program to study jet and the associated particle production in high energy pp, pA and AA collisions. The physics behind the program which includes multiple minijet production, soft excitation, nuclear shadowing of parton distribution functions and jet interaction in dense matter is briefly discussed. A detaile...

For testing of sequential software it is usually sufficient to provide the same input (and program state) in order to reproduce the output. For real-time systems, on the other hand, we need also to control, or observe, the timing and order of the inputs. If the system additionally is multitasking, we also need to take timing and the concurrency of the executing tasks into account. In this paper...

We examine a conservation problem in which the recovery of an endangered species depends on a captive breeding and reintroduction program. The model is applied to the case of the black-footed ferret (Mustela nigripes), an endangered species in North America reliant on captive breeding for survival. The timing of reintroduction is an important concern in these programs as there is a tradeoff bet...

R esum e: The minimal function graph semantics of Jones and Mycroft is a standard denotational semantics modiied to include only`reachable' parts of a program. We show that it may be expressed directly in terms of the standard semantics without the need for instrumentation at the expression level and, in doing so, bring out a connection with strictness. This also makes it possible to prove a st...

Formal Program running time verification is an important issue in system design required for performance optimization under „first-time-right“ design constraints and for real-time system verification. Simulation based approaches or simple instruction counting are not appropriate and risky for more complex architectures in particular with data dependent execution paths. Formal analysis technique...

Firms can now serve personalized recommendations to consumers who return to their website, based on their earlier browsing history. At the same time, online advertising has greatly advanced in its use of external browsing data across the web to target internet ads appropriately. ‘Dynamic Retargeting’ integrates these two advances by using information from internal browsing data to improve inter...