The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A problem of stabilization by feedback of finitely many oscillators via bilinear control action with a common scalar input ${\bf u} $ is addressed. Under the assumption that the frequencies of the uncontrolled $({\bf u}={\bf 0} )$ oscillators are distinct, a globally asymptotically stabilizing feedback is developed.
Dyslexic is a medical term referred to people suffering from dyslexia. Dyslexia is viewed as a neurological defect that causes the subject's electrophysiological signal of the brain to process information differently from that of normal children. In this paper, we introduce a two-dimension (2D) neural distribution method of analyzing normal and dyslexic children in reading, writing and spelling. The...
In order to acquire infrequent events as new ideas and evaluate the ideas quantitatively, it is necessary to know how people create and refine ideas and to model creating and refining process. In this paper, we focused on relations between thinking time and writing time in handwriting, and proposed to model the relation by externalization, classification, relation, transportation and systematization,...
Segmentation is considered as a core step for any recognition or classification method and for the text within any document to be effectively recognized it must be segmented accurately. In this paper a text and writer independent algorithm for the segmentation of sub-words in Arabic words has been presented. The concept is based around the global binarization of an image at various thresholding levels...
In today's "Big Data" era, developers have adopted I/O techniques such as MPI-IO, Parallel NetCDF and HDF5 to garner enough performance to manage the vast amount of data that scientific applications require. These I/O techniques offer parallel access to shared datasets and together with a set of optimizations such as data sieving and two-phase I/O to boost I/O throughput. While most of these...
In this paper, the de-noising filter study of the sound-source using the DWT is introduced. We suggest the de-noising filter using the Discrete Wavelet Transform (DWT). The DWT has been performed to remove out the noises from the signals. In order to confirm the performance of suggested filtering algorithm, we estimate the distance and angle from the microphone to the sound-source and compare the...
The ability to solve complex problems in which considerable latitude in solution is allowed is an important goal in engineering education. While feedback is critical to learning, traditional grading of handwritten homework rarely provides effective, timely feedback on attempts to solve complex problems. To address the research question of whether automated feedback can be provided on complex problem...
As the scale of high-performance computing (HPC) clusters continues to grow, their increasing failure rates and energy consumption levels are emerging as two serious design concerns that are expected to become more challenging in future Exascale systems. Therefore, efficiently running systems at such large scales requires an in-depth understanding of the performance and energy costs associated with...
With the rapid growth of data and the growing demand from users on the system performance, data availability has become the most important issue in large-scale storage systems. Due to the ability to provide space-optimal data redundancy to protect against node failures, erasure codes have seen widely deployment. To ensure data availability, it is crucial to recover node failures quickly. In this paper,...
MapReduce is a widely used programming model for large scale data processing. In order to estimate the performance of MapReduce job and analyze the bottleneck of MapReduce job, a practical performance model for MapReduce is needed. Many works have been done on modeling the performance of MapReduce jobs. However, existing performance models ignore some important factors, such as I/O congestions and...
In compressive sensing, the basis pursuit algorithm aims to find the sparsest solution to an underdetermined linear equation system. In this paper, we generalize basis pursuit to finding the sparsest solution to higher order nonlinear systems of equations, called nonlinear basis pursuit. In contrast to the existing nonlinear compressive sensing methods, the new algorithm is based on convex relaxation...
Note-taking applications today have features that imitate the behavior of real handwriting such as smooth strokes, responsive interface, and stroke thinning. However, the problem is that the writing tools of these applications do not fully simulate the feel of their real counterpart. Some of these applications have flaws like unnatural pen thinning effect, pixelation of strokes, and lack of highlighter...
In Japan, university education has been required to teach university students "technical writing skill" as well as "basic scholastic achievement" and "specialized knowledge" by the progress of globalization. By focuses on making of the manuscript co-authored in the university laboratory, this paper discusses an improvement of technical writing skill. We educate the technical...
Formalizing requirements in formal specifications usually requires high skills for abstraction and experience in using the formal notation in which the specification is written. This poses a challenge to many practitioners who have to deal with realistic systems within the required schedule and budget. To handle this challenge, a pattern system has been proposed for computer-aided construction of...
We investigate the connections between computational effects, algebraic theories, and monads on functor categories. We develop a syntactic framework with variable binding that allows us to describe equations between programs while taking into account the idea that there may be different instances of a particular computational effect. We use our framework to give a general account of several notions...
A partition of a positive integer is defined as a way of writing as an unordered sum of one or more positive integers. After it was first proposed by Leonhard Euler, many mathematicians and computer scientists have been interested in studying it. They used many kinds of researching tools and methods and have obtained a series of achievements which are widely used in graph theory and combinatorial...
We present a novel primal-dual analysis on a class of NP-hard sparsity minimization problems to provide new interpretations for their well known convex relaxations. We show that the Lagrangian bidual (i.e., the Lagrangian dual of the Lagrangian dual) of the sparsity minimization problems can be used to derive interesting convex relaxations: the bidual of the ℓ0-minimization problem is ℓ1-minimization;...
Attempts to allow the blind to read and write mathematical texts have been made for many years. Such research is conducted both in Poland and abroad. Nevertheless, there is still no complex solution to this problem that would satisfy the users thoroughly. The greatest difficulty facing blind and sighted individuals working on texts containing mathematical formulae together is that in sighted people's...
In this paper, we look at the possibility to implement the algorithm to construct a discrete line devised by the first author in cellular automata. It turns out that such an implementation is feasible.
Using device write buffers is a promising technique to improve the write performance of solid-state disks. The write buffer not only reduces the write traffic to the flash but also produces large and sequential write bursts to the underlying flash translation layer. This study proposes a new buffer design consisting of a replacement policy and a write-back policy. This buffer monitors how the host...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.