gebhart/patrepeval huggingface dataset:
Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian (2010)

As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity in the system software that has to fit within the constraints of the devices (chiefly memory, stable storage, and power consumption) and hence, new bugs are revealed. How this evolution of smartphones impacts their reliability is a question that has been largely unexplored till now. With the release of open source OSes for hand-held devices, such as, Android (open sourced in October 2008) and Symbian (open sourced in February 2010), we are now in a position to explore the above question. In this paper, we analyze the reported cases of failures of Android and Symbian based on bug reports posted by third-party developers and end users and documentation of bug fixes from Android developers. First, based on 628 developer reports, our study looks into the manifestation of failures in different modules of Android and their characteristics, such as, their persistence and dependence on environment. Next, we analyze similar properties of Symbian bugs based on 153 failure reports. Our study indicates that Development Tools, Web Browsers, and Multimedia applications are most error-prone in both these systems. We further analyze 233 bug fixes for Android and categorized the different types of code modifications required for the fixes. The analysis shows that 77% of errors required minor code changes, with the largest share of these coming from modifications to attribute values and conditions. Our final analysis focuses on the relation between customizability, code complexity, and reliability in Android and Symbian. We find that despite high cyclomatic complexity, the bug densities in Android and Symbian are surprisingly low. However, the support for customizability does impact the reliability of mobile OSes and there are cautionary tales for their further development.
Visual Feedback and Related Problems in Computer Controlled Hand Eye Coordination (1972)

Abstract : A set of programs for precise manipulation of simple planar bounded objects, by means of visual feedback, was developed for use in the Stanford hand-eye system. The system includes a six degrees of freedom computer controlled manipulator (arm and hand) and a fully instrumented computer controlled television camera. The image of the hand and manipulated objects is acquired by the computer through the camera. The stored image is analyzed using a corner and line finding program developed for this purpose. The analysis is simplified by using all the information available about the objects and the hand, and previously measured coordination errors. Simple touch and force sensing by the arm help the determination of three dimensional positions from one view.
Speech signal band width extension and noise removal using subband HMN (2002)

In this paper, a novel approach for wide band speech generation from narrow band is proposed. The proposed method is based on Subband Hidden Markov Model (Subband HMM). To train the HMM, a set of wide band speech is divided into a number of subbands and features are extracted independently. These extracted features are recombined and HMMs are trained by EM algorithm. The training process makes HMM to model the feature of signal in a single subband. In parallel, HMM learns the corresponding feature of all other subbands. The correspondence makes it possible to estimate the unobserved frequency component using the correspondence of narrowband signal to the HMM. We further investigate the application of the proposed method to denoising. Some experimental results are shown to confirm the validity of the proposed method.
Study on potential field based motion planning and control for automated vehicle collision avoidance systems (2017)

This study presents the development of motion planning and control of an advanced driver assistance systems for vehicle collision avoidance. The motion planning for collision avoidance is formulated using artificial potential field approach based on risk perception of human driver. Then, the assistance systems is realized based on steering control system and longitudinal force distribution control to track the vehicle desired motion. Performance evaluation of motion planning generated based on difference vehicle speed is carried out in tracking the collision avoidance trajectory. The simulation results obtained show that the approached strategy was successfully leads to collision avoidance manoeuvre for the planning driving scenario.
Synthesis of Self-Healing Polymers by Scandium-Catalyzed Copolymerization of Ethylene and Anisylpropylenes (2019)

Self-healing materials are of fundamental interest and practical importance. Herein we report the synthesis of a new class of self-healing materials, formed by the copolymerization of ethylene and anisyl-substituted propylenes using a sterically demanding half-sandwich scandium catalyst. The copolymerization proceeded in a controlled fashion, affording unique multi-block copolymers composed of relatively long alternating ethylene- alt-anisylpropylene sequences and short ethylene-ethylene units. By controlling the molecular weight and varying the anisyl substituents, a series of copolymers that show a wide range of glass-transition temperatures ( T<sub>g</sub>) and mechanical properties have been obtained. The copolymers with T<sub>g</sub> below room temperature showed high elastic modulus, high toughness, and remarkable self-healability, being able to autonomously self-heal upon mechanical damage not only in a dry environment but also in water and aqueous acid and alkaline solutions, while those with T<sub>g</sub> around or above room temperature exhibited excellent shape-memory property. The unique mechanical properties may be ascribed to the phase separation of the crystalline ethylene-ethylene nanodomains from the ethylene- alt-anisylpropylene matrix.
STAT1-Dependent Innate Immunity to a Norwalk-Like Virus (2003)

Norwalk-like caliciviruses (Noroviruses) cause over 90% of nonbacterial epidemic gastroenteritis worldwide, but the pathogenesis of norovirus infection is poorly understood because these viruses do not grow in cultured cells and there is no small animal model. Here, we report a previously unknown murine norovirus. Analysis of Murine Norovirus 1 infection revealed that signal transducer and activator of transcription 1-dependent innate immunity, but not T and B cell-dependent adaptive immunity, is essential for norovirus resistance. The identification of host molecules essential for murine norovirus resistance may provide targets for prevention or control of an important human disease.
Aquaporin‐4 facilitates reabsorption of excess fluid in vasogenic brain edema (2004)

Aquaporin-4 (AQP4) is the major water channel in the brain, expressed predominantly in astroglial cell membranes. Initial studies in AQP4-deficient mice showed reduced cellular brain edema following water intoxication and ischemic stroke. We hypothesized that AQP4 deletion would have the opposite effect (increased brain swelling) in vasogenic (noncellular) edema because of impaired removal of excess brain water through glial limitans and ependymal barriers. In support of this hypothesis, we found higher intracranial pressure (ICP, 52+/-6 vs. 26+/-3 cm H2O) and brain water content (81.2+/-0.1 vs. 80.4+/-0.1%) in AQP4-deficient mice after continuous intraparenchymal fluid infusion. In a freeze-injury model of vasogenic brain edema, AQP4-deficient mice had remarkably worse clinical outcome, higher ICP (22+/-4 vs. 9+/-1 cm H2O), and greater brain water content (80.9+/-0.1 vs. 79.4+/-0.1%). In a brain tumor edema model involving stereotactic implantation of melanoma cells, tumor growth was comparable in wild-type and AQP4-deficient mice. However, AQP4-deficient mice had higher ICP (39+/-4 vs. 19+/-5 cm H2O at seven days postimplantation) and corresponding accelerated neurological deterioration. Thus, AQP4-mediated transcellular water movement is crucial for fluid clearance in vasogenic brain edema, suggesting AQP4 activation and/or up-regulation as a novel therapeutic option in vasogenic brain edema.
Fast Structure-Based Virtual Ligand Screening Combining FRED, DOCK, and Surflex (2005)

A protocol was devised in which FRED, DOCK, and Surflex were combined in a multistep virtual ligand screening (VLS) procedure to screen the pocket of four different proteins. One goal was to evaluate the impact of chaining "freely available packages to academic users" on docking/scoring accuracy and CPU time consumption. A bank of 65 660 compounds including 49 known actives was generated. Our procedure is successful because docking/scoring parameters are tuned according to the nature of the binding pocket and because a shape-based filtering tool is applied prior to flexible docking. The obtained enrichment factors are in line with those reported in recent studies. We suggest that consensus docking/scoring could be valuable to some drug discovery projects. The present protocol could process the entire bank for one receptor in less than a week on one processor, suggesting that VLS experiments could be performed even without large computer resources.
Energy-time relations in a room with an electroacoustic system (1998)

This paper presents an extended diffuse field model for estimating the energy-time relationships in a room with an electroacoustic system. Discrete-time room impulse responses are used with a direct sound pulse and an exponentially weighted white-noise sequence modeling the reverberation tail. Transducer directivities and electronic finite impulse response (FIR) filters are included as model parameters. It is shown that the convolution of two exponentially weighted noise sequences is expressed as t exp(−δt). Early and total energy levels can easily be estimated and it is demonstrated that when direct sound components are omitted, this impulse response model results in the classical value of total energy supplied to a room by an electroacoustic system with feedback. Comparisons of such estimates with measurements in an auditorium with a single electroacoustic channel are presented. Four configurations were examined, including close and far microphone positions, combined with a single electronic delay or an FIR filter pattern. In the 500-Hz and 1-kHz octave bands, the early energy contribution from the electroacoustic channel spanned a 15-dB range. Predictions were reasonable, coming within 2 dB of the measured values for all four configurations.
Low-Field MRI: How Low Can We Go? A Fresh View on an Old Debate (2020)

For about 30 years, MRI set cruising speed at 1.5 T of magnetic field, with a gentle transition towards 3 T systems. In its first 10 years of existence, there was an open debate on the question of most relevant MRI field strengths considering the gain in T1 contrast, simpler cooling strategies, lower predisposition to generating image artifacts, and naturally cost reduction of small footprint low field systems. At the time, the inherent gain in sensitivity of high field, which would translate in more signal per unit time, quickly ended this debate. The promise of rapid exams or higher image resolution within a reasonable time won over other considerations and set the standards for MR value. Yet, many reasons bring low field MRI in a situation quite different from 40 years ago. From the achieved progress regarding all aspects of MRI technology, an MR scan at 1.5 T in the mid 1980s has very little in common with the equivalent scan in 2020. That clearly indicates that field strength alone is not what drives performance. It is also unlikely that the total number of machines worldwide will grow so to follow the increasing demand considering their overall cost ($1M/T). The natural trend is to better control medical expenses worldwide, and reconsidering low-field MRI could lead to the democratization of dedicated, point-of-care devices to decongest high-field clinical scanners. In the present article, we aim to draw an extensive portrait of most recent MRI developments at low (1-199 mT) and ultra-low field (micro-Tesla range) outside of the commercial sphere, and we propose to discuss their potential relevance in future clinical applications. We will cover a broad spectrum from pre-polarized MRI using ultra-sensitive magnetic sensors up to permanent and resistive magnets in compact designs.
Robust Sparse Hyperplane Classifiers: Application to Uncertain Molecular Profiling Data (2004)

Molecular profiling studies can generate abundance measurements for thousands of transcripts, proteins, metabolites, or other species in, for example, normal and tumor tissue samples. Treating such measurements as features and the samples as labeled data points, sparse hyperplanes provide a statistical methodology for classifying data points into one of two categories (classification and prediction) and defining a small subset of discriminatory features (relevant feature identification). However, this and other extant classification methods address only implicitly the issue of observed data being a combination of underlying signals and noise. Recently, robust optimization has emerged as a powerful framework for handling uncertain data explicitly. Here, ideas from this field are exploited to develop robust sparse hyperplanes, i.e., classification and relevant feature identification algorithms that are resilient to variation in the data. Specifically, each data point is associated with an explicit data uncertainty model in the form of an ellipsoid parameterized by a center and covariance matrix. The task of learning a robust sparse hyperplane from such data is formulated as a second order cone program (SOCP). Gaussian and distribution-free data uncertainty models are shown to yield SOCPs that are equivalent to the SCOP based on ellipsoidal uncertainty. The real-world utility of robust sparse hyperplanes is demonstrated via retrospective analysis of breast cancer related transcript profiles. Data-dependent heuristics are used to compute the parameters of each ellipsoidal data uncertainty model. The generalization performance of a specific implementation, designated "robust LIKNON," is better than its nominal counterpart. Finally, the strengths and limitations of robust sparse hyperplanes are discussed.
Effect of Haemopoietic Stem‐Cell Proliferation Regulators On Early and Late Spleen Colony‐Forming Cells (1985)

An inhibitor and stimulator of CFU-s proliferation can be obtained from haemopoietic tissue containing, respectively, relatively quiescent CFU-s (e.g. normal bone marrow) and proliferating CFU-s (e.g. regenerating bone marrow). Their effects on the proliferative behaviour of steady-state and regenerating marrow CFU-s, which produce colonies 7, 10 and 12 days post-transplantation have been investigated. The results demonstrate changing sensitivities of CFU-s to inhibitor and stimulator as they progress through a developmental age structure, 'Older' CFU-s (producing early spleen colonies) are more sensitive to stimulator, 'Younger' CFU-s (producing late spleen colonies) are more sensitive to inhibitor.
Usefulness of Saliva for Measurement of 3,4-Methylenedioxymethamphetamine and Its Metabolites: Correlation with Plasma Drug Concentrations and Effect of Salivary pH (2001)

Measurement of MDMA in saliva is a valuable alternative to determination of plasma drug concentrations in both clinical and toxicologic studies. On-site testing is also facilitated by noninvasive and rapid collection of salivary specimens.
Architecture for parking management in smart cities (2013)

Parking is becoming an expensive resource in almost any major city in the world, and its limited availability is a concurrent cause of urban traffic congestion, and air pollution. In old cities, the structure of the public parking space is rigidly organised and often in the form of on‐street public parking spots. Unfortunately, these public parking spots cannot be reserved beforehand during the pre‐trip phase, and that often lead to a detriment of the quality of urban mobility. Addressing the problem of managing public parking spots is therefore vital to obtain environmentally friendlier and healthier cities. Recent technological progresses in industrial automation, wireless network, sensor communication along with the widespread of high‐range smart devices and new rules concerning financial transactions in mobile payment allow the definition of new intelligent frameworks that enable a convenient management of public parking in urban area, which could improve sustainable urban mobility. In such a scenario, the proposed intelligent parking assistant (IPA) architecture aims at overcoming current public parking management solutions. This study discusses the conceptual architecture of IPA and the first prototype‐scale simulations of the system.
Adolfpateraite, K(UO2)(SO4)(OH)(H2O), a new uranyl sulphate mineral from Jachymov, Czech Republic (2012)

Adolfpateraite, monoclinic K(UO2)(SO4)(OH)(H2O), is a new supergene mineral from the Svornost mine, Jáchymov ore district, Czech Republic. It forms sulfur yellow to greenish yellow crystalline aggregates. Crystals are transparent to translucent with a vitreous luster, without observable cleavage. The streak is pale yellow. The Mohs hardness is ~2. Adolfpateraite is monoclinic, space group P21/c, a = 8.0462(1), b = 7.9256(1), c = 11.3206(2) Å, β = 107.726(2)°, V = 687.65(2) Å3, Z = 4. The crystal structure consists of chains of uranyl polyhedra extended along [010], with OH– locate! d on the shared vertex between the bipyramids. The sulfate tetrahedra decorate the outer side of the chain with bridging bidentate linkages between the uranyl pentagonal bipyramids. H2O groups are located on the edges of the chains on the non-linking vertex of each uranyl pentagonal bipyramid.
Optimization of Gate-on-Source-Only Tunnel FETs With Counter-Doped Pockets (2012)

We investigate a promising tunnel FET configuration having a gate on the source only, which is simultaneously exhibiting a steeper subthreshold slope and a higher ON-current than the lateral tunneling configuration with a gate on the channel. Our analysis is performed based on a recently developed 2-D quantum-mechanical simulator calculating band-to-band tunneling and including quantum confinement (QC). It is shown that the two disadvantages of the structure, namely, the sensitivity to gate alignment and the physical oxide thickness, are mitigated by placing a counter-doped parallel pocket underneath the gate-source overlap. The pocket also significantly reduces the field-induced QC. The findings are illustrated with all-Si and all-Ge gate-onsource-only tunnel field-effect transistor simulations.
Functional changes in canine saphenous veins after cryopreservation. (1992)

This study was designed to determine the functional characteristics of the endothelium, smooth muscle and nerve terminals of cryopreserved veins. Freshly harvested and cryopreserved canine saphenous veins were cut into rings. In some rings, the endothelium was removed. Cryopreserved veins were stored at -196 degrees C for at least 3 weeks prior to use. All rings contracted in a concentration-dependent manner to depolarization with KCl and to alpha-adrenergic stimulation; the maximal tensions were significantly less in cryopreserved than in freshly harvested veins. Calcium ionophore A23187 caused greater relaxations in rings with than without endothelium in freshly harvested and cryopreserved veins. These relaxations were reduced significantly by methylene blue and NG-monomethyl-L-arginine (L-NMMA) only in fresh veins. Cocaine-sensitive uptake of H3-norepinephrine was reduced following cryopreservation. Immediately after cryopreservation, the production of prostacyclin was elevated. The calcium ionophore A23187 stimulated production of prostacyclin only in freshly harvested veins. Tissue content of endothelin did not change following cryopreservation. These results suggest that cryopreservation of canine saphenous veins alters nerve terminals and decreases the ability of the smooth muscle to contract. The endothelium releases an endothelium-derived relaxing factor and prostanoids following cryopreservation but the ability to synthesize nitric oxide is probably reduced. These changes following cryopreservation may affect patency of the veins when used as arterial grafts.
Use of a flow‐cell system to investigate virucidal dimethylmethylene blue phototreatment in two RBC additive solutions (2002)

A rapid, reproducible, and robust method for photoinactivating model virus in RBC suspensions was developed. Despite improved hemolysis and ATP levels in Erythrosol-phototreated RBCs, storage properties were not maintained for 42 days.
Baseline Susceptibility of European Corn Borer (Lepidoptera: Crambidae) to Bacillus thuringiensis Toxins (1999)

Susceptibility to CrylAb and CrylAc toxins from Bacillus thuringiensis was determined for 11 populations of neonate European corn borer, Ostrinia nubilalis (Hiibner), from the United States and 1 from northern Italy. Corn borer larvae were exposed to artificial diet treated with increasing B. thuringiensis concentrations, and mortality and growth inhibition were evaluated after 7 d. The range of variation in B. thuringiensis susceptibility indicated by growth inhibition was very similar to that indicated by mortality. Although interpopulation variation in susceptibility to both proteins was observed, the magnitude of the differences was small (54-fold) and comparable to the variability observed among generations within a particular population (53-fold). Additionally, there was no indication that B. thuringiensis susceptibility was influenced by pheromone race, voltine ecotype, or geographic location. These results suggest that the observed susceptibility differences reflect natural variation in B. thuringiemis susceptibility among corn borer populations rather than variation caused by prior exposure to selection pressures. Therefore, European corn borers apparently are susceptible to B. thuringiensis toxins among populations across most of their geographic range.
Ion conduction in polymer electrolytes comprising crown ether and AZA‐crown structures (1992)

Abstract Ion conduction, in solid solutions of salts mixed with comb‐branch polymers with oligo(ethylene oxide) side chains, has been shown to reach levels that can be of practical use in dry battery applications. Further improvements in conductivity levels may require the discovery of polymer electrolytes capable of inducing greater degrees of ionization of the salt. New systems containing crown ether and aza‐crown units have been synthesised and a preliminary assessment of some of these has been carried out. The results are compared with those obtained with the linear side chain analogues, and are sufficiently encouraging to merit further study.
VMon: Monitoring and Quantifying Virtual Machine Interference via Hardware Performance Counter (2015)

Virtualization greatly improves resource utilization in IaaS platforms, but it also introduces potential interference between virtual machines (VMs). For example, VMs may suffer from performance degradation, when they are located in one host and compete for sharing physical resources. Thus, how to efficiently monitor and quantify the VMs interference becomes a key challenge for IaaS providers. In this paper, we present Vmon, a system to transparently monitor and quantify the interference between VMs with the hardware performance counters (HPCs). By collecting the HPCs of different VMs and exploring the LLC miss rates within HPCs, Vmon analyzes the relationship between the LLC miss rates and VM performance degradation to predict the interference between different resource-intensive VMs, and mitigate the VMs interference. The experimental results show that Vmon predicts the performance degradation in the accuracy of more than 90% with less than 10% performance overhead.