On this page, you will find information about the topics we are interested in at this time.

• Optimization and solution of large nonlinear systems  
• Theory of Neural Networks
• Bias in Machine Learning
• Application to the identification of ducks (for conservation)

Solver available for Windows 64bits, Windows 32bits, Mac OS.

Past activities:

• Interval arithmetic: we explored ways to make interval computations more efficient and how to integrate them in current solver frameworks. This work was primarily carried out by Paden Portillo.
• Symbolic-numeric algorithms for solving continuous non-linear constraints. This work was carried out with Mario Bencomo (now Ph.D. student at Rice University).
• Distributed Constraint Solving (Angel Garcia): report on this topic
• Combinatorial Testing (Leobardo Valera, Cristian Ayub, Raul Mena, Elsa Gonzalez-Aguilar, Gabriel Felix)
• Applications of constraint solving techniques are also explored. Shubhra Datta worked on using constraints to model and solve verification of program problems. Xiaojing Wang worked on determining fuzzy measures and she is researching on how optimization and constraint techniques can help.

More information on our work for Ducks Identification is available here.