gebhart/patrepeval huggingface dataset:
Stateful Protocol Composition (Extended Version) (2018)

We prove a parallel compositionality result for protocols with a shared mutable state, i.e., stateful protocols. For protocols satisfying certain compositionality conditions our result shows that analyzing the component protocols in isolation is sufficient to prove security of the more complex composition. Our main contribution is an extension of the compositionality paradigm to stateful protocols where participants main- tain shared databases. We also support declassification of shared secrets. As a final contribution we prove the core of our result in Isabelle/HOL, providing a strong correctness guarantee of our proofs.
Surface‐Tunable Bioluminescence Resonance Energy Transfer via Geometry‐Controlled ZnO Nanorod Coordination (2015)

The use of ZnO nanorods (NRs) as an effective coordinator and biosensing platform to create bioluminescence resonance energy transfer (BRET) is reported. Herein, a hydrothermal approach is applied to obtain morphologically controlled ZnO NRs, which are directly bound to luciferase (Luc) and carboxy-modified quantum dot (QD) acting as a donor-acceptor pair for BRET. BRET efficiency varies significantly with the geometry of ZnO NRs, which modulates the coordination between hexahistidine-tagged Luc (Luc-His6 ) and QD, owing to the combined effect of the total surface area consisting of (001) and (100) planes and their surface polarities. Unlike typical QD-BRET reactions with metal ions (e.g., zinc ions), a geometry-controlled ZnO NR platform can facilitate the design of surface-initiated BRET sensors without being supplemented by copious metal ions: the geometry-controlled ZnO NR platform can therefore pave the way for nanostructure-based biosensors with enhanced analytical performance.
The p38 MAPK pathway is critical for 5,5′-dibromodiindolylmethane-induced apoptosis to prevent oral squamous carcinoma cells (2010)

Cruciferous vegetables contain isothiocyanates including diindolylmethane (DIM) that exhibit cancer chemopreventive effects. We developed a series of synthetic ring-substituted DIM analogs including 5,5'-dibromoDIM that exhibited better inhibitory activity in breast and colon cancer cells than DIM. In this study, we investigated whether 5,5'-dibromoDIM inhibits the proliferation of KB and YD-10B oral squamous carcinoma cell lines. 5,5'-dibromoDIM decreased the cell survival and inhibited the growth of oral cancer cells. Exposure of KB and YD-10B cells to 5,5'-dibromoDIM induced caspase-dependent apoptosis evidenced by poly-ADP ribose polymerase cleavage, accumulation of sub-G1 population, and nuclear condensation and fragmentation. In addition, apoptotic cell death was correlated with damage to the mitochondrial membrane potential through a decrease in the level of Bcl-2 protein expression. Mechanistic studies showed that mitochondria-dependent apoptosis induced by 5,5'-dibromoDIM was mediated by the p38 mitogen-activated protein kinase pathway but not the ERK1/2 and JNK pathway. These results highlight 5,5'-dibromoDIM as an important chemopreventive agent for the clinical treatment of oral cancer through the p38 mitogen-activated protein kinase pathway.
Interfacial Phases on Giant Unilamellar Vesicles (2012)

Lipid nanodomains in cell membranes are believed to play a significant role in a number of critical cellular processes (Elson, et al., 2010). These include, for example, replication processes in enveloped viruses such as bird flu and HIV and signaling mechanisms underlying pathological conditions such as cancer. Due to the potential for developing new disease treatments through the control of these membrane rafts, the biophysics underlying their formation has been the subject of intense study, much of this focused on domain formation in giant unilamellar lipid vesicles (GUVs), a simplified model system.
Achromatic athermalized retarder fabrication (2011)

A method for fabricating an achromatic, athermalized quarter-wave retarder is presented that involves monitoring retardance during polishing. A design specified by thicknesses alone is unlikely to meet specification due to uncertainties in birefringence. This method facilitates successful fabrication to a retardance specification despite these uncertainties. A retarder made from sapphire, MgF(2), and quartz was designed, fabricated, and its performance validated for the 0.470 to 0.865 μm wavelength region. Its specifications are as follows: at wavebands centered at 0.470, 0.660, and 0.865 μm, the band-averaged retardance should be 90°±10° for all fields and retardance should change less than 0.1° for a 1° change in temperature. Retarder fabrication accommodated birefringence and thickness uncertainties via the following steps. The first plate was polished to a target thickness. The retardance spectrum of the first plate was then measured and used to determine a retardance target for the second plate. The retardance spectrum of the combined first and second plates was then used to specify a retardance target for the third plate. The retardance spectrum of the three plates in combination was then used to determine when the final thickness of the third plate was reached.
Clinical Efficacy of a Combination Pneumatic and Ultrasonic Lithotrite (2003)

The combination pneumatic/ultrasonic lithotrite is capable of disintegrating and extracting stone material at a more rapid rate than standard ultrasonic devices. Moreover, stone-free and complication rates appear to be slightly superior with the combination unit. This new combination pneumatic/ultrasonic device appears to be efficacious and safe for removing large renal calculi.
Location-specific nanoplasmonic sensing of biomolecular binding to lipid membranes with negative curvature (2015)

The biochemical processes of cell membranes are sensitive to the geometry of the lipid bilayer. We show how plasmonic "nanowells" provide label-free real-time analysis of molecules on membranes with detection of preferential binding at negative curvature. It is demonstrated that norovirus accumulate in invaginations due to multivalent interactions with glycosphingolipids.
Supplementary Figure 2 from Targeting PI3K/mTOR Overcomes Resistance to HER2-Targeted Therapy Independent of Feedback Activation of AKT (2023)

&lt;p&gt;PDF file - 40K, Figure S2: Biomarkers of in vivo response to inhibitors of PI3K/mTOR signaling. Reverse Phase Protein Analysis (RPPA) of KPL-1 tumor samples taken after 7 days treatment with the molecules indicated. Tumors taken 24 hours post final dose. A, pAKT Ser473. B, pS6 Ser235/236.&lt;/p&gt;
Theoretical and experimental analysis of transmission and enhanced absorption of frequency-selective surfaces in the infrared (2001)

A comparative study between theory and experiment is presented for transmission through lossy frequency selective surfaces (FSSs) on silicon in the 2 - 15 micrometer range. Important parameters controlling the resonance shape and location are identified: dipole length, spacing, impedance, and dielectric surroundings. Their separate influence is exhibited. The primary resonance mechanism of FSSs is the resonance of the individual metallic patches. There is no discernable resonance arising from a feed-coupled configuration. The real part of the element's impedance controls the minimum value of transmission, while scarcely affecting its location. Varying the imaginary part shifts the location of resonance, while only slightly changing the minimum value of transmission. With such fine-tuning, it is possible to make a good fit between theory and experiment near the dipole resonance on any sample. A fixed choice of impedance can provide a reasonable fit to all samples fabricated under the same conditions. The dielectric surroundings change the resonance wavelength of the FSS compared to its value in air. The presence of FSS on the substrate increases the absorptivity/emissivity of the surface in a resonant way. Such enhancement is shown for dipole and cross arrays at several wavelengths.
Cyclization of Peptides by using Selenolanthionine Bridges (2012)

Lanthionin-Brücken sind wichtige Strukturelemente in natürlichen Lantibiotika, sie können aber auch in Peptide eingeführt werden, um deren biologische Aktivität und metabolische Stabilität zu erhöhen. Die Makrocyclisierung von Peptiden durch intramolekulare Cystein-Thiolierung ist oft ein schwieriges Unterfangen, kann aber gelingen, wenn Cystein durch das reaktivere isostere Selenocystein ersetzt wird.
GPS Surface Reflection for Ionosphere and Sea State Determination (2001)

Abstract : In the past three to four years the recognition that GPS signals reflected from the earth s surface can yield useful geophysical information has led to aggressive and successful efforts to begin the exploitation of this phenomenon. Current research has demonstrated performance utilizing only the unencrypted C/A code at the L1 frequency of GPS. Information available when using both L1 and L2 is expected to enhance sea state and wind field retrievals and enable other important measurements. These enhancements will further improve performance of GPS as a powerful new tool for remote sensing from aircraft, balloon, and space platforms.
ChemInform Abstract: Extensive Chlorination of Methylnaphthalenes, Friedel‐Crafts Alkylation of Pentachlorobenzene by Heptachloro(chloromethyl) naphthalenes, and Related Results. (1993)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
Cryptosystems with a multi prime composite modulus (2018)

Multi-Prime (MP)RSA is an RSA construction in which the public modulus is a product of more than two primes, and its private key operations can be accelerated by using the Chinese Reminder Theorem (CRT). While MPRSA has been studied extensively, only limited information is found for other MP constructions, such as Paillier cryptosystem. This paper shows how to extend the security proofs for Quadratic Residue Problem (QRP), Higher Residuosity Problem (HRP) and Decisional Composite Residuosity Problem (DCRP), formulated for a two-primes modulus, to a MP setting. For the Paillier cryptosystem, we demonstrate how this technique can speed up decryption by more than 17x.
Conversion of Shockley partial dislocation pairs from unexpandable to expandable combinations after epitaxial growth of 4H-SiC (2021)

Conversion of Shockley partial dislocation pairs from unexpandable to expandable combinations has been considered possible during epitaxial growth. The step-flow model was proposed to explain the conversion, in which an unexpandable 30° C-core partial dislocation in the substrate changes into an expandable 30° Si-core partial dislocation in the epitaxial grown layer. We observed this conversion experimentally by a transmission electron microscope and confirmed the core-species change by high-angle annular dark-field scanning transmission electron microscopy. In addition, other unexpandable combinations of partial dislocations were examined for the possibility of converting to expandable. As a result, the unexpandable basal plane dislocations with a Burgers vector of ±(1/3)[112¯0] in the substrate were confirmed to be a necessary condition for forming expandable 30° Si-core partial dislocations after epitaxial growth that could expand single Shockley-type stacking faults and degrade reliability of 4H-SiC power devices.
Avian H7N9 influenza viruses are evolutionarily constrained by stochastic processes during replication and transmission in mammals (2023)

H7N9 avian influenza viruses (AIVs) have caused over 1,500 documented human infections since emerging in 2013. Although wild-type H7N9 AIVs can be transmitted by respiratory droplets in ferrets, they have not yet caused widespread outbreaks in humans. Previous studies have revealed molecular determinants of H7N9 AIV host switching, but little is known about potential evolutionary constraints on this process. Here, we compare patterns of sequence evolution for H7N9 AIV and mammalian H1N1 viruses during replication and transmission in ferrets. We show that three main factors-purifying selection, stochasticity, and very narrow transmission bottlenecks-combine to severely constrain the ability of H7N9 AIV to effectively adapt to mammalian hosts in isolated, acute spillover events. We find rare evidence of natural selection favoring new, potentially mammal-adapting mutations within ferrets but no evidence of natural selection acting during transmission. We conclude that human-adapted H7N9 viruses are unlikely to emerge during typical spillover infections. Our findings are instead consistent with a model in which the emergence of a human-transmissible virus would be a rare and unpredictable, though highly consequential, 'jackpot' event. Strategies to control the total number of spillover infections will limit opportunities for the virus to win this evolutionary lottery.
A synthetic route to highly substituted ketones. Acylations of .alpha. anions of carboxylic acid salts with acid chlorides (1977)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTA synthetic route to highly substituted ketones. Acylations of .alpha. anions of carboxylic acid salts with acid chloridesA. Paul Krapcho, David S. Kashdan, E. G. E. Jahngen Jr., and A. J. LoveyCite this: J. Org. Chem. 1977, 42, 7, 1189–1194Publication Date (Print):April 1, 1977Publication History Published online1 May 2002Published inissue 1 April 1977https://doi.org/10.1021/jo00427a019RIGHTS & PERMISSIONSArticle Views242Altmetric-Citations19LEARN 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 InReddit PDF (708 KB) Get e-Alertsclose Get e-Alerts
Foldable Solar Cells: Foldable Perovskite Solar Cells Using Carbon Nanotube‐Embedded Ultrathin Polyimide Conductor (Adv. Sci. 7/2021) (2021)

In article number 2004092, Shigeo Maruyama, Phillip Lee, Il Jeon, and co‐workers report carbon nanotube‐embedded ultra‐thin polyimide conductor‐based foldable perovskite solar cells. The foldable photovoltaic device exhibits 15.2% of power output and withstands 10 000 cycles of folding test at a bending radius of 0.5 mm. Such high efficiency and mechanical robustness are attributed to 7‐µm‐thin and smooth carbon nanotube‐polyimide complex film, which also induces strong and stable MoOx doping. [Image: see text]
Design and control of interface reaction between Al-based dielectrics and AlGaN layer in AlGaN/GaN metal-oxide-semiconductor structures (2017)

Important clues for achieving well-behaved AlGaN/GaN metal-oxide-semiconductor (MOS) devices with Al-based gate dielectrics were systematically investigated on the basis of electrical and physical characterizations. We found that low-temperature deposition of alumina insulators on AlGaN surfaces is crucial to improve the interface quality, thermal stability, and variability of MOS devices by suppressing Ga diffusion into the gate oxides. Moreover, aluminum oxynitride grown in a reactive nitric atmosphere was proven to expand the optimal process window that would improve the interface quality and to enhance immunity against charge injection into the gate dielectrics. The results constitute common guidelines for achieving high-performance and reliable AlGaN/GaN MOS devices.
Green Tribology (2020)

Green tribology is a branch of tribology that deals with improving technology with the challenge of minimizing negative environmental and biological impact. Green tribology aims to achieve the objectives of tribology along with other objectives such as emission reductions, resource and energy conservations, and material efficiency. Balancing the technological developments that can be made with their environmental and biological impacts can serve as a challenge, but it is rewarding as the future of the planet and society can depend on applying green tribology to technological designs. This article further examines the relationship between energy use and human development, the areas and principles of green tribology and how they can be applied to solve sustainability issues in technological advancements.
Constraints on the Initial State of Pb-Pb Collisions via Measurements of Z-Boson Yields and Azimuthal Anisotropy at sNN=5.02  TeV (2021)

The CMS experiment at the LHC has measured the differential cross sections of Z bosons decaying to pairs of leptons, as functions of transverse momentum and rapidity, in lead-lead collisions at a nucleon-nucleon center-of-mass energy of 5.02 TeV. The measured Z boson elliptic azimuthal anisotropy coefficient is compatible with zero, showing that Z bosons do not experience significant final-state interactions in the medium produced in the collision. Yields of Z bosons are compared to Glauber model predictions and are found to deviate from these expectations in peripheral collisions, indicating the presence of initial collision geometry and centrality selection effects. The precision of the measurement allows, for the first time, for a data-driven determination of the nucleon-nucleon integrated luminosity as a function of lead-lead centrality, thereby eliminating the need for its estimation based on a Glauber model.
Mode shaping of a Nd:YAG laser with diffractive mirrors (1993)

Summary form only given. Conventional spherical mirror laser cavities produce spatial modes that are described by Hermite Gaussian functions. For some applications, however, the lowest-order Gaussian mode shape is not desired. In addition, the lasing threshold separation between this mode and higher-order modes is often small, leading to potential multi-mode operation. Laser cavities with non-spherical mirrors have been demonstrated that allow the designer to customize the fundamental laser mode and maximize the modal discrimination. In this paper, we show that a diffractive optical element can be used as a mode-synthesizing mirror (MSM) inside a Nd:YAG laser cavity. >
Research on oxygen recovery systems for use in space capsules. Progress report, February 1972--January 1973 (1973)

other theoretical studies. Separate abstracts were prepared for nine of the papers in the report. (RWR)
MP16-11 RETZIUS-SPARING ROBOT-ASSISTED RADICAL PROSTATECTOMY IS ONCOLOGICALLY SAFE MODE OF SURGICAL TREATMENT OF PROSTATE CANCER: ANALYSIS OF 359 CASES (2018)

PCa, positive bioptic core in anterior zone, whom needed a shift to transperitoneal/open approach were excluded. Patients were randomly divided in Group 1 (EP low-gas, 8 mmHg), 17 pts and Group 2 (EP standard-gas, 12 mmHg), 16 pts. Haemodynamic, respiratory and blood acid-base parameters were measured at the induction of anaesthesia (T0), at 5 (T1), 60 (T2) and 120 min (T3) after starting CO2 insufflation. The third measurement (T3) was always performed after the end of Dorsal Vascular Complex (DVC) dissection before performing the urethrovesical anastomosis. RESULTS: Mean total operative time was 137.2 min in the group 1 and 137 min in the group 2. No significant differences were recorded in time required for trocar positioning (15 vs. 15.3 min), as well as in mean estimated blood loss (210 vs. 230 ml). The table shows intraoperative parameters analysed at the 3 times. PCO2 was significantly higher at T3 (p0.005) in group 2, with a consequent reduction in arterial pH, however not significant (p0.44). Other parameters were similar in both groups. There was no difference in complications within the 2 groups (25% in group 1; 17.7% in group 2).
YANG models for VN & TE Performance Monitoring Telemetry and Scaling Intent Autonomics (2019)

This document provides YANG data models that describe performance
monitoring telemetry and scaling intent mechanism for TE-tunnels and
Virtual Networks (VN). The models presented in this draft allow
customers to subscribe to and monitor their key performance data of
their interest on the level of TE-tunnel or VN. The models also
provide customers with the ability to program autonomic scaling intent
mechanism on the level of TE-tunnel as well as VN.
Evolution of the microstructure in carbon nanotube reinforced Nickel matrix composites processed by high-pressure torsion (2017)

Carbon nanotube (CNT)-reinforced nickel matrix composites were processed using high-pressure torsion (HPT) at room temperature (RT). Different CNT weight fractions were used in order to study the behavior of the composites in the "as sintered" and the "as deformed" conditions and to determine the effect of the amounts of CNT added on the different processing methods. The samples were analyzed by means of Vickers microhardness and electron microscopy. According to the results, increasing the CNT content in the "as sintered" condition increases the agglomerate size but decreases only slightly the grain size. Regarding the "as deformed" condition it showed little to negligible effect in further refining the microstructure. By means of HPT the hardness was increased up to 800%. It was concluded that the microstructure could be further improved in terms of grain size and agglomerate size and distribution by means of HPT.
Table S1 from LRRC15 Is a Novel Mesenchymal Protein and Stromal Target for Antibody–Drug Conjugates (2023)

&lt;p&gt;Cross species binding and tolerability of ABBV-085.&lt;/p&gt;