How Accurately Should We Write On The Board? When Marking Comments On Student Papers?,
2011
The University of Texas at El Paso
How Accurately Should We Write On The Board? When Marking Comments On Student Papers?, Martine Ceberio, Olga Kosheleva
Departmental Technical Reports (CS)
I-Complexity And Discrete Derivative Of Logarithms: A Symmetry-Based Explanation,
2011
The University of Texas at El Paso
I-Complexity And Discrete Derivative Of Logarithms: A Symmetry-Based Explanation, Vladik Kreinovich, Jaime Nava
Departmental Technical Reports (CS)
In many practical applications, it is useful to consider Kolmogorov complexity K(s) of a given string s, i.e., the shortest length of a program that generates this string. Since Kolmogorov complexity is, in general, not computable, it is necessary to use computable approximations K~(s) to K(s). Usually, to describe such an approximations, we take a compression algorithm and use the length of the compressed string as K~(s). This approximation, however, is not perfect: e.g., for most compression algorithms, adding a single bit to the string $s$ can drastically change the value K~(s) -- while …
A New Justification For Weighted Average Aggregation In Fuzzy Techniques,
2011
The University of Texas at El Paso
A New Justification For Weighted Average Aggregation In Fuzzy Techniques, Jaime Nava
Departmental Technical Reports (CS)
In many practical situations, we need to decide whether a given solution is good enough, based on the degrees ai to which different criteria are satisfied. In this paper, we show that natural requirements lead to the weighted average decision, according to which a solution is acceptable if w1 * a1 + ... + wn * an > t for some weights wi and threshold t.
Computation In Quantum Space-Time Could Lead To A Super-Polynomial Speedup,
2011
The University of Texas at El Paso
Computation In Quantum Space-Time Could Lead To A Super-Polynomial Speedup, Vladik Kreinovich, Michael Zakharevich
Departmental Technical Reports (CS)
In theoretical computer science, researchers usually distinguish between feasible problems (that can be solved in polynomial time) and problems that require more computation time. A natural question is: can we use new physical processes, processes that have not been used in modern computers, to make computations drastically faster -- e.g., to make intractable problems feasible? Such a possibility would occur if a physical process provides a super-polynomial (= faster than polynomial) speed-up.
In this direction, the most active research is undertaken in quantum computing. It is well known that quantum processes can drastically speed up computations; however, there are no …
How To Tell When A Product Of Two Partially Ordered Spaces Has A Certain Property?,
2011
The University of Texas at El Paso
How To Tell When A Product Of Two Partially Ordered Spaces Has A Certain Property?, Francisco Zapata, Olga Kosheleva, Karen Villaverde
Departmental Technical Reports (CS)
In this paper, we describe how checking whether a givenproperty F is true for a product A1 X A2 of partiallyordered spaces can be reduced to checking several relatedproperties of the original spaces Ai.
This result can be useful in the analysis of propertiesof intervals [a,b] = {x: a <= x <= b}over general partially ordered spaces -- such as the spaceof all vectors with component-wise order or the set of allfunctions with component-wise ordering f <= g <-->for all x (f(x) <= g(x)). When we consider sets of pairs ofsuch objects A1 X A2, it is natural to define the orderon this set in terms of orders in A1 and A2 -- this is, e.g.,how ordering and intervals are defined on the set R2 of all2-D vectors.
This result …
Classification For Mass Spectra And Comprehensive Two-Dimensional Chromatograms,
2011
University of Nebraska-Lincoln
Classification For Mass Spectra And Comprehensive Two-Dimensional Chromatograms, Xue Tian
School of Computing: Dissertations, Theses, and Student Research
Mass spectra contain characteristic information regarding the molecular structure and properties of compounds. The mass spectra of compounds from the same chemically related group are similar. Classification is one of the fundamental methodologies for analyzing mass spectral data. The primary goals of classification are to automatically group compounds based on their mass spectra, to find correlation between the properties of compounds and their mass spectra, and to provide a positive identification of unknown compounds.
This dissertation presents a new algorithm for the classification of mass spectra, the most similar neighbor with a probability-based spectrum similarity measure (MSN-PSSM). Experimental results demonstrate …
Characterizing Multi-Walled Carbon Nanotube Synthesis For Field Emission Applications,
2011
Air Force Institute of Technology
Characterizing Multi-Walled Carbon Nanotube Synthesis For Field Emission Applications, Benjamin L. Crossley, Nathan Glauvitz, Betty T. Quinton, Ronald A. Coutu Jr., Peter J. Collins
Electrical and Computer Engineering Faculty Research and Publications
No abstract provided.
Reliable Ethernet,
2011
California Polytechnic State University, San Luis Obispo
Reliable Ethernet, Aleksandr Movsesyan
Master's Theses
Networks within data centers, such as connections between servers and disk arrays, need lossless flow control allowing all packets to move quickly through the network to reach their destination. This paper proposes a new algorithm for congestion control to satisfy the needs of such networks and to answer the question: Is it possible to provide circuit-less reliability and flow control in an Ethernet network? TCP uses an end-to-end congestion control algorithm, which is based on end-to-end round trip time (RTT). Therefore its flow control and error detection/correction approach is dependent on end-to-end RTT. Other approaches utilize specialized data link layer …
Full Custom Vlsi Design Of On-Line Stability Checkers,
2011
California Polytechnic State University, San Luis Obispo
Full Custom Vlsi Design Of On-Line Stability Checkers, Chris Y. Lee
Master's Theses
A stability checker is a clocked storage element, much like a flip-flop, which detects unstable and late signals in the pipeline of a digital system. The On-line stability checker operates concurrently with its associated circuit-under-test (CUT). This thesis describes the full custom very-large-scale integration (VLSI) design and testing process of On-Line Stability Checkers. The goals of this thesis are to construct and test Stability Checker designs, and to create a design template for future class projects in the EE 431 Computer-Aided Design (CAD) of VLSI Devices course at Cal Poly.
A method for concurrent fault testing called On-line Stability Checking …
A Cross-Layer Design For The Performance
Improvement Of Real-Time Video Transmission Of
Secondary Users Over Cognitive Radio Networks,
2011
University of Nebraska-Lincoln
A Cross-Layer Design For The Performance Improvement Of Real-Time Video Transmission Of Secondary Users Over Cognitive Radio Networks, Haiyan Luo, Song Ci, Dalei Wu
Department of Electrical and Computer Engineering: Faculty Publications (to 2015)
Cognitive radio (CR) has been proposed as a promising solution to improve connectivity, self-adaptability, and efficiency of spectrum usage. When used in video applications, user-perceived video quality experienced by secondary users is a very important performance metric to evaluate the effectiveness of CR technologies. However, most of the current research only considers spectrum utilization and effectiveness at medium access control (MAC) and physical layers, ignoring the system performance of the upper layers. Therefore, in this paper, we aim to improve the user experience of secondary users for wireless video services over CR networks. We propose a quality-driven cross-layer optimized system …
Stereoscopic Vision In Vehicle Navigation.,
2011
University of Louisville
Stereoscopic Vision In Vehicle Navigation., Behnoush Abdollahi 1986-
Electronic Theses and Dissertations
Traffic sign (TS) detection and tracking is one of the main tasks of an autonomous vehicle which is addressed in the field of computer vision. An autonomous vehicle must have vision based recognition of the road to follow the rules like every other vehicle on the road. Besides, TS detection and tracking can be used to give feedbacks to the driver. This can significantly increase safety in making driving decisions. For a successful TS detection and tracking changes in weather and lighting conditions should be considered. Also, the camera is in motion, which results in image distortion and motion blur. …
On The Complexity Of Grid Coloring,
2011
University of Arkansas, Fayetteville
On The Complexity Of Grid Coloring, Daniel Christopher Apon
Graduate Theses and Dissertations
This thesis studies problems at the intersection of Ramsey-theoretic mathematics, computational complexity, and communication complexity. The prototypical example of such a problem is Monochromatic-Rectangle-Free Grid Coloring. In an instance of Monochromatic-Rectangle-Free Grid Coloring, we are given a chessboard-like grid graph of dimensions n and m, where the vertices of the graph correspond to squares in the chessboard, and a number of allowed colors, c. The goal is to assign one of the allowed colors to each vertex of the grid graph so that no four vertices arranged in an axis-parallel rectangle are colored monochromatically. Our results include: 1. A conditional, …
File System Simulation: Hierarchical Performance Measurement And Modeling,
2011
University of Arkansas, Fayetteville
File System Simulation: Hierarchical Performance Measurement And Modeling, Hai Quang Nguyen
Graduate Theses and Dissertations
File systems are very important components in a computer system. File system simulation can help to predict the performance of new system designs. It offers the advantages of the flexibility of modeling and the cost and time savings of utilizing simulation instead of full implementation. Being able to predict end-to-end file system performance against a pre-defined workload can help system designers to make decisions that could affect their entire product line, involving several million dollars of investment. This dissertation presents detailed simulation-based performance models of the Linux ext3 file system and the PVFS parallel file system. The models are developed …
An Investigation Into Segmenting Traffic Images Using Various Types Of Graph Cuts,
2011
Clemson University
An Investigation Into Segmenting Traffic Images Using Various Types Of Graph Cuts, Jonathan Dinger
All Theses
In computer vision, graph cuts are a way of segmenting an image into multiple areas. Graphs are built using one node for each pixel in the image combined with two extra nodes, known as the source and the sink. Each node is connected to several other nodes using edges, and each edge has a specific weight. Using different weighting schemes, different segmentations can be performed based on the properties used to create the weights. The cuts themselves are performed using an implementation of a solution to the maximum flow problem, which is then changed into a minimum cut according to …
Dynamics And Control Of The Shoot-The-Moon Tabletop Game,
2011
Clemson University
Dynamics And Control Of The Shoot-The-Moon Tabletop Game, Peng Xu
All Theses
The classic table-top game Shoot-the-Moon has interesting dynamics despite its simple structure, consisting of a steel ball rolling on two cylindrical rods. The two sloped rods are hinged at the lower ends and allowed to freely slide in a slot at the higher end. The ball can amazingly roll upward along the rods under carefully manipulation of the rods. There is also an interaction between ball rotation and translation that cause the ball to ``shoot'' (quickly accelerate).
In this thesis, the kinematics are developed for Shoot-the-Moon and then equations of motion are derived using both Lagrangian and Newtonian approaches. The …
Wireless Embedded Smart Cameras: Performance Analysis And Their Application To Fall Detection For Eldercare.,
2011
University of Nebraska-Lincoln
Wireless Embedded Smart Cameras: Performance Analysis And Their Application To Fall Detection For Eldercare., Alvaro Pinto
Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research
Wireless Embedded Smart Camera Networks has received a lot of attention from academia and industry because they are small in size and easy to deploy, and they offer a multitude of attractive applications. They can be used for embedded single unit applications, or can be networked for multi-camera applications.
We first analyze three different operation scenarios for a wireless vision sensor network wherein different levels of local processing is performed. A detailed quantitative comparison of three operation scenarios are presented in terms of energy consumption and latency. This quantitative analysis provides the motivation for performing high-level local processing and decision …
Molecular Dynamics Simulation Based On Hadoop Mapreduce,
2011
University of Nebraska-Lincoln
Molecular Dynamics Simulation Based On Hadoop Mapreduce, Chen He
School of Computing: Dissertations, Theses, and Student Research
Molecular Dynamics (MD) simulation is a computationally intensive application used in multiple fields. It can exploit a distributed environment due to inherent computational parallelism. However, most of the existing implementations focus on performance enhancement. They may not provide fault-tolerance for every time-step.
MapReduce is a framework first proposed by Google for processing huge amounts of data in a distributed environment. The simplicity of the programming model and fault- tolerance for node failure during run-time make it very popular not only for commercial applications but also in scientific computing.
In this thesis, we develop a novel communication-free and each time-step fault- …
Networks - Ii: Closed-Form Expressions For Correlation Function And Power Density Spectrum In Mimo Mobile-To-Mobile Channels Using Two-Erose-Ring Model,
2011
Mohammad Ali University, Islamabad, Pakistan
Networks - Ii: Closed-Form Expressions For Correlation Function And Power Density Spectrum In Mimo Mobile-To-Mobile Channels Using Two-Erose-Ring Model, Muahammad Riaz, Noor M. Khan
International Conference on Information and Communication Technologies
This paper presents an extensive study of MIMO channels in mobile-to-mobile environment. Recently proposed two-erose-ring model is reviewed for more details, and closed-form mathematical expressions for space-time correlations and power spectral density for MIMO mobile-to-mobile communication channels are derived. Using the correlation function, we analyze and compare capacity and diversity gains for two-ring model and two-erose-ring model. Furthermore, we compared the results with the existing models.
Networks - Ii: A High Bandwidth Covert Channel In Network Protocol,
2011
SZABIST, Islamabad, Pakistan
Networks - Ii: A High Bandwidth Covert Channel In Network Protocol, Mehdi Hussain
International Conference on Information and Communication Technologies
Covert channel is secret communication path, which existence is not expected in original system of design. It allows different users access to the same information, at the same time, but from different points-of-view. It is being more and more studying due to the grooming of internet. Always high-bandwidth network covert channel pose the significant risk of detection over network. Although the existing technique utilized the reserved bits of header, timestamp, initial sequence number, packet length etc for network covert channel, to some extend these have good temper resistance. But when increase their covert data capacity they becomes to fail to …
Network Security: A Review Of Salient Security Aspects Of The Universal Mobile Telecommunication System (Umts),
2011
Shaheed Zulfikar Ali Bhutto Institute of Science and Technology, Islamabad, Pakistan
Network Security: A Review Of Salient Security Aspects Of The Universal Mobile Telecommunication System (Umts), F. Imran, M. Hussain
International Conference on Information and Communication Technologies
Wireless communication is known as key to global development. Wireless and mobile communication is gaining more importance in our life. Protecting information is one the aspects which we need to focus on the wireless networks. Universal mobile telecommunication system (UMTS) is evolution of the third generation mobile communication system. It was built on the success of global system for mobile communication (GSM). Universal mobile telecommunication system's security is also built on global system for mobile communication (GSM). The paper reviews the literature of the security aspects of the Universal mobile telecommunication system. A critical evaluation of the proposed solutions is …
