Miracle-dz/UniFAR-FTUs huggingface dataset:
Positive temperature dynamics on Gelfand-Tsetlin patterns restricted by wall

The thesis focuses on processes on symplectic Gelfand-Tsetlin patterns. In chapter 4, a process with dynamics inspired by the Berele correspondence [Ber86] is presented. It is proved that the shape of the pattern is a Doob h-transform of independent random walks with h given by the symplectic Schur function. This is followed by an extension to a q-weighted version. This randomised version has itself a branching structure and is related to a q-deformation of the so2n+1-Whittaker functions. In chapter 5, we present a fully randomised process. This process q-deforms a process proposed in [WW09]. In chapter 7 we prove the convergence of the q-deformation of the so2n+1-Whittaker functions to the classical so2n+1-Whittaker functions when q → 1. Finally, in chapter 8 we turn our interest to the continuous setting and construct a process on patterns which contains a positive temperature analogue of the Dyson's Brownian motion of type B∕C. The processes obtained are h-transforms of Brownian motions killed at a continuous rate that depends on their distance from the boundary of the Weyl chamber of type B∕C, with h related with the so2n+1-Whittaker functions.
Integration of fault tolerance and hardware redundancy techniques into the design of mobile platforms

OF THE THESIS INTEGRATION OF FAULT TOLERANCE AND HARDWARE REDUNDANCY TECHNIQUES INTO THE DESIGN OF MOBILE PLATFORMS by Miguel Angel Espina Florida International University, 1999 Miami, Florida Professor Sabri Tosunoglu, Major Professor This work addresses the development of a fault-tolerant mobile platform. Fault-tolerant mechanical system design is an emerging technology that attempts to build highly reliable systems by incorporating hardware and software architectures. For this purpose, previous work in fault-tolerant were reviewed. Alternate architectures were evaluated to maximize the fault tolerance capabilities of the driving and steering systems of a mobile platform. The literature review showed that most of the research work on fault tolerance has been done in the area of kinematics and control systems of robotic arms. Therefore, hardware redundancy and fault tolerance in mobile robots is an area to be researched. The prototype constructed as part of this work demonstrated basic principles and uses of a fault-tolerant mechanism, and is believed to be the first such system in its class. It is recommended that different driving and steering architectures, and the fault-tolerant controllers' performance be tested on this prototype.
Self-motion control of kinematically redundant robot manipulators

ACKNOWLEDGMENTS I would like to express my gratitude to my advisor Asst. Prof. Dr. Mehmet İsmet Can Dede for his invaluable advice, guidance, and encouragement. I would like to thank all of my professors for their help during my study and research. I would like to thank my wife for her support and patience for my long hours of working and her accompany during living abroad. I am also grateful to my parents for their endless support during my thesis and all of my life. Redundancy in general provides space for optimization in robotics. Redundancy can be defined as sensor/actuator redundancy or kinematic redundancy. The redundancy considered in this thesis is the kinematic redundancy where the total degrees-of-freedom of the robot is more than the total degrees-of-freedom required for the task to be executed. This provides infinite number of solutions to perform the same task, thus, various subtasks can be carried out during the main-task execution. This work utilizes the property of self-motion for kinematically redundant robot manipulators by designing the general subtask controller that controls the joint motion in the null-space of the Jacobian matrix. The general subtask controller is implemented for various subtasks in this thesis. Minimizing the total joint motion, singularity avoidance, posture optimization for static impact force objectives, which include maximizing/minimizing the static impact force magnitude, and static and moving obstacle (point to point) collision avoidance are the subtasks considered in this thesis. New control architecture is developed to accomplish both the main-task and the previously mentioned subtasks. In this architecture, objective function for each subtask is formed. Then, the gradient of the objective function is used in the subtask controller to execute subtask objective while tracking a given end-effector trajectory. The tracking of the end-effector is called main-task. The SCHUNK LWA4-Arm robot arm with seven degrees-of-freedom is developed first in SolidWorks® as a computer-aided-design (CAD) model. Then, the CAD model is converted to MATLAB® Simulink model using SimMechanics CAD translator to be used in the simulation tests of the controller. Kinematics and dynamics equations of the robot are derived to be used in the controllers. Simulation test results are presented for the kinematically redundant robot manipulator operating in 3D space carrying out the main-task and the selected subtasks for this study. The simulation test results indicate that the developed controller's performance is successful for all the main-task and subtask objectives. Figure 6.3. Desired task-space trajectories: …
Intraindividual Variability in Inhibition and Prospective Memory in Healthy Older Adults: Insights from Response Regularity and Rapidity

Successful prospective memory (PM) performance relies on executive functions, including inhibition. However, PM and inhibition are usually assessed in separate tasks, and analytically the focus is either on group differences or at most on interindividual differences. Conjoint measures of PM and inhibition performance that take into account intraindividual variability (IIV) are thus missing. In the present study, we assessed healthy older adults’ level of performance and IIV in both inhibition and PM using a classical Go/NoGo task. We also created a prospective Go/NoGo version that embeds a PM component into the task. Using dynamic structural equation modeling, we assessed the joint effects of mean level (μ), an indicator of amplitude of fluctuations in IIV (or net IIV; intraindividual standard deviation, iSD), and an indicator of time dependency in IIV (the autoregressive parameter ϕ) in reaction times (RTs) on inhibition and PM performance. Results indicate that higher inhibition failure, but not IIV, predicted PM errors, corroborating the current literature on the involvement of prepotent response inhibition in PM processes. In turn, fastest RT latency (μ) and increased net IIV (iSD) were consistently associated with prepotent response inhibition failure, while coherence in RT pattern (ϕ) was beneficial to inhibition performance when the task was novel. Time-dependent IIV (ϕ) appears to reflect an adaptive exploration of strategies to attain optimal performance, whereas increased net IIV (iSD) may indicate inefficient sustained cognitive processes when performance is high. We discuss trade-off processes between competing tasks.
Error and stability analysis of an anisotropic phase-field model for binary-fluid mixtures in the presence of magnetic-field

In this article, we study the error and stability of the proposed numerical scheme in order to solve a two dimensional anisotropic phase-field model with convection and externally applied magnetic field in an isothermal solidification of binary alloys. The proposed numerical scheme is based on mixed finite element method satisfying the CFL condition. A particular application with real physical parameters of Nickel-Copper(Ni-Cu) is considered in order to validate the numerical scheme employed. The results of stability and error analysis substantiates complete accordance with the postulated theoretical error estimates which demonstrates the efficiency of the presented method.
An approach for profiling distributed applications through network traffic analysis

Distributed systems has been adopted for building modern Internet services and cloud computing infrastructures, in order to obtain services with high performance, scalability, and reliability. Cloud computing SLAs require low time to identify, diagnose and solve problems in a cloud computing production infrastructure, in order to avoid negative impacts into the quality of service provided for its clients. Thus, the detection of error causes, diagnose and reproduction of errors are challenges that motivate efforts to the development of less intrusive mechanisms for monitoring and debugging distributed applications at runtime. Network traffic analysis is one option to the distributed systems measurement, although there are limitations on capacity to process large amounts of network traffic in short time, and on scalability to process network traffic where there is variation of resource demand. The goal of this dissertation is to analyse the processing capacity problem for measuring distributed systems through network traffic analysis, in order to evaluate the performance of distributed systems at a data center, using commodity hardware and cloud computing services, in a minimally intrusive way. We propose a new approach based on MapReduce, for deep inspection of distributed application traffic, in order to evaluate the performance of distributed systems at runtime, using commodity hardware. In this dissertation we evaluated the effectiveness of MapReduce for a deep packet inspection algorithm, its processing capacity, completion time speedup, processing capacity scalability, and the behavior followed by MapReduce phases, when applied to deep packet inspection for extracting indicators of distributed applications.
On conjugacy growth of linear groups†

Abstract We investigate the conjugacy growth of finitely generated linear groups. We show that finitely generated non-virtually-solvable subgroups of GLd have uniform exponential conjugacy growth and in fact that the number of distinct polynomials arising as characteristic polynomials of the elements of the ball of radius n for the word metric has exponential growth rate bounded away from 0 in terms of the dimension d only.
Robust user authentication model for securing electronic healthcare system using fingerprint biometrics

ABSTRACT The emergence of electronic health or eHealth has revolutionized the healthcare industry to offer better healthcare services at a low and affordable cost. However, it still suffers from security and privacy issues in handling health information. The privacy and security issues in eHealth domain are mainly centered around user authentication, data integrity, data confidentiality, and patient privacy protection. Biometrics technology has considerable opportunities to cope with the above security problems by providing reliable and secure user authentication. However, due to the sensitive nature of health data, the most important challenge lies toward the development of an efficient security model that can guarantee data privacy and reliability, verifying that only authorized personnel can access their corresponding health data. In this paper, we present a comprehensive overview of biometrics applications in eHealth and propose a robust and efficient scheme for user verification using fingerprint biometrics in order to enhance privacy and security in eHealth information systems. Moreover, additional issues like system complexity and processing time related to the use of biometrics should be taken into consideration. We therefore, emphasize to reduce the computation cost in biometric matching. In this work, we use local minutie features for user authentication and employ a fast stereo matching algorithm to compare the minutiae features of the test (probe) fingerprint with the minutiae features extracted from the gallery fingerprints (fingerprint database) in order to verify a person. Experimental results show that the proposed scheme leads to a compromise between the computation efficiency and the accuracy of the verification process. We believe that, our proposed scheme could be employed in real-time applications.
Off-the-Shelf Gaze Interaction

People with severe motor-skill disabilities are often unable to use standard input devices such as a mouse or a keyboard to control a computer and they are, therefore, in strong need for alternative input devices. Gaze tracking offers them the possibility to use the movements of their eyes to interact with a computer, thereby making them more independent. A big effort has been put toward improving the robustness and accuracy of the technology, and many commercial systems are nowadays available in the market. Despite the great improvements that gaze tracking systems have undergone in the last years, high prices have prevented gaze interaction from becoming mainstream. The use of specialized hardware, such as industrial cameras or infrared light sources, increases the accuracy of the systems, but also the price, which prevents many potential users from having access to the technology. Furthermore, the different components are often required to be placed in specific locations, or are built into the monitor, thus decreasing the flexibility of the setup. Gaze tracking systems built from low-cost and off-the-shelf components have the potential to facilitate access to the technology and bring the prices down. Such systems are often more flexible, as the components can be placed in different locations, but also less robust, due to the lack of control over the hardware setup and the lower quality of the components compared to commercial systems. The work developed for this thesis deals with some of the challenges introduced by the use of low-cost and off-the-shelf components for gaze interaction. The main contributions are: Development and performance evaluation of the ITU Gaze Tracker, an off-theshelf gaze tracker that uses an inexpensive webcam or video camera to track the user’s eye. The software is readily available as open source, offering the possibility to try out gaze interaction for a low price and to analyze, improve and extend the software by modifying the source code. A novel gaze estimation method based on homographic mappings between planes. No knowledge about the hardware configuration is required, allowing for a flexible setup where camera and light sources can be placed at any location.
ANALISIS KEPERCAYAAN-KEPERCAYAAN INDIVIDU DALAM MENGGUNAKAN TEKNOLOGI INFORMASI DALAM MENUNJANG PROSES BELAJAR MENGAJAR DI PERGURUAN TINGGI

T�e ai� of t�is researc� is to discuss and e�a�ine e�pirically t�e relati on bet�een social as� pect and cognitive absorption and t�e relation to personal beliefs (perceived ease of use and perceived usefulness) in accordance �it� t�e use of infor�ation tec�nology in t�e learning process in t�e college.Object of t�e researc� is 125 Yogyakarta accounting lecturers. Social factor �as �easured by t�e influence of colleagues� cognitive absorption �as �easured by te�poral dissociation� focused i��ertion� �eig�tened enjoy�ent� control� and curiosity� and personal beliefs �ere �easured by perceived ease of use and perceived usefulness. Sa�ple �et�od t�at �as been used in t�e researc� is non�probability ��ic� �ean is purposive sa�� pling �it� judg�ent type. T�e data �ere analyzed by using structural equation �odeling (SEM) and utilized S�artPLS 2.0. E�a�ination revealed t�at t�e �ypot�esis �ere supported. Significant positive relations�ip bet�een social aspect and cognitive absorption� and be� t�een cognitive absorption and personal beliefs in t�e use of infor�ation tec�nology sup� ported t�e �ypot�esis. Finding of t�is researc� de�onstrated t�e influence of social aspect to cognitive absorption in personal beliefs in t�e use of infor�ation tec�nology to support learning process. Moreover� t�is researc� �as been succeed to develop researc� �odel t�at �as perfor�ed by Agar�al and Kara�anna (2000) by providing e�pirical evidence social aspect as an antecedent for cognitive absorption.
Multi-Objective analysis of regulatory frameworks for Active Distribution Networks

An important step towards Smart Grid are the Active Distribution Networks, based on controllable loads, generators and storage devices to reduce the DERs impact on the distribution systems. System stakeholders have conflicting goals and the application of the multi-objective optimization allows finding the best solutions for each of them, highlighting the relationship between the regulatory environment and the level of active networks implementation. Active operation can help solve the tensions caused by the contrasting goals of investors and DSO’s, direct consequence of the regulatory mechanism adopted. The main novelty of this paper is the adoption of advanced level of implementation for active management.
Surface-depletion controlled gas sensing of ZnO nanorods grown at room temperature

The authors report on surface-depletion controlled gas sensing ZnO nanorods. These nanorods were synthesized through a simple wet chemical route at room temperature. The diameter of nanorods is about 15nm, which is close to two times of the Debye length of ZnO. In contrast to the previous report, the sensing is surface-depletion controlled rather than contact controlled and the sensitivity is up to 29.7 against 100ppm ethanol. Such high sensitivity is due to an almost complete depletion of the rods in air, which is confirmed from photoluminescence spectrum and x-ray photoelectron spectroscopy. The gas sensing mechanism controlled by surface depletion provides another approach to realize high-performance gas sensors.
LINE RECOGNITION SENSORS

Urgency of the research. There is a need from industrial practice for developing of methods for linefollowing navigation of automated guided vehicle (AGV) for logistic task in factories without operators. Target setting. Various types of navigation methods are used for vehicles. Actual scientific researches and issues analysis. Navigation of this automated guided vehicle can be made through the color line on ground or through the inductive sensed cable located underground. Also magnetically guided method is used. Various types of optical markers can be also used. Nowadays this type of autonomous robot applications grows up, because there is a need from industry. Uninvestigated parts of general matters defining. Next generation of automated guided vehicle is navigated via using laser scanners and they are also called LGV – Laser Guided Vehicle. This type is not covered in this paper. The research objective. The main aim of paper is to design the sensing system for color line sensing. There are several problems in using of these types of sensors. Manufacturer notes that there is placed daylight filter, but first experiments shows sensitivity to daylight. This problem can occurs when vehicle goes to tunnel. Next problem is when vehicle moves uphill and downhill on a bridge. The statement of basic materials. The color of sensor can be sensed with sensor - reflection optocoupler working in infrared light range. The optocoupler includes the infrared LED transmitter and infrared phototransistor, which senses the reflected light. Optocouplers are placed on bottom side of vehicle. Navigation line is black and other ground area is white. Optocoupler located over the navigation black line has no infrared reflection. Conclusions. The selected sensor system has been adapted for line detection application. Also ramp problems have been solved. Sensors have been successfully installed on linefollower vehicle. Results shows visible difference between the voltage levels related to black and white color line. Future plans is to add camera vision system for automatic recognition of line before vehicle and continuously path planning. Vision systems are also frequently used for obstacle detection and mapping of environment and consequently for path planning.
Assessing the Impact of a Game-Centered Mobile App on Community-Dwelling Older Adults′ Health Activation

Background: Older adults experience normative age-graded declines in physical and cognitive performance and many must manage one or more chronic conditions. Exercise programs can help to improve both their physical health and their knowledge, skill, and confidence in managing aspects of their own healthcare, yet a significant barrier is motivating them to adhere to such programs. The purpose of this investigation was to evaluate the impact of a game-centered mobile app (Bingocize®) on older adults’ knowledge, skill, and confidence for managing aspects of their healthcare. Methods: Community-dwelling older adults (N=84) with mobility and not engaged in any structured exercise program were recruited from rural community senior centers in Kentucky and Tennessee. Participants were randomly assigned to (a) a version that included health education, or (b) health education and an exercise component. Participants used the app in a group setting for 10 weeks, twice per week, for one hour. The Patient Activation Measure (PAM-10) was used to assess group changes in knowledge, skill, and confidence for managing aspects of their healthcare. The design was a two (Group: Exercise + Health Education vs. Health Education-only) x two (Time: Pre- vs. Post-intervention) and an analyses of variance, with significance p<. 05, was used to detect within and between group differences. Results: PAM-10 values significantly increased from pre- to post-intervention for both groups, as did knowledge of the health topics (all p < 0.05). Attendance was >93% in both groups. Conclusions: Bingocize® engendered high attendance and improved health activation of older adults; however, additional research is needed to examine whether changes in activation result in long-term changes in health behaviour. The Bingocize® mobile app is an enjoyable and effective way to increase health activation in community-dwelling older adults.
A Smart Mobile System for the Real-Time Tracking and Management of Service Queues

This paper proposes a solution to the problem of client dissatisfaction with long waiting times associated with some services. This solution is a smart queue management system that provides real-time visual and audio updates to service requests via a smartphone app. Users receive digital tickets and are free to leave the waiting area until it is their turn to be served. If they choose to remain in the area, they have the option of listening to the signal of the television set that is typically muted for a better experience. The system comprises connected units forming a web of things. There are units for ticket registration and verification, audio capturing and streaming, queue management, and user units as smartphone applications. We have tested this system to ensure its functionality and report our results and possible improvements.