Miracle-dz/UniFAR-FTUs huggingface dataset:
Hybris: Robust Hybrid Cloud Storage

Besides well-known benefits, commodity cloud storage also raises concerns that include security, reliability, and consistency. We present Hybris key-value store, the first robust hybrid cloud storage system, aiming at addressing these concerns leveraging both private and public cloud resources. Hybris robustly replicates metadata on trusted private premises (private cloud), separately from data which is dispersed (using replication or erasure coding) across multiple untrusted public clouds. Hybris maintains metadata stored on private premises at the order of few dozens of bytes per key, avoiding the scalability bottleneck at the private cloud. In turn, the hybrid design allows Hybris to efficiently and robustly tolerate cloud outages, but also potential malice in clouds without overhead. Namely, to tolerate up to f malicious clouds, in the common case of the Hybris variant with data replication, writes replicate data across f + 1 clouds, whereas reads involve a single cloud. In the worst case, only up to f additional clouds are used. This is considerably better than earlier multi-cloud storage systems that required costly 3f + 1 clouds to mask f potentially malicious clouds. Finally, Hybris leverages strong metadata consistency to guarantee to Hybris applications strong data consistency without any modifications to the eventually consistent public clouds. We implemented Hybris in Java and evaluated it using a series of micro and macrobenchmarks. Our results show that Hybris significantly outperforms comparable multi-cloud storage systems and approaches the performance of bare-bone commodity public cloud storage.
Development and evaluation of a computer-aided diagnostic scheme for lung nodule detection in chest radiographs by means of two-stage nodule enhancement with support vector classification.

PURPOSE To develop a computer-aided detection (CADe) scheme for nodules in chest radiographs (CXRs) with a high sensitivity and a low false-positive (FP) rate. METHODS The authors developed a CADe scheme consisting of five major steps, which were developed for improving the overall performance of CADe schemes. First, to segment the lung fields accurately, the authors developed a multisegment active shape model. Then, a two-stage nodule-enhancement technique was developed for improving the conspicuity of nodules. Initial nodule candidates were detected and segmented by using the clustering watershed algorithm. Thirty-one shape-, gray-level-, surface-, and gradient-based features were extracted from each segmented candidate for determining the feature space, including one of the new features based on the Canny edge detector to eliminate a major FP source caused by rib crossings. Finally, a nonlinear support vector machine (SVM) with a Gaussian kernel was employed for classification of the nodule candidates. RESULTS To evaluate and compare the scheme to other published CADe schemes, the authors used a publicly available database containing 140 nodules in 140 CXRs and 93 normal CXRs. The CADe scheme based on the SVM classifier achieved sensitivities of 78.6% (110/140) and 71.4% (100/140) with averages of 5.0 (1165/233) FPs/image and 2.0 (466/233) FPs/image, respectively, in a leave-one-out cross-validation test, whereas the CADe scheme based on a linear discriminant analysis classifier had a sensitivity of 60.7% (85/140) at an FP rate of 5.0 FPs/image. For nodules classified as "very subtle" and "extremely subtle," a sensitivity of 57.1% (24/42) was achieved at an FP rate of 5.0 FPs/image. When the authors used a database developed at the University of Chicago, the sensitivities was 83.3% (40/48) and 77.1% (37/48) at an FP rate of 5.0 (240/48) FPs/image and 2.0 (96/48) FPs/image, respectively. CONCLUSIONS These results compare favorably to those described for other commercial and non-commercial CADe nodule detection systems.
Improving end-to-end performance by active queue management

Active queue management (AQM) schemes have motivated many researchers to investigate more effective methods to control network congestion. Most AQM schemes are evaluated by their designers on the basis of router-centric metrics, such as queuing delay, link utilization and packet drop ratio. These metrics are important to network operators but they may not reflect the quality of service delivered to end-users. In this paper we propose a method aimed to provide users with better services in terms of end-to-end delay and packet loss ratio. The method captures a significant traffic increase at an early stage and signals TCP sources to slow down. In this way, TCP can quickly adjust the transmission rate, and thereby prevent overloading the network. In addition to RED, another two prominent AQM schemes, namely, random early marking (REM) and adaptive RED (ARED), are compared with the proposed method. Simulation results show that under various network loads and a range of network propagation delays, our method can achieve lower end-to-end delay and packet loss ratio, compared with all aforementioned schemes.
Women’s Perception of Future Risk Following Pregnancies Complicated by Preeclampsia

Objective. To elicit women’s personal understanding of future cardiovascular risk, following a pregnancy complicated by preeclampsia, and to identify the postnatal needs of these women. Methods. Semi-structured interviews with 12 women with a recent history of preeclampsia who had attended a postnatal follow-up clinic. Results. The interviews were held at a median of 47 weeks postpartum (range 24–62 weeks). Family history of cardiovascular disease was associated with a greater awareness of future cardiovascular risk. Women without traditional risk factors found it hard to envisage themselves as being at risk and may not see the relevance of such information. It may take several months after delivery for a woman to be able to fully consider her own health as well as the baby’s; a reminder of risk and health information is needed. Conclusions. Although receptive to follow-up, the situational factors of being a new mother need to be taken into account to engage successfully with this patient group. Further research is needed to help clarify the extent to which a history of preeclampsia is an independent factor for future cardiovascular disease to provide a solid foundation for effective risk communication.
Rainbow Matchings in r-Partite r-Graphs

Given a collection of matchings ${\cal M} = (M_1, M_2, \ldots, M_q)$ (repetitions allowed), a matching $M$ contained in $\bigcup {\cal M}$ is said to be $s$- rainbow for ${\cal M}$ if it contains representatives from $s$ matchings $M_i$ (where each edge is allowed to represent just one $M_i$). Formally, this means that there is a function $\phi: M \to [q]$ such that $e \in M_{\phi(e)}$ for all $e \in M$, and $|Im(\phi)|\ge s$. Let $f(r,s,t)$ be the maximal $k$ for which there exists a set of $k$ matchings of size $t$ in some $r$-partite hypergraph, such that there is no $s$-rainbow matching of size $t$. We prove that $f(r,s,t)\ge 2^{r-1}(s-1)$, make the conjecture that equality holds for all values of $r,s$ and $t$ and prove the conjecture when $r=2$ or $s=t=2$. In the case $r=3$, a stronger conjecture is that in a $3$-partite $3$-graph if all vertex degrees in one side (say $V_1$) are strictly larger than all vertex degrees in the other two sides, then there exists a matching of $V_1$. This conjecture is at the same time also a strengthening of a famous conjecture, described below, of Ryser, Brualdi and Stein. We prove a weaker version, in which the degrees in $V_1$ are at least twice as large as the degrees in the other sides. We also formulate a related conjecture on edge colorings of $3$-partite $3$-graphs and prove a similarly weakened version.
Within-Plant Distribution of Onion Thrips (Thysanoptera: Thripidae) in Onions

Abstract Two aspects of the within-plant distribution of Thrips tabaci Lindeman (Thysanoptera: Thripidae) on onion, Allium cepa L. , plants were investigated: 1) diurnal variations in the distribution of adults and larvae between basal and upper sections of onion leaves, and 2) between-leaf and within-leaf distribution of the eggs. The diurnal investigations showed that higher proportions of larvae than of adults congregated at the basal sections of plants, particularly when plants were young and thrips density was low. As plants matured and thrips density increased, the larvae became more dispersed. Regardless of plant size, there were always more adults in the upper than basal plant sections. There were no clear time-windows during the 24-h diurnal cycle when more thrips were in the upper plant parts. T. tabaci eggs were laid everywhere in the plant. Leaves of intermediate ages had more eggs than older or younger leaves. Within leaves, the white leaf sheath received the least eggs and leaf tips received slightly more eggs than leaf sheaths. The highest egg density was found between the green leaf base and the leaf tips. Regardless of plant size, more than half of all eggs were laid above the basal sections. The percentage increased to >95% in mature plants. Except when plants were small the outer leaves were preferred over inner leaves and upper leaf sections preferred over lower leaf sections as egg-laying sites by adults. Implications of the results in the management of T. tabaci are discussed.
Confidence Limits for the Indirect Effect: Distribution of the Product and Resampling Methods

The most commonly used method to test an indirect effect is to divide the estimate of the indirect effect by its standard error and compare the resulting z statistic with a critical value from the standard normal distribution. Confidence limits for the indirect effect are also typically based on critical values from the standard normal distribution. This article uses a simulation study to demonstrate that confidence limits are imbalanced because the distribution of the indirect effect is normal only in special cases. Two alternatives for improving the performance of confidence limits for the indirect effect are evaluated: (a) a method based on the distribution of the product of two normal random variables, and (b) resampling methods. In Study 1, confidence limits based on the distribution of the product are more accurate than methods based on an assumed normal distribution but confidence limits are still imbalanced. Study 2 demonstrates that more accurate confidence limits are obtained using resampling methods, with the bias-corrected bootstrap the best method overall.
An integrated computational and experimental study uncovers FUT9 as a metabolic driver of colorectal cancer

Metabolic alterations play an important role in cancer and yet, few metabolic cancer driver genes are known. Here we perform a combined genomic and metabolic modeling analysis searching for metabolic drivers of colorectal cancer. Our analysis predicts FUT9, which catalyzes the biosynthesis of Ley glycolipids, as a driver of advanced‐stage colon cancer. Experimental testing reveals FUT9's complex dual role; while its knockdown enhances proliferation and migration in monolayers, it suppresses colon cancer cells expansion in tumorspheres and inhibits tumor development in a mouse xenograft models. These results suggest that FUT9's inhibition may attenuate tumor‐initiating cells (TICs) that are known to dominate tumorspheres and early tumor growth, but promote bulk tumor cells. In agreement, we find that FUT9 silencing decreases the expression of the colorectal cancer TIC marker CD44 and the level of the OCT4 transcription factor, which is known to support cancer stemness. Beyond its current application, this work presents a novel genomic and metabolic modeling computational approach that can facilitate the systematic discovery of metabolic driver genes in other types of cancer.
Pubertal development in HIV-infected African children on first-line antiretroviral therapy

Objectives:To estimate age at attaining Tanner stages in Ugandan/Zimbabwean HIV-infected children initiating antiretroviral therapy (ART) in older childhood and investigate predictors of delayed puberty, particularly age at ART initiation. Design:Observational analysis within a randomized trial. Methods:Tanner staging was assessed every 24 weeks from 10 years of age, menarche every 12 weeks and height every 4–6 weeks. Age at attaining different Tanner stages was estimated using normal interval regression, considering predictors using multivariable regression. Growth was estimated using multilevel models with child-specific intercepts and trajectories. Results:Median age at ART initiation was 9.4 years (inter-quartile range 7.8, 11.3) (n = 582). At the first assessment, the majority (80.2%) were in Tanner stage 1; median follow-up with staging was 2.8 years. There was a strong delaying effect of older age at ART initiation on age at attaining all Tanner stages (P < 0.05) and menarche (P = 0.02); in boys the delaying effect generally weakened with older age. There were additional significant delays associated with greater impairments in pre-ART height-for-age Z-score (P < 0.05) in both sexes and pre-ART BMI-for-age in girls (P < 0.05). There was no evidence that pre-ART immuno-suppression independently delayed puberty or menarche. However, older children/adolescents had significant growth spurts in intermediate Tanner stages, and were still significantly increasing their height when in Tanner stage 5 (P < 0.01). Conclusion:Delaying ART initiation until older childhood substantially delays pubertal development and menarche, independently of immuno-suppression. This highlights that factors other than CD4+, such as pubertal development, need consideration when making decisions about timing of ART initiation in older children.
Caregiver Burden and Psychoeducational Interventions in Alzheimer's Disease: A Review

Background: Caring for a patient with Alzheimer’s disease (AD) is associated with poor quality of life and deteriorating health for the caregiver. Methods: This comprehensive review was performed to investigate the current literature on caregiver burden, factors affecting caregiver burden and the effectiveness of different types of intervention. Results: Successful psychoeducational interventions for caregivers have included provision of information about AD, care planning, advice about patient management and the importance of self-care, skills training to aid patient management, stress management training, and problem-solving and decision-making guidance. Conclusion: Interventions that are individually tailored to the caregiver are particularly effective at reducing caregiver burden and should be further investigated. The use of effective pharmacological treatment for the improvement and/or stabilisation of AD symptoms in the patient is also likely to improve caregiver burden.
The contribution of a particular 'kids in parks' programme to the professional development of teachers

This article considers the possible contribution of the ‘kids in parks’ programme offered at Golden Gate Highlands National Park to the professional development of teachers. Focus group interviews were held with teachers who participated in the programme, and an interview with open-ended questions was held with a learning facilitator from the provincial education department. Although the programme has not primarily been developed to focus on professional development, the setting creates an ideal opportunity for the professional development of teachers away from the formal school situation. This research suggests that the programme, and consequently similar programmes offered at other national parks in South Africa, could make a contribution to the professional development of teachers.
miR-222 isoforms are differentially regulated by type-I interferon

Endogenous microRNAs (miRNAs) often exist as multiple isoforms (known as “isomiRs”) with predominant variation around their 3′-end. Increasing evidence suggests that different isomiRs of the same family can have diverse functional roles, as recently demonstrated with the example of miR-222-3p 3′-end variants. While isomiR levels from a same miRNA family can vary between tissues and cell types, change of templated isomiR stoichiometry to stimulation has not been reported to date. Relying on small RNA-sequencing analyses, we demonstrate here that miR-222-3p 3′-end variants >23 nt are specifically decreased upon interferon (IFN) β stimulation of human fibroblasts, while shorter isoforms are spared. This length-dependent dynamic regulation of long miR-222-3p 3′-isoforms and >40 other miRNA families was confirmed in human monocyte-derived dendritic cells following infection with Salmonella Typhimurium, underlining the breadth of 3′-length regulation by infection, beyond the example of miR-222-3p. We further show that stem–loop miRNA Taqman RT-qPCR exhibits selectivity between 3′-isoforms, according to their length, and that this can lead to misinterpretation of results when these isoforms are differentially regulated. Collectively, and to our knowledge, this work constitutes the first demonstration that the stoichiometry of highly abundant templated 3′-isoforms of a same miRNA family can be dynamically regulated by a stimulus. Given that such 3′-isomiRs can have different functions, our study underlines the need to consider isomiRs when investigating miRNA-based regulation.
Potential Therapeutic Effects of Meditation for Treating Affective Dysregulation

Affective dysregulation is at the root of many psychopathologies, including stress induced disorders, anxiety disorders, and depression. The root of these disorders appears to be an attenuated, top-down cognitive control from the prefrontal cortices over the maladaptive subcortical emotional processing. A form of mental training, long-term meditation practice can trigger meditation-specific neuroplastic changes in the brain regions underlying cognitive control and affective regulation, suggesting that meditation can act as a kind of mental exercise to foster affective regulation and possibly a cost-effective intervention in mood disorders. Increasing research has suggested that the cultivation of awareness and acceptance along with a nonjudgmental attitude via meditation promotes adaptive affective regulation. This review examined the concepts of affective regulation and meditation and discussed behavioral and neural evidence of the potential clinical application of meditation. Lately, there has been a growing trend toward incorporating the “mindfulness” component into existing psychotherapeutic treatment. Promising results have been observed thus far. Future studies may consider exploring the possibility of integrating the element of “compassion” into current psychotherapeutic approaches.
Synthesis and characterization of 2′-modified-4′-thioRNA: a comprehensive comparison of nuclease stability

We report herein the synthesis and physical and physiological characterization of fully modified 2′-modified-4′-thioRNAs, i.e. 2′-fluoro-4′-thioRNA (F-SRNA) and 2′-O-Me-4′-thioRNA (Me-SRNA), which can be considered as a hybrid chemical modification based on 2′-modified oligonucleotides (ONs) and 4′-thioRNA (SRNA). In its hybridization with a complementary RNA, F-SRNA (15mer) showed the highest Tm value (+16°C relative to the natural RNA duplex). In addition, both F-SRNA and Me-SRNA preferred RNA as a complementary partner rather than DNA in duplex formation. The results of a comprehensive comparison of nuclease stability of single-stranded F-SRNA and Me-SRNA along with 2′-fluoroRNA (FRNA), 2′-O-MeRNA (MeRNA), SRNA, and natural RNA and DNA, revealed that Me-SRNA had the highest stability with t1/2 values of > 24 h against S1 nuclease (an endonuclease) and 79.2 min against SVPD (a 3′-exonuclease). Moreover, the stability of Me-SRNA was significantly improved in 50% human plasma (t1/2 = 1631 min) compared with FRNA (t1/2 = 53.2 min) and MeRNA (t1/2 = 187 min), whose modifications are currently used as components of therapeutic aptamers. The results presented in this article will, it is hoped, contribute to the development of 2′-modified-4′-thioRNAs, especially Me-SRNA, as a new RNA molecule for therapeutic applications.
Analysis of Simple Sequence Repeats Information from Floral Expressed Sequence Tags Resources of Papaya (Carica papaya L.)

Papaya (Carica papaya L.) is one of the most economically, medicinally and nutritionally important tropical fruit crops. Expressed sequence tags (ESTs) derived simple sequence repeat (SSR) markers are more valuable as they are derived from conserved genic portion. Development of EST-SSRs markers through in silico approach is cheaper, less time consuming and labour-intensive. In this study, we aimed to mine SSRs and developed EST-SSR primers from papaya floral ESTs. A total of 75,846 papaya floral ESTs were downloaded from public database National Centre for Biotechnology Information (NCBI). A total of 26,039 floral unigenes (7961 contigs and 18,078 singletons) were generated after assembly of these ESTs. From these floral unigenes, 433,782 perfect SSRs, 204,968 compound SSRs and 6061 imperfect SSRs were mined, respectively. In perfect SSRs, mononucleotide repeats were most abundant (94.7%) followed by tri- (3.1%) and di-nucleotide repeats (1.7%). The frequencies of tetra-, hexa- and penta-nucleotide repeats accounted for only (0.17%), (0.04%) and (0.03%), respectively. In mononucleotide repeats, the most abundant motif was A/T (69.3%) and in di- and tri-nucleotide repeats were AG/CT (61%) and AAG/CTT (31%), respectively. In imperfect SSRs, mononucleotide repeats (56.5%) were most abundant. 176 different types of motifs were identified. A total of 3807 primer pairs for floral papaya ESTs were successfully designed. These developed EST-SSR primers are being used for the genetic improvement of papaya such as study of cross-transferability across genera/species, evaluation of genetic diversity, and identification of sex-specific markers. These EST derived SSRs can also be used in filling gaps in existing linkage maps in papaya.
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates

Existing software model checkers based on predicate abstraction and refinement typically perform poorly at verifying the absence of buffer overflows, with analyses depending on the sizes of the arrays checked. We observe that many of these analyses can be made efficient by providing proof templates for common array traversal idioms idioms, which guide the model checker towards proofs that are independent of array size. We have integrated this technique into our software model checker, PtYasm, and have evaluated our approach on a set of testcases derived from the Verisec suite, demonstrating that our technique enables verification of the safety of array accesses independently of array size.
Comparison of recovery times and complication rates between a modified slanted slot and the standard ventral slot for the treatment of cervical disc disease in 20 dogs.

OBJECTIVES To compare the recovery times and complication rates between the standard ventral slot and the modified slanted ventral slot for the treatment of cervical disc disease in dogs with the same neurological grade. METHODS A retrospective analysis of an equal number of cervical disc cases for each procedure was carried out specifically to determine the recovery times and complication rates. To allow for meaningful comparison only dogs that had the same neurological grade were selected. Outcomes were determined by time to recover and the resolution of symptoms and complications were graded in terms of severity. RESULTS The standard ventral slot cases had a higher complication rate than the modified slanted slot cases with one case dying in the postoperative period. However, the modified slanted slot cases on average had a marginally slower recovery time than standard ventral slot cases. CLINICAL SIGNIFICANCE Ventral decompression using the modified slanted slot instead of the standard ventral slot will allow for spinal decompression with potentially less destabilisation, and incur a similar incidence of complications and rate of recovery.