Publications
Export 480 results:
[ Author] Title Type Year Filters: First Letter Of Title is P [Clear All Filters]
2005. Probabilistic temporal logics via the modal mu-calculus. Theoretical Computer Science. 342(2-3):316-350.
1996. Priorities for modeling and verifying distributed systems. Tools and Algorithms for the Construction and Analysis of Systems. :278-297.
1990. A preorder for partial process specifications. CONCUR'90 Theories of Concurrency: Unification and Extension. :141-151.
2015. Predictive Time Series Analysis Linking Bengal Cholera with Terrestrial Water Storage Measured from Gravity Recovery and Climate Experiment Sensors. The American Journal of Tropical Medicine and Hygiene. 93(6):1179-1186.
2009. Predicting the distribution of Vibrio spp. in the Chesapeake Bay: a Vibrio cholerae case study. EcoHealth. 6(3):378-389.
2005. Path dependence and the validation of agent-based spatial models of land use. International Journal of Geographical Information Science. 19(2):153-174.
2009. Prioritizing Vulnerability Remediation by Determining Attacker-Targeted Vulnerabilities. Security Privacy, IEEE. 7(1):42-48.
2003. Phylogenetic analysis reveals five independent transfers of the chloroplast gene ıt rbcL to the mitochondrial genome in angiosperms. Curr Genet. 43(2):131-138.
1998. Pigment composition of putatively achlorophyllous angiosperms. Plant Syst Evol. 210(1-2):105-111.
1989. Parallel plan execution with self-processing networks. Telematics and Informatics. 6(3-4):145-157.
1990. Parallel algorithm for the solution of nonlinear poisson equation of semiconductor device theory and its implementation on the IVIPP. Journal of Parallel and Distributed Computing. 8(2):161-168.
2003. Probabilistic structured query methods. Proceedings of the 26th annual international ACM SIGIR conference on Research and development in informaion retrieval. :338-344.
1989. Parsimonious covering as a method for natural language interfaces to expert systems* 1. Artificial Intelligence in Medicine. 1(1):49-60.
2000. A probabilistic framework for rigid and non-rigid appearance based tracking and recognition. Automatic Face and Gesture Recognition, 2000. Proceedings. Fourth IEEE International Conference on. :491-498.
2006. Probabilistic, Logical and Relational Learning-Towards a Synthesis. Dagstuhl Seminar Proceedings. 5051
2001. Probabilistic Temporal Databases, II: Calculus and Query Processing. Technical Reports from UMIACS, UMIACS-TR-2001-79.