Technical Reports from 2007
Random Test Data Generation for Java Classes Annotated with JML Specifications, Yoonsik Cheon and Carlos E. Rubio-Medrano
Exponential Disutility Functions in Transportation Problems: A New Theoretical Justification, Ruey L. Cheu and Vladik Kreinovich
Use of Deterministic Traffic Assignment Algorithms in Stochastic Networks: Analysis of Equivalent Link Disutility Functions, Ruey L. Cheu and Vladik Kreinovich
Traffic Assignment for Risk Averse Drivers in a Stochastic Network, Ruey L. Cheu, Vladik Kreinovich, and Srinivasa R. Manduva
How to Estimate, Take Into Account, and Improve Travel Time Reliability in Transportation Networks, Ruey L. Cheu, Vladik Kreinovich, Francois Modave, Gang Xiang, Tao Li, and Tanja Magoc
Logit Discrete Choice Model: A New Distribution-Free Justification, Ruey L. Cheu, Hung T. Nguyen, Tanja Magoc, and Vladik Kreinovich
Baby-Steps Towards Building a Spanglish Language Model, Juan C. Franco and Thamar Solorio
Fern: An Updatable Authenticated Dictionary Suitable for Distributed Caching, Eric Freudenthal, David Herrera, Steve Gutstein, Ryan Spring, and Luc Longpre
Evaluation Of HF RFID for Implanted Medical Applications, Eric Freudenthal, David Herrera, Frederick Kautz, Carlos Natividad, Alexandria Ogrey, Justin Sipla, Abimael Sosa, Carlos Betancourt, and Leonardo Estevez
2006 Survey Results for CS1310: Introduction to Programming Using Media Computation, Aida Gandara
The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies, Ann Q. Gates, G. Randy Keller, Flor Salcedo, Paulo Pinheiro da Silva, and Leonardo Salayandia
On Decision Making Under Interval Uncertainty: A New Justification of Hurwicz Optimism-Pessimism Approach and its Use in Group Decision Making, Van Nam Huynh, Chenyi Hu, Yoshiteru Nakamori, and Vladik Kreinovich
Towards Efficient Prediction of Decisions under Interval Uncertainty, Van Nam Huynh, Vladik Kreinovich, Yoshiteru Nakamori, and Hung T. Nguyen
On Probability of Making a Given Decision: A Theoretically Justified Transition from Interval to Fuzzy Uncertainty, Van Nam Huynh, Yoshiteru Nakamori, and Francois Modave
The Mathematical Analysis of T-Norms is Logically Non-Trivial, Sandor Jenei, Vladik Kreinovich, David Ponevac, and Yaffa Al Bayyari
Architectural Assertions: Checking Architectural Constraints at Run-Time, Hyotaeg Jung, Carlos E. Rubio-Medrano, Eric Wong, and Yoonsik Cheon
Towards Combining Probabilistic, Interval, Fuzzy Uncertainty, and Constraints: On the Example of Inverse Problem in Geophysics, George R. Keller, Scott A. Starks, Aaron Velasco, Matthew Averill, Roberto Araiza, Gang Xiang, and Vladik Kreinovich
A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs, Myoung Yee Kim and Yoonsik Cheon
Towards Interval Techniques for Processing Educational Data, Olga Kosheleva, Vladik Kreinovich, Luc Longpre, Mourat Tchoshanov, and Gang Xiang
Towards a General Description of Interval Multiplications: Algebraic Analysis and its Relation to T-Norms, Olga Kosheleva, Guenter Mayer, and Vladik Kreinovich
Any (True) Statement Can Be Generalized So That It Becomes Trivial: A Simple Formalization of D. K. Faddeev's Belief, Vladik Kreinovich
Computing at Least One of Two Roots of a Polynomial Is, in General, Not Algorithmic, Vladik Kreinovich
Interval Computations and Interval-Related Statistical Techniques: Tools for Estimating Uncertainty of the Results of Data Processing and Indirect Measurements, Vladik Kreinovich
Interval Computations as an Important Part of Granular Computing: An Introduction, Vladik Kreinovich
Towards a More Physically Adequate Definition of Randomness: A Topological Approach, Vladik Kreinovich
Why Intervals? Why Fuzzy Numbers? Towards a New Justification, Vladik Kreinovich
Computational Complexity of Determining Which Statements about Causality Hold in Different Space-Time Models, Vladik Kreinovich and Olga Kosheleva
From (Idealized) Exact Causality-Preserving Transformations to Practically Useful Approximately-Preserving Ones: A General Approach, Vladik Kreinovich and Olga Kosheleva
In Some Curved Spaces, One Can Solve NP-Hard Problems in Polynomial Time, Vladik Kreinovich and Maurice Margenstern
Statistical Hypothesis Testing Under Interval Uncertainty: An Overview, Vladik Kreinovich, Hung T. Nguyen, and Sa-aat Niwitpong
Aggregation in Biological Systems: Computational Aspects, Vladik Kreinovich and Max Shpak
Decomposable Aggregability in Population Genetics and Evolutionary Computations: Algorithms and Computational Complexity, Vladik Kreinovich and Max Shpak
Fast Algorithms for Computing Statistics under Interval Uncertainty: An Overview, Vladik Kreinovich and Gang Xiang
Static Space-Times Naturally Lead to Quasi-Pseudometrics, Hans-Peter A. Kuenzi and Vladik Kreinovich
m Solutions Good, m-1 Solutions Better, Luc Longpre, William Gasarch, G. W. Walster, and Vladik Kreinovich
When Are Two Wave Functions Distinguishable: A New Answer to Pauli's Question, with Potential Applications to Quantum Cosmology, Luc Longpre and Vladik Kreinovich
Interval Approach to Preserving Privacy in Statistical Databases: Related Challenges and Algorithms of Computational Statistics, Luc Longpre, Gang Xiang, Vladik Kreinovich, and Eric Freudenthal
How to Avoid Gerrymandering: A New Algorithmic Solution, Gregory B. Lush, Esteban Gamez, and Vladik Kreinovich
Estimating Quality of Support Vector Machines Learning Under Probabilistic and Interval Uncertainty: Algorithms and Computational Complexity, Canh Hao Nguyen, Tu Bao Ho, and Vladik Kreinovich
Trade-Off Between Sample Size and Accuracy: Case of Dynamic Measurements under Interval Uncertainty, Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Scott Ferson
Trade-Off Between Sample Size and Accuracy: Case of Static Measurements under Interval Uncertainty, Hung T. Nguyen and Vladik Kreinovich
Random Fuzzy Sets, Hung T. Nguyen, Vladik Kreinovich, and Gang Xiang
Set-Valued Extensions of Fuzzy Logic: Classification Theorems, Gilbert Ornelas and Vladik Kreinovich
WDO-It! A Tool for Building Scientific Workflows from Ontologies, Paulo Pinheiro da Silva, Leonardo Salayandia, and Ann Q. Gates
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
UFuzzy Prediction Models in Measurement, Leon Reznik and Vladik Kreinovich
Three Prosodic Features That Cue Back-Channel Feedback in Northern Mexican Spanish, Anais G. Rivera and Nigel G. Ward
Using Patterns and Composite Propositions to Automate the Generation of Complex LTL, Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach
Verification of Automatically Generated Pattern-Based LTL Specifications, Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications, Salamah Salamah, Vladik Kreinovich, and Ann Q. Gates