Miracle-dz/UniFAR-FTUs huggingface dataset:
Contributions to the Control of Hybrid and Switched Linear Systems

Hybrid linear systems are a class of hybrid systems where the continuous time evolution is governed by a set of first order linear ordinary differential equations and the jump dynamics are described by a set of first order linear difference equations. Switched linear systems are a subclass of hybrid linear systems with a continuous evolution of the system states. Due to the large number of physical applications, control of hybrid and switched linear systems has received considerable attention over the past years. This dissertation provides novel contributions to the control of such systems and extends some existing results in this area. This work focuses on different problems regarding stability and stabilization of switched linear systems and optimal control of hybrid linear systems. The major part of this thesis concerns stability and stabilization of switched linear systems. The results are primarily presented in terms of conditions for stability of autonomous switched systems. Then, stabilization methods aim at designing a local state feedback for each mode of a controlled switched system to satisfy the stability criteria for the closed loop system modes. Parts of these results rely on the concept of common left eigenvectors and left eigenstructure assignment. To this end, several techniques for eigenstructure assignment in the context of linear systems are developed. Afterwards, these techniques are employed for characterizing exponential stability and for stabilization of a class of switched linear systems with state dependent switching and certain restrictions on the switching manifolds. In addition, they are used for quadratic stabilization of a class of controlled switched linear systems with arbitrary switching signals where the open loop constituent matrices share an invariant subspace to which a common quadratic Lyapunov function can be associated. Another stability approach makes use of the Kalman-Yakubovic-Popov lemma to demonstrate quadratic stability of a class of switched linear systems. This class is characterized by arbitrary switching between two modes, where the difference of the constitute matrices is of rank m ≥ 1, and to which a symmetric transfer function matrix can be associated. These results extend existing results in quadratic stability of rank-1 difference switched linear systems. The thesis also addresses problems in linear quadratic control of hybrid linear systems. In these problems, cost functions are quadratic, the final time and the number and sequence of switches are given. Constraints are specified by linear (in-)equalities in the state space. Switching between different dynamics may either occur at fixed or free time instances. A parameterization method with respect to initial and end points of each interval in a generalized time domain is employed. Numerical solutions for such problems are suggested.
Estimation automatique des impressions véhiculées par une photographie de visage

Avec le developpement des appareils photos numeriques et des sites de partage de photos, nous passons une part croissante de notre temps a observer, selectionner et partager des images, parmi lesquelles figurent un grand nombre de photos de visage. Dans cette these, nous nous proposons de creer un premier systeme entierement automatique renvoyant une estimation de la pertinence d'une photo de visage pour son utilisation dans la creation d'un album de photos, la selection de photos pour un reseau social ou professionnel, etc. Pour cela, nous creons plusieurs modeles d'estimation de la pertinence d'une photo de visage en fonction de son utilisation. Dans un premier temps, nous adaptons les modeles d'estimation de la qualite esthetique d'une photo au cas particulier des photos de visage. Nous montrons que le fait de calculer 15 caracteristiques decrivant differents aspects de l'image (texture, illumination, couleurs) dans des regions specifiques de l'image (le visage, les yeux, la bouche) ameliore significativement la precision des estimations par rapport aux modeles de l'etat de l'art. La precision de ce modele est renforcee par la selection de caracteristiques adaptees a notre probleme, ainsi que par la fusion des predictions de 4 algorithmes d'apprentissage. Dans un second temps, nous proposons d'enrichir l'evaluation automatique d'une photo de visage en definissant des modeles d'estimation associes a des criteres tels que le degre de sympathie ou de competence degage par une photo de visage. Ces modeles reposent sur l'utilisation d'attributs de haut niveau (presence de sourire, ouverture des yeux, expressions faciales), qui se montrent plus efficaces que les caracteristiques de bas niveau utilisees dans l'etat de l'art (filtres de Gabor, position des points de repere du visage). Enfin, nous fusionnons ces modeles afin de selectionner automatiquement des photos de bonne qualite esthetique et appropriees a une utilisation donnee : photos inspirant de la sympathie a partager en famille, photos degageant une impression de competence sur un reseau professionnel.
The Learning System by the Least Squares Support Vector Machine Method and its Application in Medicine

In the paper it has been presented the possibility of using the least squares support vector machine to the initial diagnosis of patients. In order to find some optimal parameters making the work of the algorithm more detailed, the following techniques have been used: K-fold Cross Validation, Grid-Search, Particle Swarm Optimization. The result of the classification has been checked by some labels assigned by an expert. The created system has been tested on the artificially made data and the data taken from the real database. The results of the computer simulations have been presented in two forms: numerical and graphic. All the algorithms have been implemented in the C# language Keywords—classification, Grid-Search, Particle Swarm Optimization, patients diagnosis, Support Vector Machine.
Voice and Speech Quality Perception: Assessment and Evaluation

References. - Aims and Methods of Speech Quality Assessment. - Aspects of Quality: Laying the Foundations. - Speech Technology and Speech Quality Perception. - From Speech Perception to Assessment of Quality. - Quality Assessment in View of System Theory. - Auditory Measuring Procedures. - Formal aspects of speech quality measurements. - Towards the Structure of Speech Quality Measurements. - Segmental Intelligibility: A Dimension of Quality. - The Cluster Similarity Study. - Conclusion.
Efficient list manipulation in combinator-based functional languages on parallel architectures

A set of new combinator families and a new list representation are proposed in this dissertation. Each of the proposed combinators expresses certain commonly occurring combinations of lists as functions of those lists or elements of lists. Most of these combinators reshape the structure of the input list so that its elements can be manipulated concurrently. The reduction semantics and proofs of correctness for these combinators are given in the form of strings of already known combinators. It has been shown that the proposed combinators and list structure make the execution of functional programs faster on both sequential and parallel architectures.
Detección de plagio translingüe utilizando una red semántica multilingüe

Plagiarism is defined as the unauthorized use of the original content of other authors. It is a difficult phenomenon to detect whose problem has worsened in recent years because of the Internet: a vast source of information that allows users to copy and take possession, very simply, of the original content of other authors work. Although plagiarism can be detected manually, given the large amount of content published, it is virtually impossible to carry out, even more if the source of plagiarism comes from documents in other languages. Currently, literature and science have strong interest in research and development of automatic monolingual and cross-language similarity detection systems, capable of detecting plagiarism among sections between documents. The Academic Community also benefits by such systems. It allows teachers to detect and discourage their students of the usual practice of copy and paste, without reference to its source, from original content obtained from Internet. In this thesis we describe the state-of-the-art in text plagiarism detection at monolingual and cross-language level. In addition, we study the use of a multilingual semantic network to create two crosslanguage plagiarism detection models: using a statistical dictionary, and using knowledge graphs as context models from document fragments. Experimental results are very promising. As future work, we define different research lines using knowledge graphs.
Scripting languages : automating the web

The informality, ease, and rapid development cycle of scripting languages make them well suited to the constant change common to most web sites. This issue of the World Wide Web Journal guides developers and users in choosing and deploying scripting solutions such as JavaScript, Perl, VB, Python, and Win-CGI. It also includes discussion of web database connectivity with scripting languages, CGI programming, and an in-depth interview with Perl developers Larry Wall and Tom Christiansen.
Macht Mozart schlau?: Die Förderung kognitiver Kompetenzen durch Musik

Seit ungefähr 40 Jahren ist mit der Untersuchung der außermusikalischen Wir­ kungen der Musik bzw. musikalischen Tätigkeit ein Forschungsgebiet entstan­ den, welches durch die Entdeckung des „Mozart-Effekts“ 1993 noch wesent­ lich angeregt wurde. Es sind darunter Effekte der Musik/der musikalischen Be­ tätigung auf andere Lebensund Persönlichkeitsbereiche (wie Sozialverhalten, Kreativität, Motivation) und Leistungssteigerungen (z.B. in Sport, Mathematik, Spracherwerb, Lesefertigkeit) zu verstehen. Als „Wirkmechanismus“ wird bis­ her meistens die Übungsübertragung angenommen, weshalb der Forschungs­ zweig mit der Zeit die Bezeichnung „Transferforschung“ erhalten hat. Außer­ dem, und zunehmend, werden neurophysiologische Korrelate dieser durch mu­ sikalische Betätigung „erzeugten“ Fähigkeiten identifiziert und für deren Erklä­ rung geltend gemacht. Demgegenüber werden hier andere Zugänge zum Ge­ genstand vorgeschlagen. Erstens wird das im Umfeld musikbezogener Rezepti­ on oder Aktion bisher als ‚Wirkungen’ verstandene Verhalten und Erleben an­ ders gedeutet, nämlich als Funktionen der Musik als Zeichensystem im Person­ Welt-Bezug. Zweitens werden erlebte Musikwirkungen ebenso wie sich als überdauernd in einer Person etablierende Merkmale wesentlich im Zusammen­ hang mit dem musikalischen Selbstkonzept der betreffenden Person vorgestellt. Dieses entwickelt sich, interagierend mit dem Aufbau musikalischer Kompe­ tenzen, in der Folge musikalischer Betätigung und es ist mit kulturellen Einfär­ bungen und von Person zu Person verschieden.
Mobile Marker-based Augmented Reality as an Intuitive Instruction Manual

Instruction manuals are supposed to be used to ensure safe and proper use of medical devices. The instruction manuals could be paper or digital docu- ments, animations or videos. Conveying information and instructions through these media might not be the most efficient approach, especially in healthcare where physicians and nurses experience high cognitive load and prefer hands-on experience with the devices [1]. This thesis investigates how a possibly more efficient and intuitive instruction manual could be developed using mobile marker-based Augmented Reality; a technology that combines a virtual and physical world.By analyzing and comparing different marker-based Augmented Reality sys- tems and Software Development Kits (SDKs), the most suitable system, in terms of availability and functionality, was chosen for the implementation. Two mobile AR instruction manual prototypes were developed, as a proof-of-concept, using Unity3D with Qualcomm’s Vuforia extension.The resulting prototypes demonstrate the opportunity to integrate informa- tion and instructions in our physical world and the difficulties associated with the interaction and user experience with the relatively novel Augmented Reality interface.
Control theory and its applications

The general context of this book is applied to systems in n-dimensional space. Emphasis is placed on a general approach to control theory, independent of optimization, and demonstrates a novel approach by converting a given dynamical system into a control system, in order to obtain a deeper understanding of its mode of action. Contents of the monograph include a presentation of the basic concepts and results of control theory, the typical and classical behaviour of control systems, techniques for transforming dynamic systems into control systems, and the systematic approach to study control systems in applications, as shown in many examples.
Exploring Object-Oriented Type Systems

Object-oriented languages have developed ahead of underlying formal theory:  Notions of "class" and "inheritance" may be ill-defined.  Programmers may confuse classes and types, inheritance and subtyping.  Type rules of OOLs may be compromised-formally incorrect.  Type security of programs may be compromised-unreliable.  to uncover the relationship between classes (in the object-oriented sense) and types (in the abstract data type sense).  to construct a secure type model for the next generation of object-oriented languages.
Bases de datos no convencionales: índices y lenguajes de consulta

Jorge A rroyuelo, Susana Esquivel, A lejandro Grosso, Veronica Luduena, C intia M artinez, N ora Reyes Dpto. de Informatica, Fac. de Cs. Fisico-Matematicas y Naturales, Universidad Nacional de San Luis {bjarroyu, esquivel, agrosso, vlud, nreyes}@unsl.edu. ar, cintiavmartinez@hotmail.com Edgar Chavez Centro de Investigacion Cientifica y de Educacion Superior de Ensenada, Mexico elchavez @cicese.mx K arina Figueroa Fac. de Cs. Fisico-Matematicas, Universidad Michoacana de San Nicolas de Hidalgo, Mexico karina@ computo. fi smat.umich. mx G onzalo Navarro Dpto. de Cs. de la Computacion, Universidad de Chile gnavarro@dcc.uchile. cl M anuel H offhein, Rodrigo Paredes Dpto. de Cs. de la Computacion, Fac. de Ingenieria, Universidad de Talca, Chile mahahein3@ gmail. com, raparede@ utalca.cl
CAPACITY ANALYSIS TECHNIQUES FOR DESIGN OF SIGNALIZED INTERSECTIONS - INSTALLMENT NO 2 PART IV - HIGH TYPE FACILITIES AND INTERCHANGES

PROCEDURES ARE PRESENTED FOR THE GRAPHIC SOLUTION OF CAPACITY PROBLEMS RELATED TO SIGNALIZED INTERSECTIONS. THE PROCEDURES ARE BASED ON A SET OF CHARTS CONSISTING OF TWENTY NOMOGRAPHS. EIGHTEEN OF THE NOMOGRAPHS TOGETHER WITH APPROPRIATE APPLICATION PROCEDURES AND SAMPLE PROBLEMS WERE PRESENTED IN A PREVIOUS INSTALLMENT. THE OTHER TWO NOMOGRAPHS AND THE REMAINDER OF THE ARTICLE ARE PRESENTED HERE. THE NOMOGRAPHIC CHARTS AND PROCEDURES WERE DEVISED BY THE AUTHOR IN 1950 TO SIMPLIFY THE COMPUTATIONAL PROCEDURES OF THE 1950 HIGHWAY CAPACITY MANUAL. SINCE PUBLICATION OF THE 1965 HIGHWAY CAPACITY MANUAL HAS PROVIDED A REVISED AND COMPREHENSIVE BASIS FOR CAPACITY COMPUTATIONS, THE AUTHOR HAS AGAIN FILLED THE NEED FOR A GRAPHIC PROCEDURE INCORPORATING CURRENT KNOWLEDGE. THE ORIGINAL CHARTS WERE UPDATED AND NEW CHARTS HAVE BEEN PREPARED TO COVER CAPACITY PROCEDURES FOR WHICH CALCULATIONS PREVIOUSLY REQUIRED EXTENSIVE APPLICATION OF JUDGMENT. THE INFORMATION PRESENTED PROVIDES A GRAPHIC PROCEDURE FOR THE CAPACITY ANALYSIS OF MOST SIGNALIZED STREET AND HIGHWAY INTERSECTIONS. FULL DISCUSSION OF THE PRINCIPLES AND PROCEDURES IN THE APPLICATION OF THE CHARTS IN ADDITION TO SAMPLE PROBLEMS HAVE BEEN INCLUDED. PUBLICATIONS: CAPACITY ANALYSIS TECHNIQUES FOR DESIGN OF SIGNALIZED INTERSECTIONS, INSTALLMENT NO. 1, JACK E. LEISCH, PUBLIC ROADS, VOL. 34, NO. 9, AUGUST 1967.
CLICKERS IN THE CLASSROOM: REACHING THE MILLENNIAL LEARNER

Do you have trouble relating to your students? Do your “tried and true” teaching methods not have the same impact on today’s students? Do you want to become a more effective teacher? Are you just curious about what’s “new” in terms of teaching tools and technologies? If so, attend this interactive workshop on teaching the digital millennial learner and relating to the “Net Generation” where we will discuss the characteristics of the millennial learner, how to respond to their needs, and adapting your classes to their learning styles. This interactive presentation will also explore tips, tools and technologies for responding and relating to the current generation of students. Audience members will participate in the presentation using the technology discussed.
Handwritten character recognition from pen direction

A descriptive, generative model of the pen direction sequences measured during the hand drawing of characters is shown to be useful in recognition. Preprocessing and classification procedures are based on the properties of the model. Results are presented from tests with a realization of these method? as a real time recognition system running in a small computer. This work was supported in part by the Foundation Research Program of the Naval Postgraduate School.
Level-based Indexing for Optimising XML Queries

Many of the problems with native XML databases relate to query performance and subsequently, it can be difficult to convince traditional database users of the benefits of using semi- or unstructured databases. In particular, the ongoing development of the XQuery language requires that performance related issues are resolved. Presently, there still lacks an index structure providing efficient support for both navigational and structural queries and the traditional data-centric and content queries. This thesis presents a new extended index structure based on the preorder traversal rank and the level (or depth) rank of each node in a document tree. The extended index fully supports the navigation of all XPath axes while efficiently supporting data-centric queries. The ability to start path traversals from arbitrary nodes in a document tree also enables the extended index to support the evaluation of path traversals embedded in XQuery expressions. Furthermore, an encoding technique for this extended index structure is presented, whereby properties of a level ranking may be exploited to provide efficient and optimised path traversals and in certain cases, optimal solutions to path traversals.
Family Literacy: An Annotated Bibliography.

All rights reserved. No part of this book may be reproduced in any form or by an electronic or mechanical means including information storage and retrieval systems—except in the case of brief quotations embodied in critical articles or reviews—without prior written permission of the author. Preface Family literacy programs are rapidly growing in the United States. Among the reasons for this growth are the expansion of knowledge about how children learn. We know that extensive learning takes place in the preschool years. Through social interactions in a literacy-rich environment, children acquire knowledge about the conventions and purposes of print and the uses of language in culturally organized activities. Beliefs about the intergenerational transfer of literacy as well as concerns about children's readiness have also contributed to the development of family literacy programs. Other factors influencing the development of family literacy programs include concerns about children's difficulties and failure later in school; the need to involve parents and families more directly in programs for young children; concerns with the reading and literacy skills of many parents with low education levels; and evidence supporting the relationship between parental education levels and children's school success. Intergenerational literacy programs are seen as addressing many of these concerns. As interest in promoting both emergent literacy and family literacy have expanded over the past decade, a variety of definitions and beliefs about the meaning of literacy, emergent literacy, and family literacy have become evident. Traditionally, literacy has been defined as one's ability to read and write. Emergent literacy is defined as ways children learn about reading and writing before receiving formal instruction. Definitions of family literacy include the multiple ways families communicate and convey information as well as programs to enhance the literacy knowledge and skills of family members. Different interpretations of these three areas, literacy, emergent literacy, and family literacy, have led to debates concerning the role of literacy programs and the methods used to enhance the literacy skills of families. It is our purpose to advance the work of researchers, practitioners, and policymakers by providing a document summarizing writings and research on family literacy and on topics directly relevant to family literacy programs. Our audience includes those who wish to learn more about family literacy, including the theory, policy, and research upon which it is based. Program staff, researchers, community leaders, policymakers, and both private and public funding agencies should find this resource helpful. …
Using Ontologies for Flexibly Specifying Multi-User Processes

In the pre-requirements analysis, the analyst has to decide how to capture gathered insights. While formal modeling tools such as Microsoft Visio (e.g., with UML Stencils) support the maintenance of all ndings, they enforce their meta model which restricts the usability. Informal tools, on the other hand, allow the analyst to adjust and modify everything. However, they oer no support for managing and maintaining the ndings. In this paper, we propose an approach of using ontologies as meta models for specifying structural and behavioral aspects of a multi-user process. Using an initially incomplete ontology, we show how our approach allows the analyst to extend this ontology to model missing concepts, instead of being restricted by an inexible meta model. By being able to develop the ontology on the type level and specications relying on concepts captured therein in parallel, analysts will be able to model their ndings more exible.
Access Selection in Multi-Access Cellular and WLAN Networks

To meet the requirements of future data-rich applications and terminals with improved multimedia, future wireless networks are expected to combine multiple access technologies. When several radio access technologies are available, the assignment and the handover of users among these technologies become fundamental problems. The solutions have a major impact on the system performance as well as on the architecture of future networks. This thesis focuses on access selection criteria in combined wide area coverage cellular and local area coverage Wireless LAN networks. More specifically, involvement of traffic load information on top of signal quality information during selection process is studied. A rough but wide-ranging theory for what gains may be expected in different scenarios is first derived through qualitative reasoning. Then, to verify the theory, a number of different signal quality based and both signal quality and load based access selection algorithms are evaluated in terms of achievable bitrate characteristics and system capacity via simulations. The algorithms are compared for a set of different user behavior scenarios. Results indicate that in scenarios with high traffic load concentrated to the hotspots or cellular access technologies offering bitrates in the same order as WLANs, principles taking signal quality and traffic load into account can provide gains around 20% both in capacity and in achievable bitrates. In scenarios with more evenly distributed traffic or WLAN bitrates exceeding those of cellular, smaller gains are achieved,