Sunday, July 5, 2015

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 41 - 60 de 145,799

41. 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...

42. 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...

43. Well-Nested Parallelism Constraints for Ellipsis Resolution - Erk, Katrin; Niehren, Joachim
International audience

44. Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints - Koller, Alexander; Niehren, Joachim; Thater, Stefan
International audience

45. Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints - Niehren, Joachim; Thater, Stefan
International audience

46. 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...

47. 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.

48. 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.

49. 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...

50. 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)....

51. An innovative fuzzy-logic-based strategy for an effective exploitation of noisy inverse scattering data - Azaro, Renzo; Casagranda, Aronne; Franceschini, Davide; Massa, Andrea
International audience

52. 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
International audience

53. Logique d'Aristotle / - Aristotle.; Barthélemy Saint-Hilaire, J. (Jules), 1805-1895.
Mode of access: Internet.

54. 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...

55. 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.

56. 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...

57. 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...

58. 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...

59. 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
International audience

60. 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...

Página de resultados:
 

Busque un recurso