Miracle-dz/UniFAR-FTUs huggingface dataset:
MATLAB-based software for estimation of quasipolynomials in noise

The goal of this work is to describe the underlying theoretical and algo­ rithmic basis of a MATLAB-based software develop~ by the authors. The software is intended for investigation of time series (signals) which can be modeled as the sum of real-valued quasipolynomials plus white noise. With the help of the software described, one can compute the expressions of the Cramer-Rao lower bound on the covariance matrix of the estimation error of unbiased estimates of damping factors and frequencies of quasipolynornials and to obtain estimates of these parameters using three versions of Prony method. Using this software, one can generate various models of quasipoly­ nomials, obtain plots of their poles with respect to the unit circle, compute and plot 20"-bounds (where 0" is given by the CRB formula) around each pole, and also pole estimates obtained in each realization. Results of numerical experiments are presented.
Design and performance evaluation of an optimization methodology for optimal solution of Cellular Layout Design Problems

The Cellular Layout Design Problem (CLDP) in mobile radio network, commonly known as cell-planning problem, belongs to the class of NP-complete optimization problems. Commonly, the CLDP is solved using heuristic techniques. However, the heuristic techniques suffer from the fact that they cannot guarantee the optimality of the solution obtained. In this paper a mathematical programming approach is proposed for solving real-world cellular planning problems. The approach is such that an optimal solution is guaranteed. Initially a mathematical formulation is developed to formulate bandwidth, radio coverage and contiguity constraints. Special ladder"" constraints are developed to formulate various topographical constraints. Some basic concepts of Graph Theory are applied for strengthening the mathematical formulation developed. A specially tailored Enumeration algorithm is then used for solving a range of practical design problems show that the proposed approach can be applied to solve optimally large-scale CLDP. ""
Integrating technology into undergraduate mathematics

This paper describes the importance of integrating technology into a mathematics course, in contrast to using items of technology as occasional pieces of support for students learning or teachers teaching. The integrated use of microcomputers in mathematics courses is problematic for practical reasons of access and cost, and we will argue that hand-held graphics calculators provide a more viable alternative. We describe our experiences to date with the use of graphics calculators in a first year mathematics course. During 1994, with access to a limited quantity of calculators, we began a process of integrating technology into the course; we will continue this process into 1995, with some support from a CAUT grant to do so. Particular focus will be placed on the design and administration of appropriate assessment tasks, but we will also describe some of the changes to pedagogy involved, as well as some practical issues of organisation in the context of limited resources.
Perancangan dan Pengembangan Toko Online dengan Metode Interaction Flow Modeling Language (Studi Kasus Toko Winata)

Penjualan produk dan interaksi dengan konsumen adalah proses yang sering dilakukan di usaha/toko yang bergerak di bidang penjualan. Proses penjualan biasanya dilakukan secara langsung dan bertatap muka dengan konsumen. Persoalan penjualan secara langsung berkaitan dengan ruang lingkup dan waktu yang terbatas. Pada penelitian ini penulis merancang dan mengembangkan toko online dengan studi kasus Toko Winata dan menggunakan metode Interaction Flow Modeling Language (IFML). Fungsi dari metode IFML adalah membantu mempermudah komunikasi desain interaksi dengan pemangku kepentingan non-teknis. Fokus penelitian ini adalah pada tampilan antar muka yang menarik, kemudahan penggunaan, serta penyampaian informasi produk kepada konsumen dengan memanfaatkan website sebagai salah satu layanan secara online. Penelitian ini akan membahas mengenai penjualan produk dan interaksi dengan konsumen secara online. Dengan adanya toko online ini diharapkan dapat memberikan peningkatan pendapatan pada Toko Winata dan keuntungan berupa ruang lingkup yang lebih luas dan waktu yang banyak sehingga dapat menjawab persoalan penjualan secara langsung.
A knowledge-based approach to language production (natural, generation)

The development of natural language interfaces to Artificial Intelligence systems is dependent on the representation of knowledge. A major impediment to building such systems has been the difficulty in adding sufficient linguistic and conceptual knowledge to extend and adapt their capabilities. This difficulty has been apparent in systems which perform the task of language production, i. e. the generation of natural language output to satisfy the communicative requirements of a system. The problem of extending and adapting linguistic capabilities is rooted in the problem of integrating abstract and specialized knowledge and applying this knowledge to the language processing task. Three aspects of a knowledge representation system are highlighted by this problem: hierarchy, or the ability to represent relationships between abstract and specific knowledge structures; explicit referential knowledge, or knowledge about relationships among concepts used in referring to concepts; and uniformity, the use of a common framework for linguistic and conceptual knowledge. The knowledge-based approach to language production addresses the language generation task from within the broader context of the representation and application of conceptual and linguistic knowledge. This knowledge-based approach has led to the design and implementation of a knowledge representation framework, called Ace, geared towards facilitating the interaction of linguistic and conceptual knowledge in language processing. Ace is a uniform, hierarchical representation system, which facilitates the use of abstractions in the encoding of specialized knowledge and the representation of the referential and metaphorical relationships among concepts. A general-purpose natural language generator, KING (Knowledge INtensive Generator), has been implemented to apply knowledge in the Ace form. The generator is designed for knowledge-intensivity and incrementality, to exploit the power of the Ace knowledge in generation. The generator works by applying structured associations, or mappings, from conceptual to linguistic structures, and combining these structures into grammatical utterances. This has proven to be a simple but powerful mechanism, easy to adapt and extend, and has provided strong support for the role of conceptual organization in language generation.
Alternative Computer Access: A Guide to Selection

From the Publisher: Here's a book that covers computer access technologies and the process of providing alternative access to individuals with disabilities. This one-of-a-kind resource can serve as a textbook or as a clinical tool for computer-based assistive technology. The book assumes that the reader is familiar with the process of physical and cognitive evaluation of the client with a disability. Little or no prior knowledge of computers is required.
Semantic dimensionality reduction for theclassification of EEG according to musical tonality

A common structural element of Western tonal music is the change of key within a melodic sequence. The present paper examines data from a set of experiments that were conducted to analyse human perception of different modulations of key. EEG recordings were taken of participants who were given melodic sequences containing changes in key of varying distances, as well as atonal sequences, with a behavioural task of identifying the change in key. Analysis of EEG involved derivation of 122120 separate dependent variables (features), including measures such as inter-electrode spectral power, coherence, and phase. The paper presents a novel method of performing semantic dimensionality reduction based on KCCA that produces a representation enabling high accuracy identification of out-ofsubject tonal verses atonal sequences.
Handbook of Texture Analysis

Texture analysis is one of the fundamental aspects of human vision by which we discriminate between surfaces and objects. In a similar manner, computer vision can take advantage of the cues provided by surface texture to distinguish and recognize objects. In computer vision, texture analysis may be used alone or in combination with other sensed features (e.g. color, shape, or motion) to perform the task of recognition. Either way, it is a feature of paramount importance and boasts a tremendous body of work in terms of both research and applications.Currently, the main approaches to texture analysis must be sought out through a variety of research papers. This collection of chapters brings together in one handy volume the major topics of importance, and categorizes the various techniques into comprehensible concepts. The methods covered will not only be relevant to those working in computer vision, but will also be of benefit to the computer graphics, psychophysics, and pattern recognition communities, academic or industrial.
Programmable dynamics in an analog VLSI neuromorph

The architecture of an analog VLSI neuromorph which can receive and process large numbers of pulsatile inputs via a spatially extensive artificial dendritic tree is described. The artificial dendritic tree is a hybrid VLSI circuit which has distributed over its length synapses of three types: hyperpolarizing, depolarizing, and shunting. Because of the distributed nature of the circuit and its natural dynamics, input signals are segregated both spatially and temporally. In addition, neuromorph dynamics is programmable over a wide range which permits one to match neuromorph dynamical response with application dynamics. Experimental results are presented that show "membrane" response of a directionally selective neuromorph preserved over four orders of magnitude in target speed as neuromorph dynamics is correspondingly changed. <<ETX>>
UN MÉTODO PARA EL REFINAMIENTO INTERACTIVO DEL DIAGRAMA DE CLASES DE UML

Along the requirements elicitation process, communication problems appear between analysts and stakeholders; usually, these problems cause losing of functional requirements. Refinement of conceptual schemas-particularly class diagram-lessens the impact of these losses. Some approaches to the refinement of class diagram have been proposed, but they do not evidence cycles of interaction with the stakeholder; other approaches show interactive refinement of the Entity-Relationship diagram, which does not have all the information contained in class diagram. In this paper, we propose the refinement of UML class diagram through interaction with stakeholders. To achieve this goal, we propose completeness rules in natural language and the use of a corpus of class diagrams for complementing the analyst knowledge in a specific domain. Finally, we illustrate completeness analysis with a prototype in the UNC-Diagrammer tool and we propose a case study.
Reconnaissance des émotions par traitement d’images

La reconnaissance des emotions est l'un des domaines scientifiques les plus complexes. Ces dernieres annees, de plus en plus d'applications tentent de l'automatiser. Ces applications innovantes concernent plusieurs domaines comme l'aide aux enfants autistes, les jeux video, l'interaction homme-machine. Les emotions sont vehiculees par plusieurs canaux. Nous traitons dans notre recherche les expressions emotionnelles faciales en s'interessant specifiquement aux six emotions de base a savoir la joie, la colere, la peur, le degout, la tristesse et la surprise. Une etude comparative de deux methodes de reconnaissance des emotions l'une basee sur les descripteurs geometriques et l'autre basee sur les descripteurs d'apparence est effectuee sur la base CK+, base d'emotions simulees, et la base FEEDTUM, base d'emotions spontanees. Differentes contraintes telles que le changement de resolution, le nombre limite d'images labelisees dans les bases d'emotions, la reconnaissance de nouveaux sujets non inclus dans la base d'apprentissage sont egalement prises en compte. Une evaluation de differents schemas de fusion est ensuite realisee lorsque de nouveaux cas, non inclus dans l'ensemble d'apprentissage, sont consideres. Les resultats obtenus sont prometteurs pour les emotions simulees (ils depassent 86%), mais restent insuffisant pour les emotions spontanees. Nous avons applique egalement une etude sur des zones locales du visage, ce qui nous a permis de developper des methodes hybrides par zone. Ces dernieres ameliorent les taux de reconnaissance des emotions spontanees. Finalement, nous avons developpe une methode de selection des descripteurs d'apparence basee sur le taux d'importance que nous avons comparee avec d'autres methodes de selection. La methode de selection proposee permet d'ameliorer le taux de reconnaissance par rapport aux resultats obtenus par deux methodes reprises de la litterature.
Manifestations of Java Dynamic Linking - an approximate understanding at source language level -

Through dynamic linking, Java supports a novel paradigm for code deployment, which ensures fast program start-up and linking with the most recent version of code. Thus Java dynamic linking, gives support for software evolution, by supporting a piece of code A which uses a piece of code B, to link at run-time with a version of code B which was created after A was created. Dynamic linking involves loading, verification, resolution and preparation of code. Programmers are normally not aware of the dynamic linking process. Nevertheless, in some situations, dynamic linking does manifest itself, and affects program execution and the integrity of the virtual machine. Therefore, there is a need for a description of dynamic linking at the level of the Java source language. We provide such a description, and demonstrate the process in terms of a sequence of source language examples, in which the effects if dynamic linking are explicit.
A stable neural network-based adaptive control scheme for a class of nonlinear plants

A stable adaptive neural network control scheme, based on that suggested in Boskovic (1997), is designed for a class of second-order unknown nonlinear plants. It is shown that a two-layer neural network, built using a rational activation function, results in a convenient parametrization which enables the generation of stable adaptive laws. The corresponding well-tuned neural network controller results in the stable overall system as demonstrated using a suitably chosen Lyapunov function. It is also shown that this controller can be efficiently combined with an indirect VS controller within the framework of stable multiple model-based adaptive control to achieve the control objective and assure favorable performance of the overall closed-loop system.
Less is more in physics: a small-scale Writing in the Disciplines (WiD) intervention

This article reports on a Writing in the Disciplines (WiD) intervention for first year undergraduate physics (and joint Honours) students. A short (200-250 word) assignment was designed to maximise students’ learning of specific scientific writing practices, including writing with appropriate clarity and academic style for a target audience, incorporating mathematical expressions in text, creating diagrams and referring to them in text, and appropriately using citing and referencing. Peer marking was employed to offer students formative feedback before they completed the assignment. The success of the assignment as a vehicle for student learning was evaluated by reviewing the students’ submissions and marks awarded, and through ten students’ reported focus group responses to the experience of carrying out the assignment, their reaction to peer marking, and their responses to the assessor’s written and verbal feedback. The effectiveness of the assignment’s content and process, and the peer marking, are briefly discussed, and suggestions made as to how to improve this or similar assignments in future years.
Dynamical Systems-based Navigation: Modeling and Verification

Autonomous navigation modeling and verification are valuable parts of the design of situated autonomous agents. Navigation modeling is necessary to create mobile agents, such as robots, while verification makes it possible to analyze such models to identify flaws or prove correctness. This paper explores modeling and verification in the context of the dynamical systems approach to navigation (dynamical navigation, for short), in which autonomous navigation arises from the evolution of differential equations governing agent behavior. While dynamical navigation has considerable desirable qualities, like robustness in unpredictable environments and obstacle avoidance at constant speed, its underlying mathematics has the restricting limitation that obstacles must be represented by circles. Representing elongated obstacles, such as walls, is therefore a challenging problem that this paper addresses by presenting a dynamic tangent (DT) model for wall representation: an agent represents each wall by a circular obstacle, tangent to the wall, that resizes and moves with the agent to support effective dynamical navigation. Simulations show that the DT model supports more successful navigation than previously employed wall representations, and it is comparable in efficiency to the fastest previous representations. This paper also describes a heuristic reachability model for analyzing dynamical navigation. This model, based on reachability analysis, examines the overall behavior of a system by analyzing approximations of its behavior locally in subregions of the world. Heuristic reachability is applied to estimate relative difficulty of different navigation environments.
Sensor-efficient wideband source location

A novel algorithm for the passive estimation of bearings of multiple uncorrelated wideband sources is presented. This algorithm overcomes the limitation in previous algorithms on the number of resolvable sources imposed by the number of sensor. In an example, bearings of 10 sources are estimated by a two-element array, with error variances approaching the Cramer-Rao bounds. <<ETX>>
Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL

Resumen Continuando con nuestra investigacion sobre la integracion del Lenguaje Unificado de Modelado (UML) y el lenguaje de especificacion del metodo formal RAISE (RSL), presentamos una de las lineas de trabajo en la cual nos encontramos investigando actualmente que consiste en la integracion de OCL con RSL. Basandonos en nuestro trabajo previo, donde mostramos como obtener a partir de un diagrama de clases en UML una especificacion inicial en RSL, nos encontramos construyendo un conjunto de reglas de transformacion de restricciones de OCL a RSL.
ESTIMATING MISSING VALUES OF SKYLINES IN INCOMPLETE DATABASE

Incompleteness of data is a common problem in many databases including web heterogonous databases, multirelational databases, spatial and temporal databases and data integration. The incompleteness of data introduces challenges in processing queries as providing accurate results that best meet the query conditions over incomplete database is not a trivial task. Several techniques have been proposed to process queries in incomplete database. Some of these techniques retrieve the query results based on the existing values rather than estimating the missing values. Such techniques are undesirable in many cases as the dimensions with missing values might be the important dimensions of the user’s query. Besides, the output is incomplete and might not satisfy the user preferences. In this paper we propose an approach that estimates missing values in skylines to guide users in selecting the most appropriate skylines from the several candidate skylines. The approach utilizes the concept of mining attribute correlations to generate an Approximate Functional Dependencies (AFDs) that captured the relationships between the dimensions. Besides, identifying the strength of probability correlations to estimate the values. Then, the skylines with estimated values are ranked. By doing so, we ensure that the retrieved skylines are in the order of their estimated precision.
Iterators revisited: proof rules and implementation

The Iterator design pattern allows client code to access the elements of an aggregate object sequentially without exposing its underlying representation. Several modern programming languages, like Java or C#, include constructs that facilitate the implementation of the Iterator design pattern. They typically provide for-each loops for client code and iterator methods that specify the values yielded by the enumeration. However, when iterator methods are used to perform recursive enumerations, such as when enumerating the nodes of a tree, the worst-case running time often becomes quadratic. We propose an extension of iterator methods called nested iterator methods, which simplify the coding of recursive enumerations, and which reduce the running time cost of such coding patterns to a linear function by retaining the recursion stack between iteration steps. We also propose a new specification formalism and proof rules for for-each loops and iterator methods, including nested ones, suitable for implementation in automatic program verifiers such as ESCJava and Spec#. The core idea is the introduction of enumeration invariants, which must hold at each point during the iteration and which specify properties of the sequence of elements yielded so far. We also solve the problem of interference between client and enumerator, using an extension of the Spec# object invariants methodology with read-only access.
Intelligent buildings and their effect on the security industry

Behind all of the hype of intelligent superhighways, developments to make our homes and offices more intelligent have been gaining pace and several prominent systems are now available on the market. These are generally based on the introduction into the building of (sets of) homogeneous bus systems which then control a wide variety of functions (heating, lighting, AV, etc.). It is a relatively easy step for such systems to include security. The significant opportunities to the management and sophistication of alarm systems that this affords are discussed, as are some dangers in the hands of the unwary.
Language growth in Dutch school-age children with specific language impairment

In this dissertation, the results of a longitudinal study of two age-groups of Dutch-speaking children with specific language impairment (SLI) and an intervention study examining a metalinguistic approach for older school-age children with SLI are reported. Grammatical development of school-age children with SLI between the ages 6 and 10 years was investigated in narratives with a wide range of measures of grammatical complexity and grammatical correctness. The grammatical profile that was obtained from the grammatical analysis was used to select appropriate targets for the intervention study. In addition, speech fluency was examined in the children with SLI aged 8-10 years. Speech disfluencies can offer a window into formulation difficulties of older children with SLI, even when sentences are produced grammatically accurate. Grammatical complexity and grammatical correctness in the children with SLI show a continuous development between the ages 6 and 10 years. In addition, the higher speech disfluency rates in children with SLI reflect their compromised expressive language skills. The higher disfluency rates at word-initial positions suggest that difficulties with lexical retrieval contribute to the speech disfluencies. Furthermore, a five week intervention program with five hours of individual therapy yielded significant progress on relative clause production in children with SLI of 10 years of age and older.