Search results for "76"

La sociedad y el espacio público

2019

El espacio público y los actos de la propia sociedad, ¿hasta dónde llega el límite de unos para que comience el derecho de los otros? Son muchas las actuaciones que se suceden en la vía pública y que tienen una repercusión, en la mayoría de los casos, negativa para el paisaje urbano. En esta fina línea, entre la preservación del paisaje urbano y los derechos que la ley confiere a los ciudadanos, se enmarcan las ordenanzas de convivencia ciudadana como el mecanismo adecuado que normativice las conductas que inciden en el espacio público. Se juzga imprescindible analizar las normas de convivencia que presiden nuestro país, a fin de dar con soluciones ecuánimes que garanticen la viabilidad de …

Argüelles como es en sí. Su sabiduria, su piedad, su verdadero amor á la Iglesia C. A. R...... su todo. Contra Los egoistas, déspotas, usurpadores (y…

Notes a peu de p. separades del text per filet

David Malcolm Raup (1933-2015) at the starting point of a new paradigm for Palaeontology

2020

This is a tribute to the late David Malcolm Raup, one of the major palaeontologists of the second half of the 20 th century. In addition, it is a critical review of his outstanding contributions, mainly in the field of theoretical palaeontology: quantitative modelling, the introduction of probabilistic methods in palaeontology, as well as his great imagination to use techniques from other fields, such as insurance actuary. After a general outline of his youth, I present a general depiction of the main topics of his research as a palaeobiologist: morphology, the structure of the fossil record, evolution, and extinction. He covered areas ranging from the theoretical morphology of coiled shell…

Has palaeontology answers for some current environmental problems?

2021

History as an irreversible process has no role from a uniformitarian point of view in geology and palaeobiology. Contingency is another trait of history and particle palaeontology has its foundation on such principles. However, new approaches in physics and the theory of systems point out the need to consider a time arrow. Moreover, chance and necessity are interwoven in synergetics and self-organization theory and there may be some possibility of prediction. The global biota has a history resulting from a process of self-organization. A rich fossil record was produced during the Phanerozoic times and this fossil record shows us how life overcame several important crisis. A clear understand…

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…

Finite Model Reasoning in Expressive Fragments of First-Order Logic

2017

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard translation of modal logic to first-order logic. This applies most notably to the guarded fragment, where quantifiers are appropriately relativized by atoms, and the fragment defined by restricting the number of variables to two. The aim of this talk is to review recent work concerning these fragments and their popular extensions. When presenting the material special attention is given to decision procedures for the finite satisfiability problems, as many of t…

Deep Learning Based Cardiac MRI Segmentation: Do We Need Experts?

2021

Deep learning methods are the de facto solutions to a multitude of medical image analysis tasks. Cardiac MRI segmentation is one such application, which, like many others, requires a large number of annotated data so that a trained network can generalize well. Unfortunately, the process of having a large number of manually curated images by medical experts is both slow and utterly expensive. In this paper, we set out to explore whether expert knowledge is a strict requirement for the creation of annotated data sets on which machine learning can successfully be trained. To do so, we gauged the performance of three segmentation models, namely U-Net, Attention U-Net, and ENet, trained with dif…

An Empirical Investigation into Deep and Shallow Rule Learning

2021

Inductive rule learning is arguably among the most traditional paradigms in machine learning. Although we have seen considerable progress over the years in learning rule-based theories, all state-of-the-art learners still learn descriptions that directly relate the input features to the target concept. In the simplest case, concept learning, this is a disjunctive normal form (DNF) description of the positive class. While it is clear that this is sufficient from a logical point of view because every logical expression can be reduced to an equivalent DNF expression, it could nevertheless be the case that more structured representations, which form deep theories by forming intermediate concept…

Rule Extraction From Binary Neural Networks With Convolutional Rules for Model Validation.

2020

Classification approaches that allow to extract logical rules such as decision trees are often considered to be more interpretable than neural networks. Also, logical rules are comparatively easy to verify with any possible input. This is an important part in systems that aim to ensure correct operation of a given model. However, for high-dimensional input data such as images, the individual symbols, i.e. pixels, are not easily interpretable. Therefore, rule-based approaches are not typically used for this kind of high-dimensional data. We introduce the concept of first-order convolutional rules, which are logical rules that can be extracted using a convolutional neural network (CNN), and w…

Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case

2011

This paper describes the solution of Hello World transformations in MOLA transformation language. Transformations implementing the task are relatively straightforward and easily inferable from the task specification. The required additional steps related to model import and export are also described.