gebhart/patrepeval huggingface dataset:
A structured and automatic approach to the performance measurement of parallel and distributed programs (1987)

We address two major issues in building performance measurement systems for parallel and distributed programs. The first issue is how a measurement system can provide a complete picture about the execution of a program, and how this information should be organized so that users can easily and intuitively access all the data without being inundated with irrelevant details. The second issue is how a measurement tool can supply more information than just performance statistics, and how such information can guide the programmer in locating performance problems and in providing possible ways to make further improvements.
Our approach to the first issue involves unifying performance information into a single, regular structure that reflects the organization of the program. We have defined an hierarchical model for the execution of parallel and distributed programs as a framework for the performance measurement. A complete picture of the program's execution can be presented at different levels of detail in the hierarchy. Users are able to maneuver through the hierarchy, concentrating on the spots where the most interesting activities have occurred, and can interactively shift their focus.
The approach to the second issue is based upon the development of automatic guidance techniques that can direct users to the location of performance problems in the program. Guidance information from such techniques will not only supply facts about problems in the program, but also provide possible answers to improve its performance. The construction of guidance techniques is facilitated by the regular structure of the program and measurement hierarchy.
A performance system, called IPS, has been implemented on the Charlotte distributed operating system as a test of our models and design. An automatic guidance technique--critical path analysis for the execution of distributed programs--is integrated in IPS. Measurement tests on IPS show that the critical path information in conjunction with hierarchically organized performance metrics provide a comprehensive picture of program's execution and help users identify the cause of performance bottlenecks.
Applied and algorithmic graph theory (1992)

Designed as the bridge to cross the widening gap between mathematics and computer science, and planned as the mathematical base for computer science students, this maths text is written for upper-level college students who have had previous coursework involving proofs and proof techniques. The close tie between the theoretical and algorithmic aspects of graph theory, and graphs that lend themselves naturally as models in computer science, results in a need for efficient algorithims to solve any large scale problems. Each algorithm in the text includes explanatory statements that clarify individual steps, a worst-case complexity analysis, and algorithmic correctness proofs. As a result, the student will develop an understanding of the concept of an efficient algorithm.
铜—金—黄铁矿矿石金优先浮选的优化 (2001)

金浮选通常作为贵金属矿石处理的一种方法,本文对与硫化矿物结合的金浮选进行了评述金很容易浮选,但是,可以从含硫化矿物的矿石中选择性地浮选单体金用重选法时,与黄铁矿和硫化铜矿物结合的细粒金可能损失掉.从硫化矿石中浮选金,可得到直接熔炼的浮选精矿在pH＞11时可从黄铁矿中优先浮选硫化铜矿物在该条件下,单体金的浮选行为是不清楚的另外,为了获得金的高回收率增大捕收剂(如一硫代磷酸盐)用量,此时捕收剂的选择性如何?什么样形式的金被回收?这些问题从文献资料中还难以找到答案.为了回答这些问题,对捕收剂种类和操作参数(如 pH、磨矿细度和捕收剂用量)与浮选指标的关系进行了研究.在高 pH值下几种捕收剂对金和黄铁矿的浮选选择性较好,但是,对黄铜矿的选择性差.通过添加石灰提高pH,对金没有抑制作用.细粒金能很好浮选,而一部分粗粒金进浮选尾矿中.
Bicollimated near field gregorian reflector antenna (2005)

Abstract : A bicollimated near-field Gregorian reflector is structurally similar to a classical confocal parabolic reflector, but its surfaces are shaped to have better scan capability. A geometrical optics procedure is used in designing the reflector surfaces. A three-dimensional ray tracing procedure is used in analyzing the aperture phase errors as the beam is scanned to different angles. The results show that the bicollimated configuration has about 45% greater angular scanning range than the corresponding confocal parabolic dual-reflector system.
Stress Corrosion Evaluation of Nitinol 60 for the International Space Station Water Recycling System (2016)

A stress corrosion cracking (SCC) evaluation of Nitinol 60 was performed because this alloy is considered a candidate bearing material for the Environmental Control and Life Support System (ECLSS), specifically in the Urine Processing Assembly of the International Space Station. An SCC evaluation that preceded this one during the 2013-2014 timeframe included various alloys: Inconel 625, Hastelloy C-276, titanium (Ti) commercially pure (CP), Ti 6Al-4V, extra-low interstitial (ELI) Ti 6Al-4V, and Cronidur 30. In that evaluation, most specimens were exposed for a year. The results of that evaluation were published in NASA/TM-2015-218206, entitled "Stress Corrosion Evaluation of Various Metallic Materials for the International Space Station Water Recycling System,"1 available at the NASA Scientific and Technical Information program web page: http://www.sti.nasa.gov. Nitinol 60 was added to the test program in 2014.
Theoretical symmetric span loading at subsonic speeds for wings having arbitrary plan form (1948)

From Summary: "A method is shown by which the symmetric span loading for a certain class of wings can be simply found. The geometry of these wings is limited only to the extent that they must have symmetry about the root chord, must have a straight quarter-chord line over the semispan, and must have no discontinuities in twist. A procedure is shown for finding the lift-curve slope, pitching moment, center of lift, and induced drag from the span load distribution. A method of accounting for the effects of Mach number and for changes in section lift-curve slope is also given."
Estimation of modal parameters of low frequency oscillations in power system using Hankels total least square method (2018)

This paper proposes a Hankels total least square (HTLS) based method for determining the modal parameters of the low frequency oscillations present in the power system. HTLS being a parametric method requires an estimate of the model order of the signal for its successful performance. In the proposed method, the model order estimate is obtained based on the number of peaks present in the FFT plot of the signal. The performance of the proposed method is compared with that of a Fourier based method and Modified Prony based method at different levels of signal to noise ratios and PMU reporting rates using real as well as synthetic signals. It is observed that, in comparison to the above mentioned methods, the proposed method is least affected by the noise contamination and low PMU reporting rates making it a better choice for modal estimation of low frequency oscillations.
Ferroelectric Photocurrent Effect in Polycrystalline Lead‐Free ( <scp> <scp>K</scp> </scp> <sub>0.5</sub> <scp> <scp>Na</scp> </scp> <sub>0.5</sub> )( <scp> <scp>Mn</scp> </scp> <sub>0.005</sub> <scp> <scp>Nb</scp> </scp> <sub>0.995</sub> ) <scp> <scp>O</scp> </scp> <sub>3</sub> Thin Film (2012)

We deposited ( K 0.5 Na 0.5 )( Mn 0.005 Nb 0.995 ) O 3 ( KNMN ) thin films on Pt(111)/ TiO 2 / SiO 2 / Si (100) substrates with a top electrode of indium tin oxide and investigated photocurrent properties in the wavelength range of 300−400 nm. Before the photocurrent measurement, the KNMN film was poled by applying a DC voltage. The photocurrents strongly depend on the wavelength of the incident photon energy. The photocurrents of the first measurement with poling in the up (−5 V) and down (+5 V) states were 21 and 3.2 nA/cm 2 , respectively, at 344 nm. The difference in the photocurrents in both poling directions was explained by a space charge due to an asymmetric Schottky barrier height, which was caused by an internal electric field and polarization in the KNMN thin film.
Pregnancy and multiple sclerosis: a longitudinal study of 125 remittent patients. (1993)

The relationship between pregnancy and multiple sclerosis (MS) was assessed in a clinic-based, prospectively followed, population of 125 patients with a remittent onset of MS who had been followed for a mean (SD) of 10.3 (0.1) years. Thirty three women had a total of 49 pregnancies of which 32 had been full term and 17 terminated. There was a three-fold increase in the relapse rate per year during the first three months following delivery, compared with the baseline period of the same patients [1.62(0.38) vs 0.51(0.08) p = 0.05]. During pregnancy itself, the relapse-rate was not different from baseline. The overall relapse rate of the pregnancy group was lower than that of a control group without pregnancies after MS onset, but similar to that of patients who had children after MS onset, but no pregnancy during follow up. Pregnancy did not lead to increased disability. These results confirm that post partum increase in relapse rate is the main event related to pregnancy in MS and underline the difficulties of undertaking prospective studies in this field.
Digital wireless broadband corporate and private networks: RNET concepts and applications (1997)

The radio broadband networks suffer from some specific constraints-access protocol efficiency, multipath effects, and limited available frequency bands-which have to be overcome by choosing the best possible compromises in cost/performance on physical and MAC layers. Current WLAN products (1-2 Mb/s at 2.45 GHz), which provide mainly data exchange service, are able to make seamless handover for an indoor cellular network but suffer from relatively low data rates. Even if compliant with the IEEE 802.11 future standard, they do not necessarily lead to interoperability. New generations become necessary for higher data transfer rates, real-time video, and multimedia applications compatible with the future ATM transfer mode. ETSI is proposing the HIPERLAN concept, working in the 5.3 and 17.2 GHz bands. Our contribution to this new standard, called RNET (Radio Network), uses a spread spectrum linear ramp waveform with enhanced capabilities (relative to the TDMA, CSMA/CA, and FDMA structures). The advantages of the MAC layer are highlighted and the first results of a transceiver demonstrator are given.
CXLV.—Styrylpyrylium salts. Part XII. Spiropyrans derived from 9-methyl- and 9-ethyl-xanthylium salts (1929)

F. Irving, J. Chem. Soc., 1929, 1093 DOI: 10.1039/JR9290001093
An efficient task offloading scheme in vehicular edge computing (2020)

Abstract Vehicular edge computing (VEC) is a promising paradigm to offload resource-intensive tasks at the network edge. Owing to time-sensitive and computation-intensive vehicular applications and high mobility scenarios, cost-efficient task offloading in the vehicular environment is still a challenging problem. In this paper, we study the partial task offloading problem in vehicular edge computing in an urban scenario. Where the vehicle computes some part of a task locally, and offload the remaining task to a nearby vehicle and to VEC server subject to the maximum tolerable delay and vehicle’s stay time. To make it cost-efficient, including the cost of the required communication and computing resources, we consider to fully exploit the vehicular available resources. We estimate the transmission rates for the vehicle to vehicle and vehicle to infrastructure communication based on practical assumptions. Moreover, we present a mobility-aware partial task offloading algorithm, taking into account the task allocation ratio among the three parts given by the communication environment conditions. Simulation results validate the efficient performance of the proposed scheme that not only enhances the exploitation of vehicular computation resources but also minimizes the overall system cost in comparison to baseline schemes.
Basic Requirements for IPv6 Customer Edge Routers with HNCP (2017)

This document specifies minimum requirements for an IPv6 Customer Edge
(CE) router. Specifically, the current version of this document
focuses on the basic provisioning of an IPv6 CE router and the
provisioning of IPv6 hosts attached to it. Includes support of HNCP
([RFC7788]) for automated provisioning of downstream routers. The
document obsoletes RFC 7084.
Multiple-beam antennas: Offset reflectors with offset feeds (1975)

Two simple mathematical models are described for the prediction of the vector radiation fields from offset parabolic reflector antennas with offset feeds. Experimental support for the predictions obtained from the models has been obtained by comparisons with measured data from antenna systems operating at 30 GHz. The principal radiation characteristics of the offset-reflector with offset-feed configuration are discussed.
Profitability and customer satisfaction in services (1999)

The work suggests a defining approach aimed at understanding the relations between client satisfaction and business profitability, with specific reference to services management. The paper makes use of the analysis of the reasons for the separation of the client satisfaction and cost containment orientations – a separation which is a weak point in the case of service businesses. It then develops a methodological approach for bringing together client satisfaction research and cost optimisation, the application of which is presented by means of a business case concerning a firm which offers a database service. This approach makes it possible to put in relationship the utility perceived by the customer with reference to the different attributes of the offer and the price which the customer is prepared to pay to obtain the utility. At the same time it makes it possible to compare the price thus determined and the effective cost of the activities which determine the services delivered. Research into compatibility between competitive and financial success is therefore allowed by reference to analysis of the service characteristics. These permit a joining together – the external and internal process of the company, or rather the value as perceived by customers (the relationship between utility and price sustained) and the cost sustained by the company in the generation of this value.
Immunity to <i>Eimeria brunetti</i> and <i>Eimeria maxima</i> infections in the fowl (1967)

Fowls were completely resistant to a third inoculation with E. maxima oocysts given after two graded and spaced infections. Resistance was complete to a fourth inoculation of E. brunetti oocysts after a series of three infections. Birds made resistant to E. maxima and then inoculated with E. brunetti showed very little evidence of this infection when the intestines were examined on the sixth day and they passed very few oocysts in the faeces. The resistance of E. brunetti -immunized chickens to E. maxima infection was not quite so strong. The results indicate that, under the conditions of the experiment, infection with either of these species will protect in some degree against subsequent infection with the other. These results suggest that the species specificity of acquired resistance is not so complete as previously reported. I am indebted to my colleague, Mr P. L. Long, for his interest throughout the experiment and, in particular, for assistance with the examination of the intestines. The excellent technical assistance of other members of the Parasitology Department is also gratefully acknowledged. Mr Paul Rogers took the photographs.
Computational linguistics in the Netherlands 2000 : selected papers from the eleventh CLIN Meeting (2001)

Invited Speaker Gregory Grefenstette: Very Large Lexicons Regular Papers Julie Carson-Berndsen, Gina Joue and Michael Walsh: Phonotactic Constraint Ranking for Speech Recognition Lars Borin and Klas Prutz: Through a glass darkly: Part-of-speech distribution in original and translated text Gosse Bouma, Gertjan van Noord, and Robert Malouf: Alpino: Wide-coverage Computational Analysis of Dutch Pius ten Hacken: Revolution in Computational Linguistics: Towards a Genuinely Applied Science Heleen Hoekstra, Michael Moortgat, Ineke Schuurman, and Ton van der Wouden: Syntactic Annotation for the Spoken Dutch Corpus Project (CGN) Andre Kempe: Part-of-Speech Tagging with Two Sequential Transducers Wessel Kraaij and Renee Pohlmann: Different approaches to Cross Language Information Retrieval S. Marcus, C. Martin-Vide, V. Mitrana, Gh. Paun: A New-Old Class of Linguistically Motivated Regulated Grammars Michael Moortgat and Richard Moot: CGN to Grail: Extracting a Type-logical Lexicon from the CGN Annotation Thierry Poibeau and Leila Kosseim: Proper Name Extraction from Non-Journalistic Texts Ielka van der Sluis and Emiel Krahmer: Generating Referring Expressions in a Multimodal Context: An empirically oriented approach Erik F. Tjong Kirn Sang: Transforming a Chunker to a Parser Antal van den Bosch, Emiel Krahmer and Marc Swerts: Automatic Detection of Problematic Turns in Human-Machine Interactions List of Contributors
Signal‐Amplifying Resonance Energy Transfer: A Dynamic Multichromophore Array for Allosteric Switching (2007)

Cooperative structural folding and unfolding of a dynamic multichromophore array provides an unusual signal amplification as part of a resonance energy transfer from the central donor unit to peripheral acceptor ensembles. The stepwise addition and removal of chemical input signals resulted in reversible, sigmoidal response curves in both the turn-on and turn-off scans (see picture). Supporting information for this article is available on the WWW under http://www.wiley-vch.de/contents/jc_2002/2007/z701410_s.pdf or from the author. 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.
Fluid Translocation Measurement. A Method to Study Pneumatic Compression Treatment of Postmastectomy Lymphoedema (2020)

Tissue fluid translocation under the action of deformation was measured to study the pneumatic compression treatment of postmastectomy lymphoedema of the arm. Analysis of the results provides statistically significant parameters for characterization of the oedema. Mobility of the fluid in pitting oedematous tissue was significantly greater than that of normal tissue and decreased after pneumatic compression treatment. Oedematous fluid at the distal sites of the arm showed a greater mobility than that of the proximal sites. Improvement in the oedema due to pneumatic compression treatment was found to be greater at the distal sites than at the proximal sites. In addition, oedema recurred between the treatments and repeated treatments produced the best results. Measurement of fluid translocation is useful in selecting and evaluating the effectiveness of lymphoedema treatment, as well as in determining the viscoelastic properties of the oedematous tissues.
Optical design of two-reflector systems, the Monge-Kantorovich mass transfer problem and Fermat's principle (2004)

It is shown that the problem of designing a two-reflector system transforming a plane wave front with given intensity into an output plane front with prescribed output intensity can be formulated and solved as the Monge-Kantorovich mass transfer problem 1 .
A near-isotropic circulary polarized antenna for space vehicles (1965)

The theoretical design and experimental test of a simple, lightweight, and reliable circularly polarized omnidirectional antenna is reported. The gain for one sense of circular polarization, compared with isotropic, is more than -3 dB over 99 percent of the far-zone sphere. Good agreement between theory and experiment has been obtained. The antenna consists of a ring of crossed slots on a short-circuited cylindrical waveguide that is excited by two <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">TE_{11}</tex> modes in phase and space quadrature.
Sound Event Recognition With Probabilistic Distance SVMs (2010)

Unlike other audio or speech signals, sound events have a relatively short time span. They are usually distinguished by their unique spectro-temporal signature. This paper proposes a novel classification method based on probabilistic distance support vector machines (SVMs). We study a parametric approach to characterizing sound signals using the distribution of the subband temporal envelope (STE), and kernel techniques for the subband probabilistic distance (SPD) under the framework of SVM. We show that generalized gamma modeling is well devised for sound characterization, and that the probabilistic distance kernel provides a closed form solution to the calculation of divergence distance, which tremendously reduces computational cost. We conducted experiments on a database of ten types of sound events. The results show that the proposed classification method significantly outperforms conventional SVM classifiers with Mel-frequency cepstral coefficients (MFCCs). The rapid computation of probabilistic distance also makes the proposed method an obvious choice for online sound event recognition.
Synthesis of Circular Array Antenna for Sidelobe Level and Aperture Size Control Using Flower Pollination Algorithm (2015)

Sidelobe level suppression is a major problem in circular array antenna (CAA) synthesis. Many conventional numerical techniques are proposed to achieve this which are time consuming and often fail to handle multimodal problems. In this paper, a method of circular array synthesis using nature inspired flower pollination algorithm (FPA) is proposed. The synthesis technique considered here adapts one and two degrees of freedom, namely, amplitude only and amplitude spacing. The effectiveness of the FPA is studied by comparing the results with genetic algorithm (GA) and uniform circular array antenna (UCAA) with uniform spacing. Also the effect of additional degree of freedom on the aperture size and the computational time is analyzed. A relative side lobe level (SLL) of −25 dB is achieved using the algorithm under both no beam scanning (0°) and beam scanning (15°) conditions for 20 and 40 elements of CAA.
RCNP techniques for producing ultra-precise beams (2001)

Ultra-precise beams with ΔE/E≈1.5×10−4 have been successfully accelerated up to 392 MeV in the RCNP cyclotron complex. Stability of a magnetic field is essential. It is found that temperature stabilization of an iron core is significantly important, which is realized to control the temperature of the cooling water for coils. Now we can keep the constant magnetic field within the order of 10−6.
Entanglement swapping over 100  km optical fiber with independent entangled photon-pair sources (2017)

Realizing long-distance entanglement swapping with independent sources in the real-world condition is important for both future quantum networks and fundamental study of quantum theory. Currently, entanglement swapping over a few tens of kilometers of underground optical fiber has been achieved. However, future applications demand entanglement swapping over longer distances in more complicated environments. We exploit two independent 1-GHz-clock sequential time-bin entangled photon-pair sources; develop several automatic stability controls; and successfully implement a field test of entanglement swapping over an optical fiber link of more than 100 km, including coiled, underground, and suspended optical fibers. Our result verifies the feasibility of such technologies for long-distance quantum networks and for many interesting quantum information experiments.
In Vitro Elution of Antibiotic from Antibiotic-Impregnated Biodegradable Calcium Alginate Wound Dressing (1999)

All antibiotic dressings released bactericidal concentrations of the antibiotics in vitro for the period of time needed to treat surgical infections. This study offers a convenient method to meet the specific antibiotic requirement for different patients.