gebhart/patrepeval huggingface dataset:
20KSI BOP Stack Development (2010)

Abstract After the introduction of the Cameron 18-3/4" 20,000 psi EVO Drilling BOP at OTC, 2009, this paper will focus on identifying and completing the GAP technologies necessary for design and testing of a Deepwater 20,000 psi subsea BOP stack. This paper will identify design methodologies employed in design and testing of the BOP and outline GAP technologies that must be addressed for completing a Deepwater Subsea BOP stack. Taking a bottom up approach, the discussion will focus on the Wellhead connector and necessary loads, the Drill Through column, Choke and Kill systems and packaging to allow for use on existing rigs with minimal upgrade intervention.
Antiprogestin mifepristone inhibits the growth of cancer cells of reproductive and non-reproductive origin regardless of progesterone receptor expression (2011)

Antiprogestin MF inhibits the growth of different cancer cell lines with a cytostatic effect at lower concentrations in association with a decline in the activity of the cell cycle regulatory protein Cdk2, and apoptotic lethality at higher doses in association with increased hypodiploid DNA content. Contrary to common opinion, growth inhibition of cancer cells by antiprogestin MF is not dependent upon expression of classical, nuclear PR.
Constitutive Expression of Human Cytomegalovirus (HCMV) Glycoprotein gpUL75 (gH) in Astrocytoma Cells: A Study of the Specific Humoral Immune Response (1999)

The humoral immune response to gpUL75 (gH) was determined in different groups of human cytomegalovirus (HCMV) infected subjects using a full-length glycoprotein constitutively expressed in an astrocytoma cell line. The recombinant molecule consisted of two distinct isoforms resembling the authentic protein of infected cells. Separated from the interactions of other viral gene products gH failed to form an oligomeric complex, thus exhibiting exclusively epitopes present on the monomer. Ninety five percent of serum samples from latently-infected healthy adults revealed the presence of gH-specific IgG. Moreover, examination of sequential sera from immunocompromised and immunocompetent individuals undergoing active HCMV infection demonstrated that antibodies to gH occurred in most cases simultaneously with those to the abundant surface antigen gpUL55 (gB) and at similar titres. Appearance of this response was correlated with a considerable increase of the virus-neutralizing activity and most likely associated with restriction of viral dissemination during subsequent viremic episodes. Together, these results suggest that glycoprotein H of HCMV is like gB, a highly immunogenic component of the infectious particle.
A hand-held PC interface (2007)

Effectively addressing user needs is a key element in successful product design. As part of my Design and Technology Systems and Control A-level coursework, I set out to design a product that would encapsulate the power of a conventional PC in a portable form, whilst avoiding the complexities and costs of a conventional portable, or the performance limitations of devices like Palms, Pocket PCs and Microsoft's Origami portable.
T cell traffic and the inflammatory response in experimental autoimmune uveoretinitis. (1998)

There is no evidence of a blood-ocular or blood-retinal barrier to activated T cell blasts. Autologous S-Ag does not provoke a more rapid entry of specific T cells at that site. The data confirm that anterior segment inflammation precedes retinal inflammation, even though S-Ag-specific T cells were present in the retina within a few hours after cell transfer. Because S-Ag is clearly present in the retina, delay in antigen presentation at that site may account for the temporal difference between retinal and anterior segment inflammation.
LNA: A new CW Nd laser tunable around 1.05 and 1.08 µm (1986)

We have investigated the CW laser properties of the lanthamide hexa-aluminate La <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">0.9</inf> Nd <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">0.1</inf> MgAl <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">11</inf> O <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">19</inf> at room temperature. When a 1 cm long crystal is pumped by an Ar+ laser (514 nm) or a Kr+ laser (752 nm), CW emission is obtained with slope efficiencies of 10 and 26 percent, respectively. A four-plate Lyot filter in the cavity forces the LNA crystal to oscillate in either of the two major bands centered al 10 820 Å (tuning range 80 Å) and 10 545 Å (tuning range 35 Å).
Evaluation of multiple factors affecting normal brain dose in single-isocenter multiple target radiosurgery. (2018)

We investigated the effects of multiple planning factors on normal brain dose for single-isocenter VMAT stereotactic radiosurgery (SRS). Ten patients were retrospectively planned using a standardized objective function and all 16 combinations of 2 versus 4 arcs, collimator angle 45° versus selected per beam to minimize area of normal brain exposed in the beams-eye-view, fixed jaw versus following the trailing MLC leaf, and a 2 Gy mean dose objective for healthy brain versus no low dose objective. Limiting the normal brain mean dose in the optimization objective function significantly reduced the low dose spill into the normal brain without changing target coverage. Jaw tracking and appropriate selection of collimator also reduced the low dose volume, but to a lesser extent. To reduce low dose spill into normal brain for single isocenter VMAT radiosurgery of multiple targets, it is important to incorporate a limit on low dose spill into the objective function. This study has implications beyond single-isocenter VMAT radiosurgery. When comparing different inverse-planned treatment techniques, metrics that are important for evaluation of plan quality must be included the objective function.
S3: syntax- and semantic-guided repair synthesis via programming by examples (2017)

A notable class of techniques for automatic program repair is known as semantics-based. Such techniques, e.g., Angelix, infer semantic specifications via symbolic execution, and then use program synthesis to construct new code that satisfies those inferred specifications. However, the obtained specifications are naturally incomplete, leaving the synthesis engine with a difficult task of synthesizing a general solution from a sparse space of many possible solutions that are consistent with the provided specifications but that do not necessarily generalize. We present S3, a new repair synthesis engine that leverages programming-by-examples methodology to synthesize high-quality bug repairs. The novelty in S3 that allows it to tackle the sparse search space to create more general repairs is three-fold: (1) A systematic way to customize and constrain the syntactic search space via a domain-specific language, (2) An efficient enumeration- based search strategy over the constrained search space, and (3) A number of ranking features based on measures of the syntactic and semantic distances between candidate solutions and the original buggy program. We compare S3’s repair effectiveness with state-of-the-art synthesis engines Angelix, Enumerative, and CVC4. S3 can successfully and correctly fix at least three times more bugs than the best baseline on datasets of 52 bugs in small programs, and 100 bugs in real-world large programs.
Sulfonation of 1-butenes with sulfur trioxide (1974)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSulfonation of 1-butenes with sulfur trioxideM. D. Robbins and C. D. BroaddusCite this: J. Org. Chem. 1974, 39, 16, 2459–2461Publication Date (Print):August 1, 1974Publication History Published online1 May 2002Published inissue 1 August 1974https://pubs.acs.org/doi/10.1021/jo00930a045https://doi.org/10.1021/jo00930a045research-articleACS PublicationsRequest reuse permissionsArticle Views241Altmetric-Citations21LEARN 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-Alertsclose Get e-Alerts
Formal property verification by abstraction refinement with formal, simulation and hybrid engines (2002)

We present RFN, a formal property verification tool based on abstraction refinement. Abstraction refinement is a strategy for property verification. It iteratively refines an abstract model to better approximate the behavior of the original design in the hope that the abstract model alone will provide enough evidence to prove or disprove the property.
Robust precise eye location under probabilistic framework (2004)

Eye feature location is an important step in automatic visual interpretation and human face recognition. In this paper, a novel approach for locating eye centers in face areas under probabilistic framework is devised. After grossly locating a face, we first find the areas which left and right eyes lies in. Then an appearance-based eye detector is used to detect the possible left and right eye separately. According to their probabilities, the candidates are subsampled to merge those in near positions. Finally, the remaining left and right eye candidates are paired; each possible eye pair is normalized and verified. According to their probabilities, the precise eye positions are decided. The experimental results demonstrate that our method can effectively cope with different eye variations and achieve better location performance on diverse test sets than some newly proposed methods. And the influence of precision of eye location on face recognition is also probed. The location of other face organs such as mouth and nose can be incorporated in the framework easily.
Continuous Dyeing of Cotton with Reactive Dyes Using Infrared Heat (2005)

Fabrics containing cotton fibers were dyed in a continuous process by impregnating the fabric with an alkaline solution of reactive dyes and then drying and heating it using electrically generated infrared radiation followed by hot air. Optimal fixation of the dyes required a strongly alkaline dye solution and heating the fabric to as high a temperature as possible consistent with avoiding thermal damage to the fibers. Color consistency and quality were well-controlled along the fabric length during both pilot- and industrial-scale continuous dyeing and the color differences, relative to commercial products obtained by batch dyeing procedures with the same recipes, were small. The infrared process offers reduced pollution loads in the washing liquors from reactive dyeing because fixation yields were greater than those for the cold pad-batch dyeing procedure, and no electrolytes or urea were needed in the initial dye solutions.
COUPON REDEMPTION: A MOTIVATIONAL PERSPECTIVE (1988)

This study examined three attitudinal dimensions of coupon usage. A review of the literature suggested that price consciousness, time value, and satisfaction/pride are three major motivational factors that determine coupon usage by consumers. Measurement of these three variables, using Likert‐type items, revealed acceptable levels of reliability. The three factors were found to relate to coupon usage as hypothesized. Further, significant differences were found in the predicted direction between coupon users and nonusers. Managerial implications and recommendations are provided.
Progress in the Improvement of Melt Strength of Poly(lactic acid) (2007)

In this paper,four methods to improve the melt strength of PLA were introduced:copoly- merization,reaction extrusion,radiation crosslinking,and nano-particle blending.Through copolymer- ization branching structure was introduced,however,the main problem was the high price of monomers and the uncontrollable reaction process.During the reactive extrusion branching agents were used, including isocyanic acid,acid anhydride,epoxy compound,and organic peroxide.The key points of this method were the selection of branching agents and the control of their dosage.In the radiation crosslink- ing PLA was subjected to irradiation of electronic or λ-ray in presence of cross-linking agents,which were compounds containing two or more double-bond with acrylic acid being the most effective.PLA nanocomposite showed rheopexy at shear flow and stress hardening at extensional flow,and had high melt strength,thus could be used in the production of high volume expension ratio extrusion foam sheet.
Verification of dual-use chemicals under the Chemical Weapons Convention : the case of thiodiglycol (1991)

Part 1 Mustard gas: production and chemistry of mustard gas, Julian P. Perry Robinson and Ralf Trapp. Part 2 Thiodiglycol: thiodiglycol, Ronald G. Sutherland global survey of thiodiglycol - a progress report, Robert J. Mathews. Part 3 Life cycle monitoring - chemical analysis: simple methods for detection and identification of diversion to mustard gas during the thiodiglycol life cycle, Jiri Matousek. Part 4 Life cycle monitoring - instrumentation: the potential role of portable vapour detectors in verification of non-production of chemical warfare agents, Robert J. Mathews chemical process monitoring by automated micro-sampling on magnetic tape and retrospective on-site evaluation, Bernhard Odernheimer the role of analytical chemistry in monitoring the life cycle of thiodiglycol, Marjatta Rautio. Part 5 Life cycle monitoring - measurement, statistical models: a model for monitoring the production and distribution of thiodiglycol, Nicholas Kyriakopoulos random sampling for verification of compliance with a chemical weapons convention, Rudolf Avenhaus and Morton J. Canty. Part 6 Inspection experience - national trial inspection: US national trial inspection at a thiodiglycol facility, Sigmund R. Eckhaus some technical aspects of verification of the non-production of chemical weapons in chemical industry, Yuri V. Skripkin. Part 7 Summary and conclusions, Martin M. Kaplan, et al. Appendix: Pugwash meeting reports.
Molecular and structural aspects of fimbriae biosynthesis and assembly in<i>Escherichia coli</i> (1996)

Fimbriae are long filamentous polymeric protein structures located at the surface of bacterial cells. They enable the bacteria to bind to specific receptor structures and thereby to colonise specific surfaces. Fimbriae consist of so-called major and minor subunits, which form, in a specific order, the fimbrial structure. In this review emphasis is put on the genetic organisation, regulation and especially on the biosynthesis of fimbriae of enterotoxigenic Escherichia coli strains, and more in particular on K88 and related fimbriae, with ample reference to well-studied P and type 1 fimbriae. The biosynthesis of these fimbriae requires two specific and unique proteins, a periplasmic chaperone and an outer membrane located molecular usher ('doorkeeper'). Molecular and structural aspects of the secretion of fimbrial subunits across the cytoplasmic membrane, the interaction of these subunits with periplasmic molecular chaperone, their translocation to the inner site of the outer membrane and their interaction with the usher protein, as well as the (ordered) translocation of the subunits across the outer membrane and their assembly into a growing fimbrial structure will be described. A model for K88 fimbriae is presented.
Characterization of Dielectric Relaxation and Reliability of High-k MIM Capacitor Under Constant Voltage Stress (2014)

In this paper, the dielectric relaxation and reliability of high capacitance density metal-insulatormetal (MIM) capacitors using Al₂O₃-HfO₂-Al₂O₃ and SiO₂-HfO₂-SiO₂ sandwiched structure under constant voltage stress (CVS) are characterized. These results indicate that although the multilayer MIM capacitor provides high capacitance density and low dissipation factor at room temperature, it induces greater dielectric relaxation level (in ppm). It is also shown that dielectric relaxation increases and leakage current decreases as functions of stress time under CVS, because of the charge trapping effect in the high-k dielectric.
Exploiting context for automatic check-in suggestion and validation (2011)

Mobile social applications that allow users to share presence, opinions and recommendations about places are spreading rapidly. Among these, check-in applications are becoming increasingly popular, but present some issues. In this paper we illustrate a system to exploit user's context to perform automatic check-in validation and suggestion. A description of the system architecture and its technical components is given, focusing on how raw and inferred context data (position, motion status, contacts proximity, etc.) are used to validate and suggest check-ins automatically.
Assessment of controller situation awareness in future terminal RNAV operations (2007)

The MITRE Corporation's Center for Advanced Aviation Systems Development (CAASD) was tasked by the Federal Aviation Administration (FAA) with defining and validating the performance-based air traffic management (ATM) concept to address the increasing need for improved capacity, efficiency, and productivity in the National Airspace System (NAS). A key enabler of this concept is the continued implementation and greater utilization of performance-based navigation provided by area navigation (RNAV) and required navigation performance (RNP) today and through the future. Implementation of new procedures and features, such as vertical profiles, are expected to reduce the active controlling task that is fundamental to air traffic control (ATC) operations and instead, increase monitoring of operations. This change is intended to leverage flight deck automation and reduce pilot and controller workload; however, it is critical to fully understand the human factors implications of making this shift, especially as traffic operations continue to grow. A human-in-the-loop (HITL) simulation was performed to evaluate changes in situation awareness for the feeder arrival controller position in a terminal radar approach control (TRACON) environment with conventional arrival operations and with future RNAV arrival operations when moderate and high levels of traffic were managed. An assessment of controller situation awareness was made based upon results from the situation awareness global assessment technique (SAGAT) and measurement of controller detection of pre-planned aircraft deviations from their assigned clearance. Workload was also measured using the NASA-task load index (TLX). Findings suggest that a change of controller situation awareness does occur as a result of the increased traffic levels managed. Assessing and mitigating this issue is under study by MITRE/CAASD, in particular through display and alerting automation for radar controllers.
Prostate segmentation in echographic images: A variational approach using deformable super-ellipse and rayleigh distribution (2008)

We present a simple, robust and computationally efficient method for the semi-automatic segmentation of the prostate in TRUS (Transrectal Ultrasound) image. The method relies on a variational formulation based on a deformable super- ellipse and a region energy based on the assumption of a Rayleigh distribution. Instead of using the classical level-set approach, we directly insert the implicit representation of a deformable super-ellipse into the energy to minimize. This yields a super-ellipse evolution able to accurately segment prostate and surrounding tissues while handling boundary gaps on the contour.
Interleukin 17 levels are increased in juvenile idiopathic arthritis synovial fluid and induce synovial fibroblasts to produce proinflammatory cytokines and matrix metalloproteinases. (2008)

Increased IL-17 levels in ERA SF correlate with disease activity and this may be due to increased production of MMP and cytokines by IL-17.
Enzymatic Ring-Opening Polymerization of Lactones to Polyesters by Lipase Catalyst: Unusually High Reactivity of Macrolides (1995)

Abstract Enzymatic ring-opening polymerization of macrolides was carried out by using various lipases as catalysts. The monomers used in this study were 11-undecanolide (12-membered, UDL) and 15-pentadecanolide (16-membered, PDL). Among the enzymes examined, lipases derived from Pseudomonas fluorescens (lipase P) and from Candida cylindracea (lipase B) gave polyUDL with high molecular weight in a high yield. From 1H and 13C NMR analysis, the polymer was found to possess the terminal structure of a carboxylic acid group at one end and a hydroxyl group at the other. The rate of the UDL polymerization using lipase P was larger than that using lipase B, whereas the polymerization of UDL using lipase B produced the polymer of higher molecular weight in comparison with that obtained by using lipase P. Lipases from Pseudomonas sp. and porcine pancreas showed a catalytic activity for the polymerization of UDL. PDL was also polymerized by lipase catalyst to give the corresponding polyester. The enzymatic polymerizations of UDL and PDL have been compared with that of 6-hexanolide (ε-caprolactone, ε-CL). The polymerization of the macrolides using lipase P proceeded much faster than that of ε-CL. This is probably due to the strong recognition of the macrolides by the lipase catalyst.
Production of Leaded Aluminum Alloys by Rheocasting (1985)

A vacuum rheocasting technique in which a solidifying alloy is violently agitated at high speed has been applied to production of some new bearing aluminum base alloys containing 15 to 50 mass%Pb. Rheocast microstructures of Al-Pb alloys have been observed using scanning electron microscopy. Coarse lead-rich phases in them are uniformly scattered coexisting with fine eutectics between aluminum-rich primary solid particles formed by destruction of dendrites. The torque of a stirrer inserted in the vacuum-melted alloys has been continuously measured during the rotation of stirrer at a speed of 70 s−1 from the beginning to the final stage of solidification. The apparent viscosity of the semi-solid alloys is evaluated on the basis of the values of torque. The ultimate tensile strength and elongation have been investigated at room temperature and at elevated temperatures. A comparison of the mechanical properties of Al-Pb alloys with those of existing bearing alloys shows that the leaded aluminum alloy is a high cost-performance material.
A noninvasive LSO-APD blood radioactivity monitor for PET imaging studies (2003)

A study has been carried out to investigate the possibility of using a pair of LSO + APD detector arrays to obtain a noninvasive measurement of the arterial input function for use in PET. The main focus of this study was to determine the spatial resolution and sensitivity required to obtain a high quality image that would permit a precise determination of the region of interest around the wrist artery. From these data a quantitative arterial input function that has minimal interference from the tissue and vein background can be obtained. The detector arrays were operated in coincidence counting mode to obtain planar images of various phantoms to demonstrate the feasibility of the concept.