Miracle-dz/UniFAR-FTUs huggingface dataset:
Criteria for Rigor in Visualization Design Study

We develop a new perspective on research conducted through visualization design study that emphasizes design as a method of inquiry and the broad range of knowledge-contributions achieved through it as multiple, subjective, and socially constructed. From this interpretivist position we explore the nature of visualization design study and develop six criteria for rigor. We propose that rigor is established and judged according to the extent to which visualization design study research and its reporting are INFORMED, REFLEXIVE, ABUNDANT, PLAUSIBLE, RESONANT, and TRANSPARENT. This perspective and the criteria were constructed through a four-year engagement with the discourse around rigor and the nature of knowledge in social science, information systems, and design. We suggest methods from cognate disciplines that can support visualization researchers in meeting these criteria during the planning, execution, and reporting of design study. Through a series of deliberately provocative questions, we explore implications of this new perspective for design study research in visualization, concluding that as a discipline, visualization is not yet well positioned to embrace, nurture, and fully benefit from a rigorous, interpretivist approach to design study. The perspective and criteria we present are intended to stimulate dialogue and debate around the nature of visualization design study and the broader underpinnings of the discipline.
Impact of main ion pressure anisotropy on stellarator impurity transport

Main ions influence impurity dynamics through a variety of mechanisms; in particular, via impurity-ion collisions. To lowest order in an expansion in the main ion mass over the impurity mass, the impurity-ion collision operator only depends on the component of the main ion distribution that is odd in the parallel velocity. These lowest order terms give the parallel friction of the impurities with the main ions, which is typically assumed to be the main cause of collisional impurity transport. Next-order terms in the mass ratio expansion of the impurity-ion collision operator, proportional to the component of the main ion distribution that is even in the parallel velocity, are usually neglected. However, in stellarators, the even component of the main ion distribution can be very large. In this article, such next-order terms in the mass ratio expansion of the impurity-ion collision operator are retained, and analytical expressions for the neoclassical radial flux of trace impurities are calculated in the Pfirsch–Schlüter, plateau and regimes. The new terms provide a drive for impurity transport that is physically very different from parallel friction: they are associated to anisotropy in the pressure of the main ions, which translates into impurity pressure anisotropy. It is argued that main ion pressure anisotropy must be taken into account for a correct description of impurity transport in certain realistic stellarator plasmas. Examples are given by numerically evaluating the analytical expressions for the impurity flux.
Load Balancing Algorithm in Cloud Computing For Heterogeneous Configuration

Cloud computing is a very rapidly growing technology in this days. An every organization is taking advantage of Cloud computing. Cloud computing is an Internet based technology in which virtual resources are provided as a service over the internet as per user demand . The more the number of users in the cloud, the greater load will be there. As the numbers of users are more in the cloud, balance the load has become the challenge for the cloud vender. Cloud service providers are required to balance this load effectively and efficiently so as not to degrade the performance. So, load balancing is a very important issue which aims at distributing the load across multiple machines in an even and fair manner so that no single node is overloaded. In this paper, we aim to manage the distribution of resources in such a manner so as to avoid system deadlock. This paper will be presenting the issues of existing load balancing algorithms and also presenting the algorithm to overcome those issues.
Estimating error rates in processor-based architectures

This paper investigates a new technique to predict error rates in digital architectures based on microprocessors. Three studied cases are presented concerning three different processors. Two of them are included in the instruments of a satellite project. The actual space applications of these two instruments were implemented using the capabilities of a dedicated system. Results of the fault injection and radiation testing experiments and discussions about the potentialities of this technique are presented.
Research on Simulation Model for Integration of Controller and Inverter

The simulation models of controller and inverter provided by micro-grid simulation software are separate ones. Fewer models develop in monotonous form and are complicated itself, physical meaning of each variable in the model is not clear. Simulation members are connected by a combination of series and parallel way, interaction between elements is not reflected or ignored, so the simulation results are distortion and less credibility which seriously hinder the application of Matlab/Simulink in micro-grid simulation. Considered various operating mode, used different coordinate transformation and the redefined voltage coordinates, an integrated simulation model of controller and inverter is designed which remove the influence of the electromagnetic coupling among the components. Simulation model is simplified so as to accelerate simulation speed. The model can be flexibly set in different operating modes and different modules in Matlab/Simulink which makes the operating mode of each micro-power be designed easier and more clearly. Results of micro-grid composed with integrated model can accurately reflect the variation of voltage, frequency, active power, reactive power etc. according to various disturbances in the various operating modes. Integrated model is demonstrated the effectiveness by results of the simulation ,which can also meet the requirements of micro-grid simulation
Operadic Analysis of Distributed Systems

Establishing an assurance claim for a distributed safety critical system has proven extremely difficult. Developing and documenting the evidence needed to support a claim requires diverse models and abstractions of system properties to capture behaviors, understand error propagation, and evaluate the interactions with other systems and humans. The ability to scale and merge these diverse models and abstractions within a sound mathematical framework is the subject of this technical report. Category theory is one promising approach for this mathematical framework. A higher category theory known as operad theory is described and used to evaluate the effects of disruptions and failures of NextGen communication channels on the safe separation of aircraft within the National Airspace (NAS).
Increasing data distribution in BitTorrent networks by using network coding techniques

Peer-to-peer networks are well known for their benefits when used for sharing data among multiple users. One of the most common protocols for shared data distribution is BitTorrent. Despite its popularity, it has some inefficiencies that affect the speed of the content distribution. In this paper we investigate methods to improve these inefficiencies by employing network coding. A BitTorrent protocol extension built on top of network coding is proposed that keeps backward compatibility with the basic BitTorrent protocol. With the help of a selfdeveloped simulation environment, we run several measurements of different scenarios. We focus on the initial phase in the distribution of the data, when only one seeder exists along with several leechers. We define a metric for the state of a network to make measurements easily and clearly comparable. Through our results, we show that BitTorrent doesn't behave efficiently at every stage of the content distribution process. By using our protocol extension, this inefficiency can be lowered or completely removed. This decreases the time taken for all peers to collect the data by up to 20%.
STrans: A Comprehensive Framework for Structure Transformation

Structure Data Layout Optimization (SDLO) is a prevailing compiler optimization technique to improve cache efficiency. Structure transformation is a critical step for SDLO. Diversity of transformation methods and existence of complex data types are major challenges for structure transformation. We have designed and implemented STrans, a well-defined system which provides controllable and comprehensive functionality on structure transformation. Compared to known systems, it has less limitation on data types for transformation. In this paper we give formal definition of the approach STrans transforms data types. We have also designed Transformation Specification Language, a mini language to configure how to transform structures, which can be either manually tuned or generated by compiler. STrans supports three kinds of transformation methods, i.e., splitting, peeling, and pool-splitting, and works well on different combinations of compound data types. STrans is the transformation system used in ASLOP and is well tested for all benchmarks for ASLOP.
A critical review of physical layer security in wireless networking

Wireless networking has kept evolving with additional features and increasing capacity. Meanwhile, inherent characteristics of wireless networking make it more vulnerable than wired networks. In this thesis we present an extensive and comprehensive review of physical layer security in wireless networking. Different from cryptography, physical layer security, emerging from the information theoretic assessment of secrecy, could leverage the properties of wireless channel for security purpose, by either enabling secret communication without the need of keys, or facilitating the key agreement process. Hence we categorize existing literature into two main branches, namely keyless security and key-based security. We elaborate the evolution of this area from the early theoretic works on the wiretap channel, to its generalizations to more complicated scenarios including multiple-user, multiple-access and multiple-antenna systems, and introduce not only theoretical results but practical implementations. We critically and systematically examine the existing knowledge by analyzing the fundamental mechanics for each approach. Hence we are able to highlight advantages and limitations of proposed techniques, as well their interrelations, and bring insights into future developments of this area.
Automated Deduction Systems for Real Mathematicians

Automated deduction systems currently have a low uptake (or even recognition) amongst mathematicians. This paper takes a human computer interaction perspective on the role of automated deduction in mathematics. We first dismiss the fallacy that making systems easy to use will make them used by heuristically comparing Microsoft Word and LTEX systems in mathematical authoring. Through considering the goals of mathematicians, we propose ways to develop automated deduction systems that mathematicians actually want. There are clearly considerable technological and even philosophical barriers but it is hoped that these can be surmounted in time.
Optimal Design of Reduced-Order LPV Controllers

The analysis and control of linear systems with varying parameters, so-called linear parameter-varying (LPV) systems, have become major research areas since the nineties. LPV systems arise naturally when modeling mechatronic systems such as wafer stages, pick-and-place robots, micro electromechanical systems and active vision systems. To meet the tightening performance and accuracy demands from industry, control design methodologies that account for the varying parameters as well as uncertainty of the system dynamics are becoming indispensable. Especially for high-order plants, design methods for reduced-order controllers are desired, due to their low implementation cost and high reliability.
NLPwin – an introduction

Since we knew that we were developing NLPwin in part to support a grammar checker, the NLPwin grammar is designed to be broad-coverage (i.e., not domain-specific) and robust, in particular, robust to grammar errors. While most grammars are learned from data annotated on the PennTreeBank (Marcus et al., 1993), it is interesting to consider that such grammars may not be able to parse ungrammatical or fragmented grammar, since those grammars have no training data for such input. The NLPwin grammar produces a parse for any input and if no spanning parse can be assigned, it creates a “fitted” parse, combining the largest constituents that it was able to construct.
Formal verification of Artificial Pancreas

Suhas Akshar Kumar, (M.S., Electrical Energy and Computer Engineering) Formal verification of Artificial Pancreas Thesis directed by Prof. Sriram Sankaranarayanan Modern medical devices like artificial pancreas system are safety critical. Malfunction of these devices can cause death or serious injury to the people using them. The artificial pancreas run complex control algorithms and there is a need to verify these control algorithms to minimize or eliminate failures during every day use by patients. Current clinical trials test these devices only for a few patients and do not test for the wide range of failure scenarios that could occur during daily use. Automated formal verification can test for corner case failure conditions that could be addressed before production. This thesis presents an approach to perform formal verification of artificial pancreas system using S-Taliro, a tool for testing for metric temporal logic (MTL) specification on Matlab(tm) based models. A spline based approach is used to test for properties related to the controller and a model based approach is used to test properties related to the closed loop system. A non deterministic predictive model is built using clinical data and future directions to check these predictive models are discussed. Violations are found for both the model based approach as well as the spline based approach. Violations are visualized and discussed and remedies are suggested. A non deterministic model is built using data and the model is simulated. Ideas about checking this model is presented. The violations can be used by the control system designer to find the root cause of the failure and to design a new controller that satisfies the specified properties. Violations from the spline based approach can be used to find such scenarios in actual iv data and the information can be used to correct for such failures in the future controller designs. The non deterministic model built from patient data can be used to test controller’s performance on individual patients.
A Study on Integrated Evaluating Kernel Classification Performance Using Statistical Methods

This paper explores the research on evaluating kernel classification performance using statistical methods.By employing the corrected resamplet-test and other two statistical methods—k-fold cross-validation and paired t-test,this paper compares their classification abilities on nine normally used kernels.In addition,a new quantitative criterion of evaluating kernel classification performance based on information gain is proposed,which is proved to be the nonlinear function of traditional criteria.Benchmark tests show that there is difference among different criteria,but by using statistical methods some regulations can be turned up among them.Simultaneously,there is great difference among different statistical methods,which affects the evaluating results more than the difference among different criteria does.So only with the integrated methods and criteria the classification performance of different kernels can be evaluated objectively.
The Effect of Demographic Information as Moderator toward Relationship between Service Quality, Customer Satisfaction, and Customer Loyalty in Thai Low Cost Carriers’ Passengers

This paper intends to study the effect between service quality and customer satisfaction; customer satisfaction and customer loyalty; also the effect of demographics as moderator toward the relationships. The demographic variables: gender, age, education level, and income, are considered as the moderating factors. The respondents are passengers using low cost airline only in domestic. Structural equation model (SEM) is applied to discover the effects following the objectives of study. According to the result, gender affects the relationship between assurance and customer satisfaction to be negative whereas age affects their relationship to be positive. Furthermore, gender affects the relationship between empathy and customer satisfaction to be positive. For income level, it affects the relationship between reliability and customer satisfaction to be negative effect. Lastly, the education level affects the relationship between customer satisfaction and customer loyalty to be negative effect. In conclusion, the demography should be extended to study in various fields for explaining the phenomenon of demographic.
Supporting Seeking Tasks within Spoken Word Audio Collections

This thesis presents research that focuses on supporting seeking tasks within spoken word collections. Existing literature argues that different types of seeking tasks exist. Difficulties associated with finding relevant information are connected to the size of the collection, individual experience, how well a collection is known and the type of information in the collection. Most seeking studies typically focus on text and music information. The aim of this work is to investigate seeking behaviour within spoken word audio collections. Existing studies indicate that using visualisation techniques as a presentation method for collections may be an effective solution and support the different types of common seeking tasks. These techniques are applied to spoken word collections in this work. Difficulties commonly associated with visualisation methods are that of visual overload and representing multi-dimensional information. Visual overload occurs when the amount of visual information present is too large for users to process. Multi-dimensional information collections are difficult to represent as the number of relationships within the collection can be highly complex making the visualisation difficult to create, and to navigate. Both difficulties can increase the time and error rate of finding relevant information. In this research, Personal Audio Work Space (PAWS), and, later, the PAWS II interfaces, were designed with the aim of supporting seeking tasks within spoken word collections. The features of PAWS and PAWS II attempt to improve performance in seeking tasks by increasing the number of modalities and providing additional support for navigation. There is a particular emphasis on supporting and extending individuals’ natural capabilities. PAWS and PAWS II were tested empirically, and the results are presented in this thesis. They indicate that the organisation of a collection is an important factor when performing seeking tasks. They also indicate that the simultaneous
A Simple Solution to Prevent Parameter Tampering in Web Applications

Business over the internet such as banking and several online services are growing rapidly. Similarly, social media web portals are also getting more and more involved in our daily life. Since these applications are popular and consist of personal and valuable data, they attract malicious attacks to their vulnerable points. The weakness can also be faced in all businesses and institutions that do not care the necessary security steps. The web parameter tampering is one of the major attacks which is based on the modification of parameters. In order to prevent the parameter tampering, a novel and simple mechanism is implemented by verifying the validity. The mechanism is based on a deterministic finite state machine. Beside this static method, the system also has run time validation which leads for the usage of hybrid analysis approach. As an evaluation, performance assessment of the algorithm is done for real time attacks targeting a web site.
A Framework to Manage Sensitive Information during its Migration between Software Platforms

Software migrations are mostly performed by organizations using migration teams. Such migration teams need to be aware of how sensitive information ought to be handled and protected during the implementation of the migration projects. There is a need to ensure that sensitive information is identified, classified and protected during the migration process. This paper suggests how sensitive information in organizations can be handled and protected during migrations, by using the migration from proprietary software to open source software to develop a management framework that can be used to manage such a migration process. The research used a sequential explanatory mixed methods case study to propose a management framework on information sensitivity during software migrations.
Life-Span Development and Behavior

Thank you very much for downloading life span development and behavior. Maybe you have knowledge that, people have look numerous times for their favorite books like this life span development and behavior, but end up in infectious downloads. Rather than reading a good book with a cup of coffee in the afternoon, instead they juggled with some harmful bugs inside their laptop. life span development and behavior is available in our book collection an online access to it is set as public so you can get it instantly. Our digital library hosts in multiple locations, allowing you to get the most less latency time to download any of our books like this one. Kindly say, the life span development and behavior is universally compatible with any devices to read.
Transfer Learning for Rodent Behavior Recognition

Many behavior recognition systems are trained and tested on single datasets limiting their application to comparable datasets. While retraining the system with a novel dataset is possible, it involves laborious annotation effort. We propose to minimize the annotation effort by reusing the knowledge obtained from previous datasets and adapting the recognition system to the novel data. To this end, we investigate the use of transfer learning in the context of rodent behavior recognition. Specifically, we look at two transfer learning methods with two different approaches and examine the implications of their respective assumptions on synthetic data. We further illustrate their performance in transferring a rat action classifier to a mouse action classifier. The performance results in the transfer task are promising. The classification accuracy improves substantially with only very few labeled examples from the novel dataset.