gebhart/patrepeval huggingface dataset:
Verification Templates for the Analysis of User Interface Software Design (2018)

The paper describes templates for model-based analysis of usability and safety aspects of user interface software design. The templates crystallize general usability principles commonly addressed in user-centred safety requirements, such as the ability to undo user actions, the visibility of operational modes, and the predictability of user interface behavior. These requirements have standard forms across different application domains, and can be instantiated as properties of specific devices. The modeling and analysis process is carried out using the Prototype Verification System (PVS), and is further facilitated by structuring the specification of the device using a format that is designed to be generic across interactive systems. A concrete case study based on a commercial infusion pump is used to illustrate the approach. A detailed presentation of the automated verification process using PVS shows how failed proof attempts provide precise information about problematic user interface software features.
The Dependence of Membrane Permeability by the Antibacterial Peptide Cecropin B and Its Analogs, CB-1 and CB-3, on Liposomes of Different Composition (1998)

A natural antibacterial peptide, cecropin B (CB), and designed analogs, CB-1 and CB-3, were synthesized. The three peptides have different structural characteristics, with CB having one hydrophobic and one amphipathic alpha-helix, CB-1 having two amphipathic alpha-helices, and CB-3 having two hydrophobic alpha-helices. These differences were used as the rationale for a study of their efficacy in breaking liposomes with different combinations of phosphatidic acid and phosphatidylcholine. Biosensor binding measurements and encapsulating dye leakage studies showed that the higher binding affinity of CB and CB-1 to the polar heads of lipids is not necessary for the peptides to be more effective at lysing lipid bilayers, especially when liposomes have a higher phosphatidic acid content. Kinetic studies, by intrinsic and extrinsic fluorescence stopped-flow measurements, revealed two transitional steps in liposome breakage by CB and CB-1, although only one kinetic step was found for CB-3. Circular dichroism stopped-flow measurements, monitoring the formation of secondary structure in the peptides, found one kinetic step for the interaction of all of the peptides with the liposomes. Also, the alpha-helical motif of the peptides was maintained after interacting with the liposomes. Based on these results, the mechanisms of liposome lysis by CB, CB-1, and CB-3 are discussed.
Interior-point methods for linear programming: a review (2002)

The paper reviews some recent advances in interior-point methods for linear programming and indicates directions in which future progress can be made. Most of the interior-point methods belong to any of three categories: affine-scaling methods, potential reduction methods and central path methods. These methods are discussed together with infeasible interior methods and homogeneous self-dual methods for linear programming. Also discussed are some theoretical issues in interior-point methods like dependence of complexity bounds on some non-traditional measures different from the input length L of the problem. Finally, the paper concludes with remarks on the comparison of interior-point methods with the simplex method based on their performance on NITLIB suite, a standard collection of test problems.
Beneficiation Of Pyrolitic Carbon Black (2013)

This research investigated treatment of crude carbon black produced from pyrolysis of waste tyres in order to evaluate its quality and possible industrial applications. A representative sample of crude carbon black was dry screened to determine the initial particle size distribution. This was followed by pulverizing the crude carbon black and leaching in hot concentrated sulphuric acid for the removal of heavy metals and other contaminants. Analysis of the refined carbon black showed a significant improvement of the product quality compared to crude carbon black. It was discovered that refined carbon black can be further classified into multiple high value products for various industrial applications such as filler, paint pigment, activated carbon and fuel briquettes.
Ghana opens space science and technology centre (2012)

Ghana has joined South Africa and Nigeria in becoming a leading centre in African astronomy with the foundation of the Ghana Space Science and Technology Centre (GSSTC).
Proactive Management, Reactive Management, and Perceived Political Support (2013)

Starting from the assumption that political support is essential for public managers to manage their organizations, this study investigates factors that enhance political leaders' support toward top executives in public organizations. Based on the literature of proactive behaviors, this study tests hypothesis that proactive managers are more likely to acquire political support. Analyses on more than 500 cases in Texas school districts find that superintendents perceive more support from their school board members as they proactively interact with their board members, proactively express their opinions to the board, protect their organizations from external events, and exercise strong discretion in decision making within their organization. However, too much proactiveness threatening discretion of school board members does not help obtaining political support. This study suggests that top managers need to take strategic approach to enhance political support. Lastly, this study preliminarily finds that political support is significantly and positively associated with organizational performance.
A multiple-classifier architecture for ECG beat classification (2002)

We investigate the use of the modular architecture of multiple clustering based pattern classifiers for ECG beat classification using the MIT/BIH arrhythmia database. The feature space is divided into several regions and individual classifiers are developed for each region separately. Then the outputs of these classifiers are combined using two competing combination rules: a winner decides all method and a distance-based combination method. Experiment results indicated that multiple classifier approach yields better sensitivity and classification rate.
Optimum Control Strategies in Energy Conversion of PMSG Wind Turbine System Without Mechanical Sensors (2004)

The amount of energy obtained from a wind energy conversion system (WECS) depends not only on the characteristics of the wind regime at the site, but it also depends on the control strategy used for the WECS. In order to determine the gain in energy derived from one concept as compared against another, models of several autonomous WECS have been developed using Matlab Simulink software. These allow easy performance evaluations and comparisons on different control strategies used, and determine the amount of energy injected to the grid in the case of the grid-connected systems. This paper also proposes a prototype version of the control strategy of a 20-kW permanent-magnet synchronous generator (PMSG) for maximum power tracking and compares with the results produced by previous strategies. Advantages of this mechanical sensorless control strategy for maximum power estimation are demonstrated by digital simulation of the system.
ChemInform Abstract: Towards Molecular Scale Mechano‐Electronic Devices: Porphyrin Catenanes. (1992)

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.
A disturbance rejection based neural network algorithm for control of air pollution emissions (2006)

A novel neural network algorithm for training a model of nonlinear systems that is significantly affected by unmeasured disturbances is presented. In this paper, the algorithm is used to develop a model of nitrogen oxides (NO/sub x/) emitted from a coal-fired, power plant. The NO/sub x/ emissions are affected by unmeasured disturbances such as those caused by changes in fuel characteristics and ambient conditions. The resulting NO/sub x/ model is subsequently used in a control system for reduction of NO/sub x/ emissions, therefore, increased accuracy of the model leads to improved verification and validation of the control system. Two examples illustrate that the resulting model provides a better prediction of NO/sub x/ emitted from coal fired, power plants.
Erythromycin promotes monocyte to macrophage differentiation. (1994)

Recent reports have suggested that long-term administration of erythromycin (EM) appears to ameliorate some of chronic inflammatory processes where macrophages and lymphocytes play important roles. Our study was initiated to examine the effect of EM on monocyte-macrophage lineage in vitro. EM (1 approximately 100 micrograms/ml) significantly increased the number of adherent monocyte-derived macrophages after 7 days of culture. The combination of EM and macrophage colony stimulating factor (M-CSF) synergistically increased the number of monocyte-derived macrophages, while the combination of EM and granulocyte-macrophage colony stimulating factor exerted an additive effect. Culture with EM induced the expression of a surface antigen CD71, one of the activation markers of macrophages as compared with control cultures. The combination of EM plus M-CSF significantly enhanced H2O2-producing capacity of those cells as compared with M-CSF alone. A differentiation process of monocytoid THP-1 cells was also augmented by EM. These results indicate that EM promotes differentiation of human monocyte-macrophage lineage, altering their functions.
Pharmacokinetic aspects of retinal drug delivery (2016)

Drug delivery to the posterior eye segment is an important challenge in ophthalmology, because many diseases affect the retina and choroid leading to impaired vision or blindness. Currently, intravitreal injections are the method of choice to administer drugs to the retina, but this approach is applicable only in selected cases (e.g. anti-VEGF antibodies and soluble receptors). There are two basic approaches that can be adopted to improve retinal drug delivery: prolonged and/or retina targeted delivery of intravitreal drugs and use of other routes of drug administration, such as periocular, suprachoroidal, sub-retinal, systemic, or topical. Properties of the administration route, drug and delivery system determine the efficacy and safety of these approaches. Pharmacokinetic and pharmacodynamic factors determine the required dosing rates and doses that are needed for drug action. In addition, tolerability factors limit the use of many materials in ocular drug delivery. This review article provides a critical discussion of retinal drug delivery, particularly from the pharmacokinetic point of view. This article does not include an extensive review of drug delivery technologies, because they have already been reviewed several times recently. Instead, we aim to provide a systematic and quantitative view on the pharmacokinetic factors in drug delivery to the posterior eye segment. This review is based on the literature and unpublished data from the authors' laboratory.
Particles and Macrophages in Murine Peyer’s Patches (1985)

Mice were given 1% suspensions of 5 insoluble particles (chrysotile asbestos, quartz, carmine, carbon, and iron oxide) in drinking water for 3 months. The particles were subsequently sought in intestinal Peyer's patches by light microscopy. Carbon and iron oxide particles were visible in Peyer's patch macrophages, particularly in the subepithelial region, but the other particles could not be detected. The findings suggest that particle surface properties as well as particle size govern accumulation in Peyer's patches. The cytochemistry of subepithelial, mid-dome, tingible-body, and serosal macrophages of control mice indicated diversity of macrophages within the patch. Macrophages of asbestos-fed mice contained more lysosomes than macrophages of controls. Macrophage abundance in the dome apex was not significantly altered by asbestos ingestion. The other particles did not produce detectable alterations in macrophage morphology.
The Effect of an Acetylenic Unit on the Physical Properties of Polyesters and Polyurethans (1950)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTThe Effect of an Acetylenic Unit on the Physical Properties of Polyesters and PolyurethansC. S. Marvel and John H. JohnsonCite this: J. Am. Chem. Soc. 1950, 72, 4, 1674–1677Publication Date (Print):April 1, 1950Publication History Published online1 May 2002Published inissue 1 April 1950https://pubs.acs.org/doi/10.1021/ja01160a069https://doi.org/10.1021/ja01160a069research-articleACS PublicationsRequest reuse permissionsArticle Views101Altmetric-Citations32LEARN 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 InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
A Pregnancy-Specific Protein in the Bovine Uterus (1977)

An antibody was developed to a pregnancy-specific protein in the cow. This protein is present by 15 days postmating in the uterine endometrium and uterine flushings from uteri of cows containing a blastocyst, but is not present in uterine endometrium and flushings obtained from uteri of cows 15 days postmating in which no blastocysts were found. The cow blastocyst is 10-25 mm in length at 1 5 days postmating. This pregnancy-specific protein is also present in the uterine endometrium of cows at 48 days of pregnancy. This protein was not detectable in plasma, liver, kidney, spleen and muscle tissue from pregnant cows. The identity and composition of this pregnancy-specific protein is not known. It has a molecular weight of 50-60,000 and migrates on agarose more slowly than albumin (R.f. = 0.35). Indirect estimates of quantity indicate the uterine endometrial proteins of cows at 1 5 days of pregnancy contain about 1 percent or less of the pregnancy-specific protein. the endometrial protein fraction and thereafter at bi-weekly intervals.
My Kind Of Biology (1991)

Human coronavirus (HCoV) infection causes respiratory diseases with mild to severe outcomes. In the last 15 years, we have witnessed the emergence of two zoonotic, highly pathogenic HCoVs: severe acute respiratory syndrome coronavirus (SARS-CoV) and ...Read More
Impaired Protein Kinase C Activation/Translocation in Epstein-Barr Virus-infected Monocytes (2002)

Infection of human monocytes by Epstein-Barr virus (EBV) has been linked to a decrease in the production of proinflammatory mediators as well as an impairment of phagocytosis. Considering the key role of protein kinases C (PKCs) in many biological functions of monocytes, including phagocytosis, we investigated the effects of EBV on the PKC activity in infected monocytes. Our results indicate that infection of monocytes by EBV impairs both phorbol 12-myristate 13-acetate (PMA)-induced translocation of PKC isozymes alpha and beta from cytosol to membrane as well as the PKC enzymatic activity. Similarly, the subcellular distribution of the receptor for activated C kinase (RACK), an anchoring protein essential to PKC translocation, was also found to be reduced in EBV-infected monocytes. Transfection of 293T cells with an expression vector coding for the immediate-early protein ZEBRA of EBV resulted in impaired PMA-induced translocation and activity of PKC. Using co-immunoprecipitation assays, the ZEBRA protein was found to physically interact with the RACK1 protein. Thus interaction of ZEBRA with RACK likely results in the inhibition of PKC activity, which in turn affects functions of monocytes, such as phagocytosis.
Enhanced alcohol electrocatalysis with the introduction of magnetic composites into nickel electrocatalysts (2012)

The addition of a magnetic composite membrane to a traditional nickel electrocatalyst was employed to increase the methanol and n-butanol electrocatalysis in alkaline media.
Biodegradation of Tetrahydrofuran and 1,4-Dioxane by Soluble Diiron Monooxygenase in <b><i>Pseudonocardia</i></b> sp. Strain ENV478 (2012)

1,4-Dioxane is an important groundwater contaminant. Pseudonocardia sp. strain ENV478 degrades 1,4-dioxane via cometabolism after the growth on tetrahydrofuran (THF) and other carbon sources. Here, we have identified a THF monooxygenase (thm) in ENV478. The thm genes are transcribed constitutively and are induced to higher levels by THF. Decreased translation of the thmB gene encoding one of the monooxygenase subunits by antisense RNA resulted in the loss of its ability to degrade THF and 1,4-dioxane. This is the first study to link thm genes to THF degradation, as well as the cometabolic oxidation of 1,4-dioxane.
New Pyrazolopyrimidine Inhibitors of Protein Kinase D as Potent Anticancer Agents for Prostate Cancer Cells (2013)

The emergence of protein kinase D (PKD) as a potential therapeutic target for several diseases including cancer has triggered the search for potent, selective, and cell-permeable small molecule inhibitors. In this study, we describe the identification, in vitro characterization, structure-activity analysis, and biological evaluation of a novel PKD inhibitory scaffold exemplified by 1-naphthyl PP1 (1-NA-PP1). 1-NA-PP1 and IKK-16 were identified as pan-PKD inhibitors in a small-scale targeted kinase inhibitor library assay. Both screening hits inhibited PKD isoforms at about 100 nM and were ATP-competitive inhibitors. Analysis of several related kinases indicated that 1-NA-PP1 was highly selective for PKD as compared to IKK-16. SAR analysis showed that 1-NA-PP1 was considerably more potent and showed distinct substituent effects at the pyrazolopyrimidine core. 1-NA-PP1 was cell-active, and potently blocked prostate cancer cell proliferation by inducing G2/M arrest. It also potently blocked the migration and invasion of prostate cancer cells, demonstrating promising anticancer activities on multiple fronts. Overexpression of PKD1 or PKD3 almost completely reversed the growth arrest and the inhibition of tumor cell invasion caused by 1-NA-PP1, indicating that its anti-proliferative and anti-invasive activities were mediated through the inhibition of PKD. Interestingly, a 12-fold increase in sensitivity to 1-NA-PP1 could be achieved by engineering a gatekeeper mutation in the active site of PKD1, suggesting that 1-NA-PP1 could be paired with the analog-sensitive PKD1(M659G) for dissecting PKD-specific functions and signaling pathways in various biological systems.
<i>PATZ1</i> gene has a critical role in the spermatogenesis and testicular tumours (2008)

PATZ1 is a recently discovered zinc finger protein that, due to the presence of the POZ domain, acts as a transcriptional repressor affecting the basal activity of different promoters. To gain insights into its biological role, we generated mice lacking the PATZ1 gene. Male PATZ1(-/-) mice were unfertile, suggesting a crucial role of this gene in spermatogenesis. Consistently, most of adult testes from these mice showed only few spermatocytes, associated with increased apoptosis, and complete absence of spermatids and spermatozoa, with the subsequent loss of tubular structure. The analysis of PATZ1 expression, by northern blot, western blot and immunohistochemistry, revealed its presence in Sertoli cells and, among the germ cells, exclusively in the spermatogonia. Since PATZ1 has been indicated as a potential tumour suppressor gene, we also looked at its expression in tumours deriving from testicular germ cells (TGCTs). Although expression of PATZ1 protein was increased in these tumours, it was delocalized in the cytoplasm, suggesting an impaired function. These results indicate that PATZ1 plays a crucial role in normal male gametogenesis and that its up-regulation and mis-localization could be associated to the development of TGCTs.
Isolation of a human erythrocyte membrane protein capable of inhibiting expression of homologous complement transmembrane channels. (1986)

Erythrocytes are poorly lysed by homologous complement, whereas they are readily lysed by heterologous complement. This phenomenon had been attributed to an interference by the cell surface with the action of complement components C8 and C9. To isolate the responsible membrane constituent, detergent-solubilized human erythrocyte (EH) membranes were subjected to affinity chromatography by using human C9-Sepharose. The isolated protein had a mass of 38 kDa and, incorporated into liposomes, was highly effective in inhibiting complement-mediated channel expression, including the C5b-8, membrane attack complex, and tubular polymer of C9 channels. Antibody produced to the 38-kDa protein caused a 20-fold increase in reactive lysis of EH by isolated C5b6, C7, C8, and C9. The antibody did not enhance C5b-7 uptake, but it affected C9 binding to the target cell membrane. Antibody to human decay-accelerating factor, used as a control, had no effect on reactive lysis of EH. Anti-38-kDa protein did not enhance the action on EH of C8 and C9 from other species, indicating that the action of this regulatory protein is species specific. It was therefore termed homologous restriction factor (HRF). Blood cells other than erythrocytes, such as polymorphonuclear leukocytes, also exhibited cell-surface HRF activity. In immunoblots of freshly isolated EH membranes, anti-38-kDa HRF detected primarily a 65-kDa protein, suggesting that the 38-kDa protein constitutes an active fragment of membrane HRF. Because of the specific binding reaction observed between HRF and C8 or C9, HRF was tested with anti-human C8 and anti-human C9. A limited immunochemical relationship of HRF to C8 and C9 could be established and solid-phase anti-C9 proved an efficient tool for the isolation of HRF from solubilized EH membranes.
Let Your Body Speak: Communicative Cue Extraction on Natural Interaction Using RGBD Data (2015)

Employment interviews are relevant scenarios for the study of social interaction. In this setting, social skills play an important role, even though the interactions between potential employers and candidates are often limited. One fundamental aspect of social interaction is the use of nonverbal communication , which affects how we are socially perceived. We present a method to automatically extract body communicative cues from one-on-one conversations recorded with Kinect devices. First, we find the three-dimensional position of hands and head of the subject, and, aided by training data, we infer the upper body pose. Then, we use the inferred poses to perform action recognition and build person-specific activity descriptors. We evaluate our system with both domain-specific and public, generic datasets, and show competitive performance.