Physical Sciences and Mathematics Commons^™

F-Transform In View Of Trend Extraction, Irina Perfilieva, Vladik Kreinovich, Vilém Novák

Departmental Technical Reports (CS)

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.

Metrological Self-Assurance Of Data Processing Software, Vladik Kreinovich, Leonid Reznik, Konstantin K. Semenov, Gennady N. Solopchenko

Departmental Technical Reports (CS)

The metrological self-assurance for data processing software is discussed. The way to achieve this property for software is presented.

Thirty-Two Sample Audio Search Tasks, Nigel G. Ward, Steven D. Werner

Departmental Technical Reports (CS)

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.

Zadeh's Vision Of Going From Fuzzy To Computing With Words: From The Idea's Origin To Current Successes To Remaining Challenges, Vladik Kreinovich

Departmental Technical Reports (CS)

No abstract provided.

Ubiquity Of Data And Model Fusion: From Geophysics And Environmental Sciences To Estimating Individual Risk During An Epidemic, Omar Ochoa, Aline Jaimes, Christian Servin, Craig Tweedie, Aaron Velasco, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

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 …

Interval Uncertainty As The Basis For A General Description Of Uncertainty: A Position Paper, Vladik Kreinovich

Departmental Technical Reports (CS)

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. …

Kansei Engineering: Towards Optimal Set Of Designs, Van-Nam Huynh, Octavio Lerma, Vladik Kreinovich

Departmental Technical Reports (CS)

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.

Orders On Intervals Over Partially Ordered Sets: Extending Allen's Algebra And Interval Graph Results, Francisco Zapata, Vladik Kreinovich, Cliff Joslyn, Emilie Hogan

Departmental Technical Reports (CS)

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 …

How To Define Mean, Variance, Etc., For Heavy-Tailed Distributions: A Fractal-Motivated Approach, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

In many practical situations, we encounter heavy-tailed 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.

Interval Or Moments: Which Carry More Information?, Michael Beer, Vladik Kreinovich

Departmental Technical Reports (CS)

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 …

How To Divide Students Into Groups So As To Optimize Learning: Towards A Solution To A Pedagogy-Related Optimization Problem, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

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.

Decision Making Under Interval And Fuzzy Uncertainty: Towards An Operational Approach, Rafik Aliev, Oleg H. Huseynov, Vladik Kreinovich

Departmental Technical Reports (CS)

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. …

Membership Functions Or Alpha-Cuts? Algorithmic (Constructivist) Analysis Justifies An Interval Approach, Vladik Kreinovich

Departmental Technical Reports (CS)

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 not algorithmically equivalent, and only the alpha-cut representation enables us to efficiently process fuzzy data.

An Evaluation Approach For Interactions Between Abstract Workflows And Provenance Traces, Leonardo Salayandia, Ann Q. Gates, Paulo Pinheiro

Departmental Technical Reports (CS)

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 …

Estimating Correlation Under Interval And Fuzzy Uncertainty: Case Of Hierarchical Estimation, Ali Jalal-Kamali

Departmental Technical Reports (CS)

In many situations, we are interested in finding the correlation ρ between different quantities x and y based on the values x_i and y_i of these quantities measured in different situations i. The correlation is easy to compute when we know the exact sample values x_i and y_i. 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 Δ_xi and Δ_yi on …

Semi-Heuristic Target-Based Fuzzy Decision Procedures: Towards A New Interval Justification, Christian Servin, Van-Nam Huynh, Yoshiteru Nakamori

Departmental Technical Reports (CS)

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

Extending Java For Android Programming, Yoonsik Cheon

Departmental Technical Reports (CS)

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.

Modal Intervals As A New Logical Interpretation Of The Usual Lattice Order Between Interval Truth Values, Francisco Zapata

Departmental Technical Reports (CS)

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. …

Image And Model Fusion: Unexpected Counterintuitive Behavior Of Traditional Statistical Techniques And Resulting Need For Expert Knowledge, Omar Ochoa, Aaron A. Velasco, Vladik Kreinovich

Departmental Technical Reports (CS)

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 …

Simplicity Is Worse Than Theft: A Constraint-Based Explanation Of A Seemingly Counter-Intuitive Russian Saying, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

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.

Kinematic Spaces And De Vries Algebras: Towards Possible Physical Meaning Of De Vries Algebras, Olga Kosheleva, Francisco Zapata

Departmental Technical Reports (CS)

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 kinematic spaces. Originally, kinematic spaces were formulated as topological ordered spaces, but it turned out that kinematic …

Algorithmics Of Checking Whether A Mapping Is Injective, Surjective, And/Or Bijective, E. Cabral Balreira, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

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.

Secondary Structure Prediction Of Long Rna Sequences Based On Inversion Excursions And A Modularized Mapreduce Framework, Daniel Tesfai Yehdego

Open Access Theses & Dissertations

Ribonucleic acid (RNA) molecules and their secondary structures play important roles in many biological processes including gene expression and regulation. The genomes of many viruses are also RNA molecules. Since secondary structures are crucial for RNA functionality, computational predictions of the RNA secondary structures have been widely studied. However, the tremendous demands on computer memory and computing time for complex secondary structures limit the capability of existing thermodynamically based algorithms for structure predictions to handling only short RNA sequences with a few hundred bases. One approach to overcome this limitation is by first cutting long RNA sequences into shorter, non-overlapping …

Stereo Matching - Improving Image Quality, Aritra Dattagupta

Open Access Theses & Dissertations

Stereo vision or stereopsis is a biological process in which the impression of the depth of a scene viewed by the two eyes is perceived. Stereo vision helps us to see where objects are in relation to our bodies. Computational stereo describes the process of synthesizing the mechanics of binocular vision; and stereo matching is an important process in the problem of computational stereo.

Stereo matching is used for Digital Elevation Modeling (DEM), which is the method of extracting 3D information from digital images obtained by cameras and, therefore, is a crucial process for representing a 3D view of surfaces …

Decision Rule Induction For Service Sector Using Data Mining- A Rough Set Theory Approach, Zhonghua Hu

Open Access Theses & Dissertations

Nowadays, data mining is more widely used than ever before; not only by the academic area, but also in the industry and business area. Apart from execution of business processes, the creation of knowledge base and its utilization for the benefit of the organization is becoming a strategy tool to compete. Despite of having ever growing data bases, the problem is that the finance company fails to fully capitalize the true benefits which can be gained from this great wealth of information. The data mining technology instead of classic statistical analysis is developed to help the people to discover the …

On The Selection Of Prosodic Features For Language Modeling, Alejandro Vega

Open Access Theses & Dissertations

Previous studies show that immediate and long range prosodic context provide benecial information when applied to a language model. However, the fact that some features provide more information to the prediction task should be considered. If the information contribution of each feature can be determined, then a well-crafted feature set can be built to improve the performance of a language model. In this study, I measure the contribution of dierent prosodic features to a baseline trigram model. Using this information, it should be possible to build a language model that uses the most informative resources and ultimately performs better than …

Partial Orders For Representing Uncertainty, Causality And Decision Making: General Properties, Operations, And Algorithms, Francisco Adolfo Zapata

Open Access Theses & Dissertations

One of the main objectives of science and engineering is to help people select the most beneficial decisions. To make these decisions, we must know people's preferences, we must have the information about different possible consequences of different decisions. Since information is never absolutely accurate and precise, we must also have information about the degree of certainty of different parts on information. All these types of information naturally lead to partial orders:

- For preferences, a <= b means that b is preferable to a. This relation is used in decision theory.

- For events, a <= b means that a can influence b. This causality relation is one of the fundamental notions of physics, especially of physics of space-time.

* For uncertain statements, a <= b means that a is less certain than b. This relation is used in logics describing uncertainty, such as fuzzy logic.

In each of these areas, there is abundant research about studying the corresponding partial orders. …

Market Reactions To Publicly Announced Privacy And Security Breaches Suffered By Companies Listed On The United States Stock Exchanges: A Comparative Empirical Investigation, Adolfo S. Coronado

Open Access Theses & Dissertations

Using a sample of security and privacy breaches the present research examines the comparative announcement impact between the two types of events. The first part of the dissertation analyzes the impact of publicly announced security and privacy breaches on abnormal stock returns, the change in firm risk, and abnormal trading volume are measured. The second part of the dissertation analyzes differential impact between security and privacy breaches on abnormal stock returns, the change in firm risk, and abnormal trading volume are measured.

Using a sample of 114 security (65) and privacy (49) breaches on average, security breaches resulted in more …

Adding Within-Utterance Emotion Decay For More Human-Like Dialog, Michael Hans Durcholz

Open Access Theses & Dissertations

While spoken dialog systems have been used for commercial applications for several decades, most commercial spoken dialog systems provide only simple information exchange capabilities. Emotion synthesis in spoken dialog systems has become an active research area recently, and use of emotion-adaptive dialog systems has demonstrated improvements in user experience and rapport. This thesis seeks to improve how emotions are conveyed in dialog systems to enable robust emotional support that improves user experiences with dialog systems and models human speech characteristics more accurately than current dialog systems.

Prior work with Gracie (GRAduate Coordinator with Immediate response Emotions), an emotion-adaptive dialog system, …

Fault Tolerance: Validating A Mathematical Model Via A Case Study Of Raxml, An Hpc Community Code, Bidisha Chakraborty

Open Access Theses & Dissertations

Researchers have mentioned that the three most difficult and growing problems in the future of high-performance computing will be avoiding, coping and recovering from failures. As the scale of computing increases, the Mean Time to Failure (MTTF) of the entire system decreases and, therefore, system resilience and fault tolerance techniques become mandatory. One of the most commonly used fault tolerance schemes is checkpoint/restart, however, it has been predicted that the current checkpoint/restart approach is not scalable. Thus, current research seeks to find scalable fault tolerance techniques as well as to extend the scalability of checkpoint/restart.

The periodicity of the checkpointing …