Miracle-dz/UniFAR-FTUs huggingface dataset:
Broadcast and secure computation under reduced setup assumptions

The problems of broadcast and multi-party computation are usually treated with respect to a small number of standard models. In this overview, with respect to two important such standard models, we address the following questions. Can the same problems still be solved when assuming less? What happens if we try to tolerate more corrupted players than provably tolerable? We conclude with a protocol for multi-party computation based on almost no setup assumptions at all
Correlation between High Risk Obesity Groups and Low Socioeconomic Status in School Children

Objective: Obesity is a major health problem among children and adolescents which is potentially affected by socioeconomic status (SES). The high risk group (HRG) comprises those youths with a body mass index (BMI) between the 85th and 95th percentile (at risk for overweight) and ≥95th percentile (overweight). We sought a potential link between the HRG and SES. Methods: Public schools in Chesterfield County, Virginia measured BMI among students in kindergarten and third, seventh, and tenth grades. We assessed SES based on eligibility for the National School Lunch Program and the percentage of the school-age population living in poverty based on per capita income from the 2000 Census. Results: From 28 to 38% of children and adolescents were in the high risk group. Low SES had robust and highly significant correlations with HRG status with r-values ranging from 0.565 to 0.842, P < 0.0001. Conclusions: Low SES appears to be an important factor in childhood and adolescent obesity.
The promoter activities of sucrose phosphate synthase genes in rice, OsSPS1 and OsSPS11, are controlled by light and circadian clock, but not by sucrose

Although sucrose plays a role in sugar sensing and its signaling pathway, little is known about the regulatory mechanisms of the expressions of plant sucrose-related genes. Our previous study on the expression of the sucrose phosphate synthase gene family in rice (OsSPSs) suggested the involvement of sucrose sensing and/or circadian rhythm in the transcriptional regulation of OsSPS. To examine whether the promoters of OsSPSs can be controlled by sugars and circadian clock, we produced transgenic rice plants harboring a promoter–luciferase construct for OsSPS1 or OsSPS11 and analyzed the changes in the promoter activities by monitoring bioluminescence from intact transgenic plants in real-time. Transgenic plants fed sucrose, glucose, or mannitol under continuous light conditions showed no changes in bioluminescence intensity; meanwhile, the addition of sucrose increased the concentration of sucrose in the plants, and the mRNA levels of OsSPS remained constant. These results suggest that these OsSPS promoters may not be regulated by sucrose levels in the tissues. Next, we investigated the changes in the promoter activities under 12-h light/12-h dark cycles and continuous light conditions. Under the light–dark cycle, both OsSPS1 and OsSPS11 promoter activities were low in the dark and increased rapidly after the beginning of the light period. When the transgenic rice plants were moved to the continuous light condition, both POsSPS1::LUC and POsSPS11::LUC reporter plants exhibited circadian bioluminescence rhythms; bioluminescence peaked during the subjective day with a 27-h period: in the early morning as for OsSPS1 promoter and midday for OsSPS11 promoter. These results indicate that these OsSPS promoters are controlled by both light illumination and circadian clock and that the regulatory mechanism of promoter activity differs between the two OsSPS genes.
GABAergic Projections from the Medial Septum Selectively Inhibit Interneurons in the Medial Entorhinal Cortex

The medial septum (MS) is required for theta rhythmic oscillations and grid cell firing in the medial entorhinal cortex (MEC). While GABAergic, glutamatergic, and cholinergic neurons project from the MS to the MEC, their synaptic targets are unknown. To investigate whether MS neurons innervate specific layers and cell types in the MEC, we expressed channelrhodopsin-2 in mouse MS neurons and used patch-clamp recording in brain slices to determine the response to light activation of identified cells in the MEC. Following activation of MS axons, we observed fast monosynaptic GABAergic IPSPs in the majority (>60%) of fast-spiking (FS) and low-threshold-spiking (LTS) interneurons in all layers of the MEC, but in only 1.5% of nonstellate principal cells (NSPCs) and in no stellate cells. We also observed fast glutamatergic responses to MS activation in a minority (<5%) of NSPCs, FS, and LTS interneurons. During stimulation of MS inputs at theta frequency (10 Hz), the amplitude of GABAergic IPSPs was maintained, and spike output from LTS and FS interneurons was entrained at low (25–60 Hz) and high (60–180 Hz) gamma frequencies, respectively. By demonstrating cell type-specific targeting of the GABAergic projection from the MS to the MEC, our results support the idea that the MS controls theta frequency activity in the MEC through coordination of inhibitory circuits.
A precise vision-based navigation method for autonomous soft landing of lunar explorer

During the entry, descent and landing (EDL) phase of the lunar explorer with a high degree of accuracy, the dual quaternion and the unscented Kalman filter (UKF) based vision navigation method is presented, in order to accomplish navigation task. The lunar explorer's pose estimation method is developed through dual-quaternion calculation. The state equation is derived according to the dynamic model of the lunar explorer during the power descent phase, and the measurement equation is derived by constructing feature points triangle. Because of the nonlinear property of the state function and measurement function, the UKF method is used to estimate the pose of lunar explorer. Simulations demonstrate the validity of the proposed method.
A sound and complete axiomatization of delimited continuations

The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept as the standard (unlimited) continuation, but it represents part of the rest of the computation, rather than the whole rest of computation. In the literature, the semantics of shift and reset has been given by a CPS-translation only. This paper gives a direct axiomatization of calculus with shift and reset, namely, we introduce a set of equations, and prove that it is sound and complete with respect to the CPS-translation. We also introduce a calculus with control operators which is as expressive as the calculus with shift and reset, has a sound and complete axiomatization, and is conservative over Sabry and Felleisen's theory for first-class continuations.
Heterogeneous feature space for Android malware detection

In this paper, a broad static analysis system to classify the android malware application is been proposed. The features like hardware components, permissions, application components, filtered intents, opcodes and number of smali files per application are used to generate the vector space model. Significant features are selected using Entropy based Category Coverage Difference criterion. The performance of the system was evaluated using classifiers like SVM, Rotation Forest and Random Forest. An accuracy of 98.14% with F-measure 0.976 was obtained for the Meta feature space model containing malware features using Random Forest classifier. An overall analysis concluded that the malware model outperforms benign model.
In Vivo Efficacy of Antimicrobials against Biofilm-Producing Pseudomonas aeruginosa

ABSTRACT Patients suffering from cystic fibrosis (CF) are commonly affected by chronic Pseudomonas aeruginosa biofilm infections. This is the main cause for the high disease severity. In this study, we demonstrate that P. aeruginosa is able to efficiently colonize murine solid tumors after intravenous injection and to form biofilms in this tissue. Biofilm formation was evident by electron microscopy. Such structures could not be observed with transposon mutants, which were defective in biofilm formation. Comparative transcriptional profiling of P. aeruginosa indicated physiological similarity of the bacteria in the murine tumor model and the CF lung. The efficacy of currently available antibiotics for treatment of P. aeruginosa-infected CF lungs, such as ciprofloxacin, colistin, and tobramycin, could be tested in the tumor model. We found that clinically recommended doses of these antibiotics were unable to eliminate wild-type P. aeruginosa PA14 while being effective against biofilm-defective mutants. However, colistin-tobramycin combination therapy significantly reduced the number of P. aeruginosa PA14 cells in tumors at lower concentrations. Hence, we present a versatile experimental system that is providing a platform to test approved and newly developed antibiofilm compounds.
Range-recursive pre-Doppler STAP algorithm to reject range dependent clutter in airborne radar

This paper addresses the issue of employing pre-Doppler space time adaptive processing (STAP) in non side looking airborne radar. In this configuration, where the platform velocity is misaligned with the radar antenna axis, the clutter possesses specific properties : the space-time repartition of its spectral power depends on the range what induces difficulties to reject it. The range recursive STAP algorithms have already exhibited high performance to track this non stationarity in fully adaptive STAP. We here propose the use of these algorithms in a pre-Doppler architecture. This paper presents significant performance improvements offered by this element space approach compared with a fully architecture. A comparison with SMI and DBU methods associated with a pre-Doppler approach is also studied. We show that the proposed algorithm outperforms them in terms of SINR loss and computational cost.
Requirements for CEACAMs and Cholesterol during Murine Coronavirus Cell Entry

ABSTRACT Previous reports have documented that cholesterol supplementations increase cytopathic effects in tissue culture and also intensify in vivo pathogenicities during infection by the enveloped coronavirus murine hepatitis virus (MHV). To move toward a mechanistic understanding of these phenomena, we used growth media enriched with methyl-β-cyclodextrin or cholesterol to reduce or elevate cellular membrane sterols, respectively. Cholesterol depletions reduced plaque development 2- to 20-fold, depending on the infecting MHV strain, while supplementations increased susceptibility 2- to 10-fold. These various cholesterol levels had no effect on the binding of viral spike (S) proteins to cellular carcinoembryonic antigen-related cell adhesion molecule (CEACAM) receptors, rather they correlated directly with S-protein-mediated membrane fusion activities. We considered whether cholesterol was indirectly involved in membrane fusion by condensing CEACAMs into “lipid raft” membrane microdomains, thereby creating opportunities for simultaneous binding of multiple S proteins that subsequently cooperate in the receptor-triggered membrane fusion process. However, the vast majority of CEACAMs were solubilized by cold Triton X-100 (TX-100), indicating their absence from lipid rafts. Furthermore, engineered CEACAMs appended to glycosylphosphatidylinositol anchors partitioned with TX-100-resistant lipid rafts, but cells bearing these raft-associated CEACAMs were not hypersensitive to MHV infection. These findings argued against the importance of cholesterol-dependent CEACAM localizations into membrane microdomains for MHV entry, instead suggesting that cholesterol had a more direct role. Indeed, we found that cholesterol was required even for those rare S-mediated fusions taking place in the absence of CEACAMs. We conclude that cholesterol is an essential membrane fusion cofactor that can act with or without CEACAMs to promote MHV entry.
Bilateral persistent sciatic artery with bilateral aneurysms: case report and review of the literature. ?

Persistent sciatic artery is a rare anomaly, only 33 cases having been reported to date. A 34th case is described in this report. , The patient, a 45-year-old man, had bilaterally persistent sciatic arteries with bilateral aneurysms and acute ischemia due to distal embolization. The literature regarding the embryology, incidence and the problems of diagnosis and management of this rare condition is reviewed. The authors emphasize that in cases of aneurysm formation if the sciatic nerve adheres to the aneurysm no attempt should be made to excise the aneurysmal sac.
2‐Chlorodeoxyadenosine (cladribine) in the treatment of hairy cell leukemia and hairy cell leukemia variant: 7‐year experience in Poland

Abstract: Between January 1991 and December 1997, 103 patients, 97 with typical hairy cell leukemia (HCL) and 6 with HCL‐variant (HCL‐V) were treated with 2‐chlorodeoxyadenosine (2‐CdA) given as 2‐h infusion for 5 consecutive d at a daily dose 0.12 mg/kg. To our knowledge this is the largest cohort of HCL patients treated with this type of regimen. Median follow‐up amounted to 36 months. Fifty‐six of 97 patients with typical HCL were newly diagnosed and 41 were relapsed after previous treatment. Splenectomy as a first‐line therapy was performed in 23 patients and 18 remaining patients received prednisone, chlorambucil or interferon‐α (IFN‐α) alone or in combinations. Seventy‐five (77.3%) patients entered CR and 18 (18.6%) achieved PR, giving an overall response rate of 95.9%. The mean time of first CR duration amounting to 32 months (range 3–72) did not correlate to the number of 2‐CdA cycles. 2‐CdA was equally effective in treatment of newly diagnosed patients and patients who relapsed after previous therapeutic procedures. Relapse of the disease occurred in 20 of 75 patients who achieved CR after 2‐CdA and was usually manifested by very discrete changes in peripheral blood counts (neutropenia and/or relative lymphocytosis). The mean progression‐free survival (PFS) time in this group was 37.4 (range 10–66) months. Ten of 20 relapsed patients were retreated with 2‐CdA given an identical course to the first one. Seven patients entered second CR lasting 19+ (range 8–47) months and 3 experienced PR. This confirms the previous observations that 2‐CdA gives no resistance to leukemic clone. Ten remaining patients have not required retreatment so far and remain in a good clinical and hematological state. The results of HCL‐V treatment with 2‐CdA were poor. Only 2 patients achieved PR and 4 patients did not respond to this drug. Seven patients (5 with typical HCL and 2 with HCL‐V) died, 3 of causes unrelated to the disease. Second neoplasms were noted in 5 patients. 2‐CdA‐related side effects resulted mainly from myelosuppression and infectious complications. In conclusion we confirm the effectiveness of 2‐CdA in inducing CR in patients with typical HCL, but this drug is unable to completely eradicate the leukemic clone which results in the relapse of the disease. The real incidence of the relapse rate may be underestimated unless bone marrow biopsy is performed. The results of our study indicate that a 2‐h infusion of 2‐CdA in HCL patients is at least as effective as a 24‐h infusion but more convenient to the patients, and may be given on an outpatient basis.
Urinary incontinence and quality of life in long‐term gynecological cancer survivors: A population‐based cross‐sectional study

Objective. To investigate quality of life (QoL) among women reporting urinary incontinence (UI). Design. Population‐based cross‐sectional study. Setting. Survival status for all women who had primary treatment between 1987 and 1996 at the University Hospital, Trondheim, Norway, was assessed in 2003. Eligible for study participation were recurrence‐free survivors of gynecological cancer and age‐matched women selected from the general population. Methods. Women who had no history of gynecological cancer were selected as age‐matched controls in a 4:1 ratio to survivors in the population census. In 2004, all eligible participants were sent an extensive questionnaire. After one reminder the response rate was 55% (176/319) and 41% (521/1276) for survivors and controls, respectively. UI (total, stress, urge and mixed) was in agreement with definitions of the International Continence Society. QoL was measured by Ferrans and Powers’ Quality of Life Index (QLI). The chi‐squared test for categorical variables, unpaired T‐test for continuous variables and logistic regression were applied. Results. A history of recurrence‐free gynecologic cancer was not associated with reduced QLI. The prevalence of UI was 34.5%. Women with UI had lower scores on total QLI and all domains (health/functioning, psychological/spiritual, socio‐economic, and family domain) compared with continent women. A decreasing score of QLI and its domains were found for increasing severity of UI. After adjustment for other co‐morbidities UI remained an independent significant predictor of QLI below the 25. percentile, but not for QLI below the 10. percentile. Conclusion. UI has a negative impact on QoL. The more severe UI, the more reduced were total and all QLI domains.
OX COMPUTABLE NUMBERS WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM Universal Turing Machine

Access points and randomized algorithms, while extensive in theory, have not until recently been considered compelling. After years of appropriate research into extreme programming, we show the evaluation of rasterization. We introduce a system for the understanding of Internet QoS (Bed), validating that congestion control can be made autonomous, “fuzzy”, and random.
Optimal Bidding Strategy for Profit Maximization of Generation Companies under Step-Wise Bidding Protocol

Deregulation of electricity industry has completely transformed the present power system. The generation companies (Gencos) are now interested in maximizing their profit by optimally strategizing their bids. In an oligopolistic market environment, only a few independent power suppliers can increase their own profit through strategic bidding. The profit depends to a great extent on imperfect knowledge of rival companies. In this work, a new approach is developed for power suppliers to bid optimally for enhancement in their profits. The probability density function is used to determine the rival’s behavior. An optimization routine has been established and Grey Wolf Optimizer (GWO) is used to find the optimal solution to the bidding problem. The approach is validated on four generators test system. The results are also compared with the application of Genetic Algorithm (GA), Particle Swarm Optimization (PSO) and Biogeography Based Optimization (BBO) algorithms. Comparison of the results shows that GWO is an effective solution provider.
MiR-30c-5p ameliorates hepatic steatosis in leptin receptor-deficient (db/db) mice via down-regulating FASN

Approximately 15-40% of the general adult population suffers from non-alcoholic fatty liver disease (NAFLD) worldwide. However, no drug is currently licensed for its treatment. In this study, we observed a significant reduction of miR-30c-5p in the liver of leptin receptor-deficient (db/db) mice. Remarkably, recombinant adeno-associated virus (rAAV)-mediated delivery of miR-30c-5p was sufficient to attenuate triglyceride accumulation and hepatic steatosis in db/db mice. Through computational prediction, KEGG analysis and Ago2 co-immunoprecipitation, we identified that miR-30c-5p directly targeted fatty acid synthase, a key enzyme in fatty acid biosynthesis. Moreover, down-regulation of FASN by siRNA attenuated some key features of NAFLD, including decreased triglyceride accumulate and lipid deposition. Our findings reveal a new role of miR-30c-5p in counterbalancing fatty acid biosynthesis, which is sufficient to attenuate triglyceride accumulation and hepatic steatosis in db/db mice.
LRI: A low rank approach to non-local sparse representation for image interpolation

The sparse representation models for image super-resolution have shown great potential in various imaging and vision tasks. However, most of them are challenged by the accuracy issue especially when images are significantly down-sampled. In this paper, we aim to improve the performance of sparse representation. We propose to incorporate a low rank approach into image non-local sparse representation model. To the best of our knowledge, this is the first work to integrate low rank approaches into non-local spare representation for image interpolation. The proposed method can obtain good estimation of sparse coefficients of original images. Experimental results show the effectiveness of our proposed method compared with the state-of-the-art.
Is there a fractional breakdown of the Stokes-Einstein relation in kinetically constrained models at low temperature?

We study the motion of a tracer particle injected in facilitated models which are used to model supercooled liquids in the vicinity of the glass transition. We consider the East model, FA1f model and a more general class of non-cooperative models. For East previous works had identified a fractional violation of the Stokes-Einstein relation with a decoupling between diffusion and viscosity of the form with . We present rigorous results proving that instead , which implies at leading order for very large time scales. Our results do not exclude the possibility of SE breakdown, albeit non-fractional. Indeed extended numerical simulations by other authors show the occurrence of this violation and our result suggests , where q is the density of excitations. For FA1f we prove a fractional Stokes-Einstein relation in dimension 1, and in dimension 2 and higher, confirming previous works. Our results extend to a larger class of non-cooperative models.
A Deep Belief Network for the Acoustic-Articulatory Inversion Mapping Problem

In this work, we implement a deep belief network for the acoustic-articulatory inversion mapping problem. We find that adding up to 3 hidden-layers improves inversion accuracy. We also show this is due to the higher expressive capability of a deep model and not a consequence of adding more adjustable parameters. Besides, we show unsupervised pretraining of the system improves its performance in all cases, even for a 1 hidden-layer model. Our implementation obtained an average root mean square error of 0.95 mm on the MNGU0 test dataset, beating all previously published results.
The costs and benefits of ‘red tape’: Anti-bureaucratic structure and gender inequity in a science research organization

This paper explicates a central conflict that can affect science research organizations, the conflict between the anti-bureaucratic stance believed to advance science and concerns for gender equity rooted in the universalist ethos of science. We present a case study of a science research organization, using employment and publication records, a survey of 308 employees, and qualitative interviews with 60 employees. We show how anti-bureaucratic organizational structures perpetuate gender inequities for both female scientists and non-scientists.