gebhart/patrepeval huggingface dataset:
Teaching machines to understand data science code by semantic enrichment of dataflow graphs (2018)

Your computer is continuously executing programs, but does it really understand them? Not in any meaningful sense. That burden falls upon human knowledge workers, who are increasingly asked to write and understand code. They deserve to have intelligent tools that reveal the connections between code and its subject matter. Towards this prospect, we develop an AI system that forms semantic representations of computer programs, using techniques from knowledge representation and program analysis. To create the representations, we introduce an algorithm for enriching dataflow graphs with semantic information. The semantic enrichment algorithm is undergirded by a new ontology language for modeling computer programs and a new ontology about data science, written in this language. Throughout the paper, we focus on code written by data scientists and we locate our work within a larger movement towards collaborative, open, and reproducible science.
Capability based Secure Access Control to Networked Storage Devices (2007)

Today, access control security for storage area networks (zoning and masking) is implemented by mechanisms that are inherently insecure, and are tied to the physical network components. However, what we want to secure is at a higher logical level independent of the transport network; raising security to a logical level simplifies management, provides a more natural fit to a virtualized infrastructure, and enables a finer grained access control. In this paper, we describe the problems with existing access control security solutions, and present our approach which leverages the OSD (Object-based Storage Device) security model to provide a logical, cryptographically secured, in-band access control for today's existing devices. We then show how this model can easily be integrated into existing systems and demonstrate that this in-band security mechanism has negligible performance impact while simplifying management, providing a clean match to compute virtualization and enabling fine grained access control.
Characterization of visually similar diffuse diseases from B-scan liver images using nonseparable wavelet transform (1998)

This paper describes a new approach for texture characterization, based on nonseparable wavelet decomposition, and its application for the discrimination of visually similar diffuse diseases of liver. The proposed feature-extraction algorithm applies nonseparable quincunx wavelet transform and uses energies of the transformed regions to characterize textures. Classification experiments on a set of three different tissue types show that the scale/frequency approach, particularly one based on the nonseparable wavelet transform, could be a reliable method for a texture characterization and analysis of B-scan liver images. Comparison between the quincunx and the traditional wavelet decomposition suggests that the quincunx transform is more appropriate for characterization of noisy data, and practical applications, requiring description with lower rotational sensitivity.
A binary image sensor with flexible motion vector detection using block matching method (2000)

No abstract available.
Functions with noise-induced multimodality: a test for evolutionary robust Optimization-properties and performance analysis (2006)

This paper proposes and analyzes a class of test functions for evolutionary robust optimization, the "functions with noise-induced multimodality" (FNIMs). After a motivational introduction gleaned from a real-world optimization problem, the robust optimizer properties of this test class are investigated with respect to different robustness measures. The steady-state behavior of evolution strategies on FNIMs will be investigated empirically. Being based on the empirical results, a subclass of FNIMs is identified which is amenable to an asymptotical performance analysis. The results of this analysis will be used to derive recommendations for the choice of strategy-specific parameters such as population size and truncation ratio
Lead exposure induces changes in 5-hydroxymethylcytosine clusters in CpG islands in human embryonic stem cells and umbilical cord blood (2015)

Prenatal exposure to neurotoxicants such as lead (Pb) may cause stable changes in the DNA methylation (5mC) profile of the fetal genome. However, few studies have examined its effect on the DNA de-methylation pathway, specifically the dynamic changes of the 5-hydroxymethylcytosine (5hmC) profile. Therefore, in this study, we investigate the relationship between Pb exposure and 5mC and 5hmC modifications during early development. To study the changes in the 5hmC profile, we use a novel modification of the Infinium™ HumanMethylation450 assay (Illumina, Inc.), which we named HMeDIP-450K assay, in an in vitro human embryonic stem cell model of Pb exposure. We model Pb exposure-associated 5hmC changes as clusters of correlated, adjacent CpG sites, which are co-responding to Pb. We further extend our study to look at Pb-dependent changes in high density 5hmC regions in umbilical cord blood DNA from 48 mother-infant pairs from the Early Life Exposure in Mexico to Environmental Toxicants (ELEMENT) cohort. For our study, we randomly selected umbilical cord blood from 24 male and 24 female children from the 1st and 4th quartiles of Pb levels. Our data show that Pb-associated changes in the 5hmC and 5mC profiles can be divided into sex-dependent and sex-independent categories. Interestingly, differential 5mC sites are better markers of Pb-associated sex-dependent changes compared to differential 5hmC sites. In this study we identified several 5hmC and 5mC genomic loci, which we believe might have some potential as early biomarkers of prenatal Pb exposure.
Runtime Verification over Out-of-order Streams (2019)

We present an approach for verifying systems at runtime. Our approach targets distributed systems whose components communicate with monitors over unreliable channels, where messages can be delayed, reordered, or even lost. Furthermore, our approach handles an expressive specification language that extends the real-time logic MTL with freeze quantifiers for reasoning about data values. The logic’s main novelty is a new three-valued semantics that is well suited for runtime verification as it accounts for partial knowledge about a system’s behavior. Based on this semantics, we present online algorithms that reason soundly and completely about streams where events can occur out of order. We also evaluate our algorithms experimentally. Depending on the specification, our prototype implementation scales to out-of-order streams with hundreds to thousands of events per second.
Electron spin resonance evidence for the structure of AgII and AgO solvates in acetonitrile (1986)

There are currently three quite disparate concepts concerning the structures of the solvates of AgII and AgO centres formed from solutions of AgI ions in acetonitrile. These are derived from e.s.r. and electron spin-echo modulation studies. We have now established that identical centres are formed from the crystalline derivative AgClO4(MeCN)4, whose crystal structure is known. Analysis of the e.s.r. spectra suggests that the original tetrahedral configuration with σ-bonded MeCN ligands is initially retained on electron addition, but that three of the four solvent molecules are lost on annealing or photolysis. Electron loss results in relaxation to give square planar coordination for the AgII centre, but the σ coordination is retained. We find no evidence for (π) coordination.
Anomalous permeation of the [P5W30O110 ]15- polyoxoanion in polyelectrolyte multilayer films (2012)

International audience
Implementation of Adenovirus-Mediated Pulmonary Expression of Human ACE2 in HLA Transgenic Mice Enables Establishment of a COVID-19 Murine Model for Assessment of Immune Responses to SARS-CoV-2 Infection (2021)

HLA transgenic mice are instrumental for evaluation of human-specific immune responses to viral infection. Mice do not develop COVID-19 upon infection with SARS-CoV-2 due to the strict tropism of the virus to the human ACE2 receptor. The aim of the current study was the implementation of an adenovirus-mediated infection protocol for human ACE2 expression in HLA transgenic mice. Transient pulmonary expression of the human ACE2 receptor in these mice results in their sensitisation to SARS-CoV-2 infection, consequently providing a valuable animal model for COVID-19. Infection results in a transient loss in body weight starting 3 days post-infection, reaching 20-30% loss of weight at day 7 and full recovery at days 11-13 post-infection. The evolution of the disease revealed high reproducibility and very low variability among individual mice. The method was implemented in two different strains of HLA immunized mice. Infected animals developed strong protective humoral and cellular immune responses specific to the viral spike-protein, strictly depending on the adenovirus-mediated human ACE2 expression. Convalescent animals were protected against a subsequent re-infection with SARS-CoV-2, demonstrating that the model may be applied for assessment of efficacy of anti-viral immune responses.
Printable Planar Dielectric Waveguides Based on High-Permittivity Films (2015)

Planar microwave components are very desirable for many applications and are mainly realized by metallic structures. In this work, a planar dielectric waveguide is proposed. A high-permittivity micrometer-size thick film is patterned on a low-loss microwave substrate and is considered as a nearly perfect magnetic wall to realize the waveguide structure. The permittivity contrast between the film and substrate is kept high (e.g., > 30) in order to minimize the leakage power, and consequently, the insertion loss. The waveguide structure is theoretically analyzed using an approximation method and the results are confirmed by a simulation-based numerical method. The impact of dielectric loss of the film in waveguide performance is much less than that of the substrate, allowing waveguides with films having a medium or high loss (e.g., ε <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">''</sup> = 3) result in a low insertion loss (e.g., up to 0.04 dB/mm at 40 GHz). Several prototypes are fabricated by screen-printing of barium-strontium-titanate (BST) pastes and characterized at 40 GHz. Using the extremely lossy BST film (tanδ = 0.2, ε <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">''</sup> = 70), the insertion loss of the waveguide is measured to be 0.18 dB/mm. Based on the current technologies, the printable planar dielectric waveguide can achieve 0.08 dB/mm in insertion loss. Further improvements are expected in the future as the materials and fabrication technologies progress.
Robotic in situ stiffness cartography of InP membranes by dynamic force sensing (2013)

Typical methods of measuring mechanical properties at the micro-scale are destructive, and do not allow proper characterisation on resonant MEMS/NEMS. In this paper, a cartography of local stiffness variations on a suspended micromembrane is established for the first time, by a tuning-fork-based dynamic force sensor inside a SEM. Experiments are conducted on InP membranes 200nm thin, using a 9-DoF nano-manipulation system, complemented with virtual reality and automation tools. Results provide stiffness values ranging from 0.6 to 3 N/m on a single sample.
Directional Control of Lateral Leakage in Thin-ridge Silicon-on-Insulator Waveguides (2011)

We present a method to control the direction of lateral leakage of Silicon-On-Insulator waveguide which is verified by full vector super-mode analysis. The results suggest new opportunities for device topologies inspired by antennas.
Nanoscale Frictional Dissipation into Shear-Stressed Polymer Relaxations (2009)

Sliding friction between a silicon tip and a highly cross-linked polyaryletherketone film is studied using friction force microscopy. The friction force as a function of temperature between 150 and 500 K shows distinctive maxima corresponding to alpha and beta polymer relaxations in dynamic mechanical analysis (DMA). In contrast to DMA, the nanoscale friction shows comparable coupling of mechanical energy to both relaxation modes. We report a strong shift in the peak temperatures with applied load. This effect is modeled with an Arrhenius activation by incorporating the applied shear stress in the effective activation energy of the two relaxations. The effect of the stress-shifted relaxation on friction-versus-load experiments is discussed.
Surface deformation time series and source modeling for a volcanic complex system based on satellite wide swath and image mode interferometry: The Lazufre system, central Andes (2009)

Author: Anderssohn, J. et al.; Genre: Conference Paper; Finally published : 2009; Keywords: surface deformation, time series, source modeling, volcanic, satellite wide swath, Lazufre system, Andes; Title: Surface deformation time series and source modeling for a volcanic complex system based on satellite wide swath and image mode interferometry: The Lazufre system, central Andes
It's Not Your Father's Cast House any More (2012)

This chapter contains sections titled: Introduction Critical Innovations Occurring in Casthouses over the Past 50 Years Innovation and Creativity Have a Place in the Casthouse of the Future Conclusion
Dihydroquinine Acetate (2005)

(R = Ac) [75917-54-3] C22H28N2O3 (MW 368.47) InChI = 1/C22H28N2O3/c1-4-15-13-24-10-8-16(15)11-21(24)22(27-14(2)25)18-7-9-23-20-6-5-17(26-3)12-19(18)20/h5-7,9,12,15-16,21-22H,4,8,10-11,13H2,1-3H3/t15-,16-,21+,22+/m0/s1 InChIKey = ZVEDOOXEZTUEBN-RZTYQLBFBQ (R = p-ClC6H4C(O)) [113162-88-9] C27H29ClN2O3 (MW 464.99) InChI = 1/C27H29ClN2O3/c1-3-17-16-30-13-11-19(17)14-25(30)26(33-27(31)18-4-6-20(28)7-5-18)22-10-12-29-24-9-8-21(32-2)15-23(22)24/h4-10,12,15,17,19,25-26H,3,11,13-14,16H2,1-2H3/t17-,19-,25+,26+/m0/s1 InChIKey = TXVNNFDXQZFMBQ-IPFQZCJUBZ (R = H) [522-66-7] C20H26N2O2 (MW 326.44) InChI = 1/C20H26N2O2/c1-3-13-12-22-9-7-14(13)10-19(22)20(23)16-6-8-21-18-5-4-15(24-2)11-17(16)18/h4-6,8,11,13-14,19-20,23H,3,7,9-10,12H2,1-2H3/t13-,14-,19+,20+/m0/s1 InChIKey = LJOQGZACKSYWCH-AFHBHXEDBO (asymmetric dihydroxylation;2 conjugate additions;3 carbonyl additions3) Alternate Name: DHQ-Ac. Physical Data: p-ClC6H4C(O): mp 130–133 °C; [α]d +150 ° (c = 1, EtOH). Solubility: p-ClC6H4C(O): sol CH2Cl2, Et2O, EtOH, EtOAc. Form Supplied in: the p-chlorobenzoate is available as a white foam. Preparative Methods: the acetate is prepared from dihydroquinine4 and the p-chlorobenzoate is commercially available. The phthalazine-derived bis(dihydroquinine) ligand is commercially available.5 A formulation of the standard reactants for the asymmetric dihydroxylation (AD-mix-α) on the small scale has been developed and is commercially available.6 AD-mix-α (1 kg) consists of potassium osmate (0.52 g), the phthalazine-derived ligand (5.52 g), K3Fe(CN)6 (700 g), and powdered K2CO3 (294 g). Purification: dihydroquinine p-chlorobenzoate is recovered after a dihydroxylation reaction using the same method as that described for Dihydroquinidine Acetate. Handling, Storage, and Precautions: toxic; use in a fume hood.
Characterization of IL-4 Receptor Components Expressed on Monocytes and Monocyte-derived Macrophages: Variation Associated with Differential Signaling by IL-4 (2001)

The anti-inflammatory effects of IL-4 on activated monocytes differ from those on monocyte-derived macrophages (MDMac). While IL-4 suppresses LPS-induced IL-1β, IL-12, IL-10 and TNFα production by monocytes, IL-4 suppresses only IL-1β and IL-12 production by MDMac. The U937 and Mono Mac 6 cell lines have similar cytokine responses to IL-4 as monocytes and MDMac, respectively. The IL-4Rα and IL-2Rγ (γc) chains are well-characterized components of the IL-4 receptor. Cross-linking studies with 1251-IL-4 revealed that for monocytes and U937 cells, the binding of IL-4 to the receptor components was approximately 1:1 for IL-4Rα: γc. In contrast, for MDMac and Mono Mac 6 cells that have a relative reduction in γc surface expression, the binding of IL-4 to IL-4Rα:γc was approximately 3:1. Furthermore, IL-4 induced IL-4Rα chain phosphorylation more rapidly in MDMac and Mono Mac 6 cells than in monocytes and U937 cells. This study identifies a correlation between altered 1251-IL-4 cross-linking to IL-4Rα: γc, IL-4-induced signaling and regulation of pro-inflammatory cytokine production by IL-4.
Amyloid-related changes of basal forebrain volume and precuneus functional connectivity in Subjective Cognitive Decline patients (2020)

Ziel/Aim To examine whether brain amyloidosis in Subjective Cognitive Decline (SCD) patients is associated with concurrent changes in two Alzheimer (AD) - related structural and functional MRI markers, cholinergic basal forebrain (BF) volume and precuneus resting-state functional connectivity (FC).
Doping dependence of the optical dielectric function in n-type germanium (2019)

The doping dependence of the most important optical transitions in n-type Ge (E0, Eind, E1, E1 + Δ1, E0′, and E2) has been studied using photoluminescence and UV-Vis ellipsometry methods. By using high activity Ge sources, such as Ge3H8 and Ge4H10, and new-generation doping precursors, including P(GeH3)3, As(GeH3)3, and SbD3, doping levels approaching 1.5 × 1020 cm−3 have been achieved with flat dopant profiles, abrupt n/i interfaces, and close-to-unity dopant activation ratios. The excellent sample quality enabled measurements over sufficiently broad doping ranges to demonstrate, contrary to prior assumptions, that the electronic energy bands do not shift rigidly upon doping and that the different contributions to bandgap renormalization are donor-dependent. It is also shown that simple models of band filling effects provide a quantitative explanation of the doping dependence of critical point parameters such as amplitudes and phase angles. The analysis presented here yields new insights into the physics of highly-doped semiconductor and should facilitate the design of novel Ge-based group-IV microelectronic and photoelectronic devices.
Rotational spectrum and structure of the linear HCN trimer (1988)

Microwave rotational spectra have been observed for 22 isotopic species of an HCN, hydrogen-bonded trimer with the pulsed nozzle, Fourier transform method using the Flygare/Balle Mark II spectrometer. The 14N nuclear quadrupole hyperfine structure was analyzed and the interaction constants and line centers determined. The line centers were fitted to obtain ground vibronic state rotational constants. For the normal isotopic species of (HCN)3, B0 was found to be 469.3073(1) MHz and DJ, 82.6(1) Hz. The quadrupole coupling constants χ(n) are −4.049(2), −4.251(2), and −4.375(1)MHz for n=1, 2, and 3, respectively, in HCN(1)HCN(2)HCN(3). The trimer has a linear or very near linear equilibrium structure. The B0’s are insensitive to the position and torsional oscillations of the central HCN but they determine the outer HCNs quite accurately. An isotopic substitution method gives R, the c.m. distance between the outer HCN’s, to be 8.790 Å in the 14–14–14 species. A slightly smaller value 8.788 Å is obtained from a fit of the B0’s which includes the effects of isotopic substitution on the H/D–C and C–N bond lengths in the monomer. The distance between c.m.(1) and c.m.(2) may be somewhat shorter (∼0.01 Å) than that between c.m.(2) and c.m.(3). The average c.m. separation in the trimer (4.395 Å) is halfway between that of the dimer (4.447 Å) which is known to be linear and the infinite linear chains in the solid (4.34 Å). It is shown that the smaller quadrupole coupling constants in the trimer compared to the monomer are caused by a combination of torsional and charge redistribution effects. The torsional vibrations have average angular displacements of 12.60° and 8.55° for HCN(1) and HCN(3). The charge redistribution effect upon χ in the trimer (6.5%) is about 1.8 times that in the HCN dimer. The dipole moment of the trimer was found to be 10.6 D, a value enhanced by 1.8 D over the vector sum of the three vibrating monomers (8.83 D), an enhancement about 1.7 times that of the dimer.
CNG Injector Nozzle Design and Flow Prediction (2010)

In the last few years, a great research effort has been made for developing and enhancing Direct Injection (DI) compressed natural gas (CNG) engines. A number of research projects has been promoted by the European Community (EC) in this field with the objectives of finding new solutions for the automotive market and also of encouraging a fruitful knowledge exchange among car manufacturers and technical universities. The present paper concerns part of the research activity that has been carried out at Politecnico di Torino (PT) within the EC VII Framework Program (FP) InGAS Integrated Project (IP). The target of the work was to support the design phase of a new injector for CNG direct injection, paying specific attention to the nozzle configuration and also to its behavior under different conditions and over runtime. The needle design was carried out with the aims of enhancing the injector reliability and reducing the injector internal friction, which usually causes injector wear due to the lack of lubrication effect with respect to liquid-fuel injectors. The new needle design concept which was considered in the present research project was oriented to maximize the contact area between the needle and its cartridge so as to reduce needle wear. For this reason, the injector feeding part was realized by means of two series of holes. The design was assisted by 3D numerical simulations which indicated the best feeding-hole number and geometry to obtain a maximum mass-flow rate. For this investigation, the needle was kept at its maximum lift and the feeding pressure was gradually increased up to the design rail pressure. The results indicated that the hole number remarkably influences the flow losses along the internal flow path and, in turn, the resultant mass-flow rate. These effects, along with the flow field characteristics inside the injector, are examined and discussed in detail throughout the paper.
Synthesis and Antitumor Activity of Pyrene‐Linked Pyrrolo[2,1‐c][1,4]benzodiazepine Hybrids. (2004)

Abstract For Abstract see ChemInform Abstract in Full Text.
Social Sensemaking with AI: Designing an Open-ended AI Experience with a Blind Child (2021)

AI technologies are often used to aid people in performing discrete tasks with well-defined goals (e.g., recognising faces in images). Emerging technologies that provide continuous, real-time information enable more open-ended AI experiences. In partnership with a blind child, we explore the challenges and opportunities of designing human-AI interaction for a system intended to support social sensemaking. Adopting a research-through-design perspective, we reflect upon working with the uncertain capabilities of AI systems in the design of this experience. We contribute: (i) a concrete example of an open-ended AI system that enabled a blind child to extend his own capabilities; (ii) an illustration of the delta between imagined and actual use, highlighting how capabilities derive from the human-AI interaction and not the AI system alone; and (iii) a discussion of design choices to craft an ongoing human-AI interaction that addresses the challenge of uncertain outputs of AI systems.