This paper explores a topological perspective of planning in the presence of uncertainty, focusing on tasks specified by goal states in discrete spaces. The paper introduces stra...
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
Background: Prostate cancer is one of the leading causes of cancer illness and death among men in the United States and world wide. There is an urgent need to discover good biomar...
ted Talks and Poster Abstracts S1, T1 Title: Evolution of the Mammalian Lamin A Gene Author: Susan N. LoCurto and Dorothy E. Pumo Affiliation: Hofstra University, Department of Bio...
James C. Sullivan, Joseph F. Ryan, James A. Watson...