gebhart/patrepeval huggingface dataset:
A chase too far? (2000)

In a previous paper we proposed a novel method for generating alternative query plans that uses chasing (and back-chasing) with logical constraints. The method brings together use of indexes, use of materialized views, semantic optimization and join elimination (minimization). Each of these techniques is known separately to be beneficial to query optimization. The novelty of our approach is in allowing these techniques to interact systematically, eg. non-trivial use of indexes and materialized views may be enabled only by semantic constraints. We have implemented our method for a variety of schemas and queries. We examine how far we can push the method in term of complexity of both schemas and queries. We propose a technique for reducing the size of the search space by “stratifying” the sets of constraints used in the (back)chase. The experimental results demonstrate that our method is practical (i.e., feasible and worthwhile).
Speaker Verification on Summed-Channel Conditions with Confidence Measures Verificación de locutor en condiciones de canal sumado con medidas de confianza (2011)

This paper addresses the problem of speaker verification in two speaker conversations, proposing a set of confidence measures to assess the quality of a given speaker segmentation. We study how these measures can be used to estimate the performance of a state-of-the-art speaker verification system, the I3A submission for the core-summed condition in the NIST SRE 2010. We present a Factor Analysis based speaker segmentation system, along with three confidence measures that are fused to obtain a single measure that we show to constitute a good estimation of the segmentation accuracy, when evaluated on the summed-channel telephone data of the NIST SRE 2008. Finally we present speaker verification results obtained with the I3A submission for the NIST SRE 2010 on several conditions of this evaluation, involving summed-channel. We show that the confidence measure also predicts the performance of a state-of-the art speaker verification system when it faces two speaker conversations. Keywords. Confidence
Development of New Fermented Tea by Mixed Kneading of Third Crop of Green Tea Leaves and Loquat Leaves (2009)

有効利用されていない三番茶葉とビワ葉を混合した新たな発酵茶の製造法を検討した．緑茶製茶機械の粗揉機を利用して三番茶葉に70℃の熱風を当て，茶温を40℃以下に保ち20分間攪拌して茶葉を萎凋させた．次に揉捻機を用いて萎凋した三番茶葉にビワ葉を全量の10％添加し揉捻することで，カテキンの酸化重合が促進され，味，香りに優れ，浸出液の色が鮮やかな紅色を呈する品質の高い混合発酵茶が製造できた．用いる三番茶葉は，二番茶摘採日から通常の三番茶葉の最適摘採時期と同じ35日頃に摘採したものが最適である．
Anti-HIV Viral Interference Induced by Retroviral Vectors Expressing a Nonproducer HIV-1 Variant (1996)

A Hut-78 cell clone (F12) harboring a nonproducer human immunodeficiency virus (HIV-1) variant shows complete resistance to HIV-1 or HIV-2 superinfection. The F12-HIV provirus produces an altered HIV-1 protein pattern and cannot generate even immature viral particles. We demonstrated that HeLa CD4+ cells transfected with the F12-HIV genome resist HIV superinfection through a CD4-independent mechanism. As F12-HIV appears to be a useful system to induce anti-HIV intracellular immunization, we constructed various retroviral vectors containing the F12-HIV genome, modified by elimination of the F12 3'LTR and part of its nef gene, inserted 'antisense' with respect to the Moloney murine leukemia virus 5' LTR. Here we show that recombinant retroviral particles carrying the N2/F12-HIV nef- (as) construct can stably transduce both CEMss human cells and primary human peripheral blood lymphocytes, inducing the expression of the F12-HIV genome. These results could open the way to an anti-AIDS gene therapy strategy based on F12-HIV-induced intracellular immunization.
Cost-sensitive learning by cost-proportionate example weighting (2004)

We propose and evaluate a family of methods for converting classifier learning algorithms and classification theory into cost-sensitive algorithms and theory. The proposed conversion is based on cost-proportionate weighting of the training examples, which can be realized either by feeding the weights to the classification algorithm (as often done in boosting), or by careful subsampling. We give some theoretical performance guarantees on the proposed methods, as well as empirical evidence that they are practical alternatives to existing approaches. In particular, we propose costing, a method based on cost-proportionate rejection sampling and ensemble aggregation, which achieves excellent predictive performance on two publicly available datasets, while drastically reducing the computation required by other methods.
Construction of an improved mycoinsecticide overexpressing a toxic protease. (1996)

Mycoinsecticides are being used for the control of many insect pests as an environmentally acceptable alternative to chemical insecticides. A key aim of much recent work has been to increase the speed of kill and so improve commercial efficacy of these biocontrol agents. This might he achieved by adding insecticidal genes to the fungus, an approach considered to have enormous potential for the improvement of biological pesticides. We report here the development of a genetically improved entomopathogenic fungus. Additional copies of the gene encoding a regulated cuticle-degrading protease (Pr1) from Metarhizium anisopliae were inserted into the genome of M. anisopliae such that Pr1 was constitutively overproduced in the hemolymph of Manduca sexta, activating the prophenoloxidase system. The combined toxic effects of Pr1 and the reaction products of phenoloxidase caused larvae challenged with the engineered fungus to exhibit a 25% reduction in time of death and reduced food consumption by 40% compared to infections by the wild-type fungus. In addition, infected insects were rapidly melanized, and the resulting cadavers were poor substrates for fungal sporulation. Thus, environmental persistence of the genetically engineered fungus is reduced, thereby providing biological containment.
SMCQL: Secure Querying for Federated Databases (2016)

People and machines are collecting data at an unprecedented rate. Despite this newfound abundance of data, progress has been slow in sharing it for open science, business, and other data-intensive endeavors. Many such efforts are stymied by privacy concerns and regulatory compliance issues. For example, many hospitals are interested in pooling their medical records for research, but none may disclose arbitrary patient records to researchers or other healthcare providers. In this context we propose the Private Data Network (PDN), a federated database for querying over the collective data of mutually distrustful parties. In a PDN, each member database does not reveal its tuples to its peers nor to the query writer. Instead, the user submits a query to an honest broker that plans and coordinates its execution over multiple private databases using secure multiparty computation (SMC). Here, each database's query execution is oblivious, and its program counters and memory traces are agnostic to the inputs of others. We introduce a framework for executing PDN queries named SMCQL. This system translates SQL statements into SMC primitives to compute query results over the union of its source databases without revealing sensitive information about individual tuples to peer data providers or the honest broker. Only the honest broker and the querier receive the results of a PDN query. For fast, secure query evaluation, we explore a heuristics-driven optimizer that minimizes the PDN's use of secure computation and partitions its query evaluation into scalable slices.
Shape recognition and pose estimation for mobile augmented reality (2009)

In this paper we present Nestor, a system for real-time recognition and camera pose estimation from planar shapes. The system allows shapes that carry contextual meanings for humans to be used as augmented reality (AR) tracking fiducials. The user can teach the system new shapes at runtime by showing them to the camera. The learned shapes are then maintained by the system in a shape library. Nestor performs shape recognition by analyzing contour structures and generating projective invariant signatures from their concavities. The concavities are further used to extract features for pose estimation and tracking. Pose refinement is carried out by minimizing the reprojection error between sample points on each image contour and its library counterpart. Sample points are matched by evolving an active contour in real time. Our experiments show that the system provides stable and accurate registration, and runs at interactive frame rates on a Nokia N95 mobile phone.
New ion trap for frequency standard applications (1989)

We have designed a novel linear ion trap which permits storage of a large number of ions with reduced susceptibility to the second-order Doppler effect caused by the rf confining fields. This new trap should store about 20 times the number of ions as a conventional rf trap with no corresponding increase in second-order Doppler shift from the confining field. In addition the sensitivity of this shift to trapping parameters, i.e., rf voltage, rf frequency, and trap size, is greatly reduced.
Predicting head rotation using EEG to enhance streaming of images to a Virtual Reality headset (2018)

Frontiers Events is a rapidly growing calendar management system dedicated to the scheduling of academic events. This includes announcements and invitations, participant listings and search functionality, abstract handling and publication, related events and post-event exchanges. Whether an organizer or participant, make your event a Frontiers Event!
Spectral CT imaging with hybrid detectors in integrating and dynamic-threshold counting modes (2013)

In recent years, spectral CT with photon counting detectors (PCDs) has exhibited more advantages compared to conventional CT systems. Spectral CT has the potential to substantially advance CT imaging by reducing image noise and dose, improving contrast and target specificity, and enabling functional imaging with special molecular markers (e.g. Gold nanoparticles). The current PCDs, however, is difficult to balance the amount of energy bins and the data noise of statistical fluctuation at each bins. More energy bins mean higher energy discriminating ability, but lower photon number at each bin. Moreover, in order to obtain enough energy bins, the current PCD is made up by small spectral detector subelements which have different thresholds. However, the more energy bins it has, the more complicated circuitry is. Hence, the PCD element becomes complex and large if we want many energy bins. Both spatial and energy resolutions are compromised. The state-of-the-art PCD has eight energy bins. It is difficult to make more energy bins. The overall goal of our research is to develop a hybrid detector which combines the integrating and dynamic-threshold counting modes. Its energy thresholds, or energy bins, can be flexibly arranged and dynamically changed during the spectral CT scanning. In each energy bin, current-integrating readouts are used. Thus, we can get many energy bins with very limited amount of PCD subelements. We develop a smart algorithm to reconstruct the true-color CT images by the data from this hybrid detector with adjustable energy thresholds (e.g. randomly changing). This paper will introduce this new spectral CT system with hybrid detector, its image reconstruction algorithm, and the simulation results.
Direct Synthesis of Primary Amines from Alcohols and Ammonia (2008)

A direct, highly atom-economical and selective synthesis of primary amines from ­alcohols and ammonia via catalysis by a novel Ru-pincer complex has been disclosed. It can be efficiently carried out ”on water". Water-soluble alcohols, however, are best converted using toluene as solvent.
Bitumen Extraction from Oil Sands Ore-Water Slurry Using CaO (Lime) and/or Ozone (2008)

Abstract Bitumen extraction efficiency is increased in oil sands ore-water slurry based extraction process by increasing solubility of naturally occurred asphaltic acids by addition of CaO (lime) and/or by oxidation of bitumen asphaltenes by Ozone (O3) to surfactant species, at as low as 35 °C temperature. Experimental findings suggest that a non-caustic bitumen extraction process (i.e. without using NaOH as extraction process aid) could be used commercially by conditioning the oil sands ore-water slurry with CaO and/or Ozone, which would allow high extraction efficiencies at about 35 °C temperature, reduce energy consumption and CO2 emission for the extraction of bitumen and eliminate the accumulation of Na+ ions in the recycled release water. Further tests are on-going to provide sufficient data for the commercial implementation of the use of CaO and/or Ozone at oil sands-ore water slurry based extraction plants.
Mode-locked fiber laser gyroscope (1993)

We describe a new form of an all-fiber-optic gyroscope that utilizes a fiber laser. The Sagnac interferometer is used as a loop reflector with a modulated reflectivity to produce actively mode-locked optical pulses. The rotation-induced phase shift is obtained from the timing shift of the pulses. Experimental results compare well with the theoretical predictions.
Parallel maskless optical lithography for prototyping, low-volume production, and research (2002)

Earlier we reported on a proof-of-concept maskless-lithography system that used an array of Fresnel zone plates to focus multiple beams of 442 nm light onto a substrate, and micromechanics for multiplexing light to the several zone plates, enabling patterns of arbitrary geometry, at 350 nm linewidth, to be written. We referred to the technique as zone-plate-array lithography (ZPAL). We also demonstrated zone-plate-array microscopy. Here, we report on a “preprototype” ZPAL system operating at an exposure wavelength of 400 nm, capable of quick-turn-around, maskless lithography. We describe the lithography results with this system as well the development of high-speed data delivery systems, high-numerical-aperture zone plates (up to 0.95), and a multiplexing scheme that will enable us to move to a “full-prototype” system capable of 210 nm feature sizes at a moderate but useful throughput of ∼0.25 cm2 in 20 min.
Solution structure of Phl p 3, a major allergen from timothy grass pollen (2008)

The major 97-aa timothy grass (Phleum pratense) allergen Phl p 3 was recently isolated from an extract of timothy grass pollen. Sequence comparison classifies this protein as a group 3 allergen. The solution structure of Phl p 3 as determined by nuclear magnetic resonance spectroscopy reveals that the protein consists of a core of hydrophobic amino-acid side chains from two beta-sheets of five and four anti-parallel beta-strands, respectively. This conformation is very similar to the crystal structure published for Phl p 2 and strongly resembles the known conformation of the carboxy-terminal domain of Phl p 1, the major difference being the loop orientations. Phl p 2 and Phl p 3 show virtually identical immunoreactivity, and comparison of the charged surface amino acids of the two proteins gives initial clues as to the IgE recognition epitopes of these proteins.
Synthesis and Antitumor Activity of Novel Mitomycin Derivatives Containing Functional Groups at the C-6-Methyl Position (1994)

A series of C-6-substituted methyl mitomycins was synthesized and evaluated for anticellular and antitumor activities. These novel compounds were prepared by Michael addition of various alcohols or thiols to 6-demethyl-7,7-(ethylenedioxy)-6,7-dihydro-6-methylidenemitosanes followed by treatment with NH3 or MeOH/K2CO3. Most compounds were potent against HeLa S3, and some of them showed superior activity to that of mitomycin C (MMC) against P388 leukemia and sarcoma 180 in mice. In addition, some compounds exhibited remarkable activity against MMC-resistant P388 in mice. FAB-MS spectra of these mitomycin derivatives showed the elimination of the C-6-methyl substituents from the mitomycin skeletons to form quinonemethides. Interestingly, treatment of 6-demethyl-6-[[(2-pyrimidinyl)thio]methyl ]mitomycin C (12v) with diethylamine afforded 6-demethyl-6-[(diethylamino)methyl]mitomycin C (31) in good yield. These results suggested that the C-6-substituted methyl mitomycins would have different biological character from that of MMC.
Constructing comprehensive summaries of large event sequences (2008)

Event sequences capture system and user activity over time. Prior research on sequence mining has mostly focused on discovering local patterns. Though interesting, these patterns reveal local associations and fail to give a comprehensive summary of the entire event sequence. Moreover, the number of patterns discovered can be large. In this paper, we take an alternative approach and build short summaries that describe the entire sequence, while revealing local associations among events.
Novel scintillating material 2-(4-styrylphenyl)benzoxazole for the fully digital and MRI compatible J-PET tomograph based on plastic scintillators (2017)

A novel plastic scintillator is developed for the application in the digital positron emission tomography (PET). The novelty of the concept lies in application of the 2-(4-styrylphenyl)benzoxazole as a wavelength shifter. The substance has not been used as scintillator dopant before. A dopant shifts the scintillation spectrum towards longer wavelengths making it more suitable for applications in scintillators of long strips geometry and light detection with digital silicon photomultipliers. These features open perspectives for the construction of the cost-effective and MRI-compatible PET scanner with the large field of view. In this article we present the synthesis method and characterize performance of the elaborated scintillator by determining its light emission spectrum, light emission efficiency, rising and decay time of the scintillation pulses and resulting timing resolution when applied in the positron emission tomography. The optimal concentration of the novel wavelength shifter was established by maximizing the light output and it was found to be 0.05 ‰ for cuboidal scintillator with dimensions of 14 mm x 14 mm x 20 mm.
A technology-independent CAD tool for ESD protection device extraction (2002)

The challenges for developing an ESD (Electro-static Discharge) layout extractor originate from unconventional layout patterns of ESD protection devices, parasitic ESD device extraction and device count reduction. This paper reports a new technology-independent layout extractor, ESDExtractor, which is capable of extracting all types of ESD devices and answers the demands for ESD design verification. General methodology to extract both intentional and parasitic ESD devices, specific algorithms and implementation methods for efficiencyenhancement are presented, followed by a design example.
Cavity-Enhanced Nitrogen-Vacancy Ensemble Magnetometry (2018)

We demonstrate magnetic-field sensing using the intrinsic nitrogen-vacancy concentration of a single-crystal diamond placed in an optical cavity resonant with the pump field. We investigate two approaches based on fluorescence detection and pump absorption, respectively.
The role of calcium ions in factor X activation by thrombin E192Q. (1992)

Despite considerable sequence similarities, blood coagulation serine proteases exhibit remarkable specificity with respect to which zymogen they activate. The basis for this specificity presumably involves recognition of a short sequence within the extended binding pocket of the enzyme, other interactions remote from the catalytic groove, and modulation by a definite protein cofactor. In addition, Ca2+ plays a major role in most activation processes, but, because both the enzyme and its substrate interact with Ca2+, whether Ca2+ influences the substrate, the enzyme, or both remains an open question. Thrombin is not a factor X-activating enzyme, but when Glu192, 3 residues remote from the active Ser195, is replaced with glutamine, the resultant serine protease (E192Q) becomes a bovine, but not human, factor X activator. Kinetic experiments with peptides corresponding to human and bovine factor X activating sites reveal that threonine at position P2 in human (versus a valine in bovine) accounts for the species specificity. Substitution of the threonine in P2 of the human sequence with valine allows E192Q to cleave the human peptide whereas substitution of the valine in P2 of the bovine sequence with threonine hinders E192Q catalysis. Thrombin has no high affinity Ca2+ binding sites, and E192Q proteolysis of these peptides is not altered by Ca2+. The influence of Ca2+ in E192Q-mediated factor X activation provides therefore new insights into the role of the different Ca2+ binding sites in factor X. With factor X as substrate, the addition of Ca2+ enhances Kcat 4-fold but increases Km 10-fold. When the vitamin K-dependent gamma-carboxyglutamic acid domain of factor X is removed, the Km remains high with or without Ca2+ whereas Kcat still increases upon addition of the metal ion. These results suggest that factor X undergoes two metal-dependent suggest that factor X undergoes two metal-dependent transitions that influence the presentation of the activation site to activators.
Ultrasonic glove input device for distance-based interactions (2013)

This paper presents distance-based interactions for wearable augmented reality systems enabled by an Ultrasonic Glove input device. The ultrasonic glove contains a tilt sensor and a pair of ultrasonic transducers in the palms. The transducers are distance-ranging sensors that emit ultrasonic waves from the palm of the hand. We developed distance-based interactions including modeling by measurement, numeric entry, and affine transformation interaction techniques. The interactions are based on natural gestures such as facing the palms towards each other or other surfaces. Virtual models of physical objects are created by the user specifying the dimensions with hand gestures. Distance data from the ultrasonic transducers is combined with orientation data to create dimensional vectors and construct models. We conducted an evaluation for the techniques and input device, including a pilot experiment, a user study, and an expert study session. The results indicated that for the task of modeling physical objects, the ultrasonic glove reduced completion time and, in many cases, task error. Our techniques can be generalized to different sensor technologies.
A gun barrel vibration absorber for weapon platforms subject to environmental vibrations (1998)

This paper presents the experimental results of the first known application of a muzzle end vibration absorber to reduce dynamic flexure of a gun system subject to environmentally induced vibration. Such flexure is becoming an increasingly important design consideration as increased launch velocity requirements and emphasis on light weight systems are driving tank cannon design towards longer, more slender barrels. These barrels are inherently more receptive to structural vibration and subsequently increased dispersion; particularly during fire-on-the-move conditions. The results demonstrate that a simple vibration absorber —that adds no more than twenty pounds of mass to the muzzle end of a three ton gun system— may reduce the power spectrum amplitude of the first bending mode by a factor of four. It is anticipated that attenuation of environmental vibrations of the cannon will enhance weapon system accuracy and performance by reducing variation in the initial conditions of gun barrel flexure at the commencement of the partial differential equations that govern launch dynamics.
Identification with encrypted biometric data (2010)

Abstract Biometrics make human identification possible with a sample of a biometric trait and an associated database. Classical identification techniques lead to privacy concerns. This paper introduces a new method to identify someone using his biometrics in an encrypted way. Our construction combines Bloom Filters with Storage and Locality‐Sensitive Hashing. We apply this error‐tolerant scheme, in a Hamming space, to achieve biometric identification in an efficient way. This is the first non‐trivial identification scheme dealing with fuzziness and encrypted data. Copyright © 2010 John Wiley & Sons, Ltd.