gebhart/patrepeval huggingface dataset:
Guarded recursive datatype constructors (2003)

We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell. We address both theoretical and practical issues resulted from this generalization. On one hand, we design a type system to formalize the notion of g.r. datatype constructors and then prove the soundness of the type system. On the other hand, we present some significant applications (e.g., implementing objects, implementing staged computation, etc.) of g.r. datatype constructors, arguing that g.r. datatype constructors can have far-reaching consequences in programming. The main contribution of the paper lies in the recognition and then the formalization of a programming notion that is of both theoretical interest and practical use.
A Frequency-Domain Imaging Algorithm for Translational Variant Bistatic Forward-Looking SAR (2019)

Bistatic forward-looking synthetic aperture radar (BFSAR) breaks through the limitations of the conventional monostatic SAR on the forward-looking imaging. However, the problems of range cell migration (RCM) caused by the linear range walk and 2-D spatial variability of Doppler parameters become more serious and complicated in translational variant BFSAR. In this article, a keystone transform is introduced to correct the linear RCM. Based on the characteristics of a small aperture, the nonlinear chirp scaling (NCS) is discussed in the frequency domain to equalize the azimuth-range-dependent Doppler parameters. The improved NCS in our newly proposed BFSAR imaging algorithm, especially the re-definition of range direction and the model of spatial variant phase, differentiates this article from all the existing studies in the literature on BFSAR signal processing. Simulation results and real data processing further validate the effectiveness of the proposed algorithm.
Isolation, purification, and characterization of intermediate (iodosylbenzene)metalloporphyrin complexes from the (tetraphenylporphinato)manganese(III)-iodosylbenzene catalytic hydrocarbon functionalization system (1983)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTIsolation, purification, and characterization of intermediate (iodosylbenzene)metalloporphyrin complexes from the (tetraphenylporphinato)manganese(III)-iodosylbenzene catalytic hydrocarbon functionalization systemJohn A. Smegal, Bruce C. Schardt, and Craig L. HillCite this: J. Am. Chem. Soc. 1983, 105, 11, 3510–3515Publication Date (Print):June 1, 1983Publication History Published online1 May 2002Published inissue 1 June 1983https://pubs.acs.org/doi/10.1021/ja00349a024https://doi.org/10.1021/ja00349a024research-articleACS PublicationsRequest reuse permissionsArticle Views739Altmetric-Citations101LEARN 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
IMPLEMENTATION OF AN ENCRYPTED WIRELESS COMMUNICATION SYSTEM USING NESTED CHAOTIC MAPS (2010)

This paper proposes an implementation of a synchronization method for wireless communication systems using a pseudo-True Random Bit Generator (PTRBG) based on chaotic maps. Chaos is generated using Nested Piecewise Linear Maps (NPWLM) to improve the statistical degradation introduced due to finite word length processing. Synchronization of nested maps using the backward iteration algorithm is introduced. This algorithm uses a mathematically driven formula to determine the initial condition of the nested map at the receiver in order to synchronize with the map at the transmitter. The implementation test bed for the complete wireless communication system is based on a Chipcon wireless development kit [] and an assessment of the pseudo- true random bits generated is performed using the NIST statistical test suite.
Clavaric Acid and Steroidal Analogues as Ras- and FPP-Directed Inhibitors of Human Farnesyl-Protein Transferase (1998)

We have identified a novel fungal metabolite that is an inhibitor of human farnesyl-protein transferase (FPTase) by randomly screening natural product extracts using a high-throughput biochemical assay. Clavaric acid [24, 25-dihydroxy-2-(3-hydroxy-3-methylglutaryl)lanostan-3-one] was isolated from Clavariadelphus truncatus; it specifically inhibits human FPTase (IC50 = 1.3 microM) and does not inhibit geranylgeranyl-protein transferase-I (GGPTase-I) or squalene synthase activity. It is competitive with respect to Ras and is a reversible inhibitor of FPTase. An alkaline hydrolysis product of clavaric acid, clavarinone [2,24,25-trihydroxylanostan-3-one], lacking the 3-hydroxy-3-methylglutaric acid side chain is less active as a FPTase inhibitor. Similarly, a methyl ester derivative of clavaric acid is also inactive. In Rat1 ras-transformed cells clavaric acid and lovastatin inhibited Ras processing without being overtly cytotoxic. Excess mevalonate reversed the effects of lovastatin but not of clavaric acid suggesting that the block on Ras processing by clavaric acid was due to inhibition of FPTase and not due to inhibition of HMG-CoA reductase. Despite these results, the possibility existed that clavaric acid inhibited Ras processing by directly inhibiting HMG-CoA reductase. To directly examine the effects of clavaric acid and clavarinone on HMG-CoA reductase, cholesterol synthesis was measured in HepG2 cells. No inhibition of HMG-CoA reductase was observed indicating that the inhibition of Ras processing by this class of compounds is due to inhibition of FPTase. To date, clavaric acid is the second reported nitrogen-free compound that competes with Ras to inhibit FPTase activity. A series of related compounds derived from computer-based similarity searches and subsequent rational chemical synthetic design provided compounds that exhibited a range of activity (0.04 --> 100 microM) against FPTase. Modest changes in the structures of these inhibitors dramatically change the inhibitory activity of these inhibitors.
Ultrafast Exciton Dynamics in InGaN/GaN and Rh/Cr2O3 Nanoparticle-Decorated InGaN/GaN Nanowires (2015)

Ultrafast exciton and charge-carrier dynamics in InGaN/GaN nanowires (NWs) with and without Rh/Cr2O3 nanoparticle (NP) decoration have been investigated using femtosecond transient absorption (TA) techniques with excitation at 415 nm and white-light probe (450-700 nm). By comparing the TA profiles between InGaN/GaN and InGaN/GaN-Rh/Cr2O3 NWs, an additional decay component on the medium time scale (∼50 ps) was identified with Rh/Cr2O3 decoration, which is attributed to interfacial charge transfer from InGaN/GaN NWs to Rh/Cr2O3 NPs, desired for light energy conversion applications. This is consistent with reduced photoluminescence (PL) of the NWs by the Rh/Cr2O3 NPs. A kinetic model was developed to explain the TA results and gain further insight into the exciton and charge-carrier dynamics.
Metal-catalyzed silicon nanowires: control and connection (invited) (2005)

Self-assembled Si nanowires can be grown using chemical vapor deposition accelerated by metal catalyst nanoparticles. The diameter of the nanowires depends on the size of the nanoparticles, which in turn can be controlled by varying the amount of catalyst deposited and the annealing conditions. The nanowires make good electrical connection to the substrate on which they are grown. They generally grow epitaxially along <111> directions and can grow laterally from one vertical (111)-oriented surface toward another and make good mechanical and electrical connection to the second surface. The nanowires can serve as sensors or as the channels of field-effect transistors.
The interaction of a point vortex with a wall-bounded vortex layer (1997)

The interaction of a point vortex with a layer of constant vorticity, bounded below by a wall and above by an irrotational flow, is investigated as a model of vortex–boundary layer interaction. This model calculates both the evolution of the interface which separates the vortex layer from the irrotational flow and the trajectory of the vortex. In order to determine the conditions which lead to sustained unsteady interaction, three cases are investigated where the mutual interaction between the vortex and interface is initially assumed to be weak. (i) When a weak point vortex lies outside the layer, the vortex moves with a horizontal speed that is small relative to the long-wave phase speed of interfacial waves. A uniformly valid solution is found for the interface evolution. This solution shows that for long times the interface and the vortex approach an equilibrium state. (ii) When a weak vortex lies inside the layer, the vortex is convected by the mean flow and moves with a horizontal speed which matches the phase speed of an interfacial wave. This results in a strong interaction between the vortex and the interfacial wave. On the interface, a monochromatic wavetrain forms upstream of the vortex and acts to attract or repel the point vortex. The displacement of the vortex due to the wavetrain results in the modulation of the amplitude and wavelength of the wavetrain. If the point vortex is attracted toward the interface the horizontal speed of the vortex slows and disturbances directly above the vortex focus and grow leading to the ejection of vorticity. (iii) When the point vortex lies close to the wall and it is sufficiently strong it propagates downstream with a large horizontal velocity. In this case, the amplitude of the interfacial disturbance is independent of the vortex strength. Again, the vortex and the interface approach an equilibrium state. The results of this paper indicate that when the horizontal speed of the vortex matches the phase speed of the interfacial disturbance, it is necessary to account for the vertical displacement of the vortex in order to predict the behaviour of vortex–boundary layer interactions.
Sphingolipidomic study of davidiin-treated HepG2 human hepatocellular carcinoma cells using UHPLC-MS (2017)

An improved sphingolipidomic approach demonstrated elevated dihydroceramide and sphinganine, which may be due to the inhibition effect of davidiin on DES.
An Improved Construction for Reusable Anonymous Return Channels Based on Universal Re-encryption (2012)

Reusable anonymous return channels proposed by Golle and Jakobsson allow any recipient of one of the anonymous messages in a mix net to send back one or more replies directly. Yet their protocol has an obvious efficiency problem caused by multiple rounds of message processing. In this paper, we introduce a technique which is based on universal re-encryption and increases the total efficiency of reusable anonymous return channels. Our protocol retains all the significant attributes of the reusable channels, known as compos ability, reusability, transferability and compatibility. And it reduces the processing rounds of a message so as to increase efficiency. Moreover, it produces some new important properties. When using our protocol, even if all the servers in our system are corrupted, they can not gain the information of message content and our system can not be easily used as a decryption oracle. We also improve the efficiency of our original protocol when processing long messages and present a hybrid construction for it. Using Pohlig-Hellman, a message is much shorter in our hybrid construction than it is in our primary construction. As a result, the larger a message is, the more efficient our hybrid construction becomes.
A Facile Strategy to Pt3Ni Nanocrystals with Highly Porous Features as an Enhanced Oxygen Reduction Reaction Catalyst (2013)

A facile strategy to Pt3Ni nanocrystals with highly porous features is developed. The integration of a high surface area and rich step/edge atoms endows the nanocrystals with an impressive oxygen reduction reaction (ORR) specific activity and mass activity. These nanocrystals are more stable in ORR and show a small activity change after 6000 potential sweeps. This is a promising material for practical electrocatalytic applications.
Ni-Alloy Fuel Electrodes for Reversible Solid Oxide Cells (2022)

Reversible solid oxide cells (r-SOCs) are devices that can operate efficiently in both fuel cell and electrolysis operation modes. Nickel is widely used as an anode in conventional solid oxide fuel cells (SOFCs), but this agglomerates due to redox cycling, leading to irreversible performance degradation, making it unsuitable for r-SOCs. Here, we apply alternative electrodes to r-SOCs, in which Ni-Co alloy functions as a catalyst and an electronic conductor, whilst Ce 0.9 Gd 0.1 O 2 (GDC) functions as a mixed ionic-electronic conductor. The electrochemical performance of these Ni-Co-GDC electrodes and their reverse-operation durability in r-SOCs are evaluated, and the effect of varying the amount of Co is investigated, compared with conventional cermet fuel electrodes. These novel materials exhibit high electrochemical performance and durability against SOFC/SOEC reverse-operation cycling.
The experimental and theoretical development of a one Gigawatt, repetitively pulsed, one microsecond pulse length, high current relativistic klystron and modulator (1992)

A research effort is underway with the goal of obtaining an energy of one kilojoule per pulse, with a 5 Hz pulse repetition frequency, from a high current relativistic klystron amplifier (RKA). The pulse length is one microsecond (1 GW peak power) with a microwave frequency of 1.3 GHz. This paper focuses on three areas: the theory, modeling, and experimental development of the microwave tube; the 1 μs-pulse-length field-emission diode electron gun developed for the RKA; and the BANSHEE pulsed power modulator that powers the RKA. This research builds on the pioneering work done by Friedman and Serlin [1] on the RKA at the ∼100 ns pulse length. The one microsecond pulse length is almost an order of magnitude beyond what has been achieved with an RKA. Achieving a peak power approaching 1 GW for 1 μβ requires a well behaved electron beam on that time scale, and an optimized extraction efficiency in the output cavity. The microwave tube design was guided by theory and particle-in-cell (PIC) code modeling that relate output cavity extraction efficiency to the amplitude of the beam harmonic current modulation and output cavity shunt impedance. The output cavity has adjustable tuning, loading, and output gap length to allow experimental optimization of the coupling between the modulated beam and the output cavity. An electron beam diode is used that delivers a peak current of 4 to 5 kA for a pulse duration exceeding 1 μs, at a beam kinetic energy above 600 keV. BANSHEE is the high voltage modulator designed for use as an electron beam driver for high power microwave tube development The BANSHEE output pulse design parameters are 1 MV and 10 kA, with a 1 μs pulse width at a repetition rate of 3–5 Hz, driving a load of impedance of 100 Ω. BANSHEE is a thyratron-switched line-type modulator with a pulse transformer output stage. The modulator design is pushing the state of the art in thyratron technology and capacitor lifetime. The results of the BANSHEE modulator testing are described.
Practical Design and Decoding of Parallel Concatenated Structure for Systematic Polar Codes (2015)

In this paper, a parallel concatenated structure is proposed to improve the performance of polar codes in finite length in which multiblocks systematic polar codes (SPC) and recursive systematic convolutional codes (RSC) are combined. We first design a weighted iterative decoding algorithm for the proposed structure such that better bit error rate performance can be obtained. Then, a deliberated interleaver is optimized for the new scheme. Thereafter, we introduce a strategy to estimate the minimum distance of the concatenation codeword, where an asymptotic performance and convergence behavior analysis are elaborated. Finally, the error performance of the proposed scheme is evaluated via simulations. The results show that our scheme almost outperforms all the existed concatenation ones using polar codes, making the codes more practical.
LysGH15 kills Staphylococcus aureus without being affected by the humoral immune response or inducing inflammation (2016)

The lysin LysGH15, derived from the staphylococcal phage GH15, exhibits a wide lytic spectrum and highly efficient lytic activity against methicillin-resistant Staphylococcus aureus (MRSA). Here, we found that LysGH15 did not induce resistance in MRSA or methicillin-sensitive S. aureus (MSSA) strains after repeated treatment. Although LysGH15 triggered the generation of LysGH15-specific antibodies in mice, these antibodies did not block lytic activity in vitro (nor the binding capacity of LysGH15). More importantly, when the antibody titre was highest in mice immunized with LysGH15, a single intravenous injection of LysGH15 was sufficient to protect mice against lethal infection with MRSA. These results indicated that LysGH15-specific antibodies did not affect the killing efficiency of LysGH15 against MRSA in vitro or in vivo. LysGH15 also reduced pro-inflammatory cytokines in mice with lethal infections. Furthermore, a high-dose LysGH15 injection did not cause significant adverse effects or pathological changes in the main organs of treated animals. These results provide further evidence for the administration of LysGH15 as an alternative strategy for the treatment of infections caused by MRSA.
External Contamination Integration of Visiting Vehicles on the International Space Station (2018)

The International Space Station (ISS) is an on-orbit platform for science utilization in low Earth orbit. The induced contamination environment can impact performance, mission success, and science utilization. Cargo and crew vehicles visiting the ISS represent significant sources of contamination. The Space Environments Team of the ISS Program Office has developed visiting vehicle requirements and methodologies to address the increasingly complex challenge of integrating multiple visiting vehicles while maintaining overall ISS contamination control requirements. The external contamination control requirements are summarized and the integration and verification process is described along with required data deliverables. Contamination characterization data deliverables address vacuum-exposed materials, thrusters, vacuum venting, and particulate releases. Visiting vehicle external contamination analyses are conducted by the ISS Space Environments Team to certify compliance with external contamination control requirements. Unpressurized cargo contamination analyses are also performed to characterize induced contamination to payloads while in transit to ISS. Efforts to confirm the visiting vehicle contamination modeling and analysis process based on on-orbit data are discussed.
Endovascular and Surgical Treatment of Spinal Dural Arteriovenous Fistulas: Assessment of Post-treatment Clinical Outcome (2015)

Spinal dural arteriovenous fistulas (DAVFs) are the most commonly encountered vascular malformation of the spinal cord and a treatable cause of progressive para- or tetraplegia. It is an elusive pathology that tends to be under-diagnosed, due to lack of awareness among clinicians, and affects males more commonly than females, typically between the fifth and eighth decades. Early diagnosis and treatment may significantly improve outcome and prevent permanent disability and even mortality. The purpose of our retrospective, single-center study was to determine the long-term clinical and radiographic outcome of patients who have received endovascular or surgical treatment of a spinal DAVF. In particular, during a 6-year period (2009-2014) 14 patients with a spinal DAVF were treated at our department either surgically (n = 4) or endovascularly (n = 10) with detachable coils and/or glue. There was no recurrence in the follow-up period (mean: 36 months, range 3-60 months) after complete occlusion with the endovascular treatment (n = 9; 90%), while only one patient (10%) had residual flow both post-treatment and at 3-month follow-up. All four surgically treated patients (100%) had no signs of residual DAVF on follow-up magnetic resonance angiography (MRA) and/or angiography (mean follow-up period of 9 months). Since improvement or stabilization of symptoms may be seen even in patients with delayed diagnosis and substantial neurological deficits, either endovascular or surgical treatment is always justified.
Abstract 94: PRMT5 substrate recruitment as a therapeutic target in CDKN2A/MTAP null cancers (2022)

Abstract PRMT5 is an essential arginine methyltransferase and a therapeutic target in MTAP-null cancers. PRMT5 uses adaptor proteins for substrate recruitment through a previously undefined mechanism. Here, we identify an evolutionarily conserved peptide sequence shared among the three known substrate adaptors (CLNS1A, RIOK1, and COPR5) and show that it is necessary and sufficient for interaction with PRMT5. We demonstrate that PRMT5 uses modular adaptor proteins containing a common binding motif for substrate recruitment, comparable with other enzyme classes such as kinases and E3 ligases. We structurally resolve the interface with PRMT5 and show via genetic perturbation that it is required for methylation of adaptor-recruited substrates including the spliceosome, histones, and ribosomal complexes. Furthermore, disruption of this site affects Sm spliceosome activity, leading to intron retention. Genetic disruption of the PRMT5-substrate adaptor interface impairs growth of MTAP-null tumor cells and is thus a site for development of therapeutic inhibitors of PRMT5. Current efforts are focused on understanding whether PRMT5-substrate adaptor disruption synergizes with immune therapies or new classes of PRMT5 inhibitors in CDKN2A/MTAP null cancer. Citation Format: Kathleen M. Mulvaney, Brian McMillan, Christa Blomquist, Nischal Acharya, Matthew Ranaghan, Devishi Kesar, Alessandra Ianari, William Sellers. PRMT5 substrate recruitment as a therapeutic target in CDKN2A/MTAP null cancers [abstract]. In: Proceedings of the American Association for Cancer Research Annual Meeting 2022; 2022 Apr 8-13. Philadelphia (PA): AACR; Cancer Res 2022;82(12_Suppl):Abstract nr 94.
Immunosuppressive Effects of Antilymphocyte Serum in Complement-Deficient Mice: Evidence that Immune Cytolysis Is Not Essential for ALS Activity (1970)

Summary The suppressive effect of antilymphocyte serum (ALS) on the immune response to sheep erythrocytes has been studied in complement deficient mice which lack C5. ALS proved to be equally as potent in depressing splenic plaqueforming cells and serum hemagglutinin and hemolysin titers in deficient as compared to normal mice. These findings indicate that antibody mediated, complement dependent immune cytolysis of lymphocytes is not essential for ALS activity since C5 is required for this. They support the view that ALS may contain antibodies which facilitate the elimination of lymphocytes by phagoeytosis (23), rather than by immune cytolysis.