High-resolution satellite images at sub-5m footprint are becoming increasingly available to the earth observation community and their respective clients. The related cameras are all using linear array CCD technology for image sensing. The possibility and need for accurate 3D object reconstruction requires a sophisticated camera model, being able to deal with such sensor geometry. We have recent...

After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distribution semantics, PRISM’s semantics, which defines a probability measure on a set of possible Herbrand models. We then mention characteristic features of PRISM as a tool for probabilistic modeling.

We report in this paper on our results of modeling and analyzing with the probabilistic model checker PRISM the energy efficiency of various cluster scheduling schemes. These schemes were originally introduced by Do, Vu, Tran, and Nguyen in their paper “A generalized model for investigating scheduling schemes in computational clusters” and analyzed by simulation there. Our investigations with P...

piezoelectrically deformed substrates Noah T. Jafferis, Howard A. Stone, and James C. Sturm Department of Electrical Engineering, Princeton University, Princeton, New Jersey 08544, USA Princeton Institute for the Science and Technology of Materials (PRISM), Princeton University, Princeton, New Jersey 08544, USA Department of Mechanical and Aerospace Engineering, Princeton University, Princeton,...

3. In the 2009 PISA assessment of 15-year-olds, the United Kingdom performs around the average in reading (rank 20 ) and mathematics (rank 22) and above the average in science (rank 11) among the 34 OECD countries (see Figures I.2.15, I.3.10 and I.3.20). The average reading score of students in the United Kingdom stands at 494 – not statistically significantly different from the OECD average an...

We explored preschool’s children’s understanding of the correspondence of 3-D objects and 2-D faces in a novel task. In the “footprints” task children were shown a geometric solid, such as a pyramid or a prism, and asked to select which shape the solid would make if it were dipped in ink and stamped on a piece of paper. Through a latent class analysis of children’s errors we found children diff...

We present a new release of PRISM-games, a tool for verification and strategy synthesis for stochastic games. PRISM-games 2.0 significantly extends its functionality by supporting, for the first time: (i) long-run average (mean-payoff) and ratio reward objectives, e.g., to express energy consumption per time unit; (ii) strategy synthesis and Pareto set computation for multi-objective properties...

We present a method for identifying a partial match for twice differentiable curves. The method uses equal arc-length interval correspondences when comparing points on one curve to another. We use the square of difference in curvatures at each point to compare two curves, and find it to be fast enough for querying a large database of curves. Index Terms curve matching, partial matching, curvatu...

The availability and use of high quality immunization and surveillance data are crucial for monitoring all components of the Global Polio Eradication Program (GPEI). The Stop Transmission of Polio (STOP) program was initiated in 1999 to train and mobilize human resources to provide technical support to polio endemic and at-risk countries and in 2002 the STOP data management (STOP DM) deployment...

The Ethiopian Field Epidemiology and Laboratory Training Program (EFELTP) is a comprehensive two-year competency-based training and service program designed to build sustainable public health expertise and capacity. Established in 2009, the program is a partnership between the Ethiopian Federal Ministry of Health, the Ethiopian Health and Nutrition Research Institute, Addis Ababa University Sch...