<?xml version="1.0" encoding="utf-8" ?>
<rss version="2.0">
<channel>
<title>Departmental Technical Reports (CS)</title>
<copyright>Copyright (c) 2013 University of Texas at El Paso All rights reserved.</copyright>
<link>http://digitalcommons.utep.edu/cs_techrep</link>
<description>Recent documents in Departmental Technical Reports (CS)</description>
<language>en-us</language>
<lastBuildDate>Wed, 24 Apr 2013 01:45:51 PDT</lastBuildDate>
<ttl>3600</ttl>


	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	

	
		
	




<item>
<title>Towards Model Fusion in Geophysics: How to Estimate Accuracy of Different Models</title>
<link>http://digitalcommons.utep.edu/cs_techrep/759</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/759</guid>
<pubDate>Mon, 22 Apr 2013 12:50:09 PDT</pubDate>
<description>
	<![CDATA[
	<p>In geophysics, we usually have several Earth models based on different types of data: seismic, gravity, etc. Each of these models captures some aspects of the Earth structure. To get the more description of the Earth, it is desirable to "fuse" these models into a single one. To appropriately fuse the models, we need to know the accuracy of different models. In this paper, we show that the traditional methods cannot be directly used to estimate these accuracies, and we propose a new method for such estimation.</p>

	]]>
</description>

<author>Omar Ochoa et al.</author>


</item>




<item>
<title>Why ℓ1 Is a Good Approximation to ℓ0: A Geometric Explanation</title>
<link>http://digitalcommons.utep.edu/cs_techrep/758</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/758</guid>
<pubDate>Mon, 22 Apr 2013 12:50:05 PDT</pubDate>
<description>
	<![CDATA[
	<p>In practice, we usually have partial information; as a result, we have several different possibilities consistent with the given measurements and the given knowledge. For example, in geosciences, several possible density distributions are consistent with the measurement results. It is reasonable to select the simplest among such distributions. A general solution can be described, e.g., as a linear combination of basic functions. A natural way to define the simplest solution is to select a one for which the number of the non-zero coefficients c<sub>i</sub> is the smallest. The corresponding "l<sub>0</sub>-optimization" problem is non-convex and therefore, difficult to solve. As a good approximation to this problem, Candes and Tao proposed to use a solution to the convex l<sub>1</sub> optimization problem |c<sub>1</sub>| + ... + |c<sub>n</sub>| --> min. In this paper, we provide a geometric explanation of why l<sub>1</sub> is indeed the best convex approximation to l<sub>0</sub>.</p>

	]]>
</description>

<author>Carlos Ramirez et al.</author>


</item>




<item>
<title>A New Analog Optical Processing Scheme for Solving NP-Hard Problems</title>
<link>http://digitalcommons.utep.edu/cs_techrep/757</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/757</guid>
<pubDate>Mon, 22 Apr 2013 12:50:02 PDT</pubDate>
<description>
	<![CDATA[
	<p>Many real-life problems are, in general, NP-hard, i.e., informally speaking, are difficult to solve. To be more precise, a problem p is NP-hard means that every problem from the class NP can be reduced to this problem p. Thus, if we have an efficient algorithm for solving one NP-hard problem, we can use this reduction to get a more efficient way of solving all the problems from the class NP. To speed up computations, it is reasonable to base them on the fastest possible physical process -- i.e., on light. It is known that analog optical processing indeed speeds up computation of several NP-hard problems. Each of the corresponding speed-up schemes has its success cases and limitations. The more schemes we know, the higher the possibility that for a given problem, one of these schemes will prove to be effective. Motivated by this argument, we propose a new analog optical processing scheme for solving NP-hard problems.</p>

	]]>
</description>

<author>Michael Zakharevich et al.</author>


</item>




<item>
<title>For Describing Uncertainty, Ellipsoids Are Better than Generic Polyhedra and Probably Better than Boxes: A Remark</title>
<link>http://digitalcommons.utep.edu/cs_techrep/756</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/756</guid>
<pubDate>Mon, 22 Apr 2013 12:49:58 PDT</pubDate>
<description>
	<![CDATA[
	<p>For a single quantity, the set of all possible values is usually an interval. An interval is easy to represent in a computer: e.g., we can store its two endpoints. For several quantities, the set of possible values may have an arbitrary shape. An exact description of this shape requires infinitely many parameters, so in a computer, we have to use a finite-parametric approximation family of sets. One of the widely used methods for selecting such a family is to pick a symmetric convex set and to use its images under all linear transformations. If we pick a unit ball, we end up with ellipsoids; if we pick a unit cube, we end up with boxes and parallelepipeds; we can also pick a polyhedron. In this paper, we show that ellipsoids lead to better approximations of actual sets than generic polyhedra; we also show that, under a reasonable conjecture, ellipsoids are better approximators than boxes.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>How to Explain (and Overcome) 2% Barrier in Teaching Computer Science: Fuzzy Ideas Can Help</title>
<link>http://digitalcommons.utep.edu/cs_techrep/755</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/755</guid>
<pubDate>Mon, 22 Apr 2013 12:49:55 PDT</pubDate>
<description>
	<![CDATA[
	<p>Computer science educators observed that in the present way of teaching computing, only 2% of students can easily handle computational concepts -- and, as a result, only 2% of the students specialize in computer science. With the increasing role of computers in the modern world, and the increasing need for computer-related jobs, this 2% barrier creates a shortage of computer scientists. We notice that the current way of teaching computer science is based on easiness of using two-valued logic, on easiness of dividing all situations, with respect to each property, into three classes: yes, no, and unknown. The fact that the number of people for whom such a division is natural is approximately 2%, provides a natural explanation of the 2% barrier -- and a natural idea of how to overcome this barrier: to tailor our teaching to students for whom division into more than three classes is much more natural. This means, in particular, emphasizing fuzzy logic, in which for each property, we divide the objects into several classes corresponding to different degrees with which the given property is satisfied.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>Towards Fuzzy Method for Estimating Prediction Accuracy for Discrete Inputs, with Application to Predicting At-Risk Students</title>
<link>http://digitalcommons.utep.edu/cs_techrep/754</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/754</guid>
<pubDate>Mon, 22 Apr 2013 12:49:51 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many practical situations, we need, given the values of the observed quantities x1, ..., xn, to predict the value of a desired quantity y. To estimate the accuracy of a prediction algorithm f(x1, ..., xn), we need to compare the results of this algorithm's prediction with the actually observed values.</p>
<p>The value y usually depends not only on the values x1, ..., xn, but also on values of other quantities which we do not measure. As a result, even when we have the exact same values of the quantities x1, ..., xn, we may get somewhat different values of y. It is often reasonable to assume that for each combinations of xi values, possible values of y are normally distributed, with some mean E and standard deviation s. Ideally, we should predict both E and s, but in many practical situations, we only predict a single value Y. How can we gauge the accuracy of this prediction based on the observations?</p>
<p>A seemingly reasonable idea is to use crisp evaluation of prediction accuracy: a method is accurate if Y belongs to a k-sigma interval [E - k * s, E + k * s], for some pre-selected value k (e.g., 2, 3, or 6). However, in this method, the value Y = E + k * s is considered accurate, but a value E + (k + d) * s (which, for small d > 0, is practically indistinguishable from Y) is not accurate. To achieve a more adequate description of accuracy, we propose to define a degree to which the given estimate is accurate.</p>
<p>As a case study, we consider predicting at-risk students.</p>

	]]>
</description>

<author>Xiaojing Wang et al.</author>


</item>




<item>
<title>Towards Discrete Interval, Set, and Fuzzy Computations</title>
<link>http://digitalcommons.utep.edu/cs_techrep/753</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/753</guid>
<pubDate>Mon, 22 Apr 2013 12:49:48 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many applications, we know the function f(x1,...,xn), we know the intervals [xi] of possible values of each quantity xi, and we are interested in the range of possible values of y=f(x1,...,xn); this problem is known as the problem of interval computations. In other applications, we know the function f(x1,...,xn), we know the fuzzy sets Xi that describe what we know about each quantity xi, and we are interested in finding the fuzzy set Y corresponding to the quantity y=f(x1,...,xn); this problem is known as the problem of fuzzy computations. There are many efficient algorithms for solving these problems; however, most of these algorithms implicitly assume that each quantity xi can take any real value within its range. In practice, some quantities are discrete: e.g., xi can describe the number of people. In this paper, we provide feasible algorithms for interval, set, and fuzzy computations for such discrete inputs.</p>

	]]>
</description>

<author>Enrique Portillo et al.</author>


</item>




<item>
<title>Aggregation Operations from Quantum Computing</title>
<link>http://digitalcommons.utep.edu/cs_techrep/752</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/752</guid>
<pubDate>Mon, 22 Apr 2013 10:36:13 PDT</pubDate>
<description>
	<![CDATA[
	<p>Computer systems based on fuzzy logic should be able to generate an output from the handling of inaccurate data input by applying a rule based system. The main contribution of this paper is to show that quantum computing can be used to extend the class of fuzzy sets. The central idea associates the states of a quantum register to membership functions (mFs) of fuzzy subsets, and the rules for the processes of fuzzyfication are performed by unitary qTs. This paper introduces an interpretation of aggregations obtained by classical fuzzy states, that is, by multi-dimensional quantum register associated to mFs on unitary inter- val U. In particular, t-norms and t-conorms based on quantum gates, allow the modeling and interpretation of union, intersection, difference and implication among fuzzy sets, also including an expression for the class of fuzzy S-implications. Furthermore, an interpretation of the symmetric sum was achieved by considering the sum of related classical fuzzy states. For all cases, the measurement process performed on the corresponding quantum registers yields the correct interpretation for all the logical operators.</p>

	]]>
</description>

<author>Lidiane Visintin et al.</author>


</item>




<item>
<title>Relation Between Polling and Likert-Scale Approaches to Eliciting Membership Degrees Clarified by Quantum Computing</title>
<link>http://digitalcommons.utep.edu/cs_techrep/751</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/751</guid>
<pubDate>Mon, 22 Apr 2013 10:36:10 PDT</pubDate>
<description>
	<![CDATA[
	<p>In fuzzy logic, there are two main approaches to eliciting membership degrees: an approach based on polling experts, and a Likert-scale approach, in which we ask experts to indicate their degree of confidence on a scale -- e.g., on a scale form 0 to 10. Both approaches are reasonable, but they often lead to different membership degrees. In this paper, we analyze the relation between these two approaches, and we show that this relation can be made much clearer if we use models from quantum computing.</p>

	]]>
</description>

<author>Renata Hax Sander Reiser et al.</author>


</item>




<item>
<title>Why Inverse F-transform? A Compression-Based Explanation</title>
<link>http://digitalcommons.utep.edu/cs_techrep/750</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/750</guid>
<pubDate>Mon, 22 Apr 2013 10:36:06 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many practical situations, e.g., in signal processing, image processing, analysis of temporal data, it is very useful to use fuzzy (F-) transforms. In an F-transform, we first replace a function x(t) by a few local averages (this is called <em>forward</em> F-transform), and then reconstruct the original function from these averages (this is called <em>inverse</em> F-transform). While the formula for the forward F-transform makes perfect intuitive sense, the formula for the inverse F-transform seems, at first glance, somewhat counter-intuitive. On the other hand, its empirical success shows that this formula must have a good justification. In this paper, we provide such a justification -- a justification which is based on formulating a reasonable compression-based criterion.</p>

	]]>
</description>

<author>Vladik Kreinovich et al.</author>


</item>




<item>
<title>Brans-Dicke Scalar-Tensor Theory of Gravitation May Explain Time Asymmetry of Physical Processes</title>
<link>http://digitalcommons.utep.edu/cs_techrep/749</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/749</guid>
<pubDate>Mon, 22 Apr 2013 10:36:03 PDT</pubDate>
<description>
	<![CDATA[
	<p>Most fundamental physical equations remain valid if we reverse the time order. Thus, if we start with a physical process (which satisfies these equations) and reverse time order, the resulting process also satisfies all the equations and thus, should also be physically reasonable. In practice, however, many physical processes are not reversible: e.g., a cup can break into pieces, but the pieces cannot magically get together and become a whole cup. In this paper, we show that the Brans-Dicke Scalar-Tensor Theory of Gravitation, one of the most widely used generalizations of Einstein's General relativity, is, in effect, time-asymmetric. This time-asymmetry may explain the observed time asymmetry of physical phenomena.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>F-transform in View of Aggregation Functions</title>
<link>http://digitalcommons.utep.edu/cs_techrep/748</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/748</guid>
<pubDate>Mon, 22 Apr 2013 10:35:59 PDT</pubDate>
<description>
	<![CDATA[
	<p>A relationship between the discrete F-transform and aggregation functions is analyzed. We show that the discrete F-transform (direct or inverse) can be associated with a set of linear aggregation functions that respect a fuzzy partition of a universe. On the other side, we discover conditions that should be added to a set of linear aggregation functions in order to obtain the discrete F-transform. Last but not least, the relationship between two analyzed notions is based on a new (generalized) definition of a fuzzy partition without the Ruspini condition.</p>

	]]>
</description>

<author>Irina Perlieva et al.</author>


</item>




<item>
<title>Filtering out high frequencies in time series using F-transform</title>
<link>http://digitalcommons.utep.edu/cs_techrep/747</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/747</guid>
<pubDate>Mon, 22 Apr 2013 10:35:57 PDT</pubDate>
<description>
	<![CDATA[
	<p>In this paper, we will focus on the application of fuzzy transform (F-transform) in the analysis of time series. We assume that the time series can be decomposed into three constituent components: the trend-cycle, seasonal component and random noise. We will demonstrate that by using F-transform, we can approximate the trend-cycle of a given time series with high accuracy.</p>

	]]>
</description>

<author>Vilém Novák et al.</author>


</item>




<item>
<title>Use of Grothendieck Inequality in Interval Computations: Quadratic Terms are Estimated Accurately Modulo a Constant Factor</title>
<link>http://digitalcommons.utep.edu/cs_techrep/746</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/746</guid>
<pubDate>Mon, 22 Apr 2013 10:35:54 PDT</pubDate>
<description>
	<![CDATA[
	<p>One of the main problems of interval computations is to compute the range of a given function f over given intervals. For a linear function, we can feasibly estimate its range, but for quadratic (and for more complex) functions, the problem of computing the exact range is NP-hard. So, if we limit ourselves to feasible algorithms, we have to compute <em>enclosures</em> instead of the actual ranges. It is known that asymptotically the smallest possible excess width of these enclosures is O(Δ<sup>2</sup>), where Δ is the largest half-width of the input intervals. This asymptotics is attained for the Mean Value method, one of the most widely used methods for estimating the range.</p>
<p>The excess width is caused by quadratic (and higher order) terms in the function f. It is therefore desirable to come up with an estimation method for which the excess width decreases when the maximum of this quadratic term decreases. In the Mean Value method, while the excess width is bounded by O(Δ<sup>2</sup>), we cannot guarantee that the excess width decreases with the size of the quadratic term. In this paper, we show that, by using Grothendieck inequality, we can create a modification of the Mean Value method in which the quadratic term is estimated accurately modulo a small multiplicative constant -- i.e., in which the excess width is guaranteed to be bounded by 3.6 times the size of the quadratic term.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>Full Superposition Principle Is Inconsistent with Non-Deterministic Versions of Quantum Physics</title>
<link>http://digitalcommons.utep.edu/cs_techrep/745</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/745</guid>
<pubDate>Mon, 22 Apr 2013 10:35:50 PDT</pubDate>
<description>
	<![CDATA[
	<p>Many practical systems are non-deterministic, in the sense that available information about the initial states and control values does not uniquely determine the future states. For some such systems, it is important to take quantum effects into account. For that, we need to develop non-deterministic versions of quantum physics. In this paper, we show that for non-deterministic versions of quantum physics, we cannot require <em>superposition principle</em> -- one of the main fundamental principles of modern quantum mechanics. Specifically, while we can consider superpositions of states corresponding to the same version of the future dynamics, it is not consistently possible to consider superpositions of states corresponding to different versions of the future.</p>

	]]>
</description>

<author>Andres Ortiz et al.</author>


</item>




<item>
<title>Why Complex-Valued Fuzzy? Why Complex Values in General? A Computational Explanation</title>
<link>http://digitalcommons.utep.edu/cs_techrep/744</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/744</guid>
<pubDate>Mon, 22 Apr 2013 10:35:48 PDT</pubDate>
<description>
	<![CDATA[
	<p>In the traditional fuzzy logic, as truth values, we take all real numbers from the interval [0,1]. In some situations, this set is not fully adequate for describing expert uncertainty, so a more general set is needed. From the mathematical viewpoint, a natural extension of <em>real</em> numbers is the set of <em>complex</em> numbers. Complex-valued fuzzy sets have indeed been successfully used in applications of fuzzy techniques. This practical success leaves us with a puzzling question: why complex-valued degree of belief, degrees which do not seem to have a direct intuitive meaning, have been so successful? In this paper, we use latest results from theory of computation to explain this puzzle. Namely, we show that the possibility to extend to complex numbers is a necessary condition for fuzzy-related computations to be feasible. This computational result also explains why complex numbers are so efficiently used beyond fuzzy, in physics, in control, etc.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>How to Generate Worst-Case Scenarios When Testing Already Deployed Systems Against Unexpected Situations</title>
<link>http://digitalcommons.utep.edu/cs_techrep/743</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/743</guid>
<pubDate>Mon, 22 Apr 2013 10:35:45 PDT</pubDate>
<description>
	<![CDATA[
	<p>Before a complex system is deployed, it is tested -- but it is tested against known operational mission, under several known operational scenarios. Once the system is deployed, new possible unexpected and/or uncertain operational scenarios emerge. It is desirable to develop methodologies to test the system against such scenarios. A possible methodology to test the system would be to generate the worst case scenario that we can think of -- to understand, in principle, the behavior of the system. So, we face a question of generating such worst-case scenarios. In this paper, we provide some guidance on how to generate such worst-case scenarios.</p>

	]]>
</description>

<author>Francisco Zapata et al.</author>


</item>




<item>
<title>Likert-Scale Fuzzy Uncertainty from a Traditional Decision Making Viewpoint: It Incorporates Both Subjective Probabilities and Utility Information</title>
<link>http://digitalcommons.utep.edu/cs_techrep/742</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/742</guid>
<pubDate>Mon, 22 Apr 2013 10:35:41 PDT</pubDate>
<description>
	<![CDATA[
	<p>One of the main methods for eliciting the values of the membership function μ(x) is to use the Likert scales, i.e., to ask the user to mark his or her degree of certainty by an appropriate mark k on a scale from 0 to n and take μ(x)=k/n. In this paper, we show how to describe this process in terms of the traditional decision making. Our conclusion is that the resulting membership degrees incorporate both probability and utility information. It is therefore not surprising that fuzzy techniques often work better than probabilistic techniques -- which only take into account the probability of different outcomes.</p>

	]]>
</description>

<author>Joe Lorkowski et al.</author>


</item>




<item>
<title>Data Anonymization that Leads to the Most Accurate Estimates of Statistical Characteristics: Fuzzy-Motivated Approach</title>
<link>http://digitalcommons.utep.edu/cs_techrep/741</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/741</guid>
<pubDate>Mon, 22 Apr 2013 10:35:38 PDT</pubDate>
<description>
	<![CDATA[
	<p>To preserve privacy, the original data points (with exact values) are replaced by boxes containing each (inaccessible) data point. This privacy-motivated uncertainty leads to uncertainty in the statistical characteristics computed based on this data. In a previous paper, we described how to minimize this uncertainty under the assumption that we use the same standard statistical estimates for the desired characteristics. In this paper, we show that we can further decrease the resulting uncertainty if we allow fuzzy-motivated <em>weighted</em> estimates, and we explain how to optimally select the corresponding weights.</p>

	]]>
</description>

<author>G. Xiang et al.</author>


</item>




<item>
<title>Estimating Third Central Moment C3 for Privacy Case under Interval and Fuzzy Uncertainty</title>
<link>http://digitalcommons.utep.edu/cs_techrep/740</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/740</guid>
<pubDate>Mon, 22 Apr 2013 10:35:35 PDT</pubDate>
<description>
	<![CDATA[
	<p>Some probability distributions (e.g., Gaussian) are symmetric, some (e.g., lognormal) are non-symmetric ({\em skewed}). How can we gauge the skeweness? For symmetric distributions, the third central moment C<sub>3</sub> = E[(x - E(x))<sup>3</sup>] is equal to 0; thus, this moment is used to characterize skewness. This moment is usually estimated, based on the observed (sample) values x<sub>1</sub>, ..., x<sub>n</sub>, as C<sub>3</sub> = (1/n) * ((x<sub>1</sub> - E)<sup>3</sup> + ... + (x<sub>n</sub> - E)<sup>3</sup>), where E = (1/n) * (x<sub>1</sub> + ... + x<sub>n</sub>). In many practical situations, we do not know the exact values of x<sub>i</sub>. For example, to preserve privacy, the exact values are often replaced by intervals containing these values (so that we only know whether the age is under 10, between 10 and 20, etc). Different values from these intervals lead, in general, to different values of C<sub>3</sub>; it is desirable to find the range of all such possible values. In this paper, we propose a feasible algorithm for computing this range.</p>

	]]>
</description>

<author>Ali Jalal-Kamali et al.</author>


</item>




<item>
<title>Checking Monotonicity Is NP-Hard Even for Cubic Polynomials</title>
<link>http://digitalcommons.utep.edu/cs_techrep/739</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/739</guid>
<pubDate>Mon, 22 Apr 2013 10:35:32 PDT</pubDate>
<description>
	<![CDATA[
	<p>One of the main problems of interval computations is to compute the range of a given function over given intervals. In general, this problem is computationally intractable (NP-hard) -- that is why we usually compute an enclosure and not the exact range. However, there are cases when it is possible to feasibly compute the exact range; one of these cases is when the function is monotonic with respect to each of its variables. The monotonicity assumption holds when the derivatives at a midpoint are different from 0 and the intervals are sufficiently narrow; because of this, monotonicity-based estimates are often used as a heuristic method. In situations when it is important to have an enclosure, it is desirable to check whether this estimate is justified, i.e., whether the function is indeed monotonic. It is known that monotonicity can be feasibly checked for quadratic functions. In this paper, we show that for cubic functions, checking monotonicity is NP-hard.</p>

	]]>
</description>

<author>Andrzej Pownuk et al.</author>


</item>




<item>
<title>Constructing Verifiably Correct Java Programs Using OCL and CleanJava</title>
<link>http://digitalcommons.utep.edu/cs_techrep/738</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/738</guid>
<pubDate>Mon, 22 Apr 2013 10:35:29 PDT</pubDate>
<description>
	<![CDATA[
	<p>A recent trend in software development is building a precise model that can be used as a basis for the software development. Such a model may enable an automatic generation of working code, and more importantly it provides a foundation for correctness reasoning of code. In this paper we propose a practical approach for constructing a verifiably correct program from such a model. The key idea of our approach is (a) to systematically translate formally-specified design constraints such as class invariants and operation pre and postconditions to code-level annotations and (b) to use the annotations for the correctness proof of code. For this we use both the Object Constraint Language (OCL) and CleanJava. CleanJava is a formal annotation language for Java and supports a Cleanroom-style functional program verification. The combination of OCL and CleanJava makes our approach not only practical but also easily incorporated and integrated into object-oriented software development methods. We expect our approach to provide a practical alternative or complementary technique to program testing to assure the correctness of software.</p>

	]]>
</description>

<author>Yoonsik Cheon et al.</author>


</item>




<item>
<title>Comparing Intervals and Moments for the Quantification of Coarse Information</title>
<link>http://digitalcommons.utep.edu/cs_techrep/737</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/737</guid>
<pubDate>Mon, 22 Apr 2013 10:35:26 PDT</pubDate>
<description>
	<![CDATA[
	<p>In this paper the problem of the most appropriate modeling of scarce information for an engineering analysis is investigated. This investigation is focused on a comparison between a rough probabilistic modeling based on the first two moments and interval modeling. In many practical cases, the available information is limited to such an extent that a more thorough modeling cannot be pursued. The engineer has to make a decision regarding the modeling of this limited and coarse information so that the results of the analysis provide the most suitable basis for conclusions. We approach this problem from the angle of information theory and propose to select the most informative model (in Shannon's sense). The investigation reveals that the answer to question of model choice depends on the confidence, which is needed for the engineering results in order to make informed decisions.</p>

	]]>
</description>

<author>Michael Beer et al.</author>


</item>




<item>
<title>Data Anonymization that Leads to the Most Accurate Estimates of Statistical Characteristics</title>
<link>http://digitalcommons.utep.edu/cs_techrep/736</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/736</guid>
<pubDate>Fri, 19 Apr 2013 14:35:35 PDT</pubDate>
<description>
	<![CDATA[
	<p>To preserve privacy, we divide the data space into boxes, and instead of original data points, only store the corresponding boxes. In accordance with the current practice, the desired level of privacy is established by having at least k different records in each box, for a given value k (the larger the value k, the higher the privacy level).</p>
<p>When we process the data, then the use of boxes instead of the original exact values leads to uncertainty. In this paper, we find the (asymptotically) optimal subdivision of data into boxes, a subdivision that provides, for a given statistical characteristic like variance, covariance, or correlation, the smallest uncertainty within the given level of privacy.</p>
<p>In areas where the empirical data density is small, boxes containing k points are large in size, which results in large uncertainty. To avoid this, we propose, when computing the corresponding characteristic, to only use data from boxes with a sufficiently large density. This deletion of data points increases the statistical uncertainty, but decreases the uncertainty caused by introducing the privacy-related boxes. We explain how to compute an optimal threshold for which the overall uncertainty is the smallest.</p>

	]]>
</description>

<author>Gang Xiang et al.</author>


</item>




<item>
<title>Ubiquity of Data and Model Fusion: from Geophysics and Environmental Sciences to Estimating Individual Risk During an Epidemic</title>
<link>http://digitalcommons.utep.edu/cs_techrep/735</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/735</guid>
<pubDate>Fri, 19 Apr 2013 14:35:32 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many practical situations, we need to combine the results of measuring a local value of a certain quantity with results of measuring average values of this same quantity. For example, in geosciences, we need to combine the seismic models (which describe density at different locations and depths) with gravity models which describe density averaged over certain regions. Similarly, in estimating the risk of an epidemic to an individual, we need to combine probabilities describe the risk to people of the corresponding age group, to people of the corresponding geographical region, etc. In this paper, we provide general techniques for solving such <em>model fusion</em> problems.</p>
<p>To properly perform data and model fusion, we need to know the accuracy of different data points. Sometimes, this accuracy is not given. For such situations, we describe how this accuracy can be estimated based on the available data.</p>

	]]>
</description>

<author>Omar Ochoa et al.</author>


</item>




<item>
<title>Imprecise Probabilities in Engineering Analyses</title>
<link>http://digitalcommons.utep.edu/cs_techrep/734</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/734</guid>
<pubDate>Fri, 19 Apr 2013 14:35:29 PDT</pubDate>
<description>
	<![CDATA[
	<p>Probabilistic uncertainty and imprecision in structural parameters and in environmental conditions and loads are challenging phenomena in engineering analyses. They require appropriate mathematical modeling and quantification to obtain realistic results when predicting the behavior and reliability of engineering structures and systems. But the modeling and quantification is complicated by the characteristics of the available information, which involves, for example, sparse data, poor measurements and subjective information. This raises the question whether the available information is sufficient for probabilistic modeling or rather suggests a set-theoretical approach. The framework of imprecise probabilities provides a mathematical basis to deal with these problems which involve both probabilistic and non-probabilistic information. A common feature of the various concepts of imprecise probabilities is the consideration of an entire set of probabilistic models in one analysis. The theoretical differences between the concepts mainly concern the mathematical description of the set of probabilistic models and the connection to the probabilistic models involved. This paper provides an overview on developments which involve imprecise probabilities for the solution of engineering problems. Evidence theory, probability bounds analysis with p-boxes, and fuzzy probabilities are discussed with emphasis on their key features and on their relationships to one another.</p>

	]]>
</description>

<author>Michael Beer et al.</author>


</item>




<item>
<title>Security Games with Interval Uncertainty</title>
<link>http://digitalcommons.utep.edu/cs_techrep/733</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/733</guid>
<pubDate>Fri, 19 Apr 2013 14:35:26 PDT</pubDate>
<description>
	<![CDATA[
	<p>Security games provide a framework for allocating limited security resources in adversarial domains, and are currently used in applications including security at the LAX airport, scheduling for the Federal Air Marshals, and patrolling strategies for the U.S. Coast Guard. One of the major challenges in security games is finding solutions that are robust to uncertainty about the game model. Bayesian game models have been developed to model uncertainty, but algorithms for these games do not scale well enough for many applications, and the problem is NP-hard.</p>
<p>We take an alternative approach based on using intervals to model uncertainty in security games. We present a fast polynomial time algorithm for security games with interval uncertainty. This provides the first viable approach for computing robust solutions to very large security games. In addition, we introduce a methodology for approximating the solutions to infinite Bayesian games with distributional uncertainty using intervals to approximate the distributions. We show empirically that using intervals is an effective approach for approximating solutions to these Bayesian games; our algorithm is both faster and results in higher quality solutions than the best previous methods.</p>

	]]>
</description>

<author>Christopher Kiekintveld et al.</author>


</item>




<item>
<title>F-transform in view of trend extraction</title>
<link>http://digitalcommons.utep.edu/cs_techrep/732</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/732</guid>
<pubDate>Fri, 19 Apr 2013 14:35:24 PDT</pubDate>
<description>
	<![CDATA[
	<p>In the analysis of time series, it is important to decompose the original values into trend, cycle, seasonal component, and noise. In this paper, we provide a theoretical justification of the fact that the F-transform can be used for this purpose. We formulate "natural" requirements on the trend extraction procedure and then show that the inverse F-transform fulfils all of them.</p>

	]]>
</description>

<author>Irina Perlieva et al.</author>


</item>




<item>
<title>Metrological Self-Assurance Of Data Processing Software</title>
<link>http://digitalcommons.utep.edu/cs_techrep/731</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/731</guid>
<pubDate>Fri, 19 Apr 2013 14:35:21 PDT</pubDate>
<description>
	<![CDATA[
	<p>The metrological self-assurance for data processing software is discussed. The way to achieve this property for software is presented.</p>

	]]>
</description>

<author>Vladik Kreinovich et al.</author>


</item>




<item>
<title>Decision Making under Interval Uncertainty (and Beyond)</title>
<link>http://digitalcommons.utep.edu/cs_techrep/730</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/730</guid>
<pubDate>Thu, 18 Apr 2013 14:54:09 PDT</pubDate>
<description>
	<![CDATA[
	<p>To make a decision, we must find out the user's preference, and help the user select an alternative which is the best -- according to these preferences. Traditional utility-based decision theory is based on a simplifying assumption that for each two alternatives, a user can always meaningfully decide which of them is preferable. In reality, often, when the alternatives are close, the user is often unable to select one of these alternatives. In this chapter, we show how we can extend the utility-based decision theory to such realistic (interval) cases.</p>

	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>Towards Unique Physically Meaningful Definitions of Random and Typical Objects</title>
<link>http://digitalcommons.utep.edu/cs_techrep/729</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/729</guid>
<pubDate>Thu, 18 Apr 2013 14:54:06 PDT</pubDate>
<description>
	<![CDATA[
	<p>To distinguish between random and non-random sequence, Kolmogorov and Martin-Lof proposed a new definition of randomness, according to which an object (e.g., a sequence of 0s and 1s) if random if it satisfies all probability laws, i.e., in more precise terms, if it does not belong to any definable set of probability measure 0. This definition reflect the usual physicists' idea that events with probability 0 cannot happen. Physicists -- especially in statistical physics -- often claim a stronger statement: that events with a very small probability cannot happen either. A modification of Kolmogorov-Martin-Lof's (KLM) definition has been proposed to capture this physicists' claim. The problem is that, in contrast to the original KLM definition, the resulting definition of randomness is not uniquely determined by the probability measure: for the same probability measure, we can have several different definitions of randomness. In this paper, we show that while it is not possible to define, e.g., a unique <em>set</em> R of random objects, we can define a unique <em>sequence</em> R<sub>n</sub> of such sets (unique in some reasonable sense).</p>

	]]>
</description>

<author>Luc Longpre et al.</author>


</item>




<item>
<title>If Energy Is Not Preserved, Then Planck&apos;s Constant Is No Longer a Constant: A Theorem</title>
<link>http://digitalcommons.utep.edu/cs_techrep/728</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/728</guid>
<pubDate>Thu, 18 Apr 2013 14:54:03 PDT</pubDate>
<description>
	<![CDATA[
	<p>For any physical theory, to experimentally check its validity, we need to formulate an alternative theory and check whether the experimental results are consistent with the original theory or with an alternative theory. In particular, to check whether energy is preserved, it is necessary to formulate an alternative theory in which energy is not preserved. Formulating such a theory is not an easy task in quantum physics, where the usual Schroedinger equation implicitly assumes the existence of an energy (Hamiltonian) operator whose value is preserved. In this paper, we show that the only way to get a consistent quantum theory with energy non-conservation is to use Heisenberg representation in which operators representing physical quantities change in time. We prove that in this representation, energy is preserved if and only if Planck's constant remains a constant. Thus, an appropriate quantum analogue of a theory with non-preserved energy is a theory in which Planck's constant can change -- i.e., is no longer a constant, but a new field.</p>

	]]>
</description>

<author>Vladik Kreinovich et al.</author>


</item>




<item>
<title>Zadeh&apos;s Vision of Going from Fuzzy to Computing With Words: from the Idea&apos;s Origin to Current Successes to Remaining Challenges</title>
<link>http://digitalcommons.utep.edu/cs_techrep/727</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/727</guid>
<pubDate>Thu, 18 Apr 2013 14:54:00 PDT</pubDate>
<description>
	<![CDATA[
	
	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>How to Define Relative Approximation Error of an Interval Estimate: A Proposal</title>
<link>http://digitalcommons.utep.edu/cs_techrep/726</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/726</guid>
<pubDate>Thu, 18 Apr 2013 14:53:57 PDT</pubDate>
<description>
	<![CDATA[
	<p>The traditional definition of a relative approximation error of an estimate X as the ratio |X - x|/|x| does not work when the actual value x is 0. To avoid this problem, we propose a new definition |X - x|/|X|. We show how this definition can be naturally extended to the case when instead of a numerical estimate X, we have an interval estimate [x], i.e., an interval that is guaranteed to contain the actual (unknown) value x.</p>

	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>Interval Uncertainty as the Basis for a General Description of Uncertainty: A Position Paper</title>
<link>http://digitalcommons.utep.edu/cs_techrep/725</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/725</guid>
<pubDate>Thu, 18 Apr 2013 14:53:55 PDT</pubDate>
<description>
	<![CDATA[
	<p>Uncertainty is ubiquitous. Depending on what information we have, we get different types of uncertainty. For each type of uncertainty, techniques have been developed for efficient representation and processing of this uncertainty. However, the plethora of different uncertainty techniques is often confusing for practitioners. The situation is especially difficult in frequent situations when we need to gauge the uncertainty of the result of complex multi-stage data processing, and different data inputs are known with different types of uncertainty. To avoid this problem, it is necessary to develop and implement a general approach to representing and processing different types of uncertainty. In this paper, we argue that the most appropriate foundation for this general approach is interval uncertainty.</p>

	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>Thirty-Two Sample Audio Search Tasks</title>
<link>http://digitalcommons.utep.edu/cs_techrep/724</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/724</guid>
<pubDate>Thu, 18 Apr 2013 14:53:52 PDT</pubDate>
<description>
	<![CDATA[
	<p>Searching in audio archives is potentially very useful, and good evaluations can guide development to realize that promise. However most current evaluation programs are technology-centric, rather than user-oriented and task-centric. This paper examines current and potential audio search needs and scenarios, and presents a sample set of thirty-two diverse audio search tasks to support more realistic evaluations.</p>

	]]>
</description>

<author>Nigel G. Ward et al.</author>


</item>




<item>
<title>Should Voting be Mandatory? Democratic Decision Making from the Economic Viewpoint</title>
<link>http://digitalcommons.utep.edu/cs_techrep/723</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/723</guid>
<pubDate>Thu, 18 Apr 2013 14:53:49 PDT</pubDate>
<description>
	<![CDATA[
	<p>Many decisions are made by voting. At first glance, the more people participate in the voting process, the more democratic -- and hence, better -- the decision. In this spirit, to encourage everyone's participation, several countries make voting mandatory. But does mandatory voting really make decisions better for the society? In this paper, we show that from the viewpoint of decision making theory, it is better to allow undecided voters not to participate in the voting process. We also show that the voting process would be even better -- for the society as a whole -- if we allow partial votes. This provides a solid justification for a semi-heuristic "fuzzy voting" scheme advocated by Bart Kosko.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>From p-Boxes to p-Ellipsoids: Towards an Optimal Representation of Imprecise Probabilities</title>
<link>http://digitalcommons.utep.edu/cs_techrep/722</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/722</guid>
<pubDate>Thu, 18 Apr 2013 14:53:46 PDT</pubDate>
<description>
	<![CDATA[
	<p>One of the most widely used ways to represent a probability distribution is by describing its cumulative distribution function (cdf) F(x). In practice, we rarely know the exact values of F(x): for each x, we only know F(x) with uncertainty. In such situations, it is reasonable to describe, for each x, the interval [F(x)] of possible values of x. This representation of imprecise probabilities is known as a p-box; it is effectively used in many applications.</p>
<p>Similar interval bounds are possible for probability density function, for moments, etc. The problem is that when we transform from one of such representations to another one, we lose information. It is therefore desirable to come up with a universal representation of imprecise probabilities in which we do not lose information when we move from one representation to another. We show that under reasonable objective functions, the optimal representation is an ellipsoid. In particular, ellipsoids lead to faster computations, to narrower bounds, etc.</p>

	]]>
</description>

<author>Konstantin K. Semenov et al.</author>


</item>




<item>
<title>An Evaluation Approach for Interactions between Abstract Workflows and Provenance Traces</title>
<link>http://digitalcommons.utep.edu/cs_techrep/721</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/721</guid>
<pubDate>Thu, 18 Apr 2013 07:21:52 PDT</pubDate>
<description>
	<![CDATA[
	<p>In the context of science, abstract workflows bridge the gap between scientists and technologists towards using computer systems to carry out scientific processes. Provenance traces provide evidence required to validate scientific products and support their secondary use. Assuming abstract workflows and provenance traces are based on formal semantics, a knowledge-based system that consistently merges both technologies allows scientists to document their processes of data collection and transformation; it also allows for secondary users of data to assess scientific processes and resulting data products. This paper presents an evaluation approach for interactions between abstract workflows and provenance traces. The claim is that both technologies should complement each other and align consistently to a scientist's perspective to effectively support science. The evaluation approach uses criteria that are derived from tasks performed by scientists using both technologies.</p>

	]]>
</description>

<author>Leonardo Salayandia et al.</author>


</item>




<item>
<title>Membership Functions or alpha-Cuts? Algorithmic (Constructivist) Analysis Justifies an Interval Approach</title>
<link>http://digitalcommons.utep.edu/cs_techrep/720</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/720</guid>
<pubDate>Thu, 18 Apr 2013 07:21:49 PDT</pubDate>
<description>
	<![CDATA[
	<p>In his pioneering papers, Igor Zaslavsky started an algorithmic (constructivist) analysis of fuzzy logic. In this paper, we extend this analysis to fuzzy mathematics and fuzzy data processing. Specifically, we show that the two mathematically equivalent representations of a fuzzy number -- by a membership function and by alpha-cuts -- are <em>not</em> algorithmically equivalent, and only the alpha-cut representation enables us to efficiently process fuzzy data.</p>

	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>Decision Making under Interval and Fuzzy Uncertainty: Towards an Operational Approach</title>
<link>http://digitalcommons.utep.edu/cs_techrep/719</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/719</guid>
<pubDate>Thu, 18 Apr 2013 07:21:46 PDT</pubDate>
<description>
	<![CDATA[
	<p>Traditional decision theory is based on a simplifying assumption that for each two alternatives, a user can always meaningfully decide which of them is preferable. In reality, often, when the alternatives are close, the user is either completely unable to select one of these alternatives, or selects one of the alternatives only "to some extent". How can we extend the traditional decision theory to such realistic interval and fuzzy cases? In their previous papers, the first two authors proposed a natural generalization of the usual decision theory axioms to interval and fuzzy cases, and described decision coming from this generalization. In this paper, we make the resulting decisions more intuitive by providing commonsense operational explanation.</p>

	]]>
</description>

<author>Rafik Aliev et al.</author>


</item>




<item>
<title>Towards a Better Understanding of Space-Time Causality: Kolmogorov Complexity and Causality as a Matter of Degree</title>
<link>http://digitalcommons.utep.edu/cs_techrep/718</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/718</guid>
<pubDate>Thu, 18 Apr 2013 07:21:43 PDT</pubDate>
<description>
	<![CDATA[
	<p>Space-time causality is one of the fundamental notions of modern physics; however, it is difficult to define in observational physical terms. Intuitively, the fact that a space-time event e=(t,x) can causally influence an event e'=(t',x') means that what we do in the vicinity of e changes what we observe at e'. If we had two copies of the Universe, we could perform some action at e in one copy but not in another copy; if we then observe the difference at e', this would be an indication of causality. However, we only observe one Universe, in which we either perform the action or we do not. At first glance, it may seem that in this case, there is no meaningful way to provide an operational definition of causality. In this paper, we show that such a definition is possible if we use the notions of algorithmic randomness and Kolmogorov complexity. The resulting definition leads to a somewhat unexpected consequence: that space-time causality is a matter of degree.</p>

	]]>
</description>

<author>Vladik Kreinovich et al.</author>


</item>




<item>
<title>Why Clayton and Gumbel Copulas: A Symmetry-Based Explanation</title>
<link>http://digitalcommons.utep.edu/cs_techrep/717</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/717</guid>
<pubDate>Thu, 18 Apr 2013 07:21:40 PDT</pubDate>
<description>
	<![CDATA[
	<p>In econometrics, many distributions are non-Gaussian. To describe dependence between non-Gaussian variables, it is usually not sufficient to provide their correlation: it is desirable to also know the corresponding copula. There are many different families of copulas; which family shall we use? In many econometric applications, two families of copulas have been most efficient: the Clayton and the Gumbel copulas. In this paper, we provide a theoretical explanation for this empirical efficiency, by showing that these copulas naturally follow from reasonable symmetry assumptions. This symmetry justification also allows us to provide recommendations about which families of copulas we should use when we need a more accurate description of dependence.</p>

	]]>
</description>

<author>Vladik Kreinovich et al.</author>


</item>




<item>
<title>Bayesian Approach for Inconsistent Information</title>
<link>http://digitalcommons.utep.edu/cs_techrep/716</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/716</guid>
<pubDate>Thu, 18 Apr 2013 07:21:36 PDT</pubDate>
<description>
	<![CDATA[
	<p>In engineering situations, we usually have a large amount of prior knowledge that needs to be taken into account when processing data. Traditionally, the Bayesian approach is used to process data in the presence of prior knowledge. Sometimes, when we apply the traditional Bayesian techniques to engineering data, we get inconsistencies between the data and prior knowledge. These inconsistencies are usually caused by the fact that in the traditional approach, we assume that we know the {\it exact} sample values, that the prior distribution is {\it exactly} known, etc. In reality, the data is imprecise due to measurement errors, the prior knowledge is only approximately known, etc. So, a natural way to deal with the seemingly inconsistent information is to take this imprecision into account in the Bayesian approach -- e.g., by using fuzzy techniques. In this paper, we describe several possible scenarios for fuzzifying the Bayesian approach. Particular attention is paid to the interaction between estimated imprecise parameters.</p>
<p>In this paper, to implement the corresponding fuzzy versions of the Bayesian formulas, we use straightforward computations of the related expression -- which makes our computations reasonably time-consuming. Computations in the traditional (non-fuzzy) Bayesian approach are much faster -- because they use algorithmically efficient reformulations of the Bayesian formulas. We expect that similar reformulations of the fuzzy Bayesian formulas will also drastically decrease the computation time and thus, enhance the practical use of the proposed methods.</p>

	]]>
</description>

<author>M. Stein et al.</author>


</item>




<item>
<title>From Unbiased Numerical Estimates to Unbiased Interval Estimates</title>
<link>http://digitalcommons.utep.edu/cs_techrep/715</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/715</guid>
<pubDate>Thu, 18 Apr 2013 07:21:33 PDT</pubDate>
<description>
	<![CDATA[
	<p>One of the main objectives of statistics is to estimate the parameters of a probability distribution based on a sample taken from this distribution. Of course, since the sample is finite, the estimate X is, in general, different from the actual value x of the corresponding parameter. What we can require is that the corresponding estimate is unbiased, i.e., that the mean value of the difference X - x is equal to 0: E[X] = x. In some problems, unbiased estimates are not possible. We show that in some such problems, it is possible to have interval unbiased estimates, i.e., interval-valued estimates [L,R] for which x is in [E[L], E[R]]. In some such cases, it is possible to have asymptotically sharp estimates, for which the interval [E[L], E[R]] is the narrowest possible.</p>

	]]>
</description>

<author>Baokun Li et al.</author>


</item>




<item>
<title>In Quantum Physics, Free Will Leads to Nonconservation of Energy</title>
<link>http://digitalcommons.utep.edu/cs_techrep/714</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/714</guid>
<pubDate>Thu, 18 Apr 2013 07:21:31 PDT</pubDate>
<description>
	<![CDATA[
	<p>Modern physical theories are deterministic in the sense that once we know the current state of the world, we can, in principle, predict all the future states. This was true for classical (pre-quantum) theories, this is true for modern quantum physics. On the other hand, we all know that we can make decision that change the state of the world -- even if, for most of us, a little bit. This intuitive idea of free will permeates all our life, all our activities -- and it seems to contradict the determinism of modern physics. It is therefore desirable to incorporate the idea of free will into physical theories. In this paper, we show that in quantum physics, free will leads to nonconservation of energy. This nonconservation is a microscopic purely quantum effect, but it needs to be taken into account in future free-will quantum theories.</p>

	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>In Applications, A Rigorous Proof Is Not Enough: It Is Also Important to Have an Intuitive Understanding</title>
<link>http://digitalcommons.utep.edu/cs_techrep/713</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/713</guid>
<pubDate>Thu, 18 Apr 2013 07:21:28 PDT</pubDate>
<description>
	<![CDATA[
	<p>From a purely mathematical viewpoint, once a statement is rigorously proven, it should be accepted as true. Surprisingly, in applications, users are often reluctant to accept a rigorously proven statement until the proof is supplemented by its intuitive explanation. In this paper, we show that this seemingly unreasonable reluctance makes perfect sense: the proven statement is about the mathematical model which is an <em>approximation</em> to the actual system; an intuitive explanation provides some confidence that the statement holds not only for the model, but also for systems approximately equal to this model -- in particular, for the actual system of interest.</p>

	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>Kansei Engineering: Towards Optimal Set of Designs</title>
<link>http://digitalcommons.utep.edu/cs_techrep/712</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/712</guid>
<pubDate>Thu, 18 Apr 2013 07:21:25 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many engineering situations, we need to take into account subjective user preferences; taking such preference into account is known as {\em Kansei Engineering}. In this paper, we formulate the problem of selecting optimal set of designs in Kansei engineering as a mathematical optimization problem, and we provide an explicit solution to this optimization problem.</p>

	]]>
</description>

<author>Van-Nam Huynh et al.</author>


</item>




<item>
<title>Possible and Necessary Orders, Equivalences, etc.: From Modal Logic to Modal Mathematics</title>
<link>http://digitalcommons.utep.edu/cs_techrep/711</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/711</guid>
<pubDate>Thu, 18 Apr 2013 07:21:22 PDT</pubDate>
<description>
	<![CDATA[
	<p>In practice, we are often interested in order relations (e.g., when we describe preferences) or equivalence relations (e.g., when we describe clustering). Often, we do not have a complete information about the corresponding relation; as a result, we have several relations consistent with our knowledge. In such situations, it is desirable to know which elements <em>a</em> and <em>b</em> are <em>possibly</em> connected by the relation and which are <em>necessarily</em> connected by this relation. In this paper, we provide a full description of all such possible and necessary orders and equivalence relations. For example, possible orders are exactly reflexive relations, while necessary orders are exactly order relations.</p>

	]]>
</description>

<author>Francisco Zapata et al.</author>


</item>




<item>
<title>How to Define Mean, Variance, etc., for Heavy-Tailed Distributions: A Fractal-Motivated Approach</title>
<link>http://digitalcommons.utep.edu/cs_techrep/710</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/710</guid>
<pubDate>Thu, 18 Apr 2013 07:21:19 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many practical situations, we encounter <em>heavy-tailed</em> distributions for which the variance -- and even sometimes the mean -- are infinite. We propose a fractal-motivated approach that enables us to gauge the mean and variance of such distributions.</p>

	]]>
</description>

<author>Vladik Kreinovich et al.</author>


</item>




<item>
<title>A Framework to Create Ontologies for Scientific Data Management</title>
<link>http://digitalcommons.utep.edu/cs_techrep/709</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/709</guid>
<pubDate>Wed, 17 Apr 2013 10:32:17 PDT</pubDate>
<description>
	<![CDATA[
	<p>Scientists often build and use highly customized systems to support observation and analysis efforts. Creating effective ontologies to manage and share data products created from those systems is a difficult task that requires collaboration among domain experts, e.g., scientists and knowledge representation experts. A framework is presented that scientists can use to create ontologies that describe how customized systems capture and transform data into products that support scientific findings. The framework establishes an abstraction that leverages knowledge representation expertise to describe data transformation processes in a consistent way that highlights properties relevant to data users. The intention is to create effective ontologies for scientific data management by focusing on scientist-driven descriptions. The framework consists of an upper-level ontology specified with description logic and supported with a graphical language with minimal constructs that facilitates use by scientists. Evaluation of the framework's usefulness for scientists is presented.</p>

	]]>
</description>

<author>Leonardo Salayandia et al.</author>


</item>




<item>
<title>Optimizing Computer Representation and Computer Processing of Epistemic Uncertainty for Risk-Informed Decision Making: Finances etc.</title>
<link>http://digitalcommons.utep.edu/cs_techrep/708</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/708</guid>
<pubDate>Wed, 17 Apr 2013 10:32:14 PDT</pubDate>
<description>
	<![CDATA[
	<p>Uncertainty is usually gauged by using standard statistical characteristics: mean, variance, correlation, etc. Then, we use the known values of these characteristics (or the known bounds on these values) to select a decision. Sometimes, it becomes clear that the selected characteristics do not always describe a situation well; then other known (or new) characteristics are proposed. A good example is description of volatility in finance: it started with variance, and now many descriptions are competing, all with their own advantages and limitations.</p>
<p>In such situations, a natural idea is to come up with characteristics tailored to specific application areas: e.g., select the characteristic that maximize the expected utility of the resulting risk-informed decision making.</p>
<p>With the new characteristics, comes the need to estimate them when the sample values are only known with interval uncertainty. Algorithms originally developed for estimating traditional characteristics can often be modified to cover new characteristics.</p>

	]]>
</description>

<author>Vladik Kreinovich et al.</author>


</item>




<item>
<title>Locating Local Extrema under Interval Uncertainty: Multi-D Case</title>
<link>http://digitalcommons.utep.edu/cs_techrep/707</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/707</guid>
<pubDate>Wed, 17 Apr 2013 10:32:10 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many practical situations, we need to locate local maxima and/or local minima of a function which is only know with interval uncertainty. For example, in radioastronomy, components of a radiosource are usually identified by locations at which the observed brightness reaches a local maximum. In clustering, different clusters are usually identified with local maxima of the probability density function (describing the relative frequency of different combinations of values). In the 1-D case, a feasible (polynomial-time) algorithm is known for locating local extrema under interval (and fuzzy) uncertainty. In this paper, we extend this result to the general multi-dimensional case.</p>

	]]>
</description>

<author>Karen Villaverde et al.</author>


</item>




<item>
<title>Validated Templates for Specification of Complex LTL Formulas</title>
<link>http://digitalcommons.utep.edu/cs_techrep/706</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/706</guid>
<pubDate>Wed, 17 Apr 2013 10:32:07 PDT</pubDate>
<description>
	<![CDATA[
	<p>Formal verification approaches that check software correctness against formal specifications have been shown to improve program dependability. Tools such as Specification Pattern System (SPS) and Property Specification (Prospec) support the generation of formal specifications. SPS has defined a set of patterns (common recurring properties) and scopes (system states over which a pattern must hold) that allows a user to generate formal specifications by using direct substitution of propositions into parameters of selected patterns and scopes. Prospec extended SPS to support the definition of patterns and scopes that include the ability to specify parameters with multiple propositions (referred to as composite propositions or CPs), allowing the specification of sequential and concurrent behavior. Prospec generates formal specifications in Future Interval Logic (FIL) using direct substitution of CPs into pattern and scope parameters. While substitution works trivially for FIL, it does not work for Linear Temporal Logic (LTL), a highly expressive language that supports specification of software properties such as safety and liveness. LTL is important because of its use in the model checker Spin, the ACM 2001 system Software Award winning tool, and NuSMV. This paper introduces abstract LTL templates to support automated generation of LTL formulas for complex properties in Prospec. In addition, it presents formal proofs and testing to demonstrate that the templates indeed generate the intended LTL formulas.</p>

	]]>
</description>

<author>Salamah Salamah et al.</author>


</item>




<item>
<title>Do Constraints Facilitate or Inhibit Creative Problem Solving: A Theoretical Explanation of Two Seemingly Contradictory Experimental Studies</title>
<link>http://digitalcommons.utep.edu/cs_techrep/705</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/705</guid>
<pubDate>Wed, 17 Apr 2013 10:32:03 PDT</pubDate>
<description>
	<![CDATA[
	<p>Do constraints facilitate or inhibit creative problem solving? Recently, two experimental studies appeared, one showing that removing constraints may enhance creativity, another showing that adding constraints can facilitate creative problem solving. In this paper, we provide a theoretical explanation of these two seemingly contradictory experimental results.</p>

	]]>
</description>

<author>Karen Villaverde et al.</author>


</item>




<item>
<title>Research-related Projects for Graduate Students as a Tool to Motivate Graduate Students in Classes Outside Their Direct Interest Areas</title>
<link>http://digitalcommons.utep.edu/cs_techrep/704</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/704</guid>
<pubDate>Wed, 17 Apr 2013 10:32:00 PDT</pubDate>
<description>
	<![CDATA[
	<p>In most graduate programs, students are required to take both "depth" classes -- classes in the areas of the student's direct interest -- and "breadth" classes, classes outside their direct interest areas. Naturally, the student's interest in "breadth" classes is often naturally lower than their interest in the "depth" classes. To enhance the students' interest in the "breadth" classes, a natural idea is to make research-related project an important part of the class, a project in which the student can apply the skills that he or she learns in the class to the research area of direct interest to this student. In this paper, we describe results of using this idea in Theory of Computation classes.</p>

	]]>
</description>

<author>Vladik Kreinovich</author>


</item>




<item>
<title>Orders on Intervals Over Partially Ordered Sets: Extending Allen&apos;s Algebra and Interval Graph Results</title>
<link>http://digitalcommons.utep.edu/cs_techrep/703</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/703</guid>
<pubDate>Wed, 17 Apr 2013 10:31:56 PDT</pubDate>
<description>
	<![CDATA[
	<p>To make a decision, we need to compare the values of quantities. In many practical situations, we know the values with interval uncertainty. In such situations, we need to compare intervals. Allen's algebra describes all possible relations between intervals on the real line which are generated by the ordering of endpoints; ordering relations between such intervals have also been well studied. In this paper, we extend this description to intervals in an arbitrary partially ordered set (poset). In particular, we explicitly describe ordering relations between intervals that generalize relation between points. As auxiliary results, we provide a logical interpretation of the relation between intervals, and extend the results about interval graphs to intervals over posets.</p>

	]]>
</description>

<author>Francisco Zapata et al.</author>


</item>




<item>
<title>Interval or Moments: Which Carry More Information?</title>
<link>http://digitalcommons.utep.edu/cs_techrep/702</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/702</guid>
<pubDate>Wed, 17 Apr 2013 10:31:52 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many practical situations, we do not have enough observations to uniquely determine the corresponding probability distribution, we only have enough observations to estimate two parameters of this distribution. In such cases, the traditional statistical approach is to estimate the mean and the standard deviation. Alternatively, we can estimate the two bounds that form the range of the corresponding variable and thus, generate an interval. Which of these two approaches should we select? A natural idea is to select the most informative approach, i.e., an approach in which we need the smallest amount of additional information (in Shannon's sense) to obtain the full information about the situation. In this paper, we follow this idea and come up with the following conclusion: in practical situations in which a 95% confidence level is sufficient, interval bounds are more informative; however, in situations in which we need higher confidence, the moments approach is more informative.</p>

	]]>
</description>

<author>Michael Beer et al.</author>


</item>




<item>
<title>Modal Intervals as a New Logical Interpretation of the Usual Lattice Order Between Interval Truth Values</title>
<link>http://digitalcommons.utep.edu/cs_techrep/701</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/701</guid>
<pubDate>Wed, 17 Apr 2013 10:31:49 PDT</pubDate>
<description>
	<![CDATA[
	<p>In the traditional fuzzy logic, we use numbers from the interval [0,1] to describe possible expert's degrees of belief in different statements. Comparing the resulting numbers is straightforward: if our degree of belief in a statement A is larger than our degree of belief in a statement B, this means that we have more confidence in the statement $A$ than in the statement B. It is known that to get a more adequate description of the expert's degree of belief, it is better to use not only numbers $a$ from the interval [0,1], but also subintervals [a1,a2] of this interval. There are several different ways to compare intervals. For example, we can say that [a1,a2] <= [b1,b2] if every number from the interval [a1,a2] is smaller than or equal to every number from the interval [b1,b2]. However, in interval-valued fuzzy logic, a more frequently used ordering relation between interval truth values is the relation [a1,a2] <= [b1,b2] if and only a1 <= b1 & a2 <= b2. This relation makes mathematical sense -- it make the set of all such interval truth values a lattice -- but, in contrast to the above relation, it does not have a clear logical interpretation. Since our objective is to describe logic, it is desirable to have a reasonable logical interpretation of this lattice relation. In this paper, we use the notion of modal intervals to provide such a logical interpretation.</p>

	]]>
</description>

<author>Francisco Zapata</author>


</item>




<item>
<title>Image and Model Fusion: Unexpected Counterintuitive Behavior of Traditional Statistical Techniques and Resulting Need for Expert Knowledge</title>
<link>http://digitalcommons.utep.edu/cs_techrep/700</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/700</guid>
<pubDate>Wed, 17 Apr 2013 10:31:45 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many real-life situations, we have different types of data. For example, in geosciences, we have seismic data, gravity data, magnetic data, etc. Ideally, we should jointly process all this data, but often, such a joint processing is not yet practically possible. In such situations, it is desirable to "fuse" models (images) corresponding to different types of data: e.g., to fuse an image corresponding to seismic data and an image corresponding to gravity data. At first glance, if we assume that all the approximation errors are independent and normally distributed, then we get a reasonably standard statistical problem which can be solved by the traditional statistical techniques such as the Maximum Likelihood method. Surprisingly, it turns out that for this seemingly simple and natural problem, the traditional Maximum Likelihood approach leads to non-physical results. To make the fusion results physically meaningful, it is therefore necessary to take into account expert knowledge.</p>

	]]>
</description>

<author>Omar Ochoa et al.</author>


</item>




<item>
<title>Extending Java for Android Programming</title>
<link>http://digitalcommons.utep.edu/cs_techrep/699</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/699</guid>
<pubDate>Wed, 17 Apr 2013 10:31:41 PDT</pubDate>
<description>
	<![CDATA[
	<p>Android is one of the most popular platforms for developing mobile applications. However, its framework relies on programming conventions and styles to implement framework-specific concepts like activities and intents, causing problems such as reliability, readability, understandability, and maintainability. We propose to extend Java to support Android framework concepts explicitly as built-in language features. Our extension called Android Java will allow Android programmers to express these concepts in a more reliable, natural, and succinct way.</p>

	]]>
</description>

<author>Yoonsik Cheon</author>


</item>




<item>
<title>Kinematic Spaces and de Vries Algebras: Towards Possible Physical Meaning of de Vries Algebras</title>
<link>http://digitalcommons.utep.edu/cs_techrep/698</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/698</guid>
<pubDate>Wed, 17 Apr 2013 10:31:38 PDT</pubDate>
<description>
	<![CDATA[
	<p>Traditionally, in physics, space-times are described by (pseudo-)Riemann spaces, i.e., by smooth manifolds with a tensor metric field. However, in several physically interesting situations smoothness is violated: near the Big Bang, at the black holes, and on the microlevel, when we take into account quantum effects. In all these situations, what remains is causality -- an ordering relation. To describe such situations, in the 1960s, geometers H. Busemann and R. Pimenov and physicists E. Kronheimer and R. Penrose developed a theory of <em>kinematic spaces</em>. Originally, kinematic spaces were formulated as topological ordered spaces, but it turned out that kinematic spaces allow an equivalent purely algebraic description as sets with two related orders: causality and "kinematic" causality (possibility to influence by particles with non-zero mass, particles that travel with speed smaller than the speed of light). In this paper, we analyze the relation between kinematic spaces and <em>de Vries algebras</em>-- another mathematical object with two similarly related orders.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>Algorithmics of Checking Whether a Mapping Is Injective, Surjective, and/or Bijective</title>
<link>http://digitalcommons.utep.edu/cs_techrep/697</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/697</guid>
<pubDate>Wed, 17 Apr 2013 10:31:34 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many situations, we would like to check whether an algorithmically given mapping f:A --> B is injective, surjective, and/or bijective. These properties have a practical meaning: injectivity means that the events of the action f can be, in principle, reversed, while surjectivity means that every state b from the set B can appear as a result of the corresponding action. In this paper, we discuss when algorithms are possible for checking these properties.</p>

	]]>
</description>

<author>E. Cabral Balreira et al.</author>


</item>




<item>
<title>Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying</title>
<link>http://digitalcommons.utep.edu/cs_techrep/696</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/696</guid>
<pubDate>Wed, 17 Apr 2013 10:31:30 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many practical situations, simplified models, models that enable us to gauge the quality of different decisions reasonably well, lead to far-from-optimal situations when used in searching for an optimal decision. There is even an appropriate Russian saying: simplicity is worse than theft. In this paper, we provide a mathematical explanation of this phenomenon.</p>

	]]>
</description>

<author>Martine Ceberio et al.</author>


</item>




<item>
<title>Estimating Correlation under Interval and Fuzzy Uncertainty: Case of Hierarchical Estimation</title>
<link>http://digitalcommons.utep.edu/cs_techrep/695</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/695</guid>
<pubDate>Wed, 17 Apr 2013 10:31:25 PDT</pubDate>
<description>
	<![CDATA[
	<p>In many situations, we are interested in finding the correlation ρ between different quantities x and y based on the values x<sub>i</sub> and y<sub>i</sub> of these quantities measured in different situations i. The correlation is easy to compute when we know the exact sample values x<sub>i</sub> and y<sub>i</sub>. In practice, the sample values come from measurements or from expert estimates; in both cases, the values are not exact. Sometimes, we know the probabilities of different values of measurement errors, but in many cases, we only know the upper bounds Δ<sub>xi</sub> and Δ<sub>yi</sub> on the corresponding measurement errors. In such situations, after we get the measurement results X<sub>i</sub> and Y<sub>i</sub>, the only information that we have about the actual (unknown) values x<sub>i</sub> and y<sub>i</sub> is that they belong to the corresponding intervals [X<sub>i</sub> − Δ<sub>xi</sub>, X<sub>i</sub> + Δ<sub>xi</sub>] and [Y<sub>i</sub> − Δ<sub>yi</sub>, Y<sub>i</sub> + Δ<sub>yi</sub>]. For expert estimates, we get different intervals corresponding to different degrees of certainty -- i.e., fuzzy sets. Different values of x<sub>i</sub> and y<sub>i</sub> lead, in general, to different values of the correlation ρ. It is therefore desirable to find the range of possible values of the correlation ρ when x<sub>i</sub> and y<sub>i</sub> take values from the corresponding intervals. In general, the problem of computing this range is NP-hard. In this paper, we provide a feasible (= polynomial-time) algorithm for computing at least one of the endpoints of this interval: for computing the upper endpoint when this endpoint is positive and for computing the lower endpoint when this endpoint is negative.</p>

	]]>
</description>

<author>Ali Jalal-Kamali</author>


</item>




<item>
<title>How to Divide Students into Groups so as to Optimize Learning: Towards a Solution to a Pedagogy-Related Optimization Problem</title>
<link>http://digitalcommons.utep.edu/cs_techrep/694</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/694</guid>
<pubDate>Wed, 17 Apr 2013 10:31:21 PDT</pubDate>
<description>
	<![CDATA[
	<p>To enhance learning, it is desirable to also let students learn from each other, e.g., by working in groups. It is known that such groupwork can improve learning, but the effect strongly depends on how we divide students into groups. In this paper, based on a first approximation model of student interaction, we describe how to optimally divide students into groups so as to optimize the resulting learning. We hope that, by taking into account other aspects of student interaction, it will be possible to transform our solution into truly optimal practical recommendations.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>




<item>
<title>Semi-Heuristic Target-Based Fuzzy Decision Procedures: Towards a New Interval Justification</title>
<link>http://digitalcommons.utep.edu/cs_techrep/693</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/693</guid>
<pubDate>Wed, 17 Apr 2013 10:31:16 PDT</pubDate>
<description>
	<![CDATA[
	<p>To more adequately describe human decision making, V.-N. Nuynh, Y. Nakamori, and others proposed a special semi-heuristic target-based fuzzy decision procedure. A usual justification for this procedure is based on the selection of the simplest possible membership functions and "and"- and "or"-operations; if we use more complex membership functions and "and"- and "or"-operations, we get different results. Interestingly, in practical applications, the procedure based on the simplest choices most adequately describes human preferences. It is therefore desirable to come up with a justification that explains this empirical fact. Such a justification is proposed in this paper</p>

	]]>
</description>

<author>Christian Servin et al.</author>


</item>




<item>
<title>How to Define Average Class Size (and Deviations from the Average Class Size) in a Way Which Is Most Adequate for Teaching Effectiveness</title>
<link>http://digitalcommons.utep.edu/cs_techrep/692</link>
<guid isPermaLink="true">http://digitalcommons.utep.edu/cs_techrep/692</guid>
<pubDate>Wed, 17 Apr 2013 10:31:11 PDT</pubDate>
<description>
	<![CDATA[
	<p>When students select a university, one of the important parameters is the average class size. This average is usually estimated as an arithmetic average of all the class sizes. However, it has been recently shown that to more adequately describe students' perception of a class size, it makes more sense to average not over classes, but over all students -- which leads to a different characteristics of the average class size. In this paper, we analyze which characteristic is most adequate from the viewpoint of efficient learning. Somewhat surprisingly, it turns out that the arithmetic average <em>is</em> the most adequate way to describe the average student's gain due to a smaller class size. However, if we want to describe the effect of <em>deviations</em> from the average class size on the teaching effectiveness, then, instead of the standard deviation of the class size, a more complex characteristic is most appropriate.</p>

	]]>
</description>

<author>Olga Kosheleva et al.</author>


</item>





</channel>
</rss>
