Friday, July 31, 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 146,056

41. Concurrent Hyland-Ong games - Castellan, Simon; Clairambault, Pierre; Winskel, Glynn
In this technical report, we build a cartesian closed category of non-deterministic concurrent strategies playing on arenas. We show that this CCC admits as a sub-CCC the standard category of arenas and Hyland-Ong innocent strategies. Our strategies, have much more possible behaviours than standard Hyland-Ong innocent strategies - however the purpose of this technical report is to define our CCC, and we leave for later its use for semantics of programming languages.

42. Decidability of Identity-free Relational Kleene Lattices - Brunet, Paul; Pous, Damien
Families of binary relations are important interpretations of regular expressions, and the equivalence of two regular expressions with respect to their relational interpretations is decidable: the problem reduces to the equality of the denoted regular languages. Putting together a few results from the literature, we first make explicit a generalisation of this reduction, for regular expressions extended with converse and intersection: instead of considering sets of words (i.e., formal languages), one has to consider sets of directed and labelled graphs. We then focus on identity-free regular expressions with converse---a setting where the above graphs are acyclic---and we show that the...

43. Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings - Bulling, Nils; Van Der Torre, Leendert; Villata, Serena; Jamroga, Wojtek; Vasconcelos, Wamberto
International audience

44. A logic of argumentation for specification and verification of abstract argumentation frameworks - Villata, Serena; Boella, Guido; Gabbay, Dov M.; Van Der Torre, Leendert; Hulstjin, Joris
International audience

45. Implicational Relevance Logic is 2-ExpTime-Complete - Schmitz, Sylvain
International audience

46. Neue, einfache Algorithmen für Petrinetze - Finkel, Alain; Leroux, Jérôme
International audience

47. Hierarchic Superposition: Completeness without Compactness - Baumgartner, Peter; Waldmann, Uwe
International audience

48. Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières - Conchon, Sylvain; Maranget, Luc; Mebsout, Alain; Declerck, David
National audience

49. Même les ordinateurs font des erreurs ! - Boldo, Sylvie
National audience

50. Fuzzy Image Segmentation based upon Hierarchical Clustering - Gómez, D.; Yañez Gestoso, Francisco Javier; Guada, Carely; Rodríguez, Juan Tinguaro; Montero de Juan, Francisco Javier
In this paper we introduce the concept of Fuzzy Image Segmentation, providing an algorithm to build fuzzy boundaries based on the existing relations between the fuzzy boundary set problem and the (crisp) hierarchical image segmentation problem. In particular, since a crisp image segmentation can be characterized in terms of the set of edges that separates the adjacent regions of the segmentation, from these edges we introduce the concept of fuzzy image segmentation. Hence,each fuzzy image segmentation is characterized by means of a fuzzy set over the set of edges, which can be then understood as the fuzzy boundary of the...

51. Modelo fuzzy estimando tempo de internação por doenças cardiovasculares - Coutinho,Karine Mayara Vieira; Rizol,Paloma Maria Silva Rocha; Nascimento,Luiz Fernando Costa; Medeiros,Andréa Paula Peneluppi de
Resumo Para prever o tempo médio de internações por doenças cardiovasculares relacionadas à exposição de poluentes do ar em São José dos Campos (SP), em 2009, foi construído um modelo linguístico fuzzy, baseado no método de Mamdani, com variáveis de entrada: material particulado, dióxido de enxofre, temperatura e vento, obtidos da CETESB, com duas funções de pertinência cada. A variável de saída é o tempo médio de internações, obtido do Datasus, com seis funções de pertinência. O tempo médio fornecido pelo modelo foi comparado aos dados reais segundo defasagens de 0 a 4 dias. Este modelo foi construído no toolbox...

52. Contributions to the Resilience Management in the Internet of Things - Huang, Yuanjiang
El auge del "Internet de las Cosas" (IoT, "Internet of Things") y sus tecnologías asociadas han permitido su aplicación en diversos dominios de la aplicación, entre los que se encuentran la monitorización de ecosistemas forestales, la gestión de catástrofes y emergencias, la domótica, la automatización industrial, los servicios para ciudades inteligentes, la eficiencia energética de edificios, la detección de intrusos, la gestión de desastres y emergencias o la monitorización de señales corporales, entre muchas otras. La desventaja de una red IoT es que una vez desplegada, ésta queda desatendida, es decir queda sujeta, entre otras cosas, a condiciones climáticas cambiantes...

53. Does high-tech ecology exist? - Kolakowski, Marcin Mateusz
The new tallest skyscraper in the German industrial district of Ruhr has been opened this year in Essen. The designers of RWE AG Headquarters, Ingenhoven Overdiek Kahlen & Partner, profess that their smart building is ecological, as environmental issues play the key role in their design philosophy. In his manifesto Evolution- Ecology-Architecture, Christoph Ingenhoven postulates that ecology should be an integral part of technology and industry, and result from evolution understood as a process of opposites complementing each other. The main ideas are: effectiveness, simplicity, entropy, and synergy. The RWE building is 168m high (with its mast on the top). It...

54. [en] LDC MEDIATOR: A MEDIATOR FOR LINKED DATA CUBES - LIVIA COUTO RUBACK RODRIGUES
[pt] Um banco de dados estatístico consiste de um conjunto de observações feitas em pontos de um espaço lógico, e, muitas vezes, são organizados como cubos de dados. A definição adequada de cubos de dados, em especial de suas dimensões, ajuda a processar as suas observações e, mais importante, ajuda a combinar observações de cubos de dados diferentes. Neste contexto, os princípios de dados interligados podem ser proveitosamente aplicados à definição de cubos de dados, oferecendo uma estratégia para fornecer a semântica das dimensões, incluindo seus valores. Este trabalho introduz uma arquitetura de mediação para auxiliar no consumo de cubos de dados, expostos como triplas RDF e armazenados em...

55. Fuzzy logic slip rate controller for experimental test vehicle - Judalet, Vincent; Dhaoui, Meriem; Glaser, Sébastien; Mammar, Saïd
International audience

56. Gobierno y gobernancia de los territorios, sectorialidad y territorialidad de las políticas públicas - Jolly, Jean-François
Since the 1991 Constitution, most rulings and sentences tend to consider that individuals in charge of the local executive power (mayors, governors) should be some sort of tuling aldermen responsible for their particular territories and their “controlled decentralization” instead of actual governing actors, advocates and defenders of the governance of their territories. This fact raises the questions of why and how they can possibly play this double role. The bulk of the answer to this question can be found by examining both the logic behind public policies (Muller) and the conditions in whixh these are implemented in each territory, or...

57. Insurgency in a time of terrorism - Marks, Tom
Is it possible to separate terrorism from armed insurgency? Are all armed manifestations terrorism? Is terrorism a method of action or a logic for action? This article purports to analyze insurgency in the midst of the anti-terrorist era of the new century. By using Vietnam as an example, the author points out how armed insurgency has as of lately been called “terrorist”, yet stresses that this concept should be carefully and strategically looked through in order to better understand the violent nature of two very different phenomena: transactional and trans-national insurgencies 

58. “Ciudad”: probabilidad emergente de un organismo vivo. Una aproximación epistemológica a la relación universidad-ciudad en tanto problema filosófico contemporáneo - Izquierdo Uribe, Adolfo
This article reviews the concept of “city” through an epistemological approach to the contemporary philosophical problem of the university-city relationship, with the purpose of identifying those elements of urban theories that can help to provide a critical and creative answer to the following questions: How can the contemporary philosophical problem of the university-city relationship be reviewed with scientific rigor, that is, by using theories and methods thoroughly? How to produce, justify and use knowledge to review the meaning and content of the relationship between the concepts of university campus and social sphere?In order to answer the first question, the concepts...

59. Glocalización: Nuevos Enfoques Teóricos Sobre el Desarrollo Regional (Sub Nacional) en el Contexto de la Integración Económica y de la Globalización - Moncayo Jiménez, Edgard
The author handles this article with questions that regard space,geography and territorial organisation based on the topic of development. To support his thesis that refers to the way in which various factors that give an impulse to globalisation have a territorial base, such as the international commerce of goods and services, technological change or international networks, the author utilises social development categories and places them in two dimensions. Initially, the author takes into account the international logic of the development of commercial, environment and political factors. Secondly, he emphasizes the role of regions and localities in the reconstruction of the...

60. Identificação dos fatores que impactam na confiabilidade das pesagens por classificadora aérea de frangos tipo Griller - Soares, Giovana Coletto
O Brasil se destaca no cenário mundial em produção de frangos de alta qualidade e baixo custo, ocupando o primeiro lugar entre os países exportadores. Um dos maiores mercados consumidores do frango brasileiro é o mercado árabe, sendo o principal produto importado o frango inteiro tipo griller. Os equipamentos com alta capacidade de processamento apresentam-se como reais potencialidades frente à necessidade de aumento de economia de escala, redução de custos e aumento da qualidade do produto. A classificadora de peso aérea em linha de carcaças de frango torna-se uma alternativa interessante para um processo contínuo, com alto volume, reduzida área...

Página de resultados:
 

Busque un recurso