gebhart/patrepeval huggingface dataset:
Rewriting term-graphs with priority (2006)

We define a new class of rewrite systems operating over term-graphs. Our aim is twofold. First we propose to extend classical first-order rewrite rules in order to process easily data-structures with pointers (e.g., circular lists, doubly linked lists etc). For that, our rules provide specific features such as pointer (edges) redirections, relabeling of existing nodes etc. Unfortunately, such features are very often source of non confluence. Our second aim is then to ensure confluence of the considered rewrite systems in the new class. We introduce the notion of term-graphs with priority and show that orthogonal rewrite systems are confluent in our setting
Present State and Future Prospect of Rapidly Solidified Aluminum-based Alloys. (1994)

This paper aims to review our recent results on the microstructure and mechanical properties of rapidly solidified Al-based alloys. The formation of non-periodic
Analyzing Team Decision-Making in Tactical Scenarios (2009)

Team decision-making is a bundle of interdependent activities that involve gathering, interpreting and exchanging information; creating and identifying alternative courses of action; choosing among alternatives by integrating the often different perspectives of team members and implementing a choice and monitoring its consequences. To accomplish joint tasks, human team members often assume distinctive roles in task completion. We believe that to design and build software agents that can assist human teams, we need develop automated techniques to identify the roles of the human decision-makers. If the supporting agents are insensitive to shifts in the team's roles, they cannot effectively monitor the team's activities. This article addresses the problem of doing offline role analysis of battle scenarios from multi-player team games. The ability to identify team roles from observations is important for a wide range of applications including automated commentary generation, game coaching and opponent modeling. We define a role as a preference model over possible actions based on the game state. This article explores two promising approaches for automated role analysis: (1) a model-based system for combining evidence from observed events using the Dempster-Shafer theory and (2) a data-driven discriminative classifier using support vector machines. © The Author 2009.
Electrosynthesis and characterization of biotin-functionalized poly(terthiophene) copolymers, and their response to avidin (2005)

Using a succinyl ester linker, a terthiophene bearing a pendant biotin hydrazide in the 3′ position (4-{N′-[5-(4,6-dioxo-hexahydrothieno[3,4-c]pyrrol-3-yl)-pentanoyl]hydrazino}-4-oxo-butyric acid 2-[2,2′:5′,2″]terthiophen-3′-yl-ethyl ester, 4) has been prepared in three steps from 2-[2,2′:5′,2″]-terthiophen-3′-yl-ethanol, 2, via succinic acid mono-(2-[2,2′,5′,2″]-terthiophene-3′-yl-ethyl) ester, 3. Using the ‘oligomer as monomer’ approach, polyterthiophene (co)polymer films have been generated, on Pt, Au and ITO-coated glass working electrodes, by repetitive scan cyclic voltammetry of solutions of 2,2′:5′,2″-terthiophene, or either 3 or 4 along with 2,2′:5′,2″-terthiophene itself. These films have been characterized by cyclic voltammetry (CV), electrochemical impedance spectra (EIS) and in situ reflectance FTIR spectroscopy. FTIR spectroscopy suggests that the 2,2′:5′,2″-terthiophene : 4 copolymer contains intact biotin moieties. The incubation of poly-2,2′:5′,2″-terthiophene and 2,2′:5′,2″-terthiophene : 4 copolymer with aqueous buffer solutions, followed by transfer back to CH3CN/0.1 M TEAT, results in only small changes in the film CV, whereas exposure of the biotin-functionalized 2,2′:5′,2″-terthiophene : 4 copolymer to avidin causes drastic changes to its CV and its EIS, consistent with the binding of avidin by biotin resulting in restricted ion transfer to and from the polymer. The minimum amount of avidin which causes a detectable change in the electrochemistry of a 0.03 cm2 2,2′:5′,2″-terthiophene : 4 copolymer-modified electrode is 5 × 10−14 moles. Exposure of the 2,2′:5′,2″-terthiophene : 4 copolymer to excess bovine serum albumin in buffer causes only the same small changes in its electrochemistry as exposure to buffer alone, ruling out nonspecific adsorption as a cause of the electrochemical changes on avidin exposure.
Double heterostructure Pb1−<i>x</i>Sn<i>x</i>Te waveguides at 10.6 μm (1975)

High−optical−quality planar waveguides have been fabricated in the Pb1−xSnxTe alloy system by molecular beam expitaxy. The structures consist of a 6−μm−thick low−carrier−concentration (≲4×1016 cm−3) Pb0.92Sn0.08Te layer vacuum deposited on an n−type PbTe substrate followed by a second 0.5−μm−thick epitaxial layer of n−type PbTe. The measured propagation loss of ⩽1.5 cm−1 (6.5 dB/cm) for TE−polarized 10.6−μm laser radiation in these waveguides at 77 K is sufficiently low for integrated optical circuits in this wavelength range, and the waveguide fabrication techniques are compatible with those used for lasers and detectors in Pb1−xSnxTe epitaxial layers.
Oxidative DNA Lesions in a Rodent Model of Traumatic Brain Injury (2004)

Oxidative DNA lesions occurred in this model of TBI maximally early after TBI. This suggests that oh8dGs may affect genetic material of the brain and that oh8dGs may adversely affect gene expression that occurs early after head injury.
LIPIDS IN BLUE‐GREEN ALGAL MATS (MODERN STROMATOLITES) FROM ANTARCTIC OASIS LAKES<sup>1</sup> (1986)

ABSTRACT Lipids comprising the stenols, stanols, polar lipid fatty acids, alkanes and alkenes of blue‐green algal‐(diatomaceous)‐microbial mats and cores (modern cold water stromatolites) collected from three Antarctic lakes were identified and compared with those of other algae. The major stenols were: (cholesta‐5, 22‐dien‐3β‐ol, cholest‐5‐en‐3β‐ol, 24‐methylcholesta‐5, 22‐dien‐3β‐ol, 24‐methyl‐cholest‐5‐en‐3β‐ol, 24‐ethylcholesta‐5, 22‐dien‐3β‐ol, and 24‐ethylcholest‐5‐en‐3β‐ol). The presence of C28 Δ 3, 22 stenols, as well as other C28 stenols, was suggestive of diatom input. C29 stenols may have originated from blue‐grern algae. However, the high concentrations of stenols present and the lack of Δ 7 stenols was atypical for known stenol components of several blue‐green algal species previously reported. The occurrence of these stenols and other lipid markers strongls implicate diatoms as well as blue‐green algae as important biogenetic sources of lipids and has established the potential for studies of lipid diagenesis in these unique cold, freshwater stromatolites .
Quantification of cross-reactive idiotype-positive rheumatoid factor produced in autoimmune rheumatic diseases. An indicator of clonality and B cell proliferative mechanisms (1991)

The aetiology of sustained autoantibody production in human autoimmune diseases is unknown. Evidence for structural similarities and common clonal origin among autoantibodies have been demonstrated through the expression of cross-reactive idiotype (CRI). In the present study we use four monoclonal antibodies (MoAbs) with specificity for non-overlapping CRI on human rheumatoid factor (RF) autoantibodies to define the structural features of polyclonal RF characteristic of patients with autoimmune rheumatic diseases. The pattern of CRI expression in the serum of 12 patients with rheumatoid arthritis (RA), eight with systemic lupus erythematosus (SLE) and 20 with primary Sjögren's syndrome and 34 normal individuals were determined in parallel with the level of IgM RF, IgA RF and autoantibodies to the cellular antigens SS-A, SS-B, Sm, nRNP and dsDNA and cryoglobulins. The results demonstrate significant elevation in the level of IgM and IgA expressing VHI (G6 and G8) and VHIII (B6 and D12) associated CRI in the serum of patients with autoimmune rheumatic diseases compared with normal individuals. These increases paralleled, but did not equal the increase in the level of immunoglobulins and RF. However, when expressed as proportion of immunoglobulin, only the VHI-associated CRI were significantly elevated in patients compared with normal individuals. The proportion of IgM RF expressing the VHI-associated CRI was higher in patients with Sjögren's syndrome compared with SLE and RA. Furthermore, the proportion of IgA RF expressing the G6 CRI was higher than G6+ IgM RF. These findings imply that different mechanisms contribute to RF production in autoimmune diseases. It is suggested that polyconal B cell activation is likely to be a contributing mechanism. However, such polyclonal activation is unlikely to be random since a selective elevation in the level of specific autoantibodies and VHI-associated CRI is observed. Furthermore, the data demonstrate that a proportion of autoantibodies in autoimmune diseases are immunoglobulin germline gene encoded. This is more evident in some patients with primary Sjögren's syndrome, where RF is likely to be oligoclonal or monoclonal in individuals with lymphoproliferation.
Breaking away from the norm: a new perspective on cancer therapeutics (2014)

Cancer chemotherapy: its effect and impact Most cancer patients, especially those with advanced disease, receive treatment with a cocktail of cytotoxic drugs, many of which are associated with severe side effects, both in the short and longer term. These lead to dose reductions and delays in treatment and can even mean that treatment has to be stopped early, limiting the use of otherwise very effective drug regimens.
LA PHYSIQUE DES RADIATIONS IONISANTES POUR LES NEOPHYTES (2014)

peer reviewed
Application of the p53 and K-ras gene mutation patterns for cytologic diagnosis of recurrent lung carcinomas (2000)

The authors successfully detected the same mutations in recurrent cytologic specimens as those in the initially resected tumors by PCR-SSCP analysis. These findings suggest that the p53 and K-ras gene mutation patterns are effective markers for the detection of recurrent lung carcinoma in cytologic specimens. Cancer (Cancer Cytopathol)
Mimicking Expressiveness of Movements by Autistic Children in Game Play (2012)

Children with Autistic Spectrum Disorder (ASD)have marked impairments in social interaction. Imitation is a basic social interaction behavior, and mimicking as an element of imitation can be a diagnostic marker for autism and thus a skill that can be targeted by behavioral training. In a comparative study between children with and without autism (n=20), we designed a test that aims to find differences in mimicking expressiveness in a real-life setting. The Wii boxing game was chosen as an environment that can trigger expressiveness in children. Two measures were chosen to rate expressiveness: using observers and using a Microsoft Kinect 3-D camera in combination with motion analysis software. Results from the software tool show that the ASD-group is not influenced by the expressiveness of a confederate, while the control-group is. These results suggest that autistic children do not mimic expressiveness in game play and that this can be detected using a software tool.
Analysis, design and control of a two stage improved power quality telecommunication power supply (2012)

This paper deals with the power quality improvement at the utility interface of a telecommunication switched mode power supply (SMPS) of 12 kW rating. The first stage of this SMPS consists of a 6-pulse diode bridge converter that performs ac-dc conversion yielding an unregulated dc voltage. In the second stage, two boost rectifiers are connected together which feed to a boost dc-dc full bridge converter connected to the output load. By means of a closed loop control, appropriate value of third harmonic component of the current is injected using a zig-zag transformer to reduce the current harmonics distortion at the utility interface. A detailed design procedure is presented to select various components of the SMPS system.
The First Optically Active Polycarbazoles (2003)

ADVERTISEMENT RETURN TO ISSUEPREVCommunication to the...Communication to the EditorNEXTThe First Optically Active PolycarbazolesZhong-Biao Zhang, Masao Motonaga, Michiya Fujiki, and Charles E. McKennaView Author Information Department of Chemistry, University of Southern California, Los Angeles, California 90089-0744; JST-CREST; and Advanced Polymer Science Laboratory, Graduate School of Material Science, Nara Advanced Institute of Science and Technology (NAIST), 8916-5 Takayama, Ikoma, Nara 630-0101, Japan Cite this: Macromolecules 2003, 36, 19, 6956–6958Publication Date (Web):August 23, 2003Publication History Received3 April 2003Revised24 July 2003Published online23 August 2003Published inissue 1 September 2003https://pubs.acs.org/doi/10.1021/ma0344184https://doi.org/10.1021/ma0344184rapid-communicationACS PublicationsCopyright © 2003 American Chemical SocietyRequest reuse permissionsArticle Views519Altmetric-Citations40LEARN 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-AlertscloseSupporting Info (1)»Supporting Information Supporting Information SUBJECTS:Conformation,Conjugated polymers,Optical properties,Polymer chains,Polymers Get e-Alerts
Does PEEK/HA Enhance Bone Formation Compared With PEEK in a Sheep Cervical Fusion Model? (2016)

Improving the bone-implant interface with a PEEK device by incorporating HA may improve interbody fusion results and requires further clinical studies.
A maximum likelihood framework for iterative eigendecomposition (2002)

This paper presents an iterative maximum likelihood framework for perceptual grouping. We pose the problem of perceptual grouping as one of pairwise relational clustering. The method is quite generic and can be applied to a number of problems including region segmentation and line-linking. The task is to assign image tokens to clusters in which there is strong relational affinity between token pairs. The parameters of our model are the cluster memberships and the link weights between pairs of tokens. Commencing from a simple probability distribution for these parameters, we show how they may be estimated using an EM-like algorithm. The cluster memberships are estimated using an eigendecomposition method. Once the cluster memberships are to hand, then the updated link-weights are the expected values of their pairwise products. The new method is demonstrated on region segmentation and line-segment grouping problems where it is shown to outperform a noniterative eigenclustering method.
Light-Induced Proton Release by the Cyanobacterium <i>Anabaena variabilis</i> (1988)

Light-induced acidification by the cyanobacterium Anabaena variabilis is biphasic (a fast phase I and slow phase II) and shown to be sodium-dependent with an optimum concentration of 40 to 60 millimolar Na(+). Cells grown under low CO(2) concentrations at pH 9 (i.e. mainly HCO(3) (-) present in the medium) exhibited the slow phase II of proton efflux only, while cells grown under low CO(2) concentrations at pH 6.3 (i.e. CO(2) and HCO(3) (-) present) exhibited both phases. Light-induced proton release of phase I was dependent on inorganic carbon available in the bathing medium with an apparent K(m) for CO(2) of 20 to 70 micromolar. As was concluded from the CO(2) dependence of acidification measured at different pH of the bathing medium, bicarbonate inhibited phase-I acidification noncompetetively. Acidification was inhibited by acetazolamide, an inhibitor of carbonic anhydrase. Apparently, acidification of phase I is due to a light-dependent uptake of CO(2) being converted to HCO(3) (-) by a carbonic anhydrase-like function of the HCO(3) (-)-transport system (M Volokita, D Zenvirth, A Kaplan, L Reinhold 1984 Plant Physiol 76: 599-602) before or during entering the cell, thus releasing one proton per CO(2) converted to HCO(3) (-).
Capabilities of laser technology for manufacturing diagnostic peptide matrices with maximal density (2016)

The process of manufacturing a matrix-gel biochip is modelled by means of laser fused deposition of a layer of polymer microparticles, containing a sensitive peptide element, onto a glass substrate. The limits of acceptable ranges and the optimal values of laser parameters, at which the melting of the polymer coating occurs without damaging the sensitive elements of the biochip, are theoretically determined. The results of the experiments on laser fused deposition of a layer of microparticles having the size 3 – 4 μm confirm the conservation of the functions of the biological complexes at optimal irradiation regimes. The parameters of the laser impact affecting the possible minimal separation between the zones of laser fused deposition are investigated. The essential role of heat conductivity and thermoplasticity of the polymer in increasing the size of the melted droplet is demonstrated. Using the laser radiation with the wavelength 532 nm focused into a spot with the diameter 6 μm (the laser pulse duration being 10 ms) the laser fused deposition density of 110000 spots per 1 cm2 is achieved. The maximal estimated density of laser fused deposition for the studied system amounts to 250000 spots per 1 cm2.
12‐Hydroxyeicosatetraenoic acid upregulates P‐selectin‐induced tissue factor activity on monocytes (1998)

12-Hydroxyeicosatetraenoic acid (12-HETE), a product of the platelet lipoxygenase pathway, amplifies tissue factor expression by P-selectin-stimulated monocytes in a time- and dose-dependent fashion. The same effect is observed when monocytes are incubated with Chinese hamster ovary cells transfected with the P-selectin cDNA. Both 5-HETE and leukotriene C4 are inactive in this system. Furthermore, the effect is not dependent on non-specific monocyte adhesion, since monocytes incubated with CHO cells expressing E-selectin do not express tissue factor, either in the presence or in the absence of 12-HETE. These results show that 12-HETE is a cofactor for the expression of tissue factor by monocytes.
Surface and body waves from hurricane Katrina observed in California (2006)

Hurricane Katrina struck land on 29 August 2005 as one of the strongest storms in the United States. The recent availability of continuous seismic data from a large number of stations enables us to characterize features of hurricane-generated noise in detail. By beamforming noise recorded on a distributed seismic array in southern California, we observe and track both the surface and body P-waves generated by Katrina in the 4–20-s period (0.05–0.25 Hz) microseism band. As the hurricane made landfall, the longer-period surface waves weakened, indicating that air/ocean/land coupling was a major factor in their generation. We observed P-waves that have propagated deep (1100 km) inside the Earth. These P-waves can be back-propagated to the hurricane. These findings demonstrate that ocean microseisms can propagate quite far and open the possibility of further use of seismic noise, even at very low signal level.
The synthesis of oxime reagents from natural and semi‐synthetic phenolic lipid and alkanoic acid resources for the solvent recovery of copper(II) (2005)

Abstract In a study of the relationship between structure and efficiency towards recovery of copper(II) by chelation/solvent extraction, a series of homologous aldoximes has been synthesised from natural phenolic lipidic, and fatty lipidic renewable sources, for comparison with commercial reagents prepared from petrochemical sources. From cardanol, in technical cashew nut‐shell liquid, isoanacardic aldoxime, [2‐hydroxy‐4‐pentadec(en)yl]aldoxime, and from the natural phenolic lipid, anacardic acid, the isomer, 2‐hydoxy‐6‐pentadec(en)ylaldoxime, have been synthesised. A C 11 analogue of anacardic aldoxime from Anacardium giganteum has been prepared. The isomeric n ‐octyl aldoximes have been synthesised, the o ‐ and p ‐isomers from the readily available fatty acid n ‐octanoic acid and the m ‐isomer from cardanol. Related m ‐aldoximes have been prepared from the ketonic intermediates methyl isoamyl and methyl amyl ketones. The solvent extraction properties for copper(II) of the synthesised aldoximes have been compared with those of a current commercial reagent, 2‐hydroxy‐5‐ t ‐nonylbenzaldoxime (Acorga 5100, Cytec), and two former extractants, 2‐hydroxy‐5‐ t ‐nonylacetophenone ketoxime (SME 529, Shell) and 2‐hydroxy‐5‐ t ‐nonylbenzophenone ketoxime (LIX 65N, Henkel). All the aldoximes possessed useful properties in extraction efficiency, notably the isoanacardic and the C 8 aldoximes with the C 8 o ‐isomer, 2‐hydroxy‐3‐ n ‐octylbenzaldoxime, exhibited optimal extraction, stripping and phase separation characteristics. Copyright © 2005 Society of Chemical Industry
WIM: An Information Mining Model for the Web (2006)

This paper presents an extended abstract of a model to mine information in applications involving Web and graph analysis, referred to as WIM (Web information mining) Model. We demonstrate the model characteristics using a Web warehouse, where nodes represent Web pages and edges represent hyperlinks. In the model, objects are always sets of nodes and belong to one class. We have physical objects containing attributes directly obtained from Web pages and links, as the title of a Web page or the start and end pages of a link. Logical objects can be created by performing predefined operations on any existing object. WIM has a concise set of eleven operators. In this paper we summarizes the model components and give examples of views. A view is a sequence of operations on objects, and it represents a way to mine information in the graph.
Clock Generation: Existing Frequency Synthesis Techniques (2012)

The task of frequency synthesis can be roughly stated as generating other frequencies from a source frequency or from a group of frequencies. This chapter briefly reviews the distinguished techniques developed over the past several decades. All the techniques can roughly be classified into three main groups: direct analog frequency synthesis, direct digital frequency synthesis (DDFS), and indirect method (phase-locked loop [PLL] based). The chapter presents an overview of existing frequency synthesis techniques. From there, two not - very - well - solved problems are recognized. In direct analog frequency synthesis, frequencies are created by operations of mixing, filtering, multiplying, and dividing. DDFS is a method of producing a time - varying signal in digital form. There are two types of direct digital synthesis: DDFS and pulse rate digital frequency synthesis. Controlled Vocabulary Terms frequency synthesizers; phase locked loops
Control of FWM Phase-matching Condition Using the Brillouin Slow Light Effect in Fibers (2008)

All-optical control of FWM phase-matching condition is demonstrated using the Brillouin slow light effect in optical fibers. A 20 dB variation on the wavelength conversion efficiency has been obtained.