gebhart/patrepeval huggingface dataset:
A Single Sign on based secure remote user authentication scheme for Multi-Server Environments (2014)

A Multi-Server Architecture comprises of a server environment having many different servers which provides the user the flexibility of accessing resources from multiple Service Providing Servers using the same credential. The primary objective of a Multi Server Environment (MSE) is to provide services of different Service Providers (SPs) without repeating registration at each SP server, and to get a unique single credential for all the servers in MSE. However, the conventional MSEs, proposed by various researchers, proposes the individual authentication service by each SP on their respective server using the credential issued by the Registration Authority of MSE. The mechanism requires the user to access each SP by keying the same credentials for every SP separately. Single Sign On (SSO) is an authentication mechanism that enables a user to sign-on once and access the services of various SPs in the same session. SAML is generally used as a Single Sign-On protocol. This work analyzes the smart card based authentication scheme for Multi-Server Environment proposed by Li et al.'s and discuss various security attacks on the said scheme. The paper also proposes a Secure Dynamic-ID based scheme using smart cards or crypto cards which do not require a verifier table and implements Single Sign On feature using SAML protocol, thus allowing the user to enjoy all the features of an MSE along with SSO.
T cell-macrophage cognate interaction in the activation of macrophage effector function by Th2 cells (1993)

The in vitro induction of cytostatic/cytotoxic activity in macrophages generated in spleen cell cultures requires a signal cascade initiated by costimulation with both LPS and IFN-gamma. Th2 lymphocytes, although they do not produce IFN-gamma, can provide the signals necessary for induction of cytostatic activity in IFN-gamma-primed macrophages. These signals appear to be delivered by cognate interaction between the Th2 cells and macrophages in that: 1) they are not delivered by culture supernatants of Th2 cells activated 6 or 20 h by Con A or by immobilized anti-CD3 mAb; 2) they are not delivered if cell contact between Th2 cells and macrophages is prevented; and 3) they can be delivered by paraformaldehyde-fixed activated Th2 cells. Paraformaldehyde-fixed resting Th2 cells cannot stimulate activation of INF-gamma-primed macrophages. The Th2 cells must be activated at least 3 h before fixation to acquire macrophage stimulatory activity. Optimal macrophage-stimulating activity is attained after 6-h activation of the Th2 and declines thereafter. Although the activation of IFN-gamma-primed macrophages by viable resting Th2 displays Ag specificity and MHC restriction, the activation of IFN-gamma-primed macrophages by paraformaldehyde-fixed activated Th2 is neither Ag specific nor MHC restricted. These observations suggest that T cell-mediated activation of macrophages can involve a signaling cascade of Ag-specific and Ag-nonspecific adhesion events comparable to those hypothesized to occur in T cell-mediated B cell activation.
Bit-Length Optimization Method for High-Level Synthesis Based on Non-linear Programming Technique (2006)

High-level synthesis is a novel method to generate a RT-level hardware description automatically from a high-level language such as C, and is used at recent digital circuit design. Floating-point to fixed-point conversion with bit-length optimization is one of the key issues for the area and speed optimization in high-level synthesis. However, the conversion task is a rather tedious work for designers. This paper introduces automatic bit-length optimization method on floating-point to fixed-point conversion for high-level synthesis. The method estimates computational errors statistically, and formalizes an optimization problem as a non-linear problem. The application of NLP technique improves the balancing between computational accuracy and total hardware cost. Various constraints such as unit sharing, maximum bit-length of function units can be modeled easily, too. Experimental result shows that our method is fast compared with typical one, and reduces the hardware area.
Green politics one: 1990 (1991)

is an annual publication aiming to provide a forum for academic discussion on all aspects of international green social movements and political parties. is interdisciplinary with material from sociologists, political scientists, Business Studies and Modern Languages departments, as well as geographers, planners and environmental specialists. In Politics I Gene Frankland analyzes the success of the British Greens in the 1989 European elections and assesses its implications for the emerging North American green movements. Thomas Poguntke looks at the German Greens and the problems in maintaining electoral success over a long period of time. Herbert Kitschelt compares the internal structures of two small Belgian parties, while Anthony Affigne traces the influence of Chernobyl on the growth of the Swedish Green Party. There are papers on the Irish, Italian and French movements and a review of green books published in the 1980s.
Open Cycle: Forecasting Ovulation for Family Planning (2018)

Abstract: Forecasting the length and different phases of a woman’s menstrual cycle, especially ovulation, is an important aspect of family planning. Predicting fertility has many uses in family planning including avoiding pregnancy and assisting couples in becoming pregnant. Past methods have focused on monitoring basal body temperature (BBT), cervical mucus changes, and hormonal levels to determine fertility. While these methods can provide an accurate prediction of ovulation these tests can become expensive, time-consuming, and do not provide prediction until after ovulation has occurred. In this paper, we compare conventional fertility assessment that is based on a rule known as “three-over-six” to methods that employ machine learning methodologies to predict ovulation and forecast the most fertile time-frames during the ovulation cycle. We found that machine learning methodologies forecast a woman’s ovulation within one day of ovulation with 88% accuracy. Furthermore, through our study we can predict a woman’s ovulation before it happens based on her basal body temperature. We conclude that our methods can provide accurate prediction of ovulation and, thus, simplify family planning and reduce financial burdens associated with family planning.
Hyperpigmentation and melanocytic hyperplasia in transgenic mice expressing the human T24 HA‐<i>ras</i> gene regulated by a mouse tyrosinase promoter (1995)

The tyrosinase promoter has been used to target expression of the mutated human T24 Ha-ras oncogene in pigment-producing cells of transgenic mice. Two independent founder mice carrying the transgene survived and showed the same distinct phenotype of mutated coat color, deeply pigmented skin with multiple nevi, and twirling behavior. The offspring of one of these founders were developed into a line that stably expressed the same phenotype. Histopathological analysis of the tissues revealed hyperpigmentation and/or melanocytic hyperplasia in the skin, eyes, inner ear, and meningeal membranes in the brain. Reverse transcriptase-polymerase chain reaction analysis revealed expression of the transgene in skin, brain, and spleen. We propose that these transgenic mice will be a model for studying the process of multistage melanoma carcinogenesis and a system for evaluating potential chemopreventive agents.
Battery State Estimation for a Single Particle Model With Electrolyte Dynamics (2016)

This paper studies a state estimation scheme for a reduced electrochemical battery model, using voltage and current measurements. Real-time electrochemical state information enables high-fidelity monitoring and high-performance operation in advanced battery management systems, for applications such as consumer electronics, electrified vehicles, and grid energy storage. This paper derives a single particle model (SPM) with electrolyte that achieves higher predictive accuracy than the SPM. Next, we propose an estimation scheme and prove estimation error system stability, assuming that the total amount of lithium in the cell is known. The state estimation scheme exploits the dynamical properties, such as marginal stability, local invertibility, and conservation of lithium. Simulations demonstrate the algorithm's performance and limitations.
An effective heat propagation path-based online adaptive thermal model for IGBT modules (2014)

The information of junction temperature is crucial for operation management of IGBT modules. In practice, junction temperature is typically estimated by using an electrothermal model. IGBT modules are subject to various aging processes during operation, some of which, e.g. substrate solder crack, changes the thermal impedance of an IGBT module. However, in the literature little work has included the aging effects into online thermal behavior modeling of IGBT modules. This paper proposes an Effective Heat Propagation Path (EHPP)-based online adaptive thermal model for IGBT modules, where the EHPP is proposed to quantify the impact of substrate solder cracks on the heat propagation inside the IGBT modules. A straightforward relationship between substrate solder crack and the degree of nonuniformity of case temperature distribution is established. Based on the EHPP, the parameters of a thermal network, e.g., a Cauer thermal network, are adjusted online to track the thermal behavior changes of the IGBT modules caused by substrate solder cracks, leading to an adaptive thermal model. The proposed adaptive thermal model is validated by comparing with finite element analysis (FEA) simulation results for a commercial IGBT module.
A chitin nanofibril reinforced multifunctional monolith poly(vinyl alcohol) cryogel (2014)

A highly porous and spongy monolith cryogel was prepared by a single freeze-thawing cycle of a PVA solution containing chitin nanofibrils (CNFs) as the nanofiller and glutaraldehyde (GA) as the cross-linker. The presence of CNFs significantly reinforced the spongy structure of the cryogel so that repeated squeezing-releasing did not deteriorate its spongy structure. The in situ self-polymerized polydopamine was formed inside the spongy cryogel by soaking the cryogel in a dopamine solution. The polydopamine modified cryogel (PVA-CNF-D) showed a very good antioxidant activity in that approximately 49% of free radicals of DPPH˙ was consumed within 2 min. Silver nanoparticles (SNPs) could be spontaneously reduced from silver nitrate solution and deposited onto the polydopamine modified surface without an exogenous reducing reagent. The SNP incorporated spongy cryogel demonstrated a very effective antibacterial activity against E. coli.
Thermal and Photolytic Decompositions of Azobis(2-phenylthio)-2-propane (1971)

Abstract Thermal and photolytic decompositions of azobis(2-phenylthio)-2-propane have been studied. The reaction mechanisms have been discussed on the basis of products. Almost all reactions of 2-phenylthioprop-2-yl radicals produced from the azo compound photolytically proceed with in-cage processes. The ratio, disproportionation/dimerization, predicts qualitatively that the radical center of the free radical is more electronegative than that of the corresponding oxygen analog.
Metal Hydrides as Hydrogen Storage Media and Their Applications (2018)

This chapter aims: to acquaint the reader with the more salient and pertinent aspects of metal hydride chemistry and to delineate the properties of several individual metal-hydrogen systems of interest and discuss their applications, particularly as energy storage media. Metal hydride compounds may be divided into three general categories: saline or ionic, metallic, and covalent. The reaction is reversible, and its direction depends on the hydrogen pressure in the system. The reaction of hydrogen with LaNi5 is extremely rapid and has been the subject of several studies. The products of the reactions are gray metal-like solids with essentially the same appearance as the initial alloy. The storage of electrical energy through the production, storage, and reconversion of hydrogen is of interest as a load leveling technique for electric utilities. In view of the above argument, a multifuel passenger automobile having almost the same weight, performance, and range as the conventional gasoline-powered vehicle was proposed.
Long-term treatment with anti-α4 integrin antibodies aggravates colitis in Gαi2-deficient mice (2005)

Targeted deletion of the heterotrimeric G protein, Galphai2, in mice induces lethal colitis closely resembling ulcerative colitis. In chronic colitis, migration of circulating leukocytes into the intestinal mucosa is partially dependent on alpha4 integrins. In previous studies, short-term administration of anti-alpha4 integrin antibodies has been shown to attenuate intestinal inflammation, and here we elucidate the effect of long-term administration of anti-alpha4 integrin antibodies on colitis in Galphai2(-/- )mice. Long-term blockade of alpha4 integrin significantly increased the severity of colitis in Galphai2(-/-) mice. The inflammation was confined to the colon, associated with increased cancer in situ, destruction of crypt architecture, and increased production of IL-1beta, TNF-alpha and IFN-gamma. Blockade of alpha4 integrin reduced the recruitment of activated T cells to the small intestine. In strong contrast, there were significantly higher numbers of activated T cells in the colonic lamina propria and epithelium, most probably due to in situ proliferation. Furthermore, treatment with alpha4 integrin antibodies induced decreased levels of total IgA and IgG in sera, whereas total IgM levels were unchanged. These new findings may have implications in the understanding of the progression of chronic intestinal inflammation.
Comparative modelling for vibration scavengers (2006)

Conversion of the mechanical energy stored in vibrations into useful electrical energy is possible using three principles: electromagnetic, electrostatic and piezoelectric conversion. In order to build the appropriate device for a given application, a unifying model is proposed for these three principles. A methodology for comparison is presented based on this model in order to match the generator type to the input specifications (frequency, amplitude) and to the requirements at the electrical output, such as load impedance and voltage.
Spectroscopic Characterization of Nickel Containing Desulfurization Sorbents (2000)

Characterization of nickel-containing desulfurization sorbents was performed by X-ray photoelectron spectroscopy, scanning electron microscopy/energy-dispersive spectroscopy, thermogravimetric analysis, and atomic absorption analysis. Sorbent pellets were tested with simulated coal-derived hot fuel gas containing H2S, in a bench-scale fixed-bed reactor. Analysis was performed on both the interior and exterior of the sorbent pellets after both sulfidations and regenerations. In the sulfided sorbents, migration of nickel to the grain surface was observed at the exterior of the sorbent pellet. The nickel migration was less significant at the grain surface of the interior of the pellet. Changes in the oxidation state of the nickel were also observed at the outer surface of the pellet. The sulfur concentration was significantly higher at the outer surface of the pellet, indicating diffusional resistance of the fuel gas to the pellet interior.
FACTORS INFLUENCING THE EMULSION STABILITY OF LIQUID DIETS (1976)

ABSTRACT The effect of three sources of dietary nitrogen, three types of starch, and three concentrations of oil, on the stability of elemental diets was studied. Percent separation of the emulsion into free oil, oil‐rich layer and water‐rich layer was measured periodically for samples stored at 3°C. Other parameters used to evaluate emulsion stability included: oil globule size distribution, stability at 70°C, freeze‐thaw stability, stability to shear, and viscosity. Diets made from low heat‐treated fish protein, and peptides made from fish protein, were more stable than those prepared with amino acids or no dietary nitrogen. High amylose starch had a greater stabilizing effect on the emulsions than normal or waxy starch.
Mixed wideband speech and music coding using a speech/music discriminator (2002)

In multimedia applications such as videoconferencing, users are demanding higher quality speech/audio transmission than the POTS can offer. 7kHz wideband speech/audio offers a good compromise between bandwidth and sound quality. It improves the intelligibility and naturalness of speech and adds a feeling of transparent communication. Currently the only existing international standard for coding such signals is the G.722 wideband speech/audio coder. While its coding quality is satisfactory it leaves much to be desired with its bit rate. The CELP-based approach has been very successful in telephone bandwidth speech coding, but is not suitable for coding non-speech signals because of the assumed signal production model. This paper proposes an alternative approach to mixed speech/music coding, which uses a discriminator to separate music signals from speech, and codes them with the G.722 coder and a G.723.1-based speech coder, respectively. Simulations shows very promising results.
SW13 Cells Can Transition between Two Distinct Subtypes by Switching Expression of BRG1 andBrm Genes at the Post-transcriptional Level (2003)

The human adrenal carcinoma cell line, SW13, has been reported to be deficient in both BRG1 and Brm expression and therefore is considered to lack a functional SWI/SNF complex. We found that the original cell line of SW13 is composed of two subtypes, one that expresses neither BRG1 nor Brm (SW13(vim-)) and the another, which does express both (SW13(vim+)). The presence of BRG1 and Brm in SW13 correlates completely with the cellular ability to express such genes as vimentin, collagenase, c-met, and CD44 that were under the control of a transcription factor, AP-1, which was shown previously to require a functional SWI/SNF complex for its transactivating activity. Transient treatment with inhibitors of histone deacetylase induced a stable transition of SW13(vim-) to a cell type indistinguishable from SW13(vim+), suggesting that these two subtypes are epigenetically different. Run-on analysis indicated that, unlike these four genes driven by AP-1, transcription of the BRG1 and Brm genes in SW13(vim-) are initiated at a frequency comparable with SW13(vim+). In both SW13(vim-) and SW13(vim+) cells, the BRG1 and Brm genes were transcribed through the entire gene at a similar efficiency, indicating that their expression was completely suppressed at the post-transcriptional level in SW13(vim-) cells. We would like to propose that SW13 can spontaneously transition between two subtypes by switching expression of BRG1 and Brm at the post-transcriptional level.
ChemInform Abstract: Discovery and Structure—Activity Studies of a Novel Series of Pyrido[2,3‐d]pyrimidine Tyrosine Kinase Inhibitors. (1998)

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.
Risk Factors for Thromboembolism (1999)

Letters16 November 1999Risk Factors for ThromboembolismStephen J. Jay, MDStephen J. Jay, MDIndiana University School of Medicine; Indianapolis, IN 46202-5114 (Jay)Search for more papers by this authorAuthor, Article, and Disclosure Informationhttps://doi.org/10.7326/0003-4819-131-10-199911160-00017 SectionsAboutFull TextPDF ToolsAdd to favoritesDownload CitationsTrack CitationsPermissions ShareFacebookTwitterLinkedInRedditEmail TO THE EDITOR:Rodeghiero and Tosetto (1) studied the risk for venous thromboembolism associated with factor V Leiden mutation and with resistance to activated protein C among 15 109 persons 18 to 65 years of age. The factor V Leiden mutation and resistance to activated protein C were independent risk factors for venous thromboembolism and accounted for 6.6% and 5.1% of all cases of this condition, respectively.In calculating the incidence of venous thromboembolism in persons with factor V Leiden mutation or resistance to activated protein C, the authors attempted to control for confounding factors by excluding certain patient groups ...References1. Rodeghiero F, Tosetto A. Activated protein C resistance and factor V Leiden mutation are independent risk factors for venous thromboembolism. Ann Intern Med. 1999;130:643-50. LinkGoogle Scholar2. Petitti DB, Wingerd J, Pellegrin F, Ramcharan S. Oral contraceptives, smoking and other factors in relation to risk of venous thromboembolic disease. Am J Epidemiol. 1978;108:480-5. CrossrefMedlineGoogle Scholar3. Goldhaber SZ, Grodstein F, Stampfer MJ, Manson JE, Colditz GA, Speizer FE, et al . A prospective study of risk factors for pulmonary embolism in women. JAMA. 1997;277:642-5. CrossrefMedlineGoogle Scholar4. Mandel H, Brenner B, Berant M, Rosenberg N, Lanir H, Jakobs C, et al . Coexistence of hereditary homocystinuria and factor V Leiden—effect on thrombosis. N Engl J Med. 1996;334:763-8. CrossrefMedlineGoogle Scholar5. Ray SG. Meta-analysis of hyperhomocysteinemia as a risk factor for venous thromboembolic disease. Arch Intern Med. 1998;158:2101-6. CrossrefMedlineGoogle Scholar Author, Article, and Disclosure InformationAuthors: Stephen J. Jay, MDAffiliations: Indiana University School of Medicine; Indianapolis, IN 46202-5114 (Jay) PreviousarticleNextarticle Advertisement FiguresReferencesRelatedDetailsSee AlsoActivated Protein C Resistance and Factor V Leiden Mutation Are Independent Risk Factors for Venous Thromboembolism Francesco Rodeghiero and Alberto Tosetto Risk Factors for Thromboembolism Francesco Rodeghiero and Alberto Tosetto Risk Factors for Thromboembolism Eliot Williams Metrics 16 November 1999Volume 131, Issue 10Page: 790KeywordsFactor V LeidenGenetic diseasesMedical risk factorsPregnancyProspective studiesProteinsResearch designThrombosisTrauma surgeryVenous thromboembolism ePublished: 15 August 2000 Issue Published: 16 November 1999 Copyright & PermissionsCopyright © 1999 by American College of Physicians. All Rights Reserved.PDF downloadLoading ...
Reliable automatic alignment of tomographic projection data by passive auto‐focus (2011)

The algorithm is fully tested and implemented for regular use at The Australian National University micro-CT facility for both circular and helical trajectories. It can in principle be applied to more general imaging geometries and modalities. It is as robust as manual alignment but more precise since we have quantified the effect of misalignment.
Comparing rebuild algorithms for mirrored and RAID5 disk arrays (1993)

Several disk array architectures have been proposed to provide high throughput for transaction processing applications. When a single disk in a redundant array fails, the array continues to operate, albeit in a degraded mode with a corresponding reduction in performance. In addition, the lost data must be rebuilt to a spare disk in a timely manner to reduce the probability of permanent data loss. Several researchers have proposed and examined algorithms for rebuilding the failed disk in a disk array with parity.
Gamma Interferon Enhances the Killing of Staphylococcus aureus by Human Neutrophils (1988)

The effect of purified human interferon-gamma on the responsiveness of human neutrophils was investigated. Pre-incubation of neutrophils with 100 U interferon ml-1 for 10 min at 37 degrees C resulted in a 2.5-fold increase in N-formylmethionyl-leucyl-phenylalanine-stimulated reactive oxygen metabolite generation (as assayed by luminol-dependent chemiluminescence). Pre-treatment of neutrophils with interferon also potentiated their ability to kill Staphylococcus aureus, and thus it is proposed that this lymphokine may also enhance neutrophil function in vivo under certain pathological conditions.