Search results for "RAMS"

LA SIMULAZIONE TERMICA DEGLI EDIFICI IN REGIME DINAMICO: UN CASO STUDIO PER LA VALIDAZIONE DEL SOFTWARE ESP-R

2008

Inductive types in homotopy type theory

2012

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…

Sequentializing Parameterized Programs

2012

We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…

Quantum GestART: Identifying and Applying Correlations between Mathematics, Art, and Perceptual Organization

2020

Mathematics can help analyze the arts and inspire new artwork. Mathematics can also help make transformations from one artistic medium to another, considering exceptions and choices, as well as artists' individual and unique contributions. We propose a method based on diagrammatic thinking and quantum formalism. We exploit decompositions of complex forms into a set of simple shapes, discretization of complex images, and Dirac notation, imagining a world of "prototypes" that can be connected to obtain a fine or coarse-graining approximation of a given visual image. Visual prototypes are exchanged with auditory ones, and the information (position, size) characterizing visual prototypes is con…

General framework for testing Poisson-Voronoi assumption for real microstructures

2020

Modeling microstructures is an interesting problem not just in Materials Science but also in Mathematics and Statistics. The most basic model for steel microstructure is the Poisson-Voronoi diagram. It has mathematically attractive properties and it has been used in the approximation of single phase steel microstructures. The aim of this paper is to develop methods that can be used to test whether a real steel microstructure can be approximated by such a model. Therefore, a general framework for testing the Poisson-Voronoi assumption based on images of 2D sections of real metals is set out. Following two different approaches, according to the use or not of periodic boundary conditions, thre…

I due carceri di Gramsci. La prigione fascista e il labirinto comunista

2012

Avoiding strange attractors in efficient parametric families of iterative methods for solving nonlinear problems

2019

[EN] Searching zeros of nonlinear functions often employs iterative procedures. In this paper, we construct several families of iterative methods with memory from one without memory, that is, we have increased the order of convergence without adding new functional evaluations. The main aim of this manuscript yields in the advantage that the use of real multidimensional dynamics gives us to decide among the different classes designed and, afterwards, to select its most stable members. Moreover, we have found some elements of the family whose behavior includes strange attractors of different kinds that must be avoided in practice. In this sense, Feigenbaum diagrams have resulted an extremely …

Absorption of European Funds by Romania

2014

Abstract The European Union provides financial support to all Member States through structural instruments (Structural Funds) and the Fund for Agriculture. Nationally, each Member State has to set up operational programs (SOP) in accordance with European requirements to access the available money. In the current multiannual financial exercise there are 7 SOP, plus the agriculture program. The absorption level of European funds for the current financial period - 2007-2013 - is low for several reasons: lack of strategic vision for programming development, poor quality of projects, excessive bureaucracy, lack of optimization of financial flows etc. For the upcoming 2014-2020 financial programm…

Policy on palliative care in the WHO European region: an overview of progress since the Council of Europe’s (2003) recommendation 24

2015

Background: With the goal of achieving greater unity and coherence, the Council of Europe developed a national palliative care (PC) policy framework—Recommendation (2003) 24. Although directed at member states, the policy spread to the wider World Health Organisation (WHO) European Region. This article aims to present the current situation relating to national PC health policies in European countries. Methods: A cross-sectional survey was conducted in 53 European countries of the WHO European Region. Relevant data reported (i) the existence of official documents concerning the provision of PC; (ii) the role of health departments and policymakers in the evaluation of PC provision and (iii) t…

Gramsci and Wittgenstein: an intriguing connection

2010

In the preface to the Philosophische Untersuchungen Wittgenstein writes that he owes to the Italian professor of economics Piero Sraffa "the most important ideas contained in the book". As Sraffa has not writed anything on language, this statement was never given a detailed content. Amartya Sen, who knew the Italian economist during the years spent in Cambridge as a PhD student, in an article (2003) suggests that, during his conversations with Wittgenstein, Sraffa made use of philosophical-linguistic ideas he had learned from Gramsci, while he worked as a student in Turin for the newspaper "Ordine Nuovo" directed by Gramsci himself. Thus, Gramsci, through Sraffa, played a decisive role in t…