Colloquium
- James Elder - October 21, 2011 11:30 am)
- On Grouping and Formlets: The Role of Shape in Perceptual Organization
- Prof. Hoon Hong - August 30, 2011 (3:00 pm)
- Connectivity in Semialgebraic Sets
- Dr. Christopher Power - July 21, 2011 (1:30 pm)
- Detecting Cultural Differences between User Groups for Website Design
- Michael McCool - March 14, 2011 (1:30 pm)
- Intel Array Building Blocks: Infrastructure for Structured Parallel Computing
- Jean-Louis Roch - January 24, 2011 (3:30 pm)
-
Adaptive redundant residue system for cloud computing:
a processor-oblivious and fault-oblivious technology. - Xindong Wu - October 26, 2010 (12:30 pm)
- Ubiquitous Personalized Information Fusion
- Wei Ding - October 26, 2010 (12:30 pm)
- Automatic Crater Detection from Planetary Images
- Prof. Kai Salomaa - November 4, 2009 (1:30 pm)
- State and Transition Complexity of Finite Automata
- David R. Stoutemyer - October 15, 2009 (1:30 pm)
-
How To Justafiably Round And Underflow Approximate Floating-Point Coefficients In Formulas
and
How To Magically Simplify Rational Expressions Without Actually Doing Any Algbera - Solomon Marcus - October 15, 2009 (2:30 pm)
- Correctness And Meaning In Mathematics And In Computer Science: Cooperation OR Conflict?
- Gregory J. Chaitin - September 18, 2009 (2:30 pm)
- Mathematics, Biology and Metabiology
- Professor Baogang Hu - August 5, 2009 (2:30 pm)
- Issues About Embedding Prior Information Onto Learning Machines - Examples on Neural Network Models
- Professor Oscar H. Ibarra - July 10, 2009 (2:30 pm)
- Membrane Computing and Spiking Neural Systems
- Jeremy Johnson - April 20, 2009 (9:00 am)
- Sparse LU Decomposition using FPGA
- Juhani Karhumaki - January 22, 2009 (1:30 pm)
- Some Remarks On Language Equations
- Sven Dickinson - November 28, 2008 (11:00 am)
- The Evolution of Object Recognition Systems
- Luca Cardelli - August 20, 2008 (1:30 pm)
- Molecules as Automata
- Gregg Rothermel - August 18, 2008 (3:30 pm)
- Software Testing: An Evolution-Centric Perspective
- Daniel L. Silver - May 26, 2008 (1:30 pm)
- Inductive Transfer and Lifelong Learning with Context Sensitive Neural Networks
- Kyros Kutulakos - April 30, 2008 (11:30 am)
- Reasoning about Light
- Maxime Crochemore - December 7, 2007 (1:30 pm)
- Local Periodicities In Strings
- Dr. Greg Wilson - November 28, 2007 (3:30 pm)
- "DrProject: A Web 2.0 Project Management Portal"
- Dr. Russell Miller - September 13, 2007 (1:30 pm)
- "Local Computability and Uncountable Structures"
- Cristian Calude - August 24, 2007 (2:30 pm)
- "Most Programs Stop Quickly or Never Halt"
- Prof. David Harel - June 5, 2007 (1:30 pm)
- In Silico Biology, or On Comprehensive and Realistic Modeling
- Professor B. Ravikumar - May 15, 2007 (2:00 pm)
- Two applications of Benford Distribution - in Formal Languages and Combinatorial Game Theory
- Michael Kohlhase - December 13, 2006 (3:30 pm)
- A "Semantic Web" for Science and Technology Communicating the Content of Mathematics "In the Large"
- Wilhelm Schäfer - November 3, 2006 (3:30 pm)
- Model Driven Development with Mechatronic UML
- Dr. Masakazu Suzuki - May 11, 2006 (10:30 am)
- Handwriting Interface to Mathematical Expressions
- Gerhard Weber - April 12, 2006 (10:30 am)
- Usability and Accessibility in Multimedia E-Books
- Lisa Boehringer - March 21, 2006 (1:30 pm)
- Human-Centered Interaction, Empirical Study of an Information System
- Prof. William Smyth - March 16, 2006 (11:30 am)
- A Taxonomy of Suffix Array Construction Algorithms
- Natasha Jonoska - December 9, 2005 (12:30 pm)
- Computing by Graph Self-Assembly
- Peter Sanders - October 3, 2005 (1:30 pm)
- Algorithm Engineering for Fundamental Data Structures and Algorithms
Also from this web page:
