Miracle-dz/UniFAR-FTUs huggingface dataset:
The m-calculus: a higher-order distributed process calculus

This paper presents a new distributed process calculus, called the M-calculus, that can be understood as a higher-order version of the Distributed Join calculus with programmable localities. The calculus retains the implementable character of the Distributed Join calculus while overcoming several important limitations: insufficient control over communication and mobility, absence of dynamic binding, and limited locality semantics. The calculus is equipped with a polymorphic type system that guarantees the unicity of locality names, even in presence of higher-order communications -- a crucial property for the determinacy of message routing in the calculus.
Medicinal Cannabis

Introduction: Washington State allows marijuana use for medical (since 1998) and recreational (since 2012) purposes. The benefits of medicinal cannabis (MC) can be maximized if clinicians educate patients about dosing, routes of administration, side effects, and plant composition. However, little is known about clinicians’ knowledge and practices in Washington State. Methods: An anonymous online survey assessed providers’ MC knowledge, beliefs, clinical practices, and training needs. The survey was disseminated through health care providers’ professional organizations in Washington State. Descriptive analysis compared providers who had and had not authorized MC for patients. Survey results informed the approach and content of an online training on best clinical practices of MC. Results: Four hundred ninety-four health care providers responded to the survey. Approximately two-third were women, aged 30 to 60 years, and working in family or internal medicine. More than half of the respondents were legally allowed to write MC authorizations per Washington State law, and 27% of those had issued written MC authorizations. Overall, respondents reported low knowledge and comfort level related to recommending MC. Respondents rated MC knowledge as important and supported inclusion of MC training in medical/health provider curriculum. Most Washington State providers have not received education on scientific basis of MC or training on best clinical practices of MC. Clinicians who had issued MC authorizations were more likely to have received MC training than those who had not issued MC authorization. Discussion: The potential of MCs to benefit some patients is hindered by the lack of comfort of clinicians to recommend it. Training opportunities are badly needed to address these issues.
Coded time of flight cameras

Time of flight cameras produce real-time range maps at a relatively low cost using continuous wave amplitude modulation and demodulation. However, they are geared to measure range (or phase) for a single reflected bounce of light and suffer from systematic errors due to multipath interference. We re-purpose the conventional time of flight device for a new goal: to recover per-pixel sparse time profiles expressed as a sequence of impulses. With this modification, we show that we can not only address multipath interference but also enable new applications such as recovering depth of near-transparent surfaces, looking through diffusers and creating time-profile movies of sweeping light. Our key idea is to formulate the forward amplitude modulated light propagation as a convolution with custom codes, record samples by introducing a simple sequence of electronic time delays, and perform sparse deconvolution to recover sequences of Diracs that correspond to multipath returns. Applications to computer vision include ranging of near-transparent objects and subsurface imaging through diffusers. Our low cost prototype may lead to new insights regarding forward and inverse problems in light transport.
Ongoing Activity Fluctuations in hMT+ Bias the Perception of Coherent Visual Motion

We have recently shown that intrinsic fluctuations of ongoing activity during baseline have an impact on perceptual decisions reported for an ambiguous visual stimulus (Hesselmann et al., 2008). To test whether this result generalizes from the visual object domain to other perceptual and neural systems, the current study investigated the effect of ongoing signal fluctuations in motion-sensitive brain regions on the perception of coherent visual motion. We determined motion coherence thresholds individually for each subject using a dynamic random dot display. During functional magnetic resonance imaging (fMRI), brief events of subliminal, supraliminal, and periliminal coherent motion were presented with long and variable interstimulus intervals between them. On each trial, subjects reported whether they had perceived “coherent” or “random” motion, and fMRI signal time courses were analyzed separately as a function of stimulus and percept type. In the right motion-sensitive occipito-temporal cortex (hMT+), coherent percepts of periliminal stimuli yielded a larger stimulus-evoked response than random percepts. Prestimulus baseline activity in this region was also significantly higher in these coherent trials than in random trials. As in our previous study, however, the relation between ongoing and evoked activity was not additive but interacted with perceptual outcome. Our data thus suggest that endogenous fluctuations in baseline activity have a generic effect on subsequent perceptual decisions. Although mainstream analytical techniques used in functional neuroimaging do not capture this nonadditive effect of baseline on evoked response, it is in accord with postulates from theoretical frameworks as, for instance, predictive coding.
Inhalation carcinogenesis of high-fired 239PuO2 in rats.

: Wistar rats were given a single inhalation exposure to high-fired 241AmO2 particles and examined over their life span. A total of 310 rats were used: 259 exposed to 241Am for life-span study, 30 exposed to 241Am for early metabolism study, and 21 unexposed life-span controls. The activity median aerodynamic diameter of the aerosols was 0.75-1.39 microns. About 55% of alveolarly deposited 241Am was cleared from the lung with a half-life of 0.5 days, 37% with a half-life of 7 days, and 8% with a half-life of 580 days. Group mean lung doses ranged from less than 5.7 rad up to 1500 rad. Significant early mortality due to radiation pneumonitis was seen only in the highest exposure group. The percentage of rats with lung tumors was 0% for controls (21 rats), 1% at lifetime lung doses less than 10 rad (139 rats), 7% at 10-50 rad (86 rats), 0% at 50-100 rad (9 rats), 60% at 100-500 rad (10 rats), and 7% at 500 rad (15 rats). Only one liver and one bone tumor were found in all exposed rats, both at lifetime tissue doses less than 10 rad. The fate and carcinogenicity of inhaled 241AmO2 in the lung of rats were similar to what has previously been described for inhaled 244CmO2.
Ice Hockey: A Team Physician's Perspective

Ice hockey is an exciting sport that is growing in popularity in the United States. Injuries are a common part of the sport, with more injuries occurring in games compared with practice. Higher levels of competition have been shown to correlate with increased frequency of injury. Most frequently, injuries occur to the face, head, and neck, including concussions, contusions, lacerations, and dental injury. Lower extremity injuries include medial collateral ligament injury, meniscus tear, and high ankle sprains. Upper extremity injuries include acromioclavicular joint injury, glenohumeral dislocation, and various contusions and sprains. Groin and lower abdominal strains also are common. Women's hockey participation is increasing, with data that suggest injuries similar to those seen in men's hockey.
Dermatopontin: A potential predictor for metastasis of human oral cancer

Dermatopontin (DPT), a component of the extracellular matrix (ECM), is involved in promotion of cellular adhesion and ECM assembly activities. However, the role of DPT in the pathogenesis of carcinoma is unclear. We evaluated DPT expression in human oral cancer and its possible roles including cellular adhesion and invasiveness. We first investigated the DPT mRNA and protein expression status in human oral squamous cell carcinoma (OSCC)‐derived cells. Real‐time quantitative reverse transcriptase‐polymerase chain reaction (qRT‐PCR) and immunoblotting analysis detected frequent downregulation of DPT in OSCC‐derived cells compared to human normal oral keratinocytes. To assess the epigenetic regulation of DPT, OSCC‐derived cells were treated with a histone deacetylase inhibitor, sodium butyrate (NaB). NaB restored the DPT expression in OSCC‐derived cells. DPT‐overexpressed cells were examined whether DPT could contribute to cellular adhesion and invasiveness. Markedly, increased adhesion and decreased invasiveness in DPT‐overexpressed cells were found compared to mock‐transfected cells. Adhesion of DPT‐overexpressed cells was inhibited by α3β1 integrin functional blocking antibody. OSCC‐derived cells treated with NaB also decreased invasiveness. The expression status of DPT in primary OSCCs (n = 97) was analyzed and compared to clinicopathological behavior. DPT expression in primary OSCCs was significantly lower (p < 0.05) than in the normal counterparts and was correlated significantly (p < 0.05) with regional lymph node metastasis. Our data provided strong evidence that downregulation of DPT is a characteristic event in OSCCs and that DPT was correlated with cellular adhesion and invasiveness. Therefore, DPT might play an important role in regulating tumor invasion and metastasis.
Generating the curvature perturbation with instant preheating

A new mechanism for generating the curvature perturbation at the end of inflation has been investigated. The dominant contribution to the primordial curvature perturbation may be generated during the period of instant preheating. The mechanism converts isocurvature perturbation related to a light field into curvature perturbation, where the ‘light field’ is not the inflaton field. This mechanism is important in inflationary models where kinetic energy is significant at the end of inflation. We show how one can apply this mechanism to various brane inflationary models.
Soybean Trihelix Transcription Factors GmGT-2A and GmGT-2B Improve Plant Tolerance to Abiotic Stresses in Transgenic Arabidopsis

Background Trihelix transcription factors play important roles in light-regulated responses and other developmental processes. However, their functions in abiotic stress response are largely unclear. In this study, we identified two trihelix transcription factor genes GmGT-2A and GmGT-2B from soybean and further characterized their roles in abiotic stress tolerance. Findings Both genes can be induced by various abiotic stresses, and the encoded proteins were localized in nuclear region. In yeast assay, GmGT-2B but not GmGT-2A exhibits ability of transcriptional activation and dimerization. The N-terminal peptide of 153 residues in GmGT-2B was the minimal activation domain and the middle region between the two trihelices mediated the dimerization of the GmGT-2B. Transactivation activity of the GmGT-2B was also confirmed in plant cells. DNA binding analysis using yeast one-hybrid assay revealed that GmGT-2A could bind to GT-1bx, GT-2bx, mGT-2bx-2 and D1 whereas GmGT-2B could bind to the latter three elements. Overexpression of the GmGT-2A and GmGT-2B improved plant tolerance to salt, freezing and drought stress in transgenic Arabidopsis plants. Moreover, GmGT-2B-transgenic plants had more green seedlings compared to Col-0 under ABA treatment. Many stress-responsive genes were altered in GmGT-2A- and GmGT-2B-transgenic plants. Conclusion These results indicate that GmGT-2A and GmGT-2B confer stress tolerance through regulation of a common set of genes and specific sets of genes. GmGT-2B also affects ABA sensitivity.
Starting Strong II: Early Childhood Education and Care

The provision of quality early childhood education and care (ECEC) has remained firmly on government agendas in recent years. Public awareness of gaps in provision and of insufficient quality in services has moved the issue of child care and after-school care onto electoral agendas in many countries. There is a growing recognition that early access to ECEC provides young children, particularly from low-income and second-language groups, with a good start in life.
Cryoablation Versus Radiofrequency Energy for the Ablation of Atrioventricular Nodal Reentrant Tachycardia (the CYRANO Study): Results From a Large Multicenter Prospective Randomized Trial

Background— Cryoablation has emerged as an alternative to radiofrequency catheter ablation (RFCA) for the treatment of atrioventricular (AV) nodal reentrant tachycardia (AVNRT). The purpose of this prospective randomized study was to test whether cryoablation is as effective as RFCA during both short-term and long-term follow-up with a lower risk of permanent AV block. Methods and Results— A total of 509 patients underwent slow pathway cryoablation (n=251) or RFCA (n=258). The primary end point was immediate ablation failure, permanent AV block, and AVNRT recurrence during a 6-month follow-up. Secondary end points included procedural parameters, device functionality, and pain perception. Significantly more patients in the cryoablation group than the RFCA group reached the primary end point (12.6% versus 6.3%; P=0.018). Whereas immediate ablation success (96.8% versus 98.4%) and occurrence of permanent AV block (0% versus 0.4%) did not differ, AVNRT recurrence was significantly more frequent in the cryoablation group (9.4% versus 4.4%; P=0.029). In the cryoablation group, procedure duration was longer (138±54 versus 123±48 minutes; P=0.0012) and more device problems occurred (13 versus 2 patients; P=0.033). Pain perception was lower in the cryoablation group (P<0.001). Conclusions— Cryoablation for AVNRT is as effective as RFCA over the short term but is associated with a higher recurrence rate at the 6-month follow-up. The risk of permanent AV block does not differ significantly between cryoablation and RFCA. The potential benefits of cryoenergy relative to ablation safety and pain perception are counterbalanced by longer procedure times, more device problems, and a high recurrence rate. Clinical Trial Registration— URL: http://www.clinicaltrials. gov. Unique identifier: NCT00196222.
Analysis of Access Selection Algorithms for Multi-access Networks with Elastic Traffic ∗

It is expected that future wireless systems will consist of several distinct radio access technologies, forming a multiaccess system offering voice and multimedia services. Previous works have shown that the combined capacity region of such systems depends on the service allocation policy that assigns user sessions to the subsystems. Current policies typically operate off-line, implying that the service mix is known a priori. In this paper we consider the on-line problem where sessions arrive one after the other and no assumptions on the service mix can be made. We study the performance of four on-line bin-packing algorithms by simulation and show that the algorithm termed LessVoice provided the best performance in terms of blocking probabilities and throughput.
Lysophosphatidic acid stimulates cell migration, invasion, and colony formation as well as tumorigenesis/metastasis of mouse ovarian cancer in immunocompetent mice

We have already established human xenographic models for the effect of lysophosphatidic acid (LPA) on tumor metastasis in vivo. The purpose of this work is to establish a preclinical LPA effect model in immunocompetent mice. We first characterized the mouse epithelial ovarian cancer (EOC) cell line ID8 for its responsiveness to LPA in cell proliferation, migration, and invasion and compared these properties with those of human EOC. The signaling pathways related to cell migration were further investigated using pharmacologic and genetic approaches. The effects of LPA on the tumorigenesis of ID8 cells and mouse survival were then examined using two different mouse models (i.p. and orthotopic injections). LPA stimulated cell proliferation, migration, and invasion of mouse EOC ID8 cells in a manner closely resembling its activity in human EOC cells. The signaling pathways involved in LPA-induced cell migration in ID8 cells were also similar to those identified in human EOC cells. We have identified cyclooxygenase-1 and 15-lipoxygenase as two new signaling molecules involved in LPA-induced cell migration in both human and mouse EOC cells. In addition, LPA enhanced the tumorigenesis/metastasis of ID8 cell in vivo as assessed by increased tumor size, early onset of ascites formation, and reduced animal survival. We have established the first LPA-EOC preclinical model in immunocompetent mice. Because ID8 cells respond to LPA similar to human EOC cells, this model is very valuable in developing and testing therapeutic reagents targeting LPA in EOC. [Mol Cancer Ther 2009;8(6):1692–701]
Dietary intakes of 6–24-month-old urban South Island New Zealand children in relation to biochemical iron status

Abstract Objective: To investigate food sources and intakes of iron, and dietary factors associated with serum ferritin levels in 6–24-month-old children. Design: A cross-sectional survey employing proportionate cluster sampling was conducted in 1998/1999. Dietary intakes were assessed using a non-consecutive 3-day weighed food record. Serum ferritin and C-reactive protein were analysed from non-fasting venepuncture blood samples and general sociodemographic data were collected. Setting: Cities of Christchurch, Dunedin and Invercargill, New Zealand. Subjects: Randomly selected healthy 6–24-month-old non-breast-feeding children (n=226). Results: Total iron intakes (±standard deviation (SD)) among non-breast-feeding infants (<12 months old; n=42) and toddlers (≥12 months old; n=184) were 8.4±2.9 mg day−1 and 5.0±2.5 mg day−1, respectively. Fifteen per cent of infants and 66% of toddlers were at risk of inadequate iron intakes. Main sources of dietary iron were infant formula (60%) for infants and cereals (31%) for toddlers. Meat contributed on average 2% and 10% of dietary iron in the infant and toddler diets, respectively. Dietary factors positively associated with serum ferritin were intakes of iron and vitamin C, whereas intakes of calcium and dietary fibre were negatively associated. For each 1% increase in percentage of energy from iron-fortified formula concomitant with a 1% decrease from dairy products, there was a 4.2% increased odds of replete iron stores (ferritin ≥20 μg l−1). Conclusions: Toddlers were at higher risk of sub-optimal iron intakes than infants. Results suggest that a diet high in bioavailable iron is important for optimising the iron stores of young children in New Zealand.
OWLIM: A family of scalable semantic repositories

An explosion in the use of RDF for representing information about resources has driven the requirements for Web-scale server systems that can store and process huge quantities of data, and furthermore provide powerful data access and mining functionalities. This paper describes OWLIM, a family of semantic repositories that provide storage, inference and novel data-access features delivered in a scalable, resilient, industrial-strength platform.
The Costs of Carnivory

Mammalian carnivores fall into two broad dietary groups: smaller carnivores (<20 kg) that feed on very small prey (invertebrates and small vertebrates) and larger carnivores (>20 kg) that specialize in feeding on large vertebrates. We develop a model that predicts the mass-related energy budgets and limits of carnivore size within these groups. We show that the transition from small to large prey can be predicted by the maximization of net energy gain; larger carnivores achieve a higher net gain rate by concentrating on large prey. However, because it requires more energy to pursue and subdue large prey, this leads to a 2-fold step increase in energy expenditure, as well as increased intake. Across all species, energy expenditure and intake both follow a three-fourths scaling with body mass. However, when each dietary group is considered individually they both display a shallower scaling. This suggests that carnivores at the upper limits of each group are constrained by intake and adopt energy conserving strategies to counter this. Given predictions of expenditure and estimates of intake, we predict a maximum carnivore mass of approximately a ton, consistent with the largest extinct species. Our approach provides a framework for understanding carnivore energetics, size, and extinction dynamics.
Re‐treatment with cladribine‐based regimens in relapsed patients with B‐cell chronic lymphocytic leukemia

Abstract: The aim of the study was to determine the effectiveness and toxicity of cladribine (2‐CdA) used alone or in combination with prednisone (P) or cyclophosphamide and mitoxantrone in re‐treatment of patients with progressive B‐cell chronic lymphocytic leukemia (B‐CLL). We analyzed treatment outcome in 40 patients who had responded to previous treatment with 2‐CdA‐based regimens. Criteria for re‐treatment were the same as for the first treatment. The patients were retreated with the same agents if they responded to the first treatment and then relapsed with progressive disease not earlier than 3 months after achieving the first response. Eight patients received 2‐CdA alone (0.12 mg kg−1 d−1) i.v. for 5 d, and 21 patients additionally were given P (30 mg m−2 d−1) orally, also for 5 d. Eleven patients received 2‐CdA for 3 d combined with cyclophosphamide (650 mg m−2) i.v. and mitoxantrone (10 mg m−2) i.v. on day 1 (CMC regimen). The cycles were repeated usually at 4 wk intervals or longer if severe myelosuppression or infections occurred. The therapy was finished if complete remission (CR) was achieved or until maximum of six courses. Overall response (OR) in re‐treatment was obtained in 16 out of 40 (40%) patients (95% CI 16–64), including 62% after 2‐CdA, 33% after 2‐CdA +P and 36% after CMC. CR was obtained in four (10%) patients. Residual disease evaluated in the patients with CR by surface immunophenotyping had been demonstrated in 5 out of 16 (31%) patients after the first treatment and in one out of four (25%) patients after re‐treatment. The median progression‐free survival (PFS) was 16 months (range 3–39) for the first treatment and 9.5 months (range 3–18) for re‐treatment (P=0.34). Grade III or IV neutropenia was observed in 20% patients during the first treatment and in 35% patients during re‐treatment (P=0.1). 2‐CdA‐induced thrombocytopenia occurred in 20% and 42% of the patients, respectively (P=0.05). Anemia was also more frequent during re‐treatment (35%) than during the first treatment (7%) (P=0.007). Autoimmune hemolytic anemia developed in four (10%) of the patients during or after re‐treatment. Severe infections, including pneumonia and herpes reactivation, occurred in 11 patients during the first treatment and in 10 patients during re‐treatment. Twelve (30%) patients died during the study. Infections were the cause of death in six and AIHA in two patients. In conclusion, 2‐CdA applied in monotherapy or in combination with prednisone or cyclophosphamide and mitoxantrone has therapeutic activity in some B‐CLL patients in whom these drugs induced earlier complete or partial remission. However, since the second response is usually shorter and myelotoxicity more pronounced than during the first therapy, more clinical trials to find other therapeutical approaches are necessary.