gebhart/patrepeval huggingface dataset:
Studying the Propagation of Failures in SOAs (2015)

Although Service Oriented Architectures (SOAs) are being increasingly used in business-critical scenarios, the applicability of Verification and Validation (V&V) is still very limited. The problem is that V&V activities have to be implemented at runtime to fit the characteristics of SOA. Recent proposals of runtime V&V techniques specific to SOA domain are far from being complete and a key issue lies in understanding how the "failures propagate" in a dynamic system and how to continuously verify its evolving elements. This paper introduces an approach to deal with the propagation of failures in a SOA environment. The proposed technique is based on three key steps: estimating the failure rate of the individual services, using fault injection to find the exposure of each service to failures from the invoked services, and estimating the impact of each service in the overall architecture. The overall approach is presented with a brief demonstration of its application.
Spherical-Model-Based SLAM on Full-View Images for Indoor Environments (2018)

As we know, SLAM (Simultaneous Localization and Mapping) relies on surroundings. A full-view image provides more benefits to SLAM than a limited-view image. In this paper, we present a spherical-model-based SLAM on full-view images for indoor environments. Unlike traditional limited-view images, the full-view image has its own specific imaging principle (which is nonlinear), and is accompanied by distortions. Thus, specific techniques are needed for processing a full-view image. In the proposed method, we first use a spherical model to express the full-view image. Then, the algorithms are implemented based on the spherical model, including feature points extraction, feature points matching, 2D-3D connection, and projection and back-projection of scene points. Thanks to the full field of view, the experiments show that the proposed method effectively handles sparse-feature or partially non-feature environments, and also achieves high accuracy in localization and mapping. An experiment is conducted to prove that the accuracy is affected by the view field.
LXXXIII.—A new method for preparing substituted diphenylamines (1929)

A. W. Chapman, J. Chem. Soc., 1929, 569 DOI: 10.1039/JR9290000569
Cyclic ADP-Ribose Analogues Containing the Methylenebisphosphonate Linkage:  Effect of Pyrophosphate Modifications on Ca<sup>2+</sup> Release Activity (2005)

Analogues of cyclic ADP-ribose (cADPR) incorporating a methylenebisphosphonate linkage in the place of the pyrophosphate have been synthesized from nicotinamide adenine dinucleotide analogues enzymatically using Aplysia californica ADP-ribosyl cyclase. Methylenebisphosphonate cyclic ADP-ribose (cADPR[CH(2)]) and methylenebisphosphonate cyclic 3-deaza-ADP-ribose (3-deaza-cADPR[CH(2)]) showed full agonist activity for release of Ca(2+) ions from sea urchin egg homogenates. The EC(50) for cADPR[CH(2)] was 856 nM and that for 3-deaza-cADPR[CH(2)] was 300 nM, about 15- and 5-fold less potent than cADPR, respectively.
Design of a low-aberration lens for focused ion beams (1988)

An electrostatic optical system with an intermediate beam crossover has been designed to produce a focused ion beam. In order to obtain the finely focused beam at the target, low magnification and low aberration are required for the illumination system because of the large size of the beam crossover. Chromatic aberration, which is dominant in focused ion beam systems with liquid metal ion sources, has been reduced by shortening the focal length of the objective lens in the illumination system. Using an objective lens with cone-shaped electrodes (focal length of ∼20 mm), calculation gave the maximum current densities of 0.93 and 100 A/cm2 for 5- and 150-kV beams, respectively, at the target under the following conditions: a virtual source size of 30 nm, angular current density of 20 μA/sr, and energy spread of 10 eV.
Soybean Seed Inoculant and Fungicidal Seed Treatment Effects on Soybean (2008)

Several new bacterial inoculant products have been introduced for use as a soybean [ Glycine max (L.) Merr.] seed treatment. A 3‐yr study over 16 site‐years determined whether soybean seed inoculation had an effect on grain yield, if yield or growth differences occurred between soybean treated with commercial inoculant products, and whether use of seed‐applied fungicide resulted in yield benefits or interacted with commercial inoculants. Eight commercial inoculants were tested both with and without seed‐applied fungicidal treatment in a split‐plot randomized complete block configuration. Use of soybean inoculant raised soybean yield in 6 of 14 site‐years in fields that had been in soybean rotation. The average yield increase as a result of soybean seed inoculation at these 14 site‐years with a previous history of soybean cropping was 85.6 kg ha −1 Differences between inoculant products were observed only at first‐time soybean sites. Fungicidal seed treatment improved yield on 3 of 16 site‐years and only interacted with inoculant on the two first‐time soybean sites.
Lateral current injection lasers: underlying mechanisms and design for improved high-power efficiency (1998)

The lateral current injection (LCI) laser-a promising technology for enabling optoelectronic integrated circuits and photonic devices with novel functionalities-is studied by comparison with conventional vertical injection devices. Fully self-consistent two-dimensional (2-D) simulations of lateral and vertical lasers reveal physical effects unique to the lateral injection class of devices. We find that (1) strong lateral carrier confinement is critical to efficient LCI laser operation, even if the active region is wide, in view of ambipolar effects, (2) current paths in parallel with the active region, even if they consist of high-bandgap intrinsic material, may nevertheless admit significant parasitic leakage even at moderate injection levels, and (3) a straightforward, but powerful, solution to the problem of premature roll-off in lasing efficiency may be achieved via heavy contact doping without significantly increasing modal free-carrier absorption.
LATE WEST SAXON FORMS OF THE LATE WEST SAXON FORMS OF THE NATIVE PROTOTYPES OF THEY (2001)

Journal Article LATE WEST SAXON FORMS OF THE LATE WEST SAXON FORMS OF THE NATIVE PROTOTYPES OF THEY Get access MICHIKO OGURA MICHIKO OGURA Chiba University Search for other works by this author on: Oxford Academic Google Scholar Notes and Queries, Volume 48, Issue 1, March 2001, Pages 5–6, https://doi.org/10.1093/nq/48-1-5 Published: 01 March 2001
Impact of Efavirenz on Neuropsychological Performance and Symptoms in HIV-Infected Individuals (2005)

In a large controlled trial, efavirenz use was associated with neurologic symptoms distinct from depression and anxiety that began early in therapy but resolved by week 4. Improvement in neuropsychological performance was comparable in patients who were receiving efavirenz and those who were not.
Anticonvulsant Drugs. III. Some Allophanates (1950)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTAnticonvulsant Drugs. III. Some AllophanatesM. A. Spielman, J. D. Barnes, and W. J. CloseCite this: J. Am. Chem. Soc. 1950, 72, 6, 2520–2522Publication Date (Print):June 1, 1950Publication History Published online1 May 2002Published inissue 1 June 1950https://pubs.acs.org/doi/10.1021/ja01162a049https://doi.org/10.1021/ja01162a049research-articleACS PublicationsRequest reuse permissionsArticle Views92Altmetric-Citations9LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
An OpenNaaS Based SDN Framework for Dynamic QoS Control (2013)

Network Service Providers should offer provisioning services with guaranteed Quality of Service (QoS), specifically adapted to the characteristics of the applications running on their network. In this paper we propose the Network Control Layer (NCL), a software framework solution based on Software Defined Networks (SDN), OpenFlow and Network as a Service (NaaS) paradigms. It addresses a major innovation area in the field of network control and management providing on-demand end-to-end network provisioning services with guaranteed QoS, based on the specific requirements of on-top running interactive applications. The NCL implementation is based on the OpenNaaS framework, and it includes mechanisms for network status monitoring and SDN switches configuration based on the interactive applications' QoS network requirements. We demonstrate NCL's utility in the context of control plane models making use of a practical use case.
Free volume distributions and compactivity measurement in a bidimensional granular packing (2006)

International audience
Improved decoding of Reed-Solomon and algebraic-geometric codes (2002)

Given an error-correcting code over strings of length n and an arbitrary input string also of length n, the list decoding problem is that of finding all codewords within a specified Hamming distance from the input string. We present an improved list decoding algorithm for decoding Reed-Solomon codes. The list decoding problem for Reed-Solomon codes reduces to the following "curve-fitting" problem over a field F: Given n points {(x/sub i/.y/sub i/)}/sub i=1//sup n/, x/sub i/,y/sub i//spl isin/F, and a degree parameter k and error parameter e, find all univariate polynomials p of degree at most k such that y/sub i/=p(x/sub i/) for all but at most e values of i/spl isin/{1....,n}. We give an algorithm that solves this problem for e<n-/spl radic/(kn), which improves over the previous best result, for every choice of k and n. Of particular interest is the case of k/n>1/3, where the result yields the first asymptotic improvement in four decades. The algorithm generalizes to solve the list decoding problem for other algebraic codes, specifically alternant codes (a class of codes including BCH codes) and algebraic-geometric codes. In both cases, we obtain a list decoding algorithm that corrects up to n-/spl radic/(n-d-) errors, where n is the block length and d' is the designed distance of the code. The improvement for the case of algebraic-geometric codes extends the methods of Shokrollahi and Wasserman (1998) and improves upon their bound for every choice of n and d'. We also present some other consequences of our algorithm including a solution to a weighted curve fitting problem, which is of use in soft-decision decoding algorithms for Reed-Solomon codes.
Rapid fluorescence-based assay for radiosensitivity and chemosensitivity testing in mammalian cells in vitro. (1989)

An efficient and rapid cytotoxicity assay has been developed, particularly for radiobiological studies, utilizing 96-well microtiter plates. Several days after treatment, cell numbers per well were measured by fluorescent intensity using an automatic reader after staining with the DNA specific dye Hoechst 33258. For radiobiological applications, a microtiter plate irradiation box was designed and built which allowed a variable number of wells (minimum 4, maximum 16) to be irradiated at one time. In this manner, complete dose-response curves could be obtained from one plate. The assay depends on the growth of surviving and untreated cells, and by appropriate choice of conditions (cell numbers plated, time of assay), cell survival curves for this quick fluorescence assay were in reasonable agreement with those from a clonogenic assay for cisplatin and X-ray-induced cell killing. The assay can span 1.5-2 decades of cell survival and is suitable for any cell line which grows as a monolayer. Radiobiological applications were tested using agents or conditions which modified radiation damage. Firstly, sublethal damage repair could be demonstrated in RIF1 mouse tumor cells by comparing the survival curve for a single X-ray dose with that for two fractions separated by 4 h. Secondly, incorporation of 5-iodo-2'-deoxyuridine into cellular DNA was shown to radiosensitize Chinese Hamster cells, with similar enhancement ratios obtained from the fluorescence and clonogenic assays. Thirdly, radiosensitization by cisplatin and radioprotection by cysteamine could be readily measured using the quick fluorescence assay. The ability to have multiple dose groups per plate makes it an efficient assay for both radiosensitivity and chemosensitivity testing.
Product layout induced topography effects on intrafield levelling (2015)

With continuing dimension shrinkage using the TWINSCAN NXT:1950i scanner on the 28nm node and beyond, the imaging depth of focus (DOF) becomes more critical. Focus budget breakdown studies [Ref 2, 5] show that even though the intrafield component stays the same, it becomes a larger relative percentage of the overall DOF. Process induced topography along with reduced Process Window can lead to yield limitations and defectivity issues on the wafer. In a previous paper, the feasibility of anticipating the scanner levelling measurements (Level Sensor, Agile and Topography) has been shown [1]. This model, built using a multiple variable analysis (PLS: Partial Least Square regression) and GDS densities at different layers showed prediction capabilities of the scanner topography readings up to 0.78 Q² (the equivalent of R² for expected prediction). Using this model, care areas can be defined as parts of the field that cannot be seen nor corrected by the scanner, which can lead to local DOF shrinkage and printing issues. This paper will investigate the link between the care areas and the intrafield focus that can be seen at the wafer level, using offline topography measurements as a reference. Some improvements made on the model are also presented.
Interactions of Nonaqueous Solvents with Textile Fibers (1975)

The interactions of three chlorinated hydrocarbon solvents with textured polyester yams have been investigated. The solvents perchloroethylene, trichloroethylene, and methylene chloride differ widely in their ability to interact with polyester fibers. Textralized and Superloft standard and cationic dyeable Dacron yarns have been included in this investigation. The dynamic and isothermal shrinkage behavior of the textured yarns reflects the diffusion of the solvents into the complex structures produced by the texturing process and the rate and extent of their interactions with the polymer. Characteristic shrinkage maxima are observed which are associated with the opening and closing of kinks, especially in the Textralized yam. More or less extensive overall shrinkage as a result of the solvent treatments produces an increase in the bulkiness of the textured yarns. The stability of the additional solvent-induced crimp and of the original thermally-induced crimp were studied. It could be shown that while the original crimp is essentially unaffected by the solvent treatment, the solvent-induced crimp is easily removed upon loading of the yam, and its recovery upon unloading is limited, depending on the nature of the solvent treatment.
<title>Optical Matrix Algebraic Processors : A Survey</title> (1983)

Optical processors performing a large number of multiplications and additions in parallel are ideally suited for matrix algebraic operations, such as vector-matrix and matrix-matrix multiplication. A survey is made of different algorithms and architectures for optical matrix algebraic processors. These architectures are then compared with respect to their hardware requirements and computational efficiencies.
True IOMMU Protection from DMA Attacks (2016)

Malicious I/O devices might compromise the OS using DMAs. The OS therefore utilizes the IOMMU to map and unmap every target buffer right before and after its DMA is processed, thereby restricting DMAs to their designated locations. This usage model, however, is not truly secure for two reasons: (1) it provides protection at page granularity only, whereas DMA buffers can reside on the same page as other data; and (2) it delays DMA buffer unmaps due to performance considerations, creating a vulnerability window in which devices can access in-use memory. We propose that OSes utilize the IOMMU differently, in a manner that eliminates these two flaws. Our new usage model restricts device access to a set of shadow DMA buffers that are never unmapped, and it copies DMAed data to/from these buffers, thus providing sub-page protection while eliminating the aforementioned vulnerability window. Our key insight is that the cost of interacting with, and synchronizing access to the slow IOMMU hardware---required for zero-copy protection against devices---make copying preferable to zero-copying.
Thermische Stabilität anodisch erzeugter Oxidschichten auf Niob und Tantal (1969)

Abstract Bei der anodischen Oxydation von Niob und Tantal entstehen glasartige Oxidschichten mit einem gewissen Sauer‐stoffunterschuß, der im Oxid in Form von Sauerstoffleerstellen vorhanden ist. Die Leerstellenkonzentration bestimmt die Diffusionsgeschwindigkeit von Sauerstoff und die Elektronenleitfähigkeit im Oxid. Beim Erhitzen in einer Sauerstoff‐atmosphäre hemmen anodisch erzeugte Oxidschichten auf Tantal die Auflösung von Sauerstoff im Metall und verzögern die Ausbildung schnell wachsender, poröser Oxidschichten. Die Hemmung beruht auf einer langsamen Diffusion von Sauerstoff im Oxid. Die Kinetik der Phasen‐ grenzreaktionen zwischen Nioboxid und Sauerstoff wurde aus Messungen der Elektronenleitfähigkeit der Oxidschicht ermittelt. Das Nioboxid reagiert mit Metall und Bildung von Sauerstoffleerstellen. Im Kontakt mit Sauerstoff werden Sauerstoffleerstellen im Oxid aufgefüllt.
Assessment of cardiac output by the Doppler ultrasound technique alone. (1985)

The normal range of aortic blood velocity was established in 140 healthy adults, using a non-invasive Doppler ultrasound technique. Integration of the area under the velocity-time curve for each heart beat gave stroke distance, which, when multiplied by heart rate, gave minute distance. Stroke distance and minute distance are an indication of stroke volume and cardiac output respectively and both show a progressive decline with age of about 1% per annum of adult life. Stroke distance gave the greatest discrimination between patient groups and, compared with age corrected normal values, was increased by 43% in 12 pregnant women, normal in 16 patients convalescing after myocardial infarction, and decreased by 14% in 15 patients with hypertension, by 31% in 12 patients with atrial fibrillation, and by 43% in 13 patients with cardiac failure. Measurement of aortic blood velocity and its derivatives alone, without determination of aortic size, is a safe, simple, and physiologically valid way of assessing cardiac output.
In Vitro Activities of Membrane-Active Peptides against Gram-Positive and Gram-Negative Aerobic Bacteria (1998)

Four peptides, cecropin P1, magainin II, indolicidin, and ranalexin, were evaluated against 202 clinical isolates of gram-positive and gram-negative aerobic bacteria by a microbroth dilution method. The gram-negative isolates were more susceptible to cecropin P1. Ranalexin was the most active compound against the gram-positive strains. The bactericidal activity of each peptide was equivalent to, or 1 dilution above, the MIC. In conclusion, the four peptides exhibited different in vitro activities and rapid time-dependent killing.
Spatial power combining for millimeter-wave solid state amplifiers (2002)

A novel method for obtaining high power amplification at millimeter-wave frequencies using spatial power combining is being developed. The method uses orthogonally polarized fields to isolate the input and output waves of a two-dimensional array of solid-state amplifiers. To demonstrate this technique, a proof-of-concept model was developed using a 69-element array of orthogonally polarized elements at 17 GHz. The proposed approach eliminates many of the problems associated with the feedthrough spatial power combiner because all the RF power is confined to just one side of the array. This allows the backside of the array to be used for heat sinking and bias connections. It also reduces the size to half that of the feedthrough combiner. The proposed spatial power combining technique holds the potential for producing high power amplification for communication and radar applications at millimeter-wave bands from solid-state transistor devices.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>