Miracle-dz/UniFAR-FTUs huggingface dataset:
Strong simulation

Graph pattern matching is finding all matches in a data graph for a given pattern graph and is often defined in terms of subgraph isomorphism, an NP-complete problem. To lower its complexity, various extensions of graph simulation have been considered instead. These extensions allow graph pattern matching to be conducted in cubic time. However, they fall short of capturing the topology of data graphs, that is, graphs may have a structure drastically different from pattern graphs they match, and the matches found are often too large to understand and analyze. To rectify these problems, this article proposes a notion of strong simulation, a revision of graph simulation for graph pattern matching. (1) We identify a set of criteria for preserving the topology of graphs matched. We show that strong simulation preserves the topology of data graphs and finds a bounded number of matches. (2) We show that strong simulation retains the same complexity as earlier extensions of graph simulation by providing a cubic-time algorithm for computing strong simulation. (3) We present the locality property of strong simulation which allows us to develop an effective distributed algorithm to conduct graph pattern matching on distributed graphs. (4) We experimentally verify the effectiveness and efficiency of these algorithms using both real-life and synthetic data.
Role of Dok-1 and Dok-2 in Leukemia Suppression

Chronic myelogenous leukemia (CML) is characterized by the presence of the chimeric p210bcr/abl oncoprotein that shows elevated and constitutive protein tyrosine kinase activity relative to the normal c-abl tyrosine kinase. Although several p210bcr/abl substrates have been identified, their relevance in the pathogenesis of the disease is unclear. We have identified a family of proteins, Dok (downstream of tyrosine kinase), coexpressed in hematopoietic progenitor cells. Members of this family such as p62dok(Dok-1) and p56dok-2(Dok-2) associate with the p120 rasGTPase-activating protein (rasGAP) upon phosphorylation by p210bcr/abl as well as receptor and nonreceptor tyrosine kinases. Here, we report the generation and characterization of single and double Dok-1 or Dok-2 knockout (KO) mutants. Single KO mice displayed normal steady-state hematopoiesis. By contrast, concomitant Dok-1 and Dok-2 inactivation resulted in aberrant hemopoiesis and Ras/MAP kinase activation. Strikingly, all Dok-1/Dok-2 double KO mutants spontaneously developed transplantable CML-like myeloproliferative disease due to increased cellular proliferation and reduced apoptosis. Furthermore, Dok-1 or Dok-2 inactivation markedly accelerated leukemia and blastic crisis onset in Tec-p210 bcr/abl transgenic mice known to develop, after long latency, a myeloproliferative disorder resembling human CML. These findings unravel the critical and unexpected role of Dok-1 and Dok-2 in tumor suppression and control of the hematopoietic compartment homeostasis.
Hydrologic modelling on a catchment scale using GIS and remote sensed land use information

A spatially distributed hydrologic model is presented for simulation of runoff in a river basin. The generation of runoff is triggered by the rain intensity and soil moisture status, and is calculated as the net precipitation times a runoff coefficient, which depends upon slope, land use and soil type. The runoff is routed through the basin along flow paths determined by the topography using a diffusive wave transfer model, that enables to calculate response functions between any start and end point, depending upon slope, flow velocity and dissipation characteristics along the flow lines. All these calculations can be performed with standard GIS tools. The model is tested on a catchment in Belgium for which topography and soil data are available in GIS form, while the land-use and soil cover is obtained from remote sensed images. The resulting calculated discharges compare favourably with measurements, without any need to model optimisation. Next a 100 year series of hourly precipitation data is processed with the model and the resulting hydrograph is analysed statistically to determine the characteristics of extreme floods.
Laparoscopic colorectal surgery for colorectal polyps: single institution experience

Introduction Because of their difficult location or size, some polyps are impossible to remove with a flexible colonoscope and must be surgically removed. Laparoscopy is a great alternative. Aim To assess outcomes of a laparoscopic approach for the management of difficult colorectal polyps. Material and methods From 2006 to 2014, patients with polyps that could not be treated by endoscopy were included. Demographic data, histology of the biopsy, type of surgery, length of postoperative stay, complications and final pathology were reviewed prospectively. Results Forty-two patients with a mean age of 64.9 ±8.4 underwent laparoscopic polypectomy. Laparoscopic mobilization of the colonic segment and colotomy with removal of the polyp was performed for 12 (28.6%) polyps. Laparoscopic segmental bowel resection was performed in 30 (71.4%) cases: anterior rectal resection with partial total mesorectal excision in 12 (28.6%), left hemicolectomy in 7 (16.6%), sigmoid resection in 6 (14.3%), ileocecal resection in 2 (4.76%), resection of transverse colon in 2 (4.76%) and sigmoid resection with transanal retrieval of specimen in 1 (2.38%). Mean postoperative hospital stay was 5.9 ±2.6 days. There were 4 complications (9.5%). All patients recovered after conservative treatment. Mean polyp size was 3.6 ±2.2 cm. Final pathology revealed polyps (n = 2), tubular adenoma (n = 6), tubulovillous adenoma (n = 20), carcinoma in situ (n = 10) and invasive cancer (n = 4). Two of these patients underwent laparoscopic left hemicolectomies 14 and 10 days after laparoscopic colotomy and polypectomy. Conclusions For the management of endoscopically unresectable polyps, laparoscopic polypectomy is currently the technique of choice.
Texturing of continuous LOD meshes with the hierarchical texture atlas

For the rendering of detailed virtual environments, trade-offs have to be made between image quality and rendering time. An immersive experience of virtual reality always demands high frame-rates with the best reachable image qual-ity. Continuous Level of Detail (cLoD) triangle-meshes provide an continuous spectrum of detail for a triangle mesh that can be used to create view-dependent approximations of the environment in real-time. This enables the rendering with a constant number of triangles and thus with constant frame-rates. Normally the construction of such cLoD mesh representations leads to the loss of all texture information of the original mesh. To overcome this problem, a parameter domain can be created, in order to map the surface properties (colour, texture, normal) to it. This parameter domain can be used to map the surface properties back to arbitrary approximations of the original mesh. The parameter domain is often a simplified version of the mesh to be parameterised. This limits the reachable simplification to the domain mesh which has to map the surface of the original mesh with the least possible stretch. In this paper, a hierarchical domain mesh is presented, that scales between very coarse domain meshes and good property-mapping.
A narrative account of change from problem drinking

A NARRATIVE ACCOUNT OF CHANGE FROM PROBLEM DRINKING A STORY CONSOLIDATION This study's purpose was to reveal the depth of the experience of change from problem drinking through a single case study design using descriptive interviews and a qualitative methodology. The case data sources included a changed problem drinker and three significant others or collaterals. By including several sources, the potential benefit of multiple perspectives concerning the same case was realized and the validity of the data enhanced. The focus was to explore the how and why of change from problem drinking through the telling of stories from several views. The narrative method highlighted thirty five "sub stories" which were summarized and arranged in chronological order. A narrative analysis revealed the significance of these accounts by exploring patterns, plots, transitions and significant themes. This study illustrated the complexity of change from problem drinking by revealing the importance of contexts, interaction patterns and changing identity features. The role of significant life events as causative of change was secondary to everyday encounters and their cumulative effect upon consciousness raising and self understanding. A comprehensive review of change from problem drinking required expanding the timeframe of this phenomena to include social drinking to problem drinking and finally non drinking. ii
Understanding the Development Trends of Electronic Voting Systems

During the past few years a huge interests in e-voting has occurred, which resulted in a significant funding for e-voting research and development (R&D) projects with the aim of developing trustworthy e-voting systems. Although it is good that major e-voting development trends are capitalizing on previous R&D efforts in other domains, it is difficult to say that the necessary R&D efforts has been utilized to realize the vision and principles of e-voting. Today, we now have a much better understanding of the issues that pose the development of a trustworthy e-voting system. In this paper, we categorize and analyze the most important research and development trends in e-voting systems. We identify the lessons learned from these projects and analyze whether the existing R&D projects meet the identified flaws in past. Finally, based on these results the way to the future of e-voting R&D is postulated.
Regional cerebral glucose metabolism in akinetic catatonia and after remission

*After small spherical volume correction (radius 20 mm). Figure 1 Results of the exclusive masking analysis showing a decrease of metabolism in a large prefrontal area (upper row, on the right), the right anterior cingulate and the right medial frontal cortices (upper row, on the left). This analysis also showed a relative increase of metabolism in primary motor cortices (lower row, on the left), in the rostral part of the striatum (lower row, in the middle), and in the vermis (lower row, on the right). Dysfunctional brain areas have been coregistrated to the patient’s magnetic resonance imaging. J Neurol Neurosurg Psychiatry 2003;74:1003–1007 1003
Towards interoperable Web engineering methods

Current model-driven Web engineering approaches provide methods and compilers for the effective design and development of Web applications. However, these proposals also have some limitations, especially when it comes to exchanging model specifications or adding further concerns such as architectural styles, technology independence, or distribution. One solution to these issues is based on the possibility of making Web proposals interoperate, being able to complement each other, and to exchange models between their tools. We analyze how a common reference model shared by Web engineering proposals can be effectively used to achieve the desired interoperability. We also examine how such a common reference model can be used to combine models coming from different proposals, and discuss the problems that can occur when integrating these separate models. Finally, we show how high-level model transformations allow to efficiently solving these problems.
Capacity region of the finite state MAC with cooperative encoders and delayed CSI

In this paper, a single-letter characterization for the capacity region of finite-state multiple access channels (MACs) with partially cooperative encoders is derived. Partial cooperation here is in the sense that the encoders communicate with each other through finite-capacity links. The channel states are assumed to be governed by a Markov processes. Full channel state information (CSI) is assumed at the receiver, while only delayed CSI is available at transmitters. The capacity region is derived by first solving the case of finite-state multiple access channels with common message, using rate splitting, multiplexing and simultaneous decoding in order to establish the achievability. The common message result is then used to derive the capacity region of the partially cooperative encoders case. Finally, we apply this result in order to obtain the capacity region for a finite-state Gaussian MAC with partially cooperative encoders.
Schedulability Analysis of Global Scheduling Algorithms on Multiprocessor Platforms

This paper addresses the schedulability problem of periodic and sporadic real-time task sets with constrained deadlines preemptively scheduled on a multiprocessor platform composed by identical processors. We assume that a global work-conserving scheduler is used and migration from one processor to another is allowed during a task lifetime. First, a general method to derive schedulability conditions for multiprocessor real-time systems will be presented. The analysis will be applied to two typical scheduling algorithms: earliest deadline first (EDF) and fixed priority (FP). Then, the derived schedulability conditions will be tightened, refining the analysis with a simple and effective technique that significantly improves the percentage of accepted task sets. The effectiveness of the proposed test is shown through an extensive set of synthetic experiments.
Using Pseudo-Key for Language Recognition System Design

In this paper, we present a novel pseudo-key analysis approach for the fusion system of language recognition. The state-of-the-art language recognition systems for the NIST language recognition evaluation (LRE) commonly consist of multiple language classifiers. To avoid the fusion system to be spoiled by one abnormal classifier, pseudo keys are designed to check the integrity of each of the individual classifiers before the system fusion. The scores of individual classifiers are cross-validated based the pseudo keys. The language recognition experiments are conducted on the 2007 NIST LRE corpus based on the Institute for Infocomm Research's submission.
A Virulence Factor of Myxoma Virus Colocalizes with NF-κB in the Nucleus and Interferes with Inflammation

ABSTRACT NF-κB is one of the most important elements that coordinate stress-induced, immune, and inflammatory responses. Myxoma virus, a member of the Poxviridae family responsible for rabbit myxomatosis, codes for several factors that help its survival in the host. In this study, we focused on the product of the M150R gene. We show that the protein has nine ankyrin repeats (ANKs), with the eighth having a close similarity with the nuclear localization signal-containing ANK of I-κBα, which regulates NF-κB activity by sequestering it in the cytosol. Because the viral protein is targeted to the nucleus, it was named MNF, for myxoma nuclear factor. This localization was lost when the eighth ANK was removed. In tumor necrosis factor alpha-treated cells, MNF and NF-κB colocalized as dotted spots in the nucleus. In vivo experiments with a knockout virus showed that MNF is a critical virulence factor, with its deletion generating an almost apathogenic virus. Detailed histological examinations revealed an increase in the inflammatory process in the absence of MNF, consistent with the interference of MNF with the NF-κB-induced proinflammatory pathway. Because MNF has homologs in other poxviruses, such as vaccinia, cowpox, and variola viruses, this protein is probably part of a key mechanism that contributes to the immunogenic and pathogenic properties of these viruses.
Associations of social networks with quality of life, health and physical functioning

Abstract The aim of this study was to assess whether demographic and social network variables, independently of each other, are associated with quality of life (QoL), self-rated health or physical function. The sample consisted of 307 women aged ≥ 75 years. Social networks were assessed by Fillenbaum’s five questions and a question on ability to participate in organizations. Variables of demographic composition, QoL, health and physical function were registered. We found significant associations between social networks, QoL, health and physical functioning. Seeing friends and relatives as often as wanted, getting help when sick or disabled and having no problems participating in organizations were associated with higher QoL. Higher educational level, the ability to see friends and relatives as often as wanted and having no problems participating in organizations were associated with better health. Living alone, getting help when sick or disabled and having no problems participating in organizations indicated better mobility. Being younger, having higher education and no problems in participating in organizations were associated with better balance. Higher scores on muscle strength were associated with being younger, not living alone and having no problems in participating in organizations. Our results highlight the importance of social networks for maintaining good QoL, health and physical functioning.
Geographic distribution of the incidence of adult T-cell leukemia/lymphoma and other malignancies in nagasaki prefecture, Japan.

BACKGROUND It remains unclear whether human T-cell lymphotropic virus type-I (HTLV-I) infection is associated with an increased risk of malignancies other than adult T-cell leukemia/lymphoma. METHODS The authors investigated the geographic distribution of the incidence of adult T-cell leukemia/lymphoma and other malignancies in Nagasaki Prefecture, Japan, where HTLV-I is endemic. The world age-standardized incidence rates of adult T-cell leukemia/lymphoma and five cancers of other sites were calculated in 15 areas, using the data from the Nagasaki Prefectural Cancer Registry (1985-97). RESULTS The incidence of adult T-cell leukemia/lymphoma was found to be positively correlated with that of biliary tract cancer in men (person-years-weighted r = 0.49, P = 0.06) and liver cancer in women (r = 0.56, P = 0.03), but not with cancer of the stomach, lung or cervix uteri. CONCLUSIONS The results may not support the hypothesis that HTLV-I infection is strongly associated with an increased risk of cancer of the stomach, lung or cervix uteri. The association between HTLV-I infection and cancer of the biliary tract and the possible interaction between hepatitis C virus and HTLV-I in the development of liver cancer should be evaluated by prospective cohort studies.
Towards a Smooth Human–Robot Interaction for Rehabilitation Robotic Systems

The goal of this work is to develop a control framework to provide assistance to the subjects in such a manner that the interaction between the subjects and a robot-assisted rehabilitation system is smooth during the rehabilitation therapy. In order to achieve smoothness of interaction, a control framework is designed in such a way that it can automatically adjust the control gains of the robot-assisted rehabilitation system to modify the interaction dynamics between the system and the subject. An artificial neural network (ANN)-based proportional–integral (PI) gain scheduling controller is proposed to automatically determine the appropriate control gains for each individual subject. The human arm model is integrated with the ANN-based PI gain scheduling controller where the ANN uses estimated human arm parameters to select the appropriate PI gains for each subject such that the resultant interaction dynamics between the subject and the robot-assisted rehabilitation system could result in smooth interaction. Experimental results involving unimpaired subjects on a PUMA robot-based rehabilitation system are presented to demonstrate the efficacy of the proposed ANN-based PI gain scheduling controller on unimpaired subjects.
EXPERIMENTAL EVIDENCE FOR THE EVOLUTIONARY SIGNIFICANCE OF TEMPERATURE‐DEPENDENT SEX DETERMINATION

The evolutionary significance of sex‐determining mechanisms, particularly temperature‐dependent sex determination (TSD) in reptiles, has remained unresolved despite extensive theoretical work. To investigate the evolutionary significance of this unusual sex‐determining mechanism, I incubated eggs of the common snapping turtle (Chelydra serpentina) at a male‐producing temperature (26°C), a female‐producing temperature (30°C), and an intermediate temperature that produced both sexes about equally (28°C). Laboratory experiments indicated that two performance variables, but no morphological measurements, were significantly influenced by incubation temperature (P ≤ 0.05): hatchlings from cooler incubation treatments swam faster than turtles from warmer incubation treatments, and hatchlings from 28°C exhibited a greater propensity to run than did individuals from 26°C and 30°C. In the field, hatchlings from the all‐male and all‐female producing temperatures had significantly higher first‐year survivorship than did consexuals from the incubation temperature that produced both sexes (G = 6.622, P = 0.03). Significant directional selection was detected on propensity of hatchlings to run (β′ = –0.758, P = 0.05): turtles that tended to remain immobile had a higher probability of first‐year survivorship than did individuals that moved readily. Thus, the effects of the gender × incubation temperature interaction on survivorship of hatchling turtles observed in the field experiment may have been mediated by temperature‐dependent antipredator behavior. These results provide a possible functional explanation for the evolutionary significance of TSD in turtles that is consistent with predictions of theoretical models.
Partitioned environment for Programmable Controller in safety applications

Use of Programmable Controllers (PLC) in safety-critical applications is gaining importance as a pre-qualified development platform to reduce Verification and Validation (V &V) effort. It has been observed, in practice, that most of the safety-critical functions are fairly simple and is achieved by only a small fraction of a large safety-critical software. This motivates the development of a partitioned operating environment for PLC, so that less critical components of the large safety-critical software can be partitioned from those, which are actually performing safety-critical functions. It will facilitate less rigorous V &V for less critical modules to get necessary approval for safety-critical system from regulatory authorities. This work addresses some issues in a Partitioned-PLC development towards improved schedulability bound, yet offering simplicity in implementation.
Multi-sensor Autonomous Robot Based Manipulation of Valves for Process Control

An autonomous robot finds applications in process industries to perform control operations such as manipulation of valves, especially in hazardous environments. This would require localization and mapping capabilities for efficient navigation, coupled with a dexterous arm for manipulation of the valves. Dynamic path planning and obstacle avoidance are the necessary requirements for autonomous navigation in the work area of a process industry. This paper presents a way to perform the above tasks using an autonomous robot having multi-sensory inputs, and using vision based inferences.