pinecone/core-2020-05-10-deduplication huggingface dataset:
What inductive explanations could not be

Marc Lange argues that proofs by mathematical induction are generally not explanatory because inductive explanation is irreparably circular. He supports this circularity claim by presenting two putative inductive explanantia that are one another’s explananda. On pain of circularity, at most one of this pair may be a true explanation. But because there are no relevant differences between the two explanantia on offer, neither has the explanatory high ground. Thus, neither is an explanation. I argue that there is no important asymmetry between the two cases because they are two presentations of the same explanation. The circularity argument requires a problematic notion of identity of proofs. I argue for a criterion of proof individuation that identifies the two proofs Lange offers. This criterion can be expressed in two equivalent ways: one uses the language of homotopy type theory, and the second assigns algebraic representatives to proofs. Though I will concentrate on one example, a criterion of proof identity has much broader consequences: any investigation into mathematical practice must make use of some proof-individuation principle
The Optimal combination: Grammatical Swarm, Particle Swarm Optimization and Neural Networks.

Social behaviour is mainly based on swarm colonies, in which each individual shares its knowledge about the environment with other individuals to get optimal solutions. Such co-operative model differs from competitive models in the way that individuals die and are born by combining information of alive ones. This paper presents the particle swarm optimization with differential evolution algorithm in order to train a neural network instead the classic back propagation algorithm. The performance of a neural network for particular problems is critically dependant on the choice of the processing elements, the net architecture and the learning algorithm. This work is focused in the development of methods for the evolutionary design of artificial neural networks. This paper focuses in optimizing the topology and structure of connectivity for these networks
Introducing usability in a conceptual modeling-based software development process.

Usability plays an important role to satisfy users? needs. There are many recommendations in the HCI literature on how to improve software usability. Our research focuses on such recommendations that affect the system architecture rather than just the interface. However, improving software usability in aspects that affect architecture increases the analyst?s workload and development complexity. This paper proposes a solution based on model-driven development. We propose representing functional usability mechanisms abstractly by means of conceptual primitives. The analyst will use these primitives to incorporate functional usability features at the early stages of the development process. Following the model-driven development paradigm, these features are then automatically transformed into subsequent steps of development, a practice that is hidden from the analyst
Damping models in the truncated derivative nonlinear Schrödinger equation

Four-dimensional flow in the phase space of three amplitudes of circularly polarized Alfven waves and one relative phase, resulting from a resonant three-wave truncation of the derivative nonlinear Schrödinger equation, has been analyzed; wave 1 is linearly unstable with growth rate , and waves 2 and 3 are stable with damping 2 and 3, respectively. The dependence of gross dynamical features on the damping model as characterized by the relation between damping and wave-vector ratios, 2 /3, k2 /k3, and the polarization of the waves, is discussed; two damping models, Landau k and resistive k2, are studied in depth. Very complex dynamics, such as multiple blue sky\ud
catastrophes and chaotic attractors arising from Feigenbaum sequences, and explosive bifurcations involving Intermittency-I chaos, are shown to be associated with the existence and loss of stability of certain fixed point P of the flow. Independently of the damping model, P may only exist as against flow contraction just requiring.In the case of right-hand RH polarization, point P may exist for all models other than Landau damping; for the resistive\ud
model, P may exist for RH polarization only if 2+3/2
Induction of ER stress in response to oxygen-glucose deprivation of cortical cultures involves the activation of the PERK and IRE-1 pathways and of caspase-12

Disturbance of calcium homeostasis and accumulation of misfolded proteins in the endoplasmic reticulum (ER) are considered contributory components of cell death after ischemia. However, the signal-transducing events that are activated by ER stress after cerebral ischemia are incompletely understood. In this study, we show that caspase-12 and the PERK and IRE pathways are activated following oxygen-glucose deprivation (OGD) of mixed cortical cultures or neonatal hypoxia–ischemia (HI). Activation of PERK led to a transient phosphorylation of eIF2 α , an increase in ATF4 levels and the induction of gadd34 (a subunit of an eIF2 α -directed phosphatase). Interestingly, the upregulation of ATF4 did not lead to an increase in the levels of CHOP. Additionally, IRE1 activation was mediated by the increase in the processed form of xbp1, which would be responsible for the observed expression of edem2 and the increased levels of the chaperones GRP78 and GRP94. We were also able to detect caspase-12 proteolysis after HI or OGD. Processing of procaspase-12 was mediated by NMDA receptor and calpain activation. Moreover, our data suggest that caspase-12 activation is independent of the unfolded protein response activated by ER stress
Multiple bond 13C-13C spin-spin coupling provides complementary information in a 13C NMR isotopomer analysis of glutamate

Most 13C nuclear magnetic resonance (NMR) isotopomer analyses relate a metabolic index of interest to populations of 13C isotopomers as reported by one-bond 13C-13C spin-spin couplings. Metabolic conditions that produce highly enriched citric acid cycle intermediates often lead to 13C NMR spectra of metabolites such as glutamate that show extra multiplets due to long-range couplings. It can be demonstrated from 13C NMR spectra of hearts perfused with mixtures of acetate plus propionate that multiplets in glutamate C2 arising from 3J25 coupling provide a direct readout of acetyl-CoA fractional enrichment (FC1 and FC3), while multiplets in glutamate C5 arising from 2J35 and 3J25 couplings quantitatively reflect enrichment of the anaplerotic substrate. Magn Reson Med 42:197-200, 1999.  © 1999 Wiley-Liss, Inc.http://dx.doi.org/10.1002/(SICI)1522-2594(199907)42:1<197::AID-MRM26>3.0.CO;2-
Role of kainate receptor activation and desensitization on the [Ca2+]i changes in cultured rat hippocampal neurons

We investigated the role of kainate (KA) receptor activation and desensitization in inducing the increase in the intracellular free Ca2+ concentration ([Ca2+]i) in individual cultured rat hippocampal neurons. The rat hippocampal neurons in the cultures were shown to express kainate receptor subunits, KA2 and GluR6/7, either by immunocytochemistry or by immunoblot analysis. The effect of LY303070, an alpha-amino-3-hydroxy-5-methyl-isoxazole-4-propionate (AMPA) receptor antagonist, on the alterations in the [Ca2+]i caused by kainate showed cell-to-cell variability. The [Ca2+]i increase caused by kainate was mostly mediated by the activation of AMPA receptors because LY303070 inhibited the response to kainate in a high percentage of neurons. The response to kainate was potentiated by concanavalin A (Con A), which inhibits kainate receptor desensitization, in 82.1% of the neurons, and this potentiation was not reversed by LY303070 in about 38% of the neurons. Also, upon stimulation of the cells with 4-methylglutamate (MGA), a selective kainate receptor agonist, in the presence of Con A, it was possible to observe [Ca2+]i changes induced by kainate receptor activation, because LY303070 did not inhibit the response in all neurons analyzed. In toxicity studies, cultured rat hippocampal neurons were exposed to the drugs for 30 min, and the cell viability was evaluated at 24 hr using the 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide (MTT) assay. The selective activation of kainate receptors with MGA, in the presence of Con A, induced a toxic effect, which was not prevented by LY303070, revealing a contribution of a small subpopulation of neurons expressing kainate receptors that independently mediate cytotoxicity. Taken together, these results indicate that cultured hippocampal neurons express not only AMPA receptors, but also kainate receptors, which can modulate the [Ca2+]i and toxicity. J. Neurosci. Res. 65:378-386, 2001. © 2001 Wiley-Liss, Inc.http://dx.doi.org/10.1002/jnr.116
Mechanisms of Action of Carbamazepine and Its Derivatives, Oxcarbazepine, BIA 2-093, and BIA 2-024

Carbamazepine (CBZ) has been extensively used in the treatment of epilepsy, as well as in the treatment of neuropathic pain and affective disorders. However, the mechanisms of action of this drug are not completely elucidated and are still a matter of debate. Since CBZ is not very effective in some epileptic patients and may cause several adverse effects, several antiepileptic drugs have been developed by structural variation of CBZ, such as oxcarbazepine (OXC), which is used in the treatment of epilepsy since 1990. (S)-(-)-10-acetoxy-10,11-dihydro-5H-dibenz[b,f]azepine-5-carboxamide (BIA 2-093) and 10,11-dihydro-10-hydroxyimino-5H-dibenz[b,f]azepine-5-carboxamide (BIA 2-024), which were recently developed by BIAL, are new putative antiepileptic drugs, with some improved properties. In this review, we will focus on the mechanisms of action of CBZ and its derivatives, OXC, BIA 2-093 and BIA 2-024. The available data indicate that the anticonvulsant efficacy of these AEDs is mainly due to the inhibition of sodium channel activity.http://dx.doi.org/10.1023/A:101481492496
Nutrient cycling and plant dynamics in estuaries: A brief review

Eutrophication of European estuaries due to massive nutrient loading from urban areas and diffuse runoff from extensively cultivated land areas is analysed. Consequences for the ecology of estuaries, namely changes in plant species composition, which also affects heterotrophic organisms, are approached based on examples showing that the result is often a fundamental structural change of the ecosystem, from a grazing and/or nutrient controlled stable systems to unstable detritus/mineralisation systems, where the turnover of oxygen and nutrients is much more dynamic and oscillations between aerobic and anaerobic states frequently occur. Several relevant aspects are examined, namely the influence of rooted macrophytes on nutrient dynamics, by comparing bare bottom sediments with eelgrass covered sediments, primary production and the development of organic detritus, and hydrodynamics and its relations to the spatial distribution of macrophytes in estuarine systemshttp://dx.doi.org/10.1016/S1146-609X(99)00142-
Fatigue in laser shock peened open-hole thin aluminium specimens

An experimental study was performed in order to determine the influence of the sequence of operations on the effectiveness of Laser Shock Peening (LSP) treatment in increasing the fatigue performances of open-hole aluminium specimens. Residual stress measurements, fractographic analysis and FEM analysis were performed, indicating the presence of compressive residual stresses on the surface of the treated specimens and tensile residual stresses in the mid-section along the thickness of the specimens. Negative effects on fatigue lives were encountered on the specimens with the hole already present, while positive effect were observed in specimens in which the hole was drilled after LSP treatment. These results indicate that LSP can be a good solution for “in production” application, in which open holes are to be drilled after the LSP treatment. The application in which LSP is used “in service” on structures with pre-existing cut-outs, has proven to be impracticable in the investigated configuration
Discriminant Analysis of Geographical Origin of Cork Planks and Stoppers by Near Infrared Spectroscopy

The objective of this study was to assess the potential of visible and near infrared spectroscopy (VIS+NIRS) combined with multivariate analysis for identifying the geographical origin of cork. The study was carried out on cork planks and natural cork stoppers from the most representative cork-producing areas in the world. Two training sets of international and national cork planks were studied. The first set comprised a total of 479 samples from Morocco, Portugal, and Spain, while the second set comprised a total of 179 samples from the Spanish regions of Andalusia, Catalonia, and Extremadura. A training set of 90 cork stoppers from Andalusia and Catalonia was also studied. Original spectroscopic data were obtained for the transverse sections of the cork planks and for the body and top of the cork stoppers by means of a 6500 Foss-NIRSystems SY II spectrophotometer using a fiber optic probe. Remote reflectance was employed in the wavelength range of 400 to 2500 nm. After analyzing the spectroscopic data, discriminant models were obtained by means of partial least square (PLS) with 70% of the samples. The best models were then validated using 30% of the remaining samples. At least 98% of the international cork plank samples and 95% of the national samples were correctly classified in the calibration and validation stage. The best model for the cork stoppers was obtained for the top of the stoppers, with at least 90% of the samples being correctly classified. The results demonstrate the potential of VIS + NIRS technology as a rapid and accurate method for predicting the geographical origin of cork plank and stopper
Exact scattering matrix of graphs in magnetic field and quantum noise

We consider arbitrary quantum wire networks modelled by finite, noncompact,
connected quantum graphs in the presence of an external magnetic field.
  We find a general formula for the total scattering matrix of the network in
terms of its local scattering properties and its metric structure. This is
applied to a quantum ring with $N$ external edges. Connecting the external
edges of the ring to heat reservoirs, we study the quantum transport on the
graph in ambient magnetic field. We consider two types of dynamics on the ring:
the free Schr\"odinger and the free massless Dirac equations. For each case, a
detailed study of the thermal noise is performed analytically.
  Interestingly enough, in presence of a magnetic field, the standard linear
Johnson-Nyquist law for the low temperature behaviour of the thermal noise
becomes nonlinear. The precise regime of validity of this effect is discussed
and a typical signature of the underlying dynamics is observed.Comment: 27 page
Path Integral Bosonization of Massive GNO Fermions

We show the quantum equivalence between certain symmetric space sine-Gordon
models and the massive free fermions. In the massless limit, these fermions
reduce to the free fermions introduced by Goddard, Nahm and Olive (GNO) in
association with symmetric spaces $K/G$. A path integral formulation is given
in terms of the Wess-Zumino-Witten action where the field variable $g$ takes
value in the orthogonal, unitary, and symplectic representations of the group
$G$ in the basis of the symmetric space. We show that, for example, such a path
integral bosonization is possible when the symmetric spaces $K/G$ are $SU(N)
\times SU(N)/SU(N); N \le 3, ~ Sp(2)/U(2)$ or $SO(8)/U(4)$. We also address the
relation between massive GNO fermions and the nonabelian solitons, and explain
the restriction imposed on the fermion mass matrix due to the integrability of
the bosonic model.Comment: 11 page
Numerical simulation and experimental study of thrust air bearings with multiple orifices

http://dx.doi.org/10.1016/j.ijmecsci.2013.03.006The objective of this paper is to provide a numerical simulation and an experimental study in order to assess stiffness and damping characteristics of thrust air bearings with multiple orifices. Finite element modeling is used to solve the non-linear Reynolds equation while taking into account the movement equation for the bearing. The numerical results obtained show that performance characteristics are related to bearing design type. An experimental investigation allows us to analyze the behavior of thrust air bearings with several orifices as well as that of groove or porous material bearings. Frequency response measurements have been realized in order to compare the dynamic properties of the different bearings. The frequency responses obtained demonstrate that air bearings with multiple orifices have a damping higher than the other types in certain conditions. Air bearings with multiple orifices offer many advantages from a dynamic point of view. Their performance may be characterized not only by flow conditions but also by the number or diameter of the orifices in the bearing surface
A novel synthesis of tin oxide thin films by the sol-gel process for optoelectronic applications

A novel and simple chemical method based on sol-gel processing was proposed to deposit metastable orthorhombic tin oxide (SnOx) thin films on glass substrates at room temperature. The resultant samples are labeled according to the solvents used: ethanol (SnO-EtOH), isopropanol (SnO-IPA) and methanol (SnO-MeOH). The variations in the structural, morphological and optical properties of the thin films deposited using different solvents were characterized by X-ray diffraction, atomic force microscopy, Raman spectroscopy, Fourier transform infrared (FTIR) spectroscopy, UV-vis spectroscopy and photoluminescence (PL) analysis. The XRD patterns confirm that all the films, irrespective of the solvents used for preparation, were polycrystalline in nature and contained a mixed phases of tin (II) oxide and tin (IV) oxide in a metastable orthorhombic crystal structure. FTIR spectra confirmed the presence of Sn=O and Sn-O in all of the samples. PL spectra showed a violet emission band centered at 380 nm (3.25 eV) for all of the solvents. The UV-vis spectra indicated a maximum absorption band shown at 332 nm and the highest average transmittance around 97% was observed for the SnO-IPA and SnO-MeOH thin film samples. The AFM results show variations in the grain size with solvent. The structural and optical properties of the SnO thin films indicate that this method of fabricating tin oxide is promising and that future work is warranted to analyze the electrical properties of the films in order to determine the viability of these films for various transparent conducting oxide applications
Classification of continuous vertical ground reaction forces

The aim of this study is to assess and compare the performance of com- monly used hierarchical, partitional (k-means) and Gaussian model-based (Expectation-Maximization algorithm) clustering techniques to appropriately identify subgroup patterns within vertical ground reaction force data, using a continuous waveform analysis. In addition, we also compared the perfor- mance across each technique using normalized and non-normalization input scores. Both generated and real data (one hundred-and twenty two verti- cal jumps) were analyzed. The performance of each cluster technique was measured by assessing the ability to explain variances in jump height using a stepwise regression analysis. Only k-means (normalized scores; 82 %) and hierarchical clustering (normalized scores; 85 %) were able to extend the ability to describe variances in jump height beyond that achieved using the group analysis (i.e. one cluster; 78 %). Further, our findings strongly indicate the need to normalize the input data (similarity measure) when clustering. In contrast to the group analysis, the subgroup analysis was able to iden- tify cluster specific phases of variance, which improved the ability to explain variances in jump height, due to the identification of cluster specific predictor variables. Our findings therefore highlight the benefit of performing a subgroup analysis and may explain, at least in part, the contrasting findings between previous studies that used a single group level of analysis
Variegation and space weathering on asteroid 21 Lutetia

During the flyby in 2010, the OSIRIS camera on-board Rosetta acquired hundreds of high-resolution images of asteroid Lutetia's surface through a range of narrow-band filters. While Lutetia appears very bland in the visible wavelength range, Magrin et al. (2012) tentatively identified UV color variations in the Baetica cluster, a group of relatively young craters close to the north pole. As Lutetia remains a poorly understood asteroid, such color variations may provide clues to the nature of its surface. We take the color analysis one step further. First we orthorectify the images using a shape model and improved camera pointing, then apply a variety of techniques (photometric correction, principal component analysis) to the resulting color cubes. We characterize variegation in the Baetica crater cluster at high spatial resolution, identifying crater rays and small, fresh impact craters. We argue that at least some of the color variation is due to space weathering, which makes Lutetia's regolith redder and brighter
T-cell reprogramming through targeted CD4-coreceptor and T-cell receptor expression on maturing thymocytes by latent Circoviridae family member porcine circovirus type 2 cell infections in the thymus

Although porcine circovirus type 2 (PCV2)-associated diseases have been evaluated for known immune evasion strategies, the pathogenicity of these viruses remained concealed for decades. Surprisingly, the same viruses that cause panzootics in livestock are widespread in young, unaffected animals. Recently, evidence has emerged that circovirus-like viruses are also linked to complex diseases in humans, including children. We detected PCV2 genome-carrying cells in fetal pig thymi. To elucidate virus pathogenicity, we developed a new pig infection model by in vivo transfection of recombinant PCV2 and the immunosuppressant cofactor cyclosporine A. Using flow cytometry, immunofluorescence and fluorescence in situ hybridization, we found evidence that PCV2 dictates positive and negative selection of maturing T cells in the thymus. We show for the first time that PCV2-infected cells reside at the corticomedullary junction of the thymus. In diseased animals, we found polyclonal deletion of single positive cells (SPs) that may result from a loss of major histocompatibility complex class-II expression at the corticomedullary junction. The percentage of PCV2 antigen-presenting cells correlated with the degree of viremia and, in turn, the severity of the defect in thymocyte maturation. Moreover, the reversed T-cell receptor/CD4-coreceptor expression dichotomy on thymocytes at the CD4(+)CD8(interm) and CD4SP cell stage is viremia-dependent, resulting in a specific hypo-responsiveness of T-helper cells. We compare our results with the only other better-studied member of Circoviridae, chicken anemia virus. Our data show that PCV2 infection leads to thymocyte selection dysregulation, adding a valuable dimension to our understanding of virus pathogenicity
Indications from Precision Electroweak Physics Confront Theoretical
  Bounds on the Mass of the Higgs Boson

An updated fit to the precision electroweak data and to the direct
measurement of the top quark mass $m_t$ provides significant constraints on
$m_t$ and on the Higgs boson mass $M_H$: $m_t/\text{GeV}=172\pm 6$ and
$\log_{10}(M_H/\text{GeV})=2.16\pm 0.33$, with an error correlation $\rho=0.5$.
We integrate the $(M_H, m_t)$ probability distribution found in this analysis
over various zones of the $(M_H, m_t)$ plane defined by one-sided experimental
and theoretical bounds on the Higgs boson mass, both in the Standard Model and
in its minimal supersymmetric extension. The comparison of the cumulative
probabilities gives interesting information on the likelihood that the true
value of $M_H$ is compatible with different theoretical scenarios