Miracle-dz/UniFAR-FTUs huggingface dataset:
Development of an online quality information system for e-manufacturing

Purpose – In an e‐manufacturing environment, the acquisition of real time quality data and information is paramount for distributed collaborative manufacturers to make quick and correct actions towards quality problems in a manufacturing process. This paper attempts to assist manufacturers in obtaining such data and information and further to make decisions regarding quality control.Design/methodology/approach – In this paper, an online quality information system (OQIS) for quality control in an e‐manufacturing environment is presented. The common object request broker architecture standards and client‐server technologies are applied to obtain real time data and information whenever required at different locations. In addition, several modules, responsible for product design, process planning, quality control and data input, are developed within a coherent OQIS information model.Findings – Preliminary results show advantages of the OQIS for companies to obtain real time quality data and information. It ca.
Conceptual and Software Support for Abstract Domain Design: Generic Structural Domain and Open Product

Abstract interpretation is a systematic methodology to design static program analysis which has been studied extensively in the logic programming community. With the emergence of efficient generic abstract interpretation algorithms for logic programming, the main burden in building an analysis is the abstract domain which gives a safe approximation of the concrete domain of computation. However, accurate abstract domains for logic programming are often complex and complicated. The purpose of this paper is to propose conceptual and software support for the design of abstract domains. It contains two main contributions: a generic pattern domain and the notion of open product of domains. {\em The generic pattern domain} {\tt Pat($\Re$)} automatically upgrades a domain $\Re$ (e.g. {\tt Prop}), with structural information yielding a more accurate domain (e.g. {\tt Pat(Prop)\/}) while abstracting away structural information from the designer. The {\em open product} is a new way of combining abstract domains allowing each combined domain to benefit from information from the other components through the notions of queries and open operations. The open product is general-purpose and can be used for other programming paradigms as well. The two contributions are orthogonal and can be combined in various ways to obtain sophisticated domains while imposing minimal requirements on the designer. Both contributions are characterized theoretically and experimentally and were used to design very complex abstract domains such as {\tt OPAT(OProp$\otimes$OMode$\otimes$OPS)} which would be very difficult to design otherwise. On this last domain, designers need only contribute about 20\ (about 3,400 lines) of the complete system (about 17,700 lines).
Autoestima, inteligencia emocional, motivación y bienestar psicológico de los estudiantes de la Universidad de Las Palmas de Gran Canaria

En esta investigacion hemos pretendido estudiar la poblacion de alumnos de la ULPGC en relacion a la Autoestima, Inteligencia Emocional, Motivacion y Bienestar Psicologico, con una muestra de mil estudiantes, usando para ello la Escala de Autoestima de Rosenberg, la Escala de Inteligencia Emocional de Salovey et al., la Escala de Motivacion Educativa de Robert el al. y la Escala de Bienestar Psicologico de Ryff, y comparar con aspectos contextuales como areas de conocimiento, Grados, cursos, genero, tipo de acceso a la universidad, en funcion de poseer beca o no, por deseos de incorporarse al mundo laboral o segur estudiando tras terminar el Grado, asi como analizar tambien la correlacion entre los propios factores y sus apartados con las circunstancias del nivel academico y laboral de la familia, la satisfaccion con el Grado, el rendimiento objetivo y percibido, el curso, la edad, la nota de acceso para la universidad y el orden de eleccion del Grado que estudian, para lo cual elaboramos un Cuestionario ad hoc. De los resultados obtenemos como conclusion, y a nivel general, que la Autoestima predice el Bienestar Psicologico, y esta es mayor en el area de Ciencias Sociales y entre los alumnos de 4o curso de todos los Grados; la Inteligencia Emocional esta relacionada con la Motivacion, siendo esta mayor cuando tambien lo es la Motivacion en general; de la Motivacion resaltar que cuando esta es alta tambien lo es el Bienestar Psicologico de los alumnos; finalmente sobre el Bienestar Psicologico se concluye, primeramente y de manera reciproca, que es indicativo de la Autoestima y de la Motivacion en general, para terminar subrayando que este tiene una mayor presencia entre los estudiantes de las areas de Ciencias y Ciencias de la Salud. Finalizaremos este resumen diciendo que, como limitacion encontramos el hecho de no haber podido contar con la posibilidad de realizar otras pruebas adicionales con un caracter mas social o que midieran la adaptacion personal, social, academica o familiar, para lo que en un futuro contemplamos poder anadirlas, asi como evaluar el Rendimiento Academico Objetivo, lo que podria darnos informacion mas certera que nos permita relacionar los distintos factores psicologicos estudiados con el rendimiento real de los estudiantes.
Patterns of sounds

Preface 1. The size and structure of phonological inventories 2. Stops and affricates 3. Fricatives 4. Nasals 5. Liquids 6. Vocoid approximants 7. Glottalic and laryngealized consonants 8. Vowels 9. Insights on vowel spacing 10. The design of the UCLA Phonological Segment Inventory Database' Indices.
Speech Recognition Vocabulary Scoping for Automated Call Routing

Call routing involves directing incoming telephone calls from a central number to an appropriate person or department. In the course of an ongoing work project, a quick study was performed to scope the vocabulary requirements for a speech recognition automated call routing application for a large department store. Forty-one participants were given 35 sample shopping tasks and were asked which department they would ask for when calling the store. The range of responses for a given task was large. With a 29 item recognition vocabulary consisting of most frequent responses and root phrases (e.g., “sport” for “sporting goods”), 57% of user responses would be covered. Users were also asked to rate the confidence of their department choice. The greater the variety of responses to a task across all participants, the less confident participants were of their responses.
The Essential Guide to Serial ATA and SATA Express

Used in laptop and desktop computers, low-end servers, and mobile devices, Serial ATA (Advance Technology Attachment), or SATA, is the pervasive disk storage technology in use today. SATA has also penetrated the enterprise computing environment by adding hardware components for fail-over, extending command processing capabilities, and increasing device performance and link speeds. If you work in a data center or manage your company’s storage resources, you will likely encounter storage solutions that require SATA software or hardware.
New reduced load heuristic for computing blocking in large multirate loss networks

The authors develop an efficient reduced load fixed-point technique to obtain approximations for blocking probabilities in large multirate loss systems. The point of departure is that for large systems they exploit a single-link approximation based on large deviation techniques for which computational complexity does not scale with the size of the system. The explicit characterisation then allows the authors to prove the convergence of the reduced load fixed point algorithm. The accuracy of the approach is demonstrated on several examples. Comparison of the results to those obtained by the Erlang fixed point and stochastic knapsack methods clearly demonstrate the effectiveness of the approach.
SOMbrero : Cartes auto-organisatrices stochastiques pour l'intégration de données décrites par des tableaux de dissimilarités

Dans de nombreuses situations reelles, les individus sont decrits par des jeux de donnees multiples qui ne sont pas necessairement de simples tableaux numeriques mais peuvent etre des donnees complexes (graphes, variables qualitatives, texte.). Un cas typique est celui des graphes etiquetes dans lequel les individus (les sommets du graphe) sont decrits a la fois par leurs relations les uns aux autres mais aussi par des attributs de natures diverses. Dans (Villa-Vialaneix et al, 2013 ; Olteanu et al , 2013), nous avons propose d'utiliser des cartes auto-organisatrices (Kohonen, 2011) pour combiner classification et visualisation en projetant les individus etudies sur une grille de faible dimension. Notre approche permet de traiter des donnees non numeriques par le biais de noyaux ou de dissimilarites, et est basee sur une version stochastique de l'apprentissage de cartes auto-organisees. Les differentes dissimilarites sont combinees et la combinaison est optimisee au cours de l'apprentissage de la carte.
Systolic Arrays for (VLSI).

Abstract : A systolic system is a network of processors which rhythmically compute and pass data through the system. Physiologists use the work 'systole' to refer to the rhythmically recurrent contraction of the heart and arteries which pulses blood through the body. In a systolic computing system, the function of a processor is analogous to that of the heart. Every processor regularly pumps data in and out, each time performing some short computation, so that a regular flow of data is kept up in the network. Many basic matrix computations can be pipelined elegantly and efficiently on systolic networks having an array structure. As an example, hexagonally connected processors can optimally perform matrix multiplication. Surprisingly, a similar systolic array can compute the LU-decomposition of a matrix. These systolic arrays enjoy simple and regular communication paths, and almost all processors used in the networks are identical. As a result, special purpose hardware devices based on systolic arrays can be built inexpensively using the VLSI technology. (Author)
Fuzzy logic controller for the electric motor driving the astronomical telescope

The paper presents an application of fuzzy logic controller to regulate the DC motor driver system of astronomical telescope. The mathematical model of such a telescope is highly nonlinear coupled equations. However, the accuracy requirement in telescope system exceed those of other industrial plants. Fuzzy logic controller provides means to deal with nonlinear functions. A fuzzy logic controller (FLC) was designed to enhance the performance of a two-link model of astronomical telescope. The proposed FLC utilizes the position deviation for the desired value, and its rate of change to regulate the armature voltage of the DC motor drive of each link. The final action of FLC is equivalent to PD controller with a variable gain by using an expert look- up table. This work presents the derivation of the mathematical model of 14 inch Celestron telescope and computer simulation of its motion. The FLC contains two groups of fuzzy sets.
Optimization of Gear Changing using Simulated Annealing

The current paper puts forward a study conducted on a racing simulator, with the purpose of finding appropriate revolutions per minute (RPM) values for changing the gears of a car. The intricacy of the problem is given by many factors: it has 12 dimensions, 6 values for increasing and 6 for decreasing the gears, a circuit may contain straight and twisty parts, so distinct RPM values may be optimal for different sections, the move to another circuit makes the previous parameters suboptimal, while adding other competitors increases the amount of noise. Overall, we probably have all the ingredients of a real-world problem and we tackle it with two approaches that are economical as concerns the number of simulations needed and conduct to some interesting findings. We consider as study cases 2 different circuits, and racing alone and against 2 opponents. This paper is a second approach to optimize gear changing values used in the game TORCS. Previously we used Hill Climbing algorithm to give proof that gear changing learning does reduce lap times. Now by using Simulated Annealing we improved even more the lap times and got better correlated sets of gear values.
Global Optimization In Binocular Vision

Correlation techniques for obtaining depth profiles from stereo pairs have been studied extensively yet continue to have problems with generality and computational efficiency. A new method is presented which develops the camera model constraints required to ensure that binocular disparity shifts only shift in the x direction. An optimal mapping algorithm is then applied which gives a globally optimal depth profile for a given line of the stereo pair. The algorithm performs well in cases which are difficult for correlation based algorithms namely, repetitive patterns, depth discontinuties and large, relatively featureless regions. With currently available IC chips this algorithm could be implemented in hardware to achieve video rate performance.
A quoi tient le succès des innovations ? 1 : L'art de l'intéressement; 2 : Le choix des porte-parole

Les ressorts de l'intrigue sont connus. D'un cote l'invention, c'est-a-dire les idees, les projets, les plans mais aussi les prototypes et les usines pilotes : en un mot tout ce qui precede la premiere et incertaine rencontre avec le client et le jugement qu'il rendra. De l'autre cote, l'innovation proprement dite, c'est-a-dire la premiere transaction commerciale reussie ou plus generalement la sanction positive de l'utilisateur. Entre les deux, un destin qui se joue selon un scenario mysterieux. Des firmes qui periclitent ou au contraire prosperent, des nations qui declinent ou, a l'inverse, deviennent hegemoniques. Un projet juge prometteur par tous les specialistes et qui s'effondre soudainement tandis qu'un autre, auquel personne ne croyait plus, se transforme brusquement en succes commercial. Et toujours les memes questions. Comment expliquer ces succes et ces echecs imprevisibles ? Comment rendre compte de ces retournements inattendus, de ces resistances qui se transforment en adhesion ou de ces enthousiasmes qui se muent en scepticisme puis en rejet ?
Speech control of assistive devices for the physically disabled

Automatic speech recognition is being increasingly employed for man-to-machine communication; and the physically disabled appear to be one class of users who could benefit particularly from the new technology. In this paper, the potential of speech recognition to aid disabled people is reviewed and assessed. Applications to mobility, robotics, environmental control and computer access are considered. Two specific applications, viz. environmental control and computerised text processing, are especially attractive and have formed the focus of extensive work at Southampton.
Multiple Testing Correction in Graph Mining

The problem of finding itemsets that are statistically significantly enriched in a class of transactions is complicated by the need to correct for multiple hypothesis testing. Pruning untestable hypotheses was recently proposed as a strategy for this task of significant itemset mining. It was shown to lead to greater statistical power, the discovery of more truly significant itemsets, than the standard Bonferroni correction on real-world datasets. An open question, however, is whether this strategy of excluding untestable hypotheses also leads to greater statistical power in subgraph mining, in which the number of hypotheses is much larger than in itemset mining. Here we answer this question by an empirical investigation on eight popular graph benchmark datasets. We propose a new efficient search strategy, which always returns the same solution as the state-of-the-art approach and is approximately two orders of magnitude faster. Moreover, we exploit the dependence between subgraphs by considering the effective number of tests and thereby further increase the statistical power.
Design of SOI CMOS operational amplifiers for applications up to 300°C

Design guidelines using two analog parameters (Early voltage and transconductance to drain current ratio) are proposed for correct operation of silicon-on-insulator (SOI) CMOS operational amplifiers (opamp) at elevated temperature up to 300/spl deg/C. The dependence of these parameters on temperature is first described. A new single-stage CMOS opamp model using only these two parameters is presented and compared to measurements of several implementations operating up to 300/spl deg/C for applications such as micropower (below 4 /spl mu/W at 1.2 V supply voltage), high gain (65 dB) or high frequency up to 100 MHz. Trade-offs among such factors as gain, bandwidth, phase margin, signal swing, noise, matching, slew rate and power consumption are described. The extension to other architectures is suggested and the design methodology is valid for bulk as well as SOI CMOS opamps.
A typology of models used in actuarial science : refereed paper

This paper proposes a categorisation of the models used in actuarial science. It illustrates the application of that categorisation by using it to classify numerous such models. It is suggested that this categorisation, together with the illustrative classification, may be used as a typology for the classification of other such models, and that this typology may be found useful as a candidate exemplar, or as a basis for further refinement, in the discourse of actuarial science. South African Actuarial Journal Vol. 6, 2006: 19–36
A 700-MHz 1-W fully differential CMOS class-E power amplifier

A 700-MHz fully differential class-E CMOS power amplifier for wireless applications has been built toward maximum efficiency. The prototype can deliver 1 W of output power in a 50-/spl Omega/ output impedance. The maximum power-added efficiency (PAE) is measured to be 62%. The obtained efficiency and output power is compared with the class-E amplifiers theory.
A 12 bit 1 MHz ACD with 1 mW power consumption

A new successive-approximation analog-to-digital (A/D) converter is described. New interpolated C-R DAC, new R-ladder-steering decoder and constant-current comparator have been applied in the A/D converter. By adopting these techniques, high-resolution (12 bit accuracy) and high-speed conversion (1 MHz) with low power consumption (1 mW) has been realized. This chip has been fabricated by double metal and double polysilicon 0.8 /spl mu/m CMOS process, and the die size is 2.4/spl times/1.7 mm/sup 2/. <<ETX>>
An Approach to Object Recognition: Aligning Pictorial Descriptions

This paper examines the problem of shape-based object recognition and proposes a new approach, the alignment of pictorial descriptions. The first part of the paper reviews general approaches to visual object recognition and divides these approaches into three broad classes: invariant properties methods, object decomposition methods, and alignment methods. The second part presents the alignment method. In this approach the recognition process is divided into two stages. The first determines the transformation in space that is necessary to bring the viewed object into alignment with possible object-models. The second stage determines the model that best matches the viewed object. The proposed alignment method also uses abstract description, but unlike structural description methods, it uses them pictorially, rather than in symbolic structural descriptions.
On Computer Teaching Based on Constructivism Theory

Constructivism theory is of great significance to the traditional teaching in trying to achieve the broad learning and flexible migration, changing teaching concepts such views on the reform. It puts forward new ideas and methods of teaching. This article analyses drawbacks of the traditional teaching of computer. With the constructivist teaching concept to guide instruction, we discussed the behaviour of computer teaching from the innovation teaching method, situated design and project teaching.
NARRATIVAS DE ESTUDIANTES DE TRABAJO SOCIAL ACERCA DE LA CALIDAD DE VIDA EN LA COMUNIDAD

espanolEl presente articulo pretende analizar las narrativas de un grupo de estudiantes del segundo ano de la carrera de Trabajo Social de la Facultad de Ciencias Sociales de la Universidad Nacional de Lomas de Zamora, en torno a su calidad de vida en la comunidad. Todos ellos han concluido la materia “Teoria y Metodo del Trabajo Social I” y cursaran seguidamente “Campo I” (un espacio de practica profesional), ambas centradas en el trabajo con comunidades. Entender como conciben la calidad de vida propia en un ambito tan especifico como en el que ellos y ellas deberan desempenarse, permitira comprender con mas detalle el perfil de los y las estudiantes de la carrera. EnglishThe present article pretends to analyze the narratives of a group of students of the second year of the career of Social Work of the Faculty of Social Sciences of the National University of Lomas de Zamora, related to their community quality of life. All they have concluded the subject “Theory and Method of the Social Work I” and after this they are taking the course “Field I” (a space of professional practice), both centered in the work with communities. To understand how they conceive their own quality of life in such specific field as they will have to perform, will allow to know with more detail the profile of the students of the career. portuguesO presente artigo pretende analisar as narrativas de um grupo de estudantes do segundo ano da carreira de Trabalho Social da Faculdade de Ciencias Sociais da Universidade Nacional de Lomas de Zamora, em torno de sua qualidade de vida comunitaria. Todos eles concluiram a materia “Teoria e Metodo do Trabalho Social I” e cursaran seguidamente “Campo I” (um espaco de pratica profissional), ambas centradas no trabalho com comunidades. Entender como eles e elas concebem sua qualidade de vida num âmbito tao especifico como no que deverao se desempenhar, favorecera o labor a realizar desde o corpo de docentes e permitira compreender com mais detalhe o perfil dos e as estudantes da carreira.
Building definition graphs using monolingual dictionaries of Hungarian

We adapt to Hungarian core functionalitites of the 4lang library [12], which builds 4lang -style semantic representations [7] from raw text using an external dependency parser as proxy, and processes definitions of monolingual dictionaries to build definition graphs for concepts not defined in the hand-written 4lang dictionary [8]. In Section 2 we provide a short overview of the 4lang formalism, Section 3 describes the architecture of the text_to_4lang and dict_to_4lang systems. We describe in detail the steps taken to adapt our system to Hungarian in Section 4. The new tool is evaluated in Section 5. The new components presented in this paper are part of the latest version of the 4lang library, which is available under an MIT license from http://www.github. com/kornai/4lang.
Realization of RBF Neural Network with Local and Semi-Local Transfer Function Approximation and Classification

Incremental Neural Network (IncNet) structure is controlled by the growth and pruning, and the complexity of the match and training data. Dual radial transfer function is more flexible than other commonly transfer function used in artificial neural network. Recent improvements in the multi-dimensional space (having the N-1 parameters) to increase the rotation of the transfer function of the constant value. Based on the results of the benchmark approach and psychological classification analysis clearly shows than any other classification network model has a stronger generalization.