Technical Reports from 2012
Algorithmics of Checking Whether a Mapping Is Injective, Surjective, and/or Bijective, E. Cabral Balreira, Olga Kosheleva, and Vladik Kreinovich
Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying, Martine Ceberio, Olga Kosheleva, and Vladik Kreinovich
Decision Making under Interval Uncertainty (and Beyond), Vladik Kreinovich
How to Define Relative Approximation Error of an Interval Estimate: A Proposal, Vladik Kreinovich
In Quantum Physics, Free Will Leads to Nonconservation of Energy, Vladik Kreinovich
Interval Uncertainty as the Basis for a General Description of Uncertainty: A Position Paper, Vladik Kreinovich
Membership Functions or alpha-Cuts? Algorithmic (Constructivist) Analysis Justifies an Interval Approach, Vladik Kreinovich
Towards Optimizing Cloud Computing: An Example of Optimization under Uncertainty, Vladik Kreinovich
Why Clayton and Gumbel Copulas: A Symmetry-Based Explanation, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
Street Detection with Asymmetric Haar Features, Geovany Ramirez and Olac Fuentes
An Evaluation Approach for Interactions between Abstract Workflows and Provenance Traces, Leonardo Salayandia, Ann Q. Gates, and Paulo Pinheiro
How to Describe and Propagate Uncertainty When Processing Time Series: Metrological and Computational Challenges, with Potential Applications to Environmental Studies, Christian Servin, Martine Ceberio, Aline Jaimes, Craig Tweedie, and Vladik Kreinovich
Technical Reports from 2011
Estimating Correlation under Interval Uncertainty, Ali Jalal-Kamali and Vladik Kreinovich
In the Beginning Was the Word, and the Word was Fuzzy, Vladik Kreinovich
Is It Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?, Marcin Michalak and Vladik Kreinovich
Towards Fast and Accurate Algorithms for Processing Fuzzy Data: Interval Computations Revisited, Gang Xiang and Vladik Kreinovich
Technical Reports from 2010
Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-Objective Constraint Optimization, Aline James, Craig Tweedie, Tanja Magoc, Vladik Kreinovich, and Martine Ceberio
Adding Constraints -- A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems, Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich
Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization, Vladik Kreinovich, Juan Ferret, and Martine Ceberio
Towards an Efficient Bisection of Ellipsoids, Paden Portillo, Martine Ceberio, and Vladik Kreinovich
Why Curvature in L-Curve: Combining Soft Constraints, Uram Anibal Sosa Aguirre, Martine Ceberio, and Vladik Kreinovich
Manuscripts from 2009
The Macro-structure of Use of Help, Oscar D. Andrade, David G. Novick, and Nathaniel Bean
Continuous If-Then Statements Are Computable, Martine Ceberio and Vladik Kreinovich
Real-Time Image-Based Motion Detection Using Color and Structure, Manali Chakraborty and Olac Fuentes
Why Tensors?, Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich
Using preference constraints to solve multi-criteria decision making problems, Tanja Magoč, Martine Ceberio, and Francois Modave
Object detection using image reconstruction with PCA, Luis Malagon-Borja and Olac Fuentes
Manuscripts from 2008
Help-Based Tutorials, David G. Novick, Oscar D. Andrade, Nathaniel Bean, and Edith Elizalde
A Technique for Using Model Checkers to Teach Formal Specifications, Salamah Salamah and Ann Q. Gates
Manuscripts from 2007
Work in progress - peer-led team learning implementation in computer science, Richard A. Alo, Mohsen Beheshti, John Fernandez, Ann Q. Gates, and Desh Ranjan
Using evolution strategies to perform stellar population synthesis for galaxy spectra from SDSS, Juan Carlos Gomez and Olac Fuentes
A computational model of culture-specific conversational behavior, Dusan Jan, David Herrera, Bilyana Martinovski, David G. Novick, and David Traum
Interval Computations and Interval-Related Statistical Techniques: Tools for Estimating Uncertainty of the Results of Data Processing and Indirect Measurements, Vladik Kreinovich
Generating Properties for Runtime Monitoring from Software Specification Patterns, Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, and Oleg Sokolsky
Toward a more accurate view of when and how people seek help with computer applications, David G. Novick, Edith Elizalde, and Nathaniel Bean
Usability inspection methods after 15 years of research and practice, David G. Novick and Tasha Hollingsed
Propagation and Provenance of Probabilistic and Interval Uncertainty in Cyberinfrastructure-Related Data Processing and Data Fusion, Paulo Pinheiro da Silva, Aaron A. Velasco, Martine Ceberio, Christian Servin, Matthew G. Averill, Nicholas Ricky Del Rio, Luc Longpre, and Vladik Kreinovich
Towards a Workflow Management System for Service Oriented Modules, Leonardo Salayandia and Ann Q. Gates
Manuscripts from 2006
Interval-Based Multicriteria Decision Making, Martine C. Ceberio and François Modave
What users say they want in documentation, David G. Novick and Karen Ward
Why don't people read the manual?, David G. Novick and Karen Ward
Technical Reports from 2005
Interval-Type and Affine Arithmetic-Type Techniques for Handling Uncertainty in Expert Systems, with Applications to Geoinformatics and Computer Security, Martine Ceberio, Vladik Kreinovich, Sanjeev Chopra, Luc Longpre, Hung T. Nguyen, Bertram Ludaescher, and Chitta Baral
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services, Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, and Oleg Sokolsky
Usability over time, Valerie Mendoza and David G. Novick
Co-generation of text and graphics, David G. Novick and Brian Lowe
Verifying Pattern-Generated LTL Formulas: A Case Study, Salamah Salamah, Ann Q. Gates, Steve Roach, and Oscar Mondragon
Root causes of lost time and user stress in a simple dialog system, Nigel G. Ward, Anais G. Rivera, Karen Ward, and David G. Novick
Technical Reports from 2004
GEON: Geophysical Data Add the 3rd Dimension in Geospatial Studies, R. Aldouri, George R. Keller, Ann Q. Gates, J. Rasillo, Leonardo Salayandia, Vladik Kreinovich, John M. Seeley, P. Taylor, and S. Holloway
An Interval-valued, 2-additive Choquet Integral for Multicriteria Decision Making, Martine C. Ceberio and François Modave
Towards Integration of Probabilistic and Interval Errors in Engineering Calculations, M. Ceberio, S. A. Starks, V. Kreinovich, L. Longpré, R. Araiza, J. Beck, A. Nayak, R. Torres, and G. Xiang
Using 1-D Radar Observations to Detect a Space Explosion Core Among the Explosion Fragments: Sequential and Distributed Algorithms, P. Debroux, J. Boehm, Vladik Kreinovich, Gang Xiang, J. Beck, K. Tupelly, R. Kandathi, Luc Longpre, and K. Villaverde
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools, Nelly Delgado, Ann Q. Gates, and Steve Roach
Supporting Elicitation and Specification of Software Properties through Patterns and Composite Propositions, Oscar Mondragón and Ann Q. Gates
Assessing Effectiveness of Personality Style in Documentation, Kenneth Sayles and David G. Novick
Post-Training Support for Learning Technology, Sam Snoddy Jr. and David G. Novick
Technical Reports from 2003
The Use of Fuzzy Measures as a Data Fusion Tool in Geographic Information Systems: Case Study, Cynthia Campos, George R. Keller, Vladik Kreinovich, Luc Longpre, Francois Modave, Scott A. Starks, and Roberto Torres
Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm), Martine Ceberio and Vladik Kreinovich
Greedy Algorithms for Optimizing Multivariate Horner Schemes, Martine Ceberio and Vladik Kreinovich
Instrumentation of Intermediate Code for Runtime Verification, Ann Q. Gates, Oscar Mondragon, Mary Payne, and Steve Roach
Composite Propositions: Toward Support for Formal Specification of System Properties, Oscar A. Mondragon, Ann Q. Gates, and Steven M. Roach
An Interaction Initiative Model for Documentation, David G. Novick and Karen Ward
Hands-Free Documentation, Karen Ward and David G. Novick
Manuscripts from 2002
Horner's Rule for Interval Evaluation Revisited, Martine C. Ceberio and L. Granvilliers
FasTLInC: A Constraint-based Tracing Approach, Ann Q. Gates and Oscar Mondragon
Fuzzy Measures and Integrals as Aggregation Operators: Solving the Commensurability Problem, Francois Modave and Vladik Kreinovich
Extending Direct Manipulation in a Text Editor, David G. Novick, Francisco Romero, Edgar Rene Saenz, and Armando Sandoval
Manuscripts from 2001
Accounting for Domain Context in Evaluation, Meriem Chater and David G. Novick
DynaMICs: Comprehensive Support for Run-Time Monitoring, Ann C. Gates
A Framework for Knowledge Management and Automated Constraint Monitoring, Ann Q. Gates and Steve Roach
Towards Synthesis of Runtime Constraint Monitoring Code, Ann Q. Gates and Steve Roach
"Conversational" Dialogues in Direct-Manipulation Interfaces, David G. Novick
Users and Uses of Synchronous Business Communications Software, David G. Novick and Eleanor Wynn
Towards Automatic Detection of Erroneous Measurement Results in a Gravity Database, Qian Wen, Ann Q. Gates, Jan Beck, Vladik Kreinovich, and George R. Keller
Manuscripts from 2000
Structuring the Student Research Experience, Andrew Bernat, Patricia J. Teller, Ann Q. Gates, and Nellie Delgado
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic, Martine C. Ceberio and Laurent Granvilliers
A Structured Approach for Managing a Practical Software Engineering Course, Ann Q. Gates, Nelly Delgado, and Oscar Mondragon
Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark, Ann Q. Gates and Vladik Kreinovich
Manuscripts from 1999
DynaMICs: An Automated and Independent Software-Fault Detection Approach, Ann Q. Gates and Patricia J. Teller
Manuscripts from 1990
On the Application of Stratification to Requirement Specifications, Daniel Cooke and Ann Gates