4th Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences

University of Texas at El Paso
El Paso, Texas
Saturday, November 8, 2008

Objective of the joint workshops series. The main objective of these workshops is to initiate and enhance the interaction, exchange of ideas, and possible collaboration.


Objective of this workshop.

Location: UTEP Campus, Quinn Hall 212, near UTEP Computer Science Building.


 9:00- 9:05 am official opening

 9:05- 9:25 am Roberto Araiza
               Bioinformatics Program, UTEP
               Using Intervals for the Concise Representation of Inverted Repeats
               in RNA

 9:25- 9:30 am questions and discussion

 9:30- 9:50 am Sarala Arunagiri, Patricia J. Teller, Seetharami Seelam,
               Ron A. Oldfield, Maria Ruiz Varela, and Rolf Riesen
               Department of Computer Science, UTEP
               Analysis of a Checkpoint Restart Model to Uncover Properties
               That Can Lead to Improved Application Performance

 9:50- 9:55 am questions and discussion

 9:55-10:15 am Neelabh Baijal and Luc Longpre
               Department of Computer Science, UTEP
               Preserving Privacy in Statistical Databases by Using Intervals
               Instead of Cell Suppression

10:15-10:20 am questions and discussion

10:20-10:40 am coffee break

10:40-11:00 am Martine Ceberio and Vladik Kreinovich
               Department of Computer Science, UTEP
               Computing with Tensors: Potential Applications of Physics-Motivated
               Mathematics to Computer Science

11:00-11:05 am questions and discussion

11:05-11:25 am Manali Chakraborty and Olac Fuentes
               Department of Computer Science, UTEP
               Real-Time Image-Based Motion Detection Using Color and Structure

11:25-11:30 am questions and discussion

11:30-11:50 am Behzad Djafari-Rouhani
               Department of Mathematical Sciences, UTEP
               Asymptotic Behavior of Solutions to a Second Order Evolution

11:50-11:55 am questions and discussion

11:55-12:15 pm Art Duval
               Department of Mathematical Sciences, UTEP
               Simplicial Spanning Trees

12:15-12:20 pm questions and discussion

12:20-12:40 pm John Harding
               Department of Mathematical Sciences, NMSU
               Quantum Logic

12:40-12:45 pm questions and discussion

12:45- 1:55 pm lunch and discussion

 1:55- 2:15 pm Naga Suman Kanagala, Edgar Padilla, Essau Ramirez, Angel Silva,
               Cesar Valenzuela, and Martine Ceberio
               Department of Computer Science, UTEP
               Gait Analysis Using Optimization and Constraint Programming

 2:15- 2:20 pm questions and discussion

 2:20- 2:40 pm M. Amine Khamsi
               Department of Mathematical Sciences, UTEP
               Remarks on Caristi's Fixed Point Theorem

 2:40- 2:45 pm questions and discussion

 2:45- 3:05 pm Jaime Nava, Vladik Kreinovich, Guillermo Restrepo, and
               Douglas J. Klein
               Department of Computer Science, UTEP
               Discrete Taylor Series as a Simple Way to Predict Characteristics
               of Chemical Substances Like Benzenes and Cubanes

 3:05- 3:10 pm questions and discussion

 3:10- 3:30 pm Inna Pivkina
               Department of Computer Science, NMSU
               Teaching Mathematics and Computer Science with Primary Historical

 3:30- 3:35 pm questions and discussion

 3:35- 3:55 pm Andrzej Pownuk
               Department of Mathematical Sciences, UTEP
               Mathematical Aspects of Grading Students' Homework in On-Line Web

 3:55- 4:00 pm questions and discussion

 4:00- 4:20 pm coffee break

 4:20- 4:40 pm Karen Villaverde and Gilbert Ornelas
               Department of Computer Science, NMSU, and
               Department of Computer Science, UTEP
               Beyond Intervals: Phase Transitions Lead to More General Ranges

 4:40- 4:45 pm questions and discussion

 4:45- 5:05 pm Piotr Wojciechowski
               Department of Mathematical Sciences, UTEP
               Strong Completeness of Łukasiewicz Axioms

 5:05- 5:10 pm questions and discussion

 5:10- 5:30 pm John Harding and Qin Yang
               Department of Mathematical Sciences, NMSU
               Regular Completions

 5:30- 5:35 pm questions and discussion

 5:35- 5:55 pm Jun Zheng and Olac Fuentes
               Department of Computer Science, UTEP
               A Stochastic Method for Resolution-Enhancement of Face Images

 5:55- 6:00 pm questions and discussion

 6:00- 6:30 pm general discussion

Post-workshop proceedings. Selected peer-refereed papers related to uncertainty will be published, in 2009, in a special issue of the Journal of Uncertain Systems. Deadlines will be announced at the workshop.

Organizing Committee (in alphabetic order):
Guram Bezhanishvili (Department of Mathematical Sciences, NMSU)
Martine Ceberio (Department of Computer Science, UTEP)
John Harding (Department of Mathematical Sciences, NMSU)
Vladik Kreinovich (Department of Computer Science, UTEP)
Luc Longpre (Department of Computer Science, UTEP)
Enrico Pontelli (Department of Computer Science, NMSU)
Desh Ranjan (Department of Computer Science, NMSU)
Karen Villaverde (Department of Computer Science, NMSU)

Local Organizers: Martine Ceberio, Vladik Kreinovich, and Luc Longpre


Post-Workshop Musical Treats: Tickets for both musical events are available at the door.