Learn More
—Computational criminology as such is an emerging inter-disciplinary field that applies computer science and mathematical methods to the study of criminological problems. The paper discuss the solutions with these multidisciplinary aspects of criminology, geography, mathematics and computer sciences. In order to understand its nature one has to comprehend(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)
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)
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)
  • 1