gebhart/patrepeval huggingface dataset:
Fault Localization Method by Partitioning Memory Using Memory Map and the Stack for Automotive ECU Software Testing (2016)

Recently, the usage of the automotive Electronic Control Unit (ECU) and its software in cars is increasing. Therefore, as the functional complexity of such software increases, so does the likelihood of software-related faults. Therefore, it is important to ensure the reliability of ECU software in order to ensure automobile safety. For this reason, systematic testing methods are required that can guarantee software quality. However, it is difficult to locate a fault during testing with the current ECU development system because a tester performs the black-box testing using a Hardware-in-the-Loop (HiL) simulator. Consequently, developers consume a large amount of money and time for debugging because they perform debugging without any information about the location of the fault. In this paper, we propose a method for localizing the fault utilizing memory information during black-box testing. This is likely to be of use to developers who debug automotive software. In order to observe whether symbols stored in the memory have been updated, the memory is partitioned by a memory map and the stack, thus the fault candidate region is reduced. A memory map method has the advantage of being able to finely partition the memory, and the stack method can partition the memory without a memory map. We validated these methods by applying these to HiL testing of the ECU for a body control system. The preliminary results indicate that a memory map and the stack reduce the possible fault locations to 22% and 19% of the updated memory, respectively.
KETAMINE: A POTENTIAL RAPID-ACTING ANTISUICIDAL AGENT? (2016)

Ketamine has attracted widespread attention as a potential rapid-acting antidepressant. There is also considerable interest in its use for the rapid treatment of patients deemed at risk for suicide. Here, we review the available evidence (open-label and randomized controlled trials) that examine the effects of ketamine on suicidal ideation (SI). Overall, data suggest that ketamine has a rapid albeit transient effect in reducing SI, though some studies had mixed results at different time points or using different assessments. Weaknesses to the existing literature include the small sample sizes of the studies, the exclusion of patients with significant SI at baseline from many of the studies, and the potential functional unblinding when participants are randomized to saline as placebo. The evidence supporting the clinical use of ketamine for SI is very preliminary. Although ketamine appears to a promising therapeutic option in a context where there is a great unmet need (i.e., patients at imminent risk of suicide), further controlled trials are needed to allow for meaningful clinical recommendations.
45.4: Advanced Grinding Development for Laminated TFT‐LCDs (2011)

Abstract Reducing the overall thickness and weight of LCD panels for mobile display could enhance the aesthetic and eases use of portable display devices. However, laminated cells have unstable control on scribing and the edge strength would get decreased after grinding process. In this study, we illustrated an “advanced” grinding process which could remove the defect of scribed edge and get 40% enhancing by process optimized. Meanwhile, it also has 20%∼50% strength improving for laminated cells with thickness from 0.3mm to 0.8mm.
Portable Parallel Design of Weighted Multi-Dimensional Scaling for Real-Time Data Analysis (2017)

Projecting a high-dimensional dataset onto a lower dimensional space can improve the efficiency of knowledge discovery and facilitate real-time data analysis. One technique for dimension reduction, weighted multi-dimensional scaling (WMDS), approximately preserves pairwise weighted distances during the transformation; but its O(f(n)d) algorithm impedes real-time performance on large datasets. Thus, we present CLARET, our fast and portable parallel WMDS tool that combines algorithmic concepts adapted and extended from the stochastic force-based MDS (SF-MDS) and Glimmer. To further improve Claret's performance for real-time data analysis, we propose a preprocessing step that computes approximate weighted Euclidean distances by combining a novel data mapping called stretching and Johnson Lindestrauss' lemma in O(log d) time in place of the original O(d) time. This preprocessing step reduces the complexity of WMDS from O(f(n)d) to O(f(n) log d), which for large d is a significant computational gain. Finally, we present a case study of Claret by integrating it into an interactive visualization tool called V2PI to facilitate real-time analytics. To ensure the quality of the projections, we propose a geometric shape matching-based alignment process and a quality metric.
A measuring complex of polarimetric, combined radar-radiometers of S-, and Ku-band of frequencies for vessel and airborne application (2005)

A complex of polarimetric (dual polarization), combined active-passive devices of S (/spl sim/3 GHz), and Ku-band (/spl sim/20 GHz) of frequencies for sea surface microwave reflective and emissive characteristics simultaneous and coincident measurements is presented. The complex is dedicated to solve the problem applied to near sea surface wind and surface wave fields' parameters precise and unambiguous retrieval, as well as for sea surface signatures detection and identification. Developed systems are set on a mobile bogie moving on the height of 6.5 m along a stationary platform of 26 m of length. The measuring platform allows carry out polarimetric (vv, vh, hh, hv), multifrequency, simultaneous and coincident measurements of pool water surface microwave reflective and emissive parameters at the same or at various angles of incidence from the while of 0-60/spl deg/. This paper has an aim to attract attention of researchers interested in measurements by such kind sensors and to invite them to perform their own or joint measurements using available microwave devices and in-situ and calibration facilities.
Automated radioligand receptor binding analysis with templates for Lotus (1987)

Automated radioligand receptor binding analysis with templates for Lotus Get access Linda M. Pullan Linda M. Pullan Central Nervous System Diseases Research, Searle Research and Development700 Chesterfield Village Parkway, St. Louis, Missouri 63198, USA Search for other works by this author on: Oxford Academic PubMed Google Scholar Bioinformatics, Volume 3, Issue 2, June 1987, Page 131, https://doi.org/10.1093/bioinformatics/3.2.131 Published: 01 June 1987
Parallelism Utilization in Embedded Reconfigurable Computing Systems: A Survey of Recent Trends (2007)

Abstract — Recently, embedded reconfigurable computing has attracted great attention due to its potential to accelerate application execution. Its key feature is the ability to perform computations in hardware to increase performance, while retaining much of the flexibility of a software solution. Researchers in this field have reported substantial performance improvements for a variety of different applications like cryptography, multimedia processing, genetics, networking and DSP. Embedded reconfigurable computing systems can lend themselves to high performance computing by taking advantage of parallelism at different levels of granularity, ranging from fine grained instruction level to coarse grained process and/or task level parallelism. It is often necessary to use different parallel processing techniques to fully take advantage of these systems. In this survey, we explore recent enhancements to this new field of computing, considering the embedded reconfigurable hardware architectures and software facilities targeting these systems. The focus of the survey is on the employment of parallelism which seems to be a key feature in application development for embedded reconfigurable systems. More precisely, four different levels of parallelism indicated by Instruction Level, Data/Loop Level, Task Level, and Process/Thread Level, are introduced and distinguished
Expression of the imprinted gene H19 in the human fetus (1994)

The H19 gene is a parenterally imprinted maternally expressed gene which has a pivotal role in embryogenesis and fetal development. It is tightly linked to the IGF-II gene on chromosome 11p15.5 which is reciprocally imprinted. We studied the expression of the human H19 by in situ hybridization in an embryo 35 days post coitus (dpc) and in a fetus from the second trimester of pregnancy. The expression pattern of H19 in the human fetal tissues was similar to its expression in the mouse, and paralleled, with some exceptions, the expression of IGF-II in human fetuses. Abundant expression was found in organs comprising the fetoplacental unit: the placenta, the fetal adrenal, and liver. The expression in the fetal adrenal cortex was most prominent in the definitive cortex and somewhat weaker in the fetal zone. Considerable expression of H19 was found in the fetal liver as early as 35 dpc and in the second trimester. Hematopoietic cells in fetal liver did not express the gene. Moderate expression of H19 was detected in the epithelium of the small intestines, in endometrial stroma and Fallopian tube. In the kidney conspicuous labeling of the metanephric blastema was noted, which was markedly reduced with differentiation to tubules. This pattern of expression is identical to that of IGF-II in the fetal kidney and is relevant to the evolution of Wilms' tumor. No expression of H19 was found in the neural tube of the first trimester embryo or in the developing fetal brain in the second trimester, nor were transcripts detected in the choroid plexus.(ABSTRACT TRUNCATED AT 250 WORDS)
Removal of the N‐terminal hexapeptide from human β2‐microglobulin facilitates protein aggregation and fibril formation (2000)

The solution structure and stability of N-terminally truncated beta2-microglobulin (deltaN6beta2-m), the major modification in ex vivo fibrils, have been investigated by a variety of biophysical techniques. The results show that deltaN6beta2-m has a free energy of stabilization that is reduced by 2.5 kcal/mol compared to the intact protein. Hydrogen exchange of a mixture of the truncated and full-length proteins at microM concentrations at pH 6.5 monitored by electrospray mass spectrometry reveals that deltaN6beta2-m is significantly less protected than its wild-type counterpart. Analysis of deltaN6beta2-m by NMR shows that this loss of protection occurs in beta strands I, III, and part of II. At mM concentration gel filtration analysis shows that deltaN6beta2-m forms a series of oligomers, including trimers and tetramers, and NMR analysis indicates that strand V is involved in intermolecular interactions that stabilize this association. The truncated species of beta2-microglobulin was found to have a higher tendency to self-associate than the intact molecule, and unlike wild-type protein, is able to form amyloid fibrils at physiological pH. Limited proteolysis experiments and analysis by mass spectrometry support the conformational modifications identified by NMR and suggest that deltaN6beta2-m could be a key intermediate of a proteolytic pathway of beta2-microglobulin. Overall, the data suggest that removal of the six residues from the N-terminus of beta2-microglobulin has a major effect on the stability of the overall fold. Part of the tertiary structure is preserved substantially by the disulfide bridge between Cys25 and Cys80, but the pairing between beta-strands far removed from this constrain is greatly perturbed.
Radio propagation into buildings at 912, 1920, and 5990 MHz using microcells (2002)

Continuous wave (CW) propagation experiments were conducted at 912, 1920, and 5990 MHz simultaneously using a narrowband system consisting of a fixed transmitter and a mobile receiver. The goal of the experiments was to quantify building penetration losses at various frequencies to determine the viability of indoor coverage using street microcells with base antenna heights below the roof level of nearby buildings. Statistical analysis included the computation of mean building penetration losses, standard deviations, cumulative probability distribution functions, and correlation coefficients.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Heck reaction of bis-arenediazonium salts with vinyltriethoxysilane: a new synthetic protocol for poly(1,4-arylenevinylene)s † (1999)

S. Sengupta and S. K. Sadhukhan, J. Chem. Soc., Perkin Trans. 1, 1999, 2235 DOI: 10.1039/A904377B
Budgeting for Monographs, Serials, and Electronic Databases - (1991)

No abstract available for this article.
In Vitro Expansion Improves In Vivo Regulation by CD4+CD25+ Regulatory T Cells (2008)

CD4+CD25+ T regulatory cells (Tregs) can actively suppress immune responses and thus have substantial therapeutical potential. Clinical application is, however, frustrated by their scarcity, anergic status, and lack of defined specificity. We found that a single injection of a small number of expanded but not fresh HY-specific Tregs protected syngeneic male skin grafts from rejection by immune-competent recipients. The expanded Tregs were predominantly located in the grafts and graft-draining lymph nodes. In vitro expanded Tregs displayed a phenotype of CD25highCD4lowFoxp3+CTLA4+, and also up-regulated IL10 and TGFbeta while down-regulating IFN-gamma, GM-CSF, IL5, and TNF-alpha production. Furthermore, expanded Tregs appeared to express a reduced level of Foxp3, which could be prevented by adding TGFbeta to the culture, and they also tended to lose Foxp3 following the repeated stimulation. Finally, a proportion of expanded HY-specific Tregs secreted IL2 in response to their cognate peptide, and this finding could be confirmed using Tregs from Foxp3GFP reporter mice. We not only demonstrated that expanded Tregs are superior to fresh Tregs in suppressing T cell responses against alloantigens, but also revealed some novel immunobiological properties of expended Tregs which are very instructive for modifying current Treg expansion procedures.
Photoresist-free printing of amorphous silicon thin-film transistors (2003)

Conventional fabrication of amorphous silicon thin-film transistors (a-Si TFTs) requires patterning numerous photoresist layers, a subtractive process that is time consuming and expensive. This letter describes transistor fabrication by a photoresist-free approach in which polymer etch masks are letterpress printed from flexible polyimide stamps. Pattern registration is achieved through optical alignment since the printed masks are thin and optically transparent. This modified fabrication scheme produces transistor performance equivalent to conventionally fabricated a-Si TFTs. The ability to directly print etch masks onto nonhomogeneous substrates brings one step closer the realization of flexible, large-area, macroelectronic fabrication.
Electroretinography: A biopotential to assess the function/dysfunction of the retina (2016)

The Electroretinography (ERG) is a noninvasive technique that allows the assessment of functional integrity of the retina. The ERG recordings are biopotencials acquired in the corneal surface as a response of retinal tissue against controlled light stimuli. In clinical ophthalmology ERG is not commonly used but nowadays, because of the high incidence of degenerative diseases of the retina (RD), its use should be increased. Like other biopotentials as electrocardiography (ECG), electroencephalogram (EEG) and electromyography (EMG), ERG is a low amplitude signal, in this case a few hundred of microvolts (µV), which must be fitted and processed. The ERG signals are affected in morphology in the presence of pathologies that affects the integrity of the different retinal cell groups, for example due to some RD. In advanced cases of RD recordings can be abolished in the time domain; and yet in them it is believed that there is relevant clinical information making the ERG a great potential diagnostic tool.
<i>Eimeria</i>of American chickens: Characteristics of six attenuated strains produced by selection for precocious development (1988)

Six attenuated lines of Eimeria species of the chicken of USA origin were produced by selection for precociousness. These lines were less pathogenic, judged by body weight changes and intestinal lesions in infected chickens, than the parent strains from which they were derived. The immunogenicity of the precocious lines and their parent strains was similar. The use of these attenuated Eimeria Unes for immunological control of coccidiosis is discussed.
Anthocyanins and weight loss. (2011)

Abstract This review evaluates the available scientific literature relative to anthocyanins and weight loss and/or obesity with mention of other effects of anthocyanins on pathologies that are closely related to obesity. Although there is considerable popular press coverage concerning anthocyanins and weight loss, there are no controlled clinical trials directly supporting beneficial effects of anthocyanins in a weight loss programme. Purified anthocyanins from varying sources have been shown to decrease lipid deposition in rodent models of obesity. However, in the few studies where the anthocyanins were consumed as a part of the whole food or berry, anti-obesity effects have not generally been observed. An exception is the case of whole blueberry, where effects were observed that protected against some of the pathologies associated with obesity including inflammation. Studies reviewed have provided an overview of the gene expression profiles in human and rodent adipocytes treated with anthocyanins. Anthocyanins have been shown to regulate adipocytokine gene expression, to ameliorate adipocyte dysfunction related to obesity and diabetes and merit further investigation. Additional research is needed to understand mechanisms whereby anthocyanins might influence obesity. Alterations in lipogenesis and lipolysis in adipose tissue as well as in numerous adipokine and cytokine signalling pathways have been suggested to explain the effects of anthocyanins on the development of obesity.
Advances in the nutritional and pharmacological management of phenylketonuria (2013)

Although a low-phe synthetic amino acid diet remains the mainstay of PKU management, new nutritional and pharmacological treatment options offer alternative approaches to maintain lifelong low phe concentrations. GMP medical foods provide an alternative to amino acid formula that may improve bone health, and tetrahydrobiopterin permits some individuals with PKU to increase tolerance to dietary phe. Further research is needed to characterize the long-term efficacy of these new approaches for PKU management.
Vertical-cavity surface-emitting lasers for free-space interconnects (1996)

Vertical-cavity surface-emitting lasers have emerged as viable optical sources for lowpower, low-cost interconnects. Work over the past few years has involved the use of several different structures, including etched-mesa, proton-implanted and dielectric apertured types. Although much of the development work aimed at manufacture has focused on the proton-implanted structure, more recent work suggests that lower threshold, higher-efficiency configurations may be more desirable for future applications. In this review, we briefly outline the different structures, introduce a general design formalism, overview growth and fabrication issues, summarize some integration work, and finally review some applications that have been identified. Free-space interconnects with AlGaAs/GaAs-based materials will be emphasized including a brief summary of recent work on links using integrated microlenses on the VCSELs and detectors to avoid external optics. For completeness, we shall also include some discussion of the progress in long-wavelength InP-based (1.3 - 1.55 μm) and short-wavelength AlInGaP/GaAsbased (0.8 - 0.6 μm) VCSELs as well as guided-wave data links.
Zeolite micromembranes (2003)

Free-standing silicalite-1 (Sil-1) zeolite micromembranes have been successfully fabricated onto silicon substrate. Gas permeation test using permanent gases (i.e., helium, hydrogen, argon and nitrogen) and hydrocarbons (i.e., methane and n-butane) indicates that the micromembranes have excellent permeance flux and high permselectivity.
Testing of UltraSPARC T1 Microprocessor and its Challenges (2006)

This paper presents the testing methodology of the UltraSPARC T1 microprocessor and the challenges to productizing the industry's first 8 cores and 32 thread microprocessor. The challenges include effectively testing 8 individual cores that share common functional blocks (L2 cache, cache crossbar, floating point unit), reducing 8times conventional production test time and tester memory while achieving the same coverage, and productizing 6 core or 8 core devices at the targeted frequency. Highlights of DFT features designed to overcome the challenges are presented followed by a production flow together with key learning and future improvement plans
An Introduction to Metabolic and Cellular Engineering (2002)

Metabolic and Cellular Engineering in the Context of Bioprocess Engineering Systems Biology and the Complex Systems Approach Networks in Systems Biology Black and Grey Boxes: Levels of Description of Metabolic Behavior in Microorganisms Matter and Energy Balances Mass Balance as the Basis of Metabolic Flux Analysis Microbial Growth Under Steady and Conditions Metabolic Fluxes During Balanced and Steady State Growth Toward a Rational Design of Cells Metabolic Design of Cells as Catalysts Stoichiometry of Growth: the Equivalence Between Biochemical Stoichiometries and Physiological Parameters Metabolic Flux Analysis Applications The Transdisciplinary Approach as Applied to the Rational Design of Microorganisms Modeling Networks: Concepts and Tools Kinetic Modeling in Microbial Physiology and Energetics Metabolic Control Analysis of Networks Analysis and Detection of Complex Nonlinear Behavior in Networks Complex Qualitative Behavior in Networks Dynamic Aspects of Bioprocess Behavior Oscillatory Phenomena in Continuous Cultures Bioprocess Development with Plant Cells Plant Metabolism Carbon Assimilation, Partitioning, and Allocation in Higher Plants Cell Culture Techniques Metabolic and Cellular Engineering in the Industrial Production of Therapeutic Proteins Biological Complexity and Systems Bioengineering.
New adaptive image contrast enhancement method (1993)

In direct methods of contrast enhancement, a contrast measure is first defined, which is then modified by a mapping function to generate the pixel value of the enhanced image. Various mapping functions such as the square root function, the exponential function, etc., have been introduced for the contrast measure modification. However, these functions do not produce satisfactory contrast enhancement results and are usually sensitive to noise and digitization effects. In addition, they are computationally complex from the point of view of implementation. In this paper, we propose a simple polynomial mapping function for the contrast measure modification. The polynomial function is ready to implement on digital computers and provides very satisfactory contrast enhancement. We also introduce an adaptive clipping technique to control the dynamic range of the output image.