Search results for "example"
showing 10 items of 114 documents
Smart cities: Case studies
2016
Il capitolo mostra alcuni esempi di smart cities. Nel capitolo i casi di studio sono divisi in aree geografiche, che a livello macroscopico si riferiscono a diversi tipi di città e comunità in relazione a diversi livelli di innovazione tecnologica e tipo di capitale umano, che sono fattori chiave per raggiungere uno sviluppo smart. Le città di nuova costruzione sono città appartenenti all'area asiatica pianificate da zero per limitare emissioni nocive ed alzare la qualità della vita dei cittadini. Nel paragrafo sulle città del Nord Europa e quelle del Mediterraneo sono descritte città che possiedono alte caratteristiche storiche. Talvolta queste hanno poche possibilità - per le loro caratte…
Abnormal escape rates from nonuniformly hyperbolic sets
1999
Consider a $C^{1+\epsilon}$ diffeomorphism $f$ having a uniformly hyperbolic compact invariant set $\Omega$, maximal invariant in some small neighbourhood of itself. The asymptotic exponential rate of escape from any small enough neighbourhood of $\Omega$ is given by the topological pressure of $-\log |J^u f|$ on $\Omega$ (Bowen–Ruelle in 1975). It has been conjectured (Eckmann–Ruelle in 1985) that this property, formulated in terms of escape from the support $\Omega$ of a (generalized Sinai–Ruelle–Bowen (SRB)) measure, using its entropy and positive Lyapunov exponents, holds more generally. We present a simple $C^\infty$ two-dimensional counterexample, constructed by a surgery using a Bowe…
Oscillation results for second-order nonlinear neutral differential equations
2013
Published version of an article in the journal: Advances in Difference Equations. Also available from the publisher at: http://dx.doi.org/10.1186/1687-1847-2013-336 Open Access We obtain several oscillation criteria for a class of second-order nonlinear neutral differential equations. New theorems extend a number of related results reported in the literature and can be used in cases where known theorems fail to apply. Two illustrative examples are provided.
The forgotten mathematical legacy of Peano
2019
International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.
K-Translate - Interactive Multi-system Machine Translation
2016
The tool described in this article has been designed to help machine translation (MT) researchers to combine and evaluate various MT engine outputs through a web-based graphical user interface using syntactic analysis and language modelling. The tool supports user provided translations as well as translations from popular online MT system application program interfaces (APIs). The selection of the best translation hypothesis is done by calculating the perplexity for each hypothesis. The evaluation panel provides sentence tree graphs and chunk statistics. The result is a syntax-based multi-system translation tool that shows an improvement of BLEU scores compared to the best individual baseli…
WHEN DEDUCTION LEADS TO BELIEF
1995
The paper questions the common assumption that rational individuals believe all propositions which they know to be logical consequences of their other beliefs: although we must acknowledge the truth of a proposition which is a deductive consequence of our beliefs, we may not genuinely believe it. This conclusion is defended by arguing that some familiar counterexamples to the claim that knowledge is justified true belief fail because they involve propositions which are not really believed. Beliefs guide conduct or issue in assertion by answering questions which arise in the course of deliberation and conversation, but the troublesome cases present propositions which do not present the agent…
COMPUTER SIMULATION OF PROFILES OF INTERFACES BETWEEN COEXISTING PHASES: DO WE UNDERSTAND THEIR FINITE SIZE EFFECTS?
2000
Interfaces between coexisting phases are very common in condensed matter physics, and thus many simulations attempt to characterize their properties, in particular, the interfacial tension and the interfacial profile. However, while theory usually deals with the "intrinsic profile", the latter is not a straightforward output of a simulation: The actual profile (observed in simulations and/or experiments!) is broadened by lateral fluctuations. Therefore, in the usual simulation geometry of L × L × L (in three dimensions), where one chooses suitable boundary conditions to stabilize one or two interfaces of (minimal) area L × L, the profile (and in particular the interfacial width) depends on…
A holographic approach to low-energy weak interactions of hadrons
2011
We apply the double-trace formalism to incorporate nonleptonic weak interactions of hadrons into holographic models of the strong interactions. We focus our attention upon $\Delta S=1$ nonleptonic kaon decays. By working with a Yang-Mills--Chern-Simons 5-dimensional action, we explicitly show how, at low energies, one recovers the $\Delta S=1$ weak chiral Lagrangian for both the anomalous and nonanomalous sectors. We provide definite predictions for the low energy coefficients in terms of the AdS metric and argue that the double-trace formalism is a 5-dimensional avatar of the Weak Deformation Model introduced long ago by Ecker et al. As a significant phenomenological application, we reasse…
Supersymmetry does not imply mass degeneracy
2004
Abstract It is commonly believed that unbroken supersymmetry (SUSY) implies that all members of a supermultiplet have the same mass. We demonstrate that this is not true, by exhibiting a simple counterexample. We employ the formalism of homeotic fermions, in a simple model where CPT conjugate fermions have different masses. This model can be supersymmetrized to a hypermultiplet of fields which form a representation of the conventional N=2 SUSY algebra. Nevertheless, CPT conjugate states in this hypermultiplet have different masses. These surprising results do not violate either the CPT theorem or the Haag–Lopuszanski–Sohnius theorem.
Solution of the Lindblad equation in Kraus representation
2006
The so-called Lindblad equation, a typical master equation describing the dissipative quantum dynamics, is shown to be solvable for finite-level systems in a compact form without resort to writing it down as a set of equations among matrix elements. The solution is then naturally given in an operator form, known as the Kraus representation. Following a few simple examples, the general applicability of the method is clarified.