gebhart/patrepeval huggingface dataset:
Breaking and repairing optimistic fair exchange from PODC 2003 (2003)

In PODC 2003, Park, Chong, Siegel and Ray [22] proposed an optimistic protocol for fair exchange, based on RSA signatures. We show that their protocol is totally breakable already in the registration phase: the honest-but-curious arbitrator can easily determine the signer's secret key.On a positive note, the authors of [22] informally introduced a connection between fair exchange and "sequential two-party multisignature schemes" (which we call two-signatures), but used an insecure two-signature scheme in their actual construction. Nonetheless, we show that this connection can be properly formalized to imply provably secure fair exchange protocols. By utilizing the state-of-the-art non-interactive two-signature of Boldyreva [6], we obtain an efficient and provably secure (in the random oracle model) fair exchange protocol, which is based on GDH signatures [9].Of independent interest, we introduce a unified model for non-interactive fair exchange protocols, which results in a new primitive we call verifiably committed signatures. Verifiably committed signatures generalize (non-interactive) verifiably encrypted signatures [8] and two-signatures, both of which are sufficient for fair exchange.
Microstructure–Property Correlations in Industrial Thermal Barrier Coatings (2004)

This paper describes the results from multidisciplinary characterization/scattering techniques used for the quantitative characterization of industrial thermal barrier coating (TBC) systems used in advanced gas turbines. While past requirements for TBCs primarily addressed the function of insulation/life extension of the metallic components, new demands necessitate a requirement for spallation resistance/strain tolerance, i.e., prime reliance, on the part of the TBC. In an extensive effort to incorporate these TBCs, a design‐of‐experiment approach was undertaken to develop tailored coating properties by processing under varied conditions. Efforts focusing on achieving durable/high‐performance coatings led to dense vertically cracked (DVC) TBCs, exhibiting quasi‐columnar microstructures approximating electron‐beam physical‐vapor‐deposited (EB‐PVD) coatings. Quantitative representation of the microstructural features in these vastly different coatings is obtained, in terms of porosity, opening dimensions, orientation, morphologies, and pore size distribution, by means of small‐angle neutron scattering (SANS) and ultra‐small‐angle X‐ray scattering (USAXS) studies. Such comprehensive characterization, coupled with elastic modulus and thermal conductivity measurements of the coatings, help establish relationships between microstructure and properties in a systematic manner.
INSIGHT: a population scale COVID-19 testing strategy combining point-of-care diagnosis with centralised high-throughput sequencing (2020)

Abstract We present INSIGHT (Isothermal NASBA-Sequencing-based hIGH-througput Test): a two-stage COVID-19 testing strategy, using a barcoded isothermal NASBA reaction that combines point-of-care diagnosis with next generation sequencing, aiming to achieve population-scale COVID-19 testing. INSIGHT combines the advantages of near-patient with centralised testing. Stage 1 allows a quick decentralised readout for early isolation of pre-symptomatic or asymptomatic patients. The same reaction products can then be used in a highly multiplexed sequencing-based assay in Stage 2, confirming the near-patient testing results and facilitating centralised data collection. Based on experiments using commercially acquired human saliva with spiked-in viral RNA as input, the INSIGHT platform gives Stage 1 results within one to two hours, using either fluorescence detection or a lateral flow (dipstick) readout, whilst simultaneously incorporating sample-specific barcodes into the amplification product. INSIGHT Stage 2 can be performed by directly pooling and sequencing all post-amplification barcoded Stage 1 products from hundreds of thousands of samples with minimal sample preparation steps. The 95% limit of detection (LoD-95) for INSIGHT is estimated to be below 50 copies of viral RNA per 20 μl of reaction. Our two-stage testing strategy is suitable for further development into a rapid home-based and point-of-care assay, and is potentially scalable to the population level.
Competitive metabolism of naphthalene, methylnaphthalenes, and fluorene by phenanthrene-degrading pseudomonads (1995)

Polynuclear aromatic hydrocarbons (PAHs) typically exist as complex mixtures in contaminated soils, yet little is known about the biodegradation of PAHs in mixtures. We have isolated two physiologically diverse bacteria, Pseudomonas stutzeri P-16 and P. saccharophila P-15, from a creosote-contaminated soil by enrichment on phenanthrene as the sole carbon source and studied their ability to metabolize several other two- and three-ring PAHs. Naphthalene, 1-methylnaphthalene, and 2-methylnaphthalene served as growth substrates for both organisms, while fluorene was only cometabolized. We also studied the effects of these compounds on initial rates of phenanthrene uptake in binary mixtures. Lineweaver-Burk analysis of kinetic measurements was used to demonstrate competitive inhibition of phenanthrene uptake by all four compounds, suggesting that multiple PAHs are being transformed by a common enzyme pathway in whole cells. Estimates of the inhibition coefficient, Ki, are reported for each compound. The occurrence of competitive metabolic processes in physiologically diverse organisms suggests that competitive metabolism may be a common phenomenon among PAH-degrading organisms.
Should Contrast-Enhanced Harmonic Endoscopic Ultrasound Be Incorporated into the International Consensus Guidelines to Determine the Appropriate Treatment of Intraductal Papillary Mucinous Neoplasm? (2021)

This study aimed to investigate whether the incorporation of contrast-enhanced harmonic endoscopic ultrasound (CH-EUS) into the international consensus guidelines (ICG) for the management of intraductal papillary mucinous neoplasm (IPMN) could improve its malignancy diagnostic value. In this single-center retrospective study, 109 patients diagnosed with IPMN who underwent preoperative CH-EUS between March 2010 and December 2018 were enrolled. We analyzed each malignancy diagnostic value (sensitivity (Se), specificity (Sp), positive predictive value (PPV), and negative predictive value (NPV)) by replacing fundamental B-mode EUS with CH-EUS as the recommended test for patients with worrisome features (WF) (the CH-EUS incorporation ICG) and comparing the results to those obtained using the 2017 ICG. The malignancy diagnostic values as per the 2017 ICG were 78.9%, 42.3%, 60.0%, and 64.7% for Se, Sp, PPV, and NPV, respectively. The CH-EUS incorporation ICG plan improved the malignancy diagnostic values (Se 78.9%/Sp, 53.8%/PPV, 65.2%/NPV 70.0%). CH-EUS may be useful in determining the appropriate treatment strategies for IPMN.
Increasing expression of fascin in renal cell carcinoma associated with clinicopathological parameters of aggressiveness. (2006)

Our findings demonstrate for the first time that increased expression of fascin is associated with clinicopathological parameters of aggressiveness in patients with RCC. Fascin may be a novel biomarker for diagnosis and treatment of RCC.
Active feedback control of combustor dynamics with time delay and noise (2000)

Active control of longitudinal pressure oscillations in a combustion chamber is studied theoretically by means of a low order model obtained by systematic reduction from
a complete representation. The formulation is based on the derivation of a generalized wave equation that accommodates the effects of mean flow, combustion, noise and control
action. By using spatial averaging, the equations describing the dynamics of the chamber are reduced to a set of coupled ordinary differential equations, representing the motions of a system of coupled oscillators. The form of the resulting equations is particularly convenient
for model reduction and for introducing feedback control terms, while retaining all physical processes.
The oscillator equations are then rewritten in state-space form. Simulations are carried out to investigate in a unified fashion various aspects of the problem. These include the influences of noise, parameter uncertainties, unmodeled modes and a single timedelay.
A criterion is derived that guarantees stability of the controlled closed-loop system
in the presence of those quantities. The particular controller used here is based on a
standard LQR design, but any design technique can be used as long as the stability
criterion is fulfilled.
Modeling bovine lameness with limb movement variables (2011)

Lameness detection is a world-wide challenge to far-mers and veterinarians. Traditionally, one uses visual observation to make judgment on a cow's lameness or soundness. Visual observation heavily depends on the observer's experience, hence is subjective or ob-server-dependent. And even worse, it is inconsistent. It's reported that the agreement between veterinarians can be as low as 45% [1]. It is necessary and urgent to develop an objective detection method that can automatically detect lameness when it occurs. In this paper, we describe how statistical models can be used to develop such methods and how well the statistical models perform.
Drift-diffusion-based modeling of the non-quasistatic small-signal response for RF-MOSFET applications (2003)

A non-quasistatic MOSFET model for the small-signal response is developed by including the continuity equation in an analytical way. This model developed based on the drift-diffusion approximation enables us to predict the high-frequency response for any bias conditions. Our result shows that the quasistatic approximation calculates the response approximately correct up to f/sub T//2, which is much higher than the f/sub T//10 previously estimated.
Phagocytosis and deposition of vascular beta-amyloid in rat brains injected with Alzheimer beta-amyloid. (1992)

The presence of extracellular deposits of beta-amyloid protein in the brain is a hallmark of Alzheimer's disease (AD). In an effort to determine the effect of amyloid in an animal model, the authors injected amyloid cores isolated from AD brains into the cortex and hippocampus of rats. Lipofuscin, a major contaminant of the plaque core preparation, was injected on the contralateral side and used as a control to induce an analogous phagocytic cell response. Rats were sacrificed 2 days, 7 days, and 1 month after injection and amyloid located by four histochemical techniques. Amyloid and lipofuscin move from the site of injection into otherwise undamaged neuropil, persist for at least 1 month and are both associated with increases in glial fibrillary acidic protein and microglia (OX-42) staining. By 1 week, many of the amyloid cores are ingested by phagocytes. Some of the beta-amyloid-containing phagocytes migrate to the vessels and to the ventricles, and by 1 month, a significant amount of the amyloid is directly associated with the vessels. This suggests that phagocytic cells can internalize exogenous amyloid and attempt to clear it from the central nervous system (CNS). Therefore, the observed distribution of amyloid is not necessarily the initial site of deposition.
Preservation as Obstacle or Opportunity? Rethinking the Preservation-Access Model in the Age of MPLP (2013)

This article documents and challenges the representation of preservation as an obstacle to access by the authors and supporters of MPLP. Until now, the application of MPLP to preservation consists of eliminating routine preservation actions, such as the removal of metal fasteners, and advocating for improving the environmental control of archival storage facilities. Challenging this limited scope, the author advocates that the application of preventive conservation ensures continued and sustainable access to archival collections. Strategies for implementing a preventive conservation program are discussed and the 5 activities that define preventive conservation (environmental control; policies and procedures for handling, use, and maintenance for storage, exhibition, packing, and transport; emergency preparedness and response; integrated pest management; reformatting and duplication) are summarized in the appendix.
Diastereoselective Zwitterionic Aza‐Claisen Rearrangement: Synthesis of Nine‐Membered Ring Lactams and Transannular Ring Contraction (1996)

Abstract The zwitterionic aza‐Claisen rearrangement of optically active 3‐pyrrolidine acryl esters and various acid chlorides to generate optically active azoninones proceeds with high simple diastereoselectivity (internal asymmetric induction) and a complete 1,3‐chirality transfer. The reaction path observed depends on the subsitution pattern of the allylic system: while the more electron‐rich alkylated allyl amine fromed predominantly von Braun type products, the α,β ‐unsaturated esters could be rearranged with high yields. The azoninones thus obtained were treated with electrophiles, inducing regio‐ and diastereoselective transannular ring contractions. The resulting indolizidinones should be useful key intermediates in alkaloid synthesis.
Evolving a Stigmergic Self-Organized Data-Mining (2004)

Self-organizing complex systems typically are comprised of a large number of frequently similar components or events. Through their process, a pattern at the global-level of a system emerges solely from numerous interactions among the lower-level components of the system. Moreover, the rules specifying interactions among the system's components are executed using only local information, without reference to the global pattern, which, as in many real-world problems is not easily accessible or possible to be found. Stigmergy, a kind of indirect communication and learning by the environment found in social insects is a well know example of self-organization, providing not only vital clues in order to understand how the components can interact to produce a complex pattern, as can pinpoint simple biological non-linear rules and methods to achieve improved artificial intelligent adaptive categorization systems, critical for Data-Mining. On the present work it is our intention to show that a new type of Data-Mining can be designed based on Stigmergic paradigms, taking profit of several natural features of this phenomenon. By hybridizing bio-inspired Swarm Intelligence with Evolutionary Computation we seek for an entire distributed, adaptive, collective and cooperative self-organized Data-Mining. As a real-world, real-time test bed for our proposal, World-Wide-Web Mining will be used. Having that purpose in mind, Web usage Data was collected from the Monash University's Web site (Australia), with over 7 million hits every week. Results are compared to other recent systems, showing that the system presented is by far promising.
Synthesis, characterization, and properties of poly(N-alkylanilines) (1992)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSynthesis, characterization, and properties of poly(N-alkylanilines)Jean Wilbert Chevalier, Jean Yves Bergeron, and Le H. DaoCite this: Macromolecules 1992, 25, 13, 3325–3331Publication Date (Print):June 1, 1992Publication History Published online1 May 2002Published inissue 1 June 1992https://pubs.acs.org/doi/10.1021/ma00039a001https://doi.org/10.1021/ma00039a001research-articleACS PublicationsRequest reuse permissionsArticle Views481Altmetric-Citations162LEARN 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
MEF2C Silencing Attenuates Load-Induced Left Ventricular Hypertrophy by Modulating mTOR/S6K Pathway in Mice (2009)

These findings represent new evidences that MEF2C depletion attenuates the hypertrophic responses to mechanical stress and highlight the potential of MEF2C to be a target for new therapies to cardiac hypertrophy and failure.
Proteins of the Inner Membrane of Escherichia coli : Identification of Succinate Dehydrogenase by Polyacrylamide Gel Electrophoresis with sdh Amber Mutants (1974)

The inner or cytoplasmic membrane fraction of the cell envelope of Escherichia coli was isolated by isopycnic centrifugation on sucrose gradients. The membrane proteins were analyzed by electrophoresis in sodium dodecyl sulfate-polyacrylamide gels (8.5%), and up to 56 bands were resolved. Different preparations gave very similar patterns of proteins. Succinate dehydrogenase mutants (sdh) were isolated which could not grow on succinate minimal medium, although growth on fumarate was unimpaired. The protein patterns of inner membrane preparations from sdh amber mutants were compared with the wild type, and one major band was greatly reduced in the mutants. This component, which represented approximately 5% of the inner membrane protein, was restored by introducing an amber suppressor gene (supU), which also restored the Sdh(+) phenotype. The band corresponded to a protein with a molecular weight of 67,000 daltons, which is close to that for the large subunits of the succinate dehydrogenases of Rhodospirillum rubrum and beef heart mitochondria.
ChemInform Abstract: SYNTHETIC STUDIES ON CYCLOPENTANE DERIVATIVES. PART VIII. SYNTHESIS OF BENZO‐TYPE PROSTAGLANDIN ANALOGS (1977)

Abstract Inden (Ia) wird über die Lithiumverbindung mit Chlormethyl‐methyläther zu (Ib) substituiert und dann mit Mangantriacetat zu (II) lactonisiert.
Prediction of contact maps with neural networks and correlated mutations (2001)

Contact maps of proteins are predicted with neural network-based methods, using as input codings of increasing complexity including evolutionary information, sequence conservation, correlated mutations and predicted secondary structures. Neural networks are trained on a data set comprising the contact maps of 173 non-homologous proteins as computed from their well resolved three-dimensional structures. Proteins are selected from the Protein Data Bank database provided that they align with at least 15 similar sequences in the corresponding families. The predictors are trained to learn the association rules between the covalent structure of each protein and its contact map with a standard back propagation algorithm and tested on the same protein set with a cross-validation procedure. Our results indicate that the method can assign protein contacts with an average accuracy of 0.21 and with an improvement over a random predictor of a factor >6, which is higher than that previously obtained with methods only based either on neural networks or on correlated mutations. Furthermore, filtering the network outputs with a procedure based on the residue coordination numbers, the accuracy of predictions increases up to 0.25 for all the proteins, with an 8-fold deviation from a random predictor. These scores are the highest reported so far for predicting protein contact maps.
Predictors of Respiratory Support Use in Emergency Department Patients With COVID-19-Related Respiratory Failure (2022)

High ED work load was associated with higher odds on HFNC/NIV prior to invasive mechanical ventilation.
Anomalous Origin of a Right Coronary Artery With Extrinsic Compression Between the Great Vessels: The Intravascular Ultrasound Images (2008)

The anomalous origin of the right coronary artery is a rare condition, but it has clinical importance because there have been reports of nonfatal or fatal myocardial infarction and sudden death associated with exercise for patients with this anatomy. We describe here a patient for whom 64 channel multi-detector row computed tomography was useful to identify this anomaly, and intravascular ultrasound was used to evaluate the myocardial ischemia by visualizing the coronary lumen. (Korean Circ J 2008;38:390-392)
Optimized Toroidal Inductors Versus Planar Spiral Inductors in Multilayered Technologies (2017)

This paper is aimed to compare the performance of toroidal inductors and planar spiral inductors in multilayered technologies, in terms of achievable inductance density. The optimization of planar toroidal inductors in multilayered substrates is investigated theoretically, and closed formulae are derived for their inductances as a function of geometrical parameters. The obtained model is validated by experimental results and electromagnetic simulation. From the comparison of the inductance of toroidal inductors and compact spiral inductors, a selection rule is proposed to choose the most suitable topology that leads to the most compact design.
Golgi retention of human protein NEFA is mediated by its N‐terminal Leu/Ile‐rich region (2001)

The subcellular localization of the human Ca(2+)-binding EF-hand/leucine zipper protein NEFA was studied in HeLa cells by immunofluorescence microscopy. Double immunostaining using mouse anti-NEFA monoclonal antibody 1H8D12 and rabbit anti-ERD2 polyclonal antibody proved that NEFA is localized in the Golgi apparatus. The result was confirmed by the expression of NEFA-green fluorescent protein (GFP) fusion protein in the Golgi in the same cell line. Cycloheximide treatment proved NEFA to be a Golgi-resident protein. Seven NEFA deletion mutants were constructed to ascertain the peptide region relevant for Golgi retention. The expression of each NEFA-GFP variant was detected by fluorescence microscopy and immunoblotting. Only the DeltaN mutant, lacking the N-terminal Leu/Ile-rich region, failed to be retained in the Golgi after cycloheximide treatment. The other six deletion mutants in which either the basic region, the complete EF-hand pair domain, the two EF-hand motifs separately, the leucine zipper and the leucine zipper plus the C-terminal region is deleted, were localized to the Golgi. The peptide sequence within the Leu/Ile-rich region is discussed as a novel Golgi retention motif.
A Study on the Effect of Healing Program on the Elderly Diseases (2019)

이 연구는 최근에 다양하게 확산되고 있는 숲 체험을 통한 산림테라피, 경근수기요법, 아로마테라피의 3가지 치유방법을 통하여 설문지를 통해 노인성 질병 증상인 8가지 정신치유의 효과를 알아보고자 한 것이다. 연구방 법은 경험연구로 이루어졌다. 이 연구의 결과를 통해 다음과 같은 결론을 얻었다. 첫째, 산림테라피가 스트레스 와 피로 해소에 가장 큰 도움이 된다고 인식하는 것으로 나타났다. 둘째, 경근수기요법은 혈액순환에 가장 큰 효과가 있다고 인식하는 것으로 나타났다. 셋째, 아로마테라피는 기억력에 효과가 있다고 인식하는 것으로 나 타났다. 넷째, 노인성 질환에서 스트레스긴장해소, 심신정기, 심신피로의 치유효과는 산림테라피가 가장 효과적 으로 나타났다. 이 연구결과를 통해서 볼 때, 노인성 질환 증상이 사회적으로 문제가 되는 발생빈도 를 줄일 수 있도록 산림테라피와 경근수기요법을 더욱 확산시켜 시민들이 건강한 생활을 유지할 수 있는 토대를 제공해야 한다는 결과를 보여준다고 하겠다.