Buscar
Mostrando ítems 1-10 de 20
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
(Elsevier Inc, 2014-04)
It is well-known that Independence Friendly (IF) logic is equivalent to existential secondorder logic (Σ1 1 ) and, therefore, is not closed under classical negation. The Boolean closure of IF sentences, called Extended ...
On the formal semantics of IF-like logics
(Elsevier Inc, 2010-08)
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) ...
Ambiente para desenvolvimento de aplicações fuzzy industriaisAmbiente para desenvolvimento de aplicações fuzzy industriais
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia ElétricaAutomação e Sistemas; Engenharia de Computação; Telecomunicações, 2009-12-22)
This paper describes the design, implementation and enforcement of a system for industrial process control based on fuzzy logic and developed using Java, with support for industrial communication protocol through the OPC ...
Com uma ajuda dos meus amigos: redes on line e off line de produção e mediação da música independente
(Universidade Federal de Minas GeraisUFMG, 2011-04-28)
This research asserts that social networks are a support for independent music production. lt is understood that connections among different agents enhanced this type music production after the crisis of the phonographic ...
La nación representada en los héroes: Las estrategias de legitimidad de las dictaduras de Brasil (1964-1985) y Argentina (1976-1983). Visiones del tiempo y ejercicio del poderThe nation represented in heroes: The strategies legitimacy of the dictatorships of Brazil (1964-1985) and Argentina (1976-1983). Visions of time and exercise of power
(Universidade Estadual de Londrina, 2015-11)
Este artículo analiza cómo las dictaduras se apropiaron de los héroes nacionales. Por ser ellos protagonistas de los momentos fundantes de la nación fueron ampliamente retomados por los regímenes de facto. En ambos países ...
Propuesta de ajuste metodológico a la guía de formulación y seguimiento de los planes de acción trienales de las corporaciones autónomas regionales y de desarrollo sostenible
(Universidad de La Salle. Facultad de Ingeniería. Ingeniería Ambiental y Sanitaria, 2008)
Crear un medio impreso de comunicación popular como prevención en el uso de la droga, sector Nigería, en la isla Trinitaria, de la ciudad de Guayaquil
(Universidad de Guayaquil. Facultad de Comunicación Social, 2015-12-08)
En Nigeria, ubicada en la isla trinitaria lugar suburbano, las carencias las necesidades la violencia son como las olas que van y vienen. Los moradores viven, allá en constante zozobra para que nos les roben. En las ...
Amizade no contexto escolar
([s.n.], 1996)
Automatización de los Procesos de Embutidos para la Planta de Cárnicos de la Facultad de Ciencias Pecuarias de la Espoch.
(Escuela Superior Politécnica de Chimborazo, 2016)