Search results for " Logic"
showing 10 items of 1720 documents
Fuzzy-based Kernel Regression Approaches for Free Form Deformation and Elastic Registration of Medical Images
2009
In modern medicine, a largely diffused method for gathering knowledge about organs and tissues is obtained by means of merging information from several datasets. Such data are provided from multimodal or sequential acquisitions. As a consequence, a pre-processing step that is called “image registration” is required to achieve data integration. Image registration aims to obtain the best possible spatial correspondence between misaligned datasets. This procedure is also useful to correct distortions induced by magnetic interferences with the acquisition equipment signals or the ones due patient’s involuntary movements such as heartbeat or breathing. The problem can be regarded as finding the …
A Strategy for the Prediction of the Response of Hysteretic Systems: A Base for Capacity Assessment of Buildings under Seismic Load
2014
A statistical non linearization method is used to approximate systems modeled by the Bouc differential equa- tion and excited by a Gaussian white noise external load. To this aim restricted potential models (RPM) are used, which are suitable for an extended number of nonlinear problems as have been proved several times. Since the solution of RPM is known by the probabilistic point of view, all statistical characteristics can be derived at once with advantages by the computational point of view. Hence, this paper discusses the possibility to determine sets of parameters characterizing po- tential models that are valid for describing a hysteretic behavior. In this way the characterization of …
Equity in REDD+: Varying logics in Tanzania
2015
Equity is frequently cited as one of the key design aspects of environmental governance regimes. In the context of Reduced Emissions from Deforestation and Forest Degradation (REDD+), a forest-based climate change mitigation instrument, the manner in which ‘equity’ is understood will be of critical importance for the impacts and acceptance of REDD+ policies and initiatives. Whereas the concept has been extensively studied in the academic literature, references to equity in REDD+ policy debates and documents are often vague, leaving room for various interpretations and modes of implementation. In our case study of the Tanzanian national REDD+ policy domain, we provide a conceptual framework …
The Problem of Existential Import in Metathetic Propositions: Qutb al-Din al-Tahtani contra Fakhr al-Din al-Razi
2019
This paper addresses discussions in post-Avicennan Arabic logic on various characterizations of metathetic propositions and their status vis-à-vis the existential import condition by focusing on the arguments made by Fakhr al-Dīn al-Rāzī (d. 606/1210) and the counter-arguments by Quṭb al-Dīn al-Rāzī al-Taḥtānī (d. 766/1365), both of whom established their positions in a framework drawn by Avicenna (Ibn Sīnā, d. 428/1037), the most prominent figure in the tradition of classical Arabic logic. In his logic texts, Avicenna thoroughly discusses the problem of the existential import in metathetic propositions (ma‘dūla), and seems to have presumed the existential import to be a truth-condition for…
The orthodox liturgical year and its theological structure
2022
The concept of ‘liturgical year’ indicates a reference to the meaning of the measuring units of civil time, and especially to the cosmic entities that determine the general rhythm of time – the sun and the moon. Interestingly, the liturgical time depends both on the structure of civil time, and, on the two discrete systems of the solar and lunar cycles, which have always been underpinnings of time measuring. The special importance and influence that the cosmical rhythms exert on the entire human life are also felt in the structure and theology of the liturgical time, where it signals the attempt to merge and reconcile the cosmical solar and lunar cycles within the liturgical year. This lead…
Introduction to Mathematical Logic (Edition 2017)
2017
Hyper-textbook for students in mathematical logic, Edition 2017
Adding Transitivity and Counting to the Fluted Fragment
2023
We study the impact of adding both counting quantifiers and a single transitive relation to the fluted fragment - a fragment of first-order logic originating in the work of W.V.O. Quine. The resulting formalism can be viewed as a multi-variable, non-guarded extension of certain systems of description logic featuring number restrictions and transitive roles, but lacking role-inverses. We establish the finite model property for our logic, and show that the satisfiability problem for its k-variable sub-fragment is in (k+1)-NExpTime. We also derive ExpSpace-hardness of the satisfiability problem for the two-variable, fluted fragment with one transitive relation (but without counting quantifiers…
Les frontières de la libre circulation dans le football européen : vers une mondialisation des flux de joueurs?
2005
Les frontières étatiques sont de moins en moins pertinentes pour définir les limites entre territoires souverains. En termes de mobilité des personnes, cependant, bien que parfois déplacées à la périphérie de nouveaux territoires en gestation, elles continuent à jouer un rôle primordial dans le contrôle et la régulation des flux, surtout pour les migrants non qualifiés. Notre article se concentre sur le cas des footballeurs professionnels, une population le plus souvent considérée comme faisant partie d’une élite migratoire bien intégrée dans un marché du travail mondial, pour laquelle les frontières n’ont plus d’importance. En réalité, nous mettons en exergue l’existence de logiques géogra…
What is Mathematics: Gödel's Theorem and Around (Edition 2015)
2015
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.
What is Mathematics: Gödel's Theorem and Around (Edition 2013)
2013
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.