Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
Pal P, Rubel P, Atighetchi M, Webber F, Sanders WH, Seri M, Ramasamy HG, Lyons J, Courtney T, Agbaria A et al..  2006.  An architecture for adaptive intrusion-tolerant applications. Software: Practice and Experience. 36(11-12):1331-1354.
Padgett RA, Mount SM, Steitz JA, Sharp PA.  1983.  Splicing of messenger RNA precursors is inhibited by antisera to small nuclear ribonucleoprotein. Cell. 35(1):101-107.
O
O’Leary DP, Brennen GK, Bullock SS.  2006.  Parallelism for quantum computation with qudits. Physical Review APhys. Rev. A. 74(3):032334-032334.
O’Leary DP.  2003.  Scaling symmetric positive definite matrices to prescribed row sums. Linear Algebra and its Applications. 370:185-191.
O’Hara MJ, O’Leary DP.  2009.  Quadratic fermionic interactions yield Hamiltonians with large ground-state energy gaps. Physical Review APhys. Rev. A. 79(3):032331-032331.
O’donovan AM, Zotkin DN, Duraiswami R.  2008.  Spherical microphone array based immersive audio scene rendering. Proc. ICAD.
Ozcan F, V.S. Subrahmanian, Golubchik L.  2001.  Optimal Agent Selection. KI 2001: advances in artificial intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001: proceedings. :2-2.
Ozcan F, V.S. Subrahmanian.  2002.  Improving Performance of Agents by Activity Partitioning. Technical Reports from UMIACS, UMIACS-TR-2002-96.
Ozcan F, V.S. Subrahmanian.  2001.  Partitioning activities for agents. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 17:1218-1228.
Owens RM, JaJa JF.  1985.  A High-Level Interactive System for Designing VLSI Signal Processors. ISR-TR-1985-7
Ouhammouch M, Langham GE, Hausner W, Simpson AJ, El-Sayed NM, Geiduschek PE.  2005.  Promoter architecture and response to a positive regulator of archaeal transcription. Molecular Microbiology. 56(3):625-637.
Otto SP, Cummings MP, Wakeley J.  1996.  Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
Ottino-Lofler J, Rand W, Wilensky U.  2007.  Coevolution of Predators and Prey in a Spatial Model. Genetic and Evolutionary Computation Conference (GECCO).
Ottino-Loffler J, Rand W, Wilensky U.  2007.  A spatial model of the red queen effect. Proceedings of the 9th annual conference on Genetic and evolutionary computation. :490-491.
Ottesen A, Ramachandran P, Reed E, White JR, Hasan N, Subramanian P, Ryan G, Jarvis K, Grim C, Daquiqan N et al..  2016.  Enrichment dynamics of Listeria monocytogenes and the associated microbiome from naturally contaminated ice cream linked to a listeriosis outbreak. BMC Microbiology.
Ostroff D, Shneiderman B.  1988.  Selection devices for user of an electronic encyclopedia: An empirical comparison of four possibilities. Information Processing & Management. 24(6):665-680.
Osadchy M, Jacobs DW, Ramamoorthi R, Tucker D.  2008.  Using specularities in comparing 3D models and 2D images. Computer Vision and Image Understanding. 111(3):275-294.
Osadchy M, Jacobs DW, Lindenbaum M.  2007.  Surface Dependent Representations for Illumination Insensitive Image Comparison. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 29(1):98-111.
Osadchy M, Lindenbaum M, Jacobs DW.  2004.  Whitening for photometric comparison of smooth surfaces under varying illumination. Computer Vision-ECCV 2004. :217-228.
Osadchy M, Jacobs DW, Lindenbaum M.  2005.  On the equivalence of common approaches to lighting insensitive recognition. Computer Vision, 2005. ICCV 2005. Tenth IEEE International Conference on. 2:1721-1726Vol.2-1721-1726Vol.2.
Osadchy M, Jacobs DW, Ramamoorthi R.  2003.  Using specularities for recognition. Computer Vision, 2003. Proceedings. Ninth IEEE International Conference on. :1512-1519vol.2-1512-1519vol.2.
Osada M, Liao H, Shneiderman B.  1993.  Alphaslider: Development and Evaluation of Text Retrieval Methods Using Sliders. Ninth Symposium on Human Interface. :91-94.
Osada M, Liao H, Shneiderman B.  1993.  Alpha Slider: Searching Textual Lists with Sliders. Institute for Systems Research Technical Reports.
Orso A, Porter A.  2003.  ICSE workshop on remote analysis and measurement of software systems (RAMSS). ACM SIGSOFT Software Engineering NotesSIGSOFT Softw. Eng. Notes. 28(6):10-10.
Oriol M, Hicks MW.  2005.  Tagged Sets: A Secure and Transparent Coordination Medium. Coordination Models and LanguagesCoordination Models and Languages. 3454:193-205.

Pages