Delincuentes con trastorno esquizofrénico: ¿mayores probabilidades de reincidir?
- Ortega Gran, Iván
Desde la antigüedad, siempre se ha relacionado a las personas con una enfermedad mental, sobre todo a las que padecían esquizofrenia o paranoia dada la rareza y espectacularidad de sus síntomas y las características y circunstancias de los delitos cometidos, con la comisión de delitos o de hechos que escapan a la lógica. Todos han coincidido siempre en que estos sujetos son potencialmente peligrosos y cuando han cometido algún hecho delictivo se le ha dado mucha importancia y han generado gran alarma social. El dato de que en prisión hay un porcentaje mucho mayor de enfermos mentales que en la...
Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars
- Quemener, Yves-Marie; Jéron, Thierry
We present an algorithm for checking whether an infinite transition system, defined by a graph grammar of a restricted kind, is a model of a formula of the temporal logic CTL. We first present the syntax and the semantics of CTL, that are defined with respect to transition systems, labelled with atomic propositions. Then, we show how to adapt the formalism of graph grammars, for expressing such infinite transition systems. Our algorithm treats such a finite representation, and modify it, ensuring that the labelling for formulas remains coherent with the truth values of the different states of the infinite transition...
Well-Nested Parallelism Constraints for Ellipsis Resolution
- Erk, Katrin; Niehren, Joachim
Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints
- Koller, Alexander; Niehren, Joachim; Thater, Stefan
Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints
- Niehren, Joachim; Thater, Stefan
A future for Hashima: pornography, representation and time
- Lavery, Carl; Hassall, Lee
This article sets out to investigate the relationship between ruins, futurity, and ‘ruin porn’ - a visual mode of representation that all too often seeks to fix post-industrial ruins as mere aesthetic objects, devoid of history and/or temporality. It does so by focusing on performance, which, in this context, is understood as a processual mode of art-making that provides spectators with an experience of time. In this expanded definition of performance, as one may perhaps expect, the performativity of the object is not limited to the theatrical event alone; rather, it now inheres in sometimes uncanny durational aspects of both...
Lógica fuzzy, verdad y cognición
- Ramírez Figueroa, Alejandro
S. Haack ha defendido la idea de que en la lógica fuzzy no puede afirmarse que los valores
de verdad de un enunciado sean ellos mismos borrosos. Se analiza en este artículo la
postura de Haack a la luz de algunos enfoques actuales de la filosofía clásica de la lógica
y desde el punto el vista cognitivo de la filosofía de la lógica, especialmente desde la
teoría de los conceptos. Bajo dichas aproximaciones, la tesis de la no-gradualidad de la
verdad aparece notablemente debilitada.
Walter Benjamin y la aporía de los dos mesianismos: Es necesario despertar para hacer la revolución.
- Balcarce, Gabriela
This paper attempts to define some of the central ideas of the Benjaminian messianism
and the readings on this topic, primarily, the debate between Giorgio Agamben and
Jacques Derrida. Our hypothesis is that there would be two differentiable messianisms
in the thought of Benjamin, where one of them corresponds to the idea of rupture of pure
disruption, while the other would be anchored in the idea of crypt or weakness of the
voices of the vanquished. Finally, we try to make a criticism of the need of a mediation
illustrated than the logic of the revolutionary awakening involves.
Nombrar y clasificar: aproximación a una epistemología de las clases sociales
- Barozet, Emmanuelle; MacClure, Oscar
En este artículo, presentamos un análisis acerca de la relación entre categorías expertas y categorías pragmáticas usadas para nombrar y categorizar el espacio social, desde el punto de vista de las jerarquías sociales que lo estructuran. Tomando el caso de Chile y aplicando una metodología experimental de simulación, aportamos al debate epistemológico acerca de las representaciones que los sujetos sociales elaboran acerca del espacio social, desde una perspectiva cognitiva e interaccionista situada en la vida cotidiana de las personas. Analizamos en especial el alcance del concepto de clase social en cuanto elemento de descripción experta de la realidad social, contrastándolo...
Reflections on tangs and other morphological adaptations that may be hafting-related
- Tomasso, Sonja; Taipale, Noora
Tanged tools have always attracted archaeologists’ attention, and have often been considered to mark the beginnings of stone tool hafting. Very little is known, however, of the specifics of hafting these tools. Also the role of tanged tools in toolkits and lithic assemblages, as well as their significance in terms of technological evolution and human behaviour, are still largely under debate. We are presenting here some of our first observations and ideas of hafting and use of tanged tools building on our ongoing PhD research on the Mousterian/Aterian cave site Ifri n’Ammar (Morocco) and the Gravettian open-air site Maisières-Canal (Belgium)....
An innovative fuzzy-logic-based strategy for an effective exploitation of noisy inverse scattering data
- Azaro, Renzo; Casagranda, Aronne; Franceschini, Davide; Massa, Andrea
Assessment of the reliability and exploitation of the information content of inverse scattering data through a fuzzy-logic-based strategy – Preliminary results
- Casagranda, Aronne; Franceschini, Davide; Massa, Andrea
Logique d'Aristotle /
- Aristotle.; Barthélemy Saint-Hilaire, J.
Mode of access: Internet.
Non-binary LDPC decoder based on simplified enhanced generalized bit flipping algorithm
- García Herrero, Francisco Miguel; Canet Subiela, Mª José; Valls Coquillat, Javier
A simplified version of the enhanced serial generalized bit-flipping algorithm is proposed in this brief. This new algorithm reduces the quantity of information that is stored with a negligible performance loss of 0.05 dB compared with previous proposals. In addition, the algorithm allows us not only to save memory, but also to reduce the number of arithmetic resources needed. In addition, a new initialization of the algorithm avoids using techniques to control data growth without any performance degradation, reduces routing, increasing
the maximum frequency achievable, and saves logic. The decoder derived from the simplified algorithm requires almost half the area of...
Reliability-based iterative decoding algorithm for LDPC codes with low variable-node degree
- Català Pérez, Joan Marc; García Herrero, Francisco Miguel; Valls Coquillat, Javier; Liu, K.; Lin, S.
In this letter, a new reliability-based iterative
majority-logic decoding (RBI-MLGD) algorithm that computes
the extrinsic information of previous iterations of the variable
node is proposed. This decoding algorithm is called historicalextrinsic
reliability-based iterative decoder (HE-RBID) and improves
the bit-error-rate performance of the previous RBI-MLGD.
HE-RBID is particularly interesting for codes with a low degree of
variable node, where traditional RBI-MLGD algorithms do not
provide a good behavior. HE-RBID ensures a good performance
without searching for the minimum at the check node and only by
exchanging 1-bit messages between variable and check nodes.
Context-aware vehicular cyber-physical systems with cloud support: architecture, challenges, and solutions
- Wan, Jiafu; Zhang, Daqiang; Zhao, Shengjie; Yang, Laurence T.; Lloret, Jaime
The advances in wireless communication techniques, mobile cloud computing, and context-aware technologies boost a growing interest in the design, development, and deployment of vehicular networks for emerging applications. This leads to an increasing evolutionary tendency to change from vehicular networks toward cloud-assisted context-aware vehicular cyber-physical systems. In this article, we first propose a multi-layered context-aware architecture and introduce two crucial service components, vehicular social networks and context-aware vehicular security. Then we propose an application scenario regarding the context-aware dynamic parking services by illuminating the cloud-assisted architecture and logic flow. Finally, we investigate the challenges and possible solutions, including context-aware safety...
The Integration of DCS I/O to an Existing PLC
- Sadhukhan, Debashis; Mihevic, John
At the NASA Glenn Research Center (GRC), Existing Programmable Logic Controller (PLC) I/O was replaced with Distributed Control System (DCS) I/O, while keeping the existing PLC sequence Logic. The reason for integration of the PLC logic and DCS I/O, along with the evaluation of the resulting system is the subject of this paper. The pros and cons of the old system and new upgrade are described, including operator workstation screen update times. Detail of the physical layout and the communication between the PLC, the DCS I/O and the operator workstations are illustrated. The complex characteristics of a central process control...
Spacecube: A Family of Reconfigurable Hybrid On-Board Science Data Processors
- Flatley, Thomas P.
SpaceCube is a family of Field Programmable Gate Array (FPGA) based on-board science data processing systems developed at the NASA Goddard Space Flight Center (GSFC). The goal of the SpaceCube program is to provide 10x to 100x improvements in on-board computing power while lowering relative power consumption and cost. SpaceCube is based on the Xilinx Virtex family of FPGAs, which include processor, FPGA logic and digital signal processing (DSP) resources. These processing elements are leveraged to produce a hybrid science data processing platform that accelerates the execution of algorithms by distributing computational functions to the most suitable elements. This approach...
An adaptive multi-scaling imaging technique based on a fuzzy-logic strategy for dealing with the uncertainty of noisy scattering data
- Benedetti, Manuel; Casagranda, Aronne; Donelli, Massimo; Massa, Andrea
Increasing embedded software radiation reliability through cache memories
- Santini, Thiago Caberlon
Cache memories are traditionally disabled in space-level and safety-critical applications since it is believed that the sensitive area they introduce would compromise the system reliability. As the technology has evolved, the speed gap between logic and main memory has increased in such a way that disabling caches slows the code much more than in the past. As a result, the processor is exposed for a much longer time in order to compute the same workload. In this work we demonstrate that, on modern embedded processors, enabling caches may bring benefits to critical systems: the larger exposed area may be compensated...