gebhart/patrepeval huggingface dataset:
Self-stabilized adaptive allpass filters for phase equalization and approximation (2002)

In this paper, we present a simple adaptive filtering solution to general phase equalization and phase modeling tasks. Our proposed algorithm maintains approximate allpass constraints on the coefficients of an adaptive FIR filter in a self-stabilized manner. An analysis of an idealized IIR version of the technique shows that it converges to a unique stationary point corresponding to the optimal phase relationship between the processed signals. The relationship between the mean-squared error of the estimated phase response and the mean-squared error of the filter coefficients is also derived. Simulations verify that the proposed algorithm performs accurate phase equalization and approximation of unknown systems even in low signal-to-noise ratio conditions.
Advances in magnetospheric physics: Energetic particles (1975)

An account is given of energetic particle research in magnetospheric physics for the time period 1971–1974. Emphasis is on relating the various aspects of energetic particles to magnetospheric processes.
Square pulse LTD with 5<sup>th</sup> harmonic bricks (2013)

Up to now, the Square Pulse LTDs consisting of only 1 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">st</sup> and 3 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">rd</sup> harmonic bricks were developed and tested [1]. At the same time, discussions with pulsed power scientists indicated that the Square Pulse LTDs with additional 5 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">th</sup> harmonic bricks might be even more interesting for some applications. Such LTDs could produce output pulses with a faster rise time and most importantly a flatter and longer length pulse top. In the present report we describe the Square Pulse LTDs, including 5 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">th</sup> harmonics, and analyze their benefits and possible drawbacks.
Specifying Semantic Web Service Compositions using UML and OCL (2007)

The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of web services must be created by the software developer. A steep learning curve and lack of tool support for developing such descriptions thus far have created significant adoption barriers for semantic web service technologies. In this paper, we present a model-driven architecture based approach for specifying semantic web service compositions through the use of a UML profile that extends class and activity diagrams. This profile is used in transformations that facilitate automatic construction of OWLS specifications from UML diagrams. Conditions required by the composition, such as those on control constructs, are specified using OCL and transformed into SWRL during the construction process.
Innate lymphoid type 2 cells sustain visceral adipose tissue eosinophils and alternatively activated macrophages (2013)

Eosinophils in visceral adipose tissue (VAT) have been implicated in metabolic homeostasis and the maintenance of alternatively activated macrophages (AAMs). The absence of eosinophils can lead to adiposity and systemic insulin resistance in experimental animals, but what maintains eosinophils in adipose tissue is unknown. We show that interleukin-5 (IL-5) deficiency profoundly impairs VAT eosinophil accumulation and results in increased adiposity and insulin resistance when animals are placed on a high-fat diet. Innate lymphoid type 2 cells (ILC2s) are resident in VAT and are the major source of IL-5 and IL-13, which promote the accumulation of eosinophils and AAM. Deletion of ILC2s causes significant reductions in VAT eosinophils and AAMs, and also impairs the expansion of VAT eosinophils after infection with Nippostrongylus brasiliensis, an intestinal parasite associated with increased adipose ILC2 cytokine production and enhanced insulin sensitivity. Further, IL-33, a cytokine previously shown to promote cytokine production by ILC2s, leads to rapid ILC2-dependent increases in VAT eosinophils and AAMs. Thus, ILC2s are resident in VAT and promote eosinophils and AAM implicated in metabolic homeostasis, and this axis is enhanced during Th2-associated immune stimulation.
Reliability of the relative's questionnaire for assessment of outcome after brain injury (2000)

The data presented suggest that the RQ is a reliable instrument in collecting outcome information in brain-injured patients by postal survey. Further research is recommended to test the suitability of the RQ for the use as a telephone interview.
CCured in the real world (2003)

CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks where static verification is insufficient.This paper addresses major usability issues in a previous version of CCured, in which many type casts required the use of pointers whose representation was expensive and incompatible with precompiled libraries. We have extended the CCured type inference algorithm to recognize and verify statically a large number of type casts; this goal is achieved by using physical subtyping and pointers with run-time type information to allow parametric and subtype polymorphism. In addition, we present a new instrumentation scheme that splits CCured's metadata into a separate data structure whose shape mirrors that of the original user data. This scheme allows instrumented programs to invoke external functions directly on the program's data without the use of a wrapper function.With these extensions we were able to use CCured on real-world security-critical network daemons and to produce instrumented versions without memory-safety vulnerabilities.
Reservoir-Geomechanics Coupled Simulations: A Powerful Tool for Well Design and Operation in an HP-HT Environment (2005)

Abstract The unusual stress and depletion levels encountered in HP-HT fields make engineering wells in such an environment a technical challenge. The major reason for this is that all the aspects of the well's life, from well design and completion issues to operating philosophy, are significantly impacted by the mechanical behaviour of the reservoir. It is therefore important to be able to assess with accuracy the evolution with depletion of the in-situ stresses and rock deformations across the entire field, in order to optimise the design of the development wells. In that context, the use of reservoir-geomechanics coupled simulations becomes a corner stone to the well engineering philosophy. In this paper, numerous well design issues will be presented that could be successfully addressed thanks to a reliable prediction of the state of stress throughout the depletion history of the reservoir. They include basic mud weight window (MWW) calculations, the optimisation of well trajectories across faults, the risk of casing failure and most importantly the determination of the allowable time window for drilling wells. The benefits of the availability of the results of the coupled simulations for other aspects of the field development having a strong impact on the development strategy and planning, such as sanding risk assessment, will also be briefly discussed.
Multi-Period Production Capacity Planning for Integrated Product and Production System Design (2006)

This paper presents a simulation-based method to aid multi-period production capacity planning by quantifying the trade-off between product quality and production cost. The product quality is estimated as the statistical variation from the target performances obtained from the output tolerances of the production machines that manufacture the components. The production cost is estimated as the total cost of owning and operating a production facility during the planning horizon. Given demand forecasts in future production periods, a multi-objective genetic algorithm searches for the optimal types and quantity of the production machines to be purchased during each period, which simultaneously maximize the product quality and minimize the production cost during the entire planning horizon. Case studies on automotive valvetrain production are presented as a demonstration
Double-chirping of the waveguide grating router (1997)

Although chirping only the arm lengths of the waveguide grating router allows each input-output port combination to have a dominant passband in one grating order with the peak transmissivities in other orders suppressed, all but one of the dominant passbands necessarily have reduced peak transmissivities and increased widths, and the extraneous grating order passband suppression is limited. We show here that simultaneously chirping both the arm lengths and the angular distribution of the arms in one of the star couplers eliminates these deficiencies.
Seismic Attributes - a promising aid for geologic prediction (2006)

Seismic attributes have come a long way since their intro d u ction in the early 1970s and have become an integral part of seismic interpretation projects. To d a y, they are being used widely for lithological and petrophysical prediction of re s e rvoirs and various methodologies have been developed for their application to broader hydrocarbon exploration and development decision making. Beginning with the digital re c o rding of seismic data in the early 1960s and the ensuing bright spot analysis, the 1970s saw the introduction of complex trace attributes and seismic inversion along with their color displays. This was followed by the development of response attributes, introduction of texture analysis, 2D attributes, horizon and interval attributes and the pervasive use of c o l o r. 3D seismic acquisition dominated the 1990s as the most successful exploration technology of several decades and
Different GPI-attachment signals affect the oligomerisation of GPI-anchored proteins and their apical sorting (2008)

To understand the mechanism involved in the apical sorting of glycosylphosphatidylinositol (GPI)-anchored proteins (GPI-APs) we fused to the C-terminus of GFP the GPI-anchor-attachment signal of the folate receptor (FR) or of the prion protein (PrP), two native GPI-anchored proteins that are sorted apically or basolaterally, respectively, in MDCK cells. We investigated the behaviour of the resulting fusion proteins GFP-FR and GFP-PrP by analysing three parameters: their association with DRMs, their oligomerisation and their apical sorting. Strikingly, we found that different GPI-attachment signals differently modulate the ability of the resulting GFP-fusion protein to oligomerise and to be apically sorted. This is probably owing to differences in the GPI anchor and/or in the surrounding lipid microenvironment. Accordingly, we show that addition of cholesterol to the cells is necessary and sufficient to drive the oligomerisation and consequent apical sorting of GFP-PrP, which under control conditions does not oligomerise and is basolaterally sorted.
Functionalized Keggin- and Dawson-type cyclopentadienyltitanium heteropolytungstate anions: small, individually distinguishable labels for conventional transmission electron microscopy. 2. Reactions (1986)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTFunctionalized Keggin- and Dawson-type cyclopentadienyltitanium heteropolytungstate anions: small, individually distinguishable labels for conventional transmission electron microscopy. 2. ReactionsJohn F. W. Keana, Marc D. Ogan, Yixin. Lu, Michael. Beer, and J. VarkeyCite this: J. Am. Chem. Soc. 1986, 108, 25, 7957–7963Publication Date (Print):December 1, 1986Publication History Published online1 May 2002Published inissue 1 December 1986https://pubs.acs.org/doi/10.1021/ja00285a013https://doi.org/10.1021/ja00285a013research-articleACS PublicationsRequest reuse permissionsArticle Views986Altmetric-Citations59LEARN 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
AFLNET: A Greybox Fuzzer for Network Protocols (2020)

Server fuzzing is difficult. Unlike simple command-line tools, servers feature a massive state space that can be traversed effectively only with well-defined sequences of input messages. Valid sequences are specified in a protocol. In this paper, we present AFLNET, the first greybox fuzzer for protocol implementations. Unlike existing protocol fuzzers, AFLNET takes a mutational approach and uses state-feedback to guide the fuzzing process. AFLNET is seeded with a corpus of recorded message exchanges between the server and an actual client. No protocol specification or message grammars are required. AFLNET acts as a client and replays variations of the original sequence of messages sent to the server and retains those variations that were effective at increasing the coverage of the code or state space. To identify the server states that are exercised by a message sequence, AFLNET uses the server's response codes. From this feedback, AFLNET identifies progressive regions in the state space, and systematically steers towards such regions. The case studies with AFLNET on two popular protocol implementations demonstrate a substantial performance boost over the state-of the-art. AFLNET discovered two new CVEs which are classified as critical (CVSS score CRITICAL 9.8).
Synthesis and Characterization of Bi<sub>4</sub>Ti<sub>3</sub>O<sub>12</sub> Thin Films by Sol-Gel Processing (1993)

Stoichiometric Bi 4 Ti 3 O 12 thin films were prepared by sol-gel processing. This paper discusses the synthesis of polymerizable solutions containing Bi and Ti, and characterization of the resulting Bi 4 Ti 3 O 12 thin films. The formation of metallic alkoxide and acetate alkoxide are indispensable, soluble precursors for these multicomponent systems. The double alkoxide was prepared by allowing Bi acetate to react with Ti alkoxides. The development of the polymerizable solution system containing Bi and Ti required choosing appropriate solvents and metallo-organic sources for the two components. Bismuth acetate, titanium methoxyethoxide and the solvents 2-methoxyethanol and glacial acetic acid were selected based on their successful use in a number of related systems. Thin films of Bi 4 Ti 3 O 12 were obtained onto platinized Si substrates by spin casting, followed by heat-treated at 700°C. These films were later characterized by X-ray diffraction and SEM. The measured dielectric and ferroelectric properties of Bi 4 Ti 3 O 12 were as follows: dielectric constant 120, dielectric loss 0.5%, remanent polarization P r =4 µC/cm 2 , coercive field E c =1.8 kV/cm.
Research about alarm system for grounding cable disconnection in high-voltage cable grounding system (2010)

The theft of Grounding and coaxial cables, leads to the breakdown of cable protection layer's weak insulation and cable burning that may develop into a big accident indirectly without timely discovery and grounding system repair. The paper introduces a new alarm system for grounding cable disconnection. Its function, structure and characteristics are discussed and the paper emphatically expounds the key technology and the project optimization about disconnection signal acquisition module, suspension CT power supply module, power management module, signal monitoring management module, GSM module, remote monitoring software module etc., and also discusses the feasibility of the application of on-line monitoring.
Last-level cache deduplication (2014)

Caches are essential to the performance of modern micro- processors. Much recent work on last-level caches has focused on exploiting reference locality to improve efficiency. However, value redundancy is another source of potential improvement. We find that many blocks in the working set of typical benchmark programs have the same values. We propose cache deduplication that effectively increases last- level cache capacity. Rather than exploit specific value redundancy with compression, as in previous work, our scheme detects duplicate data blocks and stores only one copy of the data in a way that can be accessed through multiple physical addresses. We find that typical benchmarks exhibit significant value redundancy, far beyond the zero-content blocks one would expect in any program. Our deduplicated cache effectively increases capacity by an average of 112% com- pared to an 8MB last-level cache while reducing the physical area by 12.2%, yielding an average performance improvement of 15.2%.
Blood lipid profiles and peripheral blood mononuclear cell cholesterol metabolism gene expression in patients with and without methotrexate treatment (2011)

We demonstrated novel findings on the increased gene expressions of atheroprotective protein HY27 and ABCA1 in human peripheral blood mononuclear cells (PBMCs) with clinical use of low-dose MTX. Whether MTX induced HY27 and ABCA1 expressions can protect against cardiovascular disease in patients with chronic inflammation through the facilitation of cholesterol export remains to be established. Further studies on the impacts of low-dose MTX on hypercholesterolemic patients are underway.
Technologies towards broadband ISDN (1990)

It is argued that it is vital to form a sound strategy for developing broadband integrated services digital network (BISDN) technology and services and deploying them in the field, so that smooth migration from the existing network is accelerated. Three major steps in this context are to expand fiber networks into the subscriber loop area to provide broadband capabilities everywhere, to construct a universal digital network that facilitates smooth evolution from the existing network to the broadband network of the future through deployment of (SDH) synchronous digital hierarchy transmission systems, and to integrate both services and network components through introduction of asynchronous transfer mode (ATM) technologies. Development efforts now being carried out at Fujitsu and Fujitsu Laboratories along this line are described, and the impact on network construction and service offerings is indicated.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Microinjected Xenopus oocytes synthesize active human plasminogen activator (1981)

Induction of synthesis of the protease plasminogen activator (PA) by hormones, oncogenic viruses and tumor promoters occurs at the transcription level. A novel bioassay for PA messenger RNA was developed to study the regulation of PA synthesis and the genetic elements involved in it. Poly(A)-containing RNA from HEp-3, a PA-rich tumor of human origin, was found to direct the synthesis of a new proteolytic activity when microinjected into Xenopus oocytes. Newly synthesized protease can be detected within a few hours after microinjection of minute quantities of unfractionated mRNA. The new enzymatic activity is indistinguishable from human PA: it is absolutely dependent on human plasminogen; it is neutralized by serum raised against urokinase, the human urinary PA; and it comigrates with urokinase and HEp-3 PA in gel electrophoresis, exhibiting a molecular weight of 60,000.
Weight Loss After Stroke (2008)

Weight loss >3 kg after stroke indicates the need for closer observation regarding nutritional status. Monitoring of body weight may be useful, particularly among patients with severe stroke, eating difficulties, low prealbumin values, and impaired glucose metabolism.
Bayesian Phylogenetic Analysis of Combined Data (2004)

The recent development of Bayesian phylogenetic inference using Markov chain Monte Carlo (MCMC) techniques has facilitated the exploration of parameter-rich evolutionary models. At the same time, stochastic models have become more realistic (and complex) and have been extended to new types of data, such as morphology. Based on this foundation, we developed a Bayesian MCMC approach to the analysis of combined data sets and explored its utility in inferring relationships among gall wasps based on data from morphology and four genes (nuclear and mitochondrial, ribosomal and protein coding). Examined models range in complexity from those recognizing only a morphological and a molecular partition to those having complex substitution models with independent parameters for each gene. Bayesian MCMC analysis deals efficiently with complex models: convergence occurs faster and more predictably for complex models, mixing is adequate for all parameters even under very complex models, and the parameter update cycle is virtually unaffected by model partitioning across sites. Morphology contributed only 5% of the characters in the data set but nevertheless influenced the combined-data tree, supporting the utility of morphological data in multigene analyses. We used Bayesian criteria (Bayes factors) to show that process heterogeneity across data partitions is a significant model component, although not as important as among-site rate variation. More complex evolutionary models are associated with more topological uncertainty and less conflict between morphology and molecules. Bayes factors sometimes favor simpler models over considerably more parameter-rich models, but the best model overall is also the most complex and Bayes factors do not support exclusion of apparently weak parameters from this model. Thus, Bayes factors appear to be useful for selecting among complex models, but it is still unclear whether their use strikes a reasonable balance between model complexity and error in parameter estimates.
Trichostatin A attenuates airway inflammation in mouse asthma model (2004)

TSA attenuated the development of allergic airway inflammation by decreasing expression of the Th2 cytokines, IL-4 and IL-5, and IgE, which resulted from reduced T cell infiltration. Our results suggest that HDAC inhibition may attenuate the development of asthma by a T cell suppressive effect.