691 research outputs found
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics
A degenerate Arnold diffusion mechanism in the Restricted 3 Body Problem
A major question in dynamical systems is to understand the mechanisms driving
global instability in the 3 Body Problem (3BP), which models the motion of
three bodies under Newtonian gravitational interaction. The 3BP is called
restricted if one of the bodies has zero mass and the other two, the primaries,
have strictly positive masses . We consider the Restricted Planar
Elliptic 3 Body Problem (RPE3BP) where the primaries revolve in Keplerian
ellipses. We prove that the RPE3BP exhibits topological instability: for any
values of the masses (except ), we build orbits along which
the angular momentum of the massless body experiences an arbitrarily large
variation provided the eccentricity of the orbit of the primaries is positive
but small enough.
In order to prove this result we show that a degenerate Arnold Diffusion
Mechanism, which moreover involves exponentially small phenomena, takes place
in the RPE3BP. Our work extends the result obtained in \cite{MR3927089} for the
a priori unstable case , to the case of arbitrary masses
, where the model displays features of the so-called \textit{a
priori stable} setting
Datasets for transcriptomics, q-proteomics and phenotype microarrays of polyphosphate metabolism mutants from Escherichia coli
Indexación: Scopus.Author acknowledges Fondecyt Grants 1120209, 1121170 and Anillo ACT-1107Here, we provide the dataset associated with our research article on the polyphosphate metabolism entitled, “Multi-level evaluation of Escherichia coli polyphosphate related mutants using global transcriptomic, proteomic and phenomic analyses”. By integrating different omics levels (transcriptome, proteome and phenome), we were able to study Escherichia coli polyphosphate mutant strains (Δppk1, Δppx, and Δppk1-ppx). We have compiled here all datasets from DNA microarrys, q-proteomic (Isotope-Coded Protein Labeling, ICPL) and phenomic (Phenotype microarray) raw data we have obtained in all polyP metabolism mutants.http://www.sciencedirect.com/science/article/pii/S2352340917300860?via%3Dihu
Recovery of wastes by pyrolysis: effect of experimental conditions
This work aimed to study the recovery of three types of waste by the process of pyrolysis: biomass, plastics and used tyres. The effects of experimental conditions in products yield and composition were studied. The increase of reaction time increased alkane content both in gas phase from 53% to 70% v/v and in liquid fraction from 48% to 60% w/w. The rise of reaction temperature led to a decrease of liquid yield (from 82% to 73% w/w), which was followed by the increase of solids and gases. The increase of reaction temperature also allowed the increase of the alkane content in gas phase from 39% to 70% v/v. The increase of initial pressure did not lead to appreciable variations in product yields or composition. The parameter that most affected products yield and composition was plastics content on the wastes initial mixture. The enhancement of this parameter increased liquids yield from 33% to 92% w/w, at the expenses of solids and gases contents and also decreased aromatics contents from 52% to 28% w/w
Numerical modelling of an enhanced perpendicular transport regime in the scrape-off layer of ASDEX Upgrade
Relational semantics for the 4-valued relevant logics BN4 and E4
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics
Study of the slow batch pyrolysis of mixtures of plastics, tyres and forestry biomass wastes. Effect of experimental conditions in the liguid compounds
In this work was studied the effect of experimental conditions in the production of liquid
compounds from slow batch pyrolysis of mixtures of plastics, tires and pines wastes. The major
compounds formed were toluene, ethylbenzene, and linear alkanes from C5 to C10 (each reaching
yields around 5% w/w of the initial waste mixture). The pyrolysis reaction time and temperature
improved the production of those species, while decreasing heavier alkanes formation. An increase
of plastics content in waste mixture seemed to favour the production of lighter alkanes, although
this effect was not as notorious as the ones just mentioned. The styrene production decreased
regularly with the decrease of tyres content in the mixture. Autoclave initial pressure variation did
not seem to affect significantly the formation of the major compounds
Plasma Proteomics: optimized experimental design in cardiovascular disease
Comunicaciones a congreso
- …