gebhart/patrepeval huggingface dataset:
Dynamic Reconstruction Algorithm of Three-Dimensional Temperature Field Measurement by Acoustic Tomography (2017)

Accuracy and speed of algorithms play an important role in the reconstruction of temperature field measurements by acoustic tomography. Existing algorithms are based on static models which only consider the measurement information. A dynamic model of three-dimensional temperature reconstruction by acoustic tomography is established in this paper. A dynamic algorithm is proposed considering both acoustic measurement information and the dynamic evolution information of the temperature field. An objective function is built which fuses measurement information and the space constraint of the temperature field with its dynamic evolution information. Robust estimation is used to extend the objective function. The method combines a tunneling algorithm and a local minimization technique to solve the objective function. Numerical simulations show that the image quality and noise immunity of the dynamic reconstruction algorithm are better when compared with static algorithms such as least square method, algebraic reconstruction technique and standard Tikhonov regularization algorithms. An effective method is provided for temperature field reconstruction by acoustic tomography.
GermanPolarityClues: A Lexical Resource for German Sentiment Analysis (2010)

In this paper, we propose GermanPolarityClues, a new publicly available lexical resource for sentiment analysis for the German language. While sentiment analysis and polarity classification has been extensively studied at different document levels (e.g. sentences and phrases), only a few approaches explored the effect of a polarity-based feature selection and subjectivity resources for the German language. This paper evaluates four different English and three different German sentiment resources in a comparative manner by combining a polarity-based feature selection with SVM-based machine learning classifier. Using a semi-automatic translation approach, we were able to construct three different resources for a German sentiment analysis. The manually finalized GermanPolarityClues dictionary offers thereby a number of 10, 141 polarity features, associated to three numerical polarity scores, determining the positive, negative and neutral direction of specific term features. While the results show that the size of dictionaries clearly correlate to polarity-based feature coverage, this property does not correlate to classification accuracy. Using a polarity-based feature selection, considering a minimum amount of prior polarity features, in combination with SVM-based machine learning methods exhibits for both languages the best performance (F1: 0.83-0.88). 1.
Verified Quadratic Virtual Substitution for Real Arithmetic (2021)

This paper presents a formally verified quantifier elimination (QE) algorithm for first-order real arithmetic by linear and quadratic virtual substitution (VS) in Isabelle/HOL. The Tarski-Seidenberg theorem established that the first-order logic of real arithmetic is decidable by QE. However, in practice, QE algorithms are highly complicated and often combine multiple methods for performance. VS is a practically successful method for QE that targets formulas with low-degree polynomials. To our knowledge, this is the first work to formalize VS for quadratic real arithmetic including inequalities. The proofs necessitate various contributions to the existing multivariate polynomial libraries in Isabelle/HOL. Our framework is modularized and easily expandable (to facilitate integrating future optimizations), and could serve as a basis for developing practical general-purpose QE algorithms. Further, as our formalization is designed with practicality in mind, we export our development to SML and test the resulting code on 378 benchmarks from the literature, comparing to Redlog, Z3, Wolfram Engine, and SMT-RAT. This identified inconsistencies in some tools, underscoring the significance of a verified approach for the intricacies of real arithmetic.
The distinct metabolic phenotype of lung squamous cell carcinoma defines selective vulnerability to glycolytic inhibition (2017)

Adenocarcinoma (ADC) and squamous cell carcinoma (SqCC) are the two predominant subtypes of non-small cell lung cancer (NSCLC) and are distinct in their histological, molecular and clinical presentation. However, metabolic signatures specific to individual NSCLC subtypes remain unknown. Here, we perform an integrative analysis of human NSCLC tumour samples, patient-derived xenografts, murine model of NSCLC, NSCLC cell lines and The Cancer Genome Atlas (TCGA) and reveal a markedly elevated expression of the GLUT1 glucose transporter in lung SqCC, which augments glucose uptake and glycolytic flux. We show that a critical reliance on glycolysis renders lung SqCC vulnerable to glycolytic inhibition, while lung ADC exhibits significant glucose independence. Clinically, elevated GLUT1-mediated glycolysis in lung SqCC strongly correlates with high <sup>18</sup>F-FDG uptake and poor prognosis. This previously undescribed metabolic heterogeneity of NSCLC subtypes implicates significant potential for the development of diagnostic, prognostic and targeted therapeutic strategies for lung SqCC, a cancer for which existing therapeutic options are clinically insufficient.
Differential effects of high‐frequency repetitive transcranial magnetic stimulation over ipsilesional primary motor cortex in cortical and subcortical middle cerebral artery stroke (2009)

The beneficial effects of 10 Hz rTMS over ipsilesional M1 on motor function of the affected hand depend on the extension of MCA stroke. Neural activity in ipsilesional M1 may serve as a surrogate marker for the effectiveness of facilitatory rTMS.
Vortex structure in BaFe2(As1 − x P x )2 single crystals (2013)

Single crystals of iron-containing Ba(FeAs)2 superconductors doped with phosphorus have been studied. The vortex structure has been studied by means of the decoration method. Large domains of the triangular vortex structures have been observed in the phosphorus-doped single crystals of iron-containing superconductors. The effect of doping on pinning in iron-containing superconductors has been discussed.
Features of Thrombi and Diagnostic Accuracy of Impedance Plethysmography in Symptomatic and Asymptomatic Deep Vein Thrombosis (1993)

Impedance plethysmography (IPG) has high sensitivity and specificity in patients with symptomatic deep vein thrombosis (DVT) while it fails to detect asymptomatic DVT. The aim of this study was to determine whether the features of thrombi such as location, size and occlusiveness could explain the different accuracy of IPG in symptomatic and asymptomatic DVT patients. One-hundred and seventeen consecutive outpatients with a clinical suspicion of DVT and 246 consecutive patients undergoing hip surgery were admitted to the study. In symptomatic patients IPG was performed on the day of referral, followed by venography, while in asymptomatic patients IPG was performed as a surveillance programme, followed by bilateral venography. A venography proved DVT was observed in 37% of the symptomatic patients and 34% of the asymptomatic limbs. A significantly higher proportion of proximal DVTs was found in symptomatic patients than in asymptomatic patients (78% vs 46%; p = 0.001). The mean Marder score, taken as an index of thrombus size, was significantly higher in symptomatic patients than in asymptomatic patients (19.0 vs 9.6; p = 0.0001). A significantly higher proportion of occlusive DVTs was observed in symptomatic than in asymptomatic patients (69% vs 36%; p = 0.001). We conclude that the unsatisfactory diagnostic accuracy of IPG in asymptomatic DVT is due to the high prevalence of distal, small and non occlusive thrombi. Such thrombi are unlikely to cause a critical obstruction of the venous outflow and therefore to produce a positive IPG.
MYC drives aggressive prostate cancer by disrupting transcriptional pause release at androgen receptor targets (2022)

c-MYC (MYC) is a major driver of prostate cancer tumorigenesis and progression. Although MYC is overexpressed in both early and metastatic disease and associated with poor survival, its impact on prostate transcriptional reprogramming remains elusive. We demonstrate that MYC overexpression significantly diminishes the androgen receptor (AR) transcriptional program (the set of genes directly targeted by the AR protein) in luminal prostate cells without altering AR expression. Analyses of clinical specimens reveal that concurrent low AR and high MYC transcriptional programs accelerate prostate cancer progression toward a metastatic, castration-resistant disease. Data integration of single-cell transcriptomics together with ChIP-seq uncover an increase in RNA polymerase II (Pol II) promoter-proximal pausing at AR-dependent genes following MYC overexpression without an accompanying deactivation of AR-bound enhancers. Altogether, our findings suggest that MYC overexpression antagonizes the canonical AR transcriptional program and contributes to prostate tumor initiation and progression by disrupting transcriptional pause release at AR-regulated genes.
Tear chymase in vernal keratoconjunctivitis (2004)

Chymase activity in tears may thus be a sensitive marker for determining the severity of VKC.
Gill transcriptome response to changes in environmental calcium in the green spotted puffer fish (2010)

The generated transcript expression patterns provide a framework of novel water calcium-responsive genes in the gill during the initial response after transfer to different [Ca2+]. This molecular response entails initial perception of alterations, activation of signaling networks and effectors and suggests active remodeling of cytoskeletal proteins during the initial acclimation process. Genes related to energy production and energy homeostasis are also up-regulated, probably reflecting the increased energetic needs of the acclimation response. This study is the first genome-wide transcriptome analysis of fish gills and is an important resource for future research on the short-term mechanisms involved in the gill acclimation responses to environmental Ca2+ changes and osmoregulation.
Long‐term clinical effects of epalrestat, an aldose reductase inhibitor, on progression of diabetic neuropathy and other microvascular complications: multivariate epidemiological analysis based on patient background factors and severity of diabetic neuropathy (2012)

Epalrestat prevented progression of diabetic neuropathy and retinopathy/nephropathy. The effect on diabetic retinopathy/nephropathy may have occurred indirectly because of the prevention of progression of diabetic neuropathy, in addition to the inhibitory action of epalrestat on aldose reductase.
ChemInform Abstract: Synthesis and Crystal Structure of Perhydro‐1,4‐benzoxazino(2,3‐n) phenoxazine. (1997)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
Focused Electron Beam Induced Processing renders at room temperature a Bose-Einstein Condensate in Koops-GranMat (2015)

Focused Electron Beam Induced Processing allows to generate nanocrystalline materials with metallic conductivity and also nanogranular materials with metal crystals embedded in a fullerene matrix, which shows at room temperature 1000 times better conductivity than superconductors at 40 K due to a Bose Einstein Condensate. Resistors and field emitters carry > 50 MA/cm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> current density and deliver up to 1 mA current by field emission, having an enlarged foot point contact to normal metal like Gold. An explanation for the different characteristics is given. The reason for the generation of the Bose Einstein Condensate is explained, and applications are described.
Colour Doppler Ultrasound Examination of Hand Tendon Pathologies (1996)

Apart from real-time sonography, in most of the imaging techniques used to examine the musculoskeletal system, such as X-ray, computerized tomography scan and magnetic resonance imaging produce mainly static images. Although colour Doppler imaging (CDI) is generally used in the examination of blood flow, it may offer the opportunity to study the dynamic characteristics of tendons and muscles. The purpose of this study was to examine the unilateral flexor and extensor tendon pathologies of the hand and compare these images with the healthy side. A Phillips Quantum Doppler was used to study patients with tendon adhesions and trigger finger. The normal and pathological tendons were scanned at three anatomical levels: wrist, metacarpal and proximal phalanx. The results obtained from the comparison of pathological images with normal ones indicate that CDI offers a promising approach to image dynamically and, in the future, to quantify the function of the tendons and muscles in the musculoskeletal system and to define their pathologies.
Solubilization of Leonardite by an Extracellular Fraction from Coriolus versicolor (1987)

Coriolus versicolor has previously been shown to degrade leonardite, an oxidized form of lignite. An extracellular fraction containing protein purified from a C. versicolor culture solubilized leonardite in vitro. Expression of the activity did not require the presence of leonardite and appeared during idiophase. During ion-exchange and gel filtration column chromatography, leonardite-biosolubilizing activity eluted with syringaldazine oxidase activity and with protein, as measured by A(280) and the biuret protein assay. Syringaldazine is a substrate of the polyphenol oxidase formed by C. versicolor. Comparison of leonardite-biosolubilizing activity with the effects of chelators and surface-active agents on leonardite showed that biosolubilization was not due to either surfactant or chelating ability. Heat treatment of the preparation at 60 degrees C for 30 min significantly reduced both syringaldazine oxidase and leonardite-biosolubilizing activities. Cyanide, azide, and thioglycolate, which are known inhibitors of syringaldazine oxidase activity of C. versicolor, also inhibited leonardite biosolubilization. From these data, we conclude that the purified protein fraction from C. versicolor contains a syringaldazine oxidase activity that participates in leonardite biosolubilization by enzymatic action.
An Experimental Investigation of Microstrip Properties on Soft Substrates from 2 to 40 GHz (2005)

Dispersion and loss characteristics of microstrip lines on 10 mil and 31 mil electrodeposited and electroless copper clad-Teflon substrates were experimentally obtained from 2-40 GHz. The roles of surface roughness and radiation in total loss are examined.
The developing strategy of Chinese magnesium and magnesium alloy (2005)

The status and developing strategy of Chinese magnesium industry are summarized in the present paper. The output and export of Chinese magnesium ingot have rapidly increased in the recent ten years, but the magnesium products with high value, such as the wrought magnesium alloys, and their applications are insufficient. Chinese magnesium industry should develop toward the direction of large scale, specialization and collectivization in the future. The enterprises should enhance the level of management and reinforce the international competing ability with the help of governmental policies.
Smart Cars on Smart Roads: An IEEE Intelligent Transportation Systems Society Update (2006)

To promote tighter collaboration between the IEEE Intelligent Transportation Systems Society and the pervasive computing research community, the authors introduce the ITS Society and present several pervasive computing-related research topics that ITS Society researchers are working on. This department is part of a special issue on Intelligent Transportation.
Erratum: FragmentationAnalyzer: An open‐source tool to analyze MS/MS fragmentation data (2010)

The first affiliation of the third author Professor Lennart Martens should read: Department of Medical Protein Research, VIB, Ghent, Belgium
Electro- and Photochemical Water Oxidation on Ligand-free Co3O4Nanoparticles with Tunable Sizes (2013)

Splitting of water to hydrogen and oxygen on colloidal catalysts is a promising method for future energy and chemistry cycles. The currently used high-performance oxides containing expensive elements (Ru, Ir) are progressively being replaced by more sustainable ones, such as Co3O4. Although the size of the nanoparticles determines their catalytic performance, the control over the particles’ diameter is often synthetically difficult to achieve. An additional obstacle is the presence of stabilizing agent, an organic molecule that blocks accessible surface-active centers. Herein, we present how precise control over size of the cobalt oxide nanoparticles (Co3O4 NPs), their colloidal stability, and the ligand-free surface affect overall performance of the photocatalytic oxygen evolution. We accordingly correlated the photochemical results with the electrochemical studies, concluding that accessibility of the active species on the particles’ surface is crucial parameter in water oxidation.
Cancer therapy and the “broken heart”: Decision making during treatment of cancer in patients with left ventricular systolic dysfunction (LVSD) (2008)

9619 Background: Reduced left cardiac ejection fraction (LVEF), though asymptomatic, affects cancer patients’ outcome and limits their therapeutic opportunities. We assessed treatment choice and occurrence of cardiotoxicity defined as an absolute decrease >20 percent units in rest LVEF in a selected population of cancer patients with LVSD at study entry. Methods: From January 1999 to October 2006, 548 consecutive patients with cancer were referred for a LFSD to the Cardiology Unit of the European Institute of Oncology (IEO). 282 patients (131 female, 151 male) with an abnormal EF at diagnosis were grouped as: LFSD (n=10), asymptomatic resting EF <60- 50% (G1, n=51); asymptomatic resting EF <50–40% (G2, n=100); symptomatic cardiac heart failure (CHF) EF <40–20% (G3, n=101) and severe CHF EF <20% (G4, n=3). 156 patients received no previous cancer treatment. 69 patients had a previous anthracycline treatment (55%) and 35 (12%) received previous chest radiotherapy. All patient underwent a baseline and subsequent serial LVEF measurement by ultrasound. Results: Median age of patients was 64 years (range 21–89). 85 patients (30%) had breast cancer, 60 (21%) lung, 36 (13%) gastrointestinal, 34 (12%) haemathological, 18 (6%) urogenital and 49 (18%) other cancers. Out of 100 patients with asymptomatic resting EF <50–40%, 41 pts (41%) received a tailored “cardiac function adapted” chemotherapy. In the group of patients with CHF and EF <40–20%, 29 (29%) received chemotherapy. Only 1 out of 3 patients with severe CHF was treated with chemotherapy. After a first line chemotherapy the mean LVEF decreased from EF <50–40% (G2) to symptomatic CHF in 14/41 patients (34%), even if treatment choice excluded agents with known cardiotoxicity. Conclusions: Patients with LFSD at cancer diagnosis receive an adapted, suboptimal treatment for cancer. A symptomatic impairment of LVEF was observed in patients with asymptomatic LVSD treated with chemotherapy. Reluctance to prescribe systemic treatments is due to complexity of cost-benefit evaluation in such patients. Trials including supportive therapy with angiotensin-converting enzyme inhibitors should be activated to attempt an improved cancer treatment choice for patients with LVSD. No significant financial relationships to disclose.
Regularized least square support vector machines for order and structure selection of LPV-ARX models (2016)

Least Squares Support Vector Machine (LS-SVM) is a computationally efficient kernel-based regression approach which has been recently applied to nonparametric identification of Linear Parameter Varying (LPV) systems. In contrast to parametric LPV identification approaches, LS-SVM based methods obviate the need to parameterize the scheduling dependence of the LPV model coefficients in terms of a-priori specified basis functions. However, an accurate selection of the underlying model order (in terms of number of input lags, output lags and input delay) is still a critical issue in the identification of LPV systems in the LS-SVM setting. In this paper, we address this issue by extending the LS-SVM method to sparse LPV model identification, which, besides non-parametric estimation of the model coefficients, achieves datadriven model order selection via convex optimization. The main idea of the proposed method is to first estimate the coefficients of an over-parameterized LPV model through LS-SVM. The estimated coefficients are then scaled by polynomial weights, which are shrunk towards zero to enforce sparsity in the final LPV model estimate. The properties of the proposed approach are illustrated via simulation examples.
System modeling and fault studies in data center power distribution (2021)

ABB&apos;s isolated parallel ring bus (IPRB) architecture with static uninterruptible power supplies (UPS) provides a solution with excellent scalability, power sharing, and fault handling capability. Critical components in a data center power distribution system are modeled for system simulations. In the modeling approach, a balance is struck between computation speed and fidelity such that useful system simulation results can be obtained for use in planning, design, and protection. The UPS model includes low short circuit current fault modes. The dual-corded load (DCL), used widely in data centers is modeled with DC link control. Transformers and chokes are modeled with saturation characteristics. Various fault scenarios have been analysed and presented. Verified system simulations in the SIMULINK modeling environment are used for fault studies to obtain protection design requirements. It is shown that system simulations with the appropriate fidelity are very useful to explore system issues and protection. Modeling the components&apos; fault mode behaviour is critical to obtain useful results.
Developing a Digital Solution for Remote Assessment in Multiple Sclerosis: From Concept to Software as a Medical Device (2021)

There is increasing interest in the development and deployment of digital solutions to improve patient care and facilitate monitoring in medical practice, e.g., by remote observation of disease symptoms in the patients' home environment. Digital health solutions today range from non-regulated wellness applications and research-grade exploratory instruments to regulated software as a medical device (SaMD). This paper discusses the considerations and complexities in developing innovative, effective, and validated SaMD for multiple sclerosis (MS). The development of SaMD requires a formalised approach (design control), inclusive of technical verification and analytical validation to ensure reliability. SaMD must be clinically evaluated, characterised for benefit and risk, and must conform to regulatory requirements associated with device classification. Cybersecurity and data privacy are also critical. Careful consideration of patient and provider needs throughout the design and testing process help developers overcome challenges of adoption in medical practice. Here, we explore the development pathway for SaMD in MS, leveraging experiences from the development of Floodlight™ MS, a continually evolving bundled solution of SaMD for remote functional assessment of MS. The development process will be charted while reflecting on common challenges in the digital space, with a view to providing insights for future developers.