2,505 research outputs found
Schede grafiche di rilievo, rappresentazione ed elaborazione fotografica della Cittadella di Ancona
No full textQuesto lavoro s'inquadra in quel programma di ricerche che l'Istituto di Disegno e Composizione della Facoltà d'Ingegneria dell'Università di Ancona sta perseguendo da anni nel settore della conoscenza e della salvaguardia del nostro patrimonio artistico ed ambientale
On Kolmogorov entropy compactness estimates for scalar conservation laws without uniform convexity
No full textIn the case of scalar conservation laws u_t +f(u)_x = 0; t > 0; x in R, with uniformly strictly convex flux, quantitative compactness estimates-in terms of Kolmogorov entropy in L^1_{loc}- were established in [C. De Lellis and F. Golse, Comm. Pure Appl. Math., 58 (2005), pp. 989{998; F. Ancona, O. Glass, and K. T. Nguyen, Comm. Pure Appl. Math., 65 (2012), pp. 1303{1329] for sets of entropy weak solutions evaluated at a fixed time t > 0, whose initial data have a uniformly bounded support and vary in a bounded subset of L1. These estimates reflct the irreversibility features of entropy weak discontinuous solutions of these nonlinear equations. We provide here an extension of such estimates to the case of scalar conservation laws with a smooth flux function f that either is strictly (but not necessarily uniformly) convex or has a single inflection point with a polynomial degeneracy
Le regole processuali dell'accertamento probatorio. Il dibattito contemporaneo al vaglio di un testo tommasiano
No full textThis essay deals with some procedural issues related
to the forensic pursuance of truth, especially
the latest law trends about the judge’s powers of
investigation and the prohibition of judge’s personal knowledge. In the second part the author
shows how the same problems are considered and
solved in an article of Aquinas’ Summa Theologiae
A Big Step from Finite to Infinite Computations (SCICO Journal-first)
No full textThe known is finite, the unknown infinite - Thomas Henry Huxley
The behaviour of programs can be described by the final results of computations, and/or their interactions with the context, also seen as observations. For instance, a function call can terminate and return a value, as well as have output effects during its execution.
Here, we deal with semantic definitions covering both results and observations. Often, such definitions are provided for finite computations only. Notably, in big-step style, infinite computations are simply not modelled, hence diverging and stuck terms are not distinguished. This becomes even more unsatisfactory if we have observations, since a non-terminating program may have significant infinite behaviour.
Recently, examples of big-step semantics modeling divergence have been provided [Davide Ancona et al., 2017; Davide Ancona et al., 2018] by means of generalized inference systems [Davide Ancona et al., 2017; Francesco Dagnino, 2019], which allow corules to control coinduction. Indeed, modeling infinite behaviour by a purely coinductive interpretation of big-step rules would lead to spurious results [Xavier Leroy and Hervé Grall, 2009] and undetermined observation, whereas, by adding appropriate corules, we can correctly get divergence (∞) as the only result, and a uniquely determined observation. This approach has been adopted in [Davide Ancona et al., 2017; Davide Ancona et al., 2018] to design big-step definitions including infinite behaviour for lambda-calculus and a simple imperative Java-like language. However, in such works the designer of the semantics is in charge of finding the appropriate corules, and this is a non-trivial task.
In this paper, we show a general construction that extends a given big-step semantics, modeling finite computations, to include infinite behaviour as well, notably by generating appropriate corules. The construction consists of two steps:
1) Starting from a monoid O modeling finite observations (e.g., finite traces), we construct an ω-monoid ⟨O, O_∞⟩ also modeling infinite observations (e.g., infinite traces). The latter structure is a variation of the notion of ω-semigroup [Dominique Perrin and Jean-Eric Pin, 2004], including a mixed product composing a finite with a possibly infinite observation, and an infinite product mapping an infinite sequence of finite observations into a single one (possibly infinite).
2) Starting from an inference system defining a big-step judgment c⇒⟨r, o⟩, with c denoting a configuration, r ∈ R a result, and o ∈ O a finite observation, we construct an inference system with corules defining an extended big-step judgment c⇒c ⇒ ⟨r_∞, o_∞⟩ with r_∞ ∈ R_∞ = R+{∞}, and o_∞ ∈ O_∞ a "possibly infinite" observation. The construction generates additional rules for propagating divergence, and corules for introducing divergence in a controlled way.
The exact corules added in the construction depend on the type of observations that one starts with. To show the effectiveness of our approach, we provide several instances of the framework, with different kinds of (finite) observations.
Finally, we prove a correctness result for the construction. To this end, we assume the original big-step semantics to be equivalent to (finite sequences of steps in) a reference small-step semantics, and we show that, by applying the construction, we obtain an extended big-step semantics which is still equivalent to the small-step semantics, where we consider possibly infinite sequences of steps.} As hypotheses, rather than {just} equivalence in the finite case {(which would be not enough)}, we assume a set of equivalence conditions between individual big-step rules and the small-step relation. This proof of equivalence holds for deterministic semantics; issues arising in the non-deterministic case and a possible solution are sketched in the conclusion of the full paper
Decomposition of homogeneous vector fields of degree one and representation of the flow
No full textSummary:
The paper gives a decomposition theorem for the elements of the nonsemisimple Lie algebra of the vector fields on that are homogeneous of degree one with respect to a dilation Each is proved to be equal to with and linear semisimple. As a consequence, the author proves that "in absence of esonance" the vector field is equivalent to its linear part. Finally, the above results are applied to obtain a representation formula for the trajectories of a vector field and those of the affine control system with constant of minimum degree
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations
No full textWe present an ongoing work on a proof-search procedure for Propositional Linear Temporal Logic (PLTL) based on a one-pass tableau calculus with a multiple-conclusion rule. The procedure exploits logical optimization rules to reduce the proof-search space. We also discuss the performances of a Prolog prototype of our procedure
Europan 5. Risultati europei. Pontili ad Ancona
No full textIl progetto pubblicato in catalogo è risultato vincitore sull'area di Ancona del concorso internazionale di progettazione Europan 5
Homogeneous Tangent Vectors and High Order Necessary Conditions for Optimal Controls
No full textSummary:
The author introduces and analyzes "homogeneous" tangent vectors which provide high-order approximations to the attainable set for an affine control system of the form . Homogeneous tangent vectors are defined relative to one-parameter families of dilations on . Adjoint equations associated with the corresponding homogeneous variational equation are derived and used to transport homogeneous tangent vectors along the flow of a reference trajectory. These constructions are then used to derive a homogeneous high-order test for optimality of control problems in Mayer form without terminal constraints. Essentially, it is shown that if is a homogeneous tangent vector with respect to a dilation generated by a control variation, then it is a necessary condition for optimality that , where denotes the solution of the corresponding homogeneous adjoint equation
Distribution and consistency of Ancona and Livorno poultry breed in Central Italy
No full textNowadays most of the Italian chickens’ breeds are replaced with commercial hybrids characterised by higher productive performance. However, the safeguard of biodiversity and consequently the genetic variability are a very important issue, and for this reason, it is fundamental to include local strains in preservation programs. In Italy, the poultry Genealogic Book has been recently constituted, and includes 22 chicken breeds. The diffusion of these strains is strictly linked to the territory of origin, in particular in the Central Italy, the Ancona and Livorno chicken breeds are the mainly widespread ones. The aim of this study was to determine the consistency and the characteristics of the farms involved in the farming of Ancona and Livorno chicken breeds in Central Italy. A survey to analyse the facilities, the human resources and the chicken population consistencies was conducted in the farms of Abruzzo, Lazio, Marche, Tuscany and Umbria regions. All the investigated farms can be identified as ‘hobby-farms’ being small scale ones and leading the breeding of Ancona and Livorno chickens as a secondary business. The survey also confirmed that the presence of the strains depends on the region: 100% of Marche farms bred Ancona whereas, in Tuscany the Livorno breed is the most common.Highlights A survey in centre Italy was carried out to determine the consistency of Ancona and Livorno chicken breeds; The Ancona and Livorno chickens breed were reared in small scale farms; The widespread of the breeds depend on the region: Ancona breed is most present in the Marche region while the Livorno is mainly bred in Tuscany
EUROPAN 5, Ancona. [email protected]
No full textIl progetto [email protected] è risultato vincitore del concorso internazionale Europan 5 ad Ancona ed è pubblicato sul catalogo dei risultati nazionali edito dal Ministero dei Lavori Pubblici- Segretariato Generale del CER (introduzione G. Storto, testi M. Vesco). La pubblicazione del catalogo nazionale dei risultati è disponibile al sito www.europan-italia.co
- …
