Miracle-dz/UniFAR-FTUs huggingface dataset:
Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems

Just like any other algorithm, Dynamic Thermal Management (DTM) schemes for multi-core architectures are susceptible to errors. Moreover, due to the wide spread usage and safety-critical nature of these schemes, there is a key demand for robust verification of these schemes before deployment. Traditional analysis techniques, like simulation and emulation, are inherently incomplete and therefore they cannot guarantee a complete absence of bugs. In this paper, we present a generic formal verification methodology, based of probabilistic model checking, for verifying decentralized DTM schemes. The paper provides a general modelling approach for developing a Markovian model of any decentralized DTM scheme. Moreover, we identify a set of generic probabilistic properties that can be of an interest to DTM scheme designers. For illustration purposes, the proposed methodology is used to verify Thermal Aware Agent Based Power Economy (TAPE), which is a state-of-the-art decentralized DTM scheme.
Cytomorphologic Characterization of Cell Subsets Isolated by Density Gradient Centrifugation from Tumor Effusions of Ovarian Endometrioid Carcinoma

Aims Cytomorphologic characterization of tumor cell subsets, according to the stage of pathologic differentiation, and comparison of cellular composition in tumor cyst and ascitic fluids were carried out on individual patients with ovarian endometrioid carcinoma. Methods A density gradient centrifugation technique was applied to fractionate the cells from tumor effusions. Results The enrichment of cell forms representing individual stages of pathologic differentiation by gradient centrifugation facilitated their cytomorphologic characterization. According to cytomorphologic features, 5 discrete cell subpopulations were identified and catalogued. The cellular composition of tumor cyst and ascitic fluids in individual patients was similar, but the number of fractions and percentage of cell subsets differed. Conclusions The estimation of precise cytomorphologic criteria for cell forms in tumor effusions facilitated the cytologic diagnosis of ovarian endometrioid carcinoma. The possibility to concentrate poorly differentiated, frankly malignant cell subsets in low densities could significantly improve the diagnosis of tumor effusions.
The Haemophilus influenzae HMW1C Protein Is a Glycosyltransferase That Transfers Hexose Residues to Asparagine Sites in the HMW1 Adhesin

The Haemophilus influenzae HMW1 adhesin is a high-molecular weight protein that is secreted by the bacterial two-partner secretion pathway and mediates adherence to respiratory epithelium, an essential early step in the pathogenesis of H. influenzae disease. In recent work, we discovered that HMW1 is a glycoprotein and undergoes N-linked glycosylation at multiple asparagine residues with simple hexose units rather than N-acetylated hexose units, revealing an unusual N-glycosidic linkage and suggesting a new glycosyltransferase activity. Glycosylation protects HMW1 against premature degradation during the process of secretion and facilitates HMW1 tethering to the bacterial surface, a prerequisite for HMW1-mediated adherence. In the current study, we establish that the enzyme responsible for glycosylation of HMW1 is a protein called HMW1C, which is encoded by the hmw1 gene cluster and shares homology with a group of bacterial proteins that are generally associated with two-partner secretion systems. In addition, we demonstrate that HMW1C is capable of transferring glucose and galactose to HMW1 and is also able to generate hexose-hexose bonds. Our results define a new family of bacterial glycosyltransferases.
State estimation and bath control for the electroless nickel-plating process

A mixed-potential model is proposed for the electroless nickel-plating process. It is tested against measured data and used for monitoring of the thickness and phosphorous content of plating film. The bath-loading process with strong effect on chemical reactions is evaluated as Markov pure jump process and applied in control. The thickness and phosphorous content are stabilized at desired levels using electrochemically balanced tracking trajectory for pH-index and nickel concentration. The latter processes are controlled at the balanced trajectory using the precise controls developed.
The Eps8/IRSp53/VASP Network Differentially Controls Actin Capping and Bundling in Filopodia Formation

There is a body of literature that describes the geometry and the physics of filopodia using either stochastic models or partial differential equations and elasticity and coarse-grained theory. Comparatively, there is a paucity of models focusing on the regulation of the network of proteins that control the formation of different actin structures. Using a combination of in-vivo and in-vitro experiments together with a system of ordinary differential equations, we focused on a small number of well-characterized, interacting molecules involved in actin-dependent filopodia formation: the actin remodeler Eps8, whose capping and bundling activities are a function of its ligands, Abi-1 and IRSp53, respectively; VASP and Capping Protein (CP), which exert antagonistic functions in controlling filament elongation. The model emphasizes the essential role of complexes that contain the membrane deforming protein IRSp53, in the process of filopodia initiation. This model accurately accounted for all observations, including a seemingly paradoxical result whereby genetic removal of Eps8 reduced filopodia in HeLa, but increased them in hippocampal neurons, and generated quantitative predictions, which were experimentally verified. The model further permitted us to explain how filopodia are generated in different cellular contexts, depending on the dynamic interaction established by Eps8, IRSp53 and VASP with actin filaments, thus revealing an unexpected plasticity of the signaling network that governs the multifunctional activities of its components in the formation of filopodia.
Retrospective audit of different antenatal screening policies for Down's syndrome in eight district general hospitals in one health region

Objective: To compare the effectiveness of different screening policies for the antenatal detection of Down's syndrome. Design: Retrospective six year survey. Setting: Maternity units of eight districts. Participants: Women who completed their pregnancies between 1 January 1994 and 31 December 1999 (155 501 deliveries). Main outcome measures: Cases of Down's syndrome identified before 24 weeks' gestation. Results: 335 cases of Down's syndrome were identified, 323 in continuing pregnancies or liveborn children. Of these, 171 were identified antenatally. Seven different screening policies were used, in three principal groups: serum screening offered to all mothers, maternal age with serum screening or nuchal translucency available to limited groups, and maternal age combined with anomaly scans. The districts that used serum screening detected 57%, those using maternal age plus serum or nuchal translucency screening 52%, and those using a maternal age of 35 and anomaly scans detected 54%. The least successful district, which offered amniocentesis only to women aged over 37 years, detected only 31%. If amniocentesis had been offered from 35 years, as in all other districts, the detection rate would have risen to 54%. Across the region 15% (range 12-20%) of pregnant women were 35 years or more at delivery, and 58% (33-69%) of infants with Down's syndrome were born to women in this age range. Conclusions: Current additional serum or nuchal translucency screening techniques for antenatal detection of Down's syndrome are less advantageous than previously supposed. More pregnant women were aged over 35 than has been presumed in statistical models used in demonstration projects of serum screening and, as a result, the proportion of affected fetuses in this age group is much greater than predicted.
Near-Optimal Estimation of Simultaneously Sparse and Low-Rank Matrices from Nested Linear Measurements

In this paper we consider the problem of estimating simultaneously low-rank and row-wise sparse matrices from nested linear measurements where the linear operator consists of the product of a linear operator $\mathcal{W}$ and a matrix $\mathbf{\varPsi}$. Leveraging the nested structure of the measurement operator, we propose a computationally efficient two-stage algorithm for estimating the simultaneously structured target matrix. Assuming that $\mathcal{W}$ is a restricted isometry for low-rank matrices and $\mathbf{\varPsi}$ is a restricted isometry for row-wise sparse matrices, we establish an accuracy guarantee that holds uniformly for all sufficiently low-rank and row-wise sparse matrices with high probability. Furthermore, using standard tools from information theory, we establish a minimax lower bound for estimation of simultaneously low-rank and row-wise sparse matrices from linear measurements that need not be nested. The accuracy bounds established for the algorithm, that also serve as a minimax upper bound, differ from the derived minimax lower bound merely by a polylogarithmic factor of the dimensions. Therefore, the proposed algorithm is nearly minimax optimal. We also discuss some applications of the proposed observation model and evaluate our algorithm through numerical simulation.
Does the Positive Keying of the TAS Inflate the Absorption-Hypnotizability Link?

The search for correlates of hypnotic responsiveness has been largely unsuccessful, with the notable exception of the construct "absorption. " The Tellegen Absorption Scale (TAS) has been shown to correlate with hypnotic responsiveness, particularly if the two measures are administered in the same testing context or setting. The present study set out to determine whether the all-true, positively keyed format of the TAS inflates the absorption-hypnotizability link. With a sample of 466 participants, the authors show that wording the TAS items in either a positive or negative direction does not affect the correlation between the TAS and the Harvard Group Scale of Hypnotic Susceptibility, Form A.
Role of Intestinal Mucins in Innate Host Defense Mechanisms against Pathogens

Gastrointestinal mucins produced by goblet cells comprise the main structural components of the mucus layer. Mucins play a critical role in the maintenance of mucosal homeostasis and are responsible for the differential effector and regulatory responses against a plethora of microorganisms, including commensals and pathogens. In this review, we present a comprehensive overview on mucin biology, its properties, classification and gene assembly. We also consider the structure of the mucin gene, its proteins and its role in innate host defenses. We compare the various mucin secretagogues and the differential regulatory pathways involved in mucin biosynthesis and secretion during normal and diverse pathogenic conditions. Finally, we summarize the putative uncharted aspects of mucin-derived innate host defenses, whose exploration will help drug developers to identify factors that can strengthen mucosal integrity and will facilitate basic science research into curative treatments for gastrointestinal diseases.
Synthesis, properties, and in vivo evaluation of sustained release albumin-mitoxantrone microsphere formulations for nonsystemic treatment of breast cancer and other high mortality cancers

Methods for preparing mitoxantrone (MXN)-loaded albumin microspheres for the treatment of breast cancer were developed. The effect of processing conditions on the particle size of unloaded and MXN-loaded microspheres was evaluated using multivariate analyses. The data suggested that the particle size of unloaded microspheres increased as protein concentration increased or the steric stabilizer concentration decreased. In addition, synergy between these two variables was observed. In situ-loading of MXN achieved loading efficiencies in excess of 80%. Comparable efficiencies were achieved with post-synthesis loading when the microsphere were prepared from albumin-poly(glutamic acid) blends. In vitro release of MXN in phosphate buffered saline under infinite sink conditions showed that the total amount of drug released increased as the glutaraldehyde concentration decreased. This trend was reversed when the microspheres were incubated in plasma. Nanoparticles were also prepared using ethanol desolvation. These particles were dispersible in saline and easily modified with amino acids. In addition, particle size could be varied by use of different non-ionic surfactants in the preparation. The effect of intratumoral (IT) versus intravenous (IV) drug administration on tumor response and systemic toxicity was investigated in vivo using the 16/C murine mammary adenocarcinoma tumor model. The data suggested that IT-treated animals had significantly smaller tumors and lower weight loss when compared to IV-treated animals. Furthermore, the addition of surgery to the chemotherapy further improved the survival of the animals. Pilot studies using MXN-albumin microspheres suggested that microspheres could be safely administered IT in doses up to 48 mg/kg. However, there was no evidence that this higher dose resulted in improved long term survival when compared to the 32 mg/kg dose. The maximum tolerated dose of MXN given IT was approximately 12 mg/kg. The animal studies suggested that IT chemotherapy could result in significant reduction in tumor burden and systemic toxicity when compared to conventional IV chemotherapy. Microsphere-bound drug could be safely administered IT at very high doses. In addition, microspheres exerted an antitumoral effect over an extended period of time; however, complete tumor regression was achieved only by complete tumor perfusion. ( ,, )
Association of assisted reproductive technology with adverse pregnancy outcomes

Background: More and more infertile patients have accepted the assisted reproductive technique (ART) therapy. Concerns have been raised over an increased risk of adverse maternal outcomes in ART populations as compared with natural conception (NC). Objective: The aim was to improve the ART in clinicial work and to reduce the incidence of pregnancy complications in ART group according to analyzing the reasons of high incidence of pregnancy complications in ART group, comparing the incidence of pregnancy complications in different controlled ovarian hyperstimulation (COH) programs and evaluating the effects of ART which attribute to adverse pregnancy outcomes. Materials and Methods: In this prospective population-based cohort study,3216 pregnant women with gestational age ≤12 weeks, regular antenatal examination,and ultrasound identification of intrauterine pregnancy were enrolled from January 2010 to June 2013. According to having ART history, the participantswere divided into two groups: ART group (contains fresh embryo transfer group or frozen-thawed embryo transfer group) and NC group. We compared the incidence of pregnancy complications between different groups and evaluated the factors which could affect the occurrence of these complications. Results: When compared to NC group, significantly increased rates of gestational diabetes mellitus (GDM) (p<0.01), preeclampsia (PE) (p<0.01) and intrahepatic cholestasis of pregnancy (ICP) (p˂0.01) were observed in ART group. There was no significant difference in the incidence of birth defect between the two groups (p=0.07). Multiple pregnancies and Gonadotropin (Gn) were risk factors in GDM, PE, and ICP. The exogenous progesterone treatment had no effect on GDM, PE or ICP. Conclusion: ART increases the risk of adverse maternal complications such as GDM, PE and ICP. The dosages of Gn should be reduced to an extent and the number of embryo implantation should be controlled. Exogenous progesterone treatment is safe.
Dual mode control of a system with friction

The stick-slip friction system is known to exhibit very different macro and microscopic behaviors. For large movements, the system exhibits the familiar stick-slip friction characteristics; and for very fine movements, the elastic deformation seems to prevail. While there have been tremendous efforts to understand the stick-slip friction mechanism, most people would agree that the complexity of the friction characteristics prevents the establishment, of a simple mathematical model. Thus, the controller design cannot be solely dependent on a friction model. In the paper, a robust controller is developed so that it achieves ultimate boundedness in both the macro and micro motion regions. As a result, the controller is capable of controlling the system across the macro movement range and achieves precision positioning in the micro motion resolution. Comparisons with existing controllers also show that the proposed controller easily achieves a better performance.
Tag Recommendations in StackOverﬂow

—Many social information websites require users to organize content by marking user generated content with “tags”. In order for such sites to maintain their organization, this tagging process should be as accurate as possible. One way the website can facilitate accurate tagging is to recommend tags for users based on the content they generate. For our project, we will study tag recommendations in the context of the social question and answer site StackOverﬂow. We introduce the algorithm NetTagCombine , which utilizes the network properties of StackOverﬂow to improve upon existing machine learning methods for tag recommendation.
Development of the BIOLOG substrate utilization system for identification of Legionella spp

The genus Legionella consists of 51 serogroups comprising 34 species. Biochemical reactions and cell wall fatty acid and quinone analyses may confirm that an isolate is a Legionella sp. and indicate to which species it belongs, but DNA hybridization studies have been necessary for a definitive identification. Recently, the commercially available BIOLOG identification system has offered a standardized, easily reproducible system of substrate metabolism by bacteria resuspended in multiwell plates. A tetrazolium dye acts as an electron acceptor during the oxidation of the wide range of substrates and forms an irreversible, highly colored formazan when reduced. The 95 substrate wells are read rapidly with a conventional plate reader, and the results are downloaded for comparison with a computer data base, allowing quick identification. The BIOLOG system's ability to test more diverse classes of substrates, including amino acids, peptides, carboxylic acids, and carbohydrates, was used in this study to establish a new data base and identify the asaccharolytic Legionella spp. In particular, Legionella pneumophila behaved as a microaerophile, and the fastest, most diverse metabolic activities occurred after the development of a low-oxygen incubation environment. Alternatively, bacteria could be successfully incubated in air when their concentration was double that recommended by the manufacturer. Similar results were obtained by using either Page's amoebal saline or distilled water as the resuspending and incubation medium. Type strains did not cross-identify with any of the strains already in the manufacturer's data base. The results indicate that this modified system has value in being able to identify Legionella isolates to the species level.
Racial/Ethnic Differences in the Relationship Among Cigarette Use, Religiosity, and Social Norms for U.S. Adolescents

This study investigated the racial/ethnic differences in the role of social norms in the protective relationship between religiosity and cigarette smoking. The 2009 National Survey on Drug Use and Health was used to investigate the relationships between smoking, religiosity, and social norms of U.S. adolescents (N = 13,278). Significant indirect effects between religiosity and smoking were found through social norms for non-Hispanic White adolescents. Findings were mixed for non-Hispanic Black adolescents. Mechanisms driving the religiosity–smoking association differ across subpopulations. Smoking prevention efforts and messaging campaigns that include partnerships with religious communities may require consideration of these racial/ethnic differences when planning prevention strategies.
Fully integrated on-chip DC-DC converter with a 450x output range

This paper presents a technique to efficiently supply power over a wide power range using a fully integrated on-chip converter for dynamic voltage scaling (DVS) based applications. All components, including filter elements, are integrated onchip. To achieve high efficiency the converter adaptively switches between different modes of operation by detecting the output current. The design, implemented in the IBM 130nm CMOS technology achieves a peak efficiency of 74.5% and can operate over a 450X power range (0.6mW to 266mW). This represents the best reported power range for a high-efficiency fully integrated on-chip power converter.
Benchmarking a Wide Spectrum of Metaheuristic Techniques for the Radio Network Design Problem

The radio network design (RND) is an NP-hard optimization problem which consists of the maximization of the coverage of a given area while minimizing the base station deployment. Solving RND problems efficiently is relevant to many fields of application and has a direct impact in the engineering, telecommunication, scientific, and industrial areas. Numerous works can be found in the literature dealing with the RND problem, although they all suffer from the same shortfall: a noncomparable efficiency. Therefore, the aim of this paper is twofold: first, to offer a reliable RND comparison base reference in order to cover a wide algorithmic spectrum, and, second, to offer a comprehensible insight into accurate comparisons of efficiency, reliability, and swiftness of the different techniques applied to solve the RND problem. In order to achieve the first aim we propose a canonical RND problem formulation driven by two main directives: technology independence and a normalized comparison criterion. Following this, we have included an exhaustive behavior comparison between 14 different techniques. Finally, this paper indicates algorithmic trends and different patterns that can be observed through this analysis.
Supplementary for: Deep learning with convolutional neural networks for EEG decoding and visualization

Translational Neurotechnology Lab, Epilepsy Center, Medical Center – University of Freiburg, Engelberger Str. 21, 79106 Freiburg, Germany BrainLinks-BrainTools Cluster of Excellence, University of Freiburg, Georges-Köhler-Allee 79, 79110 Freiburg, Germany Machine Learning Lab, Computer Science Dept., University of Freiburg, Georges-Köhler-Allee 79, 79110 Freiburg, Germany Neurobiology and Biophysics, Faculty of Biology, University of Freiburg, Hansastr. 9a, 79104 Freiburg, Germany Machine Learning for Automated Algorithm Design Lab, Computer Science Dept., University of Freiburg, Georges-Köhler-Allee 52, 79110 Freiburg im Breisgau, Germany Brain State Decoding Lab, Computer Science Dept., University of Freiburg, Albertstr. 23, 79104 Freiburg, Germany Autonomous Intelligent Systems Lab, Computer Science Dept., University of Freiburg, Georges-Köhler-Allee 79, 79110 Freiburg, Germany
The multiple gene duplication problem revisited

Motivation: Deciphering the location of gene duplications and multiple gene duplication episodes on the Tree of Life is fundamental to understanding the way gene families and genomes evolve. The multiple gene duplication problem provides a framework for placing gene duplication events onto nodes of a given species tree, and detecting episodes of multiple gene duplication. One version of the multiple gene duplication problem was defined by Guigó et al. in 1996. Several heuristic solutions have since been proposed for this problem, but no exact algorithms were known. Results: In this article we solve this longstanding open problem by providing the first exact and efficient solution. We also demonstrate the improvement offered by our algorithm over the best heuristic approaches, by applying it to several simulated as well as empirical datasets. Contact: oeulenst@cs.iastate. edu