gebhart/patrepeval huggingface dataset:
On the general false path problem in timing analysis (1989)

The false path problem is often referred to as the problem of detecting the longest sensitizable path (A path which is not, a false path is a sensitizable path). The term "false path" is not clearly defined. In this paper, we first give a clear and precise definition of a false path. Then the general false path problem is formulated. The general false path problem is to detect whether a given path (not necessarily the longest one) is a false path. We present an efficient algorithm for solving the general false path problem. We also propose another algorithm which generates all the possible sensitizable paths with the delays greater than a given threshold T. The efficiency and effectiveness of the proposed algorithm are demonstrated by the experimental results.
Development of the Activities of Daily Vision Scale (1992)

To develop a method for the evaluation of visual function in subjects with cataracts, the authors identified 20 visual activities and categorized them into five subscales (distance vision, near vision, glare disability, night driving, and daytime driving) that comprised the Activities of Daily Vision Scale (ADVS). Each subscale in the ADVS was scored between 100 (no visual difficulty) and 0 (inability to perform the activity because of visual difficulty). In 334 subjects scheduled for cataract extraction (mean age 75 +/- 9 years, 67% women), ADVS scores (mean +/- standard deviation) for each subscale ranged from 44 +/- 31 for night driving to 72 +/- 24 for near vision activities. When administered by telephone, inter-rater reliability coefficients (r) were 0.82 to 0.97 (P < 0.001) for each of the subscales, and test-retest reliability was 0.87 for the scale overall. Cronbach's coefficient alpha was very high for both the in-person (alpha = 0.94) and telephone (alpha = 0.91) formats. Criterion validity, the correlation between visual loss and ADVS score, was -0.37 (P < 0.001) when the ADVS was administered in person and -0.39 (P < 0.001) when it was administered by telephone. Content validity as assessed with factor analysis showed that 88% of the variance of the principal components weighted on one factor. The authors conclude that substantial visual disability is not captured by routine visual testing and that the ADVS is a reliable and valid measure of patient's perception of visual functional impairment.
Revisiting the TTL-based controlled flooding search (2004)

In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching for a destination node in a mobile ad hoc network, querying for a piece of desired data in a wireless sensor network, and searching for a shared file in an unstructured peer-to-peer network. We limit our attention in this study to the class of controlled flooding search strategies where query/search packets are broadcast and propagated in the network until a preset TTL (time-to-live) value carried in the packet expires. Every unsuccessful search attempt results in an increased TTL value (i.e., larger search area) and the same process is repeated. The primary goal of this study is to derive search strategies (i.e., sequences of TTL values) that will minimize the cost of such searches associated with packet transmissions. The main results of this paper are as follows. When the probability distribution of the location of the object is known a priori, we present a dynamic programming formulation with which optimal search strategies can be derived that minimize the expected search cost. We also derive the necessary and sufficient conditions %on the location distribution for two very commonly used search strategies to be optimal. When the probability distribution of the location of the object is not known a priori and the object is to minimize the worst-case search cost, we show that the best strategies are randomized strategies, i.e., successive TTL values are chosen from certain probability distributions rather than deterministic values. We show that given any deterministic TTL sequence, there exists a randomized version that has a lower worst-case expected search cost. We also derive an asymptotically (as the network size increases) optimal strategy within a class of randomized strategies.
All optical sensor for automated magnetometry based on coherent population trapping (2007)

An automated magnetometer suitable for long lasting measurement under stable and controllable experimental conditions has been implemented. The device is based on coherent population trapping (CPT) produced by a multifrequency excitation. CPT resonance is observed when a frequency comb, generated by diode laser current modulation, excites Cs atoms confined in a π/4×(2.5)2×1 cm3, 2 TorrN2 buffered cell. A fully optical sensor is connected through an optical fiber to the laser head allowing for truly remote sensing and minimization of the field perturbation. A detailed analysis of the CPT resonance parameters as a function of the optical detuning has been made in order to get high sensitivity measurements. The magnetic field monitoring performances and the best sensitivity obtained in a balanced differential configuration of the sensor are presented.
Biomedical microdevices for neural interfaces (2000)

During recent years the authors have developed a variety of microelectrode-array based microdevices for interfacing single nerve cells in vitro and for interfacing neural structures inside the living body. Latter neuroprosthetic devices are designed to restore lost or impaired neural functions. This paper provides an overview on the authors' neural microdevices for interfacing and positioning single neural cells, for interfacing peripheral nerve structures, and for stimulating neural structures in the retina. The paper concludes with the authors' vision on biohybrid implants as future neuroprosthetic devices.
Enzymatic determination of urinary chondroitin sulphate: applications in renal stone disease and acromegaly (1986)

A method was developed for the determination of urinary chondroitin sulphate (CS), including dermatan sulphate and chondroitin 4 and 6-sulphates, using an enzymatic degradation with chondroitinase-ABC followed by precipitation with Alcian blue, whereby CS was determined as the difference between undigested and chondroitinase digested material. The method was linear in the range 0-100 mg l-1 with a detection limit of 1 mg l-1 and allowed determinations on small urine volumes without pretreatment of the urine. It could be demonstrated that males excreted more CS than females, and growing children had the highest urinary content of CS. Renal calcium stone formers did not differ from healthy controls in urinary CS. Patients with acromegaly had a higher excretion of CS compared with controls. There was also, in these patients, a positive correlation between the serum growth hormone levels and the urinary CS, indicating that CS-excretion may be an estimate of the activity of the pituitary disorder.
Artificial bandwidth extension of narrowband speech - enhanced speech quality and intelligibility in mobile devices (2013)

Even today, most of the telephone users are offered only narrowband speech transmission. The limited frequency band from 300 Hz to 3400 Hz reduces both quality and intelligibility of speech due to the missing high frequency components that are important cues especially in consonant sounds. Particularly in mobile communications that often takes place in noisy environments, degraded speech intelligibility results in listener fatigue and difficulty in speaker recognition. The deployment of wideband (50–7000 Hz), and superwideband (50–140000 Hz) speech transmission is ongoing, but the current narrowband speech coding will coexist with the new technologies still for years.\nIn this thesis, a speech enhancement method called artificial bandwidth extension (ABE) for narrowband speech is studied. ABE methods aim to improve quality and intelligibility of narrowband speech by regenerating the missing high frequency content in the speech signal, typically in the frequency range 4 kHz–8 kHz. Since the enhanced speech quality is achieved without any transmitted information, the algorithm can be implemented at the receiving end of a communication link, for example in a mobile device after decoding the speech signal.\nThis thesis presents algorithms for artificially extending the speech bandwidth. The methods are primarily designed for monaural speech signals, but also the extension of binaural speech signals is addressed. The algorithms are developed such that they incur reasonable computational costs, memory consumption, and algorithmic delays for mobile communications. These and other implementational issues related to mobile devices are addressed here.\nThe performance of the methods has been evaluated by several subjective tests, including listening-opinion tests in several languages, intelligibility tests, and conversational tests. The evaluations have been mostly carried out with coded speech to provide realistic results. The results from the subjective evaluations of the methods show that artificial bandwidth extension can improve quality and intelligibility of narrowband speech signals in mobile communications. Further evidence of the reliability of the methods has been obtained by successful product implementations.
Phase Aberration Correction Using Near-Field Signal Redundancy-Part I: (1997)

Phase aberration is one of the most impor- tant factors that limit improvement to lateral resolution of ultrasound imaging systems. Signal redundancy is the basic principle behind many algorithms developed for as- tronomical imaging to correct aberrations introduced by atmospheric turbulence. Although the signal redundancy principle has been discussed for phase-aberration measure- ment in ultrasound imaging systems, the near-field effect has not been analyzed adequately. Consequently, only mod- erate success has been achieved. In this paper, the signal redundancy principle in the near field is analyzed quanti- tatively. It is found that common midpoint signals are not identical (or redundant) for echoes coming from arbitrary target distributions in the near field. A dynamic near-field correction is proposed to reduce the difference between common midpoint signals for echoes coming from the re- gion of interest. When phase aberrations are present, it is shown that the dynamic correction can generally be done assuming no phase aberration, and the relative time-shift between common midpoint signals can be used to measure phase-aberration profiles. A phase-aberration correction al- gorithm based on that principle is proposed. In this algo- rithm, after common midpoint signals are collected they are dynamically corrected for near-field effects and cross- correlated with one another. In a related way, the phase errors are measured from peak positions of these cross- correlation functions. The phase-aberration profile across the array is derived from these measurements. The rela- tionship between the errors in the derived phase aberration profile and the errors in the measured relative time-shift be- tween common midpoint signals is derived. A method for treating the situation of different transmission and recep- tion phase-aberration profiles is also proposed. This algo- rithm works for general target distributions, iteration is not required, and it can be used in other near-field, pulse-echo,
Software Clustering Based on Dynamic Dependencies (2005)

The reverse engineering literature contains many software clustering approaches that attempt to cluster large software systems based on the static dependencies between software artifacts. However, the usefulness of clustering based on dynamic dependencies has not been investigated. It is possible that dynamic clusterings can provide a fresh outlook on the structure of a large software system. In this paper, we present an approach for the evaluation of dynamic clusterings. We apply this approach to a large open source software system, and present experimental results that suggest that dynamic clusterings have considerable merit.
The yeast PHO5 promoter: phosphate-control elements and sequences mediating mRNA start-site selection. (1987)

Transcription of PHO5 is strongly regulated in response to the level of inorganic phosphate (Pi) present in the growth medium. We have identified elements required for PHO5 expression by analyzing small deletions in the PHO5 promoter on chromosome II. The results reveal three functionally different components of the PHO5 promoter: regulatory regions, a "TATA" element, and specific mRNA initiation sites. The regulatory regions contain related 19-base-pair (bp) dyad sequences acting as phosphate-controlled upstream activation sites (UASpS). These UASpS mediate the transcriptional activation of PHO5 observed in low Pi conditions. The unlinked but coordinately regulated PHO11 promoter contains a single copy of an almost identical dyad sequence, suggesting that there is a common regulatory UASp for both genes. A TATA element is absolutely required for detectable PHO5 transcription. Specific purine-pyrimidine motifs (RRYRR) (R = purine and Y = pyrimidine) serve as PHO5 mRNA initiation sites, but only if they lie 55-110 bp downstream of a functional TATA element. Such an "initiation window" is not found in higher eukaryotes and implies mechanistic differences in the transcription machineries between yeast and higher eukaryotes.
Developmental Strategies of Betel nut Industry in Hainan Province (2010)

The developmental status of the betel nut industry is introduced, including cultivation situation, processing and development situation, and consumer market situation. The result shows that the cultivation of betel nut in Hainan Province develops rapidly and the primary processing of betel nut has formed certain scale, but the deep processing of betel nut is backward. Except for the minority of the betel nuts consumed by Hainan Island, a large majority of the betel nuts are processed into dry fruit to sell to Hunan Province to reprocess. The problems exist in the development of betel nut industry in Hainan Province are analyzed, covering blind cultivation, extensive management, backward processing, lagged new product development and the single and concentrated consumer market. The strategic choice of developing the betel nut industry of Hainan Province is analyzed as well. Hainan Province should carry out the green, sustainable, diversified, cooperative and export-oriented industrial developmental strategy.
Rota-Baxter Algebras on Quasi Hopf Module Algebras (2014)

Let H be a Hopf algebra,the main aim of this paper is to extend the theorem of Hopf(co) quasigroup.Let H be a Hopf quasigroup and (M,φ)be an right quasi H-Hopf module algebra,then (M, P )is a Rata-Baxter algebra of weight-1 .
[Overexpression of Aspergillus candidus lactase and analysis of enzymatic properties]. (2005)

The lactase gene lacb' from Aspergillus candidus was fused behind alpha-factor signal sequence in the Pichia pastoris expression vector pPIC9, then integrated into the genome of P. pastoris by recombination events. The P. pastoris recombinants for lactase overexpression were screened by enzyme activity analysis and SDS-PAGE. The lactase expressed in P. pastoris was glycosylated protein with an apparent molecular weight of 130 kD, while the deglycosylated lactase treated with Endo H had an apparent molecular weight of about 110 kD. The expression level of secreted lactase protein in recombinant P. pastoris was 6 mg/mL with enzymatic activity of 3600 U/mL in the 5 L fermenter, which was the highest among that of all kinds of recombinant strains reported now. The optimal pH and optimal temperature of the lactase are 5.2 and 60 degrees C. The Vmax, Km, and specific activity of the lactase are 3.3 micromol/min, 1.7 mmol/L and 706.5 +/- 2.6 U/mg, respectively. Compare to the lactase from Aspergillus oryzae ATCC 20423, the expressed lactase from A. candidus have better enzymatic properties including the high thermostability, high specific activity and wide pH range for enzyme reaction.
Deep Reinforcement Learning for Online Advertising in Recommender Systems (2019)

With the recent prevalence of Reinforcement Learning (RL), there have been tremendous interests in utilizing RL for online advertising in recommendation platforms (e.g. e-commerce and news feed sites). However, most RL-based advertising algorithms focus on solely optimizing the revenue of ads while ignoring possible negative influence of ads on user experience of recommended items (products, articles and videos). Developing an optimal advertising algorithm in recommendations faces immense challenges because interpolating ads improperly or too frequently may decrease user experience, while interpolating fewer ads will reduce the advertising revenue. Thus, in this paper, we propose a novel advertising strategy for the rec/ads trade-off. To be specific, we develop a reinforcement learning based framework that can continuously update its advertising strategies and maximize reward in the long run. Given a recommendation list, we design a novel Deep Q-network architecture that can determine three internally related tasks jointly, i.e., (i) whether to interpolate an ad or not in the recommendation list, and if yes, (ii) the optimal ad and (iii) the optimal location to interpolate. The experimental results based on real-world data demonstrate the effectiveness of the proposed framework.
Multi-User Voicefilter-Lite via Attentive Speaker Embedding (2021)

In this paper, we propose a solution to allow speaker conditioned speech models, such as VoiceFilter-Lite, to support an arbitrary number of enrolled users in a single pass. This is achieved via an attention mechanism on multiple speaker embeddings to compute a single attentive embedding, which is then used as a side input to the model. We implemented multi-user VoiceFilter-Lite and evaluated it for three tasks: (1) a streaming automatic speech recognition (ASR) task; (2) a text-independent speaker verification task; and (3) a personalized keyphrase detection task, where ASR has to detect keyphrases from multiple enrolled users in a noisy environment. Our experiments show that, with up to four enrolled users, multi-user VoiceFilter-Lite is able to significantly reduce speech recognition and speaker verification errors when there is overlapping speech, without affecting performance under other acoustic conditions. This attentive speaker embedding approach can also be easily applied to other speaker-conditioned models such as personal voice activity detection (VAD) and personalized ASR.
Ovulatory Cycles, Pregnancy Outcome and Complications After Surgical Treatment of Polycystic Ovary Syndrome (1998)

The purpose of this review is to survey the literature on the various laparoscopic surgical techniques for ovulation induction in polycystic ovary syndrome (PCOS) patients (multiple biopsies, electrocauterization, laser vaporization, ovarian resection), compared with traditional ovarian resection by laparotomy. Relevant studies were identified through a search of a computerized bibliographic database and cross-referencing of relevant medical journals. Data regarding 1803 anovulatory PCOS patients have been analyzed, 679 of them treated by classical ovarian resection after laparotomy, 720 by laparoscopic electrocauterization, 322 by laparoscopic laser vaporization, and 82 by laparoscopic multiple biopsies. The percentages of miscarriages, twin pregnancies, and ectopic pregnancies have been calculated analyzing 1076 pregnancies achieved spontaneously or after medical therapy after failure of various surgical attempts. The percentage of adhesions has been calculated among 343 patients submitted to second-look surgery. All of the surgical techniques proved equally effective, with an average ovulation rate of 78.8 percent, a cumulative pregnancy rate of 58.5 percent, a miscarriage rate of 15.9 percent, a twin pregnancy rate of 2.1 percent, and an ectopic pregnancy rate of 1.6 percent. Hormone variations after surgery consisted in a remarkable fall in serum androgen levels (androstenedione and testosterone), in an FSH increase, reduced biological activity and reduced amplitude of LH pulses, and an LH/FSH ratio trending toward normal levels. Moreover, after surgery, the ovaries showed higher responsiveness to drug-induced ovulation. Adhesions were less frequent after laparoscopic multiple biopsies, but they were observed in about 90 percent of patients after resection by laparotomy, in 30 percent of patients after laparoscopic electrocauterization, and in 50 percent after laparoscopic laser vaporization. In conclusion, at present laparoscopic methods for inducing ovulation can be performed in PCOS infertile patients if medical treatment fails to give the desired results. However, additional controlled trials are required to assess the long-term effects of these procedures.
A BDD-based frontend for retargetable compilers (1995)

We present a unified frontend for retargetable compilers that performs analysis of the target processor model. Our approach bridges the gap between structural and behavioral processor models for retargetable compilation. This is achieved by means of instruction set extraction. The extraction technique is based on a BDD data structure which significantly improves control signal analysis in the target processor compared to previous approaches. >
[Sites of analgesic action of 3,15-diacetylbenzoylaconine]. (1994)

In the rat hot plate test, vocalization induced by electric stimulation, tail flick test, and the mouse acetic acid writhing test, 3, 15-diacetylbenzoylaconine (DABA) ip exhibited a dose-dependent analgesic activity. Intrathecally (ith) administered DABA (527, 1186 micrograms.kg-1) had no analgesic action. Microinjection of DABA 35-75 micrograms.kg-1 or 20 micrograms into the cerebral ventricle (icv) or the periaqueductal gray (PAG) exerted a remarkable analgesic activity, which was abolished after bilateral lesions of locus coeruleus (LC). Microinjection of DABA (20 micrograms) into LC failed to produce apparent analgesic action. These results suggested that the sites of analgesia of DABA were mainly at the central supraspinal structures, and PAG was one of the primary sites, while LC was one of the intermediate links.
New synthesis of isoxazolidines (1996)

Abstract A new synthesis of 5‐substituted isoxazolidines was developed by direct isoxazolidine ring formation of allylic hydroxylamines under acidic conditions. The cyclization process is an electrophilic S N 1 type reaction. The formed carbocation intermediate is stabilized by electron rich groups ( i.e ., phenyl). A moiety that mediates oxonium ion formation ( i.e., para ‐methoxy) accelerates the rate of product formation.