gebhart/patrepeval huggingface dataset:
Thresholds of parametric instabilities near the lower-hybrid frequency (1976)

Resonant decay instabilities of a pump wave with frequency ω0 near the lower-hybrid frequency ϑlh are analyzed with respect to the wavenumber k of the decay waves and the ratio ω0/ωlh to determine the decay process with the minimum threshold. It was found that the lowest thresholds are for decay into an electron plasma (lower-hybrid) wave plus either a backward ion-cyclotron wave, an ion Bernstein wave, or a low-frequency sound wave. For ω0&lt; (2ωlh)1/2, it was found that these decay processes can occur and have faster growth than ion quasi-modes provided the drift velocity (cE0/B0) is much less than the sound speed. In many cases of interest, electromagnetic corrections to the lower-hybrid wave rule out decay into all but short wavelength (kρi ≳1) waves. The experimental results are consistent with the linear theory of parametric instabilities in a homogeneous plasma.
Mucoadhesive Microdiscs Engineered for Ophthalmic Drug Delivery: Effect of Particle Geometry and Formulation on Preocular Residence Time (2008)

This study demonstrated that mucoadhesive microdiscs formulated in a dry tablet can achieve a prolonged residence time on the preocular surface and thus are a promising drug delivery system for ophthalmic applications.
Programming in Martin-Löf's Type Theory (1990)

data type, 179 abstraction, 14 Abstraction rule, 143 absurdity, 43 append, 68 application, 13 Application rule, 143 apply, 48, 148 arity of an expression, 18 Assumption rule, 123, 142 AUTOMATH, 8 axiom of choice, 115 Bishop, 6 Bool, 44 Bool rules, 44–45 Boolean, 44–45 Calculus of Constructions, 8 canonical expression, 26 cartesian product of a family of sets, 47–55, 148 case{i1,...,in}, 41 case, 151 Church, 17 combination, 15 combined expression, 17 conjunction, 74 cons, 67, 152 Constable, 6, 167 constructive mathematics, 6 context, 29, 139 Coquand, 3, 7, 8 Curry, 10 Curry-Howard interpretation, 6 Cut rule for elements in sets, 124 Cut rule for equal elements in sets, 124 Cut rule for equal sets, 123 Cut rule for propositions, 123 Cut rule for true propositions, 124 de Bruijn, 8, 10 definiendum, 19 definiens, 19 definitional equality of expressions, 15 Dijkstra, 167, 171 disjoint union of a family of sets, 81– 82, 149 disjoint union of two sets, 79–80, 150 Dummet, 6 El formation rule, 139 elimination rule, 35 empty set, 43 enumeration sets, 41–42, 151 Eq, 57 Eq rules, 60–61 equality as a proposition, 57, 117 between canonical elements, 27 between elements in a set, 29, 31, 37, 119, 121 between expressions, 15 between sets, 28, 30, 37, 118, 121 extensional, 57 identity between objects in a type, 138 identity between types, 138 intensional, 57 equality rule, 35 equality sets, 57–62, 150 examples: Bool has only the elements true and false, 161 A partitioning problem, 171 Decidable predicates, 162 Division by 2, 155 Even or odd, 159 Module for sets with a computable equality, 182 Stack of A elements, 182 Stack of natural numbers, 179 Stronger elimination rules, 163 existential quantifier, 81, 82 expressions, 13 arity, 18 canonical —, 26 combined —, 17 saturated —, 17 single —, 17 unsaturated —, 17 extensional equality, 57 wfalse, 44 Fermat’s last theorem, 4 formation rule, 35 Frege, 17
Stimuli Responsive Self-Assembled Hydrogel of a Low Molecular Weight Free Dipeptide with Potential for Tunable Drug Delivery (2008)

Bottom-up fabrication by molecular self-assembly is now widely recognized as a potent method for generating interesting and functional nano- and mesoscale structures. Hydrogels from biocompatible molecules are an interesting class of mesoscale assemblies with potential biomedical applications. The self-assembly of a proteolysis resistant aromatic dipeptide containing a conformational constraining residue (DeltaPhe) into a stable hydrogel has been studied in this work. The reported dipeptide has free -N and -C termini. The hydrogel was self-supportive, was fractaline in nature, and possessed high mechanical strength. It was responsive to environmental conditions like pH, temperature, and ionic strength. The gel matrix could encapsulate and release bioactive molecules in a sustained manner. The described hydrogel showed no observable cytotoxicity to the HeLa and L929 cell lines in culture.
What Negation is not: Intuitionism and '0=1' (2000)

Journal Article What Negation is not: Intuitionism and ‘0=1’ Get access Roy T. Cook, Roy T. Cook The Ohio State UniversityColumbus, OH 43210, USAcook.266@osu.edu Search for other works by this author on: Oxford Academic Google Scholar Jon Cogburn Jon Cogburn Louisiana State UniversityBaton Rouge, LA 70803, USAjcogbu1@lsu.edu Search for other works by this author on: Oxford Academic Google Scholar Analysis, Volume 60, Issue 1, January 2000, Pages 5–12, https://doi.org/10.1093/analys/60.1.5 Published: 01 January 2000
Computation reduction in space time adaptive processing (STAP) of radar signals using orthogonal wavelet decompositions (2002)

The STAP of radar signets involves solving a set of linear equations /spl Lambda/w=s. Here /spl Lambda/ is the correlation matrix of noise plus interference signals, w is the weight vector and s is the steering vector. The Weiner solution to estimate the optimum weight vector w/sub 0/ for a given s that minimizes the effect of the interference signal is: w/sub 0/=/spl Lambda//sup -1/s. That is /spl Lambda/ needs to be inverted and such an inversion using the direct approach is computationally expensive. Another solution is to apply the orthogonal similarity transformation to transform the set of linear equations to /spl Lambda//spl tilde/w/spl tilde/=s/spl tilde/ such that /spl Lambda//spl tilde/ is sparse and fast techniques such as the Cholesky algorithm can be applied to solve the transformed linear equations to obtain w/sub 0/. The Karhunen-Loeve orthogonal similarity transformation (KLT) provides the most sparse /spl Lambda//spl tilde/-a diagonal matrix. However, the KLT is computationally as expensive as inverting /spl Lambda/ directly. The wavelet transform (WT) can approximate KLT and is computationally less expensive. Hence, in this paper, we apply the WT to obtain sparse /spl Lambda//spl tilde/. We also discuss wavelet thresholding to further sparsen /spl Lambda//spl tilde/ and thus reduce the computational complexity of solving the transformed set of linear equations. The accuracy of estimates of w/sub 0/ using WT and KLT based approaches is compared in terms of suppressing jamming interference signals using signal-to-interference-noise-ratio (SINR) as the performance measure. The experimental results for four different radar interference signals are provided. The jamming suppression results indicate that the wavelet thresholding approach performs significantly better than the KLT.
Flavonoids in Baby Spinach (<i>Spinacia oleracea</i> L.):  Changes during Plant Growth and Storage (2005)

The variation in flavonoid concentration and composition was investigated in baby spinach (Spinacia oleracea L.) cv. Emilia sown on three occasions, each harvested at three growth stages at 6-day intervals. After harvest, leaves were stored in polypropylene bags at 2 or 10 degrees C. Flavonoids were analyzed by reversed phase HPLC. Twelve flavonoid peaks were detected. The main flavonoid, making up on average 43% of the total flavonoid concentration, was identified as 5,3',4'-trihydroxy-3-methoxy-6:7-methylenedioxyflavone-4'-glucuronide. Four other flavonoids each contributed 7-12% of the total flavonoid content. Total flavonoid content was relatively stable during normal retail storage conditions, although some of the individual flavonoid compounds showed considerable variation. The youngest plants had the highest flavonoid concentration, indicating that by harvesting the baby spinach a few days earlier than the current commercial stage of harvest, the flavonoid concentration in the product may be increased and the content of potentially health-promoting compounds enhanced.
How England Met Her Post-War Teacher Shortage∗ (1951)

∗ Although he did not know it, it was actually Dr. E. I. F. Williams who started me on the subject of my doctoral dissertation at Columbia over four years ago. The first time I ever heard of the Emergency Training Scheme was when I read an article in the Educational Forum in the spring of 1947, entitled “England's Emergency Colleges for Training Teachers.” The article was written by Mr. S. H. Wood, the father of the Emergency Training Scheme.
Antitumor effects of novel highly hydrophilic and non-ATP-competitive MEK1/2 inhibitor, SMK-17 (2011)

The mitogen-activated protein kinase (MAPK) signal pathway plays a central role in regulating tumor cell proliferation, survival, and differentiation. The components of this pathway, Ras/Raf/MEK/ERK, are frequently activated in human cancers. Targeting this pathway is considered to be a promising anticancer strategy. In particular, MEK is an attractive drug target because of its high selectivity to ERK. We can expect potent growth inhibitory and proapoptotic effects by inhibiting MEK. Here, we report derivatives of N-[2-(2-chloro-4-iodo-phenylamino)-3,4-difluorophenyl]-methanesulfonamide as novel MEK1/2 inhibitors. Among these compounds, we found SMK-17 to be a potent MEK1/2 inhibitor with high aqueous solubility. The in-silico docking study suggested that SMK-17 is bound to an allosteric pocket of MEK1. The kinetic study and the kinase profiler analysis confirmed the allosteric nature of SMK-17. SMK-17 inhibited MEK1 kinase activity in a non-ATP-competitive manner and it was highly selective to MEK1 and 2. SMK-17 inhibited the growth of tumor cell lines in vitro. Especially, it seemed that cell lines harboring highly phosphorylated MEK1/2 and ERK1/2 were highly sensitive to SMK-17. Moreover, unlike previously reported MEK inhibitors, PD184352 or U0126, SMK-17 did not inhibit the phosphorylation of ERK5. In vivo, SMK-17 exhibited potent antitumor activity in animal models on oral administration. SMK-17 selectively blocked the MAPK pathway signaling without affecting other signal pathways, which resulted in significant antitumor efficacy without notable side effects. These findings suggest that SMK-17, an exquisitely selective, orally available MEK1/2 inhibitor, is a useful chemical biology tool for characterizing the function of MEK/MAPK signaling both in vitro and in vivo.
Management of constipation. 1. High fibre diets work. (1990)

High fibre
In vitro T cell response to staphylococcal enterotoxin B superantigen in chronic plaque type psoriasis. (1995)

Recent studies have demonstrated the important role of CD4+ T cells in the pathophysiology of psoriasis. One of the current hypotheses is that triggering of the psoriatic inflammatory process could be secondary to CD4+ T cell activation by bacterial superantigens in the skin. In this study, IL-2-derived T cell lines were recovered from the blood and the skin of 4 patients with chronic plaque type psoriasis and of 2 patients with allergic contact dermatitis (ACD). Blood and skin T cell lines were tested for their ability to proliferate in vitro to staphylococcal enterotoxin B (SEB) presented by MHC class II expressing antigen-presenting cells. The results showed a significantly higher SEB-induced T cell proliferation in skin T cell lines as compared to blood T cell lines in 3 out of 4 psoriatic patients and in one of the 2 ACD patients. No difference between the skin and blood T cells for their response to phytohemagglutinin was observed. Furthermore the blood T cell lines from both patients and control individuals responded equally well to SEB. Thus psoriatic skin T cell lines were characterized by an enrichment in SEB-responding T cells. Since similar enhancement of SEB-responsive T cells was occasionally found in ACD patients, we propose that SEB could be an environmental factor associated with rather than responsible for psoriatic inflammation.
Induction of proliferation in vitro of resting human natural killer cells: IL 2 induces into cell cycle most peripheral blood NK cells, but only a minor subset of low density T cells. (1986)

We report that resting human peripheral blood natural killer (NK) cells proliferate in response to recombinant interleukin 2 (rIL 2), and addition of irradiated lymphoblastoid B cells significantly increase their proliferative response. Interaction of IL 2 with the Tac IL 2 receptor expressed on activated NK cells is necessary to maintain continued growth of these cells. Experiments in which NK cell mitosis is prevented by colchicine show that the majority of peripheral blood NK cells are induced into the first cell cycle over a 6-day culture period in the presence of rIL 2. The addition of the irradiated lymphoblastoid B cell line, Daudi, to colchicine blocked cultures does not increase the proportion of cells entering cell cycle in response to rIL 2 alone. In limiting dilution analysis, only 1/1700 B73.1+ cells grow clonally in response to rIL 2. The frequency of clonal growth of NK cells in response to irradiated Daudi cells alone is minimal, whereas the addition of irradiated Daudi cells to rIL 2 stimulated cultures resulted in a 10-fold increase in clonal frequency compared with the cultures in rIL 2 alone. Therefore, Daudi cells may act by maintaining continuous proliferation of the NK cells originally responsive to IL 2. Unlike NK cells, only a minimal proportion of peripheral blood T cells proliferate in response to IL 2. These IL 2 responsive T cells are characterized by a lower bouyant density than the majority of peripheral blood T cells. These results indicate physiologic differences between peripheral blood resting NK and T cells in their ability to be induced to cycle. IL 2 is a growth factor for both cell types, but although the presence of the growth factor is sufficient for quiescent NK cells to be induced into cycle, T cells require antigenic or other mitogenic stimuli to respond to IL 2. The small proportion of light density IL 2 responsive T cells might represent in vivo activated T cells.
Gallium (1952)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTGalliumG. H. Wagner and W. H. Gitzen Cite this: J. Chem. Educ. 1952, 29, 4, 162Publication Date (Print):April 1, 1952Publication History Received3 August 2009Published online1 April 1952Published inissue 1 April 1952https://doi.org/10.1021/ed029p162.2RIGHTS & PERMISSIONSArticle Views626Altmetric-Citations12LEARN 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 InReddit PDF (4 MB) Get e-Alerts Get e-Alerts
Proteomic Analysis of Cellular Response to Osmotic Stress in Thick Ascending Limb of Henle’s Loop (TALH) Cells (2005)

Epithelial cells of the thick ascending limb of Henle's loop (TALH cells) play a major role in the urinary concentrating mechanism. They are normally exposed to variable and often very high osmotic stress, which is particularly due to high sodium and chloride reabsorption and very low water permeability of the luminal membrane. It is already established that elevation of the activity of aldose reductase and hence an increase in intracellular sorbitol are indispensable for the osmotic adaptation and stability of the TALH cells. To identify new molecular factors potentially associated with the osmotic stress-resistant phenotype in kidney cells, TALH cells exhibiting low or high levels of resistance to osmotic stress were characterized using proteomic tools. Two-dimensional gel analysis showed a total number of 40 proteins that were differentially expressed in TALH cells under osmotic stress. Twenty-five proteins were overexpressed, whereas 15 proteins showed a down-regulation. Besides the sorbitol pathway enzyme aldose reductase, whose expression was 15 times increased, many other metabolic enzymes like glutathione S-transferase, malate dehydrogenase, lactate dehydrogenase, alpha enolase, glyceraldehyde-3-phosphate dehydrogenase, and triose-phosphate isomerase were up-regulated. Among the cytoskeleton proteins and cytoskeleton-associated proteins vimentin, cytokeratin, tropomyosin 4, and annexins I, II, and V were up-regulated, whereas tubulin and tropomyosins 1, 2, and 3 were down-regulated. The heat shock proteins alpha-crystallin chain B, HSP70, and HSP90 were found to be overexpressed. In contrast to the results in oxidative stress the endoplasmic reticulum stress proteins like glucose-regulated proteins (GRP78, GRP94, and GRP96), calreticulin, and protein-disulfide isomerase were down-regulated under hypertonic stress.
Real-Time PCR Assays for Hepatitis C Virus (HCV) RNA Quantitation Are Adequate for Clinical Management of Patients with Chronic HCV Infection (2006)

Because of the use of viral kinetics during polyethylene glycol (PEG)-interferon-ribavirin therapy and the development of specific new anti-hepatitis C virus (anti-HCV) drugs, assessment of the efficacy of anti-HCV drugs needs to be based not on end-point PCR assays but on real-time PCR. The aim of this study was to determine if the two available commercial real-time PCR assays, the Abbott RealTime HCV assay and the Roche Cobas TaqMan HCV assay, can become the standard for HCV RNA quantification. We investigated the prognostic relevance of HCV RNA viral loads at baseline, week 4, and week 12 to a rapid and early virological response to antiviral therapy by using the two assays. Of 59 naïve patients chronically infected by HCV (41 infected with genotype 1) who were treated with ribavirin plus PEG-interferon alfa-2b for 48 weeks, 24 patients (41%) showed a sustained virological response (SVR). With the two assays, viral loads were highly correlated, irrespective of genotype (R2=0.94 for all cases). No difference in diagnostic value was found between the Abbott and Roche assays at week 4, with respective negative predictive values (NPVs) of 84% and 78% and positive predictive values (PPVs) of 62% and 56% (not significant), and at week 12, the respective NPVs were 91% and 90% and PPVs were 44% and 46% (not significant). At week 12, 83% (20/24) and 96% (23/24) of patients with SVR tested negative for HCV RNA by the Abbott and Roche assays, respectively (the difference is not significant). In conclusion, the high sensitivities and large dynamic ranges of the Abbott and Roche assays show that a single real-time quantitative PCR assay is fully adequate for clinical and therapeutic management of HCV.
Siah-1 binds and regulates the function of Numb (2001)

The Drosophila Seven in absentia (Sina) gene product originally was described as a protein that controls cell fate decisions during eye development. Its mammalian homolog, Siah-1, recently was found to be involved in p53-dependent and -independent pathways of apoptosis and G(1) arrest. We report that Siah-1 interacts directly with and promotes the degradation of the cell fate regulator Numb. Siah-1-mediated Numb degradation leads to redistribution of endogenous cell-surface Notch to the cytoplasm and nucleus and to augmented Notch-regulated transcriptional activity. These data imply that through its ability to target Numb for degradation, Siah-1 can act as a key regulator of Numb-related activities, including Notch signaling.
Reflections from polished single mode fiber ends (1988)

Abstract When the end of a single mode fiber is polished and placed in an index-matching liquid, a reflection will occur. Its amplitude depends on two factors: (1) the difference between the liquid's refractive index and that of the fiber, and (2) the polishing procedure used. By proper choice of both, the end-reflection can be reduced to below −60 dB. When two well-polished fiber ends are joined together with a small, liquid-filled gap between them, the resulting reflection will be the coherent addition of the two individual end-reflections. By adjusting the gap, this reflection can be made greater than or less than the individual end-reflections.
Electromigration in Al(Cu) two-level structures: Effect of Cu and kinetics of damage formation (1993)

The electromigration characteristics and kinetics of damage formation for Al(Cu,Si) line segments on a continuous W line and Al(Cu)/W two-level interconnect structures have been investigated. The mass transport as a function of temperature was measured using a drift-velocity technique. The flux divergence at the line/stud contact was found to be responsible for formation of open failure in the interconnect structure, as shown by a direct correlation observed between mass depletion at the contact and resistance increase of the line/stud chain. The depletion of Al at the stud contact is preceded by an incubation period during which Cu is swept out a threshold distance from the cathode of the line. This leads to a damage formation process which is controlled by both Cu electromigration along grain boundaries and dissolution of the Al2Cu precipitates. This is distinctly different from single-level interconnects measured using a conventional electromigration test site. Measurements of the mean failure lifetime in the two-level interconnect yield an activation energy of 0.58 eV for Al, in contrast to 0.78 and 0.83 eV for Al(0.5 wt % Cu) and Al(2 wt % Cu), respectively. The activation energies of the electromigration drift velocity were found to be 0.86 and 0.68 eV for Cu and Al in Al(2 wt % Cu, 3 wt % Si), respectively. These results enable one to infer that the kinetic process is controlled by electromigration of Cu along grain boundaries instead of by dissolution of the Al2Cu precipitates.
A C-based synthesis system, Bach, and its application (2002)

In system LSI design, a desirable system is one that allows the designer to describe, partition, and verify systems, and to generate circuits efficiently. In this paper, we describe a C-based system LSI design system called Bach which we have developed. Using the example of an MEPG-4 video codec design, we summarize its design now, effects and current issues.
Current-free double-layer formation in a high-density helicon discharge (2003)

A strong, current-free, electric double-layer with eΦ/kTe∼3 and a thickness of less than 50 debye lengths has been experimentally observed in an expanding, high-density helicon sustained rf (13.56-MHz) discharge. The rapid potential decrease is associated with the “neck” of the vacuum vessel, where the glass source tube joins the aluminum diffusion chamber, and is only observed when the argon gas pressure is less than about 0.5 mTorr. The upstream electron temperature Te appears 25% greater than the downstream Te, and there is a density hole on the downstream edge. This experiment differs from others in that the potentials are self-consistently generated by the plasma itself, and there is no current flowing through an external circuit. The plasma electrons are heated by the rf fields in the source, provide the power to maintain the double-layer, and hence accelerate ions created in the source out into the diffusion chamber.