Information about which statements in a concurrent program may happen in parallel MHP has a number of important applications It can be used in program optimization debugging program understanding tools improving the accuracy of data ow approaches e g and detecting synchronization anomalies such as data races For example in optimization if it is known that two threads of control will never attem...

Results by Neukum et al. (2001) and Ivanov (2001) are combined with crater counts to estimate ages of Martian surfaces. These results are combined with studies of Martian meteorites (Nyquist et al., 2001) to establish a rough chronology of Martian history. High crater densities in some areas, together with the existence of a 4.5 Gyr rock from Mars (ALH84001), which was weathered at about 4.0 Gy...

Background A highly controversial question is whether or not corticosteroids should be prescribed for patients with early diffuse cutaneous systemic sclerosis (dcSSc). Although the painful and disabling features of dcSSc (including tight itchy skin, contractures, fatigue) have an inflammatory basis are likely to respond corticosteroids, a risk factor potentially life-threatening scleroderma ren...

The ‘digital divide’, which is defined as the gap that exists between those with and those without access to the Internet, (i.e. the digital ‘haves’ and ‘have nots’) has been widely debated. The main protagonists are split broadly into two groups, the technology ‘optimists’ and the technology ‘pessimists’. Conventional wisdom is represented by the optimists’ view that the divide is caused by so...

Immigration has a substantial influence on the size and growth of the population and the labour force, and also considerable influence on the socio-cultural composition, as seen through ethnicity, language and visible minority status. Given the uneven distribution of immigrants over regions, and their subsequent re-migration patterns, immigration accentuates the growth of the largest cities. Im...

Arterial blood pressure was recorded through a Cournand needle inserted into the brachial artery. Distensibility of the capacity vessels was measured by comparing the increase in hand volume resulting from intermittent obstruction of the venous return from the hand with the simultaneous rise in venous pressure of the hand. Hand volume changes were measured with a waterfilled plethysmograph of 5...

KRYŠTOF, J.: Towards an MDA-based approach for development of a structural scope of the presentation layer. Acta univ. agric. et silvic. Mendel. Brun., 2009, LVII, No. 6, pp. 123–132 This paper presents an approach for developing the presentation layer of so ware applications. The approach is based on the concept of the Model Driven Architecture (MDA) and uses a UML – based model of graphical u...

CHA-AS is a source code change impact analysis algorithm for Java programs. CHA-AS differs from other algorithms in that it does not require the program versions it compares to be whole programs with a welldefined program entry point. The need for such an algorithm is evident in iterative software development projects and projects involving the development of code libraries and frameworks—all o...

Legal scholars, legislators, policy advocates, and the news media frequently use jury verdicts to draw conclusions about the performance of the tort system. However actual payouts can differ greatly from verdicts. We report evidence on post-verdict payouts from the most comprehensive longitudinal study of matched jury verdicts and payouts. Using data on all insured medical malpractice claims in...

Preliminary studies with restriction fragment length polymorphisms of mitochondrial DNA (mtDNA) in natural populations of Drosophila melanogaster revealed considerable variation in terms of nucleotide sequence and overall size. In this report we present data from more isofemale lines and more restriction enzymes, and explore the utility of the data in inferring a colonization history of this sp...