Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2006. An architecture for adaptive intrusion-tolerant applications. Software: Practice and Experience. 36(11-12):1331-1354.
1983. Splicing of messenger RNA precursors is inhibited by antisera to small nuclear ribonucleoprotein. Cell. 35(1):101-107.
2006. Parallelism for quantum computation with qudits. Physical Review APhys. Rev. A. 74(3):032334-032334.
2003. Scaling symmetric positive definite matrices to prescribed row sums. Linear Algebra and its Applications. 370:185-191.
2009. Quadratic fermionic interactions yield Hamiltonians with large ground-state energy gaps. Physical Review APhys. Rev. A. 79(3):032331-032331.
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.
2002. Improving Performance of Agents by Activity Partitioning. Technical Reports from UMIACS, UMIACS-TR-2002-96.
2001. Partitioning activities for agents. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 17:1218-1228.
2005. Promoter architecture and response to a positive regulator of archaeal transcription. Molecular Microbiology. 56(3):625-637.
1996. Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
2007. Coevolution of Predators and Prey in a Spatial Model. Genetic and Evolutionary Computation Conference (GECCO).
2007. A spatial model of the red queen effect. Proceedings of the 9th annual conference on Genetic and evolutionary computation. :490-491.
2016. Enrichment dynamics of Listeria monocytogenes and the associated microbiome from naturally contaminated ice cream linked to a listeriosis outbreak. BMC Microbiology.
1988. Selection devices for user of an electronic encyclopedia: An empirical comparison of four possibilities. Information Processing & Management. 24(6):665-680.
2008. Using specularities in comparing 3D models and 2D images. Computer Vision and Image Understanding. 111(3):275-294.
2007. Surface Dependent Representations for Illumination Insensitive Image Comparison. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 29(1):98-111.
2004. Whitening for photometric comparison of smooth surfaces under varying illumination. Computer Vision-ECCV 2004. :217-228.
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.
2003. Using specularities for recognition. Computer Vision, 2003. Proceedings. Ninth IEEE International Conference on. :1512-1519vol.2-1512-1519vol.2.
1993. Alphaslider: Development and Evaluation of Text Retrieval Methods Using Sliders. Ninth Symposium on Human Interface. :91-94.
1993. Alpha Slider: Searching Textual Lists with Sliders. Institute for Systems Research Technical Reports.
2003. ICSE workshop on remote analysis and measurement of software systems (RAMSS). ACM SIGSOFT Software Engineering NotesSIGSOFT Softw. Eng. Notes. 28(6):10-10.
2005. Tagged Sets: A Secure and Transparent Coordination Medium. Coordination Models and LanguagesCoordination Models and Languages. 3454:193-205.