gebhart/patrepeval huggingface dataset:
Fair group mutual exclusion (2003)

In the group mutual exclusion problem [6], which generalizes mutual exclusion [2], a process chooses a session when it requests entry to the Critical Section. A group mutual exclusion algorithm must ensure that the mutual exclusion property holds: If two processes are in the Critical Section at the same time, then they request the same session. In addition to mutual exclusion, lockout freedom, bounded exit and concurrent entering are basic properties that are desirable in any group mutual exclusion algorithm.Hadzilacos in [4] first introduced a fairness condition, called first-come-first-served (FCFS), for group mutual exclusion. The only known FCFS group mutual exclusion algorithm is due to Hadzilacos [4], and requires Θ(N2) bounded shared registers, where N is the number of processes. We present a FCFS group mutual exclusion algorithm that uses only Θ(N) bounded shared registers. (The existence of such an algorithm was posed as an open problem by Hadzilacos.)Next, we demonstrate that the FCFS property does not fully capture our intuitive notion of fairness. We therefore propose an additional fairness property, called first-in-first-enabled (FIFE). Finally, we present a reduction that transforms any FCFS mutual exclusion algorithm M into a group mutual exclusion algorithm G. Thus, different group mutual exclusion algorithms can be obtained by instantiating M with different abortable FCFS mutual exclusion algorithms. The group mutual exclusion algorithms so obtained satisfy all of the properties mentioned above: mutual exclusion, lockout freedom, bounded exit, concurrent entering, FCFS, and FIFE.
Oversampling Selective Accumulation Trapped Ion Mobility Spectrometry Coupled to FT-ICR MS: Fundamentals and Applications (2016)

In the present paper, we describe the fundamentals and analytical advantages of Oversampling Selective Accumulation Trapped Ion Mobility Spectrometry (OSA-TIMS) when coupled to ultrahigh resolution mass analyzers (e.g., FT-ICR MS). During TIMS analysis, ion packages are spatially resolved based on their mobilities along the TIMS analyzer axis and multiple strategies can be utilized during the trapping and elution of the ion population of interest. In the case of OSA-TIMS-FT-ICR MS, the TIMS operation sequence, trapping conditions, and operations are optimized to increase the signal-to-noise and the number of points across the mobility domain, which leads to more accurate mobility and mass measurements. Experimental results show that accurate ion-neutral collision cross sections (<1%) can be measured using OSA-TIMS-FT-ICR MS with high mobility resolving powers (RIMS up to 250), high mass accuracy (<1 ppm), and ultrahigh mass resolution (RMS up to 600-1200k at m/z 400) in a single analysis. The analytical advantages of OSA-TIMS over SA-TIMS were illustrated for the analysis of structural peptide isomers (SDGRG and GRGDS [M + H](+)), conformational isomers (AT-hook peptide 3 KRGRGRPRK [M + 2H](+2)), and a complex mixture of polyaromatic hydrocarbons (PAH) from coal tar. Baseline separation of the structural peptide isomers SDGRG and GRGDS, [M + H](+), was observed, and three conformations were identified for the AT-hook peptide 3 KRGRGRPRK [M + 2H](+2) during OSA-TIMS-FT-ICR MS. A 2-fold increase in the number of molecular features and a 2-6-fold signal-to-noise increase was observed for OSA-TIMS when compared with SA-TIMS during the PAH analysis. This work provides the proof-of-principle for further application of OSA-TIMS-FT-ICR MS for the unsupervised analysis of complex mixtures based on the characterization of the conformational space and the assignment of chemical formulas in a single analysis.
Regulation of IκB Kinase (IKK)γ/NEMO Function by IKKβ-mediated Phosphorylation (2002)

The IkappaB kinase (IKK) complex includes the catalytic components IKKalpha and IKKbeta in addition to the scaffold protein IKKgamma/NEMO. Increases in the activity of the IKK complex result in the phosphorylation and subsequent degradation of IkappaB and the activation of the NF-kappaB pathway. Recent data indicate that the constitutive activation of the NF-kappaB pathway by the human T-cell lymphotrophic virus, type I, Tax protein leads to enhanced phosphorylation of IKKgamma/NEMO by IKKbeta. To address further the significance of IKKbeta-mediated phosphorylation of IKKgamma/NEMO, we determined the sites in IKKgamma/NEMO that were phosphorylated by IKKbeta, and we assayed whether IKKgamma/NEMO phosphorylation was involved in modulating IKKbeta activity. IKKgamma/NEMO is rapidly phosphorylated following treatment of cells with stimuli such as tumor necrosis factor-alpha and interleukin-1 that activate the NF-kappaB pathway. By using both in vitro and in vivo assays, IKKbeta was found to phosphorylate IKKgamma/NEMO predominantly in its carboxyl terminus on serine residue 369 in addition to sites in the central region of this protein. Surprisingly, mutation of these carboxyl-terminal serine residues increased the ability of IKKgamma/NEMO to stimulate IKKbeta kinase activity. These results indicate that the differential phosphorylation of IKKgamma/NEMO by IKKbeta and perhaps other kinases may be important in regulating IKK activity.
Modeling and detection of high impedance arcing fault in medium voltage networks (2007)

In this dissertation, a universal arc representation using the Electromagnetic Transient Program (EMTP) is first developed. It is accomplished based on the bilateral interaction between EMTP network and Transient Analysis Control System (TACS) field. This arc modeling procedure is used as a useful guide to present a new model for high impedance arcing faults due to leaning trees. At the Power Systems and High Voltage Laboratory, Helsinki University of Technology (TKK), Finland, experiments have been performed to measure the fault characteristics due to leaning trees and therefore to verify the proposed model. Towards investigating detection facilities of this fault type, the fault model is incorporated at different locations in 20 kV Medium Voltage (MV) networks using the ATPdraw program, which is a graphical interface utilized to simplify the ATP/EMTP processing. Then, phase quantities and residual components are taken at different measuring nodes in the simulated networks. It is revealed that the main feature of this fault type that can enhance its detection is the periodicity of electromagnetic transients created by repetitions of the arc-reignition after each current zero-crossing. This feature is obtained considering different earthing concepts. Different detection techniques are proposed based on Discrete Wavelet Transform (DWT). The absolute sum of the wavelet coefficients in the respective frequency band is investigated for the detection purposes while several selectivity functions are proposed for the first time. The selectivity functions are presented using Logic Functions, fundamental current components and transient power directionalities. Test cases provide evidence of the efficacy of the proposed techniques.\n\nThis dissertation is written in a form of the article dissertation. Its core depends on both of a summary and six original publications.
A comparison between different techniques for the isolation of rosemary essential oil (2005)

Traditional hydrodistillation (HD), supercritical fluid extraction (SFE), organic solvent extraction (SE), and water microwave assisted hydrodistillation (MAHD) techniques were compared and evaluated for their effectiveness in the isolation of rosemary essential oil. The microwave assisted hydrodistillation technique was optimized in terms of both delivered power and time duration. The extracts/distillates were analyzed by GC and GC-MS. Microwave distillation, which exploits the physical action of microwaves on plants, showed a series of advantages over the other approaches: low cost, use of water in sample pre-treatment step, greatly reduced isolation time, and attainment of high quality essential oil distillate. Moreover, the absence of environmental impact of this innovative technique was also emphasized.
Implication of Possible Therapies Targeted for the Tachykinergic System with the Biology of Neurokinin Receptors and Emerging Related Proteins (2007)

The neurokinin (NK) receptor family has been proposed as targets for neural-related diseases. The experimental studies indicate that this family of receptors might also be targets for malignancies, both solid and hematological tumors. However, an understanding of the biology of other rmolecules with sequence similarity to NK receptors is required. Of significance is the HGFIN gene that shares structural homology with NK1. Through this homology, the HGFIN interacts with the high affinity ligand of NK1, substance P. This report discusses potential applications for targets against NK receptors, and the role of HGFIN in drug designs. This review is relevant for central and peripheral nervous system drug development, and also cancer drugs for breast and neuroblastoma. The potential for leukemia drugs and Patents are also discussed.
Catheter-related septic central venous thrombosis--current therapeutic options. (1986)

Central venous catheter-related infection and evidence for central venous thrombosis developed in five patients. On the basis of ongoing bacteremia after catheter removal and venographic confirmation, catheter-related septic central venous thrombosis (CR-SCVT) was confirmed. These patients were treated successfully with anticoagulation and antibiotics; none required surgical exploration or drainage. CR-SCVT is a complication of modern venous access techniques and is easily confused with sepsis from other anatomic sites. Even when recognized antemortem, CR-SCVT carries an excessive morbidity and mortality. The therapy for this complication is not standardized, but catheter removal, anticoagulation and a prolonged course of antibiotics are appropriate initial therapy. Surgical vein ligation or excision are reserved for refractory sepsis or abscess formation.
General Characteristics of Edible Films (2018)

Edible films and coatings have an increasing trend among preservation of food materials. This review covers definition, history, general information about edible films, their components and quality parameters required for food preservation. History of edible films dates back to 12th and 13th centuries but its evolution continues with big applicational progress up to now. Today there are more than 12 types of commercially used edible films and coatings with sub brands used for preserving food materials. Components of edible films and coatings may vary in order to qualify requirements of food materials that will be protected. So, some ideal criteria should be chosen for selection of suitable components. According to their compositions edible films should meet some quality parameters in order to be used for food preservation. Components and quality parameters should be met with characteristic profile of an edible film or coating.
Fractionation of Strontium Isotopes in Cation-Exchange Chromatography (1992)

Abstract Abstract Strontium isotope fractionation has been observed in cation-exchange chromatography of strontium salts. The heavier isotopes have been found enriched at the front parts of displacement-type chromatograms, which means that the heavier isotopes are preferentially fractionated into the solution phase. The average values of the single-stage separation factor (S) minus one per unit mass difference between isotopes have been 1.0 × 10−6 for the strontium chloride system, 2.9 × 10−6 for the strontium acetate system, and 3.1 × 10−6 for the strontium lactate system at 25°C. No evidence of the odd-even anomalous isotope effects has been observed. The isotopic reduced partition function ratios (RPFRs) of the strontium species involved in the present study have been estimated; the RPFRs of the complex species have been found to be larger than that of the simple hydrated strontium ion, which accounts for the experimental results that the S values of the strontium lactate and strontium acetate systems are larger than that of the strontium chloride system.
Heme Transfer to the Bacterial Cell Envelope Occurs via a Secreted Hemophore in the Gram-positive Pathogen Bacillus anthracis (2009)

To initiate and sustain an infection in mammals, bacterial pathogens must acquire host iron. However, the host's compartmentalization of large amounts of iron in heme, which is bound primarily by hemoglobin in red blood cells, acts as a barrier to bacterial iron assimilation. Bacillus anthracis, the causative agent of the disease anthrax, secretes two NEAT (near iron transporter) proteins, IsdX1 and IsdX2, which scavenge heme from host hemoglobin and promote growth under low iron conditions. The mechanism of heme transfer from these hemophores to the bacterial cell is not known. We present evidence that the heme-bound form of IsdX1 rapidly and directionally transfers heme to IsdC, a NEAT protein covalently attached to the cell wall, as well as to IsdX2. In both cases, the transfer of heme is mediated by a physical association between the donor and recipient. Unlike Staphylococcus aureus, whose NEAT proteins acquire heme from hemoglobin directly at the bacterial surface, B. anthracis secretes IsdX1 to capture heme in the extracellular milieu and relies on NEAT-NEAT interactions to deliver the bound heme to the envelope via IsdC. Understanding the mechanism of NEAT-mediated iron transport into pathogenic Gram-positive bacteria may provide an avenue for the development of therapeutics to combat infection.
Synergic effect of Eicosapentaenoic acid and Lovastatin on gene expression of HMGCoA reductase and LDL receptor in cultured HepG2 cells (2010)

The use of EPA, in combination with low doses of Lovastatin may have potential value in treatment of neoplastic diseases.
Metabolic bone disease (1996)

Service de Rhumatologie A, Hôpital Cochin, 27 rue du Faubourg Saint-Jacques, 75674 Paris cedex 14, France.
Coupling 3D Eulerian, Heightfield and Particle Methods for Interactive Simulation of Large Scale Liquid Phenomena (2015)

We propose a new method to simulate large scale water phenomena by combining particle, 3D grid and height field methods. In contrast to most hybrid approaches that use particles to simulate foam and spray only, we also represent the bulk of water near the surface with both particles and a grid depending on the regions of interest and switch between those two representations during the course of the simulation. For the coupling we leverage the recent idea of tracking the water surface with a density field in grid based methods. Combining particles and a grid simulation then amounts to adding the density field of the particles and the one stored on the grid. For open scenes, we simulate the water outside of the 3D grid domain by solving the Shallow Water Equations on a height field. We propose new methods to couple these two domains such that waves travel naturally across the border. We demonstrate the effectiveness of our approach in various scenarios including a whale breaching simulation, all running in real-time or at interactive rates.
The glutamatergic system as a target for neuropathic pain relief (2012)

Glutamate is the major excitatory neurotransmitter in the mammalian CNS. The understanding of glutamatergic transmission in the nervous system has been greatly expanded with the discovery and investigation of the family of ionotropic and metabotropic glutamate receptors (mGluRs). Metabotropic glutamate receptors are localized at nerve terminals, postsynaptic sites and glial cells and thus, they can influence and modulate the action of glutamate at different levels in the synapse. Moreover, there is substantial evidence of glial participation in glutamate nociceptive processes and neuropathic pain. Metabotropic glutamate receptors have been shown to play a role in neuropathic pain, which is one of the most troublesome illnesses because the therapy is still not satisfactory. Recently, the development of selective mGluR ligands has provided important tools for further investigation of the role of mGluRs in the modulation of chronic pain processing. This paper presents a review of the literature of glutamate receptors in neuropathic pain and the role of glia in these effects. Specifically, pharmacological interventions aimed at inhibiting group I mGluRs and/or potentiating group II and III mGluR-mediated signalling is discussed. Moreover, we introduce data about the role of glutamate transporters. They are responsible for the level of glutamate in the synaptic cleft and thus regulate the effects of all three groups of mGluRs and, in consequence, the activity of this system in nociceptive transmission. Additionally, the question of how the modulation of the glutamatergic system influences the effectiveness of analgesic drugs used in neuropathic pain therapy is addressed.
A fast convergence frequency domain adaptive filter (1983)

This correspondence presents a new fast convergence algorithm for frequency domain adaptive filter and its applicability to acoustic noise cancellation in speech signals.
Use of C4d as a Diagnostic Adjunct in Lung Allograft Biopsies (2003)

In the context of acute rejection, C4d deposition correlates with clinical evidence of rejection and the degree of humoral rejection assessed pathologically; there is no association with the presence of histocompatibility related antibodies. It is a more specific predictor of allograft status compared to other immunoreactants. C4d deposition within the bronchial wall is a feature of BOS and hence may be used as a marker of chronic graft dysfunction. The antigenic target resulting in C4d deposition may not be histocompatibility related.
Information-directed routing in ad hoc sensor networks (2003)

In a sensor network, data routing is tightly coupled to the needs of a sensing task, and hence the application semantics. This paper introduces the novel idea of information-directed routing, in which routing is formulated as a joint optimization of data transport and information aggregation. The routing objective is to minimize communication cost while maximizing information gain, differing from routing considerations for more general ad hoc networks. The paper uses the concrete problem of locating and tracking possibly moving signal sources as an example of information generation processes, and considers two common information extraction patterns in a sensor network: routing a user query from an arbitrary entry node to the vicinity of signal sources and back, or to a prespecified exit node, maximizing information accumulated along the path. We derive information constraints from realistic signal models, and present several routing algorithms that find near-optimal solutions for the joint optimization problem. Simulation results have demonstrated that information-directed routing is a significant improvement over a previously reported greedy algorithm, as measured by sensing quality such as localization and tracking accuracy and communication quality such as success rate in routing around sensor holes.
Functional coupling in bovine ciliary epithelial cells is modulated by carbachol (1997)

The functional coupling of the ciliary epithelium was studied in isolated pairs (couplets) of pigmented ciliary epithelial (PCE) and nonpigmented ciliary epithelial (NPCE) cells using the whole cell patch clamp and the fluorescent dye lucifer yellow. One cell of the pair (usually the NPCE cell of a NPCE-PCE cell couplet) was accessed with a 2-5 M omega electrode, containing 1-2 mM lucifer yellow, in the whole cell configuration of the patch clamp. After voltage-clamp experiments were completed, cells were viewed under a fluorescent microscope to confirm that the cells were coupled. The electrical coupling of the cells was also studied by calculating the capacitance (using the time-domain technique), assuming a "supercell" model for coupled cells. The mean capacitance of coupled pairs was 79.8 +/- 4.3 (SE) pF (n = 47) compared with single cell capacitances of 36.8 +/- 3.4 pF (n = 10) for PCE cells and 38.1 +/- 3.1 pF (n = 15) for NPCE cells. Octanol, carbachol (CCh), and raised extracellular Ca2+ concentration ([Ca2+]o) all caused uncoupling in pairs (couplets) of coupled NPCE and PCE cells. At room temperature (22-24 degrees C), the capacitance of the couplets decreased from 70.5 +/- 8.0 to 48.0 +/- 5.2 pF (n = 5) when exposed to octanol (1 mM), from 73.8 +/- 9.2 to 43.2 +/- 9.5 pF (n = 4) when exposed to CCh (100 microM), and from 80.5 +/- 6.7 to 49.9 +/- 7.8 pF (n = 4) when exposed to 10 mM [Ca2+]o. The response to CCh was dose dependent; at higher temperatures of 34-37 degrees C, 10 microM CCh caused a 38% reduction in capacitance, from 53.7 +/- 9.7 to 33.5 +/- 3.3 pF (n = 7) with a half-time of 249 s, and 100 microM CCh caused a 49% reduction in capacitance, from 51.3 +/- 5.6 to 26.0 +/- 2.4 pF (n = 7) with a half-time of 124 s. After pairs uncoupled and the uncoupling agent was washed out, the cell pairs often exhibited an increase in capacitance that we interpreted as "recoupling" or a reopening of the gap junctional communication pathway; the half-time for this process was 729 s after uncoupling with 100 microM CCh and 211 s after uncoupling with 10 microM CCh. This interpretation was confirmed optically by the spread of lucifer yellow into both cells of an uncoupled pair with a time course corresponding to the increase in electrical coupling. The controllable coupling of ciliary epithelial cells extends the idea of a functional syncytium involved in active transport. PCE cells take up solute and water from the blood, which then cross to NPCE cells via gap junctions and from there are secreted into the posterior chamber of the eye. Modulation of the coupling between NPCE and PCE cells may provide a mechanism to control secretion.
On the Optimality of Frequency-Domain Equalization in DFT-Spread MIMO-OFDM Systems (2008)

In this paper, we compare linear receivers for DFT-spread MIMO-OFDM Systems. It is proven mathematically and illustrated by numerical simulations that the advanced DFT RAKE receiver with linear multiuser detection is equivalent to the popular frequency-domain equalization (FDE) with IDFT despreading. This result holds also for multi-antenna systems. As a consequence, broadband wireless transmission chains with high diversity can be implemented with low complexity at the receiving end. The benefit of using the minimum mean-square error (MMSE) criterion in the FDE is also illustrated.
Automatic Detection and Notification of “Wrong Patient—Wrong Location” Errors in the Operating Room (2005)

When procedures and processes to assure patient location based on human performance do not work as expected, patients are brought incrementally closer to a possible "wrong patient-wrong procedure'' error. We developed a system for automated patient location monitoring and management. Real-time data from an active infrared/radio frequency identification tracking system provides patient location data that are robust and can be compared with an "expected process'' model to automatically flag wrong-location events as soon as they occur. The system also generates messages that are automatically sent to process managers via the hospital paging system, thus creating an active alerting function to annunciate errors. We deployed the system to detect and annunciate "patient-in-wrong-OR'' events. The system detected all "wrong-operating room (OR)'' events, and all "wrong-OR'' locations were correctly assigned within 0.50+/-0.28 minutes (mean+/-SD). This corresponded to the measured latency of the tracking system. All wrong-OR events were correctly annunciated via the paging function. This experiment demonstrates that current technology can automatically collect sufficient data to remotely monitor patient flow through a hospital, provide decision support based on predefined rules, and automatically notify stakeholders of errors.