Miracle-dz/UniFAR-FTUs huggingface dataset:
Investigating Users’ Perspectives of Web Single Sign-On: Conceptual Gaps and Acceptance Model

OpenID and OAuth are open and simple Web SSO protocols that have been adopted by major service providers, and millions of supporting Web sites. However, the average user’s perception of Web SSO is still poorly understood. Through several user studies, this work investigates users’ perceptions and concerns when using Web SSO for authentication. We found that our participants had several misconceptions and concerns that impeded their adoption. This ranged from their inadequate mental models of Web SSO, to their concerns about personal data exposure, and a reduction in perceived Web SSO value due to the employment of password management practices. Informed by our findings, we offer a Web SSO technology acceptance model, and suggest design improvements.
Dependent Information Flow Types

In this paper, we develop a novel notion of dependent information flow types. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs, including programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields, still considered a challenge to security enforcement in software systems such as data-centric web-based applications. We base our development on the very general setting of a minimal lambda-calculus with references and collections. We illustrate its expressiveness, showing how secure operations on relevant scenarios can be modelled and analysed using our dependent information flow type system, which is also shown to be amenable to algorithmic type checking. Our main results include type-safety and non-interference theorems ensuring that well-typed programs do not violate prescribed security policies.
An Efficient Salt and Pepper noise Removal and Edge preserving Scheme for Image Restoration

Noise Suppression from images is one of the most important concerns in digital image processing. Impulsive noise is one such noise, which may corrupt images during their acquisition or transmission or storage etc. Removing noise from any processed image is very important noise should be removed in such a way that important information of image should be preserved. For removing salt and pepper noise from corrupted image we are using so many algorithms. In this paper we propose two phase scheme for removing salt and pepper noise and edge preservation; in the first phase Adaptive median filter is used to detect corrupted pixel and preserving the edges. In the second phase Non-Local Means algorithm is used in order to have better quality of reconstitution. The proposed algorithm works well in removing salt and pepper noise at high density and preserving edges smoothly and fine detail of image compare to others. Obtained results show that the implementation of this proposal gives considerable noise suppression, even with high noise densities.
Constructing Personal and Professional Identity during Teacher Education.

This paper provides an overview of teaching as a gendered profession in Finland, focusing on recent research on teachers and their professional development. Currently, women are better educated than men in Finland, but they still do not achieve employment positions and salaries equal to those of men. Though there tend to be more female than male teachers, most principals and professors are male. This researcher examined preservice teachers' and adult education teachers' biographies and professional socialization from a feminist point of view, noting the importance of using the life history approach to studying teachers. The study explored student teachers' identity making process during the one-year secondary teacher education program at Tampere University, comparing school teachers and adult education teachers and the ways in which their career paths and construction of personal and professional identities differed. Data were collected via life history interviews, student journals, portfolios, in-class assignments, and home assignments. (Contains 46 references.) (SM) Reproductions supplied by EDRS are the best that can be made from the original document. Constructing Personal and Professional Identity During Teacher Education Marjo Vuorikoski April 2001 U.S. DEPARTMENT OF EDUCATION Office of Educational Research and Improvement EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) 6 This document has been reproduced as received from the person or organization originating it. Minor changes have been made to improve reproduction quality Points of view or opinions stated in this document do not necessarily represent official OERI position or policy. 2 PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIAL HAS BEEN GRANTED BY
Evaluating ALPHAN with Multi-user Collaboration

In our previous work we introduced a novel application layer protocol, named ALPHAN, for haptic data communication. In this paper, we present a thorough evaluation of the protocol using a multi-user collaborative haptic application. The benchmark application consists of a simple game where three users attempt to lift a 3D triangular shape and place it in a triangular hole. The performance metrics and the test bed of the protocol evaluation are also discussed. It is found that a delay of 150 ms or higher caused the participating users not even to feel the existence of each other. Also a comparison between the two users and three users scenarios is considered. Finally, we comment on our findings and provide directions for prospective research.
Bullying: A Phenomenon that Adults and Communities Must Take Seriously

The CAB program will be expanded to include an advanced CAB program based on the Reconciliation in Child Welfare: Touchstones of Hope for Indigenous Children, Youth and Families (Blackstock, Cross, Brown, George, and Formsma, 2006) document. The advanced curriculum is designed for leaders in the Aboriginal community who would like to engage in a process of interpreting the five touchstone principles (self-determination, culture and language, holistic approach, structural interventions and non discrimination) within the context of their culture, language and community. Participants will journey through each touchstone principle to develop an implementation plan that is informed by history, invites restorative action and creates a foundation for respectful relationships between Aboriginal and non Aboriginal peoples going forward. Please contact Jocelyn Formsma at jformsma@fncfcs.com if you want to learn more about how you can become involved either by attending a train the trainer session or by hosting an advanced CAB session in your community. The UN Convention on the Rights of the Child (UNCRC) (United Nations, 1998) identifies adults as responsible to protect children from all forms of physical and mental violence, injury or abuse. A fundamental aspect of Canadian society is its commitment to promoting and protecting human rights. A common schoolyard phenomenon, bullying is a predictable, “accepted” and often unspoken albeit painful part of childhood and indeed, is one of the most pervasive forms of aggression in the educational system. Bullying and harassment constitute abuse at the hands of peers and violate the rights of children and youth—the widespread victimization of Canadian children and youth threatens this core value and compromises their development. Bullying has customarily been tolerated in Western society (Oliver, Oaks, & Hoover, 1994; Smith & Brain, 2000) and historically, was either not acknowledged or was considered a ‘normal’ childhood experience, one that may even help to build character. This view continues today and may even be fueled by the very pervasiveness of victimization (Astor, 1995; Smith & Brain, 2000). Currently however, there is growing recognition that the commonness, seriousness and effects of bullying make this destructive phenomenon a public health issue that must be addressed (David-Ferdon & Hertz, 2007; Feder, 2007). Bullying is a serious and common problem in many countries around the world (e.g., Craig & Harel, 2004; Nansel et al., 2001). Research on bullying has been conducted in countries throughout the world. According to a 2001/2002 survey on Health Behaviour in School-aged Children (HBSC), conducted with youth aged 11, 13 and 15 years, conducted in 35 countries by the World Health Organization,
Supervised Word Sense Disambiguation: Facing Current Challenges

First of all, I want to thank the help of my friends in the Ixa group. The Ixa group has provided the necessary environment and resources for this research. The Basque-processing tools that we have used in our work have been developed here. I would like to mention specially Eneko, because we have done this research-work jointly. I also want to thank Oier, because his help extracting corpora from the internet has been very helpful in this thesis. Aitor, too, has saved me a lot of time when editing in latex. Lluis, from UPC (Universi-tat Politecnica de Catalunya), has also collaborated in this project when we worked with the AdaBoost technique. For much of our work, we relied on software publicly available for research. We wish to thank the developers for their effort and their contribution to push forward this and other research fields. Different NLP groups also contributed to this work by providing us insight in the problem, and their resources and iv Esker onak / Acknowledgements tools for research. I would like to thank John Carroll and Diana McCarthy, from the University of Sussex, who helped us at different points of this dissertation. John Carroll provided the results of his parser on our data, which we used to compare it with other publicly available parsers. Diana McCarthy applied her method for ranking senses, which we applied in our research. I would like to thank David Yarowsky's group, from Johns Hopkins University , for a nice stay in the fall of 2002. They gave me ideas and resources that I have used in this dissertation. Gerard Escudero's group, from UPC, has also worked with us, sharing tools and experiences. I would like to mention specially German, now in the Ixa group, for his close collaboration during this work.
Transparent and Efficient Parallelization of Swarm Algorithms

This article presents an approach for the efficient and transparent parallelization of a large class of swarm algorithms, specifically those where the multiagent paradigm is used to implement the functionalities of bioinspired entities, such as ants and birds. Parallelization is achieved by partitioning the space on which agents operate onto multiple regions and assigning each region to a different computing node. Data consistency and conflict issues, which can arise when several agents concurrently access shared data, are handled using a purposely developed notion of logical time. This approach enables a transparent porting onto parallel/distributed architectures, as the developer is only in charge of defining the behavior of the agents, without having to cope with issues related to parallel programming and performance optimization. The approach has been evaluated for a very popular swarm algorithm, the ant-based spatial clustering and sorting of items, and results show good performance and scalability.
A crise financeira e a política econômica: poderia ter sido diferente?

The aim of this paper is to analyse whether the economic policy response capability was a relevant factor for minimizing the 2008 financial crisis severity within its first year. The research hypothesis is that countries with a larger space for expansionary policies have registered a less severe crisis, holding everything else constant. The results from cross-country regressions corroborate with the hypothesis for the monetary policy. In relation to the fiscal policy, the sign of the parameters was the opposite of what was expected, signaling that, even countries with good fiscal results can experience limitations to Keynesian stimulus due to debt intolerances. However, the interaction between central govern result and gross debt confirms the research hypothesis, whereas a better management of the fiscal flow and debt stock simultaneously seems to be relevant. Adding an investment grade variable to the specifications highlighted that the crisis was more severe within the developed economies.
A SURVEILLANCE WIRELESS CAMERA SENSOR NETWORK SYSTEM FOR INTRUSION DETECTION USING IMAGE PROCESSING TECHNIQUES

Surveillance systems are becoming critical part of our society and they play major roles in monitory of critical infrastructure, streets, public buildings, private buildings, properties etc. Policing and visual evidence gathering has supported and changed the way our judicial systems use supporting evidence in passing verdicts. Warfare are being changed by such systems as well. Wireless sensor networks are playing key roles in how we pick information from our physical environments and analyze them and the dawn of internet of things has open up new opportunities in using sensors in making life better. Its advantage can be seen from monitory of air pollution, temperature conditions in freezer and homes, wearable health devices etc. Yet special devices are being developed to meet these ever increasing technologies. Cameras for surveillance activities are developed with surveillance capabilities and making old monitory cameras fade away from the system. Hence an integration approach is needed to integrate and make sensing properties present in those old systems. In other to contribute to the field of security and surveillance, we proposed a new approach of using disparate camera devices with or without image processing techniques and built an image sensor based application to give capabilities to these systems as well as reduce latency at the end nodes during surveillance activities. This means that any off-the-shelf camera can be bought and plugged in into our proposed system which will have sensing ability based on our proposed method. We design the system and implemented it as well as performed analysis on them.
Evaluating AOU e-Learning Platform Based on Khan's Framework

The rapid growth of online world and the great evolution in digital technology open new horizons in different domains including education one. Blended learning and e- Learning approaches are new trends that are based on using computers as a medium to deliver and share educational materials which makes education available anytime, and anywhere. Khan suggested eight dimensional e-learning framework which serves as a base to help institutions to plan, design, implement and evaluate their e-learning programs. This paper discusses whether learning management systems at Arab Open University (AOU) meet the eight dimensional e-learning frameworks suggested by Badrul Khans. A detailed description of Khan's framework and the LMS used at Arab Open University are included in this paper. We claim that the AOU LMS is a good framework for e-learning based on these eight dimensions.
Dynamic high-gain scaling: State and output feedback with application to systems with ISS appended dynamics driven by all States

We propose a dynamic high-gain scaling technique and solutions to coupled Lyapunov equations leading to results on state-feedback, output-feedback, and input-to-state stable (ISS) appended dynamics with nonzero gains from all states and input. The observer and controller designs have a dual architecture and utilize a single dynamic scaling. A novel procedure for designing the dynamics of the high-gain parameter is introduced based on choosing a Lyapunov function whose derivative is negative if either the high-gain parameter or its derivative is large enough (compared to functions of the states). The system is allowed to contain uncertain terms dependent on all states and uncertain appended ISS dynamics with nonlinear gains from all system states and input. In contrast, previous results require uncertainties to be bounded by a function of the output and require the appended dynamics to be ISS with respect to the output, i.e., require the gains from other states and the input to be zero. The generated control laws have an algebraically simple structure and the associated Lyapunov functions have a simple quadratic form with a scaling. The design is based on the solution of two pairs of coupled Lyapunov equations for which a constructive procedure is provided. The proposed observer/controller structure provides a globally asymptotically stabilizing output-feedback solution for the benchmark open problem proposed in our earlier work with the provision that a magnitude bound on the unknown parameter be given.
EXIT Functions for LT and Raptor Codes, and Asymptotic Ranks of Random Matrices

In this paper we propose a notion of EXIT functions for LT-codes and Raptor codes, and discuss some of their useful properties that can be used to design good codes. We will further use these results to derive interesting conclusions on ranks of random matrices. New expressions for the asymptotic ranks of certain classes of random binary matrices are derived and the results are compared to previously known bounds and results.
Party Competition: An Agent-Based Model

Preface vii Acknowledgments xiii Part One: Preliminaries 1 Chapter 1. Modeling Multiparty Competition 3 Chapter 2. Spatial Dynamics of Political Competition 15 Chapter 3. A Baseline ABM of Party Competition 28 Chapter 4. Systematically Interrogating Agent-Based Models 56 Part Two: The Basic Model 83 Chapter 5. Benchmarking the Baseline Model 85 Chapter 6. Endogenous Parties, Interaction of Different Decision Rules 106 Chapter 7. New Decision Rules, New Rule Features 132 Part Three: Extensions and Empirics 157 Chapter 8. The Evolutionary Dynamics of Decision Rule Selection 159 Chapter 9. Nonpolicy Factors in Party Competition 183 Chapter 10. Party Leaders with Policy Preferences 206 Chapter 11. Using Theoretical Models to Analyze Real Party Systems 228 Chapter 12. In Conclusion 258 References 267 Index 275
From federated software defined infrastructure to future internet architecture

Significant efforts have been devoted to creating large scale compute and network testbeds for studying future Internet challenges. Besides large geographic span, the common emphasis is programmability, allowing researchers to reserve or create, via software, flexible sets of compute and network resources over specified topologies to execute research prototypes of new protocols, processes, and applications. Also emphasized are virtualization, instrumentation, and software defined networking (SDN) capabilities of the infrastructure. SDN in particular stimulated significant interests in academia, industry, and public sectors to re-imagine the future computing and networking infrastructure landscape and roadmap while it becomes increasingly utilized in production environments. Amidst these interests, one can start to capture desirable characteristics to glimpse the potential architecture of the future Internet. In this paper, we discuss the significance of compute-network interaction across complex, highly customized federated architecture in the future Internet. Infrastructure federation has been happening across multiple dimensions. Federation expands the scope of infrastructure, geographically and administratively, for use by members of different organizations. For example, federation initiatives are underway among: 1) US Global Environment for Network Innovations (GENI), Europe Future Internet Research and Experimentation (FIRE), and future Internet testbeds in Asia, South America, and Canada, 2) university production infrastructure, 3) US cities, 4) US public research institutes, and 5) commercial infrastructure. While requirements and objectives differ, they must all address a common set of issues. Such federation suggests the fundamental needs of applications to interact with compute and network resources across a generic, federated, future Internet environment.
2015 Ieee International Conference on Big Data (big Data) Big Data Entity Resolution: from Highly to Somehow Similar Entity Descriptions in the Web

—In the Web of data, entities are described by inter-linked data rather than documents on the Web. In this work, we focus on entity resolution in the Web of data, i.e., identifying descriptions that refer to the same real-world entity. To reduce the required number of pairwise comparisons, methods for entity resolution perform blocking as a pre-processing step. A blocking technique places similar entity descriptions into blocks and executes comparisons only between descriptions within the same block. We experimentally evaluate blocking techniques proposed for the Web of data and present dataset characteristics that determine the effectiveness and efficiency of such methods. Furthermore, we analyze the characteristics of the missed matching entity descriptions and examine different types of links that blocking techniques can potentially identify.
Prognostic value of right ventricular mass, volume, and function in idiopathic pulmonary arterial hypertension.

AIMS This study investigated the relationship between right ventricular (RV) structure and function and survival in idiopathic pulmonary arterial hypertension (IPAH). METHODS AND RESULTS In 64 patients, cardiac magnetic resonance, right heart catheterization, and the six-minute walk test (6MWT) were performed at baseline and after 1-year follow-up. RV structure and function were analysed as predictors of mortality. During a mean follow-up of 32 months, 19 patients died. A low stroke volume (SV), RV dilatation, and impaired left ventricular (LV) filling independently predicted mortality. In addition, a further decrease in SV, progressive RV dilatation, and further decrease in LV end-diastolic volume (LVEDV) at 1-year follow-up were the strongest predictors of mortality. According to Kaplan-Meier survival curves, survival was lower in patients with an inframedian SV index <or= 25 mL/m(2), a supramedian RV end-diastolic volume index >or= 84 mL/m(2), and an inframedian LVEDV<or=40 mL/m(2). CONCLUSIONS The RV contains prognostic information in IPAH. A large RV volume, low SV, and a reduced LV volume are strong independent predictors of mortality and treatment failure.
Robot PD control with parallel/serial neural network and sliding mode compensations

Both neural network and sliding mode can compensate the steady-state error of proportional-derivative (PD) control. PD control with neural compensation is smooth, but it is not asymptotically stable. PD control with sliding mode is asymptotically stable, but the chattering is big. This paper first analyzes the asymptotic stability of PD control with parallel neural networks and the first-order sliding mode compensation. Then a serial compensation structure is proposed. In the serial compensation, a dead-zone neural PD control assures that the regulation error is bounded. And a super-twisting second-order sliding-mode is used to guarantee finite time convergence of the sliding mode PD control.