gebhart/patrepeval huggingface dataset:
Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases (1996)

Investigates issues related to transaction concurrency control in multilevel secure databases. This paper demonstrates how the conflicts between the correctness requirements and the secrecy requirements can be reconciled by proposing two different solutions. It first explores the correctness criteria that are weaker than one-copy serializability. Each of these weaker criteria, though not as strict as one-copy serializability, is required to preserve database consistency in some meaningful way, and moreover, its implementation does not require the scheduler to be trusted. It proposes three different, increasingly stricter notions of serializability (level-wise serializability, one-item read serializability and pair-wise serializability) that can serve as substitutes for one-copy serializability. The paper then investigates secure concurrency control protocols that generate one-copy serializable histories and presents a multiversion timestamping protocol that has several very desirable properties: it is secure, produces multiversion histories that are equivalent to serial one-copy histories in which transactions are placed in a timestamp order, eliminates starvation and can be implemented using single-level untrusted schedulers.
Real time EM waves monitoring system for oil industry three phase flow measurement (2009)

Monitoring fluid flow in a dynamic pipeline is a significant problem in the oil industry. In order to manage oil field wells efficiently, the oil industry requires accurate on line sensors to monitor the oil, gas, and water flow in the production pipelines. This paper describes a non-intrusive sensor that is based on an EM Waves cavity resonator. It determines and monitors the percentage volumes of each phase of three phase (oil, gas, and water) in the pipeline, using the resonant frequencies shifts that occur within an electromagnetic cavity resonator. A laboratory prototype version of the sensor system was constructed, and the experimental results were compared to the simulation results which were obtained by the use of High Frequency Structure Simulation (HFSS) software package.
A Model for Spin Coating with Topography (1989)

A theoretical model for spin coating on a substrate with topography is presented. The equations assume a thin film, with uniform properties in the direction normal to the substrate. By assuming a small amplitude for the substrate variations, two sets of coupled equations are derived, one for the mean value of the thickness and its composition, and another for the fluctuations. The viscosity and surface tension of the film, together with their variation with solvent content, play an important role in determining whether planar or conformal surfaces are achieved. Surface tension tends to planarize the film, whereas surface tension gradients tend to make the film more conformal. If viscosity rises very quickly as a result of solvent evaporation, the film topography becomes "frozen‐in," and surface forces cannot planarize.
Pre-eclampsia and cardiovascular disease (2014)

Heart disease is the leading cause of death in women in all countries. A history of pre-eclampsia, one of the most deadly hypertensive complications of pregnancy, increases cardiovascular risk by two to four times, which is comparable with the risk induced by smoking. Substantial epidemiological data reveal that pregnancy-related hypertensive complications are associated with a predisposition to chronic hypertension, premature heart attacks, strokes, and renal complications. In this review, we summarize clinical studies that demonstrate this relationship and also discuss the pathogenesis of these long-term complications of pre-eclampsia. Future studies should focus on strategies to prevent the progression of cardiovascular disease in women exposed to pre-eclampsia, thereby improving long-term cardiovascular health in women.
Cycloadditions of isoquinolinium salts: evidence for a two-step mechanism in a stereocontrolled synthesis of substituted tetralins (1987)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTCycloadditions of isoquinolinium salts: evidence for a two-step mechanism in a stereocontrolled synthesis of substituted tetralinsRam B. Gupta and Richard W. FranckCite this: J. Am. Chem. Soc. 1987, 109, 18, 5393–5403Publication Date (Print):September 1, 1987Publication History Published online1 May 2002Published inissue 1 September 1987https://pubs.acs.org/doi/10.1021/ja00252a015https://doi.org/10.1021/ja00252a015research-articleACS PublicationsRequest reuse permissionsArticle Views445Altmetric-Citations36LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-AlertscloseSupporting Info (1)»Supporting Information Supporting Information Get e-Alerts
Synthesis and electrochemiluminescence of bis(2,2′-bipyridine)(5-amino-1,10-phenanthroline) ruthenium(ii)-functionalized gold nanoparticles (2011)

Bis(2,2′-bipyridine)(5-amino-1,10-phenanthroline) ruthenium(II) functionalized gold nanoparticles with electrochemiluminescence activity were successfully synthesized by a simple one-pot method via the reduction of HAuCl4 with NaBH4 in the presence of bis(2,2′-bipyridine)(5-amino-1,10-phenanthroline) ruthenium(II), which is of great potential for application in bioanalysis.
Bone mineral density response to caloric restriction-induced weight loss or exercise-induced weight loss: a randomized controlled trial. (2007)

CR-induced weight loss, but not EX-induced weight loss, is associated with reductions in BMD at clinically important sites of fracture. These data suggest that EX should be an important component of a weight loss program to offset adverse effects of CR on bone.
Payment Support in Ubiquitous Computing Environments (2003)

Despite ten years of extensive research, M. Weiser's (1991) vision of ubiquitous computing is far from a widespread reality. While research into enabling technologies has progressed significantly, there has been a lack of research into the economic and commercial aspects of ubiquitous computing. We investigate techniques that will enable investors in ubiquitous computing infrastructure and services to recoup their investment through charging for service use. In particular, we identify the key requirements for a ubiquitous computing payment system, discuss existing payment systems and present the payment session protocol (PSP) that is designed to support payment-enabled ubiquitous computing environments.
Anti-Inflammatory Effects of the Neurotransmitter Agonist Honokiol in a Mouse Model of Allergic Asthma (2010)

Chronic airway inflammation is a hallmark of asthma, an immune-based disease with great societal impact. Honokiol (HNK), a phenolic neurotransmitter receptor (γ-aminobutyric acid type A) agonist purified from magnolia, has anti-inflammatory properties, including stabilization of inflammation in experimentally induced arthritis. The present study tested the prediction that HNK could inhibit the chronic inflammatory component of allergic asthma. C57BL/6 mice sensitized to and challenged with OVA had increased airway hyperresponsiveness to methacholine challenge and eosinophilia compared with naive controls. HNK-treated mice showed a reduction in airway hyperresponsiveness as well as a significant decrease in lung eosinophilia. Histopathology studies revealed a marked drop in lung inflammation, goblet cell hyperplasia, and collagen deposition with HNK treatment. Ag recall responses from HNK-treated mice showed decreased proinflammatory cytokines in response to OVA, including TNF-α-, IL-6-, Th1-, and Th17-type cytokines, despite an increase in Th2-type cytokines. Regulatory cytokines IL-10 and TGF-β were also increased. Assessment of lung homogenates revealed a similar pattern of cytokines, with a noted increase in the number of FoxP3(+) cells in the lung. HNK was able to alter B and T lymphocyte cytokine secretion in a γ-aminobutyric acid type A-dependent manner. These results indicate that symptoms and pathology of asthma can be alleviated even in the presence of increased Th2 cytokines and that neurotransmitter agonists such as HNK have promise as a novel class of anti-inflammatory agents in the treatment of chronic asthma.
[The significance of soluble IL-2 receptors in rheumatoid arthritis with interstitial pneumonia]. (1992)

Interstitial pneumonia is well known as one of the complications of rheumatoid arthritis (RA). While interleukin-2 (IL-2) regulates the immune response through IL-2 receptor (IL-2R), the exact role of the soluble form of IL-2R (sIL-2R), recognized as a part of the alpha chain or IL-2R, is still obscure. So, the immunological significance of sIL-2R in serum and in bronchoalveolar lavage fluid (BALF) of those of RA patients with or without interstitial pneumonia was studied. The sIL-2R was measured with an ELISA kit (T-Cell Science Ltd). The levels of sIL-2R in the sera of RA patients without interstitial pneumonia were significantly higher than those of normal controls. Furthermore, the levels of sIL-2R showed a statistically significant correlation with ESR and Lansbary's index. The levels of sIL-2R of RA patients with interstitial pneumonia were higher than in those without interstitial pneumonia although the evaluation of class and stage of arthritis in those RA patients with or without interstitial pneumonia revealed no significant difference. A high sIL-2R/albumin ratio in BALF of RA patients with interstitial pneumonia was shown in comparison with those of normal control. These data indicate that the estimation of sIL-2R in RA patients could be useful in estimating the disease activity and that high levels of sIL-2R reflect the active immune response in the lungs of RA patients with interstitial pneumonia.
A novel hybrid WDM/SCM-PON sharing wavelength for up- and down-link using reflective semiconductor optical amplifier (2006)

A hybrid wavelength-division multiplexed/subcarrier multiplexed passive optical network (WDM/SCM-PON) which shares the same wavelength both up-link and down-link is presented by using a reflective semiconductor optical amplifier (RSOA) as a modulator. We investigated down-link of 622 Mb/s using distributed feedback laser diode with direct modulation and 100-Mb/s up-link using an RSOA as a modulator with 900-MHz SCM signal. In our scheme, a novel efficient and cost-effective WDM/SCM-PON using the same wavelength for down/up-link at each optical network unit is proposed and experimentally demonstrated
Linear Index Selection to Improve Traits Defined as Ratios (1984)

Theoretical selection response is considered for a trait defined as a ratio of two component traits. A method is presented that estimates the genetic change in the components of a ratio when selection is practiced directly on the ratio. Theoretical responses for direct selection on the ratio are compared with linear selection index responses. The proposed linear index maximizes the correlation between the index and the genotype for the ratio of interest. Use of the linear index increases selection responses as compared with direct selection on the ratio. Monte Carlo simulation results are presented for a single generation selection experiment which indicate that the use of a linear index is more efficient for changing traits defined as a ratio of two components traits than direct selection on the ratio. Direct selection on the ratio is complicated by the disproportionate fashion by which selection pressure is exerted on the component traits. Linear selection indices place a predetermined amount of selection pressure on the traits of interest and therefore a predictable amount of genetic change should result.
Effect of Test Section Configuration on Aerodynamic Drag Measurements (2001)

<div class="htmlview paragraph">Aerodynamic measurements in automotive wind tunnels are degraded by test section interference effects, which increase with increasing vehicle blockage ratio. The current popularity of large vehicles (i.e. trucks and sport utility vehicles) makes this a significant issue. This paper describes the results of an experimental investigation carried out in support of the Ford/Sverdrup Driveability Test Facility (DTF), which includes an aero-acoustic wind tunnel (Wind Tunnel No. 8). The objective was to quantify the aerodynamic interference associated with two candidate test section configurations for Wind Tunnel No. 8-semi-open jet and slotted wall. The experiments were carried out at 1/11-scale in Sverdrup laboratories. Four automobile shapes (MIRA models) and six Sport Utility Vehicle (SUV) shapes representing blockages from 7% to 25% were used to evaluate changes in measured aerodynamic coefficients for the two test section configurations. This blockage range is appropriate for the 200ft<sup><span class="xref">2</span></sup> nozzle in Wind Tunnel No.8. All results were obtained at zero model yaw, over a Reynolds number range of 7×10<sup>5</sup> to 1×10<sup>6</sup> based on model length. In addition to the open jet and slotted wall measurements, Sverdrup's sub-scale adaptive wall tunnel was used to acquire additional reference data. The results highlight the influence of test section configuration on aerodynamic measurements. Drag results are presented here, respective of their importance to automotive development. For the MIRA models, the reference results compare well to those from independent experiments. Comparison of the open jet, slotted wall, and reference results shows the open jet offers less aerodynamic interference than the slotted wall. This, coupled with the acoustic advantages of an open jet, drove the decision to strictly employ an open jet configuration in Wind Tunnel No. 8.</div>
Conduction Heating in RTP Fast, and Pattern-Independent (2008)

Various types of conduction-based RTP systems are discussed. It is shown that simple hot plate systems suffer from severe bow of the wafer, when placed directly on the susceptor. This results in non-uniform heating. A solution is to place the wafer on pins; however, this considerably reduces the heat-up rate. An effective way to heat wafers through conduction fast and wellcontrolled is by placing it in a so-called gas bearing, an arrangement in which the wafer floats in between two hot blocks, at a well-controlled, small distance from both blocks. The heat-up rate in this so-called Levitor system is very high (~900°C/s) and uniform. It is demonstrated that this conduction-based system does not suffer from non-uniformities caused by variations in emissivity and/or pattern density across-wafer or within-die. In a direct comparison on pattern-dependent heating effects, substrates with trenches with varying dimensions are spike-annealed in a state-ofthe- art lamp system and in the Levitor. It was shown that temperature non-uniformities in the lampbased and the conduction-based systems are > 40°C and < 1°C, respectively. The conclusion is that the Levitor provides emissivity and pattern-independent heating.
Effective thermal conductivity and thermal diffusivity of some rare earth oxides (1997)

Thermal conductivity and thermal diffusivity of three rare earth oxide powders (Gadolinium oxide, Samarium oxide and Yttrium oxide) are measured experimentally using Transient Plane Source (TPS) technique at ambient temperature. An attempt has been made to accommodate the effect of porosity of the powders on thermal conductivity. Calculation of effective thermal conductivity on the basis of a theoretical model has been carried out and it has been found that the theoretical results are in good agreement with the experimental values. Further it has been shown that the TPS technique is an effective method for the measurement of thermal conductivity of powders.
Linear normal conductance in copper oxide tunnel junctions (1996)

We have measured the tunneling spectra of a large number of Y${\mathrm{Ba}}_{2}$${\mathrm{Cu}}_{3}$${\mathrm{O}}_{7}$-based junctions that show linear background conductances. When conservation of states between the superconducting and the normal characteristics is observed, we have found a linear dependence of the slope of the $G(V)$ curves on the zero-bias conductance values ${G}_{0}$. Tunneling data on the Bi-Sr-Ca-Cu-O and La-Sr-Cu-O systems seem to confirm this behavior. We infer that linear background conductances reflect the normal density of states of the cuprate superconductors and we speculate that this behavior is due to the interlayer coupling mechanism between the Cu${\mathrm{O}}_{2}$ planes.
ChemInform Abstract: Nanomaterial Deposits Formed by DC Plasma Spraying of Liquid Feedstocks. (1998)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
Qualifications for a College Faculty in Mathematics (1967)

"Qualifications for a College Faculty in Mathematics." The American Mathematical Monthly, 74(7), pp. 908–909
Thermocrispum gen. nov., a New Genus of the Order Actinomycetales, and Description of Thermocrispum municipale sp. nov. and Thermocrispum agreste sp. nov. (1995)

Ten strains of thermophilic actinomycetes were isolated from waste and mushroom composts, as well as from the air of compost plants and a refuse incineration plant in Germany. These organisms produce white aerial mycelia and form hyphae with so-called pseudosporangia that fragment into rod-like structures. The organisms have type III cell walls (meso-diaminopimelic acid and whole-cell sugar type C), the phospholipid type is type PII, and mycolic acids are not present. The major menaquinone is MK-9(H4), and the fatty acids are mainly iso- and anteiso-branched fatty acids, hydroxy fatty acids, and 10-methyl-branched fatty acids. The guanine-plus-cytosine content of the DNA is 69 to 73 mol%. The chemotaxonomic markers (especially whole-cell sugar type C) and 16S ribosomal DNA sequence data indicated that these organisms represent a new genus of the order Actinomycetales, for which the name Thermocrispum is proposed. On the basis of phylogenetic and phenotypic data, this new genus is closely related to members of the family Pseudonocardiaceae and related taxa and contains two species: Thermocrispum municipale sp. nov. and Thermocrispum agreste sp. nov. The type species of the genus is T. municipale, with type strain MKD 35 (= DSM 44069), and the type strain of T. agreste is CHB 77 (= DSM 44070).
Designated Confirmer Signatures With Unified Verification. (2011)

After the introduction of designated confirmer signatures (DCS) by Chaum in 1994, considerable researches have been done to build generic schemes from standard digital signatures and construct efficient concrete solutions. In DCS schemes, a signature cannot be verified without the help of either the signer or a semi-trusted third party, called the designated confirmer. If necessary, the confirmer can further convert a DCS into an ordinary signature that is publicly verifiable. However, there is one limit in most existing schemes: the signer is not given the ability to disavow invalid DCS signatures. Motivated by this observation, in this paper we first propose a new variant of DCS model, called designated confirmer signatures with unified verification, in which both the signer and the designated confirmer can run the same protocols to confirm a valid DCS or disavow an invalid signature. Then, we present the first DCS scheme with unified verification and prove its security in the random oracle (RO) model and under a new computational assumption, called Decisional Co-efficient Linear (D-co-L) assumption, whose intractability in pairing settings is shown to be equivalent to the well-known Decisional Bilinear Diffie-Hellman (DBDH) assumption. The proposed scheme is constructed by encrypting Boneh, Lynn and Shacham’s pairing based short signatures with signed ElGamal encryption. The resulting solution is efficient in both aspects of computation and communication. In addition, we point out that the proposed concept can be generalized by allowing the signer to run different protocols for confirming and disavowing signatures.
Hydrogen storage materials: present scenarios and future directions (2009)

This review describes the present state of contemporary solid state hydrogen storage on the basis of research carried out during the last decade. The article focuses on the key aspects of materials based on the physical and chemical storage of hydrogen and emerging mechanisms for reversible storage. Among chemical storage materials, we consider metal hydrides (both light and complex), nitrides-imides-amides and other multi-component systems and discuss the emergence of coordination polymers (metal organic frameworks; MOFs) among solids exhibiting physical storage. Significant challenges remain if we are to meet the practical demands required of a solid state storage system, namely high storage density together with favourable sorption thermodynamics and kinetics and prolonged cycleability and lifetime. This review emphasises both how our understanding of the storage mechanism (as a process or phenomenon during hydrogen cycling) is evolving and how this understanding impacts on future materials design. The prospect of high capacity storage and fast kinetics in nanostructured materials is highlighted as is the role of complex, multi-component, composite systems in future hydrogen storage research.
The liquid phase epitaxy approach for the successful construction of ultra-thin and defect-free ZIF-8 membranes: pure and mixed gas transport study (2013)

The liquid-phase epitaxy (LPE) method was effectively implemented to deliberately grow/construct ultrathin (0.5-1 μm) continuous and defect-free ZIF-8 membranes. Permeation properties of different gas pair systems (O2-N2, H2-CO2, CO2-CH4, C3H6-C3H8, CH4-n-C4H10) were studied using the time lag technique.
Midwifery Care Measures in the Second Stage of Labor and Reduction of Genital Tract Trauma at Birth: A Randomized Trial (2005)

Genital tract trauma after spontaneous vaginal childbirth is common, and evidence-based prevention measures have not been identified beyond minimizing the use of episiotomy. This study randomized 1211 healthy women in midwifery care at the University of New Mexico teaching hospital to 1 of 3 care measures late in the second stage of labor: 1) warm compresses to the perineal area, 2) massage with lubricant, or 3) no touching of the perineum until crowning of the infant's head. The purpose was to assess whether any of these measures was associated with lower levels of obstetric trauma. After each birth, the clinical midwife recorded demographic, clinical care, and outcome data, including the location and extent of any genital tract trauma. The frequency distribution of genital tract trauma was equal in all three groups. Individual women and their clinicians should decide whether to use these techniques on the basis of maternal comfort and other considerations.