gebhart/patrepeval huggingface dataset:
Safety evaluation using behavioral simulation models (2002)

This paper describes a design environment called ADEPT (advanced design environment prototype tool) which enables designers to assess the dependability of systems early in the design process using behavioral simulation models. ADEPT is an interactive graphical design environment which allows design and analysis of systems throughout the entire design cycle. ADEPT supports functional verification, performance evaluation, and dependability analysis early in the design cycle from a single model in order to dramatically reduce design cycles and deliver products on schedule. In this paper, ADEPT is applied to the design of a distributed computer system used to control trains. Two distinct experiments were run to illustrate dependability evaluation using behavioral simulation models. The first experiment evaluates the effectiveness of using a simple (7,4) Hamming code for protecting information in a distributed system. The second experiment evaluates the effectiveness of a watchdog monitor whose role is to detect hardware and software errors in the distributed system. The experiments illustrate dependability analysis using behavioral simulation models. The first simulation demonstrates estimation of the error coverage of the (7,4) code and the mean time to hazardous event (MTTHE). The second experiment demonstrates functional verification and controllability of behavioral simulation experiments by testing the response of a watchdog monitor design to rare malicious events.
The Lack of Long-Term Effect of Cisplatin Based Combination Chemotherapy on Serum Cholesterol for Treatment of Testicular Cancer (2002)

Administering cisplatin based chemotherapy was unrelated to lipid profiles in long-term survivors of testicular cancer. Chemotherapy treated and chemotherapy naive patients had mean cholesterol levels in the borderline elevated range and body mass index in the overweight range. These potentially reversible cardiovascular risk factors have considerable importance in the overall testicular cancer population.
The Cell Adhesion Protein P-selectin Glycoprotein Ligand-1 Is a Substrate for the Aspartyl Protease BACE1 (2003)

The aspartyl protease BACE1 cleaves the amyloid precursor protein and the sialyltransferase ST6Gal I and is important in the pathogenesis of Alzheimer's disease. The normal function of BACE1 and additional physiological substrates have not been identified. Here we show that BACE1 acts on the P-selectin glycoprotein ligand 1 (PSGL-1), which mediates leukocyte adhesion in inflammatory reactions. In human monocytic U937 and human embryonic kidney 293 cells expressing endogenous or transfected BACE1, PSGL-1 was cleaved by BACE1 to generate a soluble ectodomain and a C-terminal transmembrane fragment. No evidence of the cleavage fragment was seen in primary cells derived from mice deficient in BACE1. By using deletion constructs and enzymatic deglycosylation of the C-terminal PSGL-1 fragments, the cleavage site in PSGL-1 was mapped to the juxtamembrane region within the ectodomain. In an in vitro assay BACE1 catalyzed the formation of the PSGL-1 products seen in vivo. The cleavage occurred at a Leu-Ser peptide bond as identified by mass spectrometry using a synthetic peptide. We conclude that PSGL-1 is an additional substrate for BACE1.
A new antibiotic XK-90. II. The structure of XK-90. (1976)

The new antibiotic, XK-90, produced by Streptomyces sp. is active against Gram-positive and Gram-negative bacteria. The structure has been determined as N-acetyl-N'-(3-formyl-4-hydroxyphenyl)hydrazine (1) and is the second example of a naturally occurring antibiotic having the phenylhydrazine skeleton.
Synthesis, Stereochemical Identification, and Selective Inhibitory Activity against Human Monoamine Oxidase-B of 2-Methylcyclohexylidene-(4-arylthiazol-2-yl)hydrazones (2008)

A series of 2-methylcyclohexylidene-(4-arylthiazol-2-yl)hydrazones have been investigated for their ability to inhibit selectively the activity of the human A and B isoforms of monoamine oxidase (MAO). The target compounds, which present a stereogenic center on the cyclohexane ring, were obtained as pure (R) and (S) enantiomers by enantioselective HPLC. The absolute configuration of homochiral forms isolated on a semipreparative scale was obtained by a combined strategy based on chemical correlation and single-crystal X-ray diffraction. All compounds showed higher activity against the human MAO-B isoform with IC50 values ranging between 26.81 +/- 2.74 microM and 14.20 +/- 0.26 nM, and the assays carried out on the pure enantiomers showed higher activity for the (R) form. A computational study was performed by molecular mechanics, DFT-based quantomechanics, and docking techniques on the most active and human MAO-B selective inhibitor 8.
[Combination chemotherapy with UFT, etoposide, CDDP, adriamycin (FEPA) in advanced gastric cancer]. (1989)

Fifteen patients with inoperable advanced gastric cancer were treated with UFT.etoposide.CDDP.adriamycin (FEPA). Six were males and 9 were females with an average age of 58 (range 40 to 80 years). Nine patients were in P.S. 2 and 6 in P.S. 3. FEPA regimen was performed every 4 weeks as follows: UFT 400 mg/m2 (p.o.) every day, etoposide 50 mg/m2 (i.v.), CDDP 25 mg/m2 (i.v.) and adriamycin 10 mg/m2 (i.v.) on days 1, 8, 15 and 22. Among 15 patients, 6 partial remissions and 4 minor responses were obtained. Gastrectomy was performed in 2 of 6 PR patients after FEPA chemotherapy. The overall response rate was 40.0%. As for side effects, mild myelosuppression was the most frequent (66.7%), followed by alopecia and nausea. We concluded that combination chemotherapy of FEPA is useful for inoperable advanced gastric cancer.
Room-temperature vertical-cavity surface-emitting lasers at 4 μm with GaSb-based type-II quantum wells (2017)

We report electrically pumped λ = 4 μm vertical-cavity surface-emitting lasers (VCSELs) that significantly extend the wavelength range covered with electrically pumped VCSELs into the mid infrared. A single stage active region with eight type-II quantum wells provides sufficient gain, while lateral current confinement and waveguiding are accomplished with the proven buried tunnel junction technology. These devices operate in continuous wave (CW) up to −7 °C and in pulsed operation up to 45 °C. Their CW threshold pump power levels are below 10 mW at temperatures well accessible by thermo-electric cooling, and their maximum single-mode output power is around 0.18 mW. Single-mode operation with side-mode suppression ratio of more than 20 dB and a continuous electro-thermal tuning range as large as 19.2 nm are achieved.
Population Snapshot of EmergentStreptococcus pneumoniaeSerotype 19A in the United States, 2005 (2008)

PCV7 ineffectiveness against serotype 19A, antibiotic resistance, clonal expansion and emergence, and capsular switching have contributed to the genetic diversity of 19A and to its emergence as the predominant invasive pneumococcal serotype in the United States.
catena-Poly[[manganese(II)-tris(μ-betaine-κ2O:O′)] tetrabromidomanganate(IV) (2008)

The title compound, [Mn(C(5)H(11)NO(2))(3)]·MnBr(4), contains polymeric cationic chains of distorted MnO(6) octa-hedra and bridging betaine mol-ecules, running parallel to the a axis. There are two distinct Mn(2+) cations in the chain, both with site symmetry . Distorted [MnBr(4)](2-) tetra-hedra occupy the spaces between the chains.
Synthesis of Thiophene and NO-Curcuminoids for Antiinflammatory and Anti-Cancer Activities (2013)

In search of better NSAIDs four novel nitric oxide donating derivatives of curcumin (compounds 9a-d), and four thiophene curcuminoids (compounds 10a-c, 11) have been synthesised. The cytotoxic effects of these compounds along with the lead compound curcumin (7) and their effect on the production of the reactive oxygen species nitric oxide and pro-inflammatory cytokines IL-1β, TNF-α and chemokine CXCL-8 were evaluated using human monocytic THP-1 and colon adenocarcinoma CACO-2 cell lines. All of the nitric oxide donating curcuminoids 9a-d and the thiophene curcuminoids 10a-c and 11 were non-cytotoxic to THP-1 cells over a concentration range of 10-100 μM and compared with curcumin compounds 10b and 10c, were more toxic. In CACO-2 cells, 10b and 11 appeared to be non-toxic at 10 to 50 μM, whereas 10a and 10c were non-cytotoxic at 10 μM only. These results clearly indicate that the introduction of a nitroxybutyl moiety to curcumin and replacement of phenyl rings with thiophene units reduces the cytotoxic effect of the parent curcumin, whereas a methyl substituted thiophene increases the cytotoxic effects. In THP-1 cells, drugs 10a and 11 significantly decreased IL-1-β production at their non-cytotoxic concentrations, whereas, they did not decrease TNF-α production in CACO-2 cells. Compound 11 showed a significant decrease in CXCL-8 production.
Clonal Spread of Serogroup W135 Meningococcal Disease in Turkey (2006)

Six cases of Neisseria meningitidis serogroup W135 meningococcal infection have been reported in Turkey since 2003. Seven isolates recovered from four meningococcal meningitis patients and two asymptomatic carriers produced three distinct pulsed-field gel electrophoresis (PFGE) patterns. Multilocus sequence typing and antigen gene sequencing showed that five isolates were indistinguishable from ST-11 (ET-37) serogroup W135 meningococci, which were first isolated in Saudi Arabia and were responsible for the worldwide outbreak among Hajj pilgrims and their contacts in 2000. The remaining two isolates, which had related PFGE patterns, differed from each other at only one of the genetic loci characterized but were not related to the ST-11 clonal complex. None of the six individuals recalled contact with a pilgrim or had traveled on the Hajj. These six individuals exhibited no time or place relationships to each other, except for the two asymptomatic carriers, who were soldiers and served in the same military unit. These data demonstrate that serogroup W135 meningococci with different genotypes, including the Hajj epidemic strain, are endemic in Turkey.
User feedback in human-robot interaction: prosody, gaze and timing (2013)

This paper investigates forms and functions of user feedback in a map task dialogue between a human and a robot, where the robot is the instruction-giver and the human is the instruction- follower. First, we investigate how user acknowledgements in task-oriented dialogue signal whether an activity is about to be initiated or has been completed. The parameters analysed include the users' lexical and prosodic realisation as well as gaze direction and response timing. Second, we investigate the relation between these parameters and the perception of uncertainty.
A COMMUNITY STUDY OF LOWER URINARY TRACT SYMPTOMS IN OLDER MEN IN SYDNEY, AUSTRALIA (2000)

Lower urinary tract symptoms are common in men, but their experiences of bother correlate weakly with symptoms and do not appear to influence referral and treatment. Public and professional campaigns might increase wider understanding of the benefits of surgery for bothersome symptoms, not symptoms per se.
Wireless infrared communications (1997)

The use of infrared radiation as a medium for high-speed short-range wireless digital communication is discussed. Available infrared links and local-area networks are described. Advantages and drawbacks of the infrared medium are compared to those of radio and microwave media. The physical characteristics of infrared channels using intensity modulation with direct detection (IM/DD) are presented including path losses and multipath responses. Natural and artificial ambient infrared noise sources are characterized. Strategies for designs of transmitter and receivers that maximize link signal-to-noise ratio (SNR) are described. Several modification formats are discussed in detail, including on-off keying (OOK) pulse-position modulation (PPM), and subcarrier modulation. The performance of these techniques in the presence of multipath distortion is quantified. Techniques for multiplexing the transmissions of different users are reviewed. The performance of an experimental 50-Mb/s on-off-keyed diffuse infrared link is described.
Automated Synthesis and Visualization of a Chemotherapy Treatment Regimen Network (2013)

Cytotoxic treatments for cancer remain highly toxic, expensive, and variably efficacious. Many chemotherapy regimens are never directly compared in randomized clinical trials (RCTs); as a result, the vast majority of guideline recommendations are ultimately derived from human expert opinion. We introduce an automated network meta-analytic approach to this clinical problem, with nodes representing regimens and edges direct comparison via RCT(s). A chemotherapy regimen network is visualized for the primary treatment of chronic myelogenous leukemia (CML). Node and edge color, size, and opacity are all utilized to provide additional information about the quality and strength of the depicted evidence. Historical versions of the network are also created. With this approach, we were able to compactly compare the results of 17 CML regimens involving RCTs of 9700 patients, representing the accumulation of 45 years of evidence. Our results closely parallel the recommendations issued by a professional guidelines organization, the National Comprehensive Cancer Network (NCCN). This approach offers a novel method for interpreting complex clinical data, with potential implications for future objective guideline development.
Distinguishability of inhomogeneities using planar electrode arrays and different patterns of applied excitation (2003)

Electrical impedance tomography (EIT) is a non-invasive technique used to image the electrical conductivity and permittivity within a body from measurements taken on the body surface. Four methods are being investigated for breast cancer diagnosis by EIT today: Single voltage source, single current source and multiple current sources with a fixed pre-determined 'canonical' pattern of currents and an adaptively determined 'optimal' pattern of currents. To determine which of these four methods might yield the best distinguishability using planar electrode arrays for breast cancer detection, we placed electrode arrays on a saline tank and used each excitation pattern to detect a conducting target placed at the centre of a flat electrode array in two geometries: mammography geometry and single probe geometry. The result was that the multiple current sources method had higher distinguishability than either the SCS or the SVS method. In both these electrode geometries, the optimal current pattern had higher distinguishability than the other patterns at all distances.
Incorporating efficient assertion checkers into hardware emulation (2006)

Assertion-based verification (ABV) is emerging as a paramount technique for industrial-strength hardware verification, especially through the emerging property specification language (PSL). Since PSL introduces significant overhead to simulators, in this paper we present the infrastructure for hardware emulation capable of supporting ABV. We develop a tool that generates hardware assertion checkers for inclusion into efficient circuit emulation. The MBAC checker generator is outlined, together with the algorithms for optimized assertion-circuit generation. Experiments show that MBAC outperforms the best known checker-generator.
Lattice Thermal Expansion Effects in Pure and Doped Cordierite by Time-of-Flight Neutron Diffraction* (1985)

Abstract The thermal expansion behavior of pure, Ge-doped and Li-doped hexagonal cordierites with respective compositions: 2MgO 2Al 2 O 3 5Si0 2 2Mg0 2Al 2 O 3 4Si0 2 Ge0 2 ) and 2MgO (2+x)AL 2 0 3 (5-2x)Si0 2 xLi 2 0 with x = .174, was investigated using time-of-flight neutron powder diffraction at temperatures from 22 to 750°C in vacuum. The data were refined in space group P6/mcc using the Rietveld method. The lattice thermal expansion curves of all 3 samples were quite similar. The negative axis expansion is associated with (1) displacement of the T 2 cations general ly toward the axis channels and (2) changes in the distortion of the coupled T 1 /M tetrahedra/octahedra in the structure. Both contributions were present in all 3 samples but the first was more dominant in the Ge doped sample. The nature and origin of the distortions in T 1 and M are discussed.
RF Processing of X-band Accelerator Structures at the NLCTA (2000)

During the initial phase of operation, the linacs of the Next Linear Collider (NLC) will contain roughly 5000 X-Band accelerator structures that will accelerate beams of electrons and positrons to 250 GeV. These structures will nominally operate at an unloaded gradient of 72 MV/m. As part of the NLC R&amp;D program, several prototype structures have been built and operated at the Next Linear Collider Test Accelerator (NLCTA) at SLAC. Here, the effect of high gradient operation on the structure performance has been studied. Significant progress was made during the past year after the NLCTA power sources were upgraded to reliably produce the required NLC power levels and beyond. This paper describes the structures, the processing methodology and the observed effects of high gradient operation.
Highly Mixed Phases in Ball-milled Cu/ZnO Catalysts:  An EXAFS and XANES Study (2006)

New highly mixed phases have been identified in Cu/ZnO systems by EXAFS and XANES at both the Cu and Zn K-edge. The phases were generated by ball-milling Cu(2)O/ZnO mixtures under three different atmospheres of synthetic air (SA), SA + CO(2) and CO(2). The system milled in CO(2) shows disproportionation of Cu(2)O into Cu(0), Cu(1+) (cuprite Cu(2)O-type phase) and Cu(2+) (tenorite CuO-type phase), while most of the Zn(2+) is transformed into a nanocrystalline/amorphous ZnO-type zincite that forms a superficial mixture of oxide and carbonate phases. When synthetic air is added to the CO(2) atmosphere, ball milling results in the oxidation of nearly half the Cu(1+) into Cu(2+) with no Cu metal formed. The copper phase in this material is almost entirely amorphous. In SA, a significant amount of Cu(2+)- and Zn(2+)-based phases appears to react to form a nanocrystalline/amorphous Cu(1-x)Zn(x)O (x approximately 0.3) solid solution. This distorted rock saltlike solid solution, in which Zn and Cu feature different octahedral environments, was never reported before. It is thought to be formed by incorporation of Zn(2+) in the Cu fcc sublattice of the cuprite Cu(2)O matrix and the concomitant oxidation of Cu(1+) into Cu(2+). The formation of such a highly mixed Cu(1-x)Zn(x)O phase indicates strong Cu/Zn interaction in the Cu/ZnO system, which also suggests the presence of highly mixed phases in conventionally prepared activated catalysts.
The Mechanism of the Acyl-Carbon Bond Cleavage Reaction Catalyzed by Recombinant Sterol 14α-Demethylase of Candida albicans (Other Names Are: Lanosterol 14α-Demethylase, P-45014DM, and CYP51) (1996)

The Candida albicans sterol 14 alpha-demethylase gene (P-45014DM, CYP51) was transferred to the yeast plasmid YEp51 placing it under the control of the GAL10 promoter. The resulting construct (YEp51:CYP51) when transformed into the yeast strain GRF18 gave a clone producing 1.5 mu mol of P-450/liter of culture, the microsomal fraction of which contained up to 2.5 nmol of P-450/mg of protein. Two oxygenated precursors for the 14 alpha-demethylase, 3 beta-hydroxylanost-7-en-32-al and 3 beta-hydroxylanost-7-en-32-ol, variously labeled with 2H and 18O at C-32 were synthesized. In this study the conversion of [32-2H,32-16O]- and [32-2H,32-18O]3 beta-hydroxylanost-7-en-32-al with the recombinant 14 alpha-demethylase was performed under 16O2 or 18O2 and the released formic acid analyzed by mass spectrometry. The results showed that in the acyl-carbon bond cleavage step (i.e. the deformylation process) the original carbonyl oxygen at C-32 of the precursor is retained in formic acid and the second oxygen of formate is derived from molecular oxygen; precisely the same scenario that has previously been observed for the acyl-carbon cleavage steps catalyzed by aromatase (P-450arom) and 17 alpha-hydroxylase-17,20-lyase (P-45017 alpha,CYP17). In the light of these results the mechanism of the acyl-carbon bond cleavage step catalyzed by the 14 alpha-demethylase is considered.
DHCP for IEEE 1394 (2000)

IEEE Std 1394-1995 is a standard for a High Performance Serial Bus. Since 1394 uses a different link-layer addressing method than conventional IEEE802/Ethernet, the usage of some fields must be clarified to achieve interoperability. This memo describes the 1394 specific usage of some fields of DHCP messages.
Designing, building, and characterizing RF switch-based reconfigurable intelligent surfaces (2022)

In this poster, we present the Reconfigurable Intelligent Surface (RIS) that we designed, built, and tested. At first, the RIS technology is briefly discussed, subsequently, our prototype details are explained, and finally, we conclude by showing the obtained test results. Our RIS design comprises arrays of patch antennas, delay lines, and programmable radio-frequency (RF) switches that enable almost-passive 3D beamforming, i.e., without active RF components.
GEF at work: Vav in protruding filopodia (2001)

The Dbl family proto-oncogene vav is a nucleotide exchange factor for Rho family GTPases and is involved in triggering cytoskeletal changes contributing to the alterations of cell shape and motility, as well as in the induction of gene expression. In vitro and in vivo Vav is regulated by multiple tyrosine phosphorylation and binding to phosphatidylinositol phosphates. Although recruitment of Vav to the plasma membrane appears important for the activation of Vav function, there is little information on the precise subcellular localization of Vav in living cells. Employing live video fluorescence and immunoelectron microscopy, we show that GFP-tagged full-length Vav, and several mutants in which the N-terminal regulatory calponin homology (CH) domain has been deleted, specifically localize to the tips of filopodia. This localization was congruent with a high content of tyrosine phosphorylation in these regions. Consistent with earlier observations, mutants lacking the C-terminal SH domain region were unable to translocate to the filopodia tips. The enrichment in filopodial tips persisted despite their lateral movement but was dependent on forward growth. Upon retraction, the signal was rapidly lost, indicating that Vav undergoes a specific and transient translocation in response to actin-based, protrusive events in filopodia.
Baseball Pitching Biomechanics Shortly After Ulnar Collateral Ligament Repair (2019)

Elbow and shoulder kinematics during pitching might not be completely regained within the first year after UCL repair, although passive range of motion and pitch velocity show no difference in comparison to other healthy pitchers.
Supplementary Figure 2 from A Coding Single-Nucleotide Polymorphism in Lysine Demethylase <i>KDM4A</i> Associates with Increased Sensitivity to mTOR Inhibitors (2023)

&lt;p&gt;Supplementary Figure 2. KDM4A SNP-A482 associates with increased cellular sensitivity to drugs targeting the mTOR pathway.&lt;/p&gt;
Sereno: A second generation virtualized network interface controller (2011)

This article consists of a collection of slides from the author's conference presentation on Cisco's Sereno, its second generation virtualized network interface controller. Some of the specific topics discussed include: the special features, system specifications, and system design for these products; system architectures; applications for use; platforms supported; processing capabilities; memory capabilities; and targeted markets.