Follow

Manuscripts from 2013

Imprecise probabilities in engineering analyses, Michael Beer, Scott Ferson, and Vladik Y. Kreinovich

Comparing intervals and moments for the quantification of coarse information, Michael Beer and Vladik Y. Kreinovich

Double-oracle Algorithm for Computing an Exact Nash Equilibrium in Zero-sum Extensive-form Games, Branislav Bosansky, Viliam Lisy, Jiri Cermak, Michal Pechoucek, and Christopher Kiekintveld

An Extended Study on Multi-Objective Security Games, Matthew Brown, Bo An, Fernando Ordonez, Milind Tambe, and Christopher Kiekintveld

Affine Arithmetic-Type Techniques for Handling Uncertainty in Expert Systems, with Applications to Geoinformatics and Computer Security, M.Ceberio, V. , L. Longpr, E. Saad, B. Ludaescher, C. Baral, H. T. Nguyen, abstract accepted to SCAN', Martine C. Ceberio

An Interval-valued, 2-additive Choquet Integral for Multicriteria Decision Making, M. Ceberio and F. Modave, Proceedings of IPMU'4, held in Perugia, Italy, July, Martine C. Ceberio

Fast Multiplication of Interval Matrices, M. Ceberio and V. , to be published in Reliable Computing, Martine C. Ceberio

Greedy Algorithms for Optimizing Multivariate Horner Schemes, M. Ceberio and V. , published in the ACM-SIGSAM Bulletin, number 1,, March, Martine C. Ceberio

Horner's Rule for Interval Evaluation Revisited, M. Ceberio and L. Granvilliers, Computing,, Martine C. Ceberio

Interval-Based Multicriteria Decision Making, M. Ceberio and F. Modave, Proceedings of AI+MATH'4, held in Fort Lauderdale 1/, Martine C. Ceberio

Resolution de systemes non lineaires par inversion des contraintes et analyse des intervalles, M. Ceberio and L. Granvilliers, JFPLC',, Martine C. Ceberio

Soft Constraints: A Unifying Framework applied to Continuous Soft Constraints, F. Benhamou and M. Ceberio, WS ERCIM/CoLogNET,, Martine C. Ceberio

Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic, M. Ceberio and L. Granvilliers, AISC',, Martine C. Ceberio

Towards Integration of Probabilistic and Interval Errors in Engineering Calculations, S. A. Starks, V. , L. Longpr, M. Ceberio, R. Araiza, J. Beck, R. Kandathi, A. Nayak, R. Torres, G. Xiang, abstract accepted for inclusion in the works of the NSF Workshop on Reliable Engineering Computing , to be held during September, 24 at the Georgia Institute of Technology, Savannah, Georgia, USA., Martine C. Ceberio

Towards Joint Use of Probabilities and Intervals in Scientific Computing: What is the Best Transition from Linear to Quadratic Approximation?, M. Ceberio, V. and L. Ginzburg, accepted to PARA'4 interval mini-symposium, held in Lingby, Denmark, June, Martine C. Ceberio

Preface to the special issue on uncertainty, Martine C. Ceberio and Vladik Y. Kreinovich

Using preference constraints to solve multi-criteria decision making problems, M. Ceberio, F. Modave, and Tanja Magoc

Link

Real-time image-based motion detection using color and structure, Manali Chakraborty and Olac Fuentes

Link

A learning method for imbalanced data sets, Jorge de la Calleja, Jesus Gonzalez, Rita Avevez, and Olac Fuentes

'A Community Effort to Construct a Gravity Database for the United States and an Associated Web Portal,', Ann C. Gates

'A Framework for Knowledge Management and Automated Constraint Monitoring,', Ann C. Gates

'A Framework for Knowledge Management and Automated Constraint Monitoring,', Ann C. Gates

'An Integrated Design of a Dynamic Software-Fault Monitoring System,', Ann C. Gates

'An Introduction to the Recognition of Iterative Structures by a CASE Tool,', Ann C. Gates

Applying the Affinity Research Group Model to Computer Engineering Research Projects,', Ann C. Gates

'A Structured Approach for Managing a Practical Software Engineering Course,', Ann C. Gates

'A Technique for Using Model Checkers to Teach Formal Specifications,', Ann C. Gates

'Automated Support for Property Specification Based on Patterns,', Ann C. Gates

'Composite Propositions: Toward Support for Formal Specification of System Properties,', Ann C. Gates

Cooke, D.E., and A. Gates, 'On the Application of Stratification to Requirement Specifications,'Proceedings of the Second International IEEE Conference on Tools for Artificial Intelligence}, November, Ann C. Gates

Delgado, N., Gates, A. Q. Gates, and S. Roach, 'A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Transactions on Software Engineering, 3, December, Ann C. Gates

'DynaMICs: An Automated and Independent Software-Fault Detection Approach,', Ann C. Gates

'DynaMICs: Comprehensive Support for Run-Time Monitoring,', Ann C. Gates

'FasTLInC: A Constraint-based Tracing Approach,', Ann C. Gates

'Generating Properties for Runtime Monitoring from Software Specification Patterns,', Ann C. Gates

'Generating Properties for Runtime Monitoring from Software Specification Patterns,', Ann C. Gates

'GeoNet: Use of Grid Technologies in Geoinformatics for the Transition Zone between the Colorado Plateau and the Basin Range Province,', Ann C. Gates

'GEON: Geophysical Data Add the 3rd Dimension in Geospatial Studies,', Ann C. Gates

'How Can Symposia Be Structured to Benefit Both Industry and Academia?,', Ann C. Gates

'Instrumentation of Intermediate Code for Runtime Verification,', Ann C. Gates

'JavaMaC and Runtime Monitoring for Geoinformatics Grid Services,', Ann C. Gates

'On the Application of Stratification to Requirement Specifications,', Ann C. Gates

'Progress Towards a Comprehensive Knowledge-based Monitoring System for the Development and Evolution of Software,', Ann C. Gates

'Prospec: Support for Elicitation and Formal Specification of Software Properties,', Ann C. Gates

'Strassen's Algorithm Made More Natural: A Pedagogical Remark,', Ann C. Gates

'Structuring the Student Research Experience,', Ann C. Gates

'Structuring the Student Research Experience,', Ann C. Gates

'Structuring the Student Research Experience,', Ann C. Gates

'Supporting Elicitation and pecification of Software Properties through Patterns and Composite Propositions,', Ann C. Gates

Teaching Software Engineering in a Computer Engineering Program Using the Affinity Research Group Phlosophy,', Ann C. Gates

'The Use of Integrity Constraints to Support Tracing,', Ann C. Gates

'Towards Automatic Detection of Erroneous Measurement Results in a Gravity Database,', Ann C. Gates

'Towards a Workflow Management System for Service Oriented Modules,', Ann C. Gates

'Towards Synthesis of Runtime Constraint Monitoring Code,', Ann C. Gates

'Towards Synthesis of Runtime Constraint Monitoring Code,', Ann C. Gates

Using the Affinity Research Group Model to Involve Undergraduate Students in Computer Engineering,', Ann C. Gates

Using the Affinity Research Group Model to Involve Undergraduate Students in Computer Engineering,', Ann C. Gates

'Verifying Pattern-Generated LTL Formulas: A Case Study,', Ann C. Gates

Work in Progress: Peer-Led Team Learning Implementation in Computer Engineering,', Ann C. Gates

Link

Using evolution strategies to perform stellar population synthesis for galaxy spectra from SDSS, Juan Carlos Gomez and Olac Fuentes

Uncertainty Analysis in Econometrics, with Applications, Van-Nam Huynh, Songsak Sribbonchitta, Komsan Suriya, and Vladik Y. Kreinovich

Preface , Van-Nam Huynh, Songsak Sriboonchitta, Komsan Suriya, and Vladik Y. Kreinovich

EAMMS: Energy-Aware Memory Management for Mobile Systems, Md. Jahid; Adrian Veliz; Rogelio Ochoa, Jr; Gabriel R. Arellano; David Pruitt; and Eric A. Freudenthal

Estimating Correlation under Interval Uncertainty, Ali Jalal-Kamali and Vladik Y. Kreinovich

Estimating Third Central Moment for Privacy Case under Interval and Fuzzy Uncertainty, Ali Jalal-Kamali and Vladik Y. Kreinovich

Security Games with Interval Uncertainty, Christopher Kiekintveld, Towhiudul Islam, and Vladik Y. Kreinovich

Cauchy Problem for the Brans-Dicke Scalar-Tensor Theory of Gravitation May Explain Time Asymmetry of Physical Processes, Olga M. Kosheleva and Vladik Y. Kreinovich

Passover miracles: view from Russia, Olga M. Kosheleva and Vladik Y. Kreinovich

A review of "Contractions of Classical and Quantum Groups" by N. A. Gromov, Vladik Y. Kreinovich

A review of "Decision with Dempster-Shafer belief functions: Decision under ignorance and sequential consistency", Vladik Y. Kreinovich

A review of "On consistent Inconsistencies" by A. Sapir, Vladik Y. Kreinovich

A review of "Solvability of interval linear equations and data analysis under uncertainty", Vladik Y. Kreinovich

From "I Ching" to Decision Making under Interval Uncertainty, Vladik Y. Kreinovich

How to Define Relative Approximation Error of an Interval Estimate: A Proposal, Vladik Y. Kreinovich

In quantum physics, free will leads to nonconservation of energy, Vladik Y. Kreinovich

Interval Uncertainty as the Basis for a General Description of Uncertainty: A Position Paper, Vladik Y. Kreinovich

In the Beginning Was the Word, and the Word was Fuzzy, Vladik Y. Kreinovich

Letter to the Editor re Vinton G. Cerf CACM 1/13 'Whats a Robot', Vladik Y. Kreinovich

Membership Functions or alpha-Cuts? Algorithmic (Constructivist) Analysis Justifies an Interval Approach, Vladik Y. Kreinovich

On the influence of cosmology on celestrial mechanical effect, Vladik Y. Kreinovich

Science is winning: recollections about the 'Boldino Autumn' (in Russian), Vladik Y. Kreinovich

Strong equivalence principle contradicts to observations, Vladik Y. Kreinovich

Towards Optimizing Cloud Computing: An Example of Optimization under Uncertainty, Vladik Y. Kreinovich

Likert-Scale Fuzzy Uncertainty from a Traditional Decision Making Viewpoint: It Incorporates Both Subjective Probabilities and Utility Information, Joe Lorkowski and Vladik Y. Kreinovich

Special issue on ``uncertainty modeling and analysis with intervals: foundations, tools, applications" - Editorial, Wolfram Luther, Evgenija Popova, and Vladik Y. Kreinovich

Link

Object detection using image reconstruction with PCA, Luis Malagon-Borja and Olac Fuentes

Explaining Semantic Web Applications, Deborah L. McGuinness, Vasco Furtado, Li Ding, Alyssa Glass, Cynthia Chang, and Paulo Pinheiro da Silva

Is It Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?, Marcin Michalak and Vladik Y. Kreinovich

A measurement theory perspective for multicriteria decision making, Fuzz-IEEE Conference, Melbourne, Australia, December, Francois Modave

An interval-valued 2-additive Choquet integral for Multicriteria Decision Making, M. Ceberio, F. Modave, 1th Conf. on Information Processing and Management of Uncertainty in Knowledge-based Systems , Perugia, Italy., Francois Modave

Axiomatization of Qualitative Multicriteria Decision Making with the Sugeno Integral, F. Modave, D. Iourinski, Intelligent Systems Design and Applications, in Advances in Soft Computing, Ed. Springer, May, Francois Modave

Decision making for robust resilient systems, F. Modave, R. Alo, A. de Korvin, HICSS 36, Hawaii, January, Francois Modave

Fuzzy functions and decision theory, R. Alo, A. de Korvin, F. Modave, EUNITE Conference, Portugal, September, Francois Modave

Fuzzy measures and integrals as aggregation operators: solving the commensurability problem, F. Modave, V. , North American Fuzzy Information Processing System, New Orleans, LA, June, Francois Modave

Interval-Based Multicriteria Decision Making, M. Ceberio, F. Modave, 8th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January,, Francois Modave

Interval-Based Multicriteria Decision Making, M. Ceberio, F. Modave, submitted to the AI+Math Journal ,, Francois Modave

Lotteries in a multicriteria decision making framework, F. Modave, M. Grabisch, 8th Conf. on Information Processing and Management of Uncertainty in Knowledge-based Systems , Madrid, Spain., Francois Modave

Qualitative Multicriteria Decision Making Based on the Sugeno Integral, F. Modave, D. Iourinski, NAFIPS Conference, Chicago, IL, July, Francois Modave

Relating decision under uncertainty and multicriteria decision making models, D. Dubois, M. Grabisch, F. Modave, H. Prade, Int., Francois Modave

The AKS algorithm in ACL2, C. Campos, F. Modave, S. Roach, submitted to 5th International Workshop on the ACL2 theorem prover and its applications, Austin, Texas,, Francois Modave