gebhart/patrepeval huggingface dataset:
A modular partitioning approach for asynchronous circuit synthesis (1994)

Article Free Access Share on A modular partitioning approach for asynchronous circuit synthesis Authors: Ruchir Puri Dept. of Electrical & Computer Engineering, University of Calgary, Calgary, Canada T2N 1N4 Dept. of Electrical & Computer Engineering, University of Calgary, Calgary, Canada T2N 1N4View Profile , Jun Gu Dept. of Electrical & Computer Engineering, University of Calgary, Calgary, Canada T2N 1N4 Dept. of Electrical & Computer Engineering, University of Calgary, Calgary, Canada T2N 1N4View Profile Authors Info & Claims DAC '94: Proceedings of the 31st annual Design Automation ConferenceJune 1994 Pages 63–69https://doi.org/10.1145/196244.196278Published:06 June 1994Publication History 15citation184DownloadsMetricsTotal Citations15Total Downloads184Last 12 Months5Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Biocatalytic Asymmetric Hydrogen Transfer (2002)

Celling chemistry: Ketones (secondary alcohols) can be biocatalytically reduced (oxidized) at a substrate concentration of up to 1.8 mol L−1 in an asymmetric fashion by employing a novel secondary alcohol dehydrogenase from Rhodococcus ruber DSM 44541 (see scheme). Furthermore, the enzyme is exceptionally stable at high cosubstrate concentrations, that is, 2-propanol (50 % v/v) for reduction and acetone (20 % v/v) for oxidation, respectively.
Identifying unreliable predictions in clinical risk models (2020)

Abstract The ability to identify patients who are likely to have an adverse outcome is an essential component of good clinical care. Therefore, predictive risk stratification models play an important role in clinical decision making. Determining whether a given predictive model is suitable for clinical use usually involves evaluating the model’s performance on large patient datasets using standard statistical measures of success (e.g., accuracy, discriminatory ability). However, as these metrics correspond to averages over patients who have a range of different characteristics, it is difficult to discern whether an individual prediction on a given patient should be trusted using these measures alone. In this paper, we introduce a new method for identifying patient subgroups where a predictive model is expected to be poor, thereby highlighting when a given prediction is misleading and should not be trusted. The resulting “unreliability score” can be computed for any clinical risk model and is suitable in the setting of large class imbalance, a situation often encountered in healthcare settings. Using data from more than 40,000 patients in the Global Registry of Acute Coronary Events (GRACE), we demonstrate that patients with high unreliability scores form a subgroup in which the predictive model has both decreased accuracy and decreased discriminatory ability.
Optimal length of ZnO nanorods for improving the light-extraction efficiency of blue InGaN light-emitting diodes (2015)

Optimal length of ZnO nanorods (NRs) on blue InGaN light-emitting diodes (LEDs) was investigated to improve the light-extraction efficiency (LEE) of the LED. X-ray diffraction, photoluminescence spectroscopy, and micro-Raman spectroscopy were employed to determine the structural and optical properties of the ZnO NRs with length of 300 nm and 5 μm grown by a hydrothermal method. From the conventional light output power versus injection current (L-I) measurement, we found that the light output power of the LEDs with 300-nm- and 5-μm-long ZnO NRs was approximately 14.6% and 40.7% greater, respectively, than that of the LED without the ZnO NRs at an operating current of 20 mA. In addition, there were almost no changes to the electrical properties of the ZnO-NR-coated LEDs. The effect of the length of the ZnO NRs on the LEE of the LEDs was theoretically verified with three-dimensional finite-difference time-domain (FDTD) analysis. The FDTD images of the optical power and far-field radiation patterns of the LEDs showed that more photons were guided to the out of the LED by the longer ZnO NRs than by the shorter ZnO NRs grown on the LEDs.
Fast scene analysis using image and range data (2011)

This paper presents a scheme which takes as input a 3D point cloud and an associated color image and parses the scene into a collection of salient planar surfaces. The scheme makes use of a fast color segmentation scheme to divide the color image into coherent regions and the groupings suggested by this procedure are used to inform and accelerate a RANSAC based interpretation process. Results on real data sets are presented.
NR2B-Selective<i>N</i>-Methyl-<scp>d</scp>-aspartate Antagonists:  Synthesis and Evaluation of 5-Substituted Benzimidazoles (2004)

Two classes of 5-substituted benzimidazoles were identified as potent antagonists of the NR2B subtype of the N-methyl-d-aspartate (NMDA) receptor. Selected compounds show very good selectivity versus the NR2A, NR2C, and NR2D subtypes of the NMDA receptor as well as versus hERG-channel activity and alpha(1)-adrenergic binding. Benzimidazole 37a shows excellent activity in the carrageenan-induced mechanical hyperalgesia assay in rats as well as good pharmacokinetic behavior in dogs.
Biodegradable Ionic Liquids: Selected Synthetic Applications (2007)

3-Methyl-1-(propyloxycarbonylmethyl)imidazolium octylsulfate 1a and 3-methyl-1-(pentyloxycarbonylmethyl)imidazolium octylsulfate 2a are ionic liquids that have previously been shown to be readily biodegradable in the CO2 headspace test (ISO 14593). In the present study, these ionic liquids were evaluated as reaction media for Diels–Alder and hydrogenation reactions. The comparison of the performance of these two designer solvents in these reactions with those conducted in other, non-biodegradable ionic liquids has demonstrated that they are comparable and viable solvents.
SOLID OXIDE FUEL CELLS FOR DIRECT UTILIZATION OF HYDROCARBONS PREPARED BY LAMINATION METHODS (2004)

generation in a wide range of applications. Because they are based on a ceramic, oxygen ion-conducting membrane, a SOFC can theoretically operate on any combustible fuel, including CO [1,2] and hydrocarbons [3-5], allowing them to be used with fuels that are readily available today. However, in order to operate on hydrocarbon fuels, it is necessary to choose the materials that are used in the anode with great care. For example, Ni, which is commonly used in anodes on fuel cells that utilize H2, tends to form carbon fibers in the presence of hydrocarbons. In general, the first step in fabricating SOFC electrodes involves high-temperature sintering of mixed oxides including electrolyte materials. This approach limits the choice of materials that can be used for the electrode since the oxides may decompose or undergo unwanted solid-state reactions at high temperatures. Therefore, alternative methods are required for preparation of electrode composites in order to incorporate a wide range of materials that may have superior catalytic or current collection properties. Recent work in our laboratory has demonstrated that it is possible to prepare SOFC electrodes from a wide range of materials by using low-temperature methods in which the electronically conductive component is added by impregnation with soluble salts to a porous matrix of the electrolyte material [6,7]. The primary advantage of producing electrodes in this manner is that the porous matrix can be sintered together with the electrolyte to very high temperatures before the active component is added, allowing the processing temperatures for the two components to be decoupled. In this paper, we describe the fabrication of SOFCs with highperformance electrodes, having controlled structures and capable of producing electrons directly from hydrocarbon fuels, without reforming. These SOFCs were produced using a single, hightemperature sintering step in which the initial structure consists of a dense layer of YSZ separating two porous layers and is produced by lamination of green ceramic tapes. An additional layer with holes was laminated on top of one of the porous layers to provide mechanical strength and rigidity.
Development and applications of surface‐activated chemical ionization (2007)

This review regards the recently developed ionization source named surface-activated chemical ionization (SACI) that employs an interaction with a surface placed at low voltage for the activation of the ionization of sample molecules to increase the sensitivity in the analysis of various compounds of biological and clinical interest. These results are due to the strong chemical noise decrease and the increase of ionization efficiency. This ionization source has been employed for the analysis of various compounds of different molecular mass and polarity (addicted and pharmaceutical drugs, amino acids, steroids, peptides, and proteins). The SACI development theoretical mechanism, benefits, disadvantages, applications, and future developments are reported and discussed.
Melt‐Processing of Complementary Semiconducting Polymer Blends for High Performance Organic Transistors (2016)

Melt-processing of complementary semiconducting polymer blends provides an average charge carrier mobility of 0.4 cm<sup>2</sup> V<sup>-1</sup> s<sup>-1</sup> and current on/off ratios higher than 10<sup>5</sup> , a record performance for melt-processed organic field-effect transistors.
Hybrid Composite Cryogenic Tank Structure (2011)

A hybrid lightweight composite tank has been created using specially designed materials and manufacturing processes. The tank is produced by using a hybrid structure consisting of at least two reinforced composite material systems. The inner composite layer comprises a distinct fiber and resin matrix suitable for cryogenic use that is a braided-sleeve (and/or a filamentwound layer) aramid fiber preform that is placed on a removable mandrel (outfitted with metallic end fittings) and is infused (vacuum-assisted resin transfer molded) with a polyurethane resin matrix with a high ductility at low temperatures. This inner layer is allowed to cure and is encapsulated with a filamentwound outer composite layer of a distinct fiber resin system. Both inner and outer layer are in intimate contact, and can also be cured at the same time. The outer layer is a material that performs well for low temperature pressure vessels, and it can rely on the inner layer to act as a liner to contain the fluids. The outer layer can be a variety of materials, but the best embodiment may be the use of a continuous tow of carbon fiber (T-1000 carbon, or others), or other high-strength fibers combined with a high ductility epoxy resin matrix, or a polyurethane matrix, which performs well at low temperatures. After curing, the mandrel can be removed from the outer layer. While the hybrid structure is not limited to two particular materials, a preferred version of the tank has been demonstrated on an actual test tank article cycled at high pressures with liquid nitrogen and liquid hydrogen, and the best version is an inner layer of PBO (poly-pphenylenebenzobisoxazole) fibers with a polyurethane matrix and an outer layer of T-1000 carbon with a high elongation epoxy matrix suitable for cryogenic temperatures. A polyurethane matrix has also been used for the outer layer. The construction method is ideal because the fiber and resin of the inner layer has a high strain to failure at cryogenic temperatures, and will not crack or produce leaks. The outer layer serves as more of a high-performance structural unit for the inner layer, and can handle external environments.
Artificial Dense Granules: A Procoagulant Liposomal Formulation Modeled after Platelet Polyphosphate Storage Pools (2016)

Granular platelet-sized polyphosphate nanoparticles (polyP NPs) were encapsulated in sterically stabilized liposomes, forming a potential, targeted procoagulant nanotherapy resembling human platelet dense granules in both structure and functionality. Dynamic light scattering (DLS) measurements reveal that artificial dense granules (ADGs) are colloidally stable and that the granular polyP NPs are encapsulated at high efficiencies. High-resolution scanning transmission electron microscopy (HR-STEM) indicates that the ADGs are monodisperse particles with a 150 nm diameter dense core consisting of P, Ca, and O surrounded by a corrugated 25 nm thick shell containing P, C, and O. Further, the ADGs manifest promising procoagulant activity: Detergent solubilization by Tween 20 or digestion of the lipid envelope by phospholipase C (PLC) allows for ADGs to trigger autoactivation of Factor XII (FXII), the first proteolytic step in the activation of the contact pathway of clotting. Moreover, ADGs' ability to reduce the clotting time of human plasma in the presence of PLC further demonstrate the feasibility to develop ADGs into a potential procoagulant nanomedicine.
Efficient discrete wavelet transform architectures based on filterbank factorizations (1999)

In this paper, a boundary postprocessing technique is proposed to compute the discrete wavelet transform (DWT) near block boundaries. The basic idea is to take advantage of available lifting filterbank factorizations to model the DWT as a Finite State Machine (FSM). The proposed technique can reduce the size of auxiliary buffers in block-based DWT implementations and reduce the communication overhead between adjacent blocks. Two new DWT system architectures, Overlap-State sequential and Split-and-Merge parallel, are presented using this technique. Experimental results show that, for the popular (9, 7) filters, the size of auxiliary buffers can be reduced by 42% and that the parallel algorithm is 30% faster than existing approaches.
Evidence of near-ultraviolet emission during electrical-tree initiation in polyethylene (1987)

The spectra of light emitted during electrical-tree initiation in low-density polyethylene used in high-voltage cables were investigated. Light in the visible and in the near-ultraviolet range was detected. Low-density polyethylene subjected to highly divergent fields at voltages below the light-inception level did not develop an electrical tree, and it is suggested that the light-inception voltage is the threshold for insulation degradation. The ultraviolet light emitted at voltages above the light-inception level could cause degradation of the polymer. A model is proposed to explain the mechanism of electroluminescence. Ultraviolet stabilizers added to the polymer prolonged the time to electrical-tree initiation by preventing photodegradation of the polymer.
Thermally Assisted Switching in Exchange-Biased Storage Layer Magnetic Tunnel Junctions (2004)

International audience
High Affinity Binding of α-Latrotoxin to Recombinant Neurexin Iα (1995)

alpha-Latrotoxin is a potent neurotoxin from black widow spider venom that stimulates neurotransmitter release. alpha-Latrotoxin is thought to act by binding to a high affinity receptor on presynaptic nerve terminals. In previous studies, high affinity alpha-latrotoxin binding proteins were isolated and demonstrated to contain neurexin I alpha as a major component. Neurexin I alpha is a cell surface protein that exists in multiple differentially spliced isoforms and belongs to a large family of neuron-specific proteins. Using a series of neurexin I-IgG fusion proteins, we now show that recombinant neurexin I alpha binds alpha-latrotoxin directly with high affinity (Kd approximately 4 nM). Binding of alpha-latrotoxin to recombinant neurexin I alpha is dependent on Ca2+ (EC50 approximately 30 microM). Our data suggest that neurexin I alpha is a Ca(2+)-dependent high affinity receptor for alpha-latrotoxin.
Enhancing symbolic execution with veritesting (2014)

We present MergePoint, a new binary-only symbolic execution system for large-scale and fully unassisted testing of commodity off-the-shelf (COTS) software. MergePoint introduces veritesting, a new technique that employs static symbolic execution to amplify the effect of dynamic symbolic execution. Veritesting allows MergePoint to find twice as many bugs, explore orders of magnitude more paths, and achieve higher code coverage than previous dynamic symbolic execution systems. MergePoint is currently running daily on a 100 node cluster analyzing 33,248 Linux binaries; has generated more than 15 billion SMT queries, 200 million test cases, 2,347,420 crashes, and found 11,687 bugs in 4,379 distinct applications.
Adaptive threshold modulation for error diffusion halftoning (2001)

Grayscale digital image halftoning quantizes each pixel to one bit. In error diffusion halftoning, the quantization error at each pixel is filtered and fed back to the input in order to diffuse the quantization error among the neighboring grayscale pixels. Error diffusion introduces nonlinear distortion (directional artifacts), linear distortion (sharpening), and additive noise. Threshold modulation, which alters the quantizer input, has been previously used to reduce either directional artifacts or linear distortion. This paper presents an adaptive threshold modulation framework to improve halftone quality by optimizing error diffusion parameters in the least squares sense. The framework models the quantizer implicitly, so a wide variety of quantizers may be used. Based on the framework, we derive adaptive algorithms to optimize 1) edge enhancement halftoning and 2) green noise halftoning. In edge enhancement halftoning, we minimize linear distortion by controlling the sharpening control parameter. We may also break up directional artifacts by replacing the thresholding quantizer with a deterministic bit flipping (DBF) quantizer. For green noise halftoning, we optimize the hysteresis coefficients.
Conveniently Processible Forms of Electrically Conductive Poly(Dibutoxyphenylene Vinylene) (1990)

Abstract Highly versatile conductive polymers have been derived from a variety of readily prepared, conveniently processible precursor polymers to substituted poly(phenylene vinylenes). Key discoveries were made that facilitate processing of these precursor polymers. These include the ability to stabilize solutions of dialkoxyphenylene-vinylene precursor polymers against gel formation by the addition of weak amines, and the preparation of new non-ionic precursor polymers that can be processed from a wide range of solvents. In addition to structurally diverse precursor polymers, our recent discovery that strong protonic acids are generally applicable as dopants for conjugated polymers provides methodologies for directly processing these polymers in their highly conductive forms. Protonic acid doped conductive polymers can be obtained by thermal conversion of polyelectrolyte precursor polymers that contain conjugate bases of relatively non-volatile strong acids. Further, methods have been developed for the conversion of non-ionic precursor polymers into doped conductive materials in solution at room temperature. Conditions can be chosen to prepare either the undoped or doped conjugated polymer. Partial formation of conjugated structures from these precursor polymers gives copolymers that display liquid crystalline behavior.
Mechanical assembly of a microelectrode array for use in a wireless intracortical recording device (2003)

Fabrication of a microelectrode array assembly for neural activity recording is described. The assembly forms the mechanical front-end of the telemetric electrode array system, a wireless intracortical recording device designed for motor cortex studies in nonhuman primates. The electrodes are manufactured by wire electrical discharge machining solid titanium. They are then secured in a polyimide substrate. A flexible printed circuit board connector cable connects the array structure to the electrical frontend. Parylene and platinum are used as the encapsulation materials. Results from the implantation of a prototype microelectrode array assembly are discussed.
Scalable Optimization Methods for Distribution Networks With High PV Integration (2016)

This paper proposes a suite of algorithms to determine the active- and reactive-power setpoints for photovoltaic (PV) inverters in distribution networks. The objective is to optimize the operation of the distribution feeder according to a variety of performance objectives and ensure voltage regulation. In general, these algorithms take a form of the widely studied ac optimal power flow (OPF) problem. For the envisioned application domain, nonlinear power-flow constraints render pertinent OPF problems nonconvex and computationally intensive for large systems. To address these concerns, we formulate a quadratic constrained quadratic program (QCQP) by leveraging a linear approximation of the algebraic power-flow equations. Furthermore, simplification from QCQP to a linearly constrained quadratic program is provided under certain conditions. The merits of the proposed approach are demonstrated with simulation results that utilize realistic PV-generation and load-profile data for illustrative distribution-system test feeders.
Ion‐exchange resins greatly facilitate refolding of like‐charged proteins at high concentrations (2010)

Protein refolding is a crucial step for the production of therapeutic proteins expressed in bacteria as inclusion bodies. In vitro protein refolding is severely impeded by the aggregation of folding intermediates during the folding process, so inhibition of the aggregation is the most effective approach to high-efficiency protein refolding. We have herein found that electrostatic repulsion between like-charged protein and ion exchange gel beads can greatly suppress the aggregation of folding intermediates, leading to the significant increase of native protein recovery. This finding is extensively demonstrated with three different proteins and four kinds of ion-exchange resins when the protein and ion-exchange gel are either positively or negatively charged at the refolding conditions. It is remarkable that the enhancing effect is significant at very high protein concentrations, such as 4 mg/mL lysozyme (positively charged) and 2 mg/mL bovine serum albumin (negatively charged). Moreover, the folding kinetics is not compromised by the presence of the resins, so fast protein refolding is realized at high protein concentrations. It was not realistic by any other approaches. The working mechanism of the like-charged resin is considered due to the charge repulsion that could induce oriented alignment of protein molecules near the charged surface, leading to the inhibition of protein aggregation. The molecular crowding effect induced by the charge repulsion may also contribute to accelerating protein folding. The refolding method with like-charged ion exchangers is simple to perform, and the key material is easy to separate for recycling. Moreover, because ion exchangers can work as adsorbents of oppositely charged impurities, an operation of simultaneous protein refolding and purification is possible. All the characters are desirable for preparative refolding of therapeutic proteins expressed in bacteria as inclusion bodies.