gebhart/patrepeval huggingface dataset:
Relating strands and multiset rewriting for security protocol analysis (2002)

Formal analysis of security protocols is largely based on an set of assumptions commonly referred to as the Dolev-Yao model. Two formalisms that state the basic assumptions of this model are related here: strand spaces and multiuser rewriting with existential quantification. Although it is fairly intuitive that these two languages should be equivalent in some way, a number of modifications to each system are required to obtain a meaningful equivalence. We extend the strand formalism with a way of incrementally growing bundles in order to emulate an execution of a protocol with parametric strands. We omit the initialization part of the multiset rewriting setting, which formalizes the choice of initial data, such as shared public or private keys, and which has no counterpart in the stand space setting. The correspondence between the modified formalisms directly relates the intruder theory from the multiset rewriting formalism to the penetrator strands.
Confined crystallization of fenofibrate in nanoporous silica (2015)

Producing stable nanocrystals confined to porous excipient media is a desirable way to increase the dissolution rate and improve the bioavailability of poorly water soluble pharmaceuticals. The poorly soluble pharmaceutical fenofibrate was crystallized in controlled pore glass (CPG) of 10 different pore sizes between 12 nm and 300 nm. High drug loadings of greater than 20 wt% were achieved across all pore sizes greater than 20 nm. Nanocrystalline fenofibrate was formed in pore sizes greater than 20 nm and showed characteristic melting point depressions following a Gibbs–Thomson relationship as well as enhanced dissolution rates. Solid-state Nuclear Magnetic Resonance (NMR) was employed to characterize the crystallinity of the confined molecules. These results help to advance the fundamental understanding of nanocrystallization in confined pores.
Review Article: Quantum Nanophotonics in Diamond (2016)

The past decade has seen great advances in developing color centers in diamond for sensing, quantum information processing, and tests of quantum foundations. Increasingly, the success of these applications as well as fundamental investigations of light-matter interaction depend on improved control of optical interactions with color centers -- from better fluorescence collection to efficient and precise coupling with confined single optical modes. Wide ranging research efforts have been undertaken to address these demands through advanced nanofabrication of diamond. This review will cover recent advances in diamond nano- and microphotonic structures for efficient light collection, color center to nanocavity coupling, hybrid integration of diamond devices with other material systems, and the wide range of fabrication methods that have enabled these complex photonic diamond systems.
Non-conventional Multiband Patch Antenna Design with Filtering Aspect Based on Genetic Algorithm (2019)

This paper addresses the multiband patch antenna design using an improved straightforward method based on genetic algorithm. Starting from a random matrix of squared pixel shapes, the GA optimizes the final design in order to obtain desired specifications, for instance: good impedance matching in required frequency-bands and rejection of undesired bands by integrating appropriate filter. The program is implemented with visual basic script integrated in CST software. The method overcomes the classical design way since the optimized design can be automatically achieved without interfering with designer (independent conception). Validation of the proposed procedure is carried out through simulations and measurements of two patches (dual and tri-band) for WiMAX, WLAN, and X-band applications. Obtained results are in good agreement and demonstrate the effectiveness of the proposed design method.
Electrochemical Reduction of CO2 to Alcohols: Current Understanding, Progress, and Challenges (2021)

In comparison with conventional methods, electrochemical CO 2 reduction (CO 2 RR) represents a promising and environmentally friendly method to generate value‐added products and mitigate anthropogenic climate change. Herein, the recently reported CO 2 RR catalysts that show high selectivity and activity toward alcohol production are highlighted. The current understanding of reaction pathways on different catalyst surfaces for alcohol production is highlighted and strategies to enhance CO 2 RR catalytic performance are discussed. Finally, the views on the challenges and possible future paths for the field are shared.
Figure S4 from Photodynamic Priming Mitigates Chemotherapeutic Selection Pressures and Improves Drug Delivery (2023)

&lt;p&gt;Combination of PDP and a single cycle of na-IRI did not achieve long-term survivial benefit. Kaplan-Meier plot of animal overall survival.&lt;/p&gt;
Enhancing nanostructured nickel-rich lithium-ion battery cathodes via surface stabilization (2020)

Layered, nickel-rich lithium transition metal oxides have emerged as leading candidates for lithium-ion battery (LIB) cathode materials. High-performance applications for nickel-rich cathodes, such as electric vehicles and grid-level energy storage, demand electrodes that deliver high power without compromising cell lifetimes or impedance. Nanoparticle-based nickel-rich cathodes seemingly present a solution to this challenge due to shorter lithium-ion diffusion lengths compared to incumbent micrometer-scale active material particles. However, since smaller particle sizes imply that surface effects become increasingly important, particle surface chemistry must be well characterized and controlled to achieve robust electrochemical properties. Moreover, residual surface impurities can disrupt commonly used carbon coating schemes, which result in compromised cell performance. Using x-ray photoelectron spectroscopy, here we present a detailed characterization of the surface chemistry of LiNi0.8Al0.15Co0.05O2 (NCA) nanoparticles, ultimately identifying surface impurities that limit LIB performance. With this chemical insight, annealing procedures are developed that minimize these surface impurities, thus improving electrochemical properties and enabling conformal graphene coatings that reduce cell impedance, maximize electrode packing density, and enhance cell lifetime fourfold. Overall, this work demonstrates that controlling and stabilizing surface chemistry enables the full potential of nanostructured nickel-rich cathodes to be realized in high-performance LIB technology.
Reliability-Based Optimal Design of a Bistable Compliant Mechanism (1993)

Abstract Compliant mechanisms obtain at least some of their motion from the deflection of their flexible members. Advantages of such mechanisms include the reduction of manufacturing and assembly cost and time. Bistable mechanisms are particularly useful in applications where two stable equilibrium positions are required, such as switches, gates, and closures. Fatigue is a major concern in many compliant mechanisms due to the cyclic stresses induced on the flexible members. In this paper, a method for the probabilistic design of a bistable compliant slider-crank mechanism is proposed. Link lengths, material properties, and cross-section dimensions are taken as random variables. Probabilistic constraints on the maximum and minimum required input torque, location of stable equilibrium position, and overall size are included. The objective function is the maximization of the mechanism reliability in fatigue. Several design studies are performed to gain further insight into the nature of the problem.
Using Two-Stage Chemical Amplification To Determine the Density of Defects in Self-Assembled Monolayers of Alkanethiolates on Gold (1996)

This paper describes a technique to measure the surface density of the defects in self-assembled monolayers (SAMs) of hexadecanethiolates on gold that lead to etching of the gold when the system is etched with aqueous ferricyanide solution. This technique uses two steps of amplification through chemical reaction to convert pinhole defects in SAMs into easily imaged, micron-scale pits in an underlying Si support. With this technique, it is possible to evaluate the density of defects in SAMs and in the structures prepared by using SAMs as resists under conditions that may be encountered in lithographic processing. At present, the lowest density of pits that we have measured for SAMs of hexadecanethiolates on 50 nm thick gold is ∼5 pits/mm2. This density is an upper limit for the density of defects that expose bare gold to the etching solution or that comprise regions of SAM sufficiently thin that the SAM is not able to block access of the etchant to the gold.
Thermal and Structural Characterization of Poly(methylene-1,3-cyclopentane) Samples of Different Microstructures (1995)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTThermal and Structural Characterization of Poly(methylene-1,3-cyclopentane) Samples of Different MicrostructuresOdda Ruiz de Ballesteros, Vincenzo Venditto, Finizia Auriemma, Gaetano Guerra, Luigi Resconi, Robert Waymouth, and Anne-Lise MogstadCite this: Macromolecules 1995, 28, 7, 2383–2388Publication Date (Print):March 1, 1995Publication History Published online1 May 2002Published inissue 1 March 1995https://doi.org/10.1021/ma00111a036RIGHTS & PERMISSIONSArticle Views270Altmetric-Citations42LEARN 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 (703 KB) Get e-Alerts Get e-Alerts
Experimental evidence of nanometer-scale localized recombination due to random In fluctuations in InGaN/GaN quantum wells (Conference Presentation) (2018)

In nitride ternary alloys, natural compositional disorder induces strong electronic localization effects. We present a new experimental approach which allows a direct probing at nanometer scale of disorder-induced localization effects in InGaN/GaN quantum wells (QWs). In this experiment, samples are p-type heterostructures incorporating an InGaN/GaN QW nearby the surface. The electrons are locally injected from a scanning tunneling microscope (STM) tip into the conduction band of the thin cladding top GaN layer and captured in the InGaN QW where they radiatively recombine. The injected current is maintained constant by the STM feedback loop and the injection electron energy is controlled by the bias voltage applied to the tip-sample tunnel junction. The luminescence onset voltage coincides with electron injection above the bottom of the conduction band in the bulk GaN (beyond the band bending region). Thereby, scanning the tip allows the high-resolution mapping of the luminescence process in the InGaN QW. Spatial fluctuations of the luminescence peak energy and linewidth are observed on the scale of a few nanometers, which are characteristic of disorder-induced carrier localization. A model based on the so-called localization landscape theory is developed to take into account the effect of alloy disorder into simulations of the structure properties. The localization landscape notably describes an effective confining potential, whose basins and crests define the localization regions of carriers. This theory accounts well for the observed nanometer scale carrier localization and the energy-dependent luminescence linewidth observed for the quantum electron states in the disordered energy band.
Advanced Diagnostic and Sample Preparation Platform for Early Threat Surveillance (2015)

Emerging infectious diseases present a profound threat to global health, economic development, and political stability, and therefore represent a significant national security concern for the United States. The increased prevalence of international travel and globalized trade further amplify the threat of infectious disease outbreaks of catastrophic effect. The key to containing and eradicating an outbreak before it goes global is rapid identification of index cases and initial clusters of affected individuals. This depends upon establishment of a biosurveillance network that effectively reaches infectious disease hotspots in even the most remote regions of the world and provides a network-integrated, location-appropriate diagnostic capability. At present, there are two critical needs which must be addressed in order to extend biosurveillance activities beyond centralized laboratory facilities: 1) A simple, reliable, and safe method for immediate stabilization of clinical specimens in the field; and 2) A flexible sample processing platform that enables in-field preparation of clinical specimens for rapid, on-site analysis using a variety of diagnostic assay platforms. These needs are not necessarily mutually exclusive; in fact, we propose that they are most efficiently addressed by a deployable sample processing platform that immediately stabilizes the information content of clinical specimens through transformation of the inherently unstable analytes of interest into stable equivalents that are appropriately formatted for downstream analysis. In order to address this problem, we have developed a sample processing pipeline and microfluidics-based platform modules enabling: 1) Extraction of total RNA from finger-stick quantities of human whole blood; and 2) Microscale synthesis of appropriately-formatted cDNA products that capture the information content of blood RNA in a stable form that supports pathogen detection and/or characterization via PCR and/or Second Generation Sequencing (SGS). Through this research we have discovered new, effective solutions for problems that thus far have hindered use of digital microfluidics (DMF) in biomedical applications. Our work reveals a clear path forward to fieldable, automated sample processing systems that will enable rapid, on-site identification of usual-suspect and novel pathogens in clinical specimens for improved biosurveillance.
Coleresis, flujo biliar, presiones intraductales y radiologia en pacientes colecistectomizados, portadores de tubo de kehr en coledoco (1993)

Se ha estudiado el comportamiento de la vbp y del esfinter de oddi, mediante distintas exploraciones a traves del tubo de coledocostomia de kehr, y hemos podido observar que la presion en la vbp oscila entre 8-10 cm. De agua con los cambios posturales de decubito y orto, siendo la presion en orto mayor que en decubito y aumentando las presiones con la ingesta. Cuando los pacientes presentan aumento de presion intracoledocal por encima de 12.5 cm. De agua, podemos predecir la existencia de litiasis residual con un intervalo de confianza del 95%. En las pancreatitis biliares se ha presentado en todos los casos inversion de la presion y disminucion de las mismas. La exploracion radiologica nos permite ver la morfologia de la vbp (hepatocoledoco) y visualizar mejor el esfinter de oddi en posicion de orto, mientras que en decubito supino se observa toda la vb extra e intrahepatica. Con respecto al estudio farmacologico los nitritos y la cck no modificaron la presion en la vbp, mientras que la morfina sin, aumentandola. Finalmente la somatostatina disminuyo la coleresis en las fases prandial y post-prandial hasta un 60% de sus cifras basales en ayunas.
Supramolecularly Regulated Enantioselective Catalysts (2021)

Among the many contributions of supramolecular interactions to enantioselective catalysis, this chapter highlights selected examples of the generation of libraries of catalysts with a range of closely related active sites. These catalysts retain most of the structural features of the backbone, while incorporating changes to their active sites that are determined by the characteristics of the regulation agent (RA) employed to prepare the catalyst. In one of the categories of supramolecularly regulated catalysts, the active site has a well-defined three-dimensional structure suitable for enantioselective catalysis and a distal regulation site containing a supramolecular motif capable of interacting with the RA. The other category of catalysts is directly generated from a prochiral unit containing the active site and an enantiopure RA, in which processes of chirogenesis in the carbon backbone containing the catalytic site are triggered by the RA.
Phenotypic Spectrum of Children with Nephronophthisis and Related Ciliopathies (2017)

Mutations in <i>NPHP</i> genes cause a wide range of ciliopathies with multiorgan involvement and different clinical outcomes.
High sensitive troponin T and heart fatty acid binding protein: Novel biomarker in heart failure with normal ejection fraction?: A cross-sectional study (2011)

In HFnEF patients, hsTnT and hFABP are elevated independent of coronary artery disease, suggesting that ongoing myocardial damage plays a critical role in the pathophysiology. A combination of biomarkers and echocardiographic parameters might improve diagnostic accuracy and risk stratification of patients with HFnEF.
A Proposal for Open-Source HVDC Control (2019)

Future multiterminal high-voltage direct-current (HVDC) grids are considered an enabling technology to efficiently integrate large amounts of renewable energy into the existing grid. However, already in today's existing point-to-point HVDC links, harmonic interaction issues and instabilities related to the control and protection system of the converters have been reported. The converter control software is usually black-boxed and problems are therefore solved in close cooperation with the HVDC vendor. This paper aims to provide a starting point for a discussion on an open-source HVDC control system. In particular, it covers the control design including technical and non-technical aspects. The open-source approach can be useful to solve current as well as future control-related problems, both in point-to-point links as well as in multiterminal and multivendor HVDC grids.
Active control of a hybrid fuel cell-battery system (2004)

Abstract—A hybrid system of a fuel cell and battery connected to a non-linear load is presented in this paper. As the load is subject to change drastically, a control system is designed to protect the fuel cell against sudden change of load power. In order to design control system, numerous experiments have been performed on fuel cell and battery to determine the time constants. Modeling and analysis of the system as well as simulation and experimental results are presented. Keywords- battery; DC/DC converter; digital control; fuel cell. I.
Modeling diffraction off Digital Micromirror Devices (2021)

A newer model for diffraction from a Digital Micromirror Device is disclosed. The model predicts an improvement in light throughput, when the micromirrors are addressed in a FLAT state distinct from the standard ON/OFF states.
Elevation in Circulating Biomarkers of Cartilage Damage and Inflammation in Athletes With Femoroacetabular Impingement (2013)

Chondral injury secondary to the repetitive microtrauma of FAI might be reliably detected with biomarkers. In the future, these biomarkers might be used as screening tools to identify at-risk patients and assess the efficacy of therapeutic interventions such as hip preservation surgery in altering the natural history and progression to osteoarthritis.
Simulation and Measurement of Narrow-Band Antennas for Small Terminals (2012)

In this paper both normal-band and narrow-band PIFA antennas for small terminals are compared through numerical simulations and measurements for different UMTS bandwidths. It is found that using different antennas for the transmitting and receiving regions of the frequency duplex it is possible to achieve a significant improvement in terms of isolation. Measurement results show also that ohmic losses lower the total efficiency in the narrow-band case especially at low frequencies.
Effects of Administration of a LH-RH Inhibitory Analogue on Stages of the Rat Estrous Cycle (1978)

[d-Phe2, Phe3, d-Phe6]-LH-RH, a potent antagonist of LH-RH, was injected during the different stages of the estrous cycle in rats at a dose of 1.5 mg/rat. When it was administered at noon or proestrus, a 100% blockade was observed. This decreased to 33% and 17% when the analogue was injected at 9 am on proestrus and diestrus 2, respectively. No blockade of ovulation was observed after the injection of the analogue on diestrus 1 or on the previous estrus. The sequential administration of the analogue twice daily on E, D1 and D2, brought about almost complete suppression of LH surge on proestrus and an 86% blockade of ovulation without altering the cyclic vaginal smear pattern. In this case, serum levels of estradiol were not modified but progesterone levels were significantly lower on proestrus and higher on diestrus 1 in the analogue treated group as compared to control rats. This higher level of progesterone on diestrus 1 might account in part for the inhibition of the LH-surge and blockade of ovulation by the inhibitory analogues of LH-RH.
The SysteMHC Atlas project (2017)

Mass spectrometry (MS)-based immunopeptidomics investigates the repertoire of peptides presented at the cell surface by major histocompatibility complex (MHC) molecules. The broad clinical relevance of MHC-associated peptides, e.g. in precision medicine, provides a strong rationale for the large-scale generation of immunopeptidomic datasets and recent developments in MS-based peptide analysis technologies now support the generation of the required data. Importantly, the availability of diverse immunopeptidomic datasets has resulted in an increasing need to standardize, store and exchange this type of data to enable better collaborations among researchers, to advance the field more efficiently and to establish quality measures required for the meaningful comparison of datasets. Here we present the SysteMHC Atlas (https://systemhcatlas.org), a public database that aims at collecting, organizing, sharing, visualizing and exploring immunopeptidomic data generated by MS. The Atlas includes raw mass spectrometer output files collected from several laboratories around the globe, a catalog of context-specific datasets of MHC class I and class II peptides, standardized MHC allele-specific peptide spectral libraries consisting of consensus spectra calculated from repeat measurements of the same peptide sequence, and links to other proteomics and immunology databases. The SysteMHC Atlas project was created and will be further expanded using a uniform and open computational pipeline that controls the quality of peptide identifications and peptide annotations. Thus, the SysteMHC Atlas disseminates quality controlled immunopeptidomic information to the public domain and serves as a community resource toward the generation of a high-quality comprehensive map of the human immunopeptidome and the support of consistent measurement of immunopeptidomic sample cohorts.