Publications
Export 7148 results:
[ Author] Title Type Year Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is [Clear All Filters]
2003. Random MAX SAT, random MAX CUT, and their phase transitions. Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms. :364-373.
1985. Solving NP-hard problems in [] almost trees': Vertex cover. Discrete applied mathematics. 10(1):27-45.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1998. Low-bandwidth routing and electrical power networks. Automata, Languages and ProgrammingAutomata, Languages and Programming. 1443:604-615.
2000. Combinatorial Problems Arising in Deregulated Electrical Power Industry: Survey and Future Directions. NONCONVEX OPTIMIZATION AND ITS APPLICATIONS. 42:138-162.
2008. Environmental signatures associated with cholera epidemics. Proceedings of the National Academy of Sciences. 105(46):17676-17676.
2009. Predicting the distribution of Vibrio spp. in the Chesapeake Bay: a Vibrio cholerae case study. EcoHealth. 6(3):378-389.
2008. Activity sensing in the wild: a field trial of ubifit garden. Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems. :1797-1806.
2007. Conducting In Situ Evaluations for and With Ubiquitous Computing Technologies. International Journal of Human-Computer Interaction. 22(1-2):103-118.
2008. Flowers or a robot army?: encouraging awareness & activity with personal, mobile displays Proceedings of the 10th international conference on Ubiquitous computing. :54-63.
2000. Chromosome Identification Using Hidden Markov Models: Comparison with Neural Networks, Singular Value Decomposition, Principal Components Analysis, and Fisher Discriminant Analysis. Laboratory Investigation. 80(11):1629-1641.
2011. Nouveau-ROUGE: A Novelty Metric for Update Summarization. Computational Linguistics. 37(1):1-8.
2006. CLASSYArabic and English Multi-Document Summarization. Multi-Lingual Summarization Evaluation 2006Multi-Lingual Summarization Evaluation 2006.
2007. Bridging the ROUGE/Human Evaluation Gap in Multi-Document Summarization. Document Understanding Conference DUC 2007Document Understanding Conference DUC 2007.
2009. CLASSY 2009: Summarization and Metrics. TAC 2009 Workshop ProceedingsTAC 2009 Workshop Proceedings.
2006. Topic-focused multi-document summarization using an approximate oracle score. Proceedings of the COLING/ACL on Main conference poster sessions. :152-159.
2004. Left-Brain/Right-Brain Multi-Document Summarization. DUC 04 Conference ProceedingsDUC 04 Conference Proceedings.
2017. SYN-004 (ribaxamase), an oral beta-lactamase, mitigates antibiotic-mediated dysbiosis in a porcine gut microbiome model. Journal of Applied Microbiology. (1Suppl 11):66-79.
2018. Distinct consequences of amoxicillin and ertapenem exposure in the porcine gut microbiome. Anaerobe. 53:82-93.
2006. Flow algorithms for two pipelined filter ordering problems. Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. :193-202.