Search results for "dab"
showing 10 items of 1280 documents
Recycling of a starch-based biodegradable polymer
2002
A new starch-based polymeric system, ZI1OU from Novamont, mainly composed of starch and polycaprolactone, was reprocessed several times in an extruder to investigate the recyclability of this biodegradable polymer. A previous investigation of the thermomechanical degradation in a mixer has been also done. The degradation is mostly due to the thermal stress but the presence of the mechanical stress strongly increases the degradation kinetic. During melt processing two concurrent processes take place: the first is the degradation, i.e. the breaking and shortening of polymeric chains, mostly occurring in the PCL phase; the second is the formation of some crosslinked structure in the starch pha…
Progettazione e sviluppo del software R.A.D. per analisi FMECA
2012
Ad oggi l’analisi FMECA (Failure Modes, Effects and Criticality Analysis) si è dimostrata uno strumento di indagine molto utile per lo studio dell’affidabilità dei componenti dei vari sistemi di un impianto. Tuttavia, l’applicazione sistematica di tale metodologia, anche nel caso di impianti relativamente semplici, risulta onerosa in termini di risorse necessarie ai fini della sua conduzione e gestione. A supporto dell’analisi, esiste una buona varietà di software sviluppati per lo scopo, tuttavia spesso essi presentano alcune funzionalità selettive essendo dedicati all’impiego in ambiti specifici. Alla luce di tale limitazione si è pensato di realizzare e mettere a punto un software sempli…
Topological Logics with Connectedness over Euclidean Spaces
2013
We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…
The fluted fragment with transitive relations
2022
Abstract The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, we show that the satisfiability and finite satisfiability problems for this extension remain decidable. We also show that the corresponding problems in the…
Visibly pushdown modular games,
2014
Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is local to a module and is oblivious to previous module invocations, and thus does not depend on the context of invocation. In this work, we study for the first time modular strategies with respect to winning conditions that can be expressed by a pushdown automaton. We show that such games are undecidable in general, and become decidable for visibly pushdown automata specifications. Our solution relies on a reduction to modular games with finite-state automat…
Probabilistic and team PFIN-type learning: General properties
2008
We consider the probability hierarchy for Popperian FINite learning and study the general properties of this hierarchy. We prove that the probability hierarchy is decidable, i.e. there exists an algorithm that receives p_1 and p_2 and answers whether PFIN-type learning with the probability of success p_1 is equivalent to PFIN-type learning with the probability of success p_2. To prove our result, we analyze the topological structure of the probability hierarchy. We prove that it is well-ordered in descending ordering and order-equivalent to ordinal epsilon_0. This shows that the structure of the hierarchy is very complicated. Using similar methods, we also prove that, for PFIN-type learning…
Anti-powers in infinite words
2018
In combinatorics of words, a concatenation of $k$ consecutive equal blocks is called a power of order $k$. In this paper we take a different point of view and define an anti-power of order $k$ as a concatenation of $k$ consecutive pairwise distinct blocks of the same length. As a main result, we show that every infinite word contains powers of any order or anti-powers of any order. That is, the existence of powers or anti-powers is an unavoidable regularity. Indeed, we prove a stronger result, which relates the density of anti-powers to the existence of a factor that occurs with arbitrary exponent. As a consequence, we show that in every aperiodic uniformly recurrent word, anti-powers of ev…
The Fluted Fragment with Transitivity
2019
We study the satisfiability problem for the fluted fragment extended with transitive relations. We show that the logic enjoys the finite model property when only one transitive relation is available. On the other hand we show that the satisfiability problem is undecidable already for the two-variable fragment of the logic in the presence of three transitive relations.
Towards nonlocal density functionals by explicit modelling of the exchange-correlation hole in inhomogeneous systems
2013
We put forward new approach for the development of a non-local density functional by a direct modeling of the shape of exchange-correlation (xc) hole in inhomogeneous systems. The functional is aimed at giving an accurate xc-energy and an accurate corresponding xc-potential even in difficult near-degeneracy situations such as molecular bond breaking. In particular we demand that: (1) the xc hole properly contains -1 electron, (2) the xc-potential has the asymptotic -1/r behavior outside finite systems and (3) the xc-potential has the correct step structure related to the derivative discontinuities of the xc-energy functional. None of the currently existing functionals satisfies all these re…
Observation of Photon Polarization in theb→sγTransition
2014
This Letter presents a study of the flavor-changing neutral current radiative $B^{\pm} \to K^{\pm}\pi^{\mp}\pi^{\pm}\gamma$ decays performed using data collected in proton-proton collisions with the LHCb detector at $7$ and $8\,$TeV center-of-mass energies. In this sample, corresponding to an integrated luminosity of $3\,\text{fb}^{-1}$, nearly $14\,000$ signal events are reconstructed and selected, containing all possible intermediate resonances with a $K^{\pm}\pi^{\mp}\pi^{\pm}$ final state in the $[1.1, 1.9]\,$GeV/$c^{2}$ mass range. The distribution of the angle of the photon direction with respect to the plane defined by the final-state hadrons in their rest frame is studied in interva…