gebhart/patrepeval huggingface dataset:
On combining design for testability techniques (2002)

In this paper, we present a testability-based method to combine three different DFT techniques: partial reset, partial observation, and partial scan. This approach combines the complementary strengths of the DFT techniques taking advantage of their different cost/benefit trade-offs, and results in more testable circuits with reduced design penalty.
Cell Cycle Dependency of Gallium Uptake and Cytotoxicity in Human Cell Lines of Hematological Malignancies (1998)

67Gallium (67Ga) is a radionuclide which accumulates in hematological malignancies and is used for diagnostic imaging. We investigated in this in vitro study the cell cycle dependency of cellular uptake and cytotoxicity of 67Ga. Cell cycle synchronization of cells was achieved by counterflow centrifugal elutriation and the use of cytostatic drugs. The human lymphoma cell lines U-937 and U-715 were used and in elutriation experiments we also used the leukemic cell line HL-60. The transferrin receptor (CD71) expression, 67Ga uptake and cell proliferation inhibition were the parameters measured. We also studied cytotoxicity in various schedules for combination of 67Ga and drugs and the residual proliferative capacity was measured. The CD71 expression in the three cell lines increased from 106-177% on S phase cells and from 118-233% on G2M cells, as compared to the G0/G1 cell fraction. The 67Ga uptake varied from 108-127% for S cells and 128-139% for G2M cells. The drugs chosen induced cell cycle phase accumulation in S and/or G2M phase during preincubation. 67Ga preincubation induced accumulation in the G2M phase. Almost all combinations of 67Ga and drugs resulted in a non-interactive effect, except for methotrexate which resulted in an antagonistic effect. No preferential effect of any of the incubation schemes was seen. CD71 expression and 67Ga uptake were increased in S and G2M cells. Combination of 67Ga with drugs which arrest cells in these cell cycle phases did not result in a change in cytotoxicity. However, these results implicate that 67Ga and the cytostatic drugs tested except for methotrexate might be used together or sequentially in therapy.
High-Lift Propeller System Configuration Selection for NASA's SCEPTOR Distributed Electric Propulsion Flight Demonstrator (2016)

Although the primary function of propellers is typically to produce thrust, aircraft equipped with distributed electric propulsion (DEP) may utilize propellers whose main purpose is to act as a form of high-lift device. These \\high-lift propellers" can be placed upstream of wing such that, when the higher-velocity ow in the propellers' slipstreams interacts with the wing, the lift is increased. This technique is a main design feature of a new NASA advanced design project called Scalable Convergent Electric Propulsion Technology Operations Research (SCEPTOR). The goal of the SCEPTOR project is design, build, and y a DEP aircraft to demonstrate that such an aircraft can be much more ecient than conventional designs. This paper provides details into the high-lift propeller system con guration selection for the SCEPTOR ight demonstrator. The methods used in the high-lift propeller system conceptual design and the tradeo s considered in selecting the number of propellers are discussed.
Real-time identification using a canonical face depth map (2009)

A practical identification system based on 3D face scanning is presented. The speed of comparing a probe scan to the gallery is enabled by scan normalisation followed by extraction of higher level features. Our Canonical Face Depth Map (CFDM) is a standardised representation for three-dimensional (3D) face data in a face-based coordinate system. Our experiments demonstrate that the CFDM normalisation algorithm is (a) robust to noise and occlusion, (b) significantly reduces storage requirements and thus I/O time, and (c) improves the efficiency of face recognition algorithms. Producing the CFDM takes less than a second on a desktop for 320×240 rangel scans. Current 3D scanning and matching methods are too slow for person identification, even for a watch list of only a few hundred face models. Transforming scanned 3D faces into CFDM format enables a probe scan to be matched to hundreds or thousands of gallery scans in a few seconds on a commodity computer. The best results achieved so far are a rank-1 recognition rate of 98.2% and a speed of 1900 face matches per second. Extrapolating these results suggests that multistage systems could achieve even better performance on even larger galleries.
Gilles Sauvage (1939-2010) (2010)

Gilles Sauvage, a physicist from LAPP-Annecy working with ATLAS, passed away on 21 April 2010. We will always remember Gilles’ smile. Gilles Sauvage was deeply involved in many generations of experiments at CERN as he followed the evolution of the field at the energy forefront. He started with the LAL-Orsay group in the WA2 Hyperon experiment at the SPS West Area, where he worked from 1976 to 1979. With the same group he was then a founding member of the UA2 Collaboration at the SPS p-pbar Collider, in which he was active throughout the duration of the experiment. He then moved to LAPP-Annecy in 1986 and joined first the L3 group at LEP, making important contributions to the construction, calibration, installation and commissioning of the BGO crystal calorimeter. Later, in the mid-1990s, Gilles joined ATLAS and led the LAPP-Annecy group through the intense period of the construction of one third of the ATLAS LAr barrel electromagnetic calorimeter modules at LAPP, and followed hands-on its integration and installation at CERN. He retired in 2006, but his passion for physics motivated him to remain fully active until the last day. Gilles was an exceptional experimentalist, who set very high standards of how to work with great human qualities in a large collaboration. He always sought the most elegant technical and scientific solutions, not accepting any easy short-cuts. His style? We never saw him acting as a big boss, but rather motivating junior and senior colleagues by setting the example of working hard on the floor over many years. Gilles had other passions: mountains, flowers, birds and music. It was always a pleasure and a privilege to listen to him and profit from his great culture. Gilles’ good mood will remain in our memories forever. Our thoughts and sympathy go to his family. His friends and colleagues
A Stark conjecture “over <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>𝐙</mml:mi> </mml:math> ” for abelian <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>L</mml:mi> </mml:math> -functions with multiple zeros (1996)

Suppose <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>K</mml:mi> <mml:mo>/</mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:math> is an abelian extension of number fields. Stark’s conjecture predicts, under suitable hypotheses, the existence of a global unit <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ε</mml:mi> </mml:math> of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>K</mml:mi> </mml:math> such that the special values <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>L</mml:mi> <mml:mo>′</mml:mo> </mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>χ</mml:mi> <mml:mo>,</mml:mo> <mml:mn>0</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> for all characters <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>χ</mml:mi> </mml:math> of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>Gal</mml:mi> <mml:mo>/</mml:mo> <mml:mo>(</mml:mo> <mml:mi>K</mml:mi> <mml:mo>/</mml:mo> <mml:mi>k</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> can be expressed as simple linear combinations of the logarithms of the different absolute values of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ε</mml:mi> </mml:math> . In this paper we formulate an extension of this conjecture, to attempt to understand the values <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>χ</mml:mi> <mml:mo>,</mml:mo> <mml:mn>0</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> when the order of vanishing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>r</mml:mi> </mml:math> may be greater than one. This conjecture no longer predicts the existence of individual special global units, but rather of special elements in an exterior power of the Galois module of global units (or <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>S</mml:mi> </mml:math> -units). We also discuss connections between this conjecture, class number formulas, and Euler systems.
Biocatalytic large‐scale production of 13(<i>S</i>)‐hydroperoxy‐9(<i>Z</i>), 11(<i>E</i>) octadecadienoic acid from hydrolysed safflower oil by a crude soybean‐flour extract as lipoxygenase source (1996)

Abstract Lipoxygenase‐1 extracted from crude soybean‐flour was incubated with hydrolysed safflower oil as a substrate in a 7‐1 fermentor. Optimized reaction conditions included pH 10.0, 5°C and air saturation. Under these conditions production on a 40‐g/l scale can easily be carried out yielding up to 80% 13‐hydroperoxy‐9(Z), 11 (E)‐octadecadienoic acid with a stereo‐configuration of essentially (>95%) S.
East meets West: current issues relevant to integrating Chinese medicine (2012)

This article describes the challenges that integration of Chinese medicine (CM) and biomedicine are likely to bring for improving safety, research, education, and cross-disciplinary communication. Potential strategies to meet these challenges are suggested, including the use of accessible language for the Western biomedical community, and further development of whole-system randomized controlled trials that support individualized treatment approaches.
<title>Iris recognition: recent progress and remaining challenges</title> (2004)

The increasing demand on enhanced security has led to an unprecedented interest in automated personal identification based on biometrics. Among the various biometric identification methods, iris recognition is widely regarded as the most reliable and is one of the most active research topics in biometrics. Significant progress has been made since the concept of automated iris recognition was first proposed in 1987, not only in research and algorithm development but also in commercial exploitation and practical applications. This paper provides an overview on recent progress in iris recognition and discusses some of the remaining challenges and possible future work in this exciting field.© (2004) COPYRIGHT SPIE--The International Society for Optical Engineering. Downloading of the abstract is permitted for personal use only.
Multivariate Stochastic Volatility Models: Bayesian Estimation and Model Comparison (2006)

In this paper we show that fully likelihood-based estimation and comparison of multivariate stochastic volatility (SV) models can be easily performed via a freely available Bayesian software called WinBUGS. Moreover, we introduce to the literature several new specifications that are natural extensions to certain existing models, one of which allows for time-varying correlation coefficients. Ideas are illustrated by fitting, to a bivariate time series data of weekly exchange rates, nine multivariate SV models, including the specifications with Granger causality in volatility, time-varying correlations, heavy-tailed error distributions, additive factor structure, and multiplicative factor structure. Empirical results suggest that the best specifications are those that allow for time-varying correlation coefficients.
Methionine Toxicity in Chicks and Poults (1978)

In feeding experiments with poults, 2% DL-methionine caused a marked growth depression which could be alleviated by the addition of glycine. Homocystine at an equimolar level depressed growth to a lesser degree than methionine, and this growth depression could be alleviated by glycine. Betaine could alleviate the growth depression of homocystine but not that of methionine. Methionine-fed poults developed a cervical paralysis similar to that of a folic acid deficiency, but the addition of this vitamin at several times the requirement was ineffective in counteracting the toxicity of methionine in either chicks or poults.
Chromatin modification by DNA tracking (1999)

In general, the transcriptional competence of a chromatin domain is correlated with increased sensitivity to DNase I cleavage. A recent observation that actively transcribing RNA polymerase II piggybacks a histone acetyltranferase activity [Wittschieben, B., Otero, G., de Bizemont, T., Fellows, J., Erdjument-Bromage, H., Ohba, R., Li, Y., Allis, C. D., Tempst, P. & Svejstrup, J. Q. (1999) Mol. Cell 4, 123-128] implies that the state of histone acetylation, and hence the ability of chromatin to fold, can be altered by a processive mechanism. In this article, it is proposed that tracking-mediated chromatin modification could create and/or maintain an open configuration in a complete chromatin domain including both intra- and extragenic regions. This mechanism suggests a putative functional role for the extragenic transcription observed at the beta-globin and other loci in vertebrate cells.
Topics in Soft Computing (2002)

This thesis discusses visual programming languages, representation of uncertainty in geographical data and a combination of genetic programming and optimization. A new visual programming language is described, based on a novel version of the dataflow paradigm. In this version, cyclic graphs are replaced with nested graphs, which also have other uses. Furthermore, the programs become more structured, readable and scalable. This language is then formally defined using a novel extension of plex grammars. Various representations of uncertainty in geographical data are discussed, including some novel ones based on rough sets. Various novel measures are developed, and used in two experiments that verify the usefulness of the representations chosen. Furthermore, a novel theory of topological relations between uncertain data is presented. A novel combination of genetic programming and optimization is presented. This has been implemented in a system that is in actual use. The system is described, as is the combination. An experiment has been done to test the performance of this combination, and in this experiment it performed better than plain genetic programming. ISBN 91-7283-242-8 • TRITA-NA-0202 • ISSN 0348-2952 • ISRN KTH/NA/R–02/02–SE
Case Study: A Novel Bacterial Contamination in Cell Culture Production--Leptospira licerasiae (2012)

Leptospira licerasiae, a novel bacterial contaminant found in cell culture manufacturing operations, poses a challenge to current microbial control strategies in upstream cell culture processes because this microorganism is capable of passing through 0.1 μm sterilizing-grade membrane filters and is not detectable by standard microbiological methods used in biopharmaceutical production. The root cause investigation was greatly aided by the genetic identification of the contaminant and subsequent confirmation by cultural method and real-time polymerase chain reaction assay from the affected product batches. The purpose of this case study is to share knowledge on the novel contaminant, L. licerasiae, and potential routes of contamination in the cell culture manufacturing environment from a series of investigations to provide the industry with guidance on the detection and prevention of Leptospira contamination.
A survey on virtual machine scheduling in cloud computing (2016)

Cloud computing is known as a provider of dynamic services using very large scalable and virtualized resources over the Internet. Resource scheduling of multiple virtual machines (VMs) is the core of Infrastructure as a Service (IaaS). We aimed to study various algorithms and schedulers in VM sheduling, and identify research directions in this area. In this paper, the related model and characteristics of VM scheduling are described. Then a variety of VM schedulers are reviewed and classified, also the features of these schedulers are expressed.
Scaling up metric temporal planning (2004)

This dissertation aims at building on the success of domain-independent heuristics for classical planning to develop a scalable metric temporal planner. The main contribution is Sapa, a domain-independent heuristic forward-chaining planner which can handle various metric and temporal constraints as well as multi-objective functions. Our major technical contributions include: (1) The temporal planning-graph based methods for deriving heuristics that are sensitive to both cost and makespan. I provide different approaches for propagating and tracking the goal-achievement cost according to time and different techniques for deriving the heuristic values guiding Sapa using these cost-functions. To improve the heuristic quality, I also present techniques for adjusting the heuristic estimates to take into account action interactions and metric resource limitations. (2) The “partialization” techniques to convert the position-constrained plans produced by Sapa to generate the more flexible order-constrained plans. Toward this objective, a general Constraint Satisfaction Optimization Problem (CSOP) is developed and can be optimized under an objective function dealing with a variety of temporal flexibility criteria, such as makespan. (3) Sapaps, an extension of Sapa, that is capable of finding solutions for the Partial Satisfaction Planning Net Benefit (PSP Net Benefit) problems. Sapa ps uses an anytime best-first search algorithm to find plans with increasing better solution quality as it is given more time to run. 
For each of these contributions, I present the technical details and demonstrate the effectiveness of the implementations by comparing its performance against other state-of-the-art planners using the benchmark planning domains.
Dance Hit Song Prediction (2014)

Record companies invest billions of dollars in new talent around the globe each year. Gaining insight into what actually makes a hit song would provide tremendous benefits for the music industry. In this research we tackle this question by focussing on the dance hit song classification problem. A database of dance hit songs from 1985 until 2013 is built, including basic musical features, as well as more advanced features that capture a temporal aspect. A number of different classifiers are used to build and test dance hit prediction models. The resulting best model has a good performance when predicting whether a song is a ‘top 10’ dance hit versus a lower listed position.
New Studies of Carbon—Rubber Gel (1974)

Abstract High resolution electron micrographs of undistorted carbon—rubber gel were obtained by ultramicrotomy of frozen unvulcanized SBR compounds which were subsequently extracted with benzene to remove any soluble rubber. The remaining black and rubber form a 3-dimensional, meshlike network which is larger than the size of primary units of the black itself. The networks for different blacks indicate considerable compaction which increases in the direction of lower structure and surface activity ( e.g. , normal vs. graphitized carbon black). Removal of the soluble rubber from the carbon—rubber gel network produces visible gaps between the black units which diminish in size as the black loading increases. Soluble rubber is also removed from many regions of the black surface indicating that there is no uniform layer of surface-bonded rubber. The swollen carbon—rubber gel networks are readily dispersible in good solvents using ultrasonic energy. In the process, a high percentage of the rubber is solubilized and removed from the black surface. GPC analyses of this soluble rubber from the gel indicate higher molecular weight in comparison to the soluble portion removed by benzene extraction.
Discriminatory Immunohistochemical Staining of Urothelial Carcinoma in Situ and Non-neoplastic Urothelium (2001)

Distinction of urothelial carcinoma in situ (CIS) from reactive atypia on the basis of morphology alone may be difficult in some cases. Because this distinction is therapeutically and prognostically critical, we attempted to determine if an immunohistochemical panel would help in this differential diagnosis. The immunoprofile of 21 cases of CIS and 25 non-neoplastic urothelia (15 urothelial biopsies with reactive atypia from patients without a history of bladder cancer and 10 normal ureter sections from nephrectomies performed for renal cell carcinoma) was determined using antibodies against cytokeratin 20 (CK20), p53, and CD44 (standard isoform). In the normal urothelium CK20 showed patchy cytoplasmic immunoreactivity in only the superficial umbrella cell layer and CD44 stained only the basal cells. Nuclear immunoreactivity to p53 varied from negative to weak and patchy. Reactive urothelium also showed CK20 immunoreactivity in only the umbrella cell layer in all 15 cases, and p53 nuclear staining was predominantly negative with occasional weak positivity in the basal and parabasal intermediate cells. CD44 was overexpressed in the entire reactive urothelium in 9 cases (60%) or focally positive in intermediate cells in 6 cases (40%). In contrast, CIS showed intense CK20 and p53 positivity (81% and 57%, respectively) in the majority (>50%) of malignant cells. CD44 staining revealed residual basal cells with membranous reactivity in 44% of the cases of CIS; however, the neoplastic cells were immunonegative in all cases. At least one positive immunomarker (CK20 or p53) was abnormally expressed in all cases of CIS. Abnormal expression of CK20 (increased), p53 (increased), and CD44 (decreased) in urothelial CIS, and increased expression of CD44 in reactive atypia allows more confident distinction of urothelial CIS from non-neoplastic urothelial atypias. From a differential diagnosis perspective, use of a panel of all three antibodies with morphologic correlation would be essential.
Pizza and a Movie: A Case Study in Advanced Web Services (2002)

This paper presents the potential of Advanced Web Services through a simple case study, which is part of a larger service that will be available in the Agentcities Network. The case study corresponds to a service in the domain of entertainment arrangements. A detailed instantiation of the whole service execution and the DAML-S model at the top level are described.
Regional Quality Control for Medical Laboratories (1970)

Regional Quality Control for Medical Laboratories Get access Glenna J. Corley, M.D. Glenna J. Corley, M.D. Search for other works by this author on: Oxford Academic PubMed Google Scholar Laboratory Medicine, Volume 1, Issue 5, 1 May 1970, Pages 22–23, https://doi.org/10.1093/labmed/1.5.22 Published: 01 May 1970