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

History.

• The 1st Joint Workshop on Mathematics and Computer Science was held in Las Cruces, New Mexico, on April 14, 2007.
• The 2nd Joint Workshop on Mathematics and Computer Science was held in El Paso, Texas, on November 17, 2007.
• The 3rd Joint Workshop on Mathematics and Computer Science was held in Las Cruces, New Mexico, on April 26, 2008.

• to bring in researchers in Math, Computer Science, and Computational Sciences who are collaborating and/or who are interested in collaboration;
• to bring in researchers from outside outside our research areas who are interested in collaborating with Math, Computer Science, and Computational Sciences researchers.

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

Program

 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
               Equation

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
               Techniques

 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
               Sources

 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
               Applications

 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

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

Sponsors:

• Department of Computer Science, University of Texas at El Paso
• CAHSI, Computing Alliance for Hispanic-Serving Institutions
• Cyber-ShARE, Center of Excellence for Sharing resources for the Advancement of Research and Education through Cyberinfrastructure

• Garden Cabaret, a concert featuring historic keyboard instruments and French music of early 20th century Paris. Works scheduled to be performed include J. S. Bach's Concerto in C Major for Two Harpsichords and Maurice Ravel's Jeux d'Eau. This program begins at 7:30 pm, in UTEP's Fox Fine Arts Building, Band Room 140, with the performance moving to the outside garden - weather permitting.
• Opera a la Carte concert at 7:30 pm at First Baptist Church, 805 Montana.