gebhart/patrepeval huggingface dataset:
Static checking of dynamically generated queries in database applications (2007)

Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, for example, can create strings that represent SQL queries and then send the queries, using JDBC, to a database server for execution. The servlet programmer enjoys static checking via Java's strong type system. However, the Java type system does little to check for possible errors in the dynamically generated SQL query strings. Thus, a type error in a generated selection query (e.g., comparing a string attribute with an integer) can result in an SQL runtime exception. Currently, such defects must be rooted out through careful testing, or (worse) might be found by customers at runtime. In this article, we present a sound , static program analysis technique to verify that dynamically generated query strings do not contain type errors. We describe our analysis technique and provide soundness results for our static analysis algorithm. We also describe the details of a prototype tool based on the algorithm and present several illustrative defects found in senior software-engineering student-team projects, online tutorial examples, and a real-world purchase order system written by one of the authors.
Inactivation of <i>Ascaris suum</i> in a Biodrying Compost System (2007)

Pathogen contamination of waterways is a serious concern in dairy farming areas where livestock waste is applied to agricultural fields. As an alternative, a biodrying composting system dries collected livestock waste, reduces the strong odors, and has been proposed as a means of reducing, and even eliminating pathogens present in the waste. Therefore, the survival of pathogens in a biodrying composting system was investigated. Dairy farm livestock waste was piled in a biodrying storage shed where forced aeration and natural decomposition processes heated a major portion of the waste pile to temperatures exceeding 55 degrees C. Ascaris suum eggs were used as the surrogate species and inoculated into special chambers and placed at three different elevations at different intervals along the length of the pile. Control chambers were stored in water at 4 degrees C in the laboratory. Both compost and control chambers were removed at Day 4, 8, 12, 16, and 20. The eggs were extracted from the chamber medium and analyzed for viability. No viable eggs were recovered from any of the chambers removed from the compost pile, while >or=90% viability was observed in the control chambers. High temperatures and continued drying were the major contributing factors to the inactivation of the helminth eggs. The complete inactivation of A. suum eggs by the biodrying process encourages the storage and treatment of manure to high temperatures and reduced moisture conditions before field spreading to reduce the risk of harmful pathogens contaminating waterways and potential drinking water supplies.
Altered perineal microbiome is associated with vulvovaginitis and urinary tract infection in preadolescent girls (2014)

Vulvovaginitis may cause UTIs by altering the perineal biome such that there is increased colonization of uropathogens.
Heterocyclische 8π‐Systeme, 16. Eliminierung an 2‐Alkoxy‐3‐hydroxyindolinen (1985)

Heterocyclic 8π‐Systems, 16. Elimination Reactions of 2‐Alkoxy‐3‐hydroxyindolines Thermolysis of 2‐ethoxy‐3‐hydroxyindolines 1a – f affords oxindoles 3a – f as main products and the corresponding 3‐indolinones 2a – f as by‐products. The reaction course via indole 2,3‐oxide intermediates is discussed. For this reason rearrangement reactions of 3‐hydroxyindoleninium salts 4a , f are investigated.
Inhibitors of Helicobacter pylori ATPase Cagα block CagA transport and cag virulence (2006)

With the steadily increasing occurrence of antibiotic resistance in bacteria, there is a great need for new antibacterial compounds. The approach described here involves targeting virulence-related bacterial type IV secretion systems (TFSSs) with small-molecule inhibitors. The cag TFSS of Helicobacter pylori was chosen as a model, and novel inhibitors directed against the cag VirB11-type ATPase Cagalpha were identified. The cag genes encode proteins that are components of a contact-dependent secretion system used by the bacterium to translocate the effector molecule CagA into host cells. Translocated CagA is associated with severe gastritis, and carcinoma. Furthermore, functional TFSSs and immunodominant CagA play a role in interleukin (IL)-8 induction, which is an important factor for chronic inflammation. Inhibitors of Cagalpha were identified by high-throughput screening of chemical libraries that comprised 524 400 small molecules. The ATPase activity of Cagalpha was inhibited by the selected compounds in an in vitro enzymic assay using the purified enzyme. The most active compound, CHIR-1, reduced TFSS function to an extent that cellular effects on AGS cells mediated by CagA were virtually undetectable, while reduced levels of IL-8 induction were observed. Gastric colonization by CHIR-1-pre-treated bacteria was found to be impaired in a dose-dependent manner using a mouse model of infection. Small-molecule Cagalpha inhibitors, the first described inhibitors of a TFSS, are potential candidates for the development of new antibacterial compounds that may lead to alternative medical treatments. The compounds are expected to impose weak selective pressure, since they target virulence functions. Moreover, the targeted virulence protein is conserved in a variety of bacterial pathogens. Additionally, TFSS inhibitors are potent tools to study the biology of TFSSs.
PA1b, a small knotted albumin from garden pea, protects transgenic rice against its major post-harvest insect pest Sitophilus oryzae (2009)

1-ACL (articles avec comité de lecture)
EXPERIMENTAL STUDY ON INTERMEDIATE RADIOACTIVE WASTE REPOSITORY MONITORING BASED ON DISTRIBUTED OPTICAL FIBER SENSOR (2021)

放射性廃棄物処分施設の長期的な機能確認手段として，センサなどによるモニタリング技術が望まれている．分布型光ファイバセンサは，小型軽量で長寿命，センサ部に電源が不要などの特長とともに，一本のケーブルで多点計測が可能なため，モニタリング用機器設置に伴う人工バリアの弱部形成を最小化出来ることから，当該施設における有力なモニタリング手段として期待されている．筆者らは，わが国における施設の機能確認に必要なモニタリング項目を抽出したうえで，分布型光ファイバセンサの実用性を実験的に検証した．具体的には，室内実験によって長期耐久性の確認と圧力計測の基礎的検討を行い，実規模模擬施設を用いた原位置実験によって温度計測，ひずみ計測の実用性を確認するとともに，人為的にひび割れを生じさせてひび割れ検知性能を確認した．
The POP Buffer: Rapid Progressive Clustering by Geometry Quantization (2013)

Abstract Within this paper, we present a novel, straightforward progressive encoding scheme for general triangle soups, which is particularly well‐suited for mobile and Web‐based environments due to its minimal requirements on the client's hardware and software. Our rapid encoding method uses a hierarchy of quantization to effectively reorder the original primitive data into several nested levels of detail. The resulting stateless buffer can progressively be transferred as‐is to the GPU, where clustering is efficiently performed in parallel during rendering. We combine our approach with a crack‐free mesh partitioning scheme to obtain a straightforward method for fast streaming and basic view‐dependent LOD control.
Model Selection for Bayesian Autoencoders (2021)

We develop a novel method for carrying out model selection for Bayesian autoencoders (BAEs) by means of prior hyper-parameter optimization. Inspired by the common practice of type-II maximum likelihood optimization and its equivalence to Kullback-Leibler divergence minimization, we propose to optimize the distributional sliced-Wasserstein distance (DSWD) between the output of the autoencoder and the empirical data distribution. The advantages of this formulation are that we can estimate the DSWD based on samples and handle high-dimensional problems. We carry out posterior estimation of the BAE parameters via stochastic gradient Hamiltonian Monte Carlo and turn our BAE into a generative model by fitting a flexible Dirichlet mixture model in the latent space. Consequently, we obtain a powerful alternative to variational autoencoders, which are the preferred choice in modern applications of autoencoders for representation learning with uncertainty. We evaluate our approach qualitatively and quantitatively using a vast experimental campaign on a number of unsupervised learning tasks and show that, in small-data regimes where priors matter, our approach provides state-of-the-art results, outperforming multiple competitive baselines.
BIOSENSORS FOR DETECTION OF BIOTERRORIST THREATS (2006)

There is no universal sensor appropriate for the detection of bioterrorist threats in all situations. All biothreats are composed of very similar compounds--molecules composed predominantly of carbon, nitrogen, oxygen, and hydrogen atoms and generally organized into amino acids and nucleotides. These molecules are highly similar when viewed spectroscopically or using other long-range interrogation techniques. Thus specific identification requires direct contact with the threat for further analysis. The most rapid and specific methods for such analyses involve molecular recognition using complementary biomolecules. Such molecules are incorporated into biosensors to provide an optoelectronic signal when the recognition event occurs. Distinct biosensor approaches provide different information and are useful in different scenarios.
GABA-B Agonist Baclofen Normalizes Auditory-Evoked Neural Oscillations and Behavioral Deficits in the<i>Fmr1</i>Knockout Mouse Model of Fragile X Syndrome (2017)

Fragile X syndrome is a genetic condition resulting from <i>FMR1</i> gene mutation that leads to intellectual disability, autism-like symptoms, and sensory hypersensitivity. Arbaclofen, a GABA-B agonist, has shown efficacy in some individuals with FXS but has become unavailable after unsuccessful clinical trials, prompting interest in publicly available, racemic baclofen. The present study investigated whether racemic baclofen can remediate abnormalities of neural circuit function, sensory processing, and behavior in <i>Fmr1</i> knockout mice, a rodent model of fragile X syndrome. <i>Fmr1</i> knockout mice showed increased baseline and auditory-evoked high-frequency gamma (30-80 Hz) power relative to C57BL/6 controls, as measured by electroencephalography. These deficits were accompanied by decreased T maze spontaneous alternation, decreased social interactions, and increased open field center time, suggestive of diminished working memory, sociability, and anxiety-like behavior, respectively. Abnormal auditory-evoked gamma oscillations, working memory, and anxiety-related behavior were normalized by treatment with baclofen, but impaired sociability was not. Improvements in working memory were evident predominantly in mice whose auditory-evoked gamma oscillations were dampened by baclofen. These findings suggest that racemic baclofen may be useful for targeting sensory and cognitive disturbances in fragile X syndrome.
A link adaptation approach for QoS enhancement in wireless networks (2002)

We propose a new link adaptation approach for QoS enhancement in wireless networks. We utilize the Kalman filter, which predicts the local optimal frame size based on the channel quality varying based on the derived channel model. We have also presented the simulations and experimental results. The results show that the performance of proposed predictor is much better than other prediction methods like the moving average.
Biochemical and Spectroscopic Characterization of the Human Mitochondrial Amidoxime Reducing Components hmARC-1 and hmARC-2 Suggests the Existence of a New Molybdenum Enzyme Family in Eukaryotes (2010)

The mitochondrial amidoxime reducing component mARC is a newly discovered molybdenum enzyme that is presumed to form the catalytical part of a three-component enzyme system, consisting of mARC, heme/cytochrome b(5), and NADH/FAD-dependent cytochrome b(5) reductase. mARC proteins share a significant degree of homology to the molybdenum cofactor-binding domain of eukaryotic molybdenum cofactor sulfurase proteins, the latter catalyzing the post-translational activation of aldehyde oxidase and xanthine oxidoreductase. The human genome harbors two mARC genes, referred to as hmARC-1/MOSC-1 and hmARC-2/MOSC-2, which are organized in a tandem arrangement on chromosome 1. Recombinant expression of hmARC-1 and hmARC-2 proteins in Escherichia coli reveals that both proteins are monomeric in their active forms, which is in contrast to all other eukaryotic molybdenum enzymes that act as homo- or heterodimers. Both hmARC-1 and hmARC-2 catalyze the N-reduction of a variety of N-hydroxylated substrates such as N-hydroxy-cytosine, albeit with different specificities. Reconstitution of active molybdenum cofactor onto recombinant hmARC-1 and hmARC-2 proteins in the absence of sulfur indicates that mARC proteins do not belong to the xanthine oxidase family of molybdenum enzymes. Moreover, they also appear to be different from the sulfite oxidase family, because no cysteine residue could be identified as a putative ligand of the molybdenum atom. This suggests that the hmARC proteins and sulfurase represent members of a new family of molybdenum enzymes.
VoIP Communications in Wireless Ad-hoc Network with Gateways (2007)

In this paper, we investigate some of the issues that arise when mobile nodes engage voice connections with remote peers by using a wireless ad hoc network (MANET-cell) to access the distribution core network. We focus on a specific network scenario where all communications are directed to a special node, called gateway, which in turn bridges traffic to and from the core network. We first derive a mathematical expression to estimate the maximum number of sustainable voice sessions in a single-hop cell, with multi-rate terminals. Then, we assess the accuracy of the formula through ns2 simulations, which allow us to determine the voice capacity of the system also in presence of hidden terminals. Hence, we analyze the impact of multi-hop paths on the voice capacity of the system. From this analysis, we propose a new cost metric that we apply to a modified version of the OLSR routing algorithm, named HOLSR. This algorithm has proved to be able to preserve stability in some scenarios that were unstable under other routing algorithms.
Supervised Learning for Optimal Power Flow as a Real-Time Proxy (2016)

In this work we design and compare different supervised learning algorithms to compute the cost of Alternating Current Optimal Power Flow (ACOPF). The motivation for quick calculation of OPF cost outcomes stems from the growing need of algorithmic-based long-term and medium-term planning methodologies in power networks. Integrated in a multiple time-horizon coordination framework, we refer to this approximation module as a proxy for predicting short-term decision outcomes without the need of actual simulation and optimization of them. Our method enables fast approximate calculation of OPF cost with less than 1% error on average, achieved in run-times that are several orders of magnitude lower than of exact computation. Several test-cases such as IEEE-RTS96 are used to demonstrate the efficiency of our approach.
HIV-1 Tat gene expression prevents apoptosis in avian lymphocytes (1993)

la diffusion de documents scientifiques de niveau recherche, publis ou non, manant des tablissements d'enseignement et de recherche franais ou trangers, des laboratoires publics ou privs.
A General Catalytic Allylation Using Allyltrimethoxysilane (2002)

A general and mild catalytic allylation of carbonyl compounds, applicable to aldehydes, ketones, and imines is developed using allyltrimethoxysilane as the allylating reagent. The reaction proceeds smoothly with 1-10 mol % of CuCl and TBAT in THF at ambient temperature. Mechanism studies indicated that the copper alkoxide, allylfluorodimethoxysilane, and allyltrimethoxysilane are essential to promote the reaction efficiently. Preliminary extension of the reaction to the first catalytic enantioselective allylation of ketones using an allylsilane produced the product with 61% ee from acetophenone, using a CuCl-p-tol-BINAP-TBAT catalyst (15 mol %).
Supplementary Figure 3 from A Combination of Chemoimmunotherapies Can Efficiently Break Self-Tolerance and Induce Antitumor Immunity in a Tolerogenic Murine Tumor Model (2023)

Supplementary Figure 3 from A Combination of Chemoimmunotherapies Can Efficiently Break Self-Tolerance and Induce Antitumor Immunity in a Tolerogenic Murine Tumor Model
Myocardial efficiency during calcium sensitization with levosimendan: A noninvasive study with positron emission tomography and echocardiography in healthy volunteers* (1997)

Dynamic positron emission tomography (PET) with [11C]acetate allows noninvasive assessment of myocardial oxygen consumption. In combination with echocardiography, PET enables determination of cardiac efficiency (defined as useful cardiac work per unit of oxygen consumption). We used this approach to compare the effects of levosimendan, a Ca(2+)-dependent calcium sensitizer, with dobutamine and sodium nitroprusside in healthy male volunteers. The effects of levosimendan on k(mono), an index of oxygen consumption, and cardiac efficiency were neutral, whereas the hemodynamic profile was consistent with balanced inotropism and vasodilatation. Dobutamine enhanced cardiac efficiency at the expense of increased oxygen requirement, but the effects of nitroprusside on k(mono) and cardiac efficiency were neutral. This study shows the feasibility of PET in phase 1 pharmacodynamic studies and suggests potential energetical advantages of calcium sensitization with levosimendan.
Clinical presentation of new onset refractory status epilepticus in children (the pSERG cohort) (2021)

Among pediatric patients with RSE, 16% met diagnostic criteria for NORSE, including the subcategory of febrile infection-related epilepsy syndrome (FIRES). Pediatric NORSE cases may also overlap with refractory febrile SE (FSE). FIRES occurs more frequently in older children, the course is usually prolonged, and outcomes are worse, as compared to refractory FSE. Fever occurring more than 24 h before the onset of seizures differentiates a subgroup of NORSE patients with distinctive clinical characteristics and worse outcomes.
Medical honey in professional wound care (2013)

Many physicians and wound care professionals still think honey is a ‘folk remedy’ with no scientific evidence for its use in modern wound care. They believe that after the development of antibiotics and professional treatment strategies, the use of honey to treat wounds is obsolete. Researchers have shown that honey derived from Leptospermum scoparium, so called manuka honey, displays significant antibacterial effects on all clinically relevant bacterial species and also works well in combination with antibiotics. Of particular interest has been manuka honey’s intriguing activity against methicillin-resistant Staphylococcus aureus. Hospitals all over Germany, New Zealand, Australia and Austria are convinced of its benefits and use it regularly. Medical-grade honey and ready-to-use honey dressings are widely available in the EU since 2004. This manuscript intends to deal with the benefits of medical honey in professional wound care.
ChemInform Abstract: Stereoselective Hydrogenation Reactions in Chloroaluminate(III) Ionic Liquids: A New Method for the Reduction of Aromatic Compounds. (1999)

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.
Nd:YAG Laser Augmented Pneumatic Retinopexy (1988)

We present the first ten consecutive cases of rhegmatogenous retinal detachment treated by one surgeon using pneumatic retinopexy with Nd:YAG laser disruption of vitreoretinal adhesions. In nine cases the retina has remained reattached, after a follow-up period of 11 to 18 months. The use of the Nd:YAG laser to disrupt vitreoretinal adhesions at the sites of retinal tears is discussed.
Reversal strategies for vitamin <scp>K</scp> antagonists in acute intracerebral hemorrhage (2015)

The combination of FFP and PCC might be associated with the lowest case fatality in reversal of VKA-ICH, and FFP may be equivalent to PCC. Randomized controlled trials with functional outcomes are needed to establish the most effective treatment.
Obstacle detection and warning for visually impaired people based on electrode matrix and mobile Kinect (2015)

Obstacle detection and warning can improve the mobility as well as the safety of the visually impaired people specially in the unfamiliar environments. For this, firstly, obstacles have been detected and localized and then the information of the obstacles will be sent to the visually impaired people by using different modality such as voice, tactile, vibration. In this paper, we present an assistive system for visually impaired people based on the matrix of electrode and mobile Kinect. This system consists of two main components: environment information acquisition and analysis and information representation. The first component aims at capturing the environment by using a mobile Kinect and analyzing it in order to detect the predefined obstacles for visually-impaired people such as stair, door while the second component tries to represent under the form of electrode matrix.
A continuous‐flow probe high performance liquid chromatography interface to a liquid secondary‐ion time‐of‐flight mass spectrometer (1988)

Abstract The possibilities for using the time‐of‐flight analyzer as a liquid chromatography detector are evaluated using a continuous flow probe and keV ion bombardment on a specially designed time‐of‐flight instrument.
Management for Warthin Tumor of the Parotid Gland: Surgery or Observation. A 21-Year Retrospective Study of 387 Cases (2022)

Purpose This study investigated the characteristics, diagnosis, and treatment of Warthin tumors (WTs) to explore the possibility of managing patients by observation. Methods We reviewed the records of 1167 patients with benign parotid tumors who were seen in our department between September 1999 and April 2021. Among them, 387 cases were WT and 668 cases were pleomorphic adenoma. We evaluated preoperative diagnoses of WT by symptoms/signs, fine-needle aspiration cytology (FNAC), imaging, such as ultrasonography and magnetic resonance imaging, and technetium-99m pertechnetate (Tc-99m) scintigraphy. Fisher’s exact test and the Mann–Whitney U test were used in statistical analyses. Results Warthin tumors were treated by surgery in 238 cases and follow-up in 149 cases. The 238 patients were diagnosed as WT at the final pathology after surgery. Among them, 172 patients (72.3%) were determined as benign histological type by preoperative FNAC; in these 172 patients, 170 (71.4%) were correctly diagnosed as WT in the final pathology. Preoperative Tc-99m scintigraphy was performed in 69 patients diagnosed with WT by final pathology or FNAC, and the positive rate of Tc-99m scintigraphy in WT was 75.4%. Conclusions Combining FNAC and Tc-99m scintigraphy, as well as considering clinical findings, enables the diagnosis of WT in most cases. In particular, WT is more common in the elderly, grows more slowly, and is less likely to be malignant. Therefore, if WT can be diagnosed preoperatively with a high rate of correct diagnosis, it could be an accurate and effective means of managing patients through follow-up without surgery.