Friday, May 22, 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 143,568

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

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

43. 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 puede encuadrar.

44. Learning Boolean logic models of signaling networks with ASP - Videla, Santiago; Guziolowski, Carito; Eduati, Federica; Thiele, Sven; Gebser, Martin; Nicolas, Jacques; Saez-Rodriguez, Julio; Schaub, Torsten; Siegel, Anne
International audience

45. Robust Sub-Powered Asynchronous Logic - Chen, Jiaoyan; Tisserand, Arnaud; Popovici, Emanuel; Cotofana, S. D.
International audience

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

47. Multithreaded Tabling for Logic Programming - Miguel João Gonçalves Areias

48. Remarks on isomorphisms of simple inductive types - Chemouil, David; Soloviev, Sergei
International audience

49. Object calculi in linear logic - Bugliesi, M; Delzanno, G; Liquori, Luigi; Martelli, Maurizio
International audience

50. Implementação em hardware reconfigurável de operadores matriciais para solução numérica de sistemas lineares - Arias García, Janier
Tese (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2014.

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

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

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

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

55. Refinement modal logic - Bozzelli, Laura; Ditmarsch, Hans P. van; French, Tim; Hales, James; Pinchinat, Sophie
International audience

56. Automata Techniques for Epistemic Protocol Synthesis - Aucher, Guillaume; Maubert, Bastien; Pinchinat, Sophie
International audience

57. The Complexity of One-Agent Refinement Modal Logic - Bozzelli, Laura; Ditmarsch, Hans P. van; Pinchinat, Sophie
International audience

58. The Complexity of Synthesizing Uniform StrategiesWe investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not \mu-calculus definable. Typically, we can state that a strategy is observation-based. We propose a formal language to specify uniformity properties, interpreted over two-player turn-based arenas equipped with a binary relation between plays. This way, we capture e.g. games with winning conditions expressible in epistemic temporal logic, whose underlying equivalence relation between plays reflects the observational capabilities of agents (for example, synchronous perfect recall). Our framework naturally generalizes many other situations from the literature. We establish that the problem of synthesizing strategies under uniformity constraints based on regular binary relations between plays is non-elementary complete. - Maubert, Bastien; Pinchinat, Sophie; Bozzelli, Laura
International audience

59. The Complexity of One-Agent Refinement Modal Logic - Bozzelli, Laura; Ditmarch, Hans van; Pinchinat, Sophie
International audience

60. Supervisory Control Theory in Epistemic Temporal Logic - Aucher, Guillaume
International audience

Página de resultados:

Busque un recurso