UVM Computer Science Seminars

 

Fall 2007

• Chris Hancock, Tertl Studos, LLC., An On-Ramp to Computational Fluency. Date: 2007-9-17. Time: 12:20 p.m. to 1:10 p.m.. Room: Votey 323.

Spring 2007

• Ferdinando Villa, Department of Plant Biology, University of Vermont, Ecoinformatics: Knowledge Representation and Machine Reasoning for Sustainable Environmental Research and Decision Making. Date: 2007-5-4. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Murat Demirbas, Computer Science and Engineering Department, SUNY Buffalo, A Transactional Framework for Programming Wireless Sensor/Actor Networks. Date: 2007-4-30. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey. Sponsored by CSSA.

• Reda Ammar, Department of Computer Science and Engineering, University of Connecticut, Scheduling Task Graphs for Efficient Utilization of Cluster Computing Environments. Date: 2007-4-25. Time: 2:30 p.m. to 3:30 p.m.. Room: 322 Votey.

• Gregg Morrisett, Division of Engineering and Applied Science, Harvard University, Higher Level Languages for Sensor Networks. Date: 2007-4-9. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey. Sponsored by CSSA.

• Adreas Terzis, Department of Computer Science, Johns Hopkins University, Design Tools for Sensor-Based Science. Date: 2007-4-6. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey. Sponsored with the Sensor Systems Planning Grant from VACC.

• Jason Moore, Genetics Department, Dartmouth Medical School, Genome-Wide Genetic Analysis Using Genetic Programming: The Critical Need for Expert Knowledge. Date: 2007-3-26. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey. Sponsored with the Biocomplexity Planning Grant from VACC.

• David C. Krakauer,  Santa Fe Institute, Theory and Strategy of Coding in Microbe Genomes: Case Studies in Informational Evolutionary Theory. Date: 2007-2-12. Time: 12:20 p.m. to 1:10 p.m.. Room: Billings North Lounge.  Sponsored with the Biocomplexity Planning Grant from VACC and by the CEMS Dean's Office and the CEMS Complex Systems Center.

Fall 2006

• Matt Welsh, Division of Engineering and Applied Sciences, Harvard University, Monitoring Volcanic Eruptions with a Wireless Sensor Network. Date: 2006-12-4. Time: 12:20 p.m. to 1:10 p.m.. Room: Billings Marsh Lounge (B308).  Sponsored by the Sensor Systems Group of VACC, and co-sponsored by CSSA.

• Luis Da Costa, Ecole de Technologie Sup´erieure, Montreal, Canada, 3D-Model Synthesis from 2D Partial Information: a Natural Plant Application. Date: 2006-11-27. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Jordan Pollack, Volen Center for Complex Systems, Brandeis University, Recent Progress in Co-evolutionary Computing. Date: 2006-11-13. Time: 12:15 p.m. to 1:10 p.m.. Room: 101 Perkins. Sponsored by CSSA, VACC, and CEMS Dean's Office.

• Sergey Krivov, Department of Computer Science and Gund Institute of Ecological Economics, University of Vermont, From Equations to Patterns: Logic Based Approach to General Systems Theory. Date: 2006-11-8. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Joshua Bongard, Department of Computer Science, University of Vermont, Active Computation Outperforms the State-of-the-Art Heuristic for Grammatical Inference. Date: 2006-10-23. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Byung S. Lee, Department of Computer Science, University of Vermont, QoS Driven Aggregation in a Sensor Network. Date: 2006-10-16. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Alex Brodsky, Department of Information and Software Engineering, George Mason University, CoJava: Optimization Modeling by Nondeterministic Simulation. Date: 2006-10-9. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Margaret Eppstein, Department of Computer Science, University of Vermont, Data Mining for Epistasic Genetic Interactions using Random Chemistry. Date: 2006-9-25. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Alejo Hausner, Computer Science Department, University of New Hampshire, Nonphotorealistic Rendering. Date: 2006-9-18. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.  Sponsored by CSSA.

Spring 2006

• Bulent Yener, Rensselaer Polytechnic Institute, Cell-Graphs for Tissue Representation and Quantification. Date: 2006-4-17. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey. Sponsored by CSSA.

• Tim Huang, Middlebury College, Recent AI Approaches to the Games of Hex and Go. Date: 2006-4-10. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey. Sponsored by CSSA.

• Hod Lipson, Cornell University,  Self-reproducing machines. Date: 2006-4-3. Time: 12:20 to 1:20 p.m.. Room: Billings North Lounge. Sponsored by CSSA and CEMS.

• Josh Bongard, Computational Synthesis Lab, Sibley School of Mechanical and Aerospace Engineering, Cornell University,  Active Computation in Artificial Intelligence and Bioinformatics. Date: 2006-3-16 (Friday). Time: 11:15 to 12:15 p.m.. Room: 101 Perkins.

• My Thai, University of Minnesota. Pooling Designs in Molecular Biology. Date: 2006-3-13 (Monday). Time: 2:30 to 3:30 p.m.. Room: 225 Kalkin.

• Jun (Luke) Huan, UNC Chapel Hill,  Discovering Patterns in Families of Protein Structures. Date: 2006-3-9 (Thursday). Time: 11:00 to 12:15 p.m.. Room: 101 Perkins.

• Mathieu Blanchette, McGill University. Reconstructing large regions of an ancestral mammalian genome in silico. Date: 2006-2-6. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey. Sponsored by CSSA.

• Xindong Wu, CS Dept, UVM. How to Write and Publish Top-Quality Research Papers. Date: 2006-1-30. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Chris Skalka, CS Dept, UVM. Logic and Practice of Trust Management. Date: 2006-1-23. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

Fall 2005

• Justin Werfel, New England Complex Systems Institute, Massachusetts Institute of Technology. Collective Construction and Extended Stigmergy. Date: 2005-12-5. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Bulent Yener, Department of Computer Science, Rensselaer Polytechnic Institute. Cell-Graphics for Tissue-Representation and Quantification. Date: 2005-11-14. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Abdullah Arslan, Department of Computer Science, University of Vermont. Constrained Sequence Alignment. Date: 2005-11-7. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• George Pinder, College of Engineering and Mathematical Sciences, University of Vermont. Decision Analysis in Contaminant Geohydrology. Date: 2005-10-17. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Robert Gezelter, CDP. Architectural Techniques for Interoperability and Coexistence . Date: 2005-9-27. Time: 12:20 p.m. to 1:20 p.m.. Room: 322 Votey.

• Richard Metzler, New England Complex Systems Institute and the Department of Physics, Massachusetts Institute of Technology. Pattern Formation through Birth and Death - Biological Implications. Date: 2005-9-19. Time: 12:20 p.m. to 1:20 p.m.. Room: 367 Votey.

• Paul Bierman, Department of Geology, University of Vermont. A Programming Challenge, Getting the UVM Landscape Change Program off the Dirt Road onto the Information Superhighway . Date: 2005-9-9. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Firooz Sadjadi, Tactical Systems Division, Lockheed Martin, Eagan, Minnesota. Theory of Invariant Algebra and its Applications in Pattern Classification . Date: 2005-9-7. Time: 12:20 p.m. to 1:10 p.m.. Room: 322 Votey.

• Jason Moore, Dartmouth College, Hanover, New Hampshire. Computational Human Genetics . Date: 2005-8-26. Time: 9:00 a.m. to 10:00 a.m.. Room: 367 Votey.

Spring 2005

• Norden Huang, NASA Goddard Space Flight Center. The Hilbert-Huang Transform. Date: 2005-5-9. Time: 9:00 a.m. to 10:00 a.m.. Room: 322 Votey.

• Margaret Eppstein, Department of Computer Science, University of Vermont. Integrating Research and Education in an Interdisciplinary Evolutionary Computation Course: Crystallographic Case Study. Date: 2005-5-2. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Adel Sadek, Departments of Civil & Environmental Engineering and Computer Science, University of Vermont. Civil and Environmental Engineering Informatics: Two Case Studies. Date: 2005-4-25. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Alexey Voinov, Gund Institute and Department of Computer Science, University of Vermont. The Modeling Process: Challenges and Complexities of Ecological Economic Applications. Date: 2005-4-18. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Ulfar Erlingsson, Microsoft Research. Software Security and Control-Flow Integrity Date: 2005-4-11. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Serguei Krivov, Gund Institute and Department of Computer Science, University of Vermont. Towards the Paradigm of an Ontology--Based User Interface: from Simple Knowledge Maps to Graphical Query Language Date: 2005-4-4. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Byung S. Lee, Department of Computer Science, University of Vermont. Boolean Text Query Optimization. Date: 2005-3-28. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Brigitte Pientka, School of Computer Science, McGill University. Overcoming Performance Barriers: Efficient Proof Search in Logical Frameworks. Date: 2005-3-14. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Hill Zhu, Department of Computer Science, University of Vermont. Scalable Representative Instance Selection and Ranking. Date: 2005-3-7. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Paul Thompson, Institute for Security Technology Studies, Dartmouth College. Semantic Hacking: Intelligence and Security Informatics. Date: 2005-2-28. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Claudio Bettini, Dipartimento di Informatica e Comunicazione (DICo), Università degli Studi di Milano, Italy. Integrated Profile and Policy Management for Mobile-oriented Internet Services. Date: 2005-2-23. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Kyuseok Shim, School of Electrical Engineering and Computer Science, Seoul National University. XWAVE: Optimal and Approximate Extended Wavelets for Streaming Data. Date: 2005-2-14. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Gary Kessler, Champlain College. An Introduction to Steganography. Date: 2005-2-7. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

Fall 2004

• Xindong Wu, Department of Computer Science, University of Vermont. Knowledge Discovery in Multiple Databases. Date: 2004-11-22. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Richard Talbert, University of North Carolina at Chapel Hill. Roman Maps and World view: New Discoveries, Fresh Perspectives. Date: 2004-10-25. Time: 5:00 p.m.. Room: Billings North Lounge.

• George J. Klir, Department of Systems Science and Industrial Engineering, Binghamton University -- State University of New York. Uncertainty and Information: Foundations and Applications of Generalized Information Theory. Date: 2004-10-22. Time: 12:20 p.m. to 1:10 p.m.. Room: 004 Kalkin.

• Jeffrey Frolik, Department of Electrical and Computer Engineering, University of Vermont. Wireless Sensor Networks: Connecting Theory with Practice. Date: 2004-10-18. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Robert Harper, Department of Computer Science, Carnegie Mellon University. Self-Adjusting Computation. Date: 2004-10-11. Time: 12:20 p.m. to 1:10 p.m.. Room:367 Votey.

• Serguei Krivov, Gund Institute and Department of computer Science, University of Vermont. GrOWL-A Framework for Visualization and Editing of OWL Ontologies. Date: 2004-10-04. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Jim Kurose, Department of Computer Science, University of Massachusetts at Amherst. Collaborative Adaptive Sensing of the Atmosphere. Date: 2004-09-27. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Mokhtar Sadok, Goodrich Corporation (Fuel and Utility Systems). Video-based Cargo Fire Verification System with Fuzzy Inference Engine for Commercial Aircraft. Date: 2004-09-20. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

• Sean Wang, Department of Computer Science, University of Vermont. Foresight is Golden: Use of Prediction in DB Systems. Date: 2004-09-13. Time: 12:20 p.m. to 1:10 p.m.. Room: 367 Votey.

Spring 2004

• Michael Radermacher, Department of Molecular Physiology and Biophysics, University of Vermont , Three-Dimensional Reconstruction of Asymmetrical Sub-Cellular Complexes in Electron Microscopy Date: 2004-4-26. Time: 11:15 a.m. - 12:05 p.m.. Room: 110 Kalkin.

• Daniel E. Bentil, Department of Mathematics and Statistics, University of Vermont , Piconewton Forces and Nanometer Steps: Modeling Actomyosin Interaction in the Laser Trap Date: 2004-4-19. Time: 11:15 a.m. - 12:05 p.m.. Room: 110 Kalkin.

• Christian Skalka, Department of Computer Science, University of Vermont , History Types and Verification Date: 2004-4-12. Time: 11:15 a.m. - 12:05 p.m.. Room: 110 Kalkin.

• Abdullah N Arslan, Department of Computer Science, University of Vermont , Dictionary look-up within small distances in relatively sparse dictionaries Date: 2004-4-5. Time: 11:15 a.m. - 12:05 p.m.. Room: 110 Kalkin.

• Byung Suk Lee, Department of Computer Science, University of Vermont , A Top-Down Approach for Density-Based Clustering Using Multidimensional Indexes Date: 2004-3-29. Time: 11:15 a.m. - 12:05 p.m.. Room: 110 Kalkin.

• Oscar H. Ibarra, Department of Computer Science, University of California, Santa Barbara, Theory of Computation and Computational Complexity: An Overview Date: 2004-3-22. Time: 11:15 a.m. - 12:05 p.m.. Room: 110 Kalkin.

• Zhen He, Department of Computer Science, University of Vermont , Self-tuning UDF Cost Modeling Using the Memory-Limited Quadtree Date: 2004-3-12. Time: 12:20 p.m. - 1:10 p.m.. Room: 001 Kalkin.

• Sean Smith, Department of Computer Science, Dartmouth College, Enabling Effective Trust Judgments Date: 2004-3-01. Time: 11:15 a.m. -12:05 p.m.. Room: 110 Kalkin.

• Radoslaw R. Zakrzewski, Goodrich Corporation Fuel and Utility Systems, Vision-Based Fire Detection for Aircraft Cargo Bays Date: 2004-2-23. Time: 11:15 a.m. -12:05 p.m.. Room: 110 Kalkin.

• Alan Ling, Department of Computer Science, University of Vermont, A combinatorial error bound for t-point based sampling Date: 2004-2-18. Time: 11:15 a.m. -12:05 p.m.. Room: 110 Kalkin.

• Craig Damon, Department of Computer Science, University of Vermont, Path Grammars Date: 2004-2-13. Time: 3:00 p.m. to 3:50 p.m.. Room: 002 Kalkin.

• Like Gao, Department of Computer Science, University of Vermont, Quality-Driven Evaluation of Trigger Conditions on Streaming Time Series Date: 2004-2-6. Time: 3:00 p.m. to 3:50 p.m.. Room: 004 Kalkin.

Fall 2003

• Serguei Krivov, Gund Institute for Ecological Economics, University of Vermont, Graphic Frame Logic (GFL)-a new framework for knowledge representation. Date: 2003-11-14. Time: 11:05 a.m. to 12:15 p.m.. Room: 002 Kalkin.

• Yuichi Motai, Department of Electrical and Computer Engineering, University of Vermont, Visual-Based Human Computer Interaction for Robot Vision and Intelligent Media. Date: 2003-11-7. Time: 11:05 a.m. to 12:15 p.m.. Room: 002 Kalkin.

• Xiaoyang Sean Wang, Department of Computer Science, University of Vermont, Information Release Control: A New Frontier in Data Security?. Date: 2003-10-31. Time: 11:05 a.m. to 12:15 p.m.. Room: 002 Kalkin.

• Gennian Ge, Department of Computer Science, University of Vermont, Combinatorial Constructions for Optimal Optical Orthogonal Codes. Date: 2003-10-17. Time: 11:05 a.m. to 12:15 p.m.. Room: 002 Kalkin.

• Xingquan Zhu, Department of Computer Science, University of Vermont, Video Association Mining for Basketball Video Database Indexing and Management. Date: 2003-10-03. Time: 11:05 a.m. to 12:15 p.m.. Room: 002 Kalkin.

• George F. Pinder, Department of Civil and Environmental Engineering, Department of Mathematics, Department of Computer Science, University of Vermont, Computer Scientific Challenges in the Study of Long-Term Groundwater Quality Monitoring. Date: 2003-09-26. Time: 11:05 a.m. to 12:15 p.m.. Room: 002 Kalkin.

• Cynthia Cheung, Laboratory for Extraterrestrial Physics, NASA Goddard Space Flight Center, Information Technology Challenges of NASA Distributed Space System Missions. Date: 2003-09-17. Time: 12:10 p.m. to 1:15 p.m.. Room: John-Dewey Lounge, Old Mill.

• Xindong Wu, Department of Computer Science, University of Vermont, Iterative Noise Identification and Handling in Large Databases. Date: 2003-09-12. Time: 11:15 a.m. to 12:15 p.m.. Room: 002 Kalkin.