Learn More
We propose a framework for reasoning about programs that manipulate coinductive data as well as inductive data. Our approach is based on using equational programs, which support a seamless combination of computation and reasoning, and using productivity (fairness) as the fundamental assertion, rather than bi-simulation. The latter is expressible in terms of(More)
A central method for analyzing the asymptotic complexity of a functional program is to extract and then solve a recurrence that expresses evaluation cost in terms of input size. The relevant notion of input size is often specific to a datatype, with measures including the length of a list, the maximum element in a list, and the height of a tree. In this(More)
AIM The aim was to analyze general incidence, age incidence, laterality, common mode of presentation, staging of the tumor, radiological evidence, histopathological confirmation, management and follow-up of cases, which were diagnosed as retinoblastoma. DESIGN Interventional case series study from April 1997 to March 2000. MATERIALS AND METHODS Detailed(More)
The objectives of this research are to display the utility of using agent based model and simulated experiments in understanding criminal behavior. In particular, this research focuses upon the distance decay function that has wide applicability in understanding ways in which offenders move about their awareness space and select their targets for committing(More)