Miracle-dz/UniFAR-FTUs huggingface dataset:
Prioritizing Use Cases to Aid Ordering of Scenarios

Models are used as the basis for design and testing of software. The Unified Modeling Language(UML) is used to capture and model the requirements of a software system. One of the major requirements of a development process is to detect defects as early as possible. Effective prioritization of scenarios helps in early detection of defects as well maximize effort and utilization of resources. Use case diagrams are used to represent the requirements of a software system. In this paper, we propose using data captured from the primitives of the use case diagrams to aid in prioritization of scenarios generated from activity diagrams. Interactions among the primitives in the diagrams are used to guide prioritization. Customer prioritization of use cases is taken as one of the factors. Preliminary results on a case study indicate that the technique is effective in prioritization of test scenarios.
Teachers' implicit theories of expression in visual arts education: A study of Western Australian teachers

This study examines the differences in the beliefs of primary (elementary) class teachers about the role of expression in visual arts education. The focus is on the relationship between primary teachers’ implicit theories, and expression in their visual arts lessons. ‘Expression’ here, refers to the manifestation of an individual student’s interests or views through visual images. Students’ expression of their personal responses through visual images, is a central intended outcome of the visual arts curriculum in Western Australia (Curriculum Council, 1998). Teachers differ as to whether they give expression in the visual arts, high or low priority. They may see it as a future potentiality dependent upon the acquisition of art skills, techniques and concepts, or as an innate ability, which should be either safeguarded from adult interference or shaped by adult intervention. Despite these differences, teachers tend to understand their own teaching practice as a commonsense reaction to certain imperatives, such as the needs of the students, the limitations of resources, the time-constraints, and the apparently self-evident goals of education. The purpose of this study is to understand the implicit beliefs that underlie teachers’ largely non-reflective descriptions of their teaching practice – beliefs “that are subliminally ingested as a part of general or progressional socialization . [and] that permeate their activities on a daily basis” (Eisner, 1992b, p.306). This study has three main aims: (1) to record and understand WA primary teachers’ views on expression in art education, in order to isolate and analyse the distinct elements of their implicit beliefs; (2) to discover whether the teachers’ implicit beliefs provide the structural basis for their descriptions of teaching practice; and (3) to explore the relationship between the teachers’ implicit beliefs and practice, and the beliefs embedded both in the WA Curriculum Framework, and in the wider theoretical debate on expression in visual arts education. In order to understand teachers’ implicit beliefs about expression in art education, indepth interviews were conducted with nineteen teachers in two primary schools sharing similar workplace conditions. An understanding of how implicit beliefs influenced practice was enriched by observing eight teachers’ art lessons, and by collecting data
Porcine Knock-in Fibroblasts Expressing hDAF on α-1,3-Galactosyltransferase (GGTA1) Gene Locus

The Galactose-α1,3-galactose (α1,3Gal) epitope is responsible for hyperacute rejection in pig-to-human xenotransplantation. Human decay-accelerating factor (hDAF) is a cell surface regulatory protein that serves as a complement inhibitor to protect self cells from complement attack. The generation of α1,3-galactosyltransferase (GGTA1) knock-out pigs expressing DAF is a necessary step for their use as organ donors for humans. In this study, we established GGTA1 knock-out cell lines expressing DAF from pig ear fibroblasts for somatic cell nuclear transfer. hDAF expression was detected in hDAF knock-in heterozygous cells, but not in normal pig cells. Expression of the GGTA1 gene was lower in the knock-in heterozygous cell line compared to the normal pig cell. Knock-in heterozygous cells afforded more effective protection against cytotoxicity with human serum than with GGTA1 knock-out heterozygous and control cells. These cell lines may be used in the production of GGTA1 knock-out and DAF expression pigs for xenotransplantation.
Implementation of FPGA based fast DOA estimator using unitary MUSIC algorithm [cellular wireless base station applications]

This paper proposes the practical implementation of a DOA estimation system, using an FPGA (field programmable gate array), that is a key technique in the realization of the DOA-based adaptive array antenna for cellular wireless base-stations. It incorporates the spectral unitary MUSIC (multiple signal classification) algorithm, which is one of the representative super resolution DOA estimation techniques. This paper describes the DSP design and real hardware implementation of the unitary MUSIC algorithm. This system achieves a high performance in the eigenvalue decomposition (EVD) and MUSIC angular spectra computation with a cyclic Jacobi processor based on CORDIC (coordinate rotation digital computer) and spatial DFT (discrete Fourier transform), respectively. All DSP functions are computed by only fixed-point operation with finite bit-length to meet the requirements of fast processing and low power consumption due to the simplified and optimized architecture.
Economic Indicators as Predictors of the Number and Fuel Economy of Purchased New Vehicles

This study examined the relationship between two economic indicators--the unemployment rate and the price of gasoline--and purchase decisions of new vehicle buyers. Two regression analyses were performed, one focusing on the number of vehicles purchased and the other one on their fuel economy. Both analyses used monthly data from October 2007 through April 2009. There are three main findings. First, during the 19 months examined, the average fuel economy of purchased light-duty vehicles improved by a substantial amount--1.1 mpg. Second, both the unemployment rate and the price of gasoline contributed significantly to accounting for the fuel economy of purchased vehicles in the expected positive direction. Third, while there was a significant negative relationship between the unemployment rate and the number of vehicles purchased, the price of gasoline did not significantly increase the predictive power of the model.
Multizone soundfield reproduction using orthogonal basis expansion

We introduce a method for 2-D spatial multizone soundfield reproduction based on describing the desired multizone soundfield as an orthogonal expansion of basis functions over the desired reproduction region. This approach finds the solution to the Helmholtz equation that is closest to the desired soundfield in a weighted least squares sense. The basis orthogonal set is formed using QR factorization with as input a suitable set of solutions of the Helmholtz equation. The coefficients of the Helmholtz solution wavefields can then be calculated, reducing the multizone sound reproduction problem to the reconstruction of a set of basis wavefields over the desired region. The method facilitates its application with a more practical loudspeaker configuration. The approach is shown effective for both accurately reproducing sound in the selected bright zone and minimizing sound leakage into the predefined quiet zone.
An electrical model of the cell-electrode interface for high-density microelectrode arrays

A point-contact model is presented, and an area-contact model has been analytically derived in order to model the electrical characteristic of the cell-electrode interface of high-density neuron cultures. The area-contact model is presented as a model more suitable for subcellular multi-electrode resolution, which is a requisite for modeling and simulating the electrical behavior of novel high-density microelectrode arrays. Furthermore, when the electrode is aligned and centered with the cell, an optimum electrode diameter for recording the electrical activity of neural cells can be analytically derived, which is between 7–8 μm with a typical load capacitance of 10 pF.
Major Sperm Protein Genes from Globodera rostochiensis 1

Three genes in the major sperm protein (MSP) gene family from the potato cyst nematode Globodera rostochiensis were cloned and sequenced. In contrast to the absence of introns in Caenorhabditis elegans MSP genes, these genes in G. rostochiensis contained a 57 nucleotide intron, with normal exon-intron boundaries, in the same relative location as the intron in Onchocerca volvulus. The MSP genes of G. rostochiensis had putative CAAT, TATA, and polyadenylation signals. The predicted G. rostochiensis MSP gene product is 126 amino acids long, one residue shorter than the products in the other species. The comparison of MSP amino acid sequences from four diverse nematode species suggests that O. volvulus, Ascaris suum, and C. elegans may be more closely related to each other than they are to G. rostochiensis.
Optimize the series LC design of a quasi proportional-resonant controlled hybrid active power filter for harmonic compensation

The LC hybrid active power filter (LC-HAPF) is able to compensate reactive power and harmonics with operating voltage lower than the grid voltage. The quasi proportional-resonant (PR) controller could reduce the current tracking error by increasing the open loop gain at the selected frequency. Multiple PR controllers have been adopted for improving harmonic compensation in LCL filter coupled grid-connected inverter. In this paper, the system response of the LC-HAPF is analyzed. Results indicate that the series LC coupling branch could increase the open loop gain at its resonant frequency, which has almost the same effect as a PR controller. Therefore, only one quasi-PR controller is used to reduce fundamental frequency current tracking error of the LC-HAPF. Furthermore, a LC coupling impedance selection method is proposed, in which both low order harmonic compensation and switching frequency ripples suppression are considered. Simulation and experimental results are provided to show the validity of the proposed LC design method. It can be concluded that the LC-HAPF is able to compensate harmonics without adding multiple PR controllers. The switching frequency ripples are also attenuated without using a LC or a LCL filter.
This Paper Presents Development of Received Signal Strength Indicator (rssi) Model of an Indoor Environment Using Telosb Sensor Nodes. Real-time Measurement of the Rssi Was Done Extensively at the Corridor of the First Floor of Goddian Ezekwem Building

The characteristics of RSSI shows that the received signal strength will decrease with increased distance but sometimes due to multipath effects there are variations and fluctuations in the received signal strengths. In order to analyse and evaluate signal measurements in an environment, it deem necessary to denote the pattern of the signal flow. This paper presents development of Received Signal Strength Indicator (RSSI) model of an indoor environment using TelosB sensor nodes. Real-time measurement of the RSSI was done extensively at the corridor of the first floor of Goddian Ezekwem building, faculty of Engineering Nnamdi Azikiwe University, Awka for several months. The average of the measurement was taken and used for the development of the RSSI model. Least Mean Square Error (LMSE) method of linear regression analysis was used to develop the model. The developed model was tested and the goodness of fit (R) of the model was determined to be 0.86. This confirmed that the model can be used to determine the RSSI at any given distance of an environment with similar radio
Early Prediction of Ongoing Hemorrhage in Severe Trauma: Presentation of the Existing Scoring Systems

Early prediction of ongoing hemorrhage may reduce mortality via the earlier delivery of blood products, adequate orientation of the patient in a dedicated highly specialized and trained infrastructure, and by earlier correction of acute traumatic coagulopathy. We identified 14 scores or algorithms developed for the prediction of ongoing hemorrhage and the need for massive transfusion in severe trauma patients.
Challenges facing Australian counselling psychologists: A qualitative analysis

Objective In the last decade, Australian counselling psychologists have seen a decline in the profession as academic programs close and their professional identity diminishes. In 2006, the Federal Government introduced the Better Access mental health initiative, which provides Medicare (Australia's national public health insurance scheme) funding for the community to access psychological services. While the Better Access initiative has been successful for consumers, it has created significant tensions within the psychology profession, offering higher rebates for services offered by a clinical psychologist. The literature highlights that the Better Access system has placed counselling psychology in a vulnerable position. Is this the only threat to the profession? This study sought to establish what Australian counselling psychologists perceive as the challenges facing the profession. Method A web‐based survey was distributed to Australian counselling psychologists seeking information on a range of demographic and professional characteristics. The survey collected information on various aspects of professional identity and practice. Respondents were asked to identify what they see as the challenges facing counselling psychology. Results The main challenges highlighted were related to inequalities in rebate schemes between clinical and counselling psychologists, ingrained biases towards clinical psychology resulting in power imbalances, divides, and in‐fighting within the profession, difficulties demarcating the unique identity of counselling psychologists (both from within and outside), and changes threatening the existence of counselling psychology as a viable training pathway in Australia. Conclusion This paper explores the current challenges to the profession, recommendations for change at the individual and system levels, and directions for the future of the profession.
Understanding the mobility pattern of passenger-searching taxis

The study of taxi drivers' behavior has always been a hot topic and help us gain a better understanding to some social phenomenon such as traffic congestion and population mobility. This paper made a deep research about the taxi's mobility pattern based on the data collected from taxis in Beijing. Unlike previous work, we took only the empty-running taxis' traces as our target and found that the mobility of empty taxis which are looking for passengers exhibited truncated Lévy flight behavior. The trip length distribution can be well fitted by an improved truncated power law and the scaling exponent is α = 1.4. The trip direction distributed uniformly under the street layout of Beijing, nearly being 1 : 1 : 1 : 1 in east, south, west and north. Besides, the distribution shows a strong correlation with the distribution of road segments direction in Beijing, and were deeply influenced by the population density as well.
The Feasibility and Validity of a Remote Pulse Oximetry System for Pulmonary Rehabilitation: A Pilot Study

Pulmonary rehabilitation is an effective treatment for people with chronic obstructive pulmonary disease. However, access to these services is limited especially in rural and remote areas. Telerehabilitation has the potential to deliver pulmonary rehabilitation programs to these communities. The aim of this study was threefold: to establish the technical feasibility of transmitting real-time pulse oximetry data, determine the validity of remote measurements compared to conventional face-to-face measures, and evaluate the participants' perception of the usability of the technology. Thirty-seven healthy individuals participated in a single remote pulmonary rehabilitation exercise session, conducted using the eHAB telerehabilitation system. Validity was assessed by comparing the participant's oxygen saturation and heart rate with the data set received at the therapist's remote location. There was an 80% exact agreement between participant and therapist data sets. The mean absolute difference and Bland and Altman's limits of agreement fell within the minimum clinically important difference for both oxygen saturation and heart rate values. Participants found the system easy to use and felt confident that they would be able to use it at home. Remote measurement of pulse oximetry data for a pulmonary rehabilitation exercise session was feasible and valid when compared to conventional face-to-face methods.
Dynamic Changes in Brain Activity during Prism Adaptation

Prism adaptation does not only induce short-term sensorimotor plasticity, but also longer-term reorganization in the neural representation of space. We used event-related fMRI to study dynamic changes in brain activity during both early and prolonged exposure to visual prisms. Participants performed a pointing task before, during, and after prism exposure. Measures of trial-by-trial pointing errors and corrections allowed parametric analyses of brain activity as a function of performance. We show that during the earliest phase of prism exposure, anterior intraparietal sulcus was primarily implicated in error detection, whereas parieto-occipital sulcus was implicated in error correction. Cerebellum activity showed progressive increases during prism exposure, in accordance with a key role for spatial realignment. This time course further suggests that the cerebellum might promote neural changes in superior temporal cortex, which was selectively activated during the later phase of prism exposure and could mediate the effects of prism adaptation on cognitive spatial representations.
Hybrid control laws from convex dynamic programming

In our previous paper (1999), we showed how classical ideas for dynamic programming in discrete networks can be adapted to hybrid systems. The approach is based on discretization of the continuous Bellman inequality which gives a lower bound on the optimal cost. The lower bound is maximized by linear programming to get an approximation of the optimal solution. In this paper, we apply ideas from infinite-dimensional convex analysis to get an inequality which is dual to the well known Bellman inequality. The result is a linear programming problem that gives an estimate of the approximation error in the previous numerical approaches.
Analysis of the Effect of Space Radiations on the Nematode, Caenorhabditis elegans , through the Simulated Space Radiation

In this study, we simulated space flight of the nematode, Caenorhabditis elegans, on the ground and examined how it is affected by space radiation and G-forces. We simulated G-forces during launch in a gravity acceleration laboratory device in order to identify and isolate the effects of the G-forces. Following this, we irradiated C. elegans with accelerated protons (MC-50 Cyclotron) and gamma rays (iR 222 machine) at the same physical dose. We calculated the expected radiation dose according to Reitz [1] and simulation programs (NASA AP8MIN [2], NASA AE8MAX [2], and CREAM86 [3]) for 1 month (dose rate: 6 × 10-3 Gy; 2.8 × 10-2 Gy), 6 months (dose rate: 36 × 10-3 Gy; 16.8 × 10-2 Gy), and 2 years (dose rate: 144 × 10-3 Gy; 67.2 × 10-2 Gy) of space flight. There have been several trials that aimed to take C. elegans into orbit on US space shuttle missions including a mission on the shuttle Columbia. In this study, we simulated longer duration space flights and performed a whole-genome microarray analysis to observe phenotype variations whereas most such experiments were carried out during short duration space flights and focused on mutations and genotypic variations. We expect that the results of this study will be useful to predict the effects of long-term exposure of space radiation on living organisms.
Establishing Reliable miRNA-Cancer Association Network Based on Text-Mining Method

Associating microRNAs (miRNAs) with cancers is an important step of understanding the mechanisms of cancer pathogenesis and finding novel biomarkers for cancer therapies. In this study, we constructed a miRNA-cancer association network (miCancerna) based on more than 1,000 miRNA-cancer associations detected from millions of abstracts with the text-mining method, including 226 miRNA families and 20 common cancers. We further prioritized cancer-related miRNAs at the network level with the random-walk algorithm, achieving a relatively higher performance than previous miRNA disease networks. Finally, we examined the top 5 candidate miRNAs for each kind of cancer and found that 71% of them are confirmed experimentally. miCancerna would be an alternative resource for the cancer-related miRNA identification.
Reducing the Size of the Representation for the uDOP-Estimate

The unsupervised Data Oriented Parsing (uDOP) approach has been repeatedly reported to achieve state of the art performance in experiments on parsing of different corpora. At the same time the approach is demanding both in computation time and memory. This paper describes an approach which decreases these demands. First the problem is translated into the generation of probabilistic bottom up tree automata (pBTA). Then it is explained how solving two standard problems for these automata results in a reduction in the size of the grammar. The reduction of the grammar size by using efficient algorithms for pBTAs is the main contribution of this paper. Experiments suggest that this leads to a reduction in grammar size by a factor of 2. This paper also suggests some extensions of the original uDOP algorithm that are made possible or aided by the use of tree automata.
Using an Emotional Intelligent Agent to Improve the Learner ’ s Performance

Emotions are now seen as closely related to cognition processes including decision-making, memory, attention, etc. Thus, e-learning environments have begun to take into consideration the emotional state of the learner in order to enhance his performance. In this paper, we present an agent architecture that includes some emotional intelligence capabilities; we describe each of its components: The perception module, the control module and the action module. These modules are intended respectively to: (1) know the current emotion of the learner; (2) detect when to intervene, basing on the appraisal theory, to change the emotional state of the learner; (3) and induce the optimal emotional state for learning.
Brain decoding of fMRI connectivity graphs using decision tree ensembles

Functional connectivity analysis of fMRI data can reveal synchronized activity between anatomically distinct brain regions. Here, we exploit the characteristic connectivity graphs of task and resting epochs to perform classification between these conditions. Our approach is based on ensembles of decision trees, which combine powerful discriminative ability with interpretability of results. This makes it possible to extract discriminative graphs that represent a subset of the connections that distin-guish best between the experimental conditions. Our experimental results also show that the method can be applied for group-level brain decoding.