gebhart/patrepeval huggingface dataset:
Extended commitment ordering, or guaranteeing global serializability by applying commitment order selectively to global transactions (1993)

The Extended Commitment Ordering (ECO) property of transaction histories (schedules) generalizes the Commitment Ordering (CO) property defined in [Raz 90]. In a multi resource manager (RM) environment ECO guarantees global serializability when supported locally by each RM that participates in global transactions (i.e., transactions that span more than a single RM) and provides local serializability (by any mechanism). ECO assumes that a RM has the knowledge to distinguish local transactions (i.e., transactions confined to that RM) from global transactions. ECO imposes an order condition, similar to the CO condition, on the commit events of global transactions only, and thus, it is less constraining than CO.
Image synthesis for off axis low coherence digital holography (2013)

Get PDF Email Share Share with Facebook Tweet This Post on reddit Share with LinkedIn Add to CiteULike Add to Mendeley Add to BibSonomy Get Citation Copy Citation Text C. Liu, X. Yu, J. Hong, and M. K. Kim, "Image synthesis for off axis low coherence digital holography," in Frontiers in Optics 2013, I. Kang, D. Reitze, N. Alic, and D. Hagan, eds., OSA Technical Digest (online) (Optica Publishing Group, 2013), paper JW3A.17. Export Citation BibTex Endnote (RIS) HTML Plain Text Citation alert Save article
ChemInform Abstract: Synthetic Methods for the Preparation of Platinum Anticancer Complexes (2014)

Abstract Review: 373 refs.
Biocompatible Peptide‐nanoparticle Constructs for Molecular Imaging and Therapy (2009)

Our recent work on melittin delivery demonstrates that melittin tightly inserts into the perfluorocarbon (PFC) nanoparticles. Here, we hypothesize that altering the melittin sequence can convert melittin from a therapeutic agent to a cargo loading linker for PFC nanoparticles. Our results illustrate that mutated melittin, D1‐7 (Ac‐ VLTTGLPALISWIKRKRQQ‐NH2), reduces the melittin lytic activity by about 50‐fold (A). While it still insertes tightly into the PFC nanoparticles (Kd=0.4 μM) without affecting their integrity (B). We also show that the linker peptide, D1‐7, is capable of integrating cargos into PFC nanoparticles by a simple mixing step. As an example, VCAM‐1 targeted PFC nanoparticles are generated through this linker peptide. 2F2B cells, treated with the VCAM‐1 targeted PFC nanoparticles, co‐labeled with Alexa Fluor 488, manifest stronger fluorescent signals (C) than those, treated with non‐targeted ones (D). VCAM‐1 targeting dramatically increases cellular PFC nanoparticle delivery (E). Moreover, targeting efficacy is controllable by amount of peptide loading (F). We conclude that this linker peptide strategy provides extended flexibility for multiplexing targeting ligands and/or drug payloads, which can be selected from a stock of possible active agents, without the need of base nanoparticle reformulation to behoove personalized molecular imaging and therapy.
Light-emitting organic field-effect transistor using an organic heterostructure within the transistor channel (2006)

The authors have realized a light-emitting organic field-effect transistor. Excitons are generated at the interface between a n-type and a p-type organic semiconductor heterostructure inside the transistor channel. The dimensions and the position of the p-n heterostructure are defined by photolithography. The p-n heterostructure is at a distance of several microns from the metal electrodes. Therefore, the exciton and photon quenching in this device is reduced. Numerical simulations fit well with the experimental data and show that the light-emitting zone can move within the transistor channel.
Compress-forward coding with BPSK modulation for the half-duplex Gaussian relay channel (2008)

Cover and El Gamal derived the tightest bounds on the capacity of the relay channel using random coding and suggested two coding strategies, namely, decode-forward (DF) and compress-forward (CF), to provide the best known lower bound of the achievable rate. Practical code designs proposed recently mainly exploit DF to approach the lower bound. Following the latest development in practical distributed source-channel coding, this paper studies CF coding with BPSK modulation for the relay channel. In CF scheme, Wyner-Ziv coding is applied at the relay to exploit the joint statistics between signals at the relay and the destination. We employ Slepian-Wolf coded nested scalar quantization (SWCNSQ) in practical Wyner-Ziv coding at the relay and compute the achievable rates of this scheme with BPSK modulation for the half-duplex Gaussian relay channel. We present a code design based on LDPC codes for error protection at the source and NSQ and IRA codes for CF at the relay. Simulation results show that our design comes within 1.48-1.92 dB of the SWCNSQ limit.
Controlled Protein Delivery Based on Enzyme‐Responsive Nanocapsules (2011)

Enzyme-responsive protein nanocapsules are synthesized to release their protein cargoes in response to specific enzymes secreted in certain cellular events with both specificity and with a controlled rate by composition tuning. The unique nanocapsule structures protect the encapsulated proteins during hydrogel synthesis, providing a new direction for responsive protein delivery according to specific cellular events or the local environment. Detailed facts of importance to specialist readers are published as ”Supporting Information”. Such documents are peer-reviewed, but not copy-edited or typeset. They are made available as submitted by the authors. Please note: The publisher is not responsible for the content or functionality of any supporting information supplied by the authors. Any queries (other than missing content) should be directed to the corresponding author for the article.
Sparse Rig Parameter Optimization for Character Animation (2017)

We propose a novel motion retargeting method that efficiently estimates artist-friendly rig space parameters. Inspired by the workflow typically observed in keyframe animation, our approach transfers a source motion into a production friendly character rig by optimizing the rig space parameters while balancing the considerations of fidelity to the source motion and the ease of subsequent editing. We propose the use of an intermediate object to transfer both the skeletal motion and the mesh deformation. The target rig-space parameters are then optimized to minimize the error between the motion of an intermediate object and the target character. The optimization uses a set of artist defined weights to modulate the effect of the different rig space parameters over time. Sparsity inducing regularizers and keyframe extraction streamline any additional editing processes. The results obtained with different types of character rigs demonstrate the versatility of our method and its effectiveness in simplifying any necessary manual editing within the production pipeline.
"iCuro"™ (Intensive Care Unit Real-time Observer) : A Real-Time ICU Patient Data Integration and Presentation System (2005)

Specific Purpose & Problem Statement: In most intensive care units (ICUs), clinical data acquisition and integration relies upon time-consuming human intervention to create huge paper flowsheets, a practice that creates overload, errors, fragmented medical decision making and long-term archiving problems. We have developed, tested and FDA certified a new type of computer system that is officially a 510K device. The iCuroTM System is a bedside, networked, movable machine that automatically acquires and integrates time-stamped monitor, ventilator and infusion pump data, with patient data from labs, specialty devices, and bedside observations. iCuroTM has a secure, HIPAA-standards compliant architecture, and is locally configurable using push-button set-up and an integrated HL7 mapping utility. The iCuroTM device provides real-time access to trended clinical information streams at the bedside, or offsite, at the iCuro Control CenterTM. The iCuroTM user interface gives each treating clinician flexibility to generate their integrated information set on demand, in the desired format. The device also automates nurse and respiratory therapist charting, and concatenates userentered and machine-acquired data onto zoom-able trend graphic panels and paper reports. iCuroTM fully supports neonatal, pediatric and adult critical care processes.
Titania-Decorated Silicon Carbide-Containing Cobalt Catalyst for Fischer–Tropsch Synthesis (2013)

The metal–support interactions of titanium dioxide decorated silicon carbide (β-SiC)-supported cobalt catalyst for Fischer–Tropsch synthesis (FTS) were explored by a combination of energy-filtered transmission electron microscopy (EFTEM), 59Co zero-field nuclear magnetic resonance (59Co NMR), and other conventional characterization techniques. From the 2D elemental maps deduced by 2D EFTEM and 59Co NMR analyses, it can be concluded that the nanoscale introduction of the TiO2 into the β-SiC matrix significantly enhances the formation of small and medium-sized cobalt particles. The results revealed that the proper metal–support interaction between cobalt nanoparticles and TiO2 led to the formation of smaller cobalt particles (<15 nm), which possess a large fraction of surface atoms and, thus, significantly contribute to the great enhancement of conversion and the reaction rate. The cobalt time yield of the catalyst after modification increased to 7.5 × 10–5 molCO gCo–1 s–1 at 230 °C, whereas the C5+ selectivity maintained a high level (>90%). In addition, the adequate meso- and macro-pores of the SiC-based support facilitated intimate contact between the reactants and active sites and also accelerated the evacuation of the intermediate products. It was also worth noting that a superior and stable FTS specific rate of 0.56 gC5+ gcatalyst–1 h–1 together with high C5+ selectivity of 91% were obtained at common industrial content of 30 wt % cobalt.
Host Identity Protocol (2008)

This memo specifies the details of the Host Identity Protocol (HIP).
HIP allows consenting hosts to securely establish and maintain shared
IP-layer state, allowing separation of the identifier and locator
roles of IP addresses, thereby enabling continuity of communications
across IP address changes. HIP is based on a Sigma-compliant Diffie-
Hellman key exchange, using public key identifiers from a new Host
Identity namespace for mutual peer authentication. The protocol is
designed to be resistant to denial-of-service (DoS) and man-in-the-
middle (MitM) attacks. When used together with another suitable
security protocol, such as the Encapsulated Security Payload (ESP), it
provides integrity protection and optional encryption for upper- layer
protocols, such as TCP and UDP. This memo defines an Experimental
Protocol for the Internet community.
SCRIPT (2020)

Power side-channel attacks (SCAs) have been proven to be effective at extracting secret keys from hardware implementations of cryptographic algorithms. Ideally, the power side-channel leakage (PSCL) of hardware designs of a cryptographic algorithm should be evaluated as early as the pre-silicon stage (e.g., gate level). However, there has been little effort in developing computer-aided design (CAD) tools to accomplish this. In this article, we propose an automated CAD framework called SCRIPT to evaluate information leakage through side-channel analysis. SCRIPT starts by defining the underlying properties of the hardware implementation that can be exploited by side-channel attacks. It then utilizes information flow tracking (IFT) to identify registers that exhibit those properties and, therefore, leak information through the side-channel. Here, we develop an IFT-based side-channel vulnerability metric ( SCV ) that is utilized by SCRIPT for PSCL assessment. SCV is conceptually similar to the traditionally used signal-to-noise ratio (SNR) metric. However, unlike SNR, which requires thousands of traces from silicon measurements, SCRIPT utilizes formal methods to generate SCV-guided patterns/plaintexts, allowing us to derive SCV using only a few patterns (ideally as low as two) at gate level. SCV estimates PSCL vulnerability at pre-silicon stage based on the number of plaintexts required to attain a specific SCA success rate. The integration of IFT and pattern generation makes SCRIPT efficient, accurate, and generic to be applied to any hardware design. We validate the efficacy of the SCRIPT framework by demonstrating that it can effectively and accurately determine SCA success rates for different AES designs at pre-silicon stage. SCRIPT is orders of magnitude more efficient than traditional pre-silicon PSCL assessment (SNR-based), with an average evaluation time of 15 minutes; whereas, traditional PSCL assessment at pre-silicon stage would require more than a month. We also analyze the PSCL characteristic of the multiplication unit of RISC processor using SCRIPT to demonstrate SCRIPT’s applicability.
Isotope separation. [Patent application] (1976)

A method and apparatus is described for separating gas molecules containing one isotope of an element from gas molecules containing other isotopes of the same element in which all of the molecules of the gas are at the same electronic state in their ground state. Gas molecules in a gas stream containing one of the isotopes are selectively excited to a different electronic state while leaving the other gas molecules in their original ground state. Gas molecules containing one of the isotopes are then deflected from the other gas molecules in the stream and thus physically separated.
Improved channel duration estimate for mobile OFDM systems (2009)

Channel estimation for OFDM system using pilot carriers usually comprises time interpolation of the estimates across more OFDM symbols and then frequency interpolation. In order to improve estimate, the frequency response can be transformed into the time domain and windowed. To this end, an estimate of the channel duration is necessary and this process is particularly sensitive to the time interpolation process. In fact, for a transmission over a time-varying channel, if the time interpolation of the pilot estimates is not accurate, aliases arise in the estimated channel impulse response, thus affecting the channel duration estimate. We propose a technique to detect aliases and correct the estimation of channel duration. Parameters of the detection techniques are optimized by an analysis that provides closed-form expressions of the false alarm and miss detection probabilities. Numerical results show the merits of the proposed techniques in a mobile transmission of the terrestrial digital video broadcasting standard (DVB-T).
Checkerboard artifact free sub-pixel convolution: A note on sub-pixel convolution, resize convolution and convolution resize (2017)

The most prominent problem associated with the deconvolution layer is the presence of checkerboard artifacts in output images and dense labels. To combat this problem, smoothness constraints, post processing and different architecture designs have been proposed. Odena et al. highlight three sources of checkerboard artifacts: deconvolution overlap, random initialization and loss functions. In this note, we proposed an initialization method for sub-pixel convolution known as convolution NN resize. Compared to sub-pixel convolution initialized with schemes designed for standard convolution kernels, it is free from checkerboard artifacts immediately after initialization. Compared to resize convolution, at the same computational complexity, it has more modelling power and converges to solutions with smaller test errors.
Selective Oxidation of CO in H2 by Permeation through Catalytically Active Zeolite Membranes. (2002)

When CO is removed from H2 by selective oxidation using a catalytically active membrane, the CO is oxidized during its permeation through the catalytic layer to the permeate side. Since the oxidation rate of CO is proportional to the inverse of its concentration, the rejection of CO using an H2-selective microporous layer which is overlaid on the zeolite layer is also effective. In this study, Y-type zeolite membranes with different thicknesses were prepared on the outer surface of porous α-Al2O3 tubes by hydrothermal synthesis. The membranes were modified to different extents by ion-exchange with Pt ions. Gas permeation properties of the membranes were then determined using single-component H2 and CO, as well as mixtures of H2, CO, O2 and Ar. Thus, the effects of the membrane thickness, the amount of Pt loading and the size of micropores on CO oxidation could be evaluated. For the Pt/NaY membrane prepared by hydrothermal synthesis for 12 h and ion-exchanged using a 2.0-mmol L–1 solution of [Pt(NH3)4]Cl2, the H2 permeance and the H2/CO separation factor were 1.1 × 10–6 mol m–2 Pa–1 s–1 and 1.9 at 473 K. The thickness of the zeolite layer had no detectable effect on CO oxidation. When the membrane was ion-exchanged with a 10.0-mmol L–1 solution of [Pt(NH3)4]Cl2, the CO/H2 mole fraction ratio on the permeate side was minimized to 0.007 at 493 K for a feed of H2:CO:O2:Ar = 4:2:1:93 on a molar basis. The membranes were further modified with SiO2 using dip-coating and chemical vapor deposition techniques. The latter technique led to a membrane, the outer surface of which was coated with an H2-selective microporous SiO2 layer. This resulted in a decrease in CO concentration in the zeolite layer. Thus the CO oxidation proceeded effectively in the catalytically active zeolite layer, and the CO/H2 mole fraction ratio on the permeate side was 0.01 at 523 K for a feed of H2:CO:O2:Ar = 4:2:1:93 on a molar basis.
Multishock Shield Against Meteoroids And Debris (1992)

Two documents discuss multi-shock shielding concept, according to which multiple spaced, very thin layers of material protects spacecraft against impacts by meteoroids, orbiting debris, or other projectiles traveling at hypervelocities. According to concept, incoming projectile broken up upon impact on first (outermost) layer, and fragments further broken up by subsequent layers. At each successive surface, impact pressure heats fragments, eventually melting and/or vaporizing them.
Spectroscopy enhances the information content of optical mammography (2002)

Near-infrared (NIR) diffuse optical spectroscopy and imaging may enhance existing technologies for breast cancer screening, diagnosis, and treatment. NIR techniques are based on quantitative measurements of functional contrast between healthy and diseased tissue. In this study we measured the spectral dependence of tissue absorption (mu(a)) and reduced scattering (mu'(s)) in the breasts of 30 healthy women and one woman with a fibroadenoma using a seven-wavelength frequency-domain photon migration probe. Subjects included pre- and postmenopausal women between the ages of 18 and 64. Multi-spectral measurements were used along with a four-component fit to determine the concentrations of de-oxy and oxy-hemoglobin, water and lipids in breast. The scattering spectral shape was also quantified. Our measurements demonstrate that the measured concentrations of NIR analytes correlate well with known breast physiology. Although the tissue scattering at a single wavelength was found to have little value as a functional parameter, the dependence of the scattering on wavelength provided key insights into breast composition and physiology. Lipids and scattering spectra in the breast were found to increase and decrease, respectively, with increasing body mass index. Simple calculations are also provided to demonstrate potential penalties from ignoring the contributions of water and lipids in breast measurements. Finally, water is shown to be a possible indicator for detecting a fibroadenoma, whereas the hemoglobin saturation was found to be a poor indicator. Multi-spectral measurements, compared to measurements restricted to one or two wavelengths, provide additional information that may be useful in managing breast disease.
Denervation increases clenbuterol sensitivity in muscle from young rats (1992)

Clenbuterol has been shown to ameliorate denervation-induced atrophy and, therefore, clearly has therapeutic potential in the treatment of muscle wasting conditions in man. Previous studies have used dosages in rats which would be unacceptable in clinical practice, but the present results show that denervated muscle has a greater sensitivity to the drug than innervated or cardiac muscle. Fiber hypertrophy and an increase in protein and RNA content could be observed in denervated muscles but not in innervated muscles at a dose of 10 micrograms/kg body weight. When considered on a metabolic body weight basis, the effective dose in rats and the "safe" dose in man are surprisingly comparable. The observations imply that there is good reason to suppose that clenbuterol could be effective in ameliorating similar wasting conditions in man.
Abstract B8: Selective inhibition of Stat3 Tyr705 phosphorylation inhibits angiogenesis in breast cancer xenografts. (2011)

Abstract Signal transducer and activator of transcription 3 (Stat3) is recruited, via its SH2 domain, to phosphotyrosine residues on growth factor and IL-6 family receptors at which time it is phosphorylated on Tyr705 by Janus kinases, Src, or the kinase activity of the receptor. Phosphorylation of Tyr705 (pStat3) leads to dimerization, translocation to the nucleus, and transcription of downstream genes. Stat3 is activated in several human cancers and is considered a drug target. Starting with pTyr-Leu-Pro-Gln, we have been developing phosphopeptide mimics to target the SH2 domain with the goal of blocking recruitment to receptors to uncouple Stat3 from its signaling role. We have developed cell-permeable, phosphatase-stable prodrugs that inhibit constitutive and IL-6-stimulated Tyr705 phosphorylation at concentrations of 0.5 − 1 μM in a variety of human cancer cell lines. They are selective for Stat3 over Stat1, Stat5, Src, and PI3K. At 5 μM they are not cytotoxic to a panel of human cancer cell lines. Higher concentrations lead to off-target effects and cytotoxicity. Recent reports indicate that Ser727 phosphorylated Stat3 participates in electron transfer in the mitochodria and unphosphorylated Stat3 participates with NF-κB-mediated transcription. As opposed to Stat3 knockdown techniques which cannot discriminate the multiple roles of Stat3, our prodrugs are potential tools to selectively probe Stat3 phosphorylation. Both intra-tumoral and intra-peritoneal administration of our lead prodrug, PM-73G, resulted in reduction of orthotopic breast tumor xenografts in mice. There was no evidence of apoptosis, reduction of cyclin D1 or survivin. Treated tumors exhibited significant reduction in microvessel density. Thus, selectively inhibiting Tyr705 phosphorylation is a potential antiangiogenic treatment modality. Citation Format: {Authors}. {Abstract title} [abstract]. In: Proceedings of the AACR-NCI-EORTC International Conference: Molecular Targets and Cancer Therapeutics; 2011 Nov 12-16; San Francisco, CA. Philadelphia (PA): AACR; Mol Cancer Ther 2011;10(11 Suppl):Abstract nr B8.