The comparison of the triadological doctrine of Isidore of Pelusium with Cyril of Alexandria’s teaching - Artemi, Eirini
Isidore of Pelusium was an Egyptian by birth and from a prominent Alexandrian family, which included Alexandrian Patriarchs Theophilus and Cyril. He lived in the same period with Cyril of Alexandria. The latter was influenced by him on many points of his (Cyril's) triadological teaching. Their triadology was an important part of the theology of the fifth century. That time, the Christology had the most significant role in the church, because of the appearance of the Nestorian heresy. Although, the two fathers managed to reconstruct their theology of the Holy Scripture in order to suggest that their exegetical practice are...
El desarrollo esperado: una aproximación a la sexualidad en la niñez desde las experiencias formativas en la escuela - Bilinkis, Marcela; García Palacios, Mariana Inés
In this article we seek to investigate the varied ways in which the sexo-generic differences are conceived in schools. In particular, we pay special attention to those interpretations that assume the existence of a process of identification and developement of gender and sexuality during childhood. Through the analysis of various empiric materials, our aim is to reveal the way in which the binary logic seems to inform every day practices at school. In this sense we maintain that the binary logic anticipates a crystalized definition of childrens’ sexuality, working as a sort of diagnosis. In order to reach our goal,...
Bases para un planteamiento jerárquico de la lógica aplicable a la representación e interpretación del conocimiento - Hermida de la Rica, Mariano
Uno de los campos de investigación más activos
hoy en dia dentro del terreno de la inteligencia artificial
(I.A.) es el de la representación del conocimiento.
Actualmente es usual el clasificar los esquemas de
representación del conocimiento en tres grandes grupos [Mylos
82]: Lógicos, de redes semánticas y procedimentales. Ponemos
en primer lugar las representaciones lógicas porque es
precisamente dentro de ellas donde el presente trabajo se
METHOD AND DEVICE FOR PROGRAMMING A FPGA - Sentieys, Olivier; Courtay, Antoine; Huriaux, Christophe; Pillement, Sébastien
The invention relates to a method of programming a programmable logic device of the FPGA (Field-Programmable Gate Array) family, to a device for carrying out such a method and to a semiconductor chip integrating such a device and a FPGA. The invention applies in particular to the partial reconfiguration, and even more particularly to dynamically reconfiguration, of FPGAs.
Application of fuzzy logic in performance management: a literature review - GURREA MONTESINOS, VERÓNICA; Alfaro Saiz, Juan José; Rodríguez Rodríguez, Raúl; Verdecho Sáez, María José
Performance management has become in a key success factor for any organization. Traditionally, performance management has focused uniquely in financial measures, mainly using quantitative measures, but two decades ago they were extended towards an integral view of the organization, appearing qualitative measures. This type of extended view and associated measures have a degree of uncertainty that needs to be bounded. One of the essential tools for uncertainty bounding is the fuzzy logic and, therefore,the main objective of this paper is the analysis of the literature about the application of fuzzy logic in performance measurement systems operating within uncertainty environments with...
Art and Food. Imagen corporativa de un gastro bar - PASTOR ANCIO, MIRIAN
En este trabajo vamos a realizar un análisis, concepción y desarrollo de la imagen de un gastrobar. Este proyecto se centra en el diseño gráfico, pero forma parte de un proyecto coordinado con la diseñadora de interiores María Galán, encargada del diseño del local, gente especializada en sala como Javi Roncero; Carlos Aliaga y Miriam Pastor (Yo), al frente de la cocina y Sandra Mascarell encargada jefe de aspectos relacionados con Marketing. Como es lógico la investigación previa requiere documentación sobre el mundo de la cocina, para lo que resulta importante mi experiencia como cocinera titulada.1 Los elementos que se...
Efficient tree searches with available algorithms - Giribet, Gonzalo
Phylogenetic methods based on optimality criteria are highly desirable for their logic properties, but time-consuming when compared to other methods of tree construction. Traditionally, researchers have been limited to exploring tree space by using multiple replicates of Wagner addition followed by typical hill climbing algorithms such as SPR or/and TBR branch swapping but these methods have been shown to be insuficient for “large” data sets (or even for small data sets with a complex tree space). Here, I review different algorithms and search strategies used for phylogenetic analysis with the aim of clarifying certain aspects of this important part of...
Security analysis of socio-technical physical systems - Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir
Recent initiatives that evaluate the security of physical systems with objects as assets and people as agents – here called socio-technical physical systems – have limitations: their agent behavior is too simple, they just estimate feasibility and not the likelihood of attacks, or they do estimate likelihood but on explicitly provided attacks only. We propose a model that can detect and quantify attacks. It has a rich set of agent actions with associated probability and cost. We also propose a threat model, an intruder that can misbehave and that competes with honest agents. The intruder’s actions have an associated cost...
Refinement modal logic - Bozzelli, Laura; Ditmarsch, Hans P. van; French, Tim; Hales, James; Pinchinat, Sophie