Stephen D. Smith1, Warren A. Brown2, Charles R. Smith3, and Milo E. Richmond3,4 1Institute for Resource Information Systems, Cornell University, Ithaca, New York 2Institute for Social Economic Research, Cornell University, Ithaca, New York 3Department of Natural Resources, Cornell University, Ithaca, New York 4U.S. Geological Survey, New York Cooperative Fish and Wildlife Research Unit, Cornell...

We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm which performs verification by combining directed testing and abstraction. We have engineered Yogi in such a way that it plugs into Microsoft’s Static Driver Verifier framework. We have used this framework to run Yogi on 69 Windows Vista drivers with 85 prope...

This paper proposes a new method to solve fuzzy critical path problems for a project network with activity times being normalised trapezoidal fuzzy numbers. is solved successfully to demonstrate the validity of the proposed approach.

We develop analytic solutions for the linear evolution of metric perturbations in the DGP braneworld modified gravity scenario including near-horizon and superhorizon modes where solutions in the bulk are required. These solutions apply to both the self-accelerating and normal branch and elucidate the nature of coordinate singularities and initial data in the bulk as well as their effect on per...

These studies, exploring the effects of personality on team productivity, had a limited focus by considering only one or two teams, or examining one or two personality dimensions. While the previous studies are insightful, they only establish the foundation for further study [10]. Moreover, previous studies were conducted on large software teams; the results of these studies are not generalizab...

In projects with a flexible project structure, the activities that have to be scheduled are not completely known beforehand. Instead, scheduling such a project includes the decision whether to carry out particular activities at all. This also effects precedence constraints between the finally implemented activities. However, established model formulations and solution approaches for the resourc...

When producing estimates in software projects, expert opinions are frequently combined. However, it is poorly understood whether, when, and how to combine expert estimates. In order to study the effects of a combination technique called planning poker, the technique was introduced in a software project for half of the tasks. The tasks estimated with planning poker provided: (1) group consensus ...

We investigate the dynamics of Q-balls in one, two and three space dimensions, using numerical simulations of the full nonlinear equations of motion. We find that the dynamics of Q-balls is extremely complex, involving processes such as charge transfer and Q-ball fission. We present results of simulations which illustrate the salient features of 2-Q-ball interactions and give qualitative argume...

Invariant pairs have been proposed as a numerically robust means to represent and compute several eigenvalues along with the corresponding (generalized) eigenvectors for matrix eigenvalue problems that are nonlinear in the eigenvalue parameter. In this work, we consider nonlinear eigenvalue problems that depend on an additional parameter and our interest is to track several eigenvalues as this ...