Miracle-dz/UniFAR-FTUs huggingface dataset:
Desenvolvimento de novos serviços interactivos de vídeo para smart homes

Sendo a televisao o meio de comunicacao e de entretenimento mais popular no mundo, foi com naturalidade que surgiu a ligacao entre a Internet os conteudos televisivos que chegam diariamente a mais de um biliao de pessoas a nivel global. As estacoes de televisao estao sempre a procura de novas formas de cativar e captar mais audiencia e os fabricantes responderam com as Smart TVs, capazes de providenciar aplicacoes dinâmicas que sejam passiveis de interagir com o utilizador.Outro mercado que esta em forte ascensao e o das casas inteligentes, recheadas de sensores e atuadores que visam centralizar o controlo e a realizacao de tarefas domesticas e, desta forma, aumentar o conforto dos seus habitantes.Esta dissertacao assenta sobre estas duas tematicas, propondo a criacao de uma solucao que seja capaz de receber a informacao de varios sensores instalados numa casa inteligente, injeta-la no sinal de televisao domestico e culminar no desenvolvimento de uma aplicacao para Smart TVs capaz de fazer a leitura dos dados e de os mostrar no ecra de forma simples, intuitiva e dinâmica. O contributo principal envolve a injecao de dados personalizados no sinal de televisao, exigindo a criacao de um perfil de metadados especifico para a situacao.
Digital governance in support of infrastructure asset management

Voor besluitvorming op het gebied van strategisch infrastructuurassetbeheer is hoogwaardige, geharmoniseerde assetinformatie uit IT- en controlesystemen noodzakelijk. Er zijn problemen die verband houden met het verzamelen en omzetten van de assetinformatie die nodig is voor besluitvormingsdoeleinden. De basiscasestudy Rand Water is het grootste waterbedrijf in Afrika. De problemen waarnaar hierboven verwezen wordt, komen veel voor bij Rand Water en bij andere infrastructuurassetintensieve organisaties uit verschillende sectoren. Een nieuwe digitale-governanceabenadering is noodzakelijk om assetinformatiebeheer ondernemingsbreed mogelijk te maken; hiermee wordt besluitvorming op het gebied van strategisch infrastructuurassetbeheer ondersteund. Daarnaast moet de nieuwe digitale-governancebenadering op duurzame wijze worden geimplementeerd. Deze studie maakt gebruik van een onderzoeksfilosofie uit de design science, die wordt uitgevoerd aan de hand van een inductief-hypothetische onderzoeksstrategie. De onderzoeker is een reflective practitioner. Het unieke artefact van het onderzoek is de Rand Water Way. Het onderzoek biedt een uitgebalanceerde digitale-governancebenadering die op passende wijze de relevante risico’s beperkt; het gaat om een geintegreerde, ondernemingsbrede, op risico’s gebaseerde benadering. Daarnaast biedt het onderzoek een benadering om de nieuwe manier van digitale governance succesvol te implementeren bij infrastructuurassetintensieve organisaties. De Rand Water Way werd geinstantieerd, getest en geaccepteerd door Rand Water, en is ook getest en geaccepteerd door vergelijkbare organisaties uit verschillende sectoren. Het onderzoek draagt bij aan de theorie- en kennisvermeerdering over hoe digitale technologie en assetinformatie moeten worden beheerd om infrastructuurassetbeheer te ondersteunen, alsook over hoe deze nieuwe digitale-governancebenadering moet worden geimplementeerd in grote, complexe infrastructuurassetintensieve organisaties.
Bayesian model determination in complex systems

Een van de belangrijkste uitdagingen in de moderne wetenschap is de nauwkeurige en volledige beschrijving van complexe systemen. De moeilijkheid in het modelleren van dergelijke systemen ligt deels in hun topologie en deels in de manier waarop ze tamelijk complexe netwerken vormen. Onze interesse in het modelleren van netwerken is onderdeel van een brede beweging in de richting van onderzoek naar complexe systemen. In dit proefschrift ontwikkelen we een aantal statistische methoden die gezamenlijk het onderliggende netwerk en de relaties tussen de variabelen in het systeem modelleren. Deze methoden zijn efficient en eenvoudig te implementeren voor complexe netwerken. We behandelen de theorie en implementatie van deze methoden. Wij hebben onze statistische methoden zodanig uitgebreid dat het werkt voor verschillende complexe data. We pasten het toe op een dataset met Dupuytren ziektegegevens om potentiele risicofactoren te identificeren. Wij hebben onze methoden geimplementeerd binnen de gebruiksvriendelijke statistische software BDgraph, die online gratis beschikbaar is.
Integrated perception and control at high speed

We present a method for robust high-speed quadrotor ŕight through unknown cluttered environments using integrated perception and control. Motivated by experiments in which the di culty of accurate state estimation was a primary limitation on speed, our method forgoes maintaining a map in favor of using only instantaneous depth information in the local frame. This provides robustness in the presence of signiőcant state estimate uncertainty. We compare the method against a benchmark approach using a simulated quadrotor race through a forest at high speeds in the presence of increasing state estimate noise. We then present hardware validation experiments in both indoor and outdoor environments, performing robust obstacle avoidance at speeds of up to 10 m/s, including sustained ŕight through a forest at 6 m/s. Finally, we add to the memoryless method, and develop a robust obstacle avoidance approach that uses memory without resorting to a maximum-likelihood mapping framework. Thesis Supervisor: Russ Tedrake Title: Professor of Electrical Engineering and Computer Science
Advocating for clinicians, students and clients: The Bibliotherapy Education Project

This Presentation is brought to you for free and open access by the Library Faculty/Staff Scholarship & Research at Digital Scholarship@UNLV. It has been accepted for inclusion in Presentations (Libraries) by an authorized administrator of Digital Scholarship@UNLV. For more information, please contact digitalscholarship@unlv.edu. Repository Citation Pehrsson, D. , McMillen, P. S. (2005, May). Advocating for clinicians, students and clients: The Bibliotherapy Education Project. Presentation at Annual conference of Psychologists for Social Responsibility and Counselors for Social Justice, Portland, OR.
Human Motion Tracking and Orientation Estimation using inertial sensors and RSSI measurements

Real-time tracking of human body motion is an important technology in biomedical applications, robotics, and other human computer interaction applications. Inertial sensors can overcome problems with jitter, latency interference, line-of-sight obscurations and limited range but suffer from slow drift. RSSI based location estimation can detect location without drifting but is slow, sensitive to shadowing effects and suffers from large estimation errors. For these reasons, most research considered RSSI-based estimation unsuitable for Body Area Network environment. Recent work in our lab, demonstrated an RSSI-based setup able to perform well in close proximity, rendering it useful for human motion tracking. This paper describes the design of a complementary kalman filter to integrate the data from these two types of sensors in order to achieve the excellent dynamic response of an inertial system without drift and without the shadowing sensitivity of RSSI-based estimations. Real-time implementation and testing results of the complementary Kalman filter are presented. Experimental results validate the filter design, and show the feasibility of using inertial/RSSI sensor modules for real-time human body motion tracking.
What Perception Implies about Implementation of Interactive Acoustic Environments

Virtual acoustics, also known as 3-D sound and auralization, is the simulation of the complex acoustic field experienced by a listener within an environment. Going beyond the simple intensity panning of normal stereo techniques, the goal is to process sounds so that they appear to come from particular positions in three-dimensional space. Current techniques use digital signal processing to synthesize the acoustical properties that people use to localize a sound source. This paper briefly reviews these techniques as well as the results of a number of psychoacoustical studies designed to validate the synthesis. In particular, the relationship between the results of recent perceptual studies on the role of head motion to the implementation of interactive spatial audio systems is addressed.
Formal Modeling of Automotive Software Requirements by Correctness

Correctly modeling software requirements is one of the grand challenges of current ECU (Electronic control Unit) development. To ensure the correctness of the requirements, formal modeling techniques are usually used because they allow analyzers to simulate, verify and even conduct performance analysis in the requirement level. In this paper, we propose a requirements modeling framework, based on the philosophy of separation of concerns and the formal modeling techniques. The main contributions of this paper are two-fold: (1) We divide a complicated automotive software as several concerns, each of which is modeled by different formal techniques, thus the descriptive complexity of the requirements is decreased, and accordingly the models’ understandability is enhanced; (2) The adoption of formal techniques allows us to simulate the execution of the software and calculate the performance in the early stage of development, therefore the correctness of requirements can be improved.
Pivoting the Plant Immune System from Dissection to Deployment

Diverse and rapidly evolving pathogens cause plant diseases and epidemics that threaten crop yield and food security around the world. Research over the last 25 years has led to an increasingly clear conceptual understanding of the molecular components of the plant immune system. Combined with ever-cheaper DNA-sequencing technology and the rich diversity of germ plasm manipulated for over a century by plant breeders, we now have the means to begin development of durable (long-lasting) disease resistance beyond the limits imposed by conventional breeding and in a manner that will replace costly and unsustainable chemical controls.
Advanced thermal management strategies for energy-efficient data centers

Date Approved: [Date Approved by Committee] [To my loving family] iv ACKNOWLEDGEMENTS I would like to sincerely thank my advisor, Dr. Yogendra Joshi, for his guidance over the past year and the confidence he showed in every step of my work and the decisions I made. I also want to take this opportunity to thank my committee members for their valuable suggestions Amongst my friends, I would like to mention two people in particular, Shawn and Nikhil. Shawn has been a friend and colleague with whom I have had several interesting discussions, both academic and otherwise, and who helped me right from building the experimental setup to critiquing my work. Nikhil has been a source of endless support and has encouraged me whenever I was bogged down. I would also like to thank the other METTL members for their valuable feedback. I want to express my deepest love and gratitude for my family for their continued encouragement and support during all these years.
Haupt und Glieder der Altaischen Hypothese: die Körperteilbezeichnungen im Türkischen, Mongolischen und Tungusischen

L'histoire de l'hypothese altaique montre de perpetuelles controverses concernant l'origine commune du turc, du mongol et du toungouze. Depuis deux siecles, les specialistes se posent la question de savoir si les similitudes et convergences incontestees entre ces langues proviennent reellement d'une parente genetique ou simplement de contacts linguistiques repetes. Cette question pourrait etre aujourd'hui resolue grâce a l'application des methodes de la linguistique comparee et notamment grâce a la reconstruction qui permet d'etablir les etymologies et de remonter a la proto-langue. L'hypothese altaique s'appuie sur une etude des denominations des parties du corps dans les trois langues. L'A. presente les resultats de cette description
Ethical issues in providing library services to distance learners

The authors, library practitioners from either side of the Atlantic Ocean, embarked on a dialogue about the ethical challenges encountered in providing library services to distance learners. Unable to find an existing, appropriate ethical framework for their discussion, they agreed to devise their own, informed by relevant professional codes and guidelines. They propose 10 ethical principles for the provision of library services to distance learners. Drawing on their own experience, they highlight the challenges these principles present in practice and the responsibilities of librarians and their institutions to meet them.
Census Mapping Mashup

By mandate, the United States Census Bureau compiles and distributes data on the American population. Open data initiatives have made it possible for users to access and analyze data with simple web-based tools. A new method for requesting data from the Census Bureau is described here, along with two different mapping mashups. Using the technology described in this article, a simple web mapping interface could unlock vast amounts of available data for user exploration.
Technical note. The tutorial image processing system: A tool for remote sensing training

Abstract The Tulorial Image Processing System (TIPS) is an interactive microcomputer program designed to teach fundamental principles of digital image processing theory. It allows students to experiment with the mechanisms of convolution, ratioing, classification, etc. in an environment that preserves the essential features of an image processing system, yet allows users to trace easily the mathematical operations involved. TIPS runs on many microcomputers and requires no special graphics hardware. The program is available from the authors.
Adding value for improved market competitiveness of mechanical printing papers

Les papiers impression a base de pâte mecanique offrent un substrat pour impression dont le rapport performance-cout est eleve, la blancheur etant la qualite dominante determinante. Le haut rendement de la pâte mecanique et la diffusion de la lumiere en sont les principaux avantages concurrentiels. Parmi les defis, on trouve la demande elevee en energie electrique, le cout eleve du blanchiment, et une limite de blancheur maximale (apres blanchiment) inferieure a celle des pâtes chimiques blanchies. Nous evaluons les technologies emergentes en matiere de matieres premieres, de fabrication du papier et de finition qui permettent de les ameliorer, et ouvrons la porte a d'autres possibilites pour de nouveaux produits et de nouvelles utilisations finales. En outre, les besoins techniques futurs, afin de mettre davantage en valeur les principaux avantages des papiers impression a base de pâte mecanique, sont egalement discutes.
Interpolation Of Ocean Sediment Properties By Networks of Parallel Computational Units

Abst rac t . A method for interpolating sparse measureiiieiits of ocean sediiiient properties by iiieaiis of a network of parallel coiiiputational unit$ is proposed. Tlie network is able to generate a continuous iiiappiiig of sediiiient properties as a function of x-y-z position, where z is tlie depth in the sediment, using a generalized radial basis functions expansion. Advantages and disadvantages of tlie iiiethod are discussed, both from a physical and a coiiiputational viewpoint. An example with sediment density data obtained froin sparse core iiieasureiiieiits in a region of tlie Mediterranean Sea is presented.
Reply to Cole and Viner

Dear Editor, Cole and Viner (1) question the conclusions of our recent systematic review (2), apparently on the basis that the evidence for these conclusions was poor. While we acknowledged limitations in the evidence, the body of evidence included in the review was moderately large, highly consistent and of adequate quality (while no reference body composition methods were used in the eligible studies, the methods used were usually unbiased relative to reference methods) (2). Cole and Viner (1) appear to be satisfied with the evidence base for our second research question, the evidence in this case being consistent with their opinion that a high body mass index for age generally corresponds with a high body fat content. They are less satisfied with the evidence base for our first research question, the evidence in this case being inconsistent with their opinion on use of the ColeInternational Obesity Task Force (IOTF) definitions of childhood obesity. In our review and formal appraisal the evidence base on both questions was in fact of similar quality, quantity and consistency, and was supportive of the conclusions on both of the questions addressed by the review (2). Despite their apparent lack of confidence over the available evidence, Cole and Viner (1) suggested that we identify additional evidence by making a minor modification to one of the search terms used. In response to their suggestion we ran the search again with the minor modification suggested. This new search produced 44 hits but no studies which would have been eligible in our review. Of the 44 hits only one relevant paper was identified, and this was published after the cut-off date in our original search. The relevant study compared the ability of the IOTF obesity definitions with ethnic-specific definitions in a multi-ethnic population in New Zealand (3). This study was consistent with the conclusions of our review as it found that the accuracy of identification of excess fatness was significantly higher when the ethnic-specific approach was taken (3). The main issue raised by Cole and Viner is the relative importance of opinion vs. empirical evidence. The empirical evidence is unsupportive of the use of the Cole-IOTF approach – compared with the use of national body mass index reference data it has lower sensitivity for the detection of excess fatness with no significant gain in specificity. We state the obvious by highlighting that the conclusions of any evidence-based or systematic review should reflect the evidence reviewed. While opinion can be valuable, judgements about the best simple means of defining childhood obesity should be guided by the available evidence. Lastly, in our review, we have highlighted the limitations of the evidence from diagnostic studies to date (particularly absence of a ‘gold standard’), made suggestions for new definitive studies (albeit whilst highlighting the large size and cost involved), and suggested how current cohort studies could be used to improve the evidence in a shorter time frame.
A frequency acquisition scheme for OFDM systems

This paper derives a frequency acquisition algorithm for orthogonal frequency division multiplexing (OFDM) systems. This frequency acquisition algorithm is a modification of the frequency tracking algorithm introduced by Moose (see IEEE Trans. Commun., vol.42, no.10, p.2908-14, 1994), which uses a repeated data symbol and a maximum likelihood estimation (MLE) algorithm to estimate the frequency offset. The estimate is extremely accurate but the acquisition range is limited to /spl plusmn/1/2 of the intercarrier spacing. With some modifications of the frequency tracking scheme and an assumption of a multipath channel, the frequency acquisition can be converted to an analogous PN sequence acquisition problem. Therefore, a partial-sum correlator with an appropriate threshold can be used to acquire the frequency offset.
Ahlaki sıkıntı: Türkiye’de sağlık alanında gündeme gelmeyen bir boyut

Moral distress is a common problem among professionals and managers working in the field of health care. Moral distress is the distress experienced by a professional when he/she cannot fulfill the correct action due to several obstacles although he/she is aware of what it is. Moral distress caused by several individual and institutional factors leads to important consequences among health professionals ranging from a sense of anger and frustration to a decrease in job satisfaction and burnout as a result of which they may leave the profession. Thus, health care professionals lose their interests in the patient and the patient’s family, and thus the quality of the treatment and care they provide decrease. This review article is intended to bring the issue of moral distress frequently experienced but not voiced by health care professionals onto the agenda in Turkish literature by analyzing the concept of moral distress, putting forward the causes of moral distress, discussing its reflections on individuals and institutions and drawing health care workers’ attention to the issue.
Programas para agresores de violencia de género en prisión: ¿De qué evidencia disponemos?

espanolEl objetivo de esta revision es sintetizar el conocimiento cientifico sobre los programas de rehabilitacion para agresores de violencia de genero desarrollados en los centros penitenciarios de Espana. Para ello, se ha realizado una busqueda exhaustiva de los trabajos publicados entre 2001-2015 y, tras aplicar los criterios de inclusion/exclusion, se han seleccionado un total de 9 estudios. Los resultados obtenidos pueden definirse como muy positivos en las evaluaciones postratamiento, si bien son escasos los estudios sobre reincidencia y que sean objeto de seguimiento a largo plazo. Las conclusiones indican que, pese a no existir datos concluyentes sobre los resultados de los programas, hay que continuar apostando por las intervenciones especificas intramuros. EnglishThe aim of this review is to summarize the scientific knowledge about rehabilitation programs of gender violence developed in Spanish prisons. In order to achieve this goal, I have completed an exhaustive research including a great quantity of scientific papers written in the period 2001-2015, and after to apply the inclusion/exclusion standards, we have selected a total number of 9 articles. Positive results have been achieved in post-treatment evaluations. On the other hand, we have found just a few studies that deal with recidivism and also a few that include long term follow-up. Our conclusions suggest that despite the lack of conclusive data about the results of the programs it seems advisable to keep on supporting the intervention of specific gender violence in prison.
Low supply voltage, low quiescent current, ULDO linear regulator

In this paper a new monolithic Ultra Low Drop-Out (ULDO) linear regulator developed in BCD (Bipolar CMOS, DMOS) technology, 5th generation, is described. It is able to deliver an output current up to 5 A with 150 mV drop-out voltage on the series element at a supply voltage down to 2 V The new regulator has been designed to reduce the quiescent and stand-by currents without degradation of the load transients performance and to guarantee an output voltage high accuracy, better than 1%, thanks to a new trimming structure. 200 /spl mu/A quiescent current and a very low stand-by current, up to 2 /spl mu/A, make the devices suitable for microprocessor applications such as Pentium, cellular phones, automotive and in all applications where power management and stand-by features are needed.
An Efficient and Practical Public Key Cryptosystem with CCA-Security on Standard Model

Chosen Ciphertext Attack(CCA)security on the standard model is widely accepted as the standard security notion for the public key cryptosystem.The existing CCA-secure public key cryptosystems on the standard model are expensive in terms of efficiency and practicality.In this paper,an efficient and practical public key cryptosystem is presented over the group of signed quadratic residues.It is provably secure against CCA on the standard model.Furthermore,public verifiability for this scheme is also realized in the way that projects the verification privacy key into public key on trapdoor pretending.It will be useful to devise efficient CCA-secure threshold and proxy re-encryption schemes on the standard model.