Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2005. Using aggregate motion in multi-agent teams to solve search and transport problems. Swarm Intelligence Symposium, 2005. SIS 2005. Proceedings 2005 IEEE. :373-380.
2009. A distributed learning algorithm for particle systems. Integrated Computer-Aided Engineering. 16(1):1-20.
2004. Extending self-organizing particle systems to problem solving. Artificial Life. 10(4):379-395.
2007. Swarm Intelligence Systems Using Guided Self-Organization for Collective Problem Solving. Advances in Complex Systems. 10(1):5-34.
2005. Collective-movement teams for cooperative problem solving. Integrated Computer-Aided Engineering. 12(3):217-235.
2011. Group-in-a-Box Layout for Multi-faceted Analysis of Communities. Privacy, Security, Risk and Trust (PASSAT), 2011 IEEE Third International Conference on and 2011 IEEE Third International Confernece on Social Computing (SocialCom). :354-361.
2007. Large-scale byzantine fault tolerance: safe but not always live. Proceedings of the 3rd workshop on on Hot Topics in System Dependability.
2011. Detecting Structural Irregularity in Electronic Dictionaries Using Language Modeling. Electronic lexicography in the 21st century: new applications for new users (eLEX2011). :227-232.
2004. Reducing storage requirements for biological sequence comparison. BioinformaticsBioinformatics. 20(18):3363-3369.
2006. Reranking for Sentence Boundary Detection in Conversational Speech. 2006 IEEE International Conference on Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings. 1:I-I-I-I.
1994. Navigating in hyperspace: designing a structure-based toolbox. Communications of the ACM. 37(2):87-96.
2003. Method of DNA extraction and application of multiplex polymerase chain reaction to detect toxigenic Vibrio cholerae O1 and O139 from aquatic ecosystems. Environmental Microbiology. 5(7):599-606.
2011. TreeCovery: Coordinated dual treemap visualization for exploring the Recovery Act. Government Information Quarterly.
2006. Characterization of the turbulence structure in supersonic boundary layers using DNS data. AIAA Paper. 3539
1995. Dealing with complexity: uniting agents and direct manipulation (panel session). Conference companion on Human factors in computing systems. :191-192.
2010. Understanding Interactive Legends: a Comparative Evaluation with Standard Widgets. Computer Graphics Forum. 29(3):1193-1202.
2012. Whole genome analysis of Leptospira licerasiae provides insight into leptospiral evolution and pathogenicity.. PLoS Negl Trop Dis. 6(10):e1853.
1992. Real-time procedural textures. Proceedings of the 1992 symposium on Interactive 3D graphics. :95-100.
2000. Visualizing high-dimensional predictive model quality. Visualization 2000. Proceedings. :493-496,-493-496,.
2010. Validating the systematic position of ıt Plationus Segers, Murugan & Dumont, 1993 (Rotifera: Brachionidae) using sequences of the large subunit of the nuclear ribosomal DNA and of cytochrome C oxidase. Hydrobiologia. 644(1):361-370.
1998. Spreading depression in focal ischemia: A computational study. Journal of Cerebral Blood Flow & Metabolism. 18(9):998-1007.
2002. A visual search tool for early elementary science students. Journal of Science Education and Technology. 11(1):49-57.