Miracle-dz/UniFAR-FTUs huggingface dataset:
A Legendrian surgery presentation of contact 3-manifolds

We prove that every closed, connected contact 3-manifold can be obtained from $S^3$ with its standard contact structure by contact (${\pm}1$)-surgery along a Legendrian link. As a corollary, we derive a result of Etnyre and Honda about symplectic cobordisms (in a slightly stronger form).
DAG-width of Control Flow Graphs with Applications to Model Checking

The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to consider a measure of width for digraphs instead. We use the so-called DAG-width and show that the DAG-width of control flow graphs arising from structured (goto-free) programs is at most three. Additionally, we also give a linear time algorithm to compute the DAG decomposition of these control flow graphs. One consequence of this result is that parity games (and hence the $\mu$-calculus model checking problem), which are known to be tractable on graphs of bounded DAG-width, can be solved efficiently in practice on control flow graphs.
A HYBRID KEY MANAGEMENT SCHEME FOR SECURE MANET COMMUNICATIONS

In MANETs communication is done using a shared wireless channel. There is no provision for monitoring authority. The nodes in the network need to take the responsibility for both data transfer and also security. For robust security in MANETs, key management scheme is essential. However, secure key management is a challenging problem to be addressed. In this paper, we focused on a hybrid technique that makes use of identity and trust which enables to identify malicious nodes and also convert malicious node into a trusted node. Our hash technique is evaluated with NS2 simulations. The results reveal that the proposed system is able to identify malicious nodes in MANET and handle malicious nodes in such a way that they become trusted nodes.
Pseudo Continuous Arterial Spin Labeling MR Imaging of Status Epilepticus

Purpose : The purpose of this study was to describe arterial spin labeling MR image findings of status epilepticus. Materials and Methods: A retrospective chart review within our institute revealed six patients who had been clinically diagnosed as status epilepticus and had also undergone MR imaging that included ASL in addition to routine sequences. Results: Six patients with status epilepticus were studied by conventional MR and arterial spin labeling imaging. All patients showed increased regional CBF correlating with EEG pathology. Notably, in two patients, conventional MRI and DWI showed no abnormal findings whereas pCASL demonstrated regional increased CBF in both patients. Conclusion: Arterial spin labeling might offer additional diagnostic capabilities in the evaluation of patients with status epilepticus.
Rapamycin Ameliorates Inflammation and Fibrosis in the Early Phase of Cirrhotic Portal Hypertension in Rats through Inhibition of mTORC1 but Not mTORC2

Objective Hepatic stellate cells (HSCs) transdifferentiation and subsequent inflammation are important pathological processes involved in the formation of cirrhotic portal hypertension. This study characterizes the pathogenetic mechanisms leading to cholestatic liver fibrosis and portal hypertension, and focuses on mammalian target of rapamycin (mTOR) pathway as a potential modulator in the early phase of cirrhotic portal hypertension. Methods Early cirrhotic portal hypertension was induced by bile duct ligation (BDL) for three weeks. One week after operation, sham-operated (SHAM) and BDL rats received rapamycin (2 mg/kg/day) by intraperitoneal injection for fourteen days. Vehicle-treated SHAM and BDL rats served as controls. Fibrosis, inflammation, and portal pressure were evaluated by histology, morphometry, and hemodynamics. Expressions of pro-fibrogenic and pro-inflammatory genes in liver were measured by RT-PCR; alpha smooth muscle actin (α-SMA) and antigen Ki67 were detected by immunohistochemistry; expressions of AKT/mTOR signaling molecules, extracellular-signal-regulated kinase 1/2 (ERK1/2), p-ERK1/2, and interleukin-1 beta (IL-1β) were assessed by western blot. Results The AKT/mTOR signaling pathway was markedly activated in the early phase of cirrhotic portal hypertension induced by BDL in rats. mTOR blockade by rapamycin profoundly improved liver function by limiting inflammation, fibrosis and portal pressure. Rapamycin significantly inhibited the expressions of phosphorylated 70KD ribosomal protein S6 kinase (p-P70S6K) and phosphorylated ribosomal protein S6 (p-S6) but not p-AKT Ser473 relative to their total proteins in BDL-Ra rats. Those results suggested that mTOR Complex 1 (mTORC1) rather than mTORC2 was inhibited by rapamycin. Interestingly, we also found that the level of p-ERK1/2 to ERK1/2 was significantly increased in BDL rats, which was little affected by rapamycin. Conclusions The AKT/mTOR signaling pathway played an important role in the early phase of cirrhotic portal hypertension in rats, which could be a potential target for therapeutic intervention in the early phase of such pathophysiological progress.
Functional expression of P-glycoprotein in rat brain microglia.

In the central nervous system, the primary targets of the human immunodeficiency virus-1 (HIV-1) are microglia, resulting in a disorder called HIV-1 dementia. P-glycoprotein (P-gp), a membrane-associated ATP-dependent efflux transporter, limits entry into the brain of numerous xenobiotics, including anti-HIV drugs (i.e., protease inhibitors). This project investigates the functional expression of P-gp in the endogenous immune cells of the brain, a parenchymal compartment not previously studied. We used a cell line (MLS-9) derived from rat microglia to study the transport of digoxin, a known P-gp substrate. Reverse transcriptase-polymerase chain reaction analysis detected mRNA for only mdr1b in MLS-9 cells, whereas both mdr1a and mdr1b mRNA were expressed in primary cultured microglia from which they were derived. Western blot analysis with the C219 antibody detected a single band at ~170 to 180 kDa in MLS-9 cells, which is the size previously reported for P-gp. Immunocytochemical analysis with the monoclonal antibodies C219, MRK16, and MAB-448 labeled P-gp protein along the plasma membrane and nuclear envelope of MLS-9 cells. [3H]Digoxin accumulation by monolayers of MLS-9 cells was significantly enhanced in the presence of any of several P-gp inhibitors (verapamil, cyclosporin A, quinidine, PSC 833), protease inhibitors (i.e., saquinavir, indinavir, and ritonavir), and sodium azide, an ATPase inhibitor. These results provide the first evidence for the functional expression of P-gp in microglia and imply that entry of pharmacological agents, including protease inhibitors, may be prevented within the brain parenchyma, as well as at the blood-brain barrier.
CoInCar-Sim: An Open-Source Simulation Framework for Cooperatively Interacting Automobiles

While motion planning techniques for automated vehicles in a reactive and anticipatory manner have already been widely presented, cooperative motion planning has only been addressed recently. For the latter, interaction between traffic participants is crucial. Consequently, simulations where other traffic participants follow simple behavioral rules can no longer beused for development and evaluation. To close this gap, we present a multi vehicle simulation framework. Conventional simulation agents, using a simple, rule-based behavior, are replaced by multiple instances of sophisticated behavior generation algorithms. Thus, development, test and simulative evaluation of cooperative planning approaches is facilitated. The framework is implemented using the Robot Operating System (ROS) and its code will be released open source.
Breakfast: a review of associations with measures of dietary intake, physiology and biochemistry

The present paper reviews the literature on breakfast to consider reported associations between breakfast and nutritional, physiological and biochemical variables. The contribution of breakfast to achieving nutrition targets for fat, carbohydrate and dietary fibre intakes is also examined as are the potential effects of fortified breakfast cereals on intakes of micronutrients and nutritional status. Breakfast consumption, particularly if the meal includes a breakfast cereal, is associated with lower intakes of fat and higher intakes of carbohydrate, dietary fibre and certain micronutrients. These findings may be relevant to population groups which could be at risk from low intakes of certain micronutrients, but further clarification of benefit is needed from studies of nutritional status. Associations between breakfast consumption and lower cholesterol levels have been reported, while lower body weights have been seen amongst breakfast eaters. It is concluded that breakfast consumption is a marker for an appropriate dietary pattern in terms of both macro- and micronutrients, particularly if breakfast cereals are included in the meal.
CD33 Alzheimer's Risk-Altering Polymorphism, CD33 Expression, and Exon 2 Splicing

Genome-wide association studies are identifying novel Alzheimer's disease (AD) risk factors. Elucidating the mechanism underlying these polymorphisms is critical to the validation process and, by identifying rate-limiting steps in AD risk, may yield novel therapeutic targets. Here, we elucidate the mechanism of action of the AD-associated polymorphism rs3865444 in the promoter of CD33, a member of the sialic acid-binding Ig-superfamily of lectins (SIGLECs). Immunostaining established that CD33 is expressed in microglia in human brain. Consistent with this finding, CD33 mRNA expression correlated well with expression of the microglial genes CD11b and AIF-1 and was modestly increased with AD status and the rs3865444C AD-risk allele. Analysis of CD33 isoforms identified a common isoform lacking exon 2 (D2-CD33). The proportion of CD33 expressed as D2-CD33 correlated robustly with rs3865444 genotype. Because rs3865444 is in the CD33 promoter region, we sought the functional polymorphism by sequencing CD33 from the promoter through exon 4. We identified a single polymorphism that is coinherited with rs3865444, i.e., rs12459419 in exon 2. Minigene RNA splicing studies in BV2 microglial cells established that rs12459419 is a functional single nucleotide polymorphism (SNP) that modulates exon 2 splicing efficiency. Thus, our primary findings are that CD33 is a microglial mRNA and that rs3865444 is a proxy SNP for rs12459419 that modulates CD33 exon 2 splicing. Exon 2 encodes the CD33 IgV domain that typically mediates sialic acid binding in SIGLEC family members. In summary, these results suggest a novel model wherein SNP-modulated RNA splicing modulates CD33 function and, thereby, AD risk.
Engaging Intercollegiate Athletes in Preventing and Intervening in Sexual and Intimate Partner Violence

Abstract Objective: The object of this exploratory evaluation was to evaluate the “Bringing in the Bystander” sexual and intimate partner violence prevention program with a new sample of intercollegiate athletes. Participants and Methods: Fifty-three male and female athletes participated in the program (experimental group), and 86 were in the control group. All completed pretest, posttest, and 2-month follow-up surveys, including assessment of rape myth acceptance, intent to engage in bystander behaviors, bystander confidence, and bystander behaviors. Results: The program worked overall and for both women and men, improved bystander confidence and intent to engage in bystander behaviors, and did not create significant backlash effects (ie, worsening of attitudes as a result of program). Conclusions: The program fits with the intent of the National Collegiate Athletic Association CHAMPS/Life Skills program regarding its focus on the overall development of student-athletes and demonstrates the promising bystander approach compatible with the 2007 American College Health Association toolkit, Shifting the Paradigm: Primary Prevention of Sexual Violence.
Shyness, loneliness, and attitude toward celebrities.

Measures of shyness, loneliness and attitudes toward a favorite celebrity were administered to 150 participants. We hypothesized that shyness and loneliness would be linked to the strength of one's "parasocial" relationship with celebrities, and to "highly visible" celebrities in particular. Of the 16 correlation coefficients we obtained, 15 were in the predicted direction, but none exceeded . 24. Either shy and lonely people are not predisposed to seek strong parasocial bonds with celebrities or the hypothesized relationships are so weak that they account for very little variance. [124] --------------[125]
SPARCL1, a Novel Prognostic Predictive Factor for GI Malignancies: a Meta-Analysis

Background/Aims: Secreted protein acidic and rich in cysteines-like 1 (SPARCL1) is abnormally expressed in gastrointestinal (GI) malignancies. However, the correlation between SPARCL1 expression and the prognosis of patients remains unknown. Therefore, we performed a meta-analysis to investigate the potential value of SPARCL1 as a prognostic predictive marker for GI malignancies. Methods: The PubMed, Embase, EBSCO, CNKI, and Wanfang databases were systematically searched for studies examining SPARCL1 and clinicopathological features, including the prognoses of patients. Hazard ratios (HRs) and odds ratios (ORs) from individual studies were calculated and pooled using a random-effects or fix-effects model. Heterogeneity and publication bias analyses were performed. Results: Data from 8 studies, including a total of 2,356 patients, were summarized. The expression of SPARCL1 suggested a better prognosis (HR=0.57, 95% CI: 0.445-0.698, P=0.000) and was associated with clinicopathological features of GI malignancies, including distant metastasis (OR=0.44, 95% CI: 0.23-0.85, P=0.014), lymph node metastasis (OR=0.56, 95% CI: 0.39–0.81, P=0.002) and tumor differentiation (OR=2.21, 95% CI: 1.82–2.69, P=0.000). Subgroup analyses based on cancer type revealed that the expression of SPARCL1 had no effect on lymph node metastasis in colorectal cancer, and it did not influence tumor differentiation in gastric cancer. Egger’s test showed no evidence of publication bias (all P>0.05). Conclusion: SPARCL1 could be a novel prognostic predictive factor for GI malignancies. The expression of SPARCL1 could influence the clinicopathological features of GI malignancies. Further large-scale studies are essential to confirm SPARCL1’s prognostic predictive value, and more fundamental experimental studies are needed to illustrate the mechanisms.
On Disintegration in Probabilistic Semantics

We give a version of disintegration based on weaker assumptions than previously known. The result is derived using an enhanced version of the Radon-Nikodým theorem that makes explicit the approximating functions, thereby allowing the coordinated construction of multiple simultaneous derivatives. Using this, a category of joint distributions can be independently defined in which a category of Markov kernels on countably generated spaces is fully and faithfully embedded.
Disregarding the Big Picture: Towards Local Image Quality Assessment

Image quality has been studied almost exclusively as a global image property. It is common practice for IQA databases and metrics to quantify this abstract concept with a single number per image. We propose an approach to blind IQA based on a convolutional neural network (patchnet) that was trained on a novel set of 32,000 individually annotated patches of 64×64 pixel. We use this model to generate spatially small local quality maps of images taken from KonIQ-10k, a large and diverse in-the-wild database of authentically distorted images. We show that our local quality indicator correlates well with global MOS, going beyond the predictive ability of quality related attributes such as sharpness. Averaging of patchnet predictions already outperforms classical approaches to global MOS prediction that were trained to include global image features. We additionally experiment with a generic second-stage aggregation CNN to estimate mean opinion scores. Our latter model performs comparable to the state of the art with a PLCC of 0.81 on KonIQ-10k.
Particle Accumulation in Ureteral Stents Is Governed by Fluid Dynamics: In Vitro Study Using a "Stent-on-Chip" Model.

OBJECTIVE To investigate the correlation between fluid dynamic processes and deposition of encrusting particles in ureteral stents. MATERIALS AND METHODS Microfluidic models (referred to as "stent-on-chip" or SOC) were developed to replicate relevant hydrodynamic regions of a stented ureter, including drainage holes and the cavity formed by a ureteral obstruction. Computational fluid dynamic simulations were performed to determine the wall shear stress (WSS) field over the solid surfaces of the model, and the computational flow field was validated experimentally. Artificial urine was conveyed through the SOCs to measure the temporal evolution of encrustation through optical microscopy. RESULTS It was revealed that drainage holes located well downstream of the obstruction had almost stagnant flow and low WSS (average 0.01 Pa, at 1 mL/min), and thus suffered from higher encrustation rates. On the contrary, higher levels of WSS in holes proximal to the obstruction (average ∼0.04 Pa, at 1 mL/min) resulted in lower encrustation rates in these regions. The cavity located nearby the obstruction was characterized by high levels of encrustation, because of the low WSS (average 1.6 × 10-4 Pa, at 1 mL/min) and the presence of flow vortices. Increasing the drainage flow rate from 1 to 10 mL/min resulted in significantly lower deposition of encrusting crystals. CONCLUSION This study demonstrated an inverse correlation between deposition of encrusting bodies and the local WSS in a stented ureter model. Critical regions with low WSS and susceptible to encrustation were identified, including "inactive" side holes (i.e., with minimal or absent flow exchange between stent and ureter) and the cavity formed by a ureteral occlusion. Findings from this study can open new avenues for improving the stent's design through fluid dynamic optimization.
Procedural Institutionalization of the Evaluation Through Legal Basis : A New Typology of Evaluation Clauses in Switzerland

‘Evaluation clauses’ are a legal basis requiring mandatory evaluation of public policies impact. Evaluation becomes a procedural institutionalization but, although they are widespread, no phrasing standards have been yet established. Without clarification, the questions raised by origins and effects of mandatory evaluation remained impossible to treat. Past studies dealing with this topic dismissed the legal feature of the evaluation process to focus only on organizations. This paper aims to apply a methodology based on the numerical taxonomy to construct a conceptual scheme for classifying evaluation clauses. A hierarchical cluster analysis was run on 322 cases with eight variables related to their normative density. From such heterogeneous legal object, two families of clauses have emerged, and three significant templates are identified. This paper opens a research track which considers evaluation clauses to investigate both the reason why a specific type of phrasing is chosen and the consequences of these institution types.
A low-height acoustic screen in a setting with an urban road: measured and predicted insertion loss

A low screen was temporarily installed alongside an urban road to test the acoustic performance. Within the on-going project, the screen is an acoustic prototype, whereas later, a screen design will be developed considering also perceived acoustic quality and visual aspects. The current acoustic prototype, built up from concrete modules, was placed beside a small park on the reservation between a two-lane road and a track for walking and cycling. A larger traffic system, of which the two-lane road is a part, determines the daytime equivalent noise level within the urban area. The screen height was about 1.3 m as measured from the level of the road surface and the width of the screen top was 0.3 m. Measurements were carried out both at 20 m distance from the road (within the park) and at 5 m distance from the road (on the cycle track). Insertion loss in maximum level, using controlled light vehicle pass-by at 50 km/h, was measured to 10 dB and 6 dB at 5 and 20 m distance, respectively, at 1.5 m height. The measured results have been compared with those predicted by both a noise mapping software and a boundary element method, showing reasonable agreement.
Clinical Results of High-Dose Chemotherapy Followed by Autologous Peripheral Blood Stem Cell Transplantation in Children with Advanced Stage Rhabdomyosarcoma

Regardless of improvement in cure of Rhabdomyosarcoma (RMS), the results in treatment of advanced stage of RMS in children are still dismal. Recently, high-dose chemotherapy followed by autologous peripheral blood stem cell transplantation (HDC/APBSCT) has been tried to manage the advanced high-risk RMS patients. We investigated the effectiveness of HDC/APBSCT by reviewing the clinical records of high-risk pediatric RMS patients in single institute database. Over twenty years, 37 patients were diagnosed as RMS with high-risk at the time of first diagnosis. These patients were classified as two groups according to treatment method. The first group was HDC/APBSCT and the other was conventional multi-agent chemotherapy group. Differences of clinical results between the two groups were analyzed. The median age of patients was 5 yr, ranging from 6 months to 15 yr. The 5-yr event free survival rate (EFS) of all patients was 24.8% ± 4.8%. HDC/APBSCT group and conventional multi-agent chemotherapy group were 41.3% ± 17.8% and 16.7% ± 7.6% for 5-yr EFS, respectively (P = 0.023). There was a significant difference in the result of HDC/APBSCT between complete remission or very good partial response group and poor response group (50% ± 20.4% vs 37.5% ± 28.6%, P = 0.018). HDC/APBSCT can be a promising treatment modality in high-risk RMS patients.
Helminth communities in the burrowing toad, Rhinella fernandezae, from Northeastern Argentina

The main goals of this study were to determine the richness and diversity of helminth parasites of Rhinella fernandezae at the component and infracommunity levels and determine the ecological implications of different biotic and abiotic factors. Specimens were collected near the city of Corrientes, Corrientes Province, Argentina. Prevalence of infection was 94% in the specimens examined (n = 65). The helminth component community in R. fernandezae in this area was comprised a total of 22 species. Of all helminth species, only three (Catadiscus inopinatus, Cosmocerca podicipinus and C. parva) were dominant (importance value: I > 1.0) in the community. The most abundant species were B. tetracotyloides (d = 0.43) among the larvae and C. podicipinus (d = 0.09) among adult worms. At the infracommunity level, the mean individual species richness (2.28 ± 1.48) (mean ± SD) was no more than 3 helminth species per infected host; the diversity and equitability of helminths were 0.23 ± 0.21 and 0.48 ± 0.38, respectively. The host body size was the main factor in determining the parasite abundance. Species richness was significantly and positively correlated with host body size. The parasite helminth species predominantly showed an overdispersed pattern of distribution. Helminth species showed two negative and significant pairs of covariation and one significant pair of association (P < 0.05). R. fernandezae has a wide variety of parasites relating to the host microhabitat, mobility and feeding habits.