pinecone/core-2020-05-10-deduplication huggingface dataset:
Correspondence Truth and Quantum Mechanics

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually the case at a certain moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen-Specker contradiction. In this respect, the Bub-Clifton ‘uniqueness theorem’ is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences
Re-examining the Darwinian Basis for Aldo Leopold’s Land Ethic

Many philosophers have become familiar with Leopold’s land ethic through the writings of J. Baird Callicott, who claims that Leopold bases his land ethic on a “protosociobiological” argument that Darwin gives in the Descent of Man.  On this view, which has become the canonical interpretation, Leopold’s land ethic is based on extending our moral sentiments to ecosystems.  I argue that the evidence weighs in favor of an alternative interpretation of Leopold; his reference to Darwin does not refer to the Descent, but rather to the Origin of Species, where Darwin discusses the interdependencies between organisms in the struggle for existence
Analytic behavior of the QED polarizability function at finite temperature

We revisit the analytical properties of the static quasi-photon polarizability function for an electron gas at finite temperature, in connection with the existence of Friedel oscillations in the potential created by an impurity. In contrast with the zero temperature case, where the polarizability is an analytical function, except for the two branch cuts which are responsible for Friedel oscillations, at finite temperature the corresponding function is non analytical, in spite of becoming continuous everywhere on the complex plane. This effect produces, as a result, the survival of the oscillatory behavior of the potential. We calculate the potential at large distances, and relate the calculation to the non-analytical properties of the polarizability
Inelastic Deformation of Conductive Bodies in Electromagnetic Fields

Inelastic deformation of conductive bodies under the action of electromagnetic fields is analyzed. Governing equations for non-stationary electromagnetic field propagation and elastic-plastic deformation are presented. The variational principle of minimum of the total energy is applied to formulate the numerical solution procedure by the finite element method. With the proposed method, distributions of vector characteristics of the electromagnetic field and tensor characteristics of the deformation process are illustrated for the inductor-workpiece system within a realistic electro-magnetic forming process
In situ control of Si(100) and Ge(100) surface preparation for the heteroepitaxy of III-V solar cell architectures

Si(100) and Ge(100) substrates essential for subsequent III-V integration were studied in the hydrogen ambient of a metalorganic vapor phase epitaxy reactor. Reflectance anisotropy spectroscopy (RAS) enabled us to distinguish characteristic configurations of vicinal Si(100) in situ: covered with oxide, cleaned by thermal removing in H2, and terminated with monohydrides when cooling in H2 ambient. RAS measurements during cooling in H2 ambient after the oxide removal process revealed a transition from the clean to the monohydride terminated Si(100) surface dependent on process temperature. For vicinal Ge(100) we observed a characteristic RA spectrum after annealing and cooling in H2 ambient. According to results from X-ray photo electron spectroscopy and Fourier-transform infrared spectroscopy the spectrum corresponds to the monohydride terminated Ge(100) surface
Effect of the cooling rate on microstructure and hardness of MAR-M247 Ni-based superalloy

The effect of cooling rate on the microstructure of MAR-M247 Ni-based superalloy was investigated via physical simulation of the casting process. Solidification experiments with cooling rates in the range of 0.25–10 K/s showed smooth temperature profiles with measured cooling rates matching the set values. The MAR-M247 showed cellular (0.25 K/s) and dendritic (1, 5 and 10 K/s) microstructures. Microconstituents also varied with cooling rates: γ/γ′ matrix with carbides and γ/γ′ eutectic at 0.25 K/s, γ/γ′ matrix with carbides at 1 K/s, and γ/γ′ matrix with carbides and γ/MC eutectic at 5 and 10 K/s. Moreover, the secondary dendritic arm spacing decreased and the hardness increased with the increase in the cooling rates
Explanatory Unification and the Early Synthesis

The object of this paper is to reply to Morrison’s (2000) claim that while “structural unity” was achieved at the level of the mathematical models of population genetics in the early synthesis, there was explanatory disunity.  I argue to the contrary, that the early synthesis effected by the founders of theoretical population genetics was unifying and explanatory both.  Defending this requires a reconsideration of Morrison’s notion of explanation.  In Morrison’s view, all and only answers to “why” questions which include the “cause or mechanism” for some phenomenon count as explanatory.  In my view, mathematical demonstrations that answer “how possibly” and “why necessarily” questions may also count as explanatory.  The authors of the synthesis explained how evolution was possible on a Mendelian system of inheritance, answered skepticism about the sufficiency of selection, and thus explained why and how a Darwinian research program was warranted.  While today we take many of these claims as obvious, they required argument, and part of the explanatory work of the formal sciences is providing such arguments.  Surely, Fisher and Wright had competing views as to the optimal means of generating adaptation.  Nevertheless, they had common opponents and a common unifying and explanatory goal that their mathematical demonstrations served
Pattern of mtDNA Variation in Three Populations from São Tomé e Príncipe

We have analysed the matrilineal genetic composition of three self-reported ethnic groups from São Tomé e Príncipe (Gulf of Guinea), an African archipelago whose settlement begun in the late fifteenth century. Sequence data from the hypervariable segments I (HVS-I) and II (HVS-II) were obtained for 30 Angolares, 35 Forros and 38 Tongas. The repertory of mtDNA lineages in São Tomé e Príncipe denoted a fully African maternal pool, primarily arisen from a Central/Southwestern substratum. The absence of any lineages of putative European descent means that the European impact at the mitochondrial pool was virtually nil. Angolares showed a clear reduction of mtDNA diversity and a slight genetic differentiation relative to Tongas or Forros, whereas the latter two groups did not present any signs of genetic boundaries between each other. The data obtained here reinforce the depiction of genetic substructuring in São Tomé e Príncipe previously derived from Y-chromosome STRs. In addition, the crossing of mtDNA and Y-STR information led to the inference that the female mediated gene flow within the archipelago was less restricted than the male, a pattern that could be framed in the cultural traditions and socio-historical interactions among the groups.http://dx.doi.org/10.1046/j.1529-8817.2003.00070.
Hepatic UDP-glucose 13C isotopomers from [U-13C]glucose: A simple analysis by 13C NMR of urinary menthol glucuronide

Menthol glucuronide was isolated from the urine of a healthy 70-kg female subject following ingestion of 400 mg of peppermint oil and 6 g of 99% [U-13C]glucose. Glucuronide 13C-excess enrichment levels were 4-6% and thus provided high signal-to-noise ratios (SNRs) for confident assignment of 13C-13C spin-coupled multiplet components within each 13C resonance by 13C NMR. The [U-13C]glucuronide isotopomer derived via direct pathway conversion of [U-13C]glucose to [U-13C]UDP-glucose was resolved from [1,2,3-13C3]- and [1,2-13C2]glucuronide isotopomers derived via Cori cycle or indirect pathway metabolism of [U-13C]glucose. In a second study, a group of four overnight-fasted patients (63 ± 10 kg) with severe heart failure were given peppermint oil and infused with [U-13C]glucose for 4 hr (14 mg/kg prime, 0.12 mg/kg/min constant infusion) resulting in a steady-state plasma [U-13C]glucose enrichment of 4.6% ± 0.6%. Menthol glucuronide was harvested and glucuronide 13C-isotopomers were analyzed by 13C NMR. [U-13C]glucuronide enrichment was 0.6% ± 0.1%, and the sum of [1,2,3-13C3] and [1,2-13C2]glucuronide enrichments was 0.9% ± 0.2%. From these data, flux of plasma glucose to hepatic UDPG was estimated to be 15% ± 4% that of endogenous glucose production (EGP), and the Cori cycle accounted for at least 32% ± 10% of GP. Magn Reson Med, 2006. © 2006 Wiley-Liss, Inc.http://dx.doi.org/10.1002/mrm.2105
Supercritical solvent impregnation of poly(ɛ-caprolactone)/poly(oxyethylene-b-oxypropylene-b-oxyethylene) and poly(ɛ-caprolactone)/poly(ethylene-vinyl acetate) blends for controlled release applications

Poly(ɛ-caprolactone) blends were successfully impregnated with timolol maleate, an anti-glaucoma drug, using a supercritical solvent impregnation (SSI) technique. Supercritical fluid impregnation efficiency results suggested that the best impregnating conditions were obtained when a cosolvent was used and when specific drug–polymer interactions occurred as a consequence of different chemical structures due to polymer blending. Pressure can be either a favourable factor, when there is enough drug affinity for the polymers, or an unfavourable factor when weaker bonding is involved. In order to determine the relative hydrophilicity/hydrophobicity of the blends, contact angle analysis was performed, while crystallinity determination was also useful to understand the obtained release profiles.

Drug loading, heterogeneous/homogeneous dispersion of drug inside the matrix, hydrophilicity, crystallinity, all seem to influence the obtained drug release rates. The “in vitro” release results suggested that a sustained drug release rate can be obtained by changing the SSI operational conditions and by modulating the composition of blends, as a mean to control crystallinity, hydrophilicity and drug affinity for the polymer matrix. After a first day burst release, all samples showed a sustained release profile (1.2–4 μg/(ml day), corresponding to a mass of 3–10 μg/day) which is between the therapeutic and toxic levels of timolol maleate, during a period of 1 month. These drug-loaded polymeric matrices can be a feasible alternative treatment modality for the conventional repeated daily administration of eye drops
The peroxisome proliferator-activated receptor γ coactivator 1α/β (PGC-1) coactivators repress the transcriptional activity of NF-κB in skeletal muscle cells

A persistent, low-grade inflammation accompanies many chronic diseases that are promoted by physical inactivity and improved by exercise. The beneficial effects of exercise are mediated in large part by peroxisome proliferator-activated receptor γ coactivator (PGC) 1α, whereas its loss correlates with propagation of local and systemic inflammatory markers. We examined the influence of PGC-1α and the related PGC-1β on inflammatory cytokines upon stimulation of muscle cells with TNFα, Toll-like receptor agonists, and free fatty acids. PGC-1s differentially repressed expression of proinflammatory cytokines by targeting NF-κB signaling. Interestingly, PGC-1α and PGC-1β both reduced phoshorylation of the NF-κB family member p65 and thereby its transcriptional activation potential. Taken together, the data presented here show that the PGC-1 coactivators are able to constrain inflammatory events in muscle cells and provide a molecular link between metabolic and immune pathways. The PGC-1s therefore represent attractive targets to not only improve metabolic health in diseases like type 2 diabetes but also to limit the detrimental, low-grade inflammation in these patients
New strategies invonving upconverting nanoparticles for determining moderate temperatures by luminescence thermometry

Producción CientíficaHere we analyze alternative luminescence thermometry techniques to FIR, such as intensity ratio luminescence thermometry between the emission arising from two electronic levels that are not necessarily thermally coupled, but that show different evolutions with temperature, and lifetime luminescence nanothermometry in (Ho,Tm,Yb):KLu(WO4)2 and (Er,Yb):NaY2F5O nanoparticles. (Ho,Tm,Yb):KLu(WO4)2 nanoparticles exhibited a maximum relative sensitivity of 0.61% K−1, similar to that achievable in Er-doped systems, which are the upconverting systems presenting the highest sensitivity. From another side, (Er,Yb):NaY2F5O nanocrystals show great potentiality as thermal sensors at the nanoscale for moderate temperatures due to the incorporation of additional non-radiative relaxation mechanisms that shorten the emission lifetime generated by the oxygen present in the structure when compared to (Er,Yb):NaYF4 nanoparticles exhibiting the highest upconversion efficiency. We used those nanoparticles for ex-vivo temperature determination by laser induced heating in chicken breast using lifetime-based thermometry. The results obtained indicate that these techniques might constitute alternatives to FIR with potential applications for the determination of moderate temperatures, with sensitivities comparable to those that can be achieved by FIR or even higher.Ministerio de Economía, Industria y Competitividad (Projects MAT2013-47395-C4-1-4-R, and TEC2014-55948-R)Catalan Government (Projects no. 2014SGR1358 and 2013FI_B 01032
The Positioning System of the ANTARES Neutrino Telescope

The ANTARES neutrino telescope, located 40km off the coast of Toulon in the
Mediterranean Sea at a mooring depth of about 2475m, consists of twelve
detection lines equipped typically with 25 storeys. Every storey carries three
optical modules that detect Cherenkov light induced by charged secondary
particles (typically muons) coming from neutrino interactions. As these lines
are flexible structures fixed to the sea bed and held taut by a buoy, sea
currents cause the lines to move and the storeys to rotate. The knowledge of
the position of the optical modules with a precision better than 10cm is
essential for a good reconstruction of particle tracks. In this paper the
ANTARES positioning system is described. It consists of an acoustic positioning
system, for distance triangulation, and a compass-tiltmeter system, for the
measurement of the orientation and inclination of the storeys. Necessary
corrections are discussed and the results of the detector alignment procedure
are described
The vacancy - edge dislocation interaction in fcc metals: a comparison
  between atomic simulations and elasticity theory

The interaction between vacancies and edge dislocations in face centered
cubic metals (Al, Au, Cu, Ni) is studied at different length scales. Using
empirical potentials and static relaxation, atomic simulations give us a
precise description of this interaction, mostly in the case when the separation
distance between both defects is small. At larger distances, elasticity theory
can be used to predict this interaction. From the comparison between both
approaches we obtain the minimal separation distance where elasticity applies
and we estimate the degree of refinement required in the calculation. In this
purpose, isotropic and anisotropic elasticity is used assuming a perfect or a
dissociated edge dislocation and considering the size effect as well as the
inhomogeneity interaction
Hydrostatic Equilibrium of a Perfect Fluid Sphere with Exterior
  Higher-Dimensional Schwarzschild Spacetime

We discuss the question of how the number of dimensions of space and time can
influence the equilibrium configurations of stars. We find that dimensionality
does increase the effect of mass but not the contribution of the pressure,
which is the same in any dimension. In the presence of a (positive)
cosmological constant the condition of hydrostatic equilibrium imposes a lower
limit on mass and matter density. We show how this limit depends on the number
of dimensions and suggest that $\Lambda > 0$ is more effective in 4D than in
higher dimensions. We obtain a general limit for the degree of compactification
(gravitational potential on the boundary) of perfect fluid stars in
$D$-dimensions. We argue that the effects of gravity are stronger in 4D than in
any other number of dimensions. The generality of the results is also
discussed
Positional disorder in ammonia borane at ambient conditions

We solve a long-standing experimental discrepancy of NH$_3$BH$_3$, which---as
a molecule---has a threefold rotational axis, but in its crystallized form at
room temperature shows a fourfold symmetry about the same axis, creating a
geometric incompatibility. To explain this peculiar experimental result, we
study the dynamics of this system with ab initio Car-Parrinello molecular
dynamics and nudged-elastic-band simulations. We find that rotations, rather
than spatial static disorder, at angular velocities of 2 rev/ps---a time scale
too small to be resolved by standard experimental techniques---are responsible
for the fourfold symmetry
Deforming grid generation and CFD analysis of variable geometry screw compressors

The most common type of twin screw machines are twin screw compressors. These normally contain rotors of uniform pitch and profile along the rotor length. However, in some cases such as in twin screw vacuum pumps with very large pressure ratios, the variable pitch rotors are often used to improve efficiency. The limited use of rotors with variable pitch and/or section profile is mainly due to manufacturing constraints. In order to analyse the performance of such machines by means of Computational Fluid Dynamics (CFD), it is necessary to produce a numerical mesh capable of calculating 3D transient fluid flows within their working domains.\ud
\ud
An algebraic grid generation algorithm applicable to unstructured grid, Finite Volume Method (FVM) for variable pitch and variable profile screw machines is described in this paper. The grid generation technique has been evaluated for an oil free air compressor with “N” profile rotors of 3/5 lobe configuration. The performance was obtained by calculations with commercial CFD code. The grid generation procedure provides mesh of the required quality and results from CFD calculations are presented to compare performance of constant pitch rotors, variable pitch rotors and variable profile rotors. The variable pitch and variable profile rotors achieve steeper internal pressure rise and a larger discharge area for the same pressure ratio. Variable pitch rotors achieve reduced sealing line length in high pressure domains
Correlation between thermal properties and aluminum fractions in CrAlN layers deposited by PVD technique

The CrAlN coatings are a good alternative to conventional CrN coatings especially for high temperature oxidation-resistance applications. Different CrAlN coatings were deposited on silicon (100) by PVD (Physical vapor deposition) technique from two targets (chromium and aluminum) in a reactive nitrogen atmosphere at aluminum applied negative voltage ( 300,  500,  700 and  900 V). The composition, structural, mechanical and thermal properties of the as-deposited coatings were systematically characterized by energy dispersive analysis of X-rays, X-ray diffraction, nanoindentation, and the ‘‘Mirage effect’’ experiments.
The X-ray diffraction (XRD) data show that in general CrAlN coatings were crystallized in the cubic NaCl B1 structure, with the (1 1 1) and (2 0 0) diffraction peaks observed. Two-dimensional surface morphologies of CrAlN coatings were investigated by atomic force microscope (AFM). The results show that with increasing aluminum proportion the coatings became more compact and denser and their increased correspondingly, showing a maximum hardness of about 36 GPa (30 at% of Al) which is higher than that of CrN. Moreover, the results in this work demonstrate that the variation of aluminum fraction alter the resulting columnar grain morphology and porosity of the coatings. However, the thermal properties are greatly affected by these morphological alterations. The correlation between aluminum fraction in CrAlN coatings and its thermal properties revealed that the conductivity and the diffusivity are influenced primarily by size and shape distribution of the pores and secondarily by a decrease of the stitch parameter dimension
Thermooxidative aging of polydicyclopentadiene in glassy state

Thermal aging of thin ﬁlms of unstabilized polydicyclopentadiene (pDCPD) at several temperatures ranging from 120 to 30 C was investigated by means of carbonyl build up by FTIR with ammonia derivatization, double bond titration, mass uptake measurement, hydroperoxides titration by iodometry and DSC coupled with sulfur dioxide treatment. In the temperature range under investigation, pDCPD is in glassy state and it oxidizes faster than common polymers oxidized at rubbery state (e.g. polydienic elastomers).
Using the kinetic analysis, these results were ascribed to increased initiation rate due to catalyst residues, some possible intramolecular processes favoring propagation, or a very low termination rate of oxidation radical chains because of the control of termination reactions by macroradical diffusion
MDevSPICE - A comprehensive solution for manufacturers and assessors of safety-critical medical device software

Software development is frequently challenged with quality concerns. One of the primary reasons for such issues is the very nature of the software development process. First, it can be difficult to accurately and completely identify the requirements for a software development product. Also, the implementation on various platforms and the need to integrate with sometimes unforeseeable additional systems adds complexity. For safety critical domains, such as the medical device and healthcare sectors, these hurdles are amplified. Whereas a failure in a desktop application may be resolved through a restart with no harm incurred, a failure in a medical device can have life threatening consequences. Our work in the Regulated Software Research Centre (RSRC) aims to support medical device producers in the production of safer medical device software. In this paper, we describe the MDevSPICE framework and how it addresses the safety concerns faced by medical device producers