Miracle-dz/UniFAR-FTUs huggingface dataset:
A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagrams

We present a novel methodology for test case generation based on UML sequence diagrams. We create message dependence graphs (MDG) from UML sequence diagrams. Edge marking dynamic slicing method is applied on MDG to create slices. Based on the slice created with respect to each predicate on the sequence diagram, we generate test data. We formulate a test adequacy criterion named slice coverage criterion. Test cases that we generate achieves slice coverage criterion. Our approach achieves slice test coverage with few test cases. We generate eective test cases for cluster level testing.
Reactive oxygen species‐dependent destruction of MEK and Akt in Manumycin stimulated death of lymphoid tumor and myeloma cell lines

Manumycin‐A (Man‐A) is a farnesyltransferase inhibitor (FTI), which was originally identified as an effective tumoricide against several cancers, especially ones harboring constitutively active Ras. However, it is becoming apparent that Man‐A can stimulate tumor death independently of FTases. Antioxidant treatment blocked Man‐A‐stimulated DNA damage and reversed Man‐A‐inhibited tumor growth. However, the precise molecular details of how these reactive oxygen species (ROS) influence cell signaling modules are poorly understood. We examined how ROS may modulate death and survival pathways in a panel of tumor cells. Man‐A treatment resulted in a massive induction of superoxide anion (·O2−) only in Man‐A‐sensitive tumors. Within 1 hr, Man‐A caused the ROS‐dependent activation of caspases 9 and 3. In this time‐frame, the Ras‐Raf target, MEK, and the survival protein Akt were dephosphorylated in ROS‐dependent fashions and then cleaved in ROS and caspase‐dependent manners. Pretreatment with ROS scavengers blocked the adverse effects of Man‐A, including the processing of caspases and the cleavage of MEK and Akt. These events were noted before any losses in Ras activity or changes in its maturation could be detected. Finally, transfection with cDNAs encoding the antioxidant enzymes catalase, superoxide dismutase and thioredoxin reductase inhibited superoxide induction and apoptosis. Together, our data suggest that the elimination of tumors by Man‐A can be independent of the inhibiting of Ras. However, one universal feature observed is the generation of death‐triggering intracellular oxidants that appear to directly participate in the select targeting of growth and survival proteins that then either augment or ensure tumor cell death. © 2007 Wiley‐Liss, Inc.
Multi-Granularity Knowledge Mining on the Web

We tackle the problem of knowledge mining on the Web. In this paper, we propose MGKM algebraic system for iterative search documents sets, and then develop an approach to extract topics on the web with Multi-Granularity Knowledge Mining algorithm (MGKM). The proposed approach maps the data space of the original method to a vector space of sentence, improving the original DBCO algorithm. We outline the interface between our scheme and the current data Web, and show that, in contrast to the existing approaches, no exponential blowup is produced by the MGKM. Based on the experiments with real-world data sets of 310 users in three study sites, we demonstrate that knowledge mining in the proposed approach is efficient, especially for large-scale web learning resources. According to the user ratings data of four learning sites in the 150 days, the average rate of increase of user rating after the system is used reaches 25.18%.
High-Performance and Scalable GPU Graph Traversal

Breadth-First Search (BFS) is a core primitive for graph traversal and a basis for many higher-level graph analysis algorithms. It is also representative of a class of parallel computations whose memory accesses and work distribution are both irregular and data dependent. Recent work has demonstrated the plausibility of GPU sparse graph traversal, but has tended to focus on asymptotically inefficient algorithms that perform poorly on graphs with nontrivial diameter. We present a BFS parallelization focused on fine-grained task management constructed from efficient prefix sum computations that achieves an asymptotically optimal O(|V| + |E|) gd work complexity. Our implementation delivers excellent performance on diverse graphs, achieving traversal rates in excess of 3.3 billion and 8.3 billion traversed edges per second using single- and quad-GPU configurations, respectively. This level of performance is several times faster than state-of-the-art implementations on both CPU and GPU platforms.
Spatial Analysis of Slowly Oscillating Electric Activity in the Gut of Mice Using Low Impedance Arrayed Microelectrodes

Smooth and elaborate gut motility is based on cellular cooperation, including smooth muscle, enteric neurons and special interstitial cells acting as pacemaker cells. Therefore, spatial characterization of electric activity in tissues containing these electric excitable cells is required for a precise understanding of gut motility. Furthermore, tools to evaluate spatial electric activity in a small area would be useful for the investigation of model animals. We thus employed a microelectrode array (MEA) system to simultaneously measure a set of 8×8 field potentials in a square area of ∼1 mm2. The size of each recording electrode was 50×50 µm2, however the surface area was increased by fixing platinum black particles. The impedance of microelectrode was sufficiently low to apply a high-pass filter of 0.1 Hz. Mapping of spectral power, and auto-correlation and cross-correlation parameters characterized the spatial properties of spontaneous electric activity in the ileum of wild-type (WT) and W/Wv mice, the latter serving as a model of impaired network of pacemaking interstitial cells. Namely, electric activities measured varied in both size and cooperativity in W/Wv mice, despite the small area. In the ileum of WT mice, procedures suppressing the excitability of smooth muscle and neurons altered the propagation of spontaneous electric activity, but had little change in the period of oscillations. In conclusion, MEA with low impedance electrodes enables to measure slowly oscillating electric activity, and is useful to evaluate both histological and functional changes in the spatio-temporal property of gut electric activity.
Domain Adaptable Semantic Clustering in Statistical NLG

We present a hybrid natural language generation system that utilizes Discourse Representation Structures (DRSs) for statistically learning syntactic templates from a given domain of discourse in sentence “micro” planning. In particular, given a training corpus of target texts, we extract semantic predicates and domain general tags from each sentence and then organize the sentences using supervised clustering to represent the “conceptual meaning” of the corpus. The sentences, additionally tagged with domain specific information (determined separately), are reduced to templates. We use a SVM ranking model trained on a subset of the corpus to determine the optimal template during generation. The combination of the conceptual unit, a set of ranked syntactic templates, and a given set of information, constrains output selection and yields acceptable texts. Our system is evaluated with automatic, non–expert crowdsourced and expert evaluation metrics and, for generated weather, financial and biography texts, falls within acceptable ranges. Consequently, we argue that our DRS driven statistical and template–based method is robust and domain adaptable as, while content will be dictated by a target domain of discourse, significant investments in sentence planning can be minimized without sacrificing performance.
Factor Analyses of the Parenting Stress Survey Using a Clinical Sample and its Clinical Implications

ii Dedication.iv Acknowledgements.v Vita.vi List of Tables.viii List of Figures.x Chapter 1: Introduction.1 Chapter 2: Method.22 Chapter 3: Results.38 Chapter 4: Discussion.53 References.59 Appendix A: An Alternative for Combining Responses for EFA.67 Appendix B: Variance and Covariance Matrix for 25 PSS items.75 Appendix C: 23-Item 5, 7, and 8 factor solutions.77
Audio Scene Understanding using Topic Models

This paper introduces a method to apply the topic models in an audio scene understanding framework. Assuming that an audio signal consists of latent topics that generate acoustic words describing an audio scene, we propose to use a vector quantization method to build an acoustic word dictionary. The classification experiments with semantic labels yield promising results of using the topic models, compared to the conventional GMM-based approach, in audio scene understanding tasks.
Method of islanding operation prevention using change of frequency

PURPOSE: An anti-islanding method using the frequency change is provided to prevent the islanding operation of an energy power plant by using the frequency when the system is blocked. CONSTITUTION: A zero voltage is detected by sensing one of selected from three-phase voltages(Va,Vb,Vc) outputted from a three phase inverter(S401). A frequency is detected from the detected voltage(S402). The frequency change is detected by using the difference between the detected frequency and a fundamental frequency(S403). An addition of an reactive power is detected(S407). A control module blocks the islanding by deciding the generation of the anti-islanding of the inverter(S408).
Finite Element simulations of blood flow in the Circle of Willis Master Thesis

First of all I want to thank my supervisor Kent-Andre Mardal for his guidance. He has always been available for questions and discussions when needed. Simula readily provided the computer resources necessary for all the heavy simulations, together with an inspiring working environment. Thanks to all the people at Simula who have provided the latter. Another thanks go to Dr. Jørgen Isaksen and Dr. Tor Ingebrigtsen at the University Hospital of North Norway for help with finalizing the geometric model of the Circle of Willis, and for help in searching the medical literature for articles I used in validation of the simulations. Thanks to my uncle Svein for the hospitality in Tromsø during my visit to UNN. A five year long study now comes to an end, and in that context it is appropriate to show my gratitude to the people who have been around me during this period. I particularly wish to thank my fellow student Trygve Karper for all the discussions, inspiration and great collaboration we have enjoyed throughout the study. He also wrote the first version of the grid generation tools together with me in July 2005. The weekly game evenings with Tommy André Nyquist, Johannes Oudenstad, Atle Einarsson, Thomas Levy and Andreas Marienborg have been a great way to get my mind off the thesis for a short while. And finally all the other students at B802, Drivhuset and Realistforeningen have provided a social study environment during all these years. Last, but not the least, thanks to mom and dad, and my sisters Åste and Vilde, for all their love and support through the years.
Kinect and RGBD Images: Challenges and Applications

Kinect is a device introduced in November 2010 as an accessory of Xbox 360. The acquired data has different and complementary natures, combining geometry with visual attributes. For this reason, Kinect is a flexible tool that can be used in applications from several areas such as: Computer Graphics, Image Processing, Computer Vision and Human-Machine Interaction. In this way, the Kinect is a widely used device in industry (games, robotics, theater performers, natural interfaces, etc.) and in research. We will initially present some concepts about the device: the architecture and the sensor. We then will discuss about the data acquisition process: capturing, representation and filtering. Capturing process consists of obtaining a colored image (RGB) and performing a depth measurement (D), with structured light technique. This data is represented by a structure called RGBD Image. We will also talk about the main tools available for developing applications on various platforms. Furthermore, we will discuss some recent projects based on RGBD Images. In particular, those related to Object Recognition, 3D Reconstruction, Augmented Reality, Image Processing, Robotic, and Interaction. In this survey, we will show some research developed by the academic community and some projects developed for the industry. We intend to show the basic principles to begin developing applications using Kinect, and present some projects developed at the VISGRAF Lab. And finally, we intend to discuss the new possibilities, challenges and trends raised by Kinect.
Identification and characterization of the NMDA receptor and its role in regulating reproduction in the cockroach Diploptera punctata

ABSTRACT The NMDA receptor (NMDAR) plays important roles in excitatory neurotransmission and in the regulation of reproduction in mammals. NMDAR in insects comprises two subunits, NR1 and NR2. In this study, we identified two NR1 paralogs and eleven NR2 alternatively spliced variants in the cockroach Diploptera punctata. This is the first report of NR1 paralogs in insects. The tissue distributions and expression profiles of DpNR1A, DpNR1B and DpNR2 in different tissues were also investigated. Previous studies have demonstrated NMDA-stimulated biosynthesis of juvenile hormone (JH) in the corpora allata through the influx of extracellular Ca2+ in Diploptera punctata. However, our data show that the transcript levels of DpNR1A, DpNR1B and DpNR2 were low in the corpora allata. MK-801, a high-affinity antagonist of NMDAR, did not show any effect on JH biosynthesis in vitro. In addition, neither partial knockdown of DpNR2 nor in vivo treatment with a physiologically relevant dose of MK-801 resulted in any significant change in JH biosynthesis or basal oocyte growth. Injection of animals with a high dose of MK-801 (30 µg per animal per injection), which paralyzed the animals for 4–5 h, resulted in a significant decrease in JH biosynthesis on days 4 and 5. However, the reproductive events during the first gonadotrophic cycle in female D. punctata were unaffected. Thus, NMDAR does not appear to play important roles in the regulation of JH biosynthesis or mediate reproduction of female D. punctata. Summary: The NMDA receptor in cockroaches does not appear to be involved in the regulation of JH biosynthesis and has no effect on female reproduction.
Effect of diaphragm perforation on quality factor of hemispherical resonator gyroscope

In this work, thermoelastic damping (TED) effect of diaphragm perforation on a hemispherical resonator is investigated, and is experimentally shown to improve the quality factor of the resonator. Specifically, this paper reports the quality factor improvement of a very high Q hemispherical resonator gyroscope (HRG) through making a hole on the micromachined HRG's shell. A hole (200μm in diameter) at the apex of a hemispherical shell (600μm in diameter) increases the Q and thereby ring down time by more than 50% and 100% experimentally and theoretically, respectively, for the HRG at an n=2 resonant frequency of 170kHz. Adding such a hole increases the resonant frequency only a few percent.
Multiple Paternity in Ixodes ricinus (Acari: Ixodidae), Assessed by Microsatellite Markers

This investigation examines multiple paternity in Ixodes ricinus (Acari: Ixodidae). Previous studies have shown that multiple mating occurs in this tick, but this is the first evaluation of multiple paternity. Three family groups were examined by a panel of polymorphic microsatellite loci; all ticks were bred from wild-collected engorged females with a copulating male attached. For most larvae, the attached males could be excluded as possible sire, and in the 3 tested families, at least 2 of 3 females mated successfully with more than 1 male. This finding suggests that multiple paternity is a common reproductive strategy in I. ricinus, which may have consequences for the ticks' dispersal success by increasing the genetic diversity in broods from single females colonizing new sites.
Targeting HIV-1 integrase

Human immunodeficiency virus Type 1 (HIV-1) integrase is an essential enzyme for the obligatory integration of the viral DNA into the infected cell chromosome. As no cellular homologue of HIV integrase has been identified, this unique HIV-1 enzyme is an attractive target for the development of new therapeutics. Treatment of HIV-1 infection and AIDS currently consists of the use of combinations of HIV-1 inhibitors directed against reverse transcriptase (RT) and protease. However, their numerous side effects and the rapid emergence of drug-resistant variants limit greatly their use in many AIDS patients. In principle, inhibitors of the HIV-1 integrase should be relatively non-toxic and provide additional benefits for AIDS chemotherapy. There have been many major advances in our understanding of the molecular mechanism of the integration reaction, although some critical aspects remain obscure. Several classes of compounds have been screened and further scrutinised for their inhibitory properties against the HIV integrase; however, there are currently no useful inhibitors available clinically for the treatment of AIDS patients. This review describes the current knowledge of the biological functions of the HIV-1 integrase and reports the major classes of integrase inhibitors identified to date.
Body Movement Synchrony in Psychotherapeutic Counseling: A Study Using the Video-Based Quantification Method

Body movement synchrony (i.e. rhythmic synchronization between the body movements of interacting partners) has been described by subjective impressions of skilled counselors and has been considered to reflect the depth of the client-counselor relationship. This study analyzed temporal changes in body movement synchrony through a video analysis of client-counselor dialogues in counseling sessions. Four 50-minute psychotherapeutic counseling sessions were analyzed, including two negatively evaluated sessions (low evaluation groups) and two positively evaluated sessions (high evaluation groups). In addition, two 50-minute ordinary advice sessions between two high school teachers and the clients in the high rating group were analyzed. All sessions represent role-playing. The intensity of the participants' body movement was measured using a video-based system. Temporal change of body movement synchrony was analyzed using moving correlations of the intensity between the two time series. The results revealed (1) A consistent temporal pattern among the four counseling cases, though the moving correlation coefficients were higher for the high evaluation group than the low evaluation group and (2) Different temporal patterns for the counseling and advice sessions even when the clients were the same. These results were discussed from the perspective of the quality of client-counselor relationship.
Mu Kappa Chapter, Kappa Alpha Psi Fraternity Inc.: An Ethnographic Study of Academic Persistence and Personal Development

The scarcity of empirical research on the impact of Black Greek letter organizations on academic achievement and personal development remains problematic. The purpose of this qualitative ethnographic study was to discover the role of Kappa Alpha Psi in the academic persistence and personal development of eight alumni members over the last 30 years from one high achieving chapter located at the State University of New York Center at Binghamton. Participation was delimited to those who joined the organization no later than their sophomore year of college. The study utilized a purposeful sample technique to identify and select the eight chapter participants who participated in individual structured open-ended interviews. Five themes emerged from the data collected during the interviews – the importance of brotherhood, achievement, personal development, mentoring, and community service. Peer expectations, mentoring and active participation in community service created an atmosphere of academic achievement and personal development amongst the members. This study provided empirical support to the idea that involvement Black Greek letter organizations can breed the qualities that colleges and universities are spending considerable amounts of funds and human resources to develop. Degree Type Dissertation Degree Name Doctor of Education (EdD) Department Executive Leadership First Supervisor Janice Kelly Second Supervisor Byron Hargrove Subject Categories Education This dissertation is available at Fisher Digital Publications: http://fisherpub.sjfc. edu/education_etd/112 Mu Kappa Chapter, Kappa Alpha Psi Fraternity Inc.: An Ethnographic Study of Academic Persistence and Personal Development By Joseph Elizer Cordero Submitted in partial fulfillment of the requirements for the degree Ed.D. in Executive Leadership Supervised by Janice Kelly, Ph.D. Byron Hargrove, Ph.D. Committee Member Ralph C. Wilson, Jr. School of Education St. John Fisher College
Single cell lineage analysis of mouse embryonic stem cells at the exit from pluripotency

Summary Understanding how interactions between extracellular signalling pathways and transcription factor networks influence cellular decision making will be crucial for understanding mammalian embryogenesis and for generating specialised cell types in vitro. To this end, pluripotent mouse Embryonic Stem (mES) cells have proven to be a useful model system. However, understanding how transcription factors and signalling pathways affect decisions made by individual cells is confounded by the fact that measurements are generally made on groups of cells, whilst individual mES cells differentiate at different rates and towards different lineages, even in conditions that favour a particular lineage. Here we have used single-cell measurements of transcription factor expression and Wnt/&bgr;-catenin signalling activity to investigate their effects on lineage commitment decisions made by individual cells. We find that pluripotent mES cells exhibit differing degrees of heterogeneity in their expression of important regulators from pluripotency, depending on the signalling environment to which they are exposed. As mES cells differentiate, downregulation of Nanog and Oct4 primes cells for neural commitment, whilst loss of Sox2 expression primes cells for primitive streak commitment. Furthermore, we find that Wnt signalling acts through Nanog to direct cells towards a primitive streak fate, but that transcriptionally active &bgr;-catenin is associated with both neural and primitive streak commitment. These observations confirm and extend previous suggestions that pluripotency genes influence lineage commitment and demonstrate how their dynamic expression affects the direction of lineage commitment, whilst illustrating two ways in which the Wnt signalling pathway acts on this network during cell fate assignment.