pinecone/core-2020-05-10-deduplication huggingface dataset:
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation

Tabled evaluation has proved to be an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. “Native” implementations of tabled evaluation offer good performance, but also require significant implementation effort, affecting compiler and abstract machine. Alternatively, program transformation-based implementations, such as the original continuation call (CCall) technique, offer lower implementation burden at some efficiency cost. A limitation of the original CCall proposal is that it limits the interleaving of tabled and non-tabled predicates and thus cannot be used for arbitrary programs. In this work we present an extension of the CCall technique that allows the execution of arbitrary tabled programs, as well as some performance results. Our approach offers a useful tradeoff that can be competitive with state-of-the-art implementations, while keeping implementation effort relatively low
Chaotic oscillations in a nearly inviscid, axisymmetric capillary bridge at 2:1 parametric resonance

We consider the 2:1 internal resonances (such that Ω1>0 and Ω2 ≃ 2Ω1 are natural frequencies) that appear in a nearly inviscid, axisymmetric capillary bridge when the slenderness Λ is such that 0<Λ<π (to avoid the Rayleigh instability) and only the first eight capillary modes are considered. A normal form is derived that gives the slow evolution (in the viscous time scale) of the complex amplitudes of the eigenmodes associated with Ω1 and Ω2, and consists of two complex ODEs that are balances of terms accounting for inertia, damping, detuning from resonance, quadratic nonlinearity, and forcing. In order to obtain quantitatively good results, a two-term approximation is used for the damping rate. The coefficients of quadratic terms are seen to be nonzero if and only if the eigenmode associated with Ω2 is even. In that case the quadratic normal form possesses steady states (which correspond to mono- or bichromatic oscillations of the liquid bridge) and more complex periodic or chaotic attractors (corresponding to periodically or chaotically modulated oscillations). For illustration, several bifurcation diagrams are analyzed in some detail for an internal resonance that appears at Λ ≃ 2.23 and involves the fifth and eighth eigenmodes. If, instead, the eigenmode associated with Ω2 is odd, and only one of the eigenmodes associated with Ω1 and Ω2 is directly excited, then quadratic terms are absent in the normal form and the associated dynamics is seen to be fairly simple
Interferometric inverse synthetic aperture radar experiment using an interferometric linear frequency modulated continuous wave millimetre-wave radar

D. Felguera-Martín,1 J.-T. González-Partida,1 P. Almorox-González,1 M. Burgos-García,1 and B.-P. Dorta-Naranjo2\ud
1Universidad Politécnica de Madrid, Ciudad Universitaria s/n, Grupo de Microondas y Radar. Departamento de Señales, Sistemas y Radiocomunicaciones, Madrid, Spain \ud
2Universidad de Las Palmas de Gran Canaria, Departamento de Señales y Comunicaciones, Las Palmas de Gran Canaria, Spain\ud
An interferometric linear frequency modulated continuous wave (LFMCW) millimetre-wave radar is presented, along with the results of an experiment conducted to study the feasibility of using it in a future millimetre-wave interferometric inverse synthetic aperture radar (InISAR) system. First, a description of the radar is given. Then, the signal processing chain is described, with special attention to the phase unwrapping technique. The interferometric phase is obtained by unwrapping the prominent target's phase in each antenna using a sliding frame processing technique. Cell migration issues in this method are also addressed. Simulations were carried out to illustrate and assess the processing chain and to show the effects of multipath echoes on the height measurement. In the real experiment, the range, speed and height of a moving target were tracked over consecutive inverse synthetic aperture radar (ISAR) image frames, verifying the performance of the whole system
Remarks on methods for the computation of boundary-element integrals by co-ordinate transformation

It is well known that the evaluation of the influence matrices in the boundary-element method requires the computation of singular integrals. Quadrature formulae exist which are especially tailored to the specific nature of the singularity, i.e. log(*- x0)9 Ijx- JC0), etc. Clearly the nodes and weights of these formulae vary with the location Xo of the singular point. A drawback of this approach is that a given problem usually includes different types of singularities, and therefore a general-purpose code would have to include many alternative formulae to cater for all possible cases. Recently, several authors1"3 have suggested a type independent alternative technique based on the combination of standard Gaussian rules with\ud
non-linear co-ordinate transformations. The transformation approach is particularly appealing in connection with the p.adaptive version, where the location of the collocation points varies at each step of the refinement process. The purpose of this paper is to analyse the technique in  eference 3. We show that this technique is asymptotically correct as the number of Gauss points increases. However, the method possesses a 'hidden' source of error that is analysed and can easily be removed
Three dimensional (3D) microstructure-based modeling of interfacial decohesion in particle reinforced metal matrix composites

Modeling and prediction of the overall elastic–plastic response and local damage mechanisms in heterogeneous materials, in particular particle reinforced composites, is a very complex problem. Microstructural complexities such as the inhomogeneous spatial distribution of particles, irregular morphology of the particles, and anisotropy in particle orientation after secondary processing, such as extrusion, significantly affect deformation behavior. We have studied the effect of particle/matrix interface debonding in SiC particle reinforced Al alloy matrix composites with (a) actual microstructure consisting of angular SiC particles and (b) idealized ellipsoidal SiC particles. Tensile deformation in SiC particle reinforced Al matrix composites was modeled using actual microstructures reconstructed from serial sectioning approach. Interfacial debonding was modeled using user-defined cohesive zone elements. Modeling with the actual microstructure (versus idealized ellipsoids) has a significant influence on: (a) localized stresses and strains in particle and matrix, and (b) far-field strain at which localized debonding takes place. The angular particles exhibited higher degree of load transfer and are more sensitive to interfacial debonding. Larger decreases in stress are observed in the angular particles, because of the flat surfaces, normal to the loading axis, which bear load. Furthermore, simplification of particle morphology may lead to erroneous results
High-quality conforming hexahedral meshes of patient-specific abdominal aortic aneurysms including their intraluminal thrombi

In order to perform finite element (FE) analyses of patient-specific abdominal aortic aneurysms, geometries derived from medical images must be meshed with suitable elements. We propose a semi-automatic method for generating conforming hexahedral meshes directly from contours segmented from medical images. Magnetic resonance images are generated using a protocol developed to give the abdominal aorta high contrast against the surrounding soft tissue. These data allow us to distinguish between the different structures of interest. We build novel quadrilateral meshes for each surface of the sectioned geometry and generate conforming hexahedral meshes by combining the quadrilateral meshes. The three-layered morphology of both the arterial wall and thrombus is incorporated using parameters determined from experiments. We demonstrate the quality of our patient-specific meshes using the element Scaled Jacobian. The method efficiently generates high-quality elements suitable for FE analysis, even in the bifurcation region of the aorta into the iliac arteries. For example, hexahedral meshes of up to 125,000 elements are generated in less than 130 s, with 94.8 % of elements well suited for FE analysis. We provide novel input for simulations by independently meshing both the arterial wall and intraluminal thrombus of the aneurysm, and their respective layered morphologies
The efficiency of surface-applied corrosion inhibitors as a method for the repassivation of corroded reinforcement bars embedded in ladle furnace slag mortars

Surface-applied corrosion inhibitors are investigated as an efficient method for the repassivation of corroded rebars embedded in mortar specimens, with ladle furnace slag. Prismatic specimens measuring 6 ?x 8 x? 2 cm3, into which 3 steel rebars had been embedded, were analyzed through electrochemical and gravimetric tests. The results show that the corrosion inhibitors are more  effective on the reference specimens than on the specimens with LFS and are capable of lowering corrosion rate in specimens with chloride ion percentages of 0.8%, but are not effective on any of the specimens with chloride ion percentages of 1.2% and 2.0% by weight of cement
The WULCA consensus characterization model for water scarcity footprints: assessing impacts of water consumption based on available water remaining (AWARE)

Purpose
Life cycle assessment (LCA) has been used to assess freshwater-related impacts according to a new water footprint framework formalized in the ISO 14046 standard. To date, no consensus-based approach exists for applying this standard and results are not always comparable when different scarcity or stress indicators are used for characterization of impacts. This paper presents the outcome of a 2-year consensus building process by the Water Use in Life Cycle Assessment (WULCA), a working group of the UNEP-SETAC Life Cycle Initiative, on a water scarcity midpoint method for use in LCA and for water scarcity footprint assessments.
Methods
In the previous work, the question to be answered was identified and different expert workshops around the world led to three different proposals. After eliminating one proposal showing low relevance for the question to be answered, the remaining two were evaluated against four criteria: stakeholder acceptance, robustness with closed basins, main normative choice, and physical meaning.
Results and discussion
The recommended method, AWARE, is based on the quantification of the relative available water remaining per area once the demand of humans and aquatic ecosystems has been met, answering the question “What is the potential to deprive another user (human or ecosystem) when consuming water in this area?” The resulting characterization factor (CF) ranges between 0.1 and 100 and can be used to calculate water scarcity footprints as defined in the ISO standard.
Conclusions
After 8 years of development on water use impact assessment methods, and 2 years of consensus building, this method represents the state of the art of the current knowledge on how to assess potential impacts from water use in LCA, assessing both human and ecosystem users’ potential deprivation, at the midpoint level, and provides a consensus-based methodology for the calculation of a water scarcity footprint as per ISO 14046
Cysteinyl-tRNA synthetase governs cysteine polysulfidation and mitochondrial bioenergetics

Cysteine hydropersulfide (CysSSH) occurs in abundant quantities in various organisms, yet little is known about its biosynthesis and physiological functions. Extensive persulfide formation is apparent in cysteine-containing proteins in Escherichia coli and mammalian cells and is believed to result from post-translational processes involving hydrogen sulfide-related chemistry. Here we demonstrate effective CysSSH synthesis from the substrate L-cysteine, a reaction catalyzed by prokaryotic and mammalian cysteinyl-tRNA synthetases (CARSs). Targeted disruption of the genes encoding mitochondrial CARSs in mice and human cells shows that CARSs have a crucial role in endogenous CysSSH production and suggests that these enzymes serve as the principal cysteine persulfide synthases in vivo. CARSs also catalyze co-translational cysteine polysulfidation and are involved in the regulation of mitochondrial biogenesis and bioenergetics. Investigating CARS-dependent persulfide production may thus clarify aberrant redox signaling in physiological and pathophysiological conditions, and suggest therapeutic targets based on oxidative stress and mitochondrial dysfunction
Mechanical and physico-chemical study of sulphur additives effect in milling of high strength steel

The authors would like to express their appreciation to the TOTAL France Company for the technical and financial contribution to this study and to Béatrice Vacher for TEM images.Most machining operations require the presence of a cutting fluid in order to ensure their success due to the intensity of thermal and mechanical conditions generated on the cutting tools. In some cases of severe machining, the fluid contributes to lubrication in a physicochemical way thanks to the additives it contains. This study aims to analyze the tribochemical mechanisms of lubrication during milling operations and subsequently at optimizing the lubricant formulation. The objective of this study is also to identify and to compare, the performance of various Extreme Pressure (EP) sulfur-containing additives, and to understand their action mechanisms in metal cutting. Physico-chemical analyses are carried out by means of Auger Electron Spectroscopy (AES) and X-ray Photoelectron Spectroscopy (XPS) with the purpose of detecting the nature of additive reaction products on the surfaces involved in cutting and correlating them with the milling results. The polysulfide additive is found to exhibit the best efficiency (decrease of specific cutting energy and tool wear) in the tested milling conditions. A correlation is found between the additive chemical reactivity and the milling test results.Thèse CIFRE TOTA
Salinicoccus salsiraiae sp. nov.: a new moderately halophilic gram-positive bacterium isolated from salted skate

Two moderately halophilic low G + C Gram-positive bacteria were isolated from a sample of salted skate (Class Chondrychthyes, Genus Raja). Phylogenetic analysis of the 16S rRNA gene sequence of strains RH1T and RH4 showed that these organisms represented a novel species of the genus Salinicoccus. The new isolates formed pink–red colonies and flocculated in liquid media, with optimum growth in media containing 4% NaCl and pH of about 8.0. These organisms are aerobic but reduce nitrate to nitrite under anaerobic conditions. Acid is produced from several carbohydrates. Oxidase and catalase were detected. Menaquinone 6 was the major respiratory quinone. The major fatty acids of strains RH1T and RH4 were 15:0 anteiso and 15:0 iso. The G + C contents of DNA were 46.2 and 46.0 mol%, respectively. The peptidoglycan was of A3alpha L-Lys-Gly5–6 type. On the basis of the phylogenetic analyses, physiological and biochemical characteristics, we suggest that strain RH1T (=LMG 22840 = CIP 108576) represents a new species of the genus Salinicoccus, for which we propose the name Salinicoccus salsiraiae.http://dx.doi.org/10.1007/s00792-006-0532-
ON THE LOGICAL POSITIVISTS’ PHILOSOPHY OF PSYCHOLOGY: \ud
LAYING A LEGEND TO REST

The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. It then traces the origins of the legend to the logical positivists’ idiosyncratic extensional or at best weakly intensional use of what are now considered crucially strongly intensional semantic notions, such as “translation,” “meaning” and their cognates, focussing on a particular instance of this latter phenomenon, arguing that a conflation of explicit definition and analyticity may be the chief source of the legend
Spectra in Standard-like Z_3 Orbifold Models

General features of the spectra of matter states in all 175 models found in a
previous work by the author are discussed. Only twenty patterns of
representations are found to occur. Accomodation of the Minimal Supersymmetric
Standard Model (MSSM) spectrum is addressed. States beyond those contained in
the MSSM and nonstandard hypercharge normalization are shown to be generic,
though some models do allow for the usual hypercharge normalization found in
SU(5) embeddings of the Standard Model gauge group. The minimum value of the
hypercharge normalization consistent with accomodation of the MSSM is
determined for each model. In some cases, the normalization can be smaller than
that corresponding to an SU(5) embedding of the Standard Model gauge group,
similar to what has been found in free fermionic models. Bizzare hypercharges
typically occur for exotic states, allowing for matter which does not occur in
the decomposition of SU(5) representations---a result which has been noted many
times before in four-dimensional string models. Only one of the twenty patterns
of representations, comprising seven of the 175 models, is found to be without
an anomalous U(1). The sizes of nonvanishing vacuum expectation values induced
by the anomalous U(1) are studied. It is found that large radius moduli
stabilization may lead to the breakdown of sigma-model perturbativity. Various
quantities of interest in effective supergravity model building are tabulated
for the set of 175 models. In particular, it is found that string moduli masses
appear to be generically quite near the gravitino mass. String scale gauge
coupling unification is shown to be possible, albeit contrived, in an example
model. The intermediate scales of exotic particles are estimated and the degree
of fine-tuning is studied.Comment: 73 Page
The Asymptotic Method Developed from Weak Turbulent Theory and the Nonlinear Permeability and Damping Rate in QGP

With asymptotic method developed from weak turbulent theory, the kinetic equations for QGP are expanded in fluctuation field potential $A^T_\mu $. Considering the second-order and third-order currents, we derive the nonlinear permeability tensor function from Yang-Mills field equation, and find that the third-order current is more important in turbulent theory. The nonlinear permeability formulae for longitudinal color oscillations show that the non-Abelian effects are more important than the Abelian-like effects. To compare with other works, we give the numerical result of the damping rate for the modes with zero wave vector
Structure of Real and Virtual Photons from ZEUS

Measurements sensitive to the structure of both real and virtual photons are presented and compared to theoretical models with various photon parton distribution functions (PDFs). Measurements for real photons show a tendency for the available photon PDFs to be too small to describe the data. For virtual photons, the photon PDF is seen to decrease with increasing photon virtuality. In order to describe the data, resolved photon processes are required up to a photon virtuality of at least 4.5 GeV^2
A Bound Quantum Particle in a Riemann-Cartan space with Topological
  Defects and Planar Potential

Starting from a continuum theory of defects, that is the analogous to
three-dimensional Einstein-Cartan-Sciama-Kibble gravity, we consider a charged
particle with spin 1/2 propagating in a uniform magnetic field coincident with
a wedge dispiration of finite extent. We assume the particle is bound in the
vicinity of the dispiration by long range attractive (harmonic) and short range
(inverse square) repulsive potentials. Moreover, we consider the effects of
spin-torsion and spin-magnetic field interactions. Exact expressions for the
energy eigenfunctions and eigenvalues are determined. The limit, in which the
defect region becomes singular, is considered and comparison with the
electromagnetic Aharonov-Bohm effect is made.Comment: 10 page
CD1c bypasses lysosomes to present a lipopeptide antigen with 12 amino acids

The recent discovery of dideoxymycobactin (DDM) as a ligand for CD1a demonstrates how a nonribosomal lipopeptide antigen is presented to T cells. DDM contains an unusual acylation motif and a peptide sequence present only in mycobacteria, but its discovery raises the possibility that ribosomally produced viral or mammalian proteins that commonly undergo lipidation might also function as antigens. To test this, we measured T cell responses to synthetic acylpeptides that mimic lipoproteins produced by cells and viruses. CD1c presented an N-acyl glycine dodecamer peptide (lipo-12) to human T cells, and the response was specific for the acyl linkage as well as the peptide length and sequence. Thus, CD1c represents the second member of the CD1 family to present lipopeptides. lipo-12 was efficiently recognized when presented by intact cells, and unlike DDM, it was inactivated by proteases and augmented by protease inhibitors. Although lysosomes often promote antigen presentation by CD1, rerouting CD1c to lysosomes by mutating CD1 tail sequences caused reduction in lipo-12 presentation. Thus, although certain antigens require antigen processing in lysosomes, others are destroyed there, providing a hypothesis for the evolutionary conservation of large CD1 families containing isoforms that survey early endosomal pathways
Leakage flow simulation in a specific pump model

This paper deals with the influence of leakage flow existing in SHF pump model on
the analysis of internal flow behaviour inside the vane diffuser of the pump model performance using both experiments and calculations. PIV measurements have been performed at different hub to shroud planes inside one diffuser channel passage for a given speed of rotation and various flow rates. For each operating condition, the PIV measurements have been trigged with different angular impeller positions. The performances and the static pressure rise of the diffuser were also measured using a three-hole probe. The numerical simulations were carried out with Star CCM+ 8.06 code (RANS frozen and unsteady calculations). Comparisons between numerical and experimental results are presented and discussed for three flow rates.
The performances of the diffuser obtained by numerical simulation results are compared to the performances obtained by three-hole probe indications. The comparisons show few influence of fluid leakage on global performances but a real improvement concerning the efficiency of the impeller, the pump and the velocity distributions. These results show that leakage is an important parameter that has to be taken into account in order to make improved comparisons between numerical approaches and experiments in such a specific model set up
Real-time event classification in field sport videos

The paper presents a novel approach to real-time event detection in sports broadcasts. We present how the same underlying audio-visual feature extraction algorithm based on new global image descriptors is robust across a range of different sports alleviating the need to tailor it to a particular sport. In addition, we propose and evaluate three different classifiers in order to detect events using these features: a feed-forward neural network, an Elman neural network and a decision tree. Each are investigated and evaluated in terms of their usefulness for real-time event classification. We also propose a ground truth dataset together with an annotation technique for performance evaluation of each classifier useful to others interested in this problem