gebhart/patrepeval huggingface dataset:
Does Resolving PvNP Require a Paradigm Shift? Part I: A Perspective. (2010)

I shall argue that a resolution of the PvNP problem requires building an iff bridge between the domain of provability and that of computability. The former concerns how human minds decide the truth of number-theoretic relations, and is formalised by first-order Peano Arithmetic following Dededekind’s axiomatisation of Peano’s Postulates. The latter concerns how human minds compute the values of number-theoretic functions, and is formalised by the operations of a Turing Machine, following Turing’s analysis of computable functions. I shall show that such a bridge requires objective definitions of both an ‘algorithmic’ interpretation of PA, and an ‘instantiational’ interpretation of PA. I shall show that both interpretations are implicit in the definition of the ‘standard’ interpretation of PA. However the existence of, and distinction between, the two objectively definable interpretations—and the fact that the former is sound whilst the latter is not—is obscured by the extraneous presumption under the ‘standard’ interpretation of PA that Aristotle’s particularisation must hold over the structure N of the natural numbers. I shall argue that recognising the falseness of this belief awaits a paradigm shift in our perception of the application of Tarski’s analysis—of the concept of truth in the languages of the deductive sciences—to the ‘standard’ interpretation of PA. I shall then show that an arithmetical formula [F ] is PA-provable if, and only if, [F ] interprets under a sound interpretation of first order Peano Arithmetic PA as a Boolean arithmetical function F ∗ that is algorithmically computable as tautologically true over N . I shall finally show how it then follows from Godel’s construction of a formally ‘undecidable’ arithmetical proposition that there is a Halting-type tautology which is algorithmically verifiable as a tautolgy, but not algorithmically computable as a
Sequence-specific purification of nucleic acids by PNA-controlled hybrid selection. (1995)

Using an oligohistidine peptide nucleic acids (oligohistidine-PNA) chimera, we have developed a rapid hybrid selection method that allows efficient, sequence-specific purification of a target nucleic acid. The method exploits two fundamental features of PNA. First, that PNA binds with high affinity and specificity to its complementary nucleic acid. Second, that amino acids are easily attached to the PNA oligomer during synthesis. We show that a (His)6-PNA chimera exhibits strong binding to chelated Ni2+ ions without compromising its native PNA hybridization properties. We further show that these characteristics allow the (His)6-PNA/DNA complex to be purified by the well-established method of metal ion affinity chromatography using a Ni(2+)-NTA (nitrilotriactic acid) resin. Specificity and efficiency are the touchstones of any nucleic acid purification scheme. We show that the specificity of the (His)6-PNA selection approach is such that oligonucleotides differing by only a single nucleotide can be selectively purified. We also show that large RNAs (2224 nucleotides) can be captured with high efficiency by using multiple (His)6-PNA probes. PNA can hybridize to nucleic acids in low-salt concentrations that destabilize native nucleic acid structures. We demonstrate that this property of PNA can be utilized to purify an oligonucleotide in which the target sequence forms part of an intramolecular stem/loop structure.
Quantitative Analysis of Uniaxial Molecular Orientation in Langmuir-Blodgett Films by Infrared Reflection Spectroscopy (1995)

京都大学
How to Advertise Responsibly Using E-Mail and Newsgroups or - how NOT to $$$$$ MAKE ENEMIES FAST! $$$$$ (2001)

This memo offers useful suggestions for responsible advertising techniques that can be used via the internet in an environment where the advertiser, recipients, and the Internet Community can coexist in a productive and mutually respectful fashion.Some measure of clarity will also be added to the definitions, dangers, and details inherent to Internet Marketing.
Gene therapy: current status and future directions. (1986)

Of the many techniques which have been used to introduce new genes into cells, four are of particular interest for gene therapy. Transfection has been most extensively studied and has been used to put new genes into mice and men. Homologous recombination offers the promise of curing certain mutations in situ, but is still largely unexplored. Injection of new genes into the nuclei of single cell embryos has had startling successes in animals, but there are many scientific and ethical issues to be resolved before such an approach can be considered for gene therapy. Retroviral vectors currently offer the most exciting prospect for introducing useful gene sequences into defective cells; however, safety issues and problems of low levels of gene expression are still to be resolved. It appears likely that the bone marrow will be the first target of gene therapy for genetic diseases. The marrow is accessible and contains proliferating stem cells which can transmit the new genes to progeny cells. The possibility of treating enzyme deficiency diseases and hemoglobinopathies by gene transfer is attractive. Experiments in two patients with thalassemia major indicate that it is feasible to introduce new genes into bone marrow cells of man and return the modified cells to hematopoietic sites.
Association of tyrosine and serine kinases with the B cell surface antigen CD20. Induction via CD20 of tyrosine phosphorylation and activation of phospholipase C-gamma 1 and PLC phospholipase C-gamma 2. (1993)

CD20 is a B cell-specific 35/37 kDa integral membrane protein which modulates proliferation and differentiation of normal resting B cells when stimulated by CD20 antibodies. An increase in c-myc mRNA levels occurs within hours after treatment of resting B cells with CD20 mAb; however earlier events in the CD20 signal transduction pathway have not been described. Here we demonstrate that anti-CD20 mediated induction of c-myc mRNA is inhibited by the tyrosine kinase inhibitor herbimycin A, that CD20 is associated with both tyrosine and serine kinase activity, and that tyrosine phosphorylation of multiple substrates is induced within minutes upon ligation of CD20 with mAb. Association of the tyrosine and serine kinases with CD20 was stable in lysis buffer containing 1% NP40 and 0.25% deoxycholate. Under the same conditions, antibodies against several other B cell surface molecules failed to co-precipitate tyrosine kinase activity, however, a serine kinase was precipitated by the anti-CD19 mAb, B43. Both phospholipase C-gamma 1 and -gamma 2 were phosphorylated on tyrosine after cross-linking of CD20-bound mAb, and this correlated with increases in intracellular calcium that were partially resistant to depletion of extracellular calcium with EGTA. The pattern of tyrosine phosphorylated proteins observed in whole cell lysates after anti-CD20 cross-linking appeared to be a subset of those induced by anti-IgM; however, differences in phosphoproteins induced by anti-IgM and anti-CD20 were detected using a fynSH2-fusion protein.
AAEM minimonograph #26: The electrodiagnosis of carpal tunnel syndrome (1997)

The electrodiagnosis of carpal tunnel syndrome (CTS) is reviewed, including discussions of old and new techniques of motor and sensory nerve conduction, anomalous innervation, and needle electrode examination. A variety of sensitive nerve conduction studies (NCSs) are available for the evaluation of a patient with suspected CTS. For any particular patient, the NCS method chosen by the clinical neurophysiologist may vary for a number of reasons, including the severity of the deficit and the presence of superimposed conditions.
Multiband properties of a fractal tree antenna generatedby electrochemical deposition (1996)

Experimental results on a fractal tree-like antenna are reported. The fractal structure is generated by electrochemical deposition. The antenna presents a multiband behaviour with a denser band distribution than the previously reported Sierpinski fractal antenna. The matched frequencies are related to the length distribution over the fractal shape.
Hydrajet Perforating and Proppant Plug Diversion in Multi-Interval Horizontal Well Fracture Stimulation: Case Histories (2008)

Abstract This case history paper presents fracture stimulation using coiled tubing (CT) hydrajetting, followed by (1) annular-path pumping of the fracturing treatment and (2) use of high-concentration proppant slugs to create proppant plugs for diversion. The process of hydrajet perforating and annular-path pumping (HPAP) has been used effectively for vertical well completions and is especially applicable for multi-interval completions. Further, use of this process for multi-interval fracturing of horizontal well completions has been performed successfully in several North America reservoirs, and in Texas at depths below 15,700 ft true vertical depth (TVD) and measured depths (MD) of more than 16,700 ft. Cased and cemented horizontal completions present several challenges for the HPAP method, including (1) unique CT calculations and operating procedures, and (2) proppant plug-setting procedures. This multi-stage completion process can also be applied in other methods of horizontal completions that incorporate a solid liner. Several case histories are examined to (1) highlight lessons learned in performance of this method on horizontal well completions, and (2) demonstrate efficiencies gained as compared to following conventional practices.
gp100 Peptide Vaccine and Interleukin-2 in Patients with Advanced Melanoma (2011)

In patients with advanced melanoma, the response rate was higher and progression-free survival longer with vaccine and interleukin-2 than with interleukin-2 alone. (Funded by the National Cancer Institute and others; ClinicalTrials.gov number, NCT00019682.).
Transmodulation of epidermal growth factor binding by platelet-derived growth factor and 12-O-tetradecanoylphorbol-13-acetate is not sodium-dependent in Balb/c/3T3 cells. (1990)

The addition of platelet-derived growth factor (PDGF) to many types of cells causes a rapid decrease in high affinity binding of 125I-epidermal growth factor (EGF), a process which has been termed transmodulation. Treatment with the tumor promoter, 12-O-tetradecanoylphorbol-13-acetate (TPA) also results in the transmodulation of the EGF receptor in many cell types. PDGF can transmodulate EGF binding through a mechanism that is not dependent on protein kinase C activity. A recent report (Wattenberg, E. V., McNeil, P. L., Fujiki, H., and Rosner, M. R. (1989) J. Biol. Chem. 264, 213-219) described the requirement for a sodium ion influx in the down-modulation of the EGF receptor stimulated by a non-TPA-type tumor promoter, palytoxin, in Swiss 3T3 cells. We tested for a similar sodium requirement in Balb/c/3T3 and Swiss 3T3 cells stimulated by PDGF or TPA in Balb cells treated with TPA for prolonged periods to down-regulate protein kinase C activity. Our results clearly show that the PDGF- and TPA-stimulated transmodulation of the EGF receptor does not require external sodium nor is the process affected by amiloride. In each of these experiments, the loss of 125I-EGF binding occurred to a similar extent and at a similar rate in the presence or absence of sodium. Intracellular pH also did not appear to have a role in the response. The sodium ionophore, monensin, was previously shown to bring about the down-modulation of 125I-EGF binding in Swiss cells. However, our results indicate that monensin-induced transmodulation of the EGF receptor occurs with or without external sodium, suggesting that the loss of binding is not the result of a sodium ion influx. These findings demonstrate that an increase in intracellular sodium does not cause nor is it required for PDGF- or TPA-stimulated EGF receptor transmodulation.
Expanded Phase I safety and acceptability study of 6% cellulose sulfate vaginal gel (2005)

A vaginal application of 6% cellulose sulfate twice daily for seven consecutive days is as safe and well tolerated as a similar regimen of K-Y Jelly. Further development of 6% CS for prevention of HIV and pregnancy is recommended.
Novel Methylation Biomarker Panel for the Early Detection of Pancreatic Cancer (2013)

Promoter DNA methylation of BNC1 and ADAMTS1 is a potential biomarker to detect early-stage pancreatic cancers. Assaying the promoter methylation status of these genes in circulating DNA from serum is a promising strategy for early detection of pancreatic cancer and has the potential to improve mortality from this disease.
Sequence and characterization of thegcpEgene ofEscherichia coli (1992)

In Escherichia coli, the gene gcpE encodes a protein of unknown function and lies immediately upstream of the hisS gene for histidyl-tRNA synthetase. The nucleic acid sequence of gcpE predicts an open reading frame for a protein of 40 681 Da. The probable transcription terminator of gcpE overlaps the hisS promoter. Haploid cells containing a disrupted gcpE could not be obtained, suggesting that the gcpE gene is essential.
BET Inhibitor JQ1 Blocks Inflammation and Bone Destruction (2014)

BET proteins are a group of epigenetic regulators controlling transcription through reading acetylated histone tails and recruiting transcription complexes. They are considered as potential therapeutic targets in many distinct diseases. A novel synthetic bromodomain and extraterminal domain (BET) inhibitor, JQ1, was proved to suppress oncogene transcription and inflammatory responses. The present study was aimed to investigate the effects of JQ1 on inflammatory response and bone destruction in experimental periodontitis. We found that JQ1 significantly suppressed lipopolysaccharide (LPS)-stimulated inflammatory cytokine transcription, including interleukin (IL)-1β, IL-6, and tumor necrosis factor alpha (TNF-α), as well as receptor activator of nuclear factor kappa-B ligand (RANKL)-induced osteoclast markers, such as c-Fos, nuclear factor of activated T-cells, cytoplasmic, calcineurin-dependent 1 (NFATc1), tartrate-resistant acid phosphatase (TRAP) and cathepsin K in vitro. JQ1 also inhibited toll-like receptors 2/4 (TLR2/4) expression and nuclear factor kappa-light-chain-enhancer of activated B cells (NF-κB) phosphorylation and nuclear translocation. Chromatin immunoprecipitation and quantitative polymerase chain reaction (ChIP-qPCR) revealed that JQ1 neutralized BRD4 enrichment at several gene promoter regions, including NF-κB, TNF-α, c-Fos, and NFATc1. In a murine periodontitis model, systemic administration of JQ1 significantly inhibited inflammatory cytokine expression in diseased gingival tissues. Alveolar bone loss was alleviated in JQ1-treated mice because of reduced osteoclasts in periodontal tissues. These unprecedented results suggest the BET inhibitor JQ1 as a prospective new approach for treating periodontitis.
POLYOMAVIRUS DISEASE UNDER NEW IMMUNOSUPPRESSIVE DRUGS (1999)

Recurrent rejection episodes and high dose immunosuppressive therapy, including tacrolimus, are risk factors for manifest PV kidney graft infection, which has an ominous prognosis.
Evaluation of Proposed Criteria for Remission and Evidence‐Based Development of Criteria for Complete Response in Patients With Chronic Refractory Gout (2019)

These results have validated the proposed remission criteria for gout and have helped define criteria for CR in individuals with chronic gout treated with pegloticase. This composite CR index can serve as an evidence-based target to inform the design and end points of future clinical trials.
Parasympathetic effects on cardiac electrophysiology during exercise and recovery (2002)

Depressed parasympathetic tone is associated with an increased risk of sudden cardiac death. Exercise and the postexercise recovery period, which are associated with parasympathetic withdrawal, are high risk periods for sudden death. However, parasympathetic effects on cardiac electrophysiology during exercise and recovery have not been described. Electrophysiology studies were performed using noninvasive programmed stimulation (NIPS) in nine subjects (age 59 +/- 18 yr) with implanted dual-chamber devices and normal left ventricular function during multiple bicycle exercise sessions. NIPS was performed at rest, during exercise, and in the early recovery period both before and after parasympathetic blockade with atropine. Parasympathetic effect was defined as the value of the parameter of interest in the absence of atropine minus the value of the parameter in the presence of atropine. During exercise, sinus cycle length, atrioventricular (AV) block cycle length, AV interval, and ventricular effective refractory period shortened; in recovery, the values were intermediate between the rest and exercise values (P < 0.0001 by ANOVA). Parasympathetic effects on sinus cycle length, AV block cycle length, AV interval, and ventricular effective refractory period were 247 +/- 140, 58 +/- 20, 76 +/- 20, and 8.6 +/- 7.5 ms at rest, 106 +/- 20, 37 +/- 14, 24 +/- 13, and 2.6 +/- 7.8 ms during exercise, and 209 +/- 114, 50 +/- 23, 35 +/- 21, and 9.5 +/- 11.8 ms during recovery, respectively. There was poor correlation among the parasympathetic effects noted at the sinus node, AV node, and ventricle. Further work evaluating parasympathetic effects on cardiac electrophysiology during exercise and recovery in patients with heart disease is required to elucidate its role in modulating the risk of sudden cardiac death noted at these times.
Dispersion compensation for homodyne detection systems using a 10-Gb/s optical PSK-VSB signal (1995)

This letter demonstrates fiber chromatic dispersion compensation for optical homodyne detection systems, using a VSB filtered optical PSK signal. An optical PSK signal suitable for SSB and VSB filtering is newly employed. A 10-Gb/s optical PSK-VSB signal is transmitted with an optical carrier through 126 km conventional single-mode fiber. Penalty-free transmission is achieved by fiber chromatic dispersion compensation in the baseband with a 10-cm microstrip line.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>
Site-directed serology with synthetic peptides representing the large glycoprotein G of respiratory syncytial virus. (1987)

A set of 23 nested 15-amino-acid-long peptides with overlaps of 5 amino acids, representing the complete extramembranous part of the large glycoprotein G of respiratory syncytial (RS) virus, was analyzed in ELISA against different sera containing virus-specific antibodies. Seven of the peptides reacted with rabbit hyperimmune sera against purified virions. In contrast, only one of these seven peptides reacted with murine monoclonal antibodies specific for G. In connection with RS virus infections in humans, increase of antibody titers against three peptides was found in about one-third of the cases. These three peptides were included among those identified by both murine and rabbit antibodies. The present findings may open possibilities for site-directed clinical serology in the case of RS virus infections.
Crystalline Polymorph Selection and Discovery with Polymer Heteronuclei (2005)

The discovery and selective production of crystalline polymorphs, an outstanding problem in solid-state chemistry, is of great importance industrially in, for example, the manufacture of pharmaceuticals and pigments. Despite considerable efforts, no reliable method exists to produce all of the stable polymorphs of a given compound. Herein, we report methodology to control the phenomenon of crystal polymorphism through the use of diverse libraries of polymer heteronuclei including both commercially available polymers and combinatorially synthesized cross-linked polymers. This new approach for exploring polymorph space offers the advantage of high throughput crystallization to discover multiple polymorphs combined with the ability to selectively produce a given form from a single solvent and temperature condition by simply varying the nature of the polymer substrate. This technique is successfully demonstrated on the pharmaceuticals acetaminophen, sulfamethoxazole, and carbamazepine and on the pharmaceutical intermediate 5-methyl-2-[(2-nitrophenyl)amino]-3-thiophenecarbonitrile (ROY). High throughput screening, accomplished by optical microscopy and Raman spectroscopy, identified the selective production of the two stable polymorphs of acetaminophen and all six stable forms of ROY. Furthermore, one new form of carbamazepine and two new forms of sulfamethoxazole were discovered; in these cases, single crystals were obtained enabling the structural characterization of two new tetramorphic systems.
Conformational switch triggered by α-ketoglutarate in a halogenase of curacin A biosynthesis (2010)

The CurA halogenase (Hal) catalyzes a cryptic chlorination leading to cyclopropane ring formation in the synthesis of the natural product curacin A. Hal belongs to a family of enzymes that use Fe(2+), O(2) and alpha-ketoglutarate (alphaKG) to perform a variety of halogenation reactions in natural product biosynthesis. Crystal structures of the enzyme in five ligand states reveal strikingly different open and closed conformations dependent on alphaKG binding. The open form represents ligand-free enzyme, preventing substrate from entering the active site until both alphaKG and chloride are bound, while the closed form represents the holoenzyme with alphaKG and chloride coordinated to iron. Candidate amino acid residues involved in substrate recognition were identified by site-directed mutagenesis. These new structures provide direct evidence of a conformational switch driven by alphaKG leading to chlorination of an early pathway intermediate.
Fluorescence polarization immunoassay for theophylline modified for use with dried blood spots on filter paper. (1986)

We used dried blood spots successfully as alternative specimens for quantifying concentrations of theophylline in the circulation by a modified fluorescence polarization immunoassay (FPIA) with the Abbott TDx instrument. The method described is simple, rapid, and acceptably precise. More importantly, it can provide results comparable with those of the conventional serum assay. Results for 64 pairs of dried blood spots (y) and serum (x) specimens analyzed by the respective FPIA methods yielded the following regression parameters: y = 0.94x + 0.71, r = 0.988, and Sxy = 0.92. A major advantage of FPIA is that it requires only basic laboratory skills. When coupled with the use of dried blood spots, this system can be effective in remote theophylline monitoring, particularly suited for domiciliary care.
New paradigm of silicon technology (2001)

We present a new paradigm of Si technologies to establish a gigahertz-operation gigascale integrated system large-scale integration (LSI), including digital and analog circuits. According to the theoretical analysis of high-speed signal propagation properties in the practical LSI structure, a gas-isolated-interconnect high-k gate dielectric metal-gate metal-substrate silicon-on-insulator (SOI) LSI structure is proposed as a possible solution for a future gigahertz GSI system LSI, where the clock rate is improved up to beyond 10 GHz and the minimum feature size is reduced down to 0.035 /spl mu/m in keeping with the continuous progress of the LSI's speed performance. Perfect scientific manufacturing free from fluctuations consisting of total low-temperature high-quality and high-speed processes based on very high-density plasma having very low electron temperatures is essential to realize them.
Surrogate anatomic/functional sites for evaluating cancer risk: an extension of the field effect. (1999)

The goal of cancer research is to reduce the morbidity and mortality associated with this disease. This end point can be achieved either by cure of existing cancer or prevention of new cases of cancer. The enormity of the problem is evident in recent estimates, which suggest that in 1999 about 1,221