Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2010. Regulating the Regulators: Modulators of Transcription Factor Activity. Computational Biology of Transcription Factor BindingComputational Biology of Transcription Factor Binding. 674:297-312.
2011. Transcriptional Regulation Via TF-Modifying Enzymes: An Integrative Model-Based Analysis. Nucleic Acids ResearchNucl. Acids Res.. 39(12):e78-e78-e78-e78.
2006. Dense Subgraph Computation Via Stochastic Search: Application to Detect Transcriptional Modules. BioinformaticsBioinformatics. 22(14):e117-e123-e117-e123.
2009. PTM-Switchboard--a database of posttranslational modifications of transcription factors, the mediating enzymes and target genes. Nucleic Acids ResearchNucleic Acids Research. 37(Database):D66-D71-D66-D71.
1986. An experimental comparison of a mouse and arrow-jump keys for an interactive encyclopedia. International Journal of Man-Machine Studies. 24(1):29-45.
2006. A Visual Interface for Multivariate Temporal Data: Finding Patterns of Events across Multiple Histories. Visual Analytics Science And Technology, 2006 IEEE Symposium On. :167-174.
2005. Child's play: a comparison of desktop and physical interactive environments. Proceedings of the 2005 conference on Interaction design and children. :48-55.
2010. Mobile collaboration: collaboratively reading and creating children's stories on mobile devices. Proceedings of the 9th International Conference on Interaction Design and Children. :20-29.
2011. Analysis of SystemC actor networks for efficient synthesis. ACM Trans. Embed. Comput. Syst.. 10(2):18:1-18:34.
1995. Efficient Algorithms for Atmospheric Correction of Remotely Sensed Data. Supercomputing, 1995. Proceedings of the IEEE/ACM SC95 Conference. :12-12.
1996. Fast algorithms for removing atmospheric effects from satellite images. Computational Science Engineering, IEEE. 3(2):66-77.
1997. Fast algorithms for estimating aerosol optical depth and correcting thematic mapper imagery. The Journal of Supercomputing. 10(4):315-329.
1996. Efficient algorithms for estimating atmospheric parameters for surface reflectance retrieval. Parallel Processing, 1996., Proceedings of the 1996 International Conference on. 2:132-141vol.2-132-141vol.2.
1998. Incorporating String Search in a Hypertext System:User Interface and Signature File Design Issues. Technical Reports of the Computer Science Department.
2006. Stable Factorizations of Symmetric Tridiagonal and Triadic Matrices. SIAM J. on Matrix Analysis and Applications. 28:576-595.
2002. How young can our design partners be. Proceedings of the Participatory Design Conference. :272-277.
2007. Learning Higher-order Transition Models in Medium-scale Camera Networks. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
2008. Decentralized discovery of camera network topology. Distributed Smart Cameras, 2008. ICDSC 2008. Second ACM/IEEE International Conference on. :1-10.
2011. Birdlets: Subordinate categorization using volumetric primitives and pose-normalized appearance. Computer Vision (ICCV), 2011 IEEE International Conference on. :161-168.
2003. Pathogenic Potential of Environmental Vibrio Cholerae Strains Carrying Genetic Variants of the Toxin-Coregulated Pilus Pathogenicity Island. Infection and ImmunityInfect. Immun.. 71(2):1020-1025.