gebhart/patrepeval huggingface dataset:
A De-compositional Approach to Regular Expression Matching for Network Security Applications (2016)

Regular expressions are a very common tool for network security applications because they can match precisely and maintain high matching speed even for many simultaneous patterns. Their core feature is efficient representation as an automaton, where much of the interaction between patterns can be pre-computed and aggregated. Many algorithms have been devised to try and improve this pre-computation to not take exponential space while keeping high performance, but none has met all the requirements of fast, automated construction, small memory image, and high matching speed. We present Match Filtering, a technique for de-composing regular expressions into segments that can be matched independently, while a stateful post-processing engine filters these matches to eliminate those that do not correspond to matches of the original regular expression. Using standard CPU instructions, the post-processing engine can more efficiently represent constructs that would require a multiplicative increase in automaton states. Because the pre-processing is simple, automaton construction can be automated and fast, and because most on-line processing is done by a DFA, its matching speed is close to that of a DFA alone. We demonstrate experimentally 30× smaller, fast (seconds, not minutes) automaton construction and 43% faster matching speeds than state-of-the-art software algorithms.
A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex\n Optimization (2021)

This paper considers decentralized stochastic optimization over a network of\n$n$ nodes, where each node possesses a smooth non-convex local cost function\nand the goal of the networked nodes is to find an $\\epsilon$-accurate\nfirst-order stationary point of the sum of the local costs. We focus on an\nonline setting, where each node accesses its local cost only by means of a\nstochastic first-order oracle that returns a noisy version of the exact\ngradient. In this context, we propose a novel single-loop decentralized hybrid\nvariance-reduced stochastic gradient method, called GT-HSGD, that outperforms\nthe existing approaches in terms of both the oracle complexity and practical\nimplementation. The GT-HSGD algorithm implements specialized local hybrid\nstochastic gradient estimators that are fused over the network to track the\nglobal gradient. Remarkably, GT-HSGD achieves a network topology-independent\noracle complexity of $O(n^{-1}\\epsilon^{-3})$ when the required error tolerance\n$\\epsilon$ is small enough, leading to a linear speedup with respect to the\ncentralized optimal online variance-reduced approaches that operate on a single\nnode. Numerical experiments are provided to illustrate our main technical\nresults.\n
Anionic polymerization of butadiene: A MNDO study of the potential energy surface of the propagation reaction in polar and non‐polar media (1993)

Abstract The anionic polymerization of butadiene, to both the 1,2‐ and 1,4‐addition products, is an important industrial process. It is known that the reaction can be steered to either the 1,2‐ or 1,4‐product by the addition, or absence, of a complexing solvent such as ether. The goals of the current study were to map the MNDO Potential Energy Surfaces (PES) of the propagation reactions both in the presence and absence of dimethyl ether to gain insight into the factors influencing the reaction's selectivity. Single point ab initio calculations at the DZP level were run on all reactants, products and transition states as a cross check on the MNDO results.
High-Power Brayton Rotating Unit for Reactor and Solar Dynamic Power Systems (2009)

The University of New Mexico Brayton Rotating Unit-3 (UNM-BRU-3), designed for 40 g/mole He-Xe working fluid, is optimized for shaft speed of 45 krpm, turbine and compressor inlet temperatures of 1149 and 400 K, and thermal power input of 157 k W th . At these conditions, the electrical power and thermal efficiency are 54.2 k W e and 34.5%, the compressor exit pressure is 1.044 MPa, the He-Xe flow rate is 1.54 kg/s, and the corresponding specific mass is 0.98 kg/kW e . Investigated are the effects of decreasing the turbine inlet temperature to 900 K and the thermal power input to 40 k W th and varying the shaft speed from 30 to 55 krpm. At 900 K turbine inlet temperature, thermal power input of 157 k W th , and shaft rotation speed of 45 krpm, the UNM-BRU-3 has a thermal efficiency of 22.8% and generates 34.2 k W e at a compressor exit pressure of 1.3 MPa and He-Xe flow rate of 2.07 k g/s; but the specific mass of the unit increases to ∼1.55 kg/k W e . The unit performance at 900 K is attractive for early deployment of space reactor and solar dynamics power systems with stainless steel structure, thus minimizing development cost and enhancing operation reliability and life. The low specific mass of UNM-BRU-3 will reduce the total mass and launch cost of these systems.
When Selecting an Adeno‐associated Viral Vector Serotype, Cell Monolayer Transduction Efficiency Does Not Accurately Predict Tissue Transduction Efficiency in Equine Synovial Tissues (2009)

Low transduction efficiency of synovial tissues is a key concern in osteoarthritis gene therapy approaches. To determine the most efficient gene transfer strategy for effective in‐situ treatment of articular tissues, eight adeno‐associated viral vector (AAV) serotypes were assessed in monolayer‐cultured equine synovial cells and synovial tissue explants. Of the eight serotypes tested at 1x10 2 genome copies (GC) per cell, AAV2/2 produced the highest transduction efficiency in monolayer‐cultured cells followed by vector AAV2/5. When GC per cell was increased 10‐fold, again vector AAV2/2 produced the highest transduction efficiency followed by vector AAV2/5. However, when the same candidate vectors were used to transduce freshly‐collected synovial tissue explants, the hierarchy in transduction efficiency had changed. At approximately 3x10 2 GC per cell, vector AAV2/6.2 now produced the highest transduction efficiency followed by vector AAV2/5. When the GC per cell was increased 10‐fold, again vector AAV2/6.2 produced the highest transduction efficiency followed by vector AAV2/5. We conclude that vector AAV2/6.2 appears to be a superior vector for transduction of fibrous synovial joint tissues and that cell monolayer transduction efficiency does not accurately predict tissue transduction efficiency. Research support was provided by Brushwood Stables.
Spin-Coating of Designed Functional Planar Defects in Opal Film:  Generalized Synthesis (2006)

A general method for preparing functional defects in colloidal photonic crystals (CPCs) by spin-coating is reported. A sacrificial sugar filling prevents the defect material from penetrating into the CPC voids. Fluorescent defect CPCs with strongly modulated light output and a mechanically tunable CPC incorporating an elastomeric defect are demonstrated.
Theetsmultigene family is conserved throughout the Metazoa (1993)

This study provides the first empirical evidence for the conservation of the ets proto-oncogene transcription factor family throughout the Metazoa. Using the polymerase chain reaction with degenerate primers corresponding to conserved sequences within the ETS DNA-binding domain, we have detected ets genes in a range of lower metazoans, including sponges, ctenophores, anemones, flatworms and nematodes, and in several higher invertebrate metazoans. Many of these sequences are significantly divergent from the original v-ets-1 oncogene, although most can be aligned with recently defined groups within the ets gene family. Multiple ETS domain sequences were detected in a number of the lower metazoan species, providing evidence for the existence of an ets multigene family at the earliest stages of metazoan evolution. In contrast, we were unable to detect any ETS sequences in fungal, plant or several protozoan DNAs. Our findings suggest that the duplication and divergence of ets proto-oncogenes responsible for generating the multigene family occurred concomitantly with the development of metazoan animals. In addition, these data corroborate other recent molecular evidence in providing strong support for the monophyletic origin of all multicellular animals, including sponges.
Punch Your Way to Fitness (2008)

pad work is increasingly popular, but often people don't know how to get the most out of pads. Worse, people can get injured if they don't know how to punch. In Focus Pad Fitness, veteran boxing trainer Ian Oliver guides you through padwork and gives a thorough, inspirational range of drills to get you fighting fit.
Molecular targeting of Alzheimer's amyloid plaques for contrast‐enhanced magnetic resonance imaging (2002)

Smart molecular probes for both diagnostic and therapeutic purposes are expected to provide quantum advances in clinical medicine and biomedical research. We describe such a probe that targets amyloid plaques of Alzheimer's disease and has been labelled with gadolinium to impart contrast detectable by magnetic resonance imaging. Although amyloid plaques are a primary pathologic feature of Alzheimer's disease and amyloid reduction is a major therapeutic objective in Alzheimer's disease, no method currently exists for directly imaging human amyloid plaques in vivo . However, with the aid of a target specific contrast agent, imaging of amyloid plaques is theoretically possible with magnetic resonance imaging. We describe experiments proving that three essential properties exist in the smart molecular probe, putrescine‐gadolinium‐AB peptide: (1) transport across the blood–brain barrier following intravenous injection conferred by the polyamine moiety (2) binding to plaques with high affinity by putrescine‐AB, and (3) magnetic resonance imaging contrast by gadolinium. The plaque‐to‐background tissue contrast‐to‐noise ratio was enhanced more than 9 fold in all regions of cortex and hippocampus following intravenous administration of putrescine‐gadolinium‐AB in Alzheimer's disease transgenic mice. The ability of this magnetic resonance contrast probe to image plaques in vivo may enable early diagnosis and also provide a direct measure of the efficacy of antiamyloid therapies currently being developed. With the appropriate target specific probe (e.g. antibody), this technique could be applied to many other central nervous system disorders and targets.
Addition of an α‐Hydroxy Acid to the Genetic Code of Bacteria (2007)

Macht durchaus Sinn! p-Hydroxy-L-phenylmilchsäure wurde in Proteine in E. coli eingebaut, indem das Ansprechverhalten dieser α-Hydroxysäure auf ein Amber-Nonsense-Codon genutzt wurde. Diese ortsspezifische Einführung von Estermutationen in ein Proteinrückgrat wurde eingesetzt, um einen Affinitätsmarker ortsspezifisch zu hydrolysieren und um den energetischen Beitrag von Wasserstoffbrücken im Rückgrat zur Proteinstabilität zu ermitteln.
Low Hopes, High Expectations (2012)

This article revisits two classical issues in experimental methodology: experimenter bias and demand characteristics. We report a content analysis of the method section of experiments reported in two psychology journals (Psychological Science and the Journal of Personality and Social Psychology), focusing on aspects of the procedure associated with these two phenomena, such as mention of the presence of the experimenter, suspicion probing, and handling of deception. We note that such information is very often absent, which prevents observers from gauging the extent to which such factors influence the results. We consider the reasons that may explain this omission, including the automatization of psychology experiments, the evolution of research topics, and, most important, a view of research participants as passive receptacles of stimuli. Using a situated social cognition perspective, we emphasize the importance of integrating the social context of experiments in the explanation of psychological phenomena. We illustrate this argument via a controversy on stereotype-based behavioral priming effects.
Far-infrared resonant model absorption by erbium impurities in CaF2 (1975)

Using high-resolution far-infrared spectroscopy the vibrational properties of the Er3+-F- tetragonal complex in CaF2 has been studied at low temperatures. Three principal resonant peaks are observed in the absorption spectrum at 75.38, 91.6 and 107 cm-1. From polarization measurements on Er3+-F- dipoles aligned in a static electric field, the broad 107 cm-1 peak is found to consist of two components centred at 106 and 109 cm-1, corresponding to vibrations of the Er3+ ion parallel and perpendicular to the tetragonal axis respectively. The sharp 91.6 cm-1 line is polarized perpendicular to the tetragonal axis and is assigned to a librational mode of the complex. Induced displacement of the charge-compensating F- ion by X-ray irradiation at low temperature causes a decrease in the intensity of this mode, which tends to support the assignment.
Two-User Interference Channels with Local Views: On Capacity Regions of\n TDM-Dominating Policies (2011)

We study the capacity regions of two-user interference channels where\ntransmitters base their transmission schemes on local views of the channel\nstate. Under the local view model, each transmitter knows only a subset of the\nfour channel gains, which may be mismatched from the other transmitter.\n We consider a set of seven local views, and find that for five out of the\nseven local views, TDM is sufficient to achieve the qualified notion of\ncapacity region for the linear deterministic interference channel which\napproximates the Gaussian interference channel. For these five local views, the\nqualified capacity result implies that no policy can achieve a rate point\noutside the TDM region without inducing a corner case of sub-TDM performance in\nanother channel state. The common trait shared by the two remaining local views\n- those with the potential to outperform TDM - is transmitter knowledge of the\noutgoing interference link accompanied by some common knowledge of state,\nemphasizing their importance in creating opportunities to coordinate usage of\nmore advanced schemes.\n Our conclusions are extended to bounded gap characterizations of the capacity\nregion for the Gaussian interference channel.\n
Genomic and Biochemical Characterization of Acinetobacter Podophage Petty Reveals a Novel Lysis Mechanism and Tail-Associated Depolymerase Activity (2018)

The increased prevalence of drug-resistant, nosocomial <i>Acinetobacter</i> infections, particularly from pathogenic members of the <i>Acinetobacter calcoaceticus-baumannii</i> complex, necessitates the exploration of novel treatments such as phage therapy. In the present study, we characterized phage Petty, a novel podophage that infects multidrug-resistant <i>Acinetobacter nosocomialis</i> and <i>Acinetobacter baumannii</i> Genome analysis reveals that phage Petty is a 40,431-bp ϕKMV-like phage, with a coding density of 92.2% and a G+C content of 42.3%. Interestingly, the lysis cassette encodes a class I holin and a single-subunit endolysin, but it lacks canonical spanins to disrupt the outer membrane. Analysis of other ϕKMV-like genomes revealed that spaninless lysis cassettes are a feature of phages infecting <i>Acinetobacter</i> within this subfamily of bacteriophages. The observed halo surrounding Petty's large clear plaques indicated the presence of a phage-encoded depolymerase capable of degrading capsular exopolysaccharides (EPS). The product of gene 39, a putative tail fiber, was hypothesized to possess depolymerase activity based on weak homology to previously reported phage tail fibers. The 101.4-kDa protein gene product 39 (gp39) was cloned and expressed, and its activity against <i>Acinetobacter</i> EPS in solution was determined. The enzyme degraded purified EPS from its host strain <i>A. nosocomialis</i> AU0783, reducing its viscosity, and generated reducing ends in solution, indicative of hydrolase activity. Given that the accessibility to cells within a biofilm is enhanced by degradation of EPS, phages with depolymerases may have enhanced diagnostic and therapeutic potential against drug-resistant <i>Acinetobacter</i> strains.<b>IMPORTANCE</b> Bacteriophage therapy is being revisited as a treatment for difficult-to-treat infections. This is especially true for <i>Acinetobacter</i> infections, which are notorious for being resistant to antimicrobials. Thus, sufficient data need to be generated with regard to phages with therapeutic potential, if they are to be successfully employed clinically. In this report, we describe the isolation and characterization of phage Petty, a novel lytic podophage, and its depolymerase. To our knowledge, it is the first phage reported to be able to infect both <i>A. baumannii</i> and <i>A. nosocomialis</i> The lytic phage has potential as an alternative therapeutic agent, and the depolymerase could be used for modulating EPS both during infections and in biofilms on medical equipment, as well as for capsular typing. We also highlight the lack of predicted canonical spanins in the phage genome and confirm that, unlike the rounding of lambda lysogens lacking functional spanin genes, <i>A. nosocomialis</i> cells infected with phage Petty lyse by bursting. This suggests that phages like Petty employ a different mechanism to disrupt the outer membrane of <i>Acinetobacter</i> hosts during lysis.
Molecular Motion of Hydrogen-Bonded CH3CN in H-MFI:  A 1H, 2H, and 13C Multinuclear Nuclear Magnetic Resonance Study (2000)

The dynamics associated with the adsorption complex formed by CH3CN at Brønsted sites in the high-silica zeolite H-MFI have been explored using 1H, 2H, and 13C nuclear magnetic resonance (NMR) spectra measured as a function of temperature between 78 and 400 K. A simple NMR line-shape theory, based on rapid, small-angle reorientations of the CH3CN molecular axis with a temperature-dependent amplitude, has been used to account for the data. An anisotropic, angular motion is observed with a small amplitude at low temperatures increasing to approximately ±35° from its average position at room temperature. This motion is primarily constrained to a plane in the zeolite, but a distribution in amplitudes for different types of sites is required to fully account for the data. At higher temperatures, the powder line shapes are completely motionally narrowed, presumably due to exchange between physisorbed molecules and those bound to the sites.
Configuring compute nodes of a parallel computer in an operational group into a plurality of independent non-overlapping collective networks (2023)

Methods, apparatus, and products are disclosed for configuring compute nodes of a parallel computer in an operational group into a plurality of independent non-overlapping collective networks, the compute nodes in the operational group connected together for data communications through a global combining network, that include: partitioning the compute nodes in the operational group into a plurality of non-overlapping subgroups; designating one compute node from each of the non-overlapping subgroups as a master node; and assigning, to the compute nodes in each of the non-overlapping subgroups, class routing instructions that organize the compute nodes in that non-overlapping subgroup as a collective network such that the master node is a physical root.
Development of a High Speed HTS Generator for Airborne Applications (2009)

General Electric, under contract with the Air Force Research Labs (AFRL), has successfully developed and tested a high speed, multimegawatt superconducting generator. The generator was built to demonstrate high temperature superconducting (HTS) generator technology for application in a high power density Multimegawatt Electric Power System (MEPS) for the Air Force. The demonstration tested the generator under load conditions up to 1.3 MW at over 10,000 rpm. The new MEPS generator achieved 97% efficiency including cryocooler losses. All test results indicate that the generator has a significant margin over the test points and that its performance is consistent with program specifications. This demonstration is the first successful full-load test of a superconducting generator for the Air Force. In this paper we describe the development of the generator and present some key test results used to validate the design. Extrapolation to a higher power density generator is also discussed.
Dual-band Air-Ground Radio Performance: Example Flight Test Results (2023)

We recently concluded a four-year University Leadership Initiative (ULI) project sponsored by NASA, which investigated multiple aviation communications technology areas aimed at enhancing future aviation safety. These areas were dual-band air-ground communications for air traffic management, detection and interdiction of small drones, and high-capacity terrestrial airport communications networking. In this paper we report on flight test results of our dual-band radios. These radios were designed to use a spectrally efficient multi-carrier modulation, filterbank multicarrier (FBMC), which we had previously shown to improve resilience to high-power distance measurement equipment (DME) adjacent-channel interference, in comparison to existing orthogonal frequency division multiplexing (OFDM) schemes. In our NASA project, we designed the FBMC radios to extend performance even further, using the following techniques: (i) simultaneous dual-band transmission and reception; (ii) ground station (GS) spatial diversity; (iii) higher-order modulation for a factor of 5 capacity increase over QPSK; (iv) a Doppler-resilient option using a smaller number of subcarriers; and, (v) 5-MHz bandwidth C-band transmissions for an order of magnitude capacity increase over existing 500-kHz channel schemes. To our knowledge, these are novel achievements for civil aviation, and our flight test results attained a technology readiness level (TRL) of 5. In this paper we briefly describe the project history, in which we spent approximately one year working with Boeing to participate in one of their Eco-Demonstrator flight trials, and obtained special temporary authorizations to transmit in both the L-band and C-band, from the FAA, the FCC, and the DoD. When COVID-19 dispersed worldwide, Boeing was no longer able to support us, so we revised our plans and teamed with the South Carolina Civil Air Patrol (SC CAP) to conduct smaller-scale flight tests. This paper summarizes the radio designs and the novel features we employed, as well as analyses, computer simulations, and laboratory tests prior to terrestrial mobile testing, all of which culminated in our successful flight tests. We show example flight test results that serve as proof of concept for all the five aforementioned radio performance enhancements. Example results include signal-to-noise ratio and bit error ratio, diversity gains, and throughput gains through both higher-order modulation and wider bandwidth channels. We also report on some lessons learned, and some ideas for future advancement of our work.