gebhart/patrepeval huggingface dataset:
Subthreshold characteristics of field effect transistors based on poly(3-dodecylthiophene) and an organic insulator (2002)

The properties of field effect transistors with organic insulator and semiconducting regions, fabricated with a top-gate architecture, have been investigated. Thin films (d≈30 nm) of regioregular poly(3-dodecylthiophene) were employed as the active semiconductor and the gate insulator was formed by a 500-nm-thick layer of poly(4-vinylphenol). Both were solution-processed on top of poly(ethylenetherephthalate) films, which were used as substrates. The output characteristics show a pronounced saturation behavior with an unconventional nonquadratic saturation current dependence on the gate voltage. Hence the (hole) mobility of 0.002–0.005 cm2/Vs has been estimated from the linear region of the transfer characteristics. The transistor turn-on occurs at a threshold voltage of approximately Vth=0 V, and the device can be operated with a supply voltage of between 15 and 20 V. As is usually observed for organic transistors, the inverse subthreshold slope (S) is very high, in our case S≈7 V/dec, by contrast with S≈200 mV/dec obtained for the similar material poly(3-octylthiophene) (P3OT) with silicon dioxide (SiO2) as an insulator. Furthermore, the subthreshold current depends on the drain voltage even though the transistor is electrically a long channel device with L=2 μm, notwithstanding the fact that this channel length is rather small for the present organic devices. To clarify these peculiarities numerical simulations have been carried out with a systematic variation of the relevant material parameters and assuming the existence of interface or bulk trap states. It turns out that both the high inverse subthreshold slope and the drain voltage dependence can be explained by recharging of trap states either at the interface or in the bulk. Considering the difference to the P3OT device with SiO2 as insulator it is proposed that interface traps are responsible for these effects, although one excludes the possibility that the film formation either on an organic substrate or on SiO2 leads to different bulk properties.
Electrostatic radiator for satellite temperature control (2005)

An objective for advanced satellites and spacecraft is to continually reduce both their size and mass. This reduction can place severe constraints on the thermal control systems. In addition, mission requirements also may dictate the need to alter the spacecraft energy profile during the course of the mission. To facilitate these advances, significant research has been conducted to develop variable emittance coatings and devices to provide active spacecraft thermal control. Several of these technologies have matured to a level where space based testing is feasible and will be performed as part of the ST5 new millennium spacecraft mission. One of these technologies utilizes electrostatic hold-down of a high emissivity composite film to actively control spacecraft skin temperature. This electrostatic radiator (ESR) device functions as a thermal switch and changes the mode of heat transfer between the spacecraft skin and the radiator film from conduction to radiation. This device has demonstrated large changes in effective emissivity in laboratory cold thermal vacuum testing. In this paper, the theory of operation of the ESR and the construction of the device as configured for demonstration on the ST5 mission is presented. The role of the ST5 mission in the maturation process for VEC technologies is discussed. This paper also describes test results for the ESR through flight qualification testing for the ST5 mission. Finally, anticipated operational characteristics and mission reliability estimates are provided.
Damaged Intestinal Epithelial Integrity Linked to Microbial Translocation in Pathogenic Simian Immunodeficiency Virus Infections (2010)

The chronic phase of HIV infection is marked by pathological activation of the immune system, the extent of which better predicts disease progression than either plasma viral load or CD4(+) T cell count. Recently, translocation of microbial products from the gastrointestinal tract has been proposed as an underlying cause of this immune activation, based on indirect evidence including the detection of microbial products and specific immune responses in the plasma of chronically HIV-infected humans or SIV-infected Asian macaques. We analyzed tissues from SIV-infected rhesus macaques (RMs) to provide direct in situ evidence for translocation of microbial constituents from the lumen of the intestine into the lamina propria and to draining and peripheral lymph nodes and liver, accompanied by local immune responses in affected tissues. In chronically SIV-infected RMs this translocation is associated with breakdown of the integrity of the epithelial barrier of the gastrointestinal (GI) tract and apparent inability of lamina propria macrophages to effectively phagocytose translocated microbial constituents. By contrast, in the chronic phase of SIV infection in sooty mangabeys, we found no evidence of epithelial barrier breakdown, no increased microbial translocation and no pathological immune activation. Because immune activation is characteristic of the chronic phase of progressive HIV/SIV infections, these findings suggest that increased microbial translocation from the GI tract, in excess of capacity to clear the translocated microbial constituents, helps drive pathological immune activation. Novel therapeutic approaches to inhibit microbial translocation and/or attenuate chronic immune activation in HIV-infected individuals may complement treatments aimed at direct suppression of viral replication.
Studying Traditional Chinese Medicine (2003)

Identifying the Anti-MERS-CoV and Anti-HcoV-229E Potential Drugs from the Ginkgo biloba Leaves Extract and Its Eco-Friendly Synthesis of Silver Nanoparticles,
A Redox-Active Tetrathiafulvalene [2]Pseudorotaxane:  Spectroelectrochemical and Cyclic Voltammetric Studies of the Highly-Reversible Complexation/Decomplexation Process (1997)

The complexation of TTF 2 and cyclobis(paraquat-p-phenylene) 14+ has been studied by cyclic voltammetry and by spectroelectrochemistry: shifts in the redox potentials for the TTF and the 14+ components of 45 and 30 mV, respectively, occur upon complexation. Decomplexation of 2·14+ upon oxidation of the TTF unit to the cation radical species has been monitored by spectroelectrochemistry. The complexation/decomplexation process is highly reversible over at least 10 electrochemical cycles, and this process is accompanied by a color change of the solution from dark green (complexed) to pale brown (uncomplexed) which is clearly visible to the naked eye.
The Microsoft Indoor Localization Competition: Experiences and Lessons Learned (2017)

We present the results, experiences, and lessons learned from comparing a diverse set of indoor location technologies during the Microsoft Indoor Localization Competition. Over the last four years (2014-2017), more than 100 teams from academia and industry deployed their indoor location solutions in realistic, unfamiliar environments, allowing us to directly compare their accuracies and overhead. In this article, we provide an analysis of this four-year-long evaluation study's results and discuss the current state of the art in indoor localization.
A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion. (1983)

The authors present an efficient algorithm for Lu decomposition and matrix inversion based on the concurrent data-loading array architecture. The algorithm performs the Lu decomposition of a strongly nonsingular matrix initially loaded in the array, in parallel with computing the inverse matrices l/sup -1/, u/sup -1/, and a/sup -1/: the l/sup -1/ and u/sup -1/ can be taken out together with l and u; and a/sup -1/ will appear in the array at the end of the computation. For an n*n matrix executed on the array of the same size, the total time required for the above computation is n(t/sub a/+t/sub m/+t/sub d/); where t/sub a/, t/sub m/, and t/sub d/ represent the time for addition, multiplication, and division, respectively. A simple augmentation of this algorithm can lead to the solution of a linear system of equations without additional time. The performance of this algorithm is analyzed and compared favorably with an improved version of systolic arrays. 12 references.
LAMTOR2-Mediated Modulation of NGF/MAPK Activation Kinetics during Differentiation of PC12 Cells (2014)

LAMTOR2 (p14), a part of the larger LAMTOR/Ragulator complex, plays a crucial role in EGF-dependent activation of p42/44 mitogen-activated protein kinases (MAPK, ERK1/2). In this study, we investigated the role of LAMTOR2 in nerve growth factor (NGF)-mediated neuronal differentiation. Stimulation of PC12 (rat adrenal pheochromocytoma) cells with NGF is known to activate the MAPK. Pharmacological inhibition of MEK1 as well as siRNA-mediated knockdown of both p42 and p44 MAPK resulted in inhibition of neurite outgrowth. Contrary to expectations, siRNA-mediated knockdown of LAMTOR2 effectively augmented neurite formation and neurite length of PC12 cells. Ectopic expression of a siRNA-resistant LAMTOR2 ortholog reversed this phenotype back to wildtype levels, ruling out nonspecific off-target effects of this LAMTOR2 siRNA approach. Mechanistically, LAMTOR2 siRNA treatment significantly enhanced NGF-dependent MAPK activity, and this effect again was reversed upon expression of the siRNA-resistant LAMTOR2 ortholog. Studies of intracellular trafficking of the NGF receptor TrkA revealed a rapid colocalization with early endosomes, which was modulated by LAMTOR2 siRNA. Inhibition of LAMTOR2 and concomitant destabilization of the remaining members of the LAMTOR complex apparently leads to a faster release of the TrkA/MAPK signaling module and nuclear increase of activated MAPK. These results suggest a modulatory role of the MEK1 adapter protein LAMTOR2 in NGF-mediated MAPK activation required for induction of neurite outgrowth in PC12 cells.
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests (2017)

As writing concurrent programs is challenging, developers often rely on thread-safe classes, which encapsulate most synchronization issues. Testing such classes is crucial to ensure the correctness of concurrent programs. An effective approach to uncover otherwise missed concurrency bugs is to automatically generate concurrent tests. Existing approaches either create tests randomly, which is inefficient, build on a computationally expensive analysis of potential concurrency bugs exposed by sequential tests, or focus on exposing a particular kind of concurrency bugs, such as atomicity violations. This paper presents CovCon, a coverage-guided approach to generate concurrent tests. The key idea is to measure how often pairs of methods have already been executed concurrently and to focus the test generation on infrequently or not at all covered pairs of methods. The approach is independent of any particular bug pattern, allowing it to find arbitrary concurrency bugs, and is computationally inexpensive, allowing it to generate many tests in short time. We apply CovCon to 18 thread-safe Java classes, and it detects concurrency bugs in 17 of them. Compared to five state of the art approaches, CovCon detects more bugs than any other approach while requiring less time. Specifically, our approach finds bugs faster in 38 of 47 cases, with speedups of at least 4x for 22 of 47 cases.
Platelet-dependent coagulation assays for factor VIII efficacy measurement after substitution therapy in patients with haemophilia A (2006)

FVIII therapy for haemophilia A is safe and effective, with the problem of individually sufficient efficacy unsettled. Routine one-stage clotting assays and tests employing chromogenic substrates poorly detect individual haemostatic effects of FVIII due to artificial test conditions. In particular, the use of cell-free and diluted plasma samples neglect the crucial role of platelets for thrombin and fibrin formation. To optimize FVIII substitution therapy, we measured in 40 patients with severe to mild haemophilia A before and after FVIII substitution the FVIII activity in cell-free plasma samples using a one-stage clotting assay as well a chromogenic substrate assay and compared the data with those obtained with cell-based coagulation tests, i.e. thrombin generation in platelet-rich plasma (PRP) and thromboelastography (TEG) in samples of citrated whole blood (WB). To determine the maximum ex vivo haemostatic effect we added 1 unit/ml of FVIII to samples of PRP and WB and measured the maximum thrombin generation in the thrombin generation test (TGT) and the maximum clot firmness (MCF) in TEG. After FVIII substitution we observed a nearly linear relation between the individual FVIII activities administered to the patients and the activities measured in the plasma samples. However, data obtained with TGT and TEG revealed a high inter-individual variation and a very poor correlation to the administered FVIII activity. Actually, it could be shown that FVIII substitution yielding in a FVIII plasma activity of about 30% is sufficient to get an ex vivo haemostatic effect of more that 90% as measured by maximum thrombin generation and MCF. FVIII substitution up to a plasma activity of more than 90% did not further enhance the haemostatic effect. Our data clearly demonstrate that the haemostatic effect of FVIII is not only dependent on the activity that is measured in plasma but also depends on the interplay between coagulation and blood cells, in particular with platelets. The use of cell-based coagulation tests such us TGT or TEG may help to optimize FVIII therapy by determining the individual FVIII dosage that produces a maximum haemostatic effect.
Machine Learning via Mathematical Programming (1999)

Abstract : Mathematical programming approaches were applied to a variety of problems in machine learning in order to gain deeper understanding of the problems and to come up with new and more efficient computational algorithms. Theoretical and/or computational contributions were made to Data Envelopment Analysis wherein one seeks efficient decision making units, Neural Networks with as few hidden units as possible, optimization problems subject to constraints that in turn require the solution of further optimization problems, classification algorithms that suppress unnecessary or redundant features, algorithms that chunk massive data sets in order to classify them, clustering data based on the novel concept of nearness to cluster planes rather than cluster centroids, a new implementable general theory for Support Vector Machines that does away with the restrictive Mercer positive definite kernel condition that had hitherto been universally assumed, a very effective Successive Over Relaxation (SOR) algorithm for solving very large linear and nonlinear kernel classification problems, applying support vector machines to breast cancer diagnosis and prognosis, smoothing algorithms for solving large and complex classification problems, nonlinear data fitting using support vector machines and a robust loss function, and classifying data that is partly labeled and partly unlabeled.
PeriSense: Ring-Based Multi-Finger Gesture Interaction Utilizing Capacitive Proximity Sensing (2020)

Rings are widely accepted wearables for gesture interaction. However, most rings can sense only the motion of one finger or the whole hand. We present PeriSense, a ring-shaped interaction device enabling multi-finger gesture interaction. Gestures of the finger wearing ring and its adjacent fingers are sensed by measuring capacitive proximity between electrodes and human skin. Our main contribution is the determination of PeriSense's interaction space involving the evaluation of capabilities and limitations. We introduce a prototype named PeriSense, analyze the sensor resolution at different distances, and evaluate finger gestures and unistroke gestures based on gesture sets allowing the determination of the strengths and limitations. We show that PeriSense is able to sense the change of conductive objects reliably up to 2.5 cm. Furthermore, we show that this capability enables different interaction techniques such as multi-finger gesture recognition or two-handed unistroke input.
Opsonic and protective activity of five human IgM monoclonal antibodies reactive with lipopolysaccharide antigen of<i>Pseudomonas aeruginosa</i> (1990)

International Antigen Typing Schema (IATS) serotypes 1, 2, 5, 6, 8 and 11 comprise approximately 80% of Pseudomonas aeruginosa strains isolated from blood, wounds and respiratory specimens. Five human immunoglobulin M (IgM) monoclonal antibodies (MAbs) reactive with lipopolysaccharide O antigens of these IATS serotypes were studied in an opsonophagocytic assay. The assay employed human polymorphonuclear leukocytes, 2% guinea pig serum as the complement source and MAb. Each MAb promoted killing of inoculum of the homologous LPS serotype. The opsonic activity of each MAb was complement-dependent. In a murine model of Pseudomonas burn wound sepsis the LD50 of five strains of P. aeruginosa was increased greater than or equal to 22-fold by MAb-treatment (1.0 mg/kg). The mean effective dose of the five MAbs in mice challenged with approximately 10 LD50 of the homologous LPS serotype ranged from less than 0.01 mg/kg to 1.00 mg/kg.
Improved K-Best Sphere Detection for Uncoded and Coded MIMO Systems (2012)

The conventional K-best sphere decoder (KSD) keeps the best K nodes at each level of the search tree. In addition to retaining the best K nodes, we also consider all the nodes whose costs are within a certain margin of the cost of the Kth best node. The resulting algorithm is called improved K-best sphere decoder (IKSD). Three IKSD variants are considered in this letter, which are fixed threshold, normalized threshold and adaptive threshold IKSD. The proposed IKSD requires a smaller K (indicating lower complexity) while still achieving a better and near optimal performance compared to the conventional KSD. These gains are confirmed by the simulation results. For example, for the fixed threshold IKSD in a 4 x 4 16-QAM multiple-input multiple-output (MIMO) system, with K=2, it achieves the same performance as the conventional KSD (K=16), yielding about 80% complexity savings. For coded MIMO systems, the IKSD is also extended as a list sphere decoder for joint iterative detection and decoding.
The NanA Neuraminidase of <i>Streptococcus pneumoniae</i> Is Involved in Biofilm Formation (2009)

Streptococcus pneumoniae remains a major cause of bacteremia, pneumonia, and otitis media despite vaccines and effective antibiotics. The neuraminidase of S. pneumoniae, which catalyzes the release of terminal sialic acid residues from glycoconjugates, is involved in host colonization in animal models of infection and may provide a novel target for preventing pneumococcal infection. We demonstrate that the S. pneumoniae neuraminidase (NanA) cleaves sialic acid and show that it is involved in biofilm formation, suggesting an additional role in pathogenesis, and that it shares this property with the neuraminidase of Pseudomonas aeruginosa even though we show that the two enzymes are phylogenetically divergent. Using an in vitro model of biofilm formation incorporating human airway epithelial cells, we demonstrate that small-molecule inhibitors of NanA block biofilm formation and may provide a novel target for preventative therapy. This work highlights the role played by the neuraminidase in pathogenesis and represents an important step in drug development for prevention of colonization of the respiratory tract by this important pathogen.
The Genome of <i>Salmonella enterica</i> Serovar Gallinarum: Distinct Insertions/Deletions and Rare Rearrangements (2005)

Salmonella enterica serovar Gallinarum is a fowl-adapted pathogen, causing typhoid fever in chickens. It has the same antigenic formula (1,9,12:--:--) as S. enterica serovar Pullorum, which is also adapted to fowl but causes pullorum disease (diarrhea). The close relatedness but distinct pathogeneses make this pair of fowl pathogens good models for studies of bacterial genomic evolution and the way these organisms acquired pathogenicity. To locate and characterize the genomic differences between serovar Gallinarum and other salmonellae, we constructed a physical map of serovar Gallinarum strain SARB21 by using I-CeuI, XbaI, and AvrII with pulsed-field gel electrophoresis techniques. In the 4,740-kb genome, we located two insertions and six deletions relative to the genome of S. enterica serovar Typhimurium LT2, which we used as a reference Salmonella genome. Four of the genomic regions with reduced lengths corresponded to the four prophages in the genome of serovar Typhimurium LT2, and the others contained several smaller deletions relative to serovar Typhimurium LT2, including regions containing srfJ, std, and stj and gene clusters encoding a type I restriction system in serovar Typhimurium LT2. The map also revealed some rare rearrangements, including two inversions and several translocations. Further characterization of these insertions, deletions, and rearrangements will provide new insights into the molecular basis for the specific host-pathogen interactions and mechanisms of genomic evolution to create a new pathogen.
Aeolian vibration control measures for ground wires of Han River long span transmission lines (2009)

长跨度超离频电压(UHV ) 传播线有严肃的风神的颤动问题。控制这些颤动，我们在下列方面改进了精力平衡方法：风功率输入，导体自我抑制，并且更潮湿的驱散的功率。同时，我们造了电线 dampers 的一个理论机械模型并且导出精力驱散计算公式。这允许用电报浪费的颤动体力 dampers 能在精力平衡方法被考虑。然后，我们用 Matlab 基于改进精力平衡方法开发了一个计算机节目，并且在 P. R 分析了汉河长跨度工程的 UHV 长跨度地面电线。中国。结果证明电线 dampers 和 UHV 的 Stockbridge dampers 罐头还原剂颤动的联合长跨越传播线，它为设计工程的 UHV 的研究和建设提供一本参考书。
Relief of Fibromyalgia Symptoms following Discontinuation of Dietary Excitotoxins (2001)

The elimination of MSG and other excitotoxins from the diets of patients with fibromyalgia offers a benign treatment option that has the potential for dramatic results in a subset of patients.
Pulsatile non-Newtonian haemodynamics in a 3D bifurcating abdominal aortic aneurysm model (2011)

Numerical prediction of non-Newtonian blood flow in a 3D abdominal aortic aneurysm bifurcating model is carried out. The non-Newtonian Carreau model is used to characterise the shear thinning behaviour of the human blood. A physical inlet velocity waveform incorporating a radial velocity distribution reasonably representative of a practical case configuration is employed. Case studies subject to both equal and unequal outlet pressures at iliac bifurcations are presented to display convincingly the downstream pressure influences on the flow behaviour within the aneurysm. Simulations indicate that the non-Newtonian aspects of the blood cannot at all be neglected or given a cursory treatment. The wall shear stress (WSS) is found to change significantly at both the proximal and distal ends of the aneurysm. At the peak systole, the WSS is peak around the bifurcation point, whereas the WSS becomes zero in the bifurcation point. Differential downstream pressure fields display significant effects regarding the flow evolution in the iliac arteries, whereas little or no effects are observed directly on the flow details in the aneurysm.