gebhart/patrepeval huggingface dataset:
Software Implementation (2017)

Since the introduction of cryptographic pairings as a constructive cryptographic primitive by Sakai, Ohgishi, and Kasahara in, and by Joux in, the efficient implementation of pairings has become an increasingly important research topic. Early works still mainly considered the Weil pairing, whose computation essentially consists of two so-called Miller loops, but soon it became clear that variants of the Tate pairing are more efficient. All those variants have in common that they consist of the computation of one Miller loop and one final exponentiation. Pairings can be computed over elliptic curves represented in any coordinate system, but homogeneous projective and affine coordinates are the most common, depending on the ratio between inversion and multiplication of a specific implementation. Due to the low Hamming weight of the curve parameter and its effect on reducing the number of additions, the cost of the Miller loop is usually dominated by point doubling and the corresponding line evaluations.
A Stat3-interacting protein (StIP1) regulates cytokine signal transduction (2000)

Genetic and biochemical studies have led to the identification of the Stat3-Interacting Protein StIP1. The preferential association of StIP1 with inactive (i.e., unphosphorylated) Stat3 suggests that it may contribute to the regulation of Stat3 activation. Consistent with this possibility, StIP1 also exhibits an affinity for members of the Janus kinase family. Overexpression of the Stat3-binding domain of StIP1 blocks Stat3 activation, nuclear translocation, and Stat3-dependent induction of a reporter gene. These studies indicate that StIP1 regulates the ligand-dependent activation of Stat3, potentially by serving as a scaffold protein that promotes the interaction between Janus kinases and their Stat3 substrate. The ability of StIP1 to associate with several additional members of the signal transducer and activator of transcription family suggests that StIP1 may serve a broader role in cytokine-signaling events.
Syntheses of Co(II), Ni(II), Cu(II), Fe(III) and Cr(III) Complexes of Ortho-Substituted Benzenes: Model Complexes of Natural Organic Matter (1977)

Abstract This paper describes the syntheses of several model complexes for the metal complexes formed between aquatic or soil organic matter and metal ions. Based on functional group analyses of the natural organic matter, we chose ortho-substituted benzenes as chelating agents. They are salicylaldehyde, 2′-hydroxyaceto-phenone, methylsalicylate, and 2-methoxyphenol. A variety of cobalt(II), nickel(II), copper(II), iron(III), and chromium(III) complexes were prepared.
Pharmacologic Prophylaxis of Postoperative Atrial Fibrillation in Patients Undergoing Cardiac Surgery: Beyond β‐Blockers (2010)

Postoperative atrial fibrillation (POAF) is a frequent complication of cardiac surgery that increases patient morbidity, length of stay, and hospital costs. A substantial body of evidence exists evaluating various pharmacologic and nonpharmacologic methods to decrease the occurrence of POAF in an effort to decrease its burden on the health care system. Evidence-based guidelines support the use of beta-blockers as standard prophylaxis of POAF in patients undergoing cardiac surgery. Traditional prophylactic therapy for POAF targets the sympathetic nervous system, refractory period, and atrial conduction. However, associations between the development of POAF and the inflammatory process, oxidative stress, and atrial remodeling have prompted the investigation of novel therapies targeting these processes. To evaluate the role of pharmacologic strategies beyond beta-blockers in the prevention of POAF, we conducted a search of the PubMed database to identify studies published from 1950-February 2009. Emphasis was placed on how these therapies could be used in patients intolerant to beta-blockers or as additive therapy in high-risk patients. We found that sufficient evidence exists to recommend the use of amiodarone, sotalol, and possibly magnesium as monotherapy in patients unable to take beta-blockers or as add-on therapy for the prevention of POAF. Currently, available evidence does not support the use of propafenone, procainamide, digoxin, thiazolidinediones, triiodothyronine, or calcium channel blockers in the prevention of POAF. Preliminary evidence suggests that dofetilide, angiotensin-converting enzyme inhibitors, angiotensin II receptor blockers, 3-hydroxy-3-methylglutaryl coenzyme A reductase inhibitors (statins), nonsteroidal antiinflammatory drugs, corticosteroids, omega-3 fatty acids, ascorbic acid, N-acetylcysteine, and sodium nitroprusside may be effective in preventing POAF. Additional large-scale, adequately powered clinical studies are needed to determine the benefit of these agents before they can be considered for routine use.
PERIPLAKIN AS A POTENTIAL BIOLOGIC MARKER FOR BLADDER CANCER (2008)

You have accessJournal of Urology1 Apr 2008PERIPLAKIN AS A POTENTIAL BIOLOGIC MARKER FOR BLADDER CANCER Kazumasa Matsumoto, Hidetoshi Kuruma, Yuko Kamata, Koji Takahashi, Takanori Nishimori, Tsuyoshi Tomonaga, Takefumi Satoh, Masatsugu Iwamura, Fumio Nomura, Shin Egawa, and Shiro Baba Kazumasa MatsumotoKazumasa Matsumoto More articles by this author , Hidetoshi KurumaHidetoshi Kuruma More articles by this author , Yuko KamataYuko Kamata More articles by this author , Koji TakahashiKoji Takahashi More articles by this author , Takanori NishimoriTakanori Nishimori More articles by this author , Tsuyoshi TomonagaTsuyoshi Tomonaga More articles by this author , Takefumi SatohTakefumi Satoh More articles by this author , Masatsugu IwamuraMasatsugu Iwamura More articles by this author , Fumio NomuraFumio Nomura More articles by this author , Shin EgawaShin Egawa More articles by this author , and Shiro BabaShiro Baba More articles by this author View All Author Informationhttps://doi.org/10.1016/S0022-5347(08)60927-1AboutPDF ToolsAdd to favoritesDownload CitationsTrack CitationsPermissionsReprints ShareFacebookLinked InTwitterEmail "PERIPLAKIN AS A POTENTIAL BIOLOGIC MARKER FOR BLADDER CANCER." The Journal of Urology, 179(4S), p. 317 © 2008 by American Urological AssociationFiguresReferencesRelatedDetails Volume 179Issue 4SApril 2008Page: 317 Advertisement Copyright & Permissions© 2008 by American Urological AssociationMetricsAuthor Information Kazumasa Matsumoto More articles by this author Hidetoshi Kuruma More articles by this author Yuko Kamata More articles by this author Koji Takahashi More articles by this author Takanori Nishimori More articles by this author Tsuyoshi Tomonaga More articles by this author Takefumi Satoh More articles by this author Masatsugu Iwamura More articles by this author Fumio Nomura More articles by this author Shin Egawa More articles by this author Shiro Baba More articles by this author Expand All Advertisement PDF downloadLoading ...
Disruption of murine α-enolase by a retroviral gene trap results in early embryonic lethality (1998)

Gene trapping with the retroviral ROSA beta geo vector was used to generate lines of mice carrying disrupted genes. Both cDNA and genomic flanks have been cloned from a number of these lines. One mutation has been shown to disrupt the alpha-enolase gene by insertion of the splice-trap vector into the first intron. In adult mice, lacZ expression was detected only in testes. Embryonic expression was detected from 10.5-day postcoitum embryos and was seen as a diffuse staining pattern over much of the embryo, consistent with the housekeeping gene function of alpha-enolase. This mutation results in an early recessive embryonic lethality. Mice heterozygous for the mutation have no obvious phenotype. Mutations of this gene in humans are reported to be associated with rare autosomal-dominant, non-spherocytic haemolytic anaemia. This phenotype is not reproduced in mice heterozygous for this mutation.
Palladium(0)-catalyzed azidation of allyl esters. Selective synthesis of allyl azides, primary allylamines, and related compounds (1989)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTPalladium(0)-catalyzed azidation of allyl esters. Selective synthesis of allyl azides, primary allylamines, and related compoundsShunichi Murahashi, Yuki Taniguchi, Yasushi Imada, and Yoshio TanigawaCite this: J. Org. Chem. 1989, 54, 14, 3292–3303Publication Date (Print):July 1, 1989Publication History Published online1 May 2002Published inissue 1 July 1989https://pubs.acs.org/doi/10.1021/jo00275a011https://doi.org/10.1021/jo00275a011research-articleACS PublicationsRequest reuse permissionsArticle Views3865Altmetric-Citations188LEARN 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
Reinforcement Learning Agents acquire Flocking and Symbiotic Behaviour in Simulated Ecosystems (2019)

In nature, group behaviours such as flocking as well as cross-species symbiotic partnerships are observed in vastly different forms and circumstances. We hypothesize that such strategies can arise in response to generic predator-prey pressures in a spatial environment with range-limited sensation and action. We evaluate whether these forms of coordination can emerge by independent multi-agent reinforcement learning in simple multiple-species ecosystems. In contrast to prior work, we avoid hand-crafted shaping rewards, specific actions, or dynamics that would directly encourage coordination across agents. Instead we test whether coordination emerges as a consequence of adaptation without encouraging these specific forms of coordination, which only has indirect benefit. Our simulated ecosystems consist of a generic food chain involving three trophic levels: apex predator, mid-level predator, and prey. We conduct experiments on two different platforms, a 3D physics engine with tens of agents as well as in a 2D grid world with up to thousands. The results clearly confirm our hypothesis and show substantial coordination both within and across species. To obtain these results, we leverage and adapt recent advances in deep reinforcement learning within an ecosystem training protocol featuring homogeneous groups of independent agents from different species (sets of policies), acting in many different random combinations in parallel habitats. The policies utilize neural network architectures that are invariant to agent individuality but not type (species) and that generalize across varying numbers of observed other agents. While the emergence of complexity in artificial ecosystems have long been studied in the artificial life community, the focus has been more on individual complexity and genetic algorithms or explicit modelling, and less on group complexity and reinforcement learning emphasized in this article. Unlike what the name and intuition suggests, reinforcement learning adapts over evolutionary history rather than a life-time and is here addressing the sequential optimization of fitness that is usually approached by genetic algorithms in the artificial life community. We utilize a shift from procedures to objectives, allowing us to bring new powerful machinery to bare, and we see emergence of complex behaviour from a sequence of simple optimization problems.
An effective test method for digital neural networks (2002)

This paper presents some results of a new test methodology for neural networks, based on the mathematical similarities of these systems with digital filters. The method consists on defining the signature of the net by means of its own weights. During test, the network is reconfigured so that the weights are driven to the network inputs, and results of the net outputs are compared with the previously defined signature. The first experiments and results of this technique applied to a feedforward neural network for character recognition are presented. The proposed at-speed method is very effective for a processor-like network implementation. It requires low area overhead, while just small modifications in the network design are necessary. Moreover, the testing time varies linearly with the number of net weights and neurons.
Resource Allocation in Wireless Powered Cognitive Radio Networks Based on a Practical Non-Linear Energy Harvesting Model (2017)

Wireless powered techniques have been recognized as promising techniques in future wireless communication systems, especially in cognitive radios (CRs) with energy-limit devices. However, most of the existing works focus on CRs with an ideal linear energy harvesting model. In this paper, a wireless powered wideband CR network is considered, and a practical non-linear energy harvesting model is adopted. To maximize the sum throughput of the secondary users, the energy harvesting time, channel allocation, and transmit power are jointly optimized. The closed-form expressions for the optimal transmit power and channel allocation are given. Simulation results show that there is a tradeoff between the harvesting energy and the sum throughput of the secondary users. It is also shown that the performance achieved under the non-linear energy harvesting model may equal to that achieved under the linear energy harvesting model.
ChemInform Abstract: Extended Utility of Molten‐Salt Chemistry: Unprecedented Synthesis of a Water‐Soluble Salt‐Inclusion Solid Comprised of High‐Nuclearity Vanadium Oxide Clusters. (2011)

Abstract Cs 11 Na 3 (V 15 O 36 )Cl 6 is synthesized by reaction of Cs 3 VO 4 , V 2 O 5 , and VO 2 in a eutectic NaCl/CsCl flux (600 °C, 4 d).
Flexible and conductive MXene films and nanocomposites with high capacitance (2014)

MXenes, a new family of 2D materials, combine hydrophilic surfaces with metallic conductivity. Delamination of MXene produces single-layer nanosheets with thickness of about a nanometer and lateral size of the order of micrometers. The high aspect ratio of delaminated MXene renders it promising nanofiller in multifunctional polymer nanocomposites. Herein, Ti3C2T(x) MXene was mixed with either a charged polydiallyldimethylammonium chloride (PDDA) or an electrically neutral polyvinyl alcohol (PVA) to produce Ti3C2T(x)/polymer composites. The as-fabricated composites are flexible and have electrical conductivities as high as 2.2 × 10(4) S/m in the case of the Ti3C2T(x)/PVA composite film and 2.4 × 10(5) S/m for pure Ti3C2T(x) films. The tensile strength of the Ti3C2T(x)/PVA composites was significantly enhanced compared with pure Ti3C2T(x) or PVA films. The intercalation and confinement of the polymer between the MXene flakes not only increased flexibility but also enhanced cationic intercalation, offering an impressive volumetric capacitance of ∼530 F/cm(3) for MXene/PVA-KOH composite film at 2 mV/s. To our knowledge, this study is a first, but crucial, step in exploring the potential of using MXenes in polymer-based multifunctional nanocomposites for a host of applications, such as structural components, energy storage devices, wearable electronics, electrochemical actuators, and radiofrequency shielding, to name a few.
The Evron quarry : A contribution to the Quaternary stratigraphy of the coastal Plain of Israel (1974)

Ronen A., Amiel Abraham J. The Evron quarry : A contribution to the Quaternary stratigraphy of the coastal Plain of Israel. In: Paléorient, 1974, vol. 2, n°1. pp. 167-173.
The Semantic Web: Differentiating between Taxonomies and Ontologies. (2002)

Les taxonomies et les ontologies consistent tous les deux en un vocabulaire structure qui identifie un seul terme pour representer un concept qui pourrait etre decrit par plusieurs mots. Les bibliothecaires emploient le terme taxonomie alors que les informaticiens emploient ontologie. Ces outils sont utiles pour le web semantique qui ne cesse de se developper avec en parallele la cartographie de l'information
Evaluation of a thermal desorption gas chromatograph/mass spectrometer: on-site detection of polychlorinated biphenyls at a hazardous waste site (1992)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTEvaluation of a thermal desorption gas chromatograph/mass spectrometer: on-site detection of polychlorinated biphenyls at a hazardous waste siteAlbert. Robbat, Tyng Yun. Liu, and Brian M. AbrahamCite this: Anal. Chem. 1992, 64, 4, 358–364Publication Date (Print):February 15, 1992Publication History Published online1 May 2002Published inissue 15 February 1992https://pubs.acs.org/doi/10.1021/ac00028a008https://doi.org/10.1021/ac00028a008research-articleACS PublicationsRequest reuse permissionsArticle Views128Altmetric-Citations26LEARN 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
Thorium-Based Fuels in Fast Breeder Reactors (1977)

A number of thorium-based fuels for fast breeder reactors using either sodium or helium coolant are considered. Thorium-plutonium mixed-oxide fuels have similar or slightly better material properties than those for mixed urani-um-plutonium oxides. Their thermal performance is also very similar to that of the UO2-PuO2 mixed-oxide fuel. Their nuclear performance shows a substantially lower breeding gain, but a much lower positive sodium void coefficient than those for the UO2-PuO2 system. The material properties of Th-U-Pu and Th-U metal alloys are more suitable for reactor application than those of the uranium metal alloy. The Th-U-Pu metal alloy system has higher breeding gain, much lower positive sodium void coefficient, and a possibly higher negative Doppler coefficient of reactivity than the magnitude of those parameters for the UO2-PuO2 system. The Th-233U metal alloy system has a slightly lower breeding gain than the UO2-PuO2 system, but it has a negative reactivity coefficient for sodium voiding from the core. Equilibrium fuel cycle calculations reveal that all of the thorium metal alloy systems have a longer cycle length than the UO2-PuO2 system for the same burnup constraint. Thermal-hydraulic calculations show that sodium-bonded thorium metal alloy fuel elements may be able to operate up to an ∼82 kW/m (25 kW/ft) peak power rating in sodium coolant.
Treatment of Experimental Allergic Encephalomyelitis with 7,8 Dihydroxyflavone: Evidence for Neuroprotection (P2.187) (2015)

OBJECTIVE: Study the effects of the treatment of experimental allergic encephalomyelitis (EAE) with7,8 dihydroxyflavone (DHF). BACKGROUND: The approved treatments for multiple sclerosis (MS) have been shown to reduce inflammation and clinical relapses but have not been shown to fully prevent neuronal loss or progressive disability. Several lines of evidence suggest that brain-derived neurotropic factor (BDNF) may play a neuroprotective role in MS and that activation of the BDNF - Tropomyosin-related kinase B (TrkB) signaling pathway in EAE, an animal model of MS, may reduce neuronal injury. DHF is an orally active potent TrkB agonist that has shown neuroprotective properties in other model systems. DESIGN/METHODS: EAE was induced in C57Bl/6 mice with myelin oligodendrocyte protein peptide, mice were examined and scored clnically daily and euthanized on day 30 for histological examination of brain and spinal cord tissue all using previously published procedures. RESULTS: Histological examination showed attenuation of the inflammatory process, which correlated with a switch from pro-inflammatory to anti-inflammatory cytokine expression in the spinal cord of DHF treated EAE mice compared to control EAE mice. Axonal injury and neuronal loss were reduced in DHF treated EAE mice and myelin repair was increased. DHF treatment was associated with increased levels of phosphorylated TrkB and increased levels of phosphorylated downstream signaling molecules including AKT and STAT3. CONCLUSIONS: Our results support a neuroprotective effect of DHF in EAE but further studies will be needed to determine whether the neuroprotective effects are independent of any immunomodulatory effects. Study Supported by: The U.S. Depatment of Veteran's Affairs and the National Multiple Sclerosis Society.
An Open Study of Aripiprazole and Escitalopram for Psychotic Major Depressive Disorder (2009)

The combination of escitalopram and aripiprazole seems to be an effective and safe treatment for MD-Psy.
Generating N00N-states of surface plasmon-polariton pairs in a nonlinear nanoparticle on metallic substrate (2022)

We study the generation of surface plasmon-polariton pairs with a gallium arsenide nanoparticle located at the silver-air interface. We demonstrate theoretically that N00N-states of surface plasmon-polariton pairs with N=2 can be obtained for certain excitation geometries. The effect can be physically interpreted as the result of a quantum interference between pairs of induced sources, each emitting either signal or idler plasmons.
Static Behavior Analytical and Numerical Analysis of Micromachined Thermal Accelerometers (2017)

This paper presents static behavior analytical study of micromachined convective accelerometers. This includes both heat conduction and convection behavior study and modeling. A mixed modeling technique has been used to derive general expressions governing heat conduction and convection of MEMS thermal accelerometers. This technique is based on the use of results from FEM simulations to develop an analytical model where all derived expressions are as a function of biasing temperatures and key design geometry parameters. For conduction behavior analysis, two variables are being used in FEM simulations: heater temperature and micromachined cavity depth. The latter parameter has a large impact on the overall conductive behavior of thermal accelerometers since it fixes the volume where the heat bubble can expand. In addition, heater temperature is considered to be the only parameter that fixes heat distribution in the cavity. This modeling has led to the derivation of expressions for both heater heat transfer coefficient and common mode temperature. These physically-based derived expressions govern the overall sensor conductive behavior. Concerning heat convection behavior, cavity width parameter has been added as a third variable. Using simulation data points, fitting technique has been used to develop an analytical expression of differential temperature, proportional to sensitivity, as a function of the above design and temperature parameters. This study helps to predict sensor performance at an early design stage and more importantly for different sensor design geometries and temperatures.