Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards Complete Mapping between UML / OCL and XML / XQuery

The Unified Modeling Language (UML) is extended to model web applications. Meanwhile, Web technology becomes heavily relies on XML documents. The structure of XML documents, namely the XML Schema or Document Type Definition (DTD) for these documents can be modeled using UML data structures. UML tools are usually concerned with the generation of the structure and behavior of the system that is captured by models in their equivalents in the selected platform. In this paper we introduce a novel approach for the integration between UML and XML families of technologies. We model the structure of XML using UML class diagrams and based on this, we study how queries for XML documents, namely XQuery expressions can be described using UML techniques. We show that modeling of XML documents and its queries represented by XQuery expressions is possible using the querying capabilities of UML Class diagram and the Object Constraint Language (OCL). As a result, we see how these two technologies compare, what the advantages of both technologies are and how they can be combined.
Completely Anonymous Multi-Recipient Signcryption Scheme with Public Verification

Most of the existing multi-recipient signcryption schemes do not take the anonymity of recipients into consideration because the list of the identities of all recipients must be included in the ciphertext as a necessary element for decryption. Although the signer’s anonymity has been taken into account in several alternative schemes, these schemes often suffer from the cross-comparison attack and joint conspiracy attack. That is to say, there are few schemes that can achieve complete anonymity for both the signer and the recipient. However, in many practical applications, such as network conference, both the signer’s and the recipient’s anonymity should be considered carefully. Motivated by these concerns, we propose a novel multi-recipient signcryption scheme with complete anonymity. The new scheme can achieve both the signer’s and the recipient’s anonymity at the same time. Each recipient can easily judge whether the received ciphertext is from an authorized source, but cannot determine the real identity of the sender, and at the same time, each participant can easily check decryption permission, but cannot determine the identity of any other recipient. The scheme also provides a public verification method which enables anyone to publicly verify the validity of the ciphertext. Analyses show that the proposed scheme is more efficient in terms of computation complexity and ciphertext length and possesses more advantages than existing schemes, which makes it suitable for practical applications. The proposed scheme could be used for network conferences, paid-TV or DVD broadcasting applications to solve the secure communication problem without violating the privacy of each participant. Key words: Multi-recipient signcryption; Signcryption; Complete Anonymity; Public verification.
CONSTRUCT VALIDITY OF CRITICAL THINKING SKILL INSTRUMENT IN TEACHING MATHEMATIC IN JUNIOR HIGH SCHOOL

This study aims to evaluate the construct validity of cognitive instruments of critical thinking in teaching mathematics in junior high school. The instrument was developed using a method that allows to design an obvious question to measure both the content and critical thinking skills. Critical thinking instrument consists of 42 multiple choice questions with four alternative choices. The study involved 656 students from junior high school in Yogyakarta. The findings indicate that critical thinking has satisfactory construct validity by five factors extracted and confirmed by confirmatory factor analysis. CFA revealed the model fit. (CFI = 0.97; RMSEA = 0.059; IFI = .0.97; PNFI = 0.90, and 2/ df =3.10) Keywords: construct validity, critical thinking
Measuring the Relationship between Agriculture Teachers' Self-Efficacy, Outcome Expectation, Interest, and Their Use of Interactive Whiteboards.

The purpose of this descriptive-correlational study was to examine the level of self-efficacy of Oklahoma secondary agricultural education teachers regarding their use of the interactive whiteboard (IWB) in classroom teaching. The study also sought to determine if relationships existed between teachers’ IWB self-efficacy scores, outcome expectation scores, interest scores, and selected personal and professional characteristics. The findings of this study revealed that as age and years of teaching experience increased, levels of self-efficacy and outcome expectations decreased. Therefore, younger and less experienced teachers were more efficacious and had higher expectations regarding the use of IWBs. Further, this study showed that teachers who perceived they used IWBs more frequently demonstrated higher levels of self-efficacy and outcome expectation. Recommendations and implications point to the creation of professional development opportunities for digital immigrant teachers to learn how to use IWBs more effectively and engage students better. In addition, future research should examine how digital native teachers are using IWBs as well as other interactive technologies they may be using in their classrooms.
A retrofitting-based supplementary controller design for enhancing damping performance of wind power systems

In this paper we address the growing concerns of wind power integration from the perspective of power system dynamics and stability. We propose a new retrofit control technique where an additional controller is designed at the doubly-fed induction generator site inside the wind power plant. This controller cancels the adverse impacts of the power flow from the wind side to the grid side on the dynamics of the overall power system. The main advantage of this controller is that it can be implemented by feeding back only the wind states and wind bus voltage without depending on any of the other synchronous machines in the rest of the system. Through simulations of a 4-machine Kundur power system model we show that the retrofit can efficiently enhance the damping performance of the system variable despite very high values of wind penetration.
Examining the role of relationship characteristics and dynamics on sexual risk behavior among gay male couples

approved: S. Marie Harvey Donna Champeau Recent estimates indicate that over 50% of gay men acquire HIV from their main sexual partners while in their relationship (Sullivan et al., 2009). Despite this statistic, the majority of research has focused on individual factors as predictors of unprotected anal intercourse (UAI) and not on relationship factors. The few studies that have examined relationship factors indicate these dynamics are important for better understanding HIV risk among gay male couples. The present study examined how relationship factors of trust, relationship commitment, investment in sexual agreements and other characteristics were associated with risky sexual behaviors among gay male couples in Portland, Oregon and Seattle, Washington. A cross-sectional study design paired with a standard, reciprocal dyadic collection method was used. Data were collected and analyzed from a convenience sample of 142 gay male couples. Descriptive statistics, dyad-level logistic regression, and multilevel modeling to estimate actor-partner effects were used to examine the research hypotheses. Findings indicate that less than half of the couples had a sexual agreement and far fewer chose their agreement to be monogamous. In addition, couples who had a less positive attitude about using condoms with non-main partners and perceived more alternatives to their current sexual relationship were significantly more likely to be at higher risk for HIV. In contrast, couples who were employed were significantly less likely to be at higher risk for HIV. Only actor effects were detected to significantly predict HIV risk among the couples; no partner effects were significant. Using themes that emerged from the study findings, important implications for public health are discussed. More specifically, data indicate a need for future HIV prevention strategies to focus on strengthening communication skills and improving relationship characteristics among gay male couples. Both strategies are needed in order to reduce HIV incidence among gay men and their main sexual partners. Areas of future research must emphasize the importance of collecting dyadic data and incorporating theories and measures that focus on relationship dynamics in order to further our understanding of HIV risk among gay male couples. Copyright by Jason W. Mitchell April 28, 2010 All Rights Reserved Examining the Role of Relationship Characteristics and Dynamics on Sexual Risk Behavior among Gay Male Couples by Jason W. Mitchell A DISSERTATION submitted to Oregon State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy Presented April 28, 2010 Commencement June 2010 Doctor of Philosophy dissertation of Jason W. Mitchell presented on April 28, 2010.
Bullying and Victimization During Early Adolescence

SUMMARY This study examined the association between peer dynamics and bullying behavior among early adolescents. Participants (N= 422) included middle school students in grades 6 through 8 from a small midwestern town. Students completed a 40-minute survey that included demographic questions, self-report and peer-report measures of bullying and victimization as well as measures of other psychosocial variables. Male adolescents self-reported more bullying and were nominated as bullies more often than female adolescents, and older students self-reported more bullying behavior than younger students. Approximately 14.5% of the sample met the criteria for bullying frequently. Cluster analysis yielded five distinct groups of bully/victim subtypes. Bullies had the same number of friends as students who did not bully their peers, and the relation between popularity and bullying behavior was the strongest for 6th grade male adolescents. With respect to peer affiliation and bullying, 75% of bullies nominated fellow bullies as friends, suggesting that bullies hang out with other bullies. Twenty-percent of victims scored within the clinical range on a standard depression and anxiety measure. This study provides initial support for the notion that bullying or teasing might be a strategy for obtaining power and status within the middle school.
Mining the Web and the Internet for Accurate IP Address Geolocations

In this paper, we present Structon, a novel approach that uses Web mining together with inference and IP traceroute to geolocate IP addresses with significantly better accuracy than existing automated approaches. Structon is composed of three ideas which we realize in three corresponding steps. First, we extract geolocation information of Web server IP addresses from Web pages. Second, we devise heuristic algorithms to improve both the accuracy and the coverage of the IP geolocation database using these Web server IP addresses and their geolocations as input. Third, for those segments that are not covered in the first two steps, we use IP traceroute to identify the access routers of those segments. When the location of the access router is known, we can deduce the location of the associated segment since it is co-located together with the access router. By mining 500-million Web pages collected in China in 2006 (11 percent of the total Web pages in China at that time), we are able to identify the geolocations for 103 million IP addresses. This represents nearly 88 percent IP addresses allocated to China in March 2008. Structon is 87.4 percent accurate at city granularity and up to 93.5 percent accurate at province level. We also used 10 day Windows Live client log to evaluate our client IP addresses coverage: Structon identified geolocations of 98.9 percent of client IP addresses.
Adaptive Relay Selection Algorithm Based on Network Coding in 802.16m Network

In 802.16m network, mobile station can choose different transmission schemes: direct transmission, cooperative transmission, or cooperative network coding transmission. Different transmission scheme has different effects on network performance. Particularly relay selection method affects network throughput and the amount of network resource for cooperative transmission and cooperative network coding transmission. In this paper, a novel relay selection algorithm, named RSTRA (Relay Selection algorithm combined Throughput and Resource Allocation), is proposed for different network load. When few mobile nodes request to transmit, which means the amount of network resource is enough, RSTRA will select the correct relay and transmission scheme in order to achieve maximum network throughput. And if a lot of mobile nodes want to transmit, RSTRA will optimize the total amount of resource allocation while satisfying all requests. Simulation results show that RSTRA can get higher throughput than CNCRA algorithm in light network load and it needs less resource amount to achieve the same throughput with CNCRA in heavy network load.
On Ordering Descriptions in a Description Logic

We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination with binary trees to efficiently search a database that corresponds to a finite set of concept descriptions. The language consists of a pair of ordering constructors that support a form of exogenous indexing in which search criteria is independent of data, and a form of endogenous indexing in which the data itself provides search criteria. Our language can be refined in the same way as a description logic in that greater expressiveness and consequent richer search capability is achieved by adding additional ordering constructors.
Analysis of Pilot Decontamination Based on Power Control

A subspace method for channel estimation is proposed for asymmetric antenna array systems. The so-called pilot contamination problem reported in [1] is found to be due to the linearity of channel estimation in [2]. We show that it does not occur in cellular systems with power control and power-controlled handoff when the nonlinear channel estimation method proposed in this paper is used. Power-control hand-off is needed to guarantee separability between signal and interference subspaces. We derive the transmission conditions for subspace separability based on free probability and perturbation theory.
Statistical evaluation of manual segmentation of a diffuse low-grade glioma MRI dataset

Software-based manual segmentation is critical to the supervision of diffuse low-grade glioma patients and to the optimal treatment's choice. However, manual segmentation being time-consuming, it is difficult to include it in the clinical routine. An alternative to circumvent the time cost of manual segmentation could be to share the task among different practitioners, providing it can be reproduced. The goal of our work is to assess diffuse low-grade gliomas' manual segmentation's reproducibility on MRI scans, with regard to practitioners, their experience and field of expertise. A panel of 13 experts manually segmented 12 diffuse low-grade glioma clinical MRI datasets using the OSIRIX software. A statistical analysis gave promising results, as the practitioner factor, the medical specialty and the years of experience seem to have no significant impact on the average values of the tumor volume variable.
Screening for treatable left ventricular abnormalities in diabetic patients

Cardiovascular disease is the leading cause of death in patients with diabetes mellitus. Attempts to improve this statistic tend to focus primarily on the prevention of coronary artery disease. However, coronary artery disease is not the sole cause of cardiac death in diabetic patients; left ventricular dysfunction (LVD) and left ventricular hypertrophy (LVH) are also implicated and, unlike coronary artery disease, are ideal targets for screening. The treatment of left ventricular abnormalities, even when these are asymptomatic, is associated with prognostic benefit. Prescreening diabetic patients with plasma B-type natriuretic peptide (BNP) may permit identification of those who are likely to have left ventricular abnormalities, so that they may be put forward for echocardiography and receive targeted therapy.
Leveraging Mobile Technology to Engage College Students in Scientific Research

College students in the social sciences are required to learn quantitative research methods and statistics. Unfortunately, many fail to see the relevance of these courses, and are often anxious about them. In an effort to increase students' engagement in the research process, we developed Ruzo -- a mobile scientific inquiry platform. Ruzo enables instructors and students to create research projects as custom mobile apps, collect data on the go, and visualize the data using a web-based interactive tool. Ruzo was designed based on five guidelines, derived from interviews with domain experts: guide students through all stages of research; reduce anxiousness; encourage active learning; connect to students' everyday lives; and adapt the system to the needs of the instructor. A user study showed that Ruzo was easy to use, and students expressed interest in research, thereby demonstrating the potential of mobile technology to scaffold scientific inquiry.
A multi-user precoding scheme achieving crosstalk cancellation with application to DSL systems

This paper describes a precoding scheme capable of achieving crosstalk cancellation in scenarios involving communication from a "base station" to a number of geographically dispersed users. We illustrate that joint processing at the "base station" of the transmitted signals of all users can succeed in removing the otherwise resulting crosstalk. The method employed borrows from the concept of the Tomlinson-Harashima (1971, 1972) precoder which is often used for equalization against intersymbol interference (ISI). One possible application of the proposed technique is in digital subscriber line (DSL) systems, where far end crosstalk (FEXT) poses a severe transmission constraint. Simulation results show that significant improvements can be realized in such scenarios.
Effects of zinc-desferrioxamine on Plasmodium falciparum in culture

The zinc-desferrioxamine (Zn-DFO) complex is considered to be more permeative into parasitized erythrocytes than is the metal-free DFO. The former may penetrate the cell and exchange its bound zinc for ferric ions, rendering the iron unavailable for vital parasite functions. The effects of these compounds on the in vitro development of Plasmodium falciparum are compared. The results indicate that Zn-DFO is superior to DFO, especially at concentrations below 20 microM, as shown by decreased levels of hypoxanthine incorporation, lower levels of parasitemia, and interference with the life cycle of the parasite. At low concentrations, DFO even enhanced parasite growth. Such an enhancement was not observed following exposure to Zn-DFO. Experiments in which the compounds were removed from the cultures indicated that parasites treated with Zn-DFO are less likely to recover at a later stage. Since DFO has already been used in humans for the treatment of malaria, its complex with zinc, which is more effective in vitro, should also be examined in vivo.
Cell Signaling : Proteins , Pathways and Mechanisms Altered expression of uncoupling protein 2 in GLP-1-producing cells after chronic high glucose exposure : implications for the pathogenesis of diabetes mellitus

Francesca Urbano, Agnese Filippello, Antonino Di Pino, Davide Barbagallo, Stefania Di Mauro, Alessandro Pappalardo, Agata Maria Rabuazzo, Michele Purrello, Francesco Purrello, and Salvatore Piro Department of Clinical and Experimental Medicine, Garibaldi-Nesima Hospital, University of Catania, Catania, Italy; and Department of BioMedical Sciences and BioTechnology, section of Biology and Genetics Giovanni Sichel, Unit of Molecular, Genome and Complex Systems BioMedicine, University of Catania, Catania, Italy
An Improved DQDS Algorithm

In this paper we present an improved DQDS algorithm for computing all the singular values of a bidiagonal matrix to high relative accuracy. There are two key contributions: a novel deflation strategy that improves the convergence for badly scaled matrices, and some modifications to certain shift strategies that accelerate the convergence for most bidiagonal matrices. These techniques together ensure linear worst case complexity of the improved algorithm (denoted by V5). Our extensive numerical experiments indicate that V5 is typically 1.2x--4x faster than DLASQ (the LAPACK-3.4.0 implementation of DQDS) without any degradation in accuracy. On matrices for which DLASQ shows very slow convergence, V5 can be 3x--10x faster. We develop a hybrid algorithm (HDLASQ) by combining our improvements with the aggressive early deflation strategy (AggDef2 in [Y. Nakatsukasa, K. Aishima, and I. Yamazaki, SIAM J. Matrix Anal. Appl., 33 (2012), pp. 22--51]). Numerical results show that HDLASQ is the fastest among these dif.
Education Assistant Support in Inclusive Western Australian Classrooms: Trialling a Screening Tool in an Australian Context

Education assistants (EAs) who support students with disability in general education classrooms often find themselves in difficult situations. Caught in the firing line between their personal sense of duty, expectations of the classroom teachers, and the challenges that inclusion presents, their roles as primary support agents are anything but clear. In the following article the authors describe the findings from a modification of screening tool on the over-utilisation of paraprofessionals. The 16-item electronic survey focused on factors associated with EA support, conducted in a variety of Western Australian schools. The findings revealed that school community members such as EAs, classroom teachers, administrators and parents observed aspects of EA support that appear counter-productive towards more inclusive pedagogy.
Analysis of simulation environments for mobile ad hoc networks.

This document is directly derived from Deliverable D11 of the EU-funded project BISON [4]. It discusses the characteristics of simulation environments for telecommunications networks, and, more specifically, for mobile ad hoc networks. Different available network simulators are discussed and compared according to a number of criteria ranging from the reliability of the provided simulation models, to the degree of usability of software and graphical interfaces. The aim of the document is to identify the simulation environment which is the most appropriate to run experiments to test and validate the design of novel adaptive routing algorithms developed in the framework of BISON. However, most of the discussions and results hold in general. The document concludes that the (commercial) QualNet [21] simulator appears to be the most satisfactory product currently available.
OTS: An Optimized Method for Efficient Processing of XML Twig Patterns

As a core operation to twig query processing, finding all the occurrences of a twig pattern in an XML document has attracted much attention. Although existing methods are efficient for quires with ancestor-descendant edges, our analysis shows that they all suffer from redundant CPU cost. Moreover, large amount of redundant path solutions may be produced when parent-child edges appeared below branch nodes. We propose an optimized holistic twig join algorithm, namely OTS, towards efficient processing of a twig query. By pre-checking at three steps, OTS can not only reduce the CPU cost but also eliminate redundant path solutions. As a result, it broadens the class of queries with CPU complexity linear with the sum of sizes of the input lists and the output lists. Experimental results on various datasets indicate that OTS performs significantly better than the existing ones.