gebhart/patrepeval huggingface dataset:
Mohawk+T (2015)

Safety analysis is recognized as a fundamental problem in access control. It has been studied for various access control schemes in the literature. Recent work has proposed an administrative model for Temporal Role-Based Access Control (TRBAC) policies called Administrative TRBAC (ATRBAC). We address ATRBAC-safety. We first identify that the problem is PSPACE-Complete. This is a much tighter identification of the computational complexity of the problem than prior work, which shows only that the problem is decidable. With this result as the basis, we propose an approach that leverages an existing open-source software tool called Mohawk to address ATRBAC-safety. Our approach is to efficiently reduce ATRBAC-safety to ARBAC-safety, and then use Mohawk. We have conducted a thorough empirical assessment. In the course of our assessment, we came up with a "reduction toolkit," which allows us to reduce Mohawk+T input instances to instances that existing tools support. Our results suggest that there are some input classes for which Mohawk+T outperforms existing tools, and others for which existing tools outperform Mohawk+T. The source code for Mohawk+T is available for public download.
Dual-band phase offset line with required transmission phases at two operational frequencies (2012)

The paper presents analytical design methodology for realizing dual-band phase offset line using multi-section coupled lines. The circuit is designed to emulate a transmission line of 50 Ω characteristic impedance with two different arbitrary phases at the two frequencies. A prototype has been design at 1960 /3500 MHz that is used in dual-band Doherty power amplifier operating for CDMA and WiMAX applications.
Picosatellite Power System Design (2010)

T report covers the various steps in the design process for selecting the specifi c power system architecture for a picosatellite mission. These steps include 1) the determination of the optimal solution for a specifi c mission, 2) determination of optimal bus voltage for the main power system bus, 3) selection of circuit confi gurations and control schemes, 4) determination of the amount of energy storage required, and 5) determination of energy balance or consumption for the mission.
Experimental studies of tumor radioimmunodetection using antibody mixtures against carcinoembryonic antigen (CEA) and colon‐specific antigen‐p (CSAp) (1981)

Experiments with the GW-39 human colonic carcinoma growing in hamsters showed that injection of radioactive antibody to a colorectal-specific, tumor-associated antigen, CSAp, results in better tumor radiolocalization than was seen previously with radioantibodies to carcinoembryonic antigen (CEA). However, a mixture of both radioactive antibodies resulted in potentiation of CEA-tumor radioimmunodetection without affecting CSAp-tumor radiolocalization. Hence, multi-marker antibody mixtures may be the method of choice in cancer radioimmunodetection.
New generation 6.5 kV SiC power MOSFET (2017)

Following the recent advances in the production of 3.3 kV and 10 kV SiC power MOSFETs, Wolfspeed launched an effort to develop a new generation 6.5 kV SiC power MOSFET to fill the medium-to high-voltage fast switching device void in applications such as rail traction and medium-voltage motor drives. The characteristics of the new generation 6.5 kV SiC power MOSFET rated at a drain current of 30 A, are presented for the first time. The device shows a typical R <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">DS, on</sub> <; 90 mΩ and V <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">th</sub> of 3.6 V (at I <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">D</sub> =1 mA) measured at room temperature. Our 6.5 kV SiC power MOSFET includes a useable body diode with low V <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">f</sub> and reverse-recovery charge at operating temperature. The use of the body diode as a freewheeling device is demonstrated, eliminating the need for an external anti-parallel freewheeling SiC JBS diode, hence, reducing size and cost of a system. The effects of changing the 6.5 kV SiC power MOSFET gate runner design on the internal on-chip gate resistance and the MOSFET switching capability are presented.
Adsorption of a Pt-ammine complex on graphene sheets prepared from single-wall carbon nanohorns (2010)

We prepared special aggregates of single-wall carbon nanohorns (SWNHs) having plenty of few-graphene sheets with petal-like forms (P-FGS). The P-FGS/SWNH aggregates were oxidized by light-assisted oxidation with hydrogen peroxide to remove SWNHs from P-FGS/SWNH (P-FGSox). FT-IR absorption spectra indicated that P-FGSox had oxygenated groups such as carboxyl groups. To identify their locations, they were modified with Pt-ammine complexes. Transmission electron microscopy observations indicated that Pt-ammine complexes had sub-nanometer sizes and were located mainly at the graphene edges. This means that the oxygenated functional groups existed at the graphene edges and reacted selectively with Pt-ammine complexes. We also confirmed that, on reduction in hydrogen, the Pt-ammine complexes moved freely on FGSox to stabilize at the steps of the few graphene sheets.
An oldest-first selection logic implementation for non-compacting issue queues [microprocessor power reduction] (2003)

Microprocessor power dissipation is a growing concern, so much so that it threatens to limit future performance improvements. A major consumer of microprocessor power is the issue queue. Many microprocessors, such as the Compaq Alpha 21264 and IBM POWER4/sup /spl trade//, use a compacting latch-based issue queue design which has the advantage of simplicity of design and verification. The disadvantage of this structure, however, is its high power dissipation. In this paper, we propose a new selection logic implementation in conjunction with a non-compacting issue queue. This scheme achieves comparable delays to the existing position-based selection approach used for compacting issue queues, yet results in far less power with a small performance loss.
The Microbial Detection Array for Detection of Emerging Viruses in Clinical Samples - A Useful Panmicrobial Diagnostic Tool (2014)

Emerging viruses are usually endemic to tropical and sub-tropical regions of the world, but increased global travel, climate change and changes in lifestyle are believed to contribute to the spread of these viruses into new regions. Many of these viruses cause similar disease symptoms as other emerging viruses or common infections, making these unexpected pathogens difficult to diagnose. Broad-spectrum pathogen detection microarrays containing probes for all sequenced viruses and bacteria can provide rapid identification of viruses, guiding decisions about treatment and appropriate case management. We report a modified Whole Transcriptome Amplification (WTA) method that increases unbiased amplification, particular of RNA viruses. Using this modified WTA method, we tested the specificity and sensitivity of the Lawrence Livermore Microbial Detection Array (LLMDA) against a wide range of emerging viruses present in both non-clinical and clinical samples using two different microarray data analysis methods.
Syntheses of β‐hydroxyselenides and selenides from 1,2,3‐selenadiazoles: Selenophilic reaction of phenylmagnesium bromide on α‐selenoketones (1986)

Abstract α‐Selenoketones were prepared starting from 1,2,3‐selenadiazoles and α‐haloketones and were reduced to corresponding β‐hydroxyselenides. The action of phenylmagnesium bromide on α‐selenoketones was studied. Selenium was the site of nucleophilic attack by Grignard reagent.
Chemokines Stimulate Bidirectional Migration of Human Mesenchymal Stem Cells Across Bone Marrow Endothelial Cells (2011)

Mesenchymal stem cells (MSCs) can be mobilized from the bone marrow and enter the circulation. Conversely, MSCs can be recruited from the circulation and into the bone marrow. For these migratory pathways, MSCs have to traverse the bone marrow endothelium, in a basal-to-apical and apical-to-basal direction, respectively. Here we describe the migratory cues that drive MSC transendothelial migration in both directions with focus on chemokines. Live cell imaging and electron microscopy were used to examine the interaction of human MSCs with human bone marrow endothelial cells (HBMECs), and MSC transmigration analyzed. Chemokines CXCL12, CXCL13, CXCL16, CCL11, and CCL22 significantly enhanced transendothelial migration in an apical-to-basal and basal-to-apical direction, showing preferences in terms of their capacity to stimulate the direction of migration. For apical-to-basal migration CXCL16 was the most effective (6-fold stimulation), with the rank order being CXCL16>CCL11>CXCL13>CCL22>CXCL12. In the basal-to-apical direction CCL22 was the most effective (5-fold enhancement), with the remaining chemokines being roughly equal. When MSCs interacted with HBMECs they flattened, extended long microvilli (filopodia) and podosome-like protrusions that inserted into the endothelial cells. In conclusion, chemokines enhance the migration of MSCs bidirectionally across HBMECs, with directional preferences shown for different chemokines.
Changes in Chitinase and Thaumatin-like Pathogenesis-Related Proteins of Grape Berries during the Champagne Winemaking Process (2003)

Plant defense proteins (pathogenesis-related, or PR, proteins) have been implicated in allergenic reactions in humans. Grape PR-proteins are also known to be responsible for heat-induced haze and are susceptible to precipitation in the bottle. Changes in two defense proteins, a chitinase (CHV5) and a thaumatinlike (TL), were followed during the Champagne winemaking process, using <i>Vitis vinifera</i> L. cv. Pinot noir grape berries. Determination of chitinase activity indicated that the extraction yield of chitinases is at least 22% in the must with low pressing to make Champagne and that chitinase activity regularly diminishes during the winemaking process. SDS-PAGE electrophoresis of the must revealed that CHV5 and TL are the major proteins found in grape berries cv. Pinot noir. Using specific antibodies, changes in these two proteins during the Champagne winemaking process were followed. Western blotting indicated a regular disappearance of CHV5 and TL. TL did not seem to precipitate or hydrolyze but was absent in Champagne wine. CHV5 was likely fixed on the cell wall of <i>Saccharomyces cerevisiae</i> yeast (yeast lees) after alcoholic fermentation and on the cell wall of <i>Oenococcus oeni</i> bacteria after malolactic fermentation. Fragments of low molecular weight linked to CHV5 were observed, probably indicating that CHV5 had undergone proteolysis. This observation is in good agreement with the occurrence of an acid protease activity during the Champagne winemaking process.
Population Pharmacokinetics of Upadacitinib in Healthy Subjects and Subjects with Rheumatoid Arthritis: Analyses of Phase I and II Clinical Trials (2017)

ClinicalTrials.gov ( https://clinicaltrials.gov/ ) identifiers: NCT01741493, NCT02066389, and NCT01960855.
Positron Emission Tomography–Magnetic Resonance Imaging Pharmacokinetics, In Vivo Biodistribution, and Whole-Body Elimination of Mn-PyC3A (2020)

Mn-PyC3A has different pharmacokinetics and is more efficiently eliminated than Mn-DPDP in normal rats. Mn-PyC3A is efficiently eliminated from both normal and 5/6 nephrectomy rats, with increased fractional hepatobiliary excretion from 5/6 nephrectomy rats. Mn-PyC3A is more completely eliminated than Gd-DOTA from 5/6 nephrectomy rats after 7 days.
Experimental investigation of a Bell’s inequality by using joint measurements (2020)

To clarify the relation between a Bell’s inequality and measurement uncertainty, we have experimentally introduced joint measurements of two complementary polarizations. Joint statistics can be obtained because measurement uncertainties reduce the observed correlations.
ChemInform Abstract: A Practical Photochemical Synthesis of 6‐Aza‐1,10‐phenanthroic Anhydride. (1996)

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.
Multi-heterodyne mixing of frequency stabilized combs for ultrafast coherent signal processing (2010)

Fast and precise measurements of ultrafast optical waveforms are essential to the development of optical coherent signal processing. In this paper, multi-heterodyne mixing of stabilized optical frequency combs is presented as a simple technique for the measurement of ultrafast laser pulses and exotic arbitrary optical waveforms. This technique takes advantage of both the broadband nature of the frequency comb and the narrow line-width of the individual comb-lines to produce an array of radio-frequency beat-notes that share the characteristics of the optical spectrum. Measurements of comb characteristics across THz of bandwidth are enabled by this method, while maintaining the accuracy at the level of the individual comb-line width. Results show that both frequency modulation and amplitude modulation combs can be measured using this scheme.
Acquisizione di dati con videocamere e sensore ToF (2013)

Descrizione e breve analisi di un sistema composto da due telecamere e un sensore ToF, e implementazione di software (scritto in C#) che acquisisce i dati dei tre device e permette il salvataggio su thread separati dell'informazione ricevuta. Tale software permette una vasta calibrazione e personalizzazione dei valori, producendo dati utilizzabili da programmi di terze parti
Reed-Muller Codes Achieve Capacity on the Binary Erasure Channel under MAP Decoding (2015)

We show that Reed-Muller codes achieve capacity under maximum a posteriori bit decoding for transmission over the binary erasure channel for all rates $0 &lt; R &lt; 1$. The proof is generic and applies to other codes with sufficient amount of symmetry as well. The main idea is to combine the following observations: (i) monotone functions experience a sharp threshold behavior, (ii) the extrinsic information transfer (EXIT) functions are monotone, (iii) Reed--Muller codes are 2-transitive and thus the EXIT functions associated with their codeword bits are all equal, and (iv) therefore the Area Theorem for the average EXIT functions implies that RM codes' threshold is at channel capacity.
Child's Coat (1910)

Child's coat of off-white cotton faille with box pleats front and back; one each at shoulder and one down the middle of both back and front. Front opening to waist of four small white mother-of-pearl buttons and two snaps at neckline, covered by pleat. Sailor collar embroidered with simple flower and vine pattern and embroidered scalloped edges. Long sleeves have the same treatment for 3 cuffs. Dropped waist with belt loops (belt missing).
Turbulence characteristics in cylindrical liquid jets (1994)

A study has been made of the flow patterns and turbulence characteristics in free liquid jets in order to determine the rate of decay of turbulence properties along the jet. Mean streamwise velocities and streamwise velocities and streamwise and cross-streamwise turbulence intensities were measured using laser Doppler velocimetry. The jet Reynolds number was varied between 1000 and 30 000, with the diameter of the liquid jet D=3.051 mm. Using a power law model for the time decay of turbulence kinetic energy, it was found that turbulence decays, on average with an exponent N=1, independent of the Reynolds number. A constant power for the decay implies Reynolds number similarity throughout this range. Substantial reductions in the degree of anisotropy occur downstream from the injector exit as the jet relaxes from a fully developed turbulent pipe flow profile to a flat profile. For the intermediate range of Reynolds numbers (10 000–20 000), the relaxation distance was 20D, almost independent of the Reynolds number. At high values of Reynolds number (20 000–30 000), the relaxation process was very fast, generally within three diameters from the injector exit.
Data from Genome-Wide CpG Island Profiling of Intraductal Papillary Mucinous Neoplasms of the Pancreas (2023)

&lt;div&gt;Abstract&lt;p&gt;&lt;b&gt;Purpose:&lt;/b&gt; Intraductal papillary mucinous neoplasms (IPMN) are precursors to infiltrating pancreatic ductal adenocarcinomas. Widespread epigenetic alterations are characteristic of many cancers, yet few studies have systematically analyzed epigenetic alterations of neoplastic precursors. Our goal was to conduct genome-wide CpG island methylation profiling to identify aberrantly methylated loci in IPMNs.&lt;/p&gt;&lt;p&gt;&lt;b&gt;Experimental Design:&lt;/b&gt; We compared the CpG island methylation profiles of six IPMNs to normal primary pancreatic duct samples using methylation CpG island amplification (MCA) and Agilent CpG island microarray (MCAM) analysis. When selected 13 genes identified as differentially methylated by MCAM for methylation-specific PCR (MSP) analysis in an independent set of IPMNs and normal pancreas samples and conducted expression analysis of selected genes.&lt;/p&gt;&lt;p&gt;&lt;b&gt;Results:&lt;/b&gt; We identified 2,259 loci as differentially methylated in at least one of six IPMNs including 245 genes hypermethylated in IPMNs with high-grade dysplasia compared with normal pancreatic duct samples. Eleven of 13 genes evaluated by MSP were more commonly methylated in 61 IPMNs than in 43 normal pancreas samples. Several genes (&lt;i&gt;BNIP3&lt;/i&gt;, &lt;i&gt;PTCHD2&lt;/i&gt;, &lt;i&gt;SOX17&lt;/i&gt;, &lt;i&gt;NXPH1&lt;/i&gt;, &lt;i&gt;EBF3&lt;/i&gt;) were significantly more likely to be methylated in IPMNs with high-grade than with low-grade dysplasia. One gene, &lt;i&gt;SOX17&lt;/i&gt;, showed loss of protein expression by immunohistochemistry in 22% (19 of 88) of IPMNs. The most specific marker, &lt;i&gt;BNIP3&lt;/i&gt;, was not methylated in any IPMNs with low-grade dysplasia or in normal pancreas samples.&lt;/p&gt;&lt;p&gt;&lt;b&gt;Conclusions:&lt;/b&gt; IPMNs undergo extensive aberrant CpG island hypermethylation. The detection of genes selectively methylated in high-grade IPMNs such as &lt;i&gt;BNIP3&lt;/i&gt; may have use in the clinical evaluation of IPMNs. &lt;i&gt;Clin Cancer Res; 18(3); 700–12. ©2011 AACR&lt;/i&gt;.&lt;/p&gt;&lt;/div&gt;
Cover Picture: Evidence for the Mode of Action of the Highly Cytotoxic Streptomyces Polyketide Kendomycin (ChemBioChem 11/2007) (2007)

The cover picture shows the effects of the polyketide kendomycin on the model mammalian cell lines U-937 and PtK2. Kendomycin induces a multiplicity of cellular responses, including up-regulation of stress-response proteins, vacuolization of the endoplasmic reticulum, accumulation of ubiquitinylated proteins and apoptosis. These effects are consistent with inhibition of the proteasome, an activity that kendomycin also exhibits in vitro. Kendomycin thus represents a new structural type of proteasome inhibitor, with potential utility both in chemical genetics and therapy. Further details can be found in the article by R. Müller et al. on p. 1261 ff.
The structural properties of the lateral retinaculum and capsular complex of the knee (2009)

the ITB-patellar band was strongest, at a mean of 582N, and stiffest, at 97 N/mm. The patellofemoral ligament failed at 172 N with 16 N/mm stiffness; the patellomeniscal ligament failed at 85 N, with 13N/mm stiffness. These structural properties suggest that most of the load in-vivo is transmitted to the patella by the transverse fibres that originate from the ITB.
Involvement of putative heat shock element in transcriptional regulation of p21WAF1/CIP1/SDI1by heat shock (2000)

The expression of p21WAF1/ClP1/SDI1, one of the cyclin‐dependent kinase inhibitors, is regulated by a variety of transcription factors including p53 and STAT. Heat shock induces the expression of p21 in a temperature‐ and time‐dependent manner. Although the p21 induction by heat shock has been reported to be controlled by p53, a p53‐independent mechanism is also involved. To understand the p53‐independent regulation of heat shock‐induced p21 expression, we searched the promoter region of p21 gene and found one or two heat shock element (HSE)‐like sequences in human, rat, and mouse. Electromobility shift assay (EMSA) showed that heat shock factor (HSF) could bind to these HSE‐like sequences in response to heat shock, even though to a lesser extent than to HSE. In addition, p21 promoter deletion analysis revealed that heat shock activated a p21 deletion promoter construct containing the HSE‐like sequences but lacking p53‐binding sites, but not a promoter construct containing neither HSE‐like sequences nor the p53‐responsive element. Furthermore, the p21 induction by heat shook was significantly inhibited in confluent cells in which heat shock‐induced HSF activation was reduced. These results suggest that the transcriptional regulation of p21 by heat shock may be mediated through activation and binding to HSE‐like sequences of HSF.
Sustained NKG2D engagement induces cross-tolerance of multiple distinct NK cell activation pathways (2008)

NKG2D is a multisubunit activation receptor that allows natural killer (NK) cells to detect and eliminate stressed, infected, and transformed host cells. However, the chronic exposure of NK cells to cell-bound NKG2D ligands has been shown to impair NKG2D function both in vitro and in vivo. Here we have tested whether continuous NKG2D engagement selectively impacted NKG2D function or whether heterologous NK cell activation pathways were also affected. We found that sustained NKG2D engagement induced cross-tolerization of several unrelated NK cell activation receptors. We show that receptors that activate NK cells via the DAP12/KARAP and DAP10 signaling adaptors, such as murine NKG2D and Ly49D, cross-tolerize preferentially NK cell activation pathways that function independent of DAP10/12, such as antibody-dependent cell-mediated cytotoxicity and missing-self recognition. Conversely, DAP10/12-independent pathways are unable to cross-tolerize unrelated NK cell activation receptors such as NKG2D or Ly49D. These data define a class of NK cell activation receptors that can tolerize mature NK cells. The reversible suppression of the NK cells' cytolytic function probably reduces the NK cells' efficacy to control endogenous and exogenous stress yet may be needed to limit tissue damage.
Susceptibility of human glial cells to infection with human immunodeficiency virus (HIV) (1987)

Three human brain-derived cell lines (including two of astrocytic origin) were exposed in vitro to the human immunodeficiency virus (HIV), the etiologic agent of immunodeficiency in AIDS. In all three lines, HIV transcripts were detected by in situ hybridisation in 20-30% of cells 48 h after infection. Synthesis of virus gag gene products p24 and p55 was demonstrated by immunoblotting. No cytopathic effects typical of HIV-infected human T lymphocytes were observed. Our data indicate that HIV is neurotropic, and support the hypothesis that this virus may infect astrocytes in the brain.