gebhart/patrepeval huggingface dataset:
Static scheduling of multidomain circuits for fast functional verification (2002)

With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This design characteristic presents a significant challenge when these ASIC designs are mapped to parallel verification hardware such as parallel cycle-based simulators and logic emulators. In general, these systems require all computation and communication to be synchronized to a global system clock. As a result, the undefined relationship between design clocks can make it difficult to determine hold times for synchronous storage elements. and causality relationships along reconvergent communication paths. This paper presents new scheduling and synchronization techniques to support accurate mapping of designs with multiple asynchronous clocks to parallel verification hardware. Through analysis, it is shown that this approach is scalable to an unlimited number of domains and supports increasingly large design sizes. To prove the effectiveness of the authors' approach, developed algorithms have been integrated into the compilation system for a commercial multi-FPGA logic emulation system. For three designs mapped to a logic emulator using this software environment, modeling fidelity is maintained and performance is enhanced versus previous manual mapping approaches. A theoretical analysis based on Rent's rule validates the scalability of the approach as device sizes increase.
Regulation of IFN-γ Production by B Effector 1 Cells: Essential Roles for T-bet and the IFN-γ Receptor (2005)

This manuscript systematically identifies the molecular mechanisms that regulate the ability of B cells to produce the critical type 1 cytokine, IFN-gamma. B cells produce IFN-gamma in response to IL-12 and IL-18 and when primed by Th1 cells. We show that development of IFN-gamma-producing B cells by either Th1 cells or IL-12/IL-18 is absolutely dependent on expression of the IFN-gammaR and the T-box transcription factor, T-bet. Interestingly, although T-bet up-regulation in developing B effector 1 (Be1) cells is controlled by IFN-gammaR-mediated signals, STAT1-deficient B cells up-regulate T-bet and produce IFN-gamma, indicating that additional transcriptional activators must be coupled to the IFN-gammaR in B cells. Finally, we show that although IL-12/IL-18 or IFN-gamma-producing Th1 cells are required to initiate transcription of the IFN-gamma gene in B cells, sustained expression of IFN-gamma and T-bet by B cells is dependent on an IFN-gamma/IFN-gammaR/T-bet autocrine feedback loop. These findings have significant implications, because they suggest that IFN-gamma-producing B cells not only amplify Th1 responses, but also imprint a type 1 phenotype on B cells themselves. In the case of immune responses to bacterial or viral pathogens, this B cell-driven autocrine feedback loop is likely to be beneficial; however, in the case of B cell responses to autoantigens, it may result in amplification of the autoimmune loop and increased pathology.
Teicoplanin in the treatment of skin and soft tissue infections (1988)

Twenty-five patients with cellulitis or other soft tissue infections were treated with once daily teicoplanin. One patient was withdrawn from the study because of a protocol violation but 27 of the 29 assessable infections in the other 24 patients were clinically cured or improved. Eighteen of the 20 original Gram-positive bacterial isolates (11 Staphylococcus aureus and nine beta-haemolytic streptococcus strains) were completely eradicated. No severe adverse reactions were seen but a rise in the plasma platelet count was noted in the majority of the patients during teicoplanin administration.
Active nematic flows on curved surfaces (2022)

Cell monolayers are a central model system to tissue biophysics. In vivo, epithelial tissues are curved on the scale of microns, and curvature's role in the onset of spontaneous tissue flows is still not well-understood. Here, we present a hydrodynamic theory for an apical-basal asymmetric active nematic gel on a curved strip. We show that surface curvature qualitatively changes monolayer motion compared to flat space: the resulting flows can be thresholdless, and the transition to motion may change from continuous to discontinuous. Surface curvature, friction and active tractions are all shown to control the flow pattern selected: from simple shear to vortex chains.
Neoadjuvant modified FOLFIRINOX followed by postoperative gemcitabine in borderline resectable pancreatic adenocarcinoma: a Phase 2 study for clinical and biomarker analysis (2020)

Neoadjuvant mFOLFIRINOX followed by postoperative gemcitabine were feasible and effective in BRPC patients. Monocyte and γδ T cells may have prognostic implications for patients with pancreatic cancer. ClinicalTrials.gov identifier: NCT02749136.
Clinical Utility of Plasma Glypican-3 and Osteopontin as Biomarkers of Hepatocellular Carcinoma (2014)

The plasma levels of GPC3 and OPN demonstrated low diagnostic accuracy for HCC. However, GPC3 may have a complementary role in diagnosing HCC in patients with nondiagnostic levels of conventional tumor markers and with small-sized tumors.
Microstructural Characterization and Oscillating Sliding Wear Investigations of the Aqueous Suspension Sprayed HVOF WC-12Co Coatings (2023)

Abstract Thermally sprayed WC-based hardmetal coatings offer high hardness, good sliding wear and abrasion performance and find large applications in mechanical engineering, valve construction, or offshore applications. WC-Co coatings are mainly produced by high-velocity oxy-fuel spraying (HVOF) from conventional spray feedstock powders. In this work, suspension-HVOF spraying (S-HVOF) was used to produce dense-structured WC-12Co coatings and their microstructural, mechanical and tribological properties were investigated. Significant work was devoted to the development of appropriate aqueous suspensions starting from commercially available fine WC and Co raw powders feedstock. Suspension spraying was carried out using gas-fuelled HVOF TopGun system; for comparison purposes, liquid-fuelled HVOF K2 was employed to spray WC-12Co coatings starting from commercially available spray powder. Microstructural characterization, x-ray diffraction and microhardness of the coatings were evaluated. Oscillating sliding wear tests were conducted against sintered alumina and WC-6Co balls. The sliding wear performances of the WC-Co sprayed coatings were discussed in term of their microstructure, phase composition and coating-ball test couples.
Sister chromatid exchange frequencies in Progeria and Werner syndrome patients. (1981)

An analysis of the baseline and mitomycin-C-induced sister chromatid exchange (SCE) frequencies in peripheral lymphocytes derived from three patients with progeria and three Werner syndrome patients is presented. SCE frequencies did not differ significantly between the two groups of patients and their normal controls.
Scalable Single Source Shortest Path Algorithms for Massively Parallel Systems (2016)

We consider the single-source shortest path (SSSP) problem: given an undirected graph with integer edge weights and a source vertex <inline-formula><tex-math notation="LaTeX">$v$</tex-math></inline-formula> , find the shortest paths from <inline-formula><tex-math notation="LaTeX">$v$</tex-math></inline-formula> to all other vertices. In this paper, we introduce a novel parallel algorithm, derived from the Bellman-Ford and Delta-stepping algorithms. We employ various pruning techniques, such as edge classification and direction-optimization, to dramatically reduce inter-node communication traffic, and we propose load balancing strategies to handle higher-degree vertices. These techniques are particularly effective on power-law graphs, as demonstrated by our extensive performance analysis. In the largest tested configuration, an R-MAT graph with <inline-formula><tex-math notation="LaTeX">$2^{38}$</tex-math> </inline-formula> vertices and <inline-formula><tex-math notation="LaTeX">$2^{42}$</tex-math></inline-formula> edges on 32,768 Blue Gene/Q nodes, we have achieved a processing rate of three Trillion Edges Per Second (TTEPS), a four orders of magnitude improvement over the best published results.
Investigation of simulated annealing method and its application to optimal design of die mold for orientation of magnetic powder (1996)

Factors affecting the convergence characteristics and results obtained by the optimal design method using the finite element method and simulated annealing are investigated systematically, and the optimal parameters for simulated annealing method are obtained. The optimal shape of the die mold for orientation of the magnetic powder (nonlinear magnetostatic problem) is obtained using finite elements and simulated annealing. The experimental verification is also carried out.
Diabetic ketoacidosis, hyperosmolarity and hypernatremia: are high-carbohydrate drinks worsening initial presentation? (2005)

The case of five pediatric patients who presented to the Royal Children's Hospital, Melbourne with newly diagnosed diabetes mellitus between January 2001 and September 2003 is reported. Each case was complicated by hyperosmolarity and hypernatremia and required intensive therapy. Fluid intake prior to admission in each case was documented and consisted of between 5 and 12 L of carbonated carbohydrate beverages and 'isotonic' sports drinks. At presentation, biochemical results of the four cases (four males and one female), mean age 13.6 yr (range 11.7-15.1 yr) included glucose (mean 1460 mg/dL; range 864-2106), adjusted sodium (mean 176.3 mmol/L; range 165-183), serum osmolarity (mean 399 mmol/kg; range 364-424), anion gap (mean 48 mEq/L; range 42-84), and pH (mean 7.15; range 7.01-7.27). All five cases had evidence of ketonuria on presentation. Treatment in all five cases consisted of replacement of fluids over a prolonged period of 72 h and careful monitoring of electrolyte response. Three of five cases required hemofiltration in the first 48 h postadmission. All five cases made a complete recovery without neurological sequelae. Carbonated carbohydrate fluid intake may precipitate a more severe presentation of type 1 diabetes mellitus (T1DM). Fluid composition and intake should be carefully estimated at admission to help identify and manage similar cases.
PyRad: A software shell for simulating radiolysis with Qball package (2021)

The assessment of the radiolytic stability of media is an important task in the fields of nuclear power engineering and radiochemistry. Such studies must be carried out in special laboratory conditions with the use of sources of ionizing radiation, which may increase personal doses of the staff. In addition, difficulties arise in studying the products of irradiated media. While it is impossible to abandon experiments to obtain reliable results in this area, computational methods of quantum chemistry can reduce the number of experiments and help understand the mechanisms of the reactions that occur during radiolysis. Here we would like to present a software shell of the Qb@ll program performing time-dependent density functional theory simulations of the radiolysis process.
Processing multi-way spatial joins on map-reduce (2013)

In this paper we investigate the problem of processing multi-way spatial joins on map-reduce platform. We look at two common spatial predicates - overlap and range. We address these two classes of join queries, discuss the challenges and outline novel approaches for executing these queries on a map-reduce framework. We then discuss how we can process join queries involving both overlap and range predicates. Specifically we present a Controlled-Replicate framework using which we design the approaches presented in this paper. The Controlled-Replicate framework is carefully engineered to minimize the communication among cluster nodes. Through experimental evaluations we discuss the complexity of the problem under investigation, details of Controlled-Replicate framework and demonstrate that the proposed approaches comfortably outperform naive approaches.
Exploring Token-Oriented In-Network Prioritization in Datacenter Networks (2019)

In memory computing and high-end distributed storage demand low latency, high throughput, and zero data loss simultaneously from datacenter networks. Existing reactive congestion control approaches cannot both minimize queuing latency and ensure zero data loss. A token-oriented proactive approach can achieve them together by controlling congestion even before sending data packets. However, state-of-the-art token-oriented approaches only strive to optimize network-level metrics: maximizing throughput while achieving flow-level fairness. This article answers the question of how to support objective-aware traffic scheduling in token-oriented approaches. The novelty of Token-Oriented in-network Prioritization (TOP) is that it prioritizes tokens instead of data packets. We make three contributions. Via simulations over a hypothetical TOP system, our first contribution is demonstrating the potential performance gain that can be brought by TOP. Second, we investigate the applicability of TOP. Although the overhead of enabling necessary TOP features in switches is trivial, we find that mainstream commodity datacenter switches do not support them. We hence propose a readily-deployable remedy to achieve in-network prioritization by pushing both switch and end-host hardware capacity to an extreme end. Lastly, we implement a running TOP system with Linux hosts and commodity switches, and evaluate TOP in testbeds and with large-scale simulations for various scenarios.
Effect of Endothelin-3(ET-3) on Renal Function in Rat Perfused Kidney. (1991)

We examined the effect of endothelin-3 (ET-3) at a high dose (pressor dose) and a low dose (non-pressor dose) in rat perfused kidney (PK), since ET-3 has recently been reported to exert a vasodilator action especially at a low dose. Kidneys were perfused with Krebs-Henseleit buffer at a fixed flow rate (6 ml/min) in situ. After collection of the renal venous effluent and urine for 20 min, vehicle (saline; n = 6), 10(-13)M ET-3 (low dose; n = 6) or 10(-8) M ET-3 (high dose; n = 6) was added to the perfusate, and sample collection was performed for the same period with each. The high dose of ET-3 significantly increased the perfusion pressure, fractional sodium excretion and synthesis of prostaglandins (PGs) consistently with a significant reduction in the glomerular filtration rate (GFR). On the other hand, the low dose of ET-3 significantly increased the GFR, urine volume and free-water clearance with no change in the perfusion pressure or synthesis of PGs. These findings suggest that a low dose of ET-3 can increase the glomerular capillary ultrafiltration coefficient and that ET-3 exerts an influence on sodium and water handing in the rat PK.
Controllable nonlinear effects in an optomechanical resonator containing a quantum well (2012)

We study nonlinear effects in an optomechanical system containing a quantum well. The nonlinearity due to the optomechanical coupling leads to a bistable behavior in the mean intracavity photon number and substantial squeezing in the transmitted field. We show that the optical bistability and the degree of squeezing can be controlled by tuning the power and frequency of the pump laser. The transmitted field intensity spectrum consists of six distinct peaks corresponding to optomechanical, polariton, and hybrid resonances. Interestingly, even though the quantum well and the mechanical modes are not directly coupled, their interaction with the common quantized cavity mode results in appearance of hybrid resonances.
Cardiac xenografting in the pig-to-rhesus monkey model: manipulation of antiendothelial antibody prolongs survival. (1992)

Transplantation of immediately vascularized grafts across species barriers in which preformed cytotoxic antibodies exist, otherwise known as discordant combinations, has uniformly resulted in hyperacute rejection. We studied how well plasma exchange and perfusion through organs removes preformed immunoglobulin M cytotoxic antibodies and prolongs survival of a porcine heart heterotopically transplanted into a rhesus monkey. With the use of plasma exchange or absorption of antibodies by porcine kidney perfusion with or without immunosuppression, graft survival was prolonged, although antibody-mediated rejection ultimately occurred. In one case in which plasma exchange, kidney perfusion, and immunosuppression were combined, a functioning pig heart survived in a rhesus monkey for 8 days without evidence of rejection. The animal was killed on day 8 according to protocol because of a wound dehiscence. With this animal we were able to demonstrate that circulating antibodies against graft endothelium had bound to the graft endothelium without inducing rejection, a process referred to as accommodation. In this case, despite the presence of antiendothelial antibodies, complement did not appear to be activated, and fibrin thrombi did not form. Although we have achieved this rejection-free survival only in one animal, this case suggests that it may be possible to maintain xenotransplants in discordant species without rejection if preformed antibodies are appropriately lowered or altered during the initial period of graft implantation.
Switched reluctance motor drives for rail traction: a second view (1984)

The authors first describe the basis of the original feasibility study drawn on by French in his paper (published in the same issue). They then discuss a sound basis for comparison between an SR drive and an inverter-fed induction motor drive in a particular traction application, commenting on a number of underlying inadequacies in the comparison which French makes in his paper. Finally, they outline a recast design for the SR drive based on published circuits and the feasibility study data which, taken with a more closely comparable performance characteristic, demonstrates considerable cost savings for the SR system.
Nitric Oxide Synthase Enzymes in the Airways of Mice Exposed to Ovalbumin: NOS2 Expression Is NOS3 Dependent (2010)

The airway epithelial and smooth muscle cells maintain a stable airway NO concentration under noninflammatory conditions. This "homeostatic" mechanism is unable to distinguish between NOS derived from the different constitutive NOS isoforms. NOS3 is essential for the expression of NOS2 under inflammatory conditions, while NOS1 expression contributes to allergen-induced goblet cell metaplasia.
Virion endocytosis is a major target for murid herpesvirus-4 neutralization (2012)

Herpesviruses consistently transmit from immunocompetent carriers, implying that their neutralization is hard to achieve. Murid herpesvirus-4 (MuHV-4) exploits host IgG Fc receptors to bypass blocks to cell binding, and pH-dependent protein conformation changes to unveil its fusion machinery only after endocytosis. Nevertheless, neutralization remains possible by targeting the virion glycoprotein H (gH)-gL heterodimer, and the neutralizing antibody responses of MuHV-4 carriers are improved by boosting with recombinant gH-gL. We analysed here how gH-gL-directed neutralization works. The MuHV-4 gH-gL binds to heparan sulfate. However, most gH-gL-specific neutralizing antibodies did not block this interaction; neither did they act directly on fusion. Instead, they blocked virion endocytosis and transport to the late endosomes, where membrane fusion normally occurs. The poor endocytosis of gH-gL-neutralized virions was recapitulated precisely by virions genetically lacking gL. Therefore, driving virion uptake appears to be an important function of gH-gL that provides a major target for antibody-mediated neutralization.
Assessment of a Wave Rotor Topped Demonstrator Gas Turbine Engine Concept (1996)

A wave rotor topped gas turbine engine has been identified which incorporates five basic requirements of a successful demonstrator engine. Predicted performance maps of the wave rotor cycle have been used along with maps of existing gas turbine hardware in a design point study. The effects of wave rotor topping on the engine cycle and the subsequent need to rematch compressor and turbine sections in the topped engine are addressed. Comparison of performance of the resulting engine is made on the basis of wave rotor topped engine versus an appropriate baseline engine using common shaft compressor hardware. The topped engine design clearly demonstrates an improvement in shaft horsepower and SFC. Predicted off design part power engine performance for the wave rotor topped engine is presented including that at engine idle conditions. Operation of the engine at off design is closely examined with wave rotor operation at less than design burner outlet temperatures and rotor speeds. Challenges remaining in the development of a demonstrator engine are addressed.
Long Noncoding RNAs‐Related Diseases, Cancers, and Drugs (2013)

Long noncoding RNA (lncRNA) function is described in terms of related gene expressions, diseases, and cancers as well as their polymorphisms. Potential modulators of lncRNA function, including clinical drugs, natural products, and derivatives, are discussed, and bioinformatic resources are summarized. The improving knowledge of the lncRNA regulatory network has implications not only in gene expression, diseases, and cancers, but also in the development of lncRNA‐based pharmacology.
Multimode fiber lasers based on Bragg gratings and double-clad Yb-dopedfibers (2004)

We have realized a set of multimode lasers based on a double-clad Yb-doped fiber and Bragg gratings written on a graded-index multimode fiber. Efficient laser operation in the spectral range of 1.03-1.09 μm has been observed. Spectral characteristics of the laser emission have been investigated.
Regulation of Hepatocyte Growth Factor Activator Inhibitor 2 by Hypoxia in Breast Cancer (2007)

HAI-2 expression in breast cancer correlated with tumor aggressiveness in vivo. It is a HIF target in c-erbB2-positive cells and it is an independent negative predictive factor of efficacy of anthracycline therapy. The interaction of HAI-2 with the hepatocyte growth factor activation pathway may be a useful site for therapeutic intervention.
An Energy Management System of Campus Microgrids: State-of-the-Art and Future Challenges (2021)

The multiple uncertainties in a microgrid, such as limited photovoltaic generations, ups and downs in the market price, and controlling different loads, are challenging points in managing campus energy with multiple microgrid systems and are a hot topic of research in the current era. Microgrids deployed at multiple campuses can be successfully operated with an exemplary energy management system (EMS) to address these challenges, offering several solutions to minimize the greenhouse gas (GHG) emissions, maintenance costs, and peak load demands of the microgrid infrastructure. This literature survey presents a comparative analysis of multiple campus microgrids’ energy management at different universities in different locations, and it also studies different approaches to managing their peak demand and achieving the maximum output power for campus microgrids. In this paper, the analysis is also focused on managing and addressing the uncertain nature of renewable energies, considering the storage technologies implemented on various campuses. A comparative analysis was also considered for the energy management of campus microgrids, which were investigated with multiple optimization techniques, simulation tools, and different types of energy storage technologies. Finally, the challenges for future research are highlighted, considering campus microgrids’ importance globally. Moreover, this paper is expected to open innovative paths in the future for new researchers working in the domain of campus microgrids.