gebhart/patrepeval huggingface dataset:
Enhanced privacy ID from bilinear pairing for hardware authentication and attestation (2011)

Enhanced privacy ID (EPID) is a cryptographic scheme that enables the remote authentication and attestation of a hardware device while preserving the privacy of the device. EPID can be seen as a direct anonymous attestation scheme with enhanced revocation capabilities. In EPID, a device can be revoked if the private key embedded in the hardware device has been extracted and published widely so that the revocation manager finds the corrupted private key. In addition, the revocation manager can revoke a device based on the signatures the device has created, if the private key of the device is not known. In this paper1, we introduce a new security notion of EPID including the formal definitions of anonymity and unforgeability. We also give a construction of an EPID scheme from bilinear pairing. Our EPID scheme is efficient and provably secure in the random oracle model under the strong Diffie-Hellman assumption and the decisional Diffie-Hellman assumption.
Guidance and Navigation for UAV Airborne Docking (2015)

Unmanned aerial vehicle (UAV) capability is currently limited by the amount of energy that can be stored onboard. Airborne docking, for mid-air refueling, is a viable solution that has been implemented with manned aircraft for decades, but has yet to be achieved with their unmanned counterparts. The prohibitive challenge is the highly accurate and reliable relative positioning performance that is necessary to dock with a small target, in the air, amidst external disturbances.
Novel band-tuning effects in Hg-based quantum structures by external electric or magnetic fields (1989)

Novel band-gap tuning effects by external electric or magnetic fields in Hg-based quantum wells and superlattices are studied theoretically. It is found that in Hg-based quantum wells the band gap can be dramatically changed by applying an electric field perpendicular to the well interfaces. In Hg-based diluted magnetic semiconductor superlattices, the optical cutoff wavelength can also be substantially tuned by a magnetic field at 77 K. Possible device applications of these new band-gap tuning effects include high-speed optic modulators, nonlinear optic devices at wavelengths of 4 to 15 μm, and cutoff wavelength tunable infrared or far-infrared detectors.
Reactions of dimethylamine with multiply charged ions of cytochrome c (1990)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTReactions of dimethylamine with multiply charged ions of cytochrome cScott A. McLuckey, Gary J. Van Berkel, and Gary L. GlishCite this: J. Am. Chem. Soc. 1990, 112, 14, 5668–5670Publication Date (Print):July 1, 1990Publication History Published online1 May 2002Published inissue 1 July 1990https://pubs.acs.org/doi/10.1021/ja00170a057https://doi.org/10.1021/ja00170a057research-articleACS PublicationsRequest reuse permissionsArticle Views330Altmetric-Citations161LEARN 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
Simulations of control, perturbation, displacement and disruption in highly elongated tokamak plasmas (1990)

The control and evolution of highly elongated tokamak plasmas with large growth rates are simulated with the axisymmetric, resistive MHD code TSC in the geometry of the TCV tokamak. Simulations show that pressure perturbations such as sawteeth and externally programmed displacements create initial velocity perturbations in addition to equilibrium changes. It is demonstrated that these perturbations may be stabilized by low power, rapid response coils inside the passively stabilizing vacuum vessel, together with slower shaping coils outside the vessel. This method works because coils inside the vessel do not have a flux penetration delay. Vertical disruption induced voltages and forces on the rapid coils and the vessel are investigated to establish coil and vessel design requirements. A model is proposed and used to estimate the additional vertical force due to poloidal currents, which is comparable to the force from toroidal currents.
Theory for microwave thermal emission from a layer of cloud or rain (1977)

Microwave thermal emission from a layer of cloud or rain consisting of spherical particles has been investigated. Scattering effects are studied in great detail with both numerical and analytical approaches. In the absence of ground emission, it is found that scattering induces brightening for optically thin layers and vice versa for optically thick layers. As a function of observation angle brightening occurs near nadir while darkening occurs at large angles in the case of small optical thickness. For large optical thickness, darkening occurs at all angles because of backscattering effects. When the layer of cloud or rain is above an air layer and an ocean surface at a higher temperature, it is found that the darkening effect at large optical thickness is much more pronounced. The darkening effect is also larger for vertical polarizations because the ocean emits more vertically polarized components. The effect of thermal emission and molecular absorption by atmospheric gases is also taken into account. Results obtained from analytical formulas under single scatteirng assumptions are compared and illustrated.
Localisation of a mobile robot for bridge bearing inspection (2018)

Bridge bearings are a critical component of a bridge and require regular visual inspection to ensure the safe operation of the bridge throughout its life. However, the bearings are often located in spaces that are difficult or hazardous to reach, which can impact how often the bearings are inspected. In addition, these spaces are small and offer significant challenges for tele-operation due to line-of-sight restrictions; hence, some level of autonomy is required to make robotic inspection possible. In this work, a robotic solution to bridge bearing inspection is presented, and localisation methods are assessed as the first, and most, important step towards automation. Robot localisation is performed in both a lab environment and a real bridge bearing environment. In this paper, Adaptive Monte-Carlo Localisation is considered for localisation in a known map and gave comparable results to Hector-SLAM, with all results less than a defined error threshold of 10 cm. A combination of both of these methods are proposed to give a more robust approach that gives errors lower than the defined threshold in the real bridge. The experiments also show the need to provide an accurate starting point for each inspection within the bearing, for which we notionally suggest the use of a docking station that could also be used for improved autonomy, such as charging. In addition, proof-of-concept approaches for visual inspection tasks, such as geometry changes and foreign object detection are presented to show some of the proposed benefits of the system presented in this work.
Demonstration of 80-km-Long SMF Transmission on Time-Spread Wavelength-Hopping-Type OCDM With Dispersion Compensators (2007)

We demonstrate the novel dispersion compensation for time-spread/wavelength-hop (TS-WH) optical code-division multiplexing (OCDM). The single-mode-fiber transmission, up to 80 km long, on TS-WH OCDM was achieved by a combination of the dispersion-compensated decoder and the multichannel-type dispersion-slope compensator.
Supplementary Figures S1-S6, Table S4, Table S6 from Bacterial-Driven Inflammation and Mutant <i>BRAF</i> Expression Combine to Promote Murine Colon Tumorigenesis That Is Sensitive to Immune Checkpoint Therapy (2023)

&lt;p&gt;Supplementary Figures 1-6; Table S4: Tumors from ETBF-colonized BRAFV600ELgr5CreMin (BLM) mice are MSI negative; Table S6: Primer sequences for qMSP and assays used for Taqman gene expression.&lt;/p&gt;
Response Surface Optimization of Supercritical Carbon Dioxide Extraction of Tea Polyphenols from Green Tea Scraps (2018)

<i>Background</i>: The green tea scraps are the waste materials during the process of green tea production, and it is significant to extract valuable tea polyphenols (TP) for reuse. <i>Objective</i>: The objective of this study was to extract valuable TP from green tea scraps, and the extraction conditions were optimized to obtain maximum yield of TP. <i>Methods</i>: The TP were extracted by supercritical carbon dioxide (SC-CO₂) with 65% (v/v) aqueous ethanol solution as cosolvent. The content of TP was determined with the Folin-Ciocalteu method. The key factors of the extraction process, including temperature (313.15-323.15 K), pressure (20-30 Mpa), and amount of cosolvent (50-150 mL) were optimized by response surface methodology (RSM). <i>Results</i>: These key factors showed the extremely complex effects on the extraction yield of TP. A second-order polynomial mathematical model was developed for the response with high <i>R</i>-squared value (<i>R</i>² = 0.9946) and used to predict the optimal conditions (i.e., temperature of 322.15 K, pressure of 23.60 MPa, and amount of cosolvent of 150 mL). The verification experiments showed that the maximum yield of TP was 23.07 ± 0.82% under the optimal conditions, which was in good agreement with the predicted value. <i>Conclusions</i>: TP can be successfully extracted from green tea scraps by SC-CO₂, and RSM could be used to optimize the extraction process. <i>Highlights</i>: SC-CO₂ extraction of TP from green tea scraps was developed. The operating conditions, including pressure, temperature, and amount of cosolvent, were optimized. RSM could successfully predict the optimal operating conditions.
Accommodating High Penetration of PV in Distribution Networks Considering Smart Curtailment (2018)

This paper presents an approach for photo-voltaic based DG allocation in distribution networks. The objective of the proposed approach is to minimize the developer's investment cost associated with energy supply requirements over predefined planning period. Uncertainties associated with supply and demand are considered in this work, as well as, the uncertainty associated with energy prices. In addition, this work introduces smart curtailment of renewable resources, which can maximize the penetration and minimize the overall investment. Simulation results on a typical distribution network are provided, which prove the effectiveness and robustness of the proposed resource allocation approach.
The antioxidant potential of the Mediterranean diet in patients at high cardiovascular risk: an in-depth review of the PREDIMED (2018)

Cardiovascular disease (CVD) is the leading global cause of death. Diet is known to be important in the prevention of CVD. The PREDIMED trial tested a relatively low-fat diet versus a high-fat Mediterranean diet (MedDiet) for the primary prevention of CVD. The resulting reduction of the CV composite outcome resulted in a paradigm shift in CV nutrition. Though many dietary factors likely contributed to this effect, this review focuses on the influence of the MedDiet on endogenous antioxidant systems and the effect of dietary polyphenols. Subgroup analysis of the PREDIMED trial revealed increased endogenous antioxidant and decreased pro-oxidant activity in the MedDiet groups. Moreover, higher polyphenol intake was associated with lower incidence of the primary outcome, overall mortality, blood pressure, inflammatory biomarkers, onset of new-onset type 2 diabetes mellitus (T2DM), and obesity. This suggests that polyphenols likely contributed to the lower incidence of the primary event in the MedDiet groups. In this article, we summarize the potential benefits of polyphenols found in the MedDiet, specifically the PREDIMED cohort. We also discuss the need for further research to confirm and expand the findings of the PREDIMED in a non-Mediterranean population and to determine the exact mechanisms of action of polyphenols.
The Decomposition of t-Butyl Heptafluoroperoxybutyrate in Aromatic and Aliphatic Solvents (1985)

Abstract Kinetical studies and products analyses of the thermal decomposition of t-butyl heptafluoroperoxybutyrate (TBH) in benzene, octane, nitrobenzene, pyridine, and methoxybenzene have been carried out. In benzene and octane, the decomposition appears to be entirely a radical process. In nitrobenzene and pyridine, the reactions are found to give ionic decomposition products exclusively. On the other hand, the decomposition of TBH in methoxybenzene is characteristic of mixed ionic and radical cleavages.
Abstract 12824: Predictive Value of Artificial Intelligence-Enabled Electrocardiography in Patients with Takotsubo Cardiomyopathy (2022)

Introduction: Recent studies have indicated high rates of future major adverse cardiovascular events in patients with Takotsubo cardiomyopathy (TTC). This study sought to evaluate the prognostic value of our institutional artificial intelligence-augmented electrocardiography (AI-ECG) algorithms in patients with TTC. Methods: This study enrolled consecutive patients in the prospective and observational Mayo Clinic Takotsubo syndrome registry. TTC was diagnosed according to the Mayo Clinic diagnostic. Our clinic’s previously developed and validated AI-ECG algorithms were used for detection of ECG-Age, probability of low ejection fraction, and probability of atrial fibrillation.Multivariable models were constructed to evaluate the association of AI-ECG and other clinical characteristics with major adverse cardiac events (MACE), defined as cardiac death, recurrence of TTC, nonfatal myocardial infarction, hospitalization for congestive heart failure, and stroke. Results: In the final analysis, 305 patients were studied over a median follow-up of 4.8 years. Patients with MACE were more likely to be older, have history of hypertension and chronic heart failure (CHF), worse renal function as well as having high-risk AI-ECG findings compared to those without. In the multivariate Cox proportional hazard analysis, the presence of 3 or 4 high-risk findings detected by AI-ECG, remained a significant predictor of MACE in the patients with TTC after adjusted by conventional risk factors (hazard ratio (HR) 2.17, 95% CI [1.33, 3.53], P=0.002; HR 2.44, 95% CI [1.38, 4.29], P=0.002, respectively). Conclusions: The combined use of developed AI-ECG algorithms derived from a single 12-lead ECG might identify ECG correlates of underlying non-transient myocardial dysfunction and detect subtle underlying patterns associated with worse outcomes in patients with TTC. This approach might be beneficial for stratifying high-risk patients with TTC.
Statistical Shape Analysis of the Corpus Callosum in Subtypes of Autism (2007)

Brain imaging studies of the corpus callosum (CC) in autism have yielded inconsistent results. In this paper, we explore the three-dimensional profile of CC abnormalities in autism. The CC is segmented from mid-sagittal MRI and four adjacent slices on both sides, using our newly developed semiautomatic method. A subsequent contour stitching is performed to create the 3D surface of the CC, and the point correspondence problem can be simplified by our segmentation scheme. After alignment, differences from each surface to a template are computed to create a signed distance map of each subject. The group difference in the distance map is analyzed using two sample t-test, which results in a significance map. The statistical results reveal significant difference between patients and controls in the body of the CC.
XAR: An Integrated Framework for Information Extraction (2009)

We present an information extraction system for automated information extraction from free text. The system, XAR, available open-source to the community, abstracts an extraction application developer from low level text processing details, permitting developing applications with high-level extraction rules. The system also incorporates semantic information in the form of integrity constraints to improve the quality of the extraction. We describe the XAR system and present a summary of experimental results demonstrating the effectiveness of our approach.
Mathematical modeling and optimization of the electrodeless, low-pressure, discharge system (2002)

A mathematical model of an electrodeless, fluorescent lighting system consisting of a lamp, an excitation coil and a zero voltage switching converter is developed as a means to investigate the behavior of the system and to formulate an optimization problem that minimizes its power losses.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>
Experimental Shock and Vibration Analysis (2015)

The gCube System - ISPublisher<br> --------------------------------------------------<br> <br> Description<br> -----------------------<br> <br> The ISPublisher is a client library allowing gCube services to publish in the IS <br> GCUBEResource's profile as well as service's state as WS-ResourceProperties document.<br> <br> <br> This software is part of the gCube Framework (https://www.gcube-system.org/): an<br> open-source software toolkit used for building and operating Hybrid Data<br> Infrastructures enabling the dynamic deployment of Virtual Research Environments<br> by favouring the realisation of reuse oriented policies.<br> <br> The projects leading to this software have received funding from a series of <br> European Union programmes including: <br> * the Sixth Framework Programme for Research and Technological Development - <br> DILIGENT (grant no. 004260); <br> * the Seventh Framework Programme for research, technological development and <br> demonstration - D4Science (grant no. 212488), D4Science-II (grant no. <br> 239019),ENVRI (grant no. 283465), EUBrazilOpenBio (grant no. 288754), iMarine <br> (grant no. 283644); <br> * the H2020 research and innovation programme - BlueBRIDGE (grant no. 675680), <br> EGIEngage (grant no. 654142), ENVRIplus (grant no. 654182), Parthenos (grant <br> no. 654119), SoBigData (grant no. 654024);<br> <br> <br> <br> Version<br> --------------------------------------------------<br> <br> 2.2<br> <br> Please see the file named "changelog.xml" in this directory for the release notes.<br> <br> <br> Authors<br> --------------------------------------------------<br> <br> <br> * Manuele Simi (manuele.simi-AT-isti.cnr.it), CNR Pisa, <br> Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo".<br> <br> Maintainers<br> -----------<br> <br> <br> Download information<br> --------------------------------------------------<br> <br> Source code is available from SVN: <br> http://svn.research-infrastructures.eu/public/d4science/gcube/trunk/information-system/IS_PUBLISHER<br> <br> Binaries can be downloaded from the gCube website: <br> https://www.gcube-system.org/index.php?option=com_content&amp;view=article&amp;id=290&amp;Itemid=48<br> <br> <br> Installation<br> --------------------------------------------------<br> <br> Installation documentation is available on-line in the gCube Wiki:<br> https://gcube.wiki.gcube-system.org/gcube/index.php/IS-Publisher<br> <br> Documentation <br> --------------------------------------------------<br> <br> Documentation is available on-line in the gCube Wiki:<br> https://gcube.wiki.gcube-system.org/gcube/index.php/IS-Publisher<br> Support <br> --------------------------------------------------<br> <br> Bugs and support requests can be reported in the gCube issue tracking tool:<br> https://support.d4science.org/projects/gcube/<br> <br> <br> Licensing<br> --------------------------------------------------<br> <br> This software is licensed under the terms you may find in the file named "LICENSE" in this directory.<br>
The paediatric assessment triangle: a powerful tool for the prehospital provider (2011)

The paediatric assessment triangle (PAT) is an internationally accepted tool in paediatric life support for the initial emergency assessment of infants and children. It is a rapid, global assessment using only visual and auditory clues, and takes only seconds to perform. The PAT has three components: appearance, work of breathing and circulation to skin. It is the first step in answering three critical questions: (1) How severe is the child's illness or injury? (2) What is the most likely physiologic abnormality? and (3) What is the urgency for treatment? The combination of abnormalities observed by the three components defines one of six categories of clinical status: stable, respiratory distress, respiratory failure, shock, central nervous system (CNS)/metabolic disorder, or cardiopulmonary failure. The category of illness and its severity drives management priorities and determines the initial treatment. In addition, the PAT provides a common vernacular for emergency clinicians and may be applied repeatedly to track clinical status. This article will furnish the prehospital provider with an approach to the recognition and treatment of the acutely ill or injured child.
Counting solutions to the View Maintenance Problem. (1992)

We present an incremental evaluation algorithm for materialized views in relational and deductive database systems. The algorithm computes, in an incremental fashion, the changes to the materialized view in response to changes (insertions, deletions, and updates) to the base relations. The view may be defined in SQL or in Datalog, and may use UNION , negation, aggregation (e.g. SUM, MIN), linear recursion, and general recursion. The algorithm is optimal in that it computes exactly those view tuples that are inserted or deleted. The algorithm works by tracking the number of derivation trees ([Mum91, MS92]) for each tuple in the view. The number of derivation trees for a tuple corresponds to the count of a tuple in the duplicate semantics used in relational systems such as those based on SQL. For deductive databases using set semantics, we show that the number of derivation trees for nonrecursive queries can be computed at little or no cost above the cost of evaluating the query. For rec...
Rapid directed molecular evolution of fluorescent proteins in mammalian cells (2021)

In vivo imaging of model organisms is heavily reliant on fluorescent proteins with high intracellular brightness. Here we describe a practical method for rapid optimization of fluorescent proteins via directed molecular evolution in cultured mammalian cells. Using this method, we were able to perform screening of large gene libraries containing up to 2 × 10<sup>7</sup> independent random genes of fluorescent proteins expressed in HEK cells, completing one iteration of directed evolution in a course of 8 days. We employed this approach to develop a set of green and near-infrared fluorescent proteins with enhanced intracellular brightness. The developed near-infrared fluorescent proteins demonstrated high performance for fluorescent labeling of neurons in culture and in vivo in model organisms such as Caenorhabditis elegans, Drosophila, zebrafish, and mice. Spectral properties of the optimized near-infrared fluorescent proteins enabled crosstalk-free multicolor imaging in combination with common green and red fluorescent proteins, as well as dual-color near-infrared fluorescence imaging. The described method has a great potential to be adopted by protein engineers due to its simplicity and practicality. We also believe that the new enhanced fluorescent proteins will find wide application for in vivo multicolor imaging of small model organisms.