gebhart/patrepeval huggingface dataset:
Data cache locking for tight timing calculations (2007)

Caches have become increasingly important with the widening gap between main memory and processor speeds. Small and fast cache memories are designed to bridge this discrepancy. However, they are only effective when programs exhibit sufficient data locality. In addition, caches are a source of unpredictability, resulting in programs sometimes behaving in a different way than expected. Detailed information about the number of cache misses and their causes allows us to predict cache behavior and to detect bottlenecks. Small modifications in the source code may change memory patterns, thereby altering the cache behavior. Code transformations, which take the cache behavior into account, might result in a high cache performance improvement. However, cache memory behavior is very hard to predict, thus making the task of optimizing and timing cache behavior very difficult. This article proposes and evaluates a new compiler framework that times cache behavior for multitasking systems. Our method explores the use of cache partitioning and dynamic cache locking to provide worst-case performance estimates in a safe and tight way for multitasking systems. We use cache partitioning, which divides the cache among tasks to eliminate intertask cache interferences. We combine static cache analysis and cache-locking mechanisms to ensure that all intratask conflicts, and consequently, memory access times, are exactly predictable. The results of our experiments demonstrate the capability of our framework to describe cache behavior at compile time. We compare our timing approach with a system equipped with a nonpartitioned, but statically, locked data cache. Our method outperforms static cache locking for all analyzed task sets under various cache architectures, demonstrating that our fully predictable scheme does not compromise the performance of the transformed programs.
Photocatalytic and antimicrobial properties of a TiO2 implant coating deposited through cathodic arc evaporation (2012)

Photocatalytic and antimicrobial properties of a TiO2 implant coating deposited through cathodic arc evaporation
Production of Purpureocillium lilacinum and Pochonia chlamydosporia by Submerged Liquid Fermentation and Bioactivity against Tetranychus urticae and Heterodera glycines through Seed Inoculation (2022)

Pochoniachlamydosporia and Purpureocilliumlilacinum are fungal bioagents used for the sustainable management of plant parasitic nematodes. However, their production through submerged liquid fermentation and their use in seed treatment have been underexplored. Therefore, our goal was to assess the effect of different liquid media on the growth of 40 isolates of P. lilacinum and two of P. chlamydosporia. The most promising isolates tested were assessed for plant growth promotion and the control of the two-spotted spider mite (Tetranychus urticae) and the soybean cyst nematode (Heterodera glycines). Most isolates produced > 108 blastospores mL−1 and some isolates produced more than 104 microsclerotia mL−1. Microsclerotia of selected isolates were used to inoculate common bean (Phaseolus vulgaris L.) seeds in greenhouse trials. All fungal isolates reduced the T. urticae fecundity in inoculated plants through seed treatment, while P. chlamydosporia ESALQ5406 and P. lilacinum ESALQ2593 decreased cyst nematode population. Purpureocillium lilacinum was more frequently detected in soil, whereas P. chlamydosporia colonized all plant parts. Pochonia chlamydosporia ESALQ5406 improved the root development of bean plants. These findings demonstrate the possibility of producing submerged propagules of P. chlamydosporia and P. lilacinum by liquid culture, and greenhouse trials support the applicability of fungal microsclerotia in seed treatment to control P. vulgaris pests.
Mobile Performance Enhancement via Tracking Inter-Carrier Interference Power for ATSC 3.0 Receivers (2020)

This paper reveals a mobile performance enhancement at the Advanced Television System Committee (ATSC) 3.0 receivers, which can be achieved by estimating inter-carrier interference (ICI) level via velocity tracking. The proposed scheme aims at the mobile receivers mounted in mass-teleportation vehicles, which can acquire velocity information from external sources. Through extensive simulations, the proposed scheme is verified to reduce the threshold of visibility (ToV) requirement, even when the velocity information is given imperfect. Specifically, the proposed scheme is found to achieve 1.3 dB ToV gain for 5.85 Mbps throughput signal under 6-tap typical urban (TU-6) channel with 200 km/h velocity.
Nanoparticle diffusion in crowded and confined media (2016)

We identify distinct mechanisms controlling slowing of nanoparticle diffusion through complex media featuring both rigid geometrical confinement and soft mobile crowders. Towards this end, we use confocal microscopy and single particle tracking to probe the diffusion of 400 nm nanoparticles suspended in Newtonian water, in a Newtonian glycerol/water mixture, or in a non-Newtonian polymer solution through a model porous medium, a packed bed of microscale glass beads. The mobility of nanoparticles, as quantified by the long-time diffusion coefficient extracted from the particle mean-squared displacement, slows as the average pore size of the packed bed media decreases for both Newtonian and non-Newtonian solutions. The distribution of particle displacements is non-Gaussian, consistent with the spatial heterogeneity of the geometrical confinement imposed by the packed bed. The slowing of nanoparticle mobility in all solutions follows the predictions of models that describe hydrodynamic interactions with the packed bed. In non-Newtonian solutions, depletion interactions due to the polymers near the glass beads result in temporary adsorption of particles onto the bead surface, as indicated by a stretched-exponential distribution of residence times. Our results therefore suggest that the confined diffusive dynamics of nanoparticles in polymer solutions is controlled by two competing mechanisms: hydrodynamic interactions between particles and spatial obstacles, which dictate the long-time slowing of diffusion, and depletion interactions between particles and confining walls due to the macromolecules, which control transient adsorption and hence alter the statistics of the short-time motion.
A Setup for the Evaluation of MUSIC and LMS Algorithms for a Smart Antenna System (2007)

This paper presents practical design of a smart antenna system based on direction-of-arrival estimation and adaptive beamforming. Direction-of-arrival (DOA) estimation is based on the MUSIC algorithm for identifying the directions of the source signals incident on the sensor array comprising the smart antenna system. Adaptive beamforming is achieved using the LMS algorithm for directing the main beam towards the desired source signals and generating deep nulls in the directions of interfering signals. The smart antenna system designed involves a hardware part which provides real data measurements of the incident signals received by the sensor array. Results obtained verify the improved performance of the smart antenna system when the practical measurements of the signal environment surrounding the sensor array are used. This takes the form of sharper peaks in the MUSIC angular spectrum and deep nulls in the LMS array beampattern.
Instabilités dans les Plasmas Poussiéreux: Exploration par imagerie rapide (2012)

Poster
Security on the Farm: Safely Communicating with Legacy Agricultural Instrumentation (2019)

The notion of IoT has taken the farm by storm. Irrigation is controlled to the resolution of individual plants, fertilizer is dispensed based on yields from previous growing cycles, and livestock feed, water, and environment are all monitored and under automatic control. Much of the equipment that performs this monitoring and control, however, predates the Internet of Things, and integrating this legacy equipment into modern communication systems is fraught with issues, particularly security issues. We describe our approach to providing secure, ubiquitous connectivity to a variety of previously isolated systems on the farm, enabling these systems to safely become part of the IoT.
Detection of abnormalities in a human gait using smart shoes (2008)

Health monitoring systems require a means for detecting and quantifying abnormalities from measured signals. In this paper, a new method for detecting abnormalities in a human gait is proposed for an improved gait monitoring system for patients with walking problems. In the previous work, we introduced a fuzzy logic algorithm for detecting phases in a human gait based on four foot pressure sensors for each of the right and left foot. The fuzzy logic algorithm detects the gait phases smoothly and continuously, and retains all information obtained from sensors. In this paper, a higher level algorithm for detecting abnormalities in the gait phases obtained from the fuzzy logic is discussed. In the proposed algorithm, two major abnormalities are detected 1) when the sensors measure improper foot pressure patterns, and 2) when the human does not follow a natural sequence of gait phases. For mathematical realization of the algorithm, the gait phases are dealt with by a vector analysis method. The proposed detection algorithm is verified by experiments on abnormal gaits as well as normal gaits. The experiment makes use of the Smart Shoes that embeds four bladders filled with air, the pressure changes in which are detected by pressure transducers.
Table ST2 from ROS Induction Targets Persister Cancer Cells with Low Metabolic Activity in NRAS-Mutated Melanoma (2023)

&lt;p&gt;Table ST2: Summary of the clinical data corresponding to the primary cell cultures used in this publication&lt;/p&gt;
Investigation of the Hurkx model for simualtion of trap-assisted tunneling in narrow band semiconductor diodes. (2007)

Abstract not provided.
High Pulse Power Failure of Discrete Resistors (1975)

Theoretical and experimental studies have been conducted on discrete resistors to determine the; power required to cause failure as a function of pulse width over the range 1µs to 10 ms. Single pulses of increasing amplitude were applied until voltage breakdown occurred, the resistor shattered, or until a resistance change of 5% or more took place. Carbon composition (both slug and film type), wire-wound (both precision and power type) and film resistors were tested. Computer calculations, temperature cycling test,% and field plots were utilized to interpret the results.
« Vive la vélorution ! » : Le Monde à bicyclette et les origines du mouvement cycliste à Montréal, 1975-1980 (2015)

« Vive la vélorution ! » : Le Monde à bicyclette et les origines du mouvement cycliste à Montréal, 1975-1980. Un article de la revue Bulletin d'histoire politique (Le militantisme environnemental au Québec) diffusée par la plateforme Érudit.
Validity of the Diagnostic Interview Schedule for Detecting Alcoholism in Psychiatric Inpatients (1995)

This study examined the accuracy of the Diagnostic Interview Schedule (DIS) for indicating alcohol use disorder in a sample of patients hospitalized for depression. The Michigan Alcoholism Screening Test (MAST), with its established validity, was considered a good criterion against which to evaluate the DIS, and preferable to the clinician-assigned diagnosis in this regard. The rates of alcoholism in the sample were 31, 33, and 22.5% as yielded by the DIS, MAST, and physician's diagnosis of alcohol disorder, respectively. (The lower rate for physician's diagnosis may be due to the physician's not applying this diagnosis to recovered or currently abstinent alcohol patients.) Using the MAST's standard cutoff of five points as indicative of alcoholism, agreement with the DIS occurred in 91% of the cases, corresponding to a product moment coefficient of .79. It was concluded that the DIS alcoholism scale could be used, with reasonable confidence in its validity, for assessing alcoholism in psychiatric settings.
Uridine-Based Inhibitors as New Leads for Antibiotics Targeting Escherichia coli LpxC (2009)

The UDP-3-O-(R-3-hydroxyacyl)-N-acetylglucosamine deacetylase LpxC catalyzes the committed reaction of lipid A (endotoxin) biosynthesis in Gram-negative bacteria and is a validated antibiotic target. Although several previously described compounds bind to the unique acyl chain binding passage of LpxC with high affinity, strategies to target the enzyme's UDP-binding site have not been reported. Here the identification of a series of uridine-based LpxC inhibitors is presented. The most potent examined, 1-68A, is a pH-dependent, two-step, covalent inhibitor of Escherichia coli LpxC that competes with UDP to bind the enzyme in the first step of inhibition. Compound 1-68A exhibits a K(I) of 54 muM and a maximal rate of inactivation (k(inact)) of 1.7 min(-1) at pH 7.4. Dithiothreitol, glutathione and the C207A mutant of E. coli LpxC prevent the formation of a covalent complex by 1-68A, suggesting a role for Cys-207 in inhibition. The inhibitory activity of 1-68A and a panel of synthetic analogues identified moieties necessary for inhibition. 1-68A and a 2-dehydroxy analogue, 1-68Aa, inhibit several purified LpxC orthologues. These compounds may provide new scaffolds for extension of existing LpxC-inhibiting antibiotics to target the UDP binding pocket.
Reliability Studies on High-Temperature Operation of Mixed As/Sb Staggered Gap Tunnel FET Material and Devices (2013)

The reliability of structural and electrical properties of mixed As/Sb staggered gap tunnel field-effect transistors (TFETs) for high-temperature operation was comprehensively investigated from 25 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C to 150 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C. Temperature-dependent X-ray measurements showed identical strain relaxation of the active region, indicating that no additional dislocations were introduced at 150 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C. Symmetric 2-D surface crosshatch patterns before and after annealing suggested no significant structural properties change during high-temperature operation. No extra interdiffusion of species at the source/channel heterointerface was observed at 150 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C, confirmed by secondary ion mass spectrometry measurement. The leakage current of the fabricated reverse-biased p <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">+</sup> -i-n <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">+</sup> diode exponentially increased with increasing temperature due to Shockley-Read-Hall generation-recombination mechanism. The on-state drain current of the TFET device showed weak temperature dependence, and it decreased with increasing temperature from 25 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C to 100 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C due to the variation of Fermi distribution and the increase in channel resistance but increased from 100 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C to 150 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">°</sup> C due to the reduction of both band-gap energy and the effective tunneling barrier height. The subthreshold slope has a strong positive temperature-dependent property particularly at higher temperature due to trap-assisted tunneling process. These experimental results demonstrated stable structural properties and distinguished device characteristics of the mixed As/Sb staggered gap TFETs at higher operating temperature. The temperature-dependent structural and device properties of the mixed As/Sb staggered gap TFET highlight the importance of the reliability on high-temperature operation of TFETs for future low-power digital logic applications.
Coherent organization of electronic correlations as a mechanism to enhance and stabilize high-T C cuprate superconductivity (2017)

Strong diffusive or incoherent electronic correlations are the signature of the strange-metal normal state of the cuprate superconductors, with these correlations considered to be undressed or removed in the superconducting state. A critical question is if these correlations are responsible for the high-temperature superconductivity. Here, utilizing a development in the analysis of angle-resolved photoemission data, we show that the strange-metal correlations don't simply disappear in the superconducting state, but are instead converted into a strongly renormalized coherent state, with stronger normal state correlations leading to stronger superconducting state renormalization. This conversion begins well above T <sub>C</sub> at the onset of superconducting fluctuations and it greatly increases the number of states that can pair. Therefore, there is positive feedback--the superconductive pairing creates the conversion that in turn strengthens the pairing. Although such positive feedback should enhance a conventional pairing mechanism, it could potentially also sustain an electronic pairing mechanism.
ScanPUF: Robust ultralow-overhead PUF using scan chain (2013)

Physical Unclonable Functions (PUFs) have emerged as an attractive primitive to address diverse hardware security issues, such as chip authentication, intellectual property (IP) protection and cryptographic key generation. Existing PUFs, typically acquired and integrated in a design as a commodity, often incur considerable hardware overhead. Many of these PUFs also suffer from insufficient challenge-response pairs. In this paper, we propose ScanPUF, a novel PUF implementation using a common on-chip structure used for improving circuit testability, namely scan chain. It exploits path delay variations between the scan flip-flops in a scan chain to create high-quality (in terms of uniqueness and robustness) secret keys. Furthermore, since a scan chain provides large pool of scan paths to create a signature, we can achieve high volume of secret keys from each chip. Since it uses a prevalent on-chip structure, the overhead is extremely small (2.3% area of the RO-PUF), primarily contributed by small additional logic in the signature-generation cycle controller. Circuit-level simulation results with 1000 chips under inter- and intra-die process variations show high uniqueness of 49.9% average inter-die Hamming distance and good reproducibility of 5% intra-die Hamming distance below 85 °C. The temporal variations due to device aging effect e.g. bias temperature instability (BTI) lead to only 4% unstable bits for ten-year usage. The experimental evaluation on FPGA (Altera Cyclone-III) exhibits 47.1% average inter-Hamming distance, as well as 3.2% unstable bits at room temperature.
Formation Characteristics of the Commensurate Fluorite-Type Bi2O3−Nb2O5 Solid Solution (2005)

X-ray powder diffraction and transmission electron microscopy were used to investigate the formation characteristics and stability range of the tetragonal modification of a fluorite-type Bi2O3−Nb2O5 solid solution. The results showed that this tetragonal, commensurately modulated phase forms through the intermediate formation of the incommensurately modulated cubic fluorite phase followed by the incommensurate−commensurate transformation. This transformation can be described as a homogeneous nucleation with a temperature-dependent induction time and growth kinetics, which is determined by a growth rate of the tetragonal domains nucleated during the induction time. The homogeneity range of the tetragonal phase was found to extend between −0.2 ≤ y ≤ 0.04 for the general formula Bi3-yNb1+yO7+y. The tetragonal Bi3-yNb1+yO7+y phase is thermally stable up to the transition temperature where it transforms back to the cubic incommensurate phase. The transition temperature increases with Nb concentration from 750 °C for y = −0.2 to 920 °C for y = 0.04.
VEGF-C/VEGFRS and Cancer Metastasis (2006)

Vascular endothelial growth factor C (VEGF-C) is the only factor known causing lymphangiogenesis. We report herein the review of recent experimental studies on VEGF family and their receptors and the molecular mechanisms of the lymphangiogenesis in cancer. According to our study, VEGF-C is a potent stimulator in not only the angiogenesis but also the lymphangiogenesis on the chick chorioallantoic membrane. In the clinical specimens from gastric cancer, there is an intimate relationship between the VEGF receptor-3/VEGF-C tissue status and lymphagiogenesis. RT-PCR and immunohistological examinations demonstrated that VEGF-C was mainly produced from cancer cells and that VEGFR-3 expression was restricted in the endothelial cells of lymphatic vessels. VEGF-C and VEGFR-3 mRNA expression were positively correlated in primary gastric cancers and the number of VEGFR-3 positive lymphatic vessels in VEGF-C mRNA positive tumour was significantly larger than that in VEGF-C negative tumours. The number of such vessels in tumour stroma was closely related to the grade of lymphatic invasion of gastric cancer. Accordingly, we conclude that VEGF-C may induce the lymphatic neogenesis in the stroma of primary gastric cancer. In these circumstances, cancer cells can easily intravasate into the lymphatic vessels, because of the increase of the contact point of cancer cells with lymphatic vessels.
Versatile OPCPA Pump-Probe Laser System for the FLASH2 XUV FEL Beamline at DESY (2019)

Summary form only given. FLASH is currently the worldwide only high repetition-rate XUV and soft X-ray free-electron laser (FEL) facility, consisting of two simultaneously operating undulator beamlines FLASH1 and FLASH2 [1]. Here we report on the addition of a highly flexible, high repetition-rate femtosecond laser system for pump-probe experiments at the FLASH2 beamline.