My friend and teacher, Fernando Flores, likes to tell his business clients the story of Pasteur and the dead cows. In the 1870s the French sheep and cattle industry was being decimated by anthrax and France’s economic position was in grave peril. At the time, the farmers were completely baffled by the mounting toll of dead cows and sheep; the cause, anthrax, had not yet been identified and name...

This paper presents an extension of the pi-calculus that can reason about brute force and guessing attacks. We relate new name declarations in the pi-calculus with random sampling in the computational model of security. The scope of a new name can then be expanded at a comparable cost as it would take to guess the randomly sampled value in the computational setting. We provide a syntax and redu...

We analyze the way in which a result concerning the absence of runtime type errors can be expressed when the semantics of a language is described using proof rules in what is sometimes called a natural semantics. We argue that the usual way of expressing such results has conceptual short-comings when compared with similar results for other methods of describing semantics. These short-comings ar...

this study attempts to examine the operational efficiency of thirty-two microfinance institutions in india. operational efficiency in microfinance institutions refers to how well microfinance institutions allocate the input resources. since the study is an exploratory nature, therefore, the data are collected from mix market on annual basis. it covers the seven-year period ranging from 2005-06 ...

the aim of this study was investigating some blood parameters of blue-neck male ostriches (struthio camelus) with 4 months old after feeding a diet containing 3% sunflower oil for two months. in the morning, after about 12 h of fasting, some blood samples were collected from the wing vein of ostriches at the beginning and 60 days of study in department of animal sceince arak university . the pl...

With the retirement of the space shuttle near and rising fuel prices driving a demand for more efficient travel, alternative engine technology is being heavily researched. The scramjet, or supersonic combustion ramjet, has proven to be a promising development in reusable hypersonic transportation. Flight testing these engines, however, is very expensive and no scramjet flight has yet been recov...

Chunk parsing has focused on the recognition of partial constituent structures at the level of individual chunks. Little attention has been paid to the question of how such partial analyses can be combined into larger structures for complete utterances. Such larger structures are not only desirable for a deeper syntactic analysis. They also constitute a necessary prerequisite for assigning func...

Estimation is the process of determining a likely value for a population parameter (eg, the true population mean or proportion) based on a random sample. In practice, a sample is drawn from the target population, and sample statistics (eg, the sample mean or sample proportion) are used to generate estimates of the unknown parameter. The sample should be representative of the population, ideally...

background and objective: cerebral arteriovenous malformation (cavm) hemodynamic is disease condition, results changes in the flow and pressure level in cerebral blood vessels. measuring flow and pressure without catheter intervention along the vessel is big challenge due to vessel bifurcations/complex bifurcations in arteriovenous malformation patients. the vessel geometry in cavm patients are...