gebhart/patrepeval huggingface dataset:
ReplicaTEE: Enabling Seamless Replication of SGX Enclaves in the Cloud (2019)

With the proliferation of Trusted Execution Environments (TEEs) such as Intel SGX, a number of cloud providers will soon introduce TEE capabilities within their offering (e.g., Microsoft Azure). The integration of SGX within the cloud considerably strengthens the threat model for cloud applications. However, cloud deployments depend on the ability of the cloud operator to add and remove application dynamically; this is no longer possible given the current model to deploy and provision enclaves that actively involves the application owner. In this paper, we propose ReplicaTEE, a solution that enables seamless commissioning and decommissioning of TEE-based applications in the cloud. ReplicaTEE leverages an SGX-based provisioning service that interfaces with a Byzantine Fault-Tolerant storage service to securely orchestrate enclave replication in the cloud, without the active intervention of the application owner. Namely, in ReplicaTEE, the application owner entrusts application secret to the provisioning service; the latter handles all enclave commissioning and decommissioning operations throughout the application lifetime. We analyze the security of ReplicaTEE and show that it is secure against attacks by a powerful adversary that can compromise a large fraction of the cloud infrastructure. We implement a prototype of ReplicaTEE in a realistic cloud environment and evaluate its performance. ReplicaTEE moderately increments the TCB by approximately 800 LoC. Our evaluation shows that ReplicaTEE does not add significant overhead to existing SGX-based applications.
Fast optical absorption tomography (1991)

The design for a fast absorption tomography instrument is presented. The instrument is capable of generating 100 projections of 100 elements each in less than 200 ns. It comprises temporally multiplexed fiber-optic fanbeam sources and large-area fast photodiodes. The spectral operating range is 200 to 1100 nm when silicon photodiodes are used. The sensitivity of the instrument is limited by laser speckle noise created by the fiber optic. The performance was evaluated by using a prototype system.
Computing Modular Polynomials (2005)

Abstract This paper presents a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves, and are useful in many aspects of computational number theory and cryptography. The algorithm presented here has the distinguishing feature that it does not involve the computation of Fourier coefficients of modular forms. The need to compute the exponentially large integral coefficients is avoided by working directly modulo a prime, and computing isogenies between elliptic curves via Vélu's formulas.
Standoff iris recognition using non-iterative polar based segmentation (2008)

Recently, the iris of the human eye has been used as a biometric indicator for identification. We have witnessed wide-scale deployment of iris technology across many product categories. However, these iris recognition solutions do not reflect the full potential of the technology. The robustness of the standoff iris segmentation approach relies heavily on accurate iris segmentation techniques. Computing iris features requires a high quality segmentation process that focuses on the subject's iris and properly extracts its boundaries. Because iris segmentation is sensitive to the acquisition conditions, it is a very challenging problem. In this paper, we describe a standoff iris recognition system to identify non-cooperative subjects. We introduce a novel iris segmentation approach that takes the analysis of edges into the polar domain at an earlier stage and uses non-iterative polar differential operator to locate the inner and outer borders of the iris. The approach is proven to be very effective for non-ideal gazed and obscured irises while providing comparable results to top performing algorithms on frontal iris images.
Scintillation Detectors (2013)

This chapter contains sections titled: Structure The energy spectrum from a sodium iodide detector Types of scintillation-based detectors Questions Answers
Horizontal electromagnetic field sensor for detection and classification of metal targets (2001)

This paper describes a prototype electromagnetic induction (EMI) sensor system designed specifically to measure the horizontal component of a metal target's eddy current time decay signature. Instead of creating a vertical magnetic field from a horizontal loop transmitter configuration used by most EMI metal detectors, the prototype transmitter geometry has been designed especially for creating a horizontal magneti field (HMF). One of the potential advantages of the HMF sensor is the relatively uniform magnetic field that is created over a large volume. A second potential advantage is that, compared to a conventional loop antenna, the magnetic field intensity falls off slowly with distance from the plane of the sensor. These two advantages potentially make the HMF sensor well suited for detection and classification of metal targets buried deeply in the ground (e.b., unexploded ordnance, UXO) or from a vehicle-mounted mine detector sensor. Preliminary modeling of the antenna and laboratory data from a time-domain version of the HMF sensor are presented.
Identification of Ventricular Tachycardia Using Intracavitary Ventricular Electrograms: Analysis of Time and Frequency Domain Patterns (1988)

Tachycardia detection by implantable antitachycardia devices using rate alone has major limitations. Several alternative methods have been proposed to distinguish ventricular tachycardia or ventricular fibrillation from normal sinus rhythm using intracardiac electrograms. These methods have not been tested, however, for recognition of ventricular tachycardia in patients with abnormal surface QRS conduction during sinus rhythm or with antiarrhythmic drug therapy. In this study, three techniques for the identification of ventricular tachycardia from intracavitary bipolar ventricular electrograms were examined and compared: correlation waveform analysis, amplitude distribution analysis, and spectral analysis using Fast Fourier transformation. Thirty episodes of induced monomorphic ventricular tachycardia were analyzed and compared sinus rhythm in four groups of patients with: I. Normal surface QRS conduction during sinus rhythm without antiarrhythmic drug therapy (five episodes); II. Intraventricular conduction delay or bundle branch block during sinus rhythm without antiarrhythmic drug therapy (nine episodes); III. Normal surface QRS conduction during sinus rhythm with antiarrhythmic therapy (six episodes); and IV. Intraventricular conduction delay or bundle branch block during sinus rhythm with antiarrhythmic drug therapy (ten episodes). Correlation waveform analysis had 100% sensitivity and specificity in distinguishing ventricular tachycardia from sinus rhythm, even in the presence of an intraventricular conduction delay, bundle branch block, and antiarrhythmic drug therapy. In contrast, amplitude distribution analysis differentiated 15/30 episodes (50.0%) of ventricular tachycardia from sinus rhythm, and a maximum of 18/30 episodes (60.0%) of ventricular tachycardia were identified by special analysis using Fast Fourier transformation. Correlation waveform analysis appears to be a reliable technique to discriminate ventricular tachycardia from sinus rhythm using intracavitary ventricular electrograms. Its computational demands are modest, making it suitable for consideration in an implantable antitachycardia device.
The Discovery of 3-((4-Chloro-3-methoxyphenyl)amino)-1-((3<i>R</i>,4<i>S</i>)-4-cyanotetrahydro-2<i>H</i>-pyran-3-yl)-1<i>H</i>-pyrazole-4-carboxamide, a Highly Ligand Efficient and Efficacious Janus Kinase 1 Selective Inhibitor with Favorable Pharmacokinetic Properties (2017)

The discovery of a potent selective low dose Janus kinase 1 (JAK1) inhibitor suitable for clinical evaluation is described. As part of an overall goal to minimize dose, we pursued a medicinal chemistry strategy focused on optimization of key parameters that influence dose size, including lowering human Cl<sub>int</sub> and increasing intrinsic potency, bioavailability, and solubility. To impact these multiple parameters simultaneously, we used lipophilic ligand efficiency as a key metric to track changes in the physicochemical properties of our analogs, which led to improvements in overall compound quality. In parallel, structural information guided advancements in JAK1 selectivity by informing on new vector space, which enabled the discovery of a unique key amino acid difference between JAK1 (Glu966) and JAK2 (Asp939). This difference was exploited to consistently produce analogs with the best balance of JAK1 selectivity, efficacy, and projected human dose, ultimately culminating in the discovery of compound 28.
Vascular Patterning Analysis by VESGEN 2D/3D with Bioinformatics: Updates for Rodent Tissues (2017)

Fractally branching vascular systems are a complex physiological requirement shared by humans with all higher terrestrial life forms, including other vertebrates, insects, and higher land plants. Vascular trees, networks, and tree-network composites are therefore mapped and quantified by the VESsel GENeration Analysis (VESGEN) software according to weighted physiological vascular rules that include vessel connectivity, tapering and bifurcational branching. According to fluid dynamics, successful vascular transport depends upon a complex distributed system of highly regulated laminar flow. VESGEN has elucidated changes in vascular patterning resulting from inflammatory, developmental and other signaling pathways within numerous tissues of major model organisms important for Space Biology, especially for rodents. Important early stage regenerative opportunities have been identified by VESGEN vascular analysis for visual impairments in the human retina, and is currently being used for research into astronaut visual and ocular disorders associated with long duration missions. The VESGEN 2D software is a mature, automated, widely published capability for which beta testing and public release by NASA is planned for the upcoming year. Early-stage capabilities for VESGEN 3D analysis are under development for the rodent retina and intestine as prototype tissues. A prototype VESGEN 2D Bioinformatics software capability has also been developed to associate phenotypic changes in molecular expression with vascular structure and function. By new VESGEN bioinformatic innovations, expression patterns of the genetic, transcriptional, protein and other markers for regulatory molecules such as vascular endothelial growth factor (VEGF) and their receptors, often indicators of tissue oxygenation status, are co-localized with alterations in vascular pattern. Biomarkers are therefore mapped and quantified as information dimensions directly correlated with the spatial dimensions of a vascular pattern. Further important technology innovations by NASA include substantial image segmentation advances for more automated binary extraction of the grayscale vascular patterns, together with informative associated image quality assessments. Vascular mapping and quantification capabilities for the rodent retina and intestine are illustrated for VESGEN 2D, along with technology status reports on VESGEN 3D and Bioinformatic capabilities. Research partially supported by Ames Center Innovation Awards.
Estimating locations of single-phase-to-ground faults of ungrounded distribution systems (2013)

This paper proposes a new method for determining single-phase-to-ground fault locations of ungrounded distribution systems based on the measurements collected from the feeder breakers and intelligent switches during the fault. The method first narrows down the possible faulted area into a specific feeder section based on the reactive power factors of residual powers determined for the breakers and switches. Then the power consumption of each individual load in the faulted section is determined based on measurements at the boundaries of the section, and load profiles for each individual load. The possible faulted line segment is determined using a forward sweep scheme to test a sign change of faulted phase voltages on terminal buses of line segments, and the possible fault point is determined by finding a location along the faulted segment having a zero voltage on the faulted phase. Numerical examples are given to demonstrate the effectiveness of proposed method.
The effect of protein-coated contact lenses on the adhesion and viability of gram negative bacteria (2003)

The conditioning film gained through wear may not inhibit bacterial adhesion, but may act adversely upon those bacteria that succeed in attaching.
Advance Process Control solutions for semiconductor manufacturing (2003)

Traditional semiconductor manufacturing relies on a fixed process-recipe combined with a classical statistical process control that is used to monitor the production process. Leading-edge manufacturing processes require higher levels of precision and accuracy, which necessitate the use of tighter process control. Advanced Process Control (APC) is becoming a critical component to improve performance, yield, throughput, and flexibility of the manufacturing process using run-to-run, wafer-to-wafer, within wafer and real-time process control. The complexity of device manufacturing process as well as the strong coupling effect of several input parameters on the final process outputs prohibit the use of a classical single variable feedback control method. Therefore, multivariate, model-based APC system is developed in conjunction with feed-forward and feedback mechanisms to automatically determine the optimal recipe for each wafer based on both incoming wafer and tool state properties. The APC system uses wafer metrology, process models and sophisticated control algorithms to provide dynamic fine-tuning of intermediate process targets that enhance final device targets. The design of the APC system enables scalable control solutions across a single chamber, a process tool, multi-tools, a process module and multi-process modules using similar building blocks, concepts and algorithms.
Preliminary work of real-time ultrasound imaging system for 2-D array transducer (2015)

Ultrasound (US) has emerged as a non-invasive imaging modality that can provide anatomical structure information in real time. To enable the experimental analysis of new 2-D array ultrasound beamforming methods, a pre-beamformed parallel raw data acquisition system was developed for 3-D data capture of 2D array transducer. The transducer interconnection adopted the row-column addressing (RCA) scheme, where the columns and rows were active in sequential for transmit and receive events, respectively. The DAQ system captured the raw data in parallel and the digitized data were fed through the field programmable gate array (FPGA) to implement the pre-beamforming. Finally, 3-D images were reconstructed through the devised platform in real-time.
Small footprint ESD protection of hot-swappable I/Os (2011)

A small footprint ESD protection scheme is developed for the hot-swappable chip interface (I/O). Elimination of ESD elements in the I/O to VCCO path, and elimination of ESD elements for LVDS drivers has enabled ∼50% ESD area reduction. The design is qualified for production and has passed ESD specifications of 2000V HBM, 500V CDM, and 200V MM with excellent margin.
Controllable protein cleavages through intein fragment complementation (2009)

Intein-based protein cleavages, if carried out in a controllable way, can be useful tools of recombinant protein purification, ligation, and cyclization. However, existing methods using contiguous inteins were often complicated by spontaneous cleavages, which could severely reduce the yield of the desired protein product. Here we demonstrate a new method of controllable cleavages without any spontaneous cleavage, using an artificial S1 split-intein consisting of an 11-aa N-intein (I(N)) and a 144-aa C-intein (I(C)). In a C-cleavage design, the I(C) sequence was embedded in a recombinant precursor protein, and the small I(N) was used as a synthetic peptide to trigger a cleavage at the C-terminus of I(C). In an N-cleavage design, the short I(N) sequence was embedded in a recombinant precursor protein, and the separately produced I(C) protein was used to catalyze a cleavage at the N-terminus of I(N). These N- and C-cleavages showed >95% efficiency, and both successfully avoided any spontaneous cleavage during expression and purification of the precursor proteins. The N-cleavage design also revealed an unexpected and interesting structural flexibility of the I(C) protein. These findings significantly expand the effectiveness of intein-based protein cleavages, and they also reveal important insights of intein structural flexibility and fragment complementation.
A translation model for matching reviews to objects (2009)

We develop a generic method for the review matching problem, which is to match unstructured text reviews to a list of objects, where each object has a set of attributes. To this end, we propose a translation model for generating reviews from a structured description of objects. We develop an EM-based method to estimate the model parameters and use this model to find, given a review, the object most likely to be the topic of the review. We conduct extensive experiments on two large-scale datasets: a collection of restaurant reviews from Yelp and a collection of movie reviews from IMDb. The experiments show that our translation model-based method is superior to traditional tf-idf based methods as well as a recent mixture model-based method for the review matching problem.
Complementary Barrier Infrared Detector (CBIRD) with Double Tunnel Junction Contact and Quantum Dot Barrier Infrared Detector (QD-BIRD) (2012)

The InAs/GaSb type-II superlattice based complementary barrier infrared detector (CBIRD) has already demonstrated very good performance in long-wavelength infrared (LWIR) detection. In this work, we describe results on a modified CBIRD device that incorporates a double tunnel junction contact designed for robust device and focal plane array processing. The new device also exhibited reduced turn-on voltage. We also report results on the quantum dot barrier infrared detector (QD-BIRD). By incorporating self-assembled InSb quantum dots into the InAsSb absorber of the standard nBn detector structure, the QD-BIRD extend the detector cutoff wavelength from approximately 4.2 micrometers to 6 micrometers, allowing the coverage of the mid-wavelength infrared (MWIR) transmission window. The device has been observed to show infrared response at 225 K.
Identification of growth stage molecular markers in Trichoderma sp. ‘atroviride type B’ and their potential application in monitoring fungal growth and development in soil (2015)

Several members of the genus Trichoderma are biocontrol agents of soil-borne fungal plant pathogens. The effectiveness of biocontrol agents depends heavily on how they perform in the complex field environment. Therefore, the ability to monitor and track Trichoderma within the environment is essential to understanding biocontrol efficacy. The objectives of this work were to: (a) identify key genes involved in Trichoderma sp. 'atroviride type B' morphogenesis; (b) develop a robust RNA isolation method from soil; and (c) develop molecular marker assays for characterizing morphogenesis whilst in the soil environment. Four cDNA libraries corresponding to conidia, germination, vegetative growth and conidiogenesis were created, and the genes identified by sequencing. Stage specificity of the different genes was confirmed by either Northern blot or quantitative reverse-transcriptase PCR (qRT-PCR) analysis using RNA from the four stages. con10, a conidial-specific gene, was observed in conidia, as well as one gene also involved in subsequent stages of germination (L-lactate/malate dehydrogenase encoding gene). The germination stage revealed high expression rates of genes involved in amino acid and protein biosynthesis, while in the vegetative-growth stage, genes involved in differentiation, including the mitogen-activated protein kinase kinase similar to Kpp7 from Ustilago maydis and the orthologue to stuA from Aspergillus nidulans, were preferentially expressed. Genes involved in cell-wall synthesis were expressed during conidiogenesis. We standardized total RNA isolation from Trichoderma sp. 'atroviride type B' growing in soil and then examined the expression profiles of selected genes using qRT-PCR. The results suggested that the relative expression patterns were cyclic and not accumulative.
Direct-Reading Swept-Frequency Slotted-Line System with Slope Correction (1974)

Many broad-band devices unfortunately exhibit voltage standing wave ratio (VSWR) spikes within narrow frequency bands, and such devices should be tested continuously over the whole frequency range to identify the spikes. The time required for testing is important and a direct-reading display, or record, is a major convenience. The system described uses a swept-frequency slotted-line technique to give a direct-reading record of VSWR over the frequency range 2-18 GHz within 30 s, without degrading the accuracy of the technique.
Novel tuning application for coupled resonator filter tuning (2002)

This paper describes a novel software application that provides a method by which coupled-resonator filters may be tuned with little or no experience. The value of each resonator and coupling is displayed relative to a target value. The filter is properly tuned simply by adjusting each resonator and coupling such that the displayed value equals the target value.
Big file protocol (BFP): A traffic shaping approach for efficient transport of large files (2014)

Telecommunication networks are under stress due to rapid traffic increase. Since most of this traffic increase is due to large file transfers, this paper proposes a cross-layer transport protocol specifically designed to efficiently handle large transactions. Traffic generated from large transactions is shaped into a periodic succession of fixed-size data frames. Each transaction is then scheduled for transmission using a two-way reservation protocol. Simulation results show that the proposed approach is capable of significantly improving goodput and end-to-end delay relative to TCP, improving efficiency of bandwidth utilization by over 40%.