miércoles 16 de abril de 2014

 

 



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
(1101) Aplicaciones de la lógica (1102) Lógica deductiva
(1103) Lógica general (1104) Lógica inductiva
(1105) Metodología (1199) Otras especialidades relativas a la lógica (especificar)

Mostrando recursos 1 - 20 de 128.023

1. Dramaturgia del cuerpo - Olaso, Leticia
Esta ponencia pretende reflejar los avances de tesis para acreditar la Maestría en Educación Corporal. Mi investigación versa sobre el estudio de los procesos de comunicación del cuerpo desplegados en el contexto organizacional del Instituto de Nivel Terciario de Educación Física – INTEF, de la ciudad de Resistencia, provincia del Chaco. La dimensión comunicativa del cuerpo implica una tarea de traducción aplicada sobre la circulación de códigos invisibles a las matrices de observación ortodoxas de la Educación Física. Patrones comunicacionales que están impresos en los cuerpos de los actores que transitan el tablado del escenario organizacional del INTEF, y poseen...

2. El papel de los actores territoriales en la definición y configuración de modelos de desarrollo turístico - Moscoso, Florencia Viviana
El turismo como toda actividad se emplaza dentro de un espacio con connotaciones sociales, culturales y de identidad; en otras palabras hace uso de un territorio construido socialmente. Esta construcción se encuentra definida por el hombre a partir de su acción social intencional sobre la naturaleza (Almirón, 2011; Bertoncello, 2002). Es preciso destacar que los atractivos y posteriores productos turísticos son el resultado de la puesta en valor por parte del turista del patrimonio, realidad e historia de una determinada comunidad en un territorio. Es por esta razón que el territorio tiene un papel activo dentro de la actividad turística,...

3. Performance of a 4096-pixel photon counting chip - Bisogni, Maria G.; Campbell, M.; Conti, M.; Delogu, Pasquale; Fantacci, Maria E.; Heijne, Erik H.M.; Maestro, Paolo; Magistrati, G.; Marzulli, V.M.; Meddeler, G.; Mikulec, Bettina; Pernigotti, Elena; Rosso, Valeria; Schwarz, C.; Snoeys, W.; Stumbo, Simone; Watt, J.
A 4096 pixel Photon Counting Chip (PCC) has been developed and tested. It is aimed primarily at medical imaging although it can be used for other applications involving particle counting. The readout chip consists of a matrix of 64 x 64 identical square pixels, whose side measures 170 mm and is bump-bonded to a similar matrix of GaAs or Si pixel diodes covering a sensitive area of 1.18 cm . The electronics in each cell comprises a preamplifier, a discriminator with variable threshold and a 3-bit threshold tune as well as 15-bit counter. Each pixel can be individually addressed for...

4. The Warburg effect version 2.0: Metabolic reprogramming of cancer stem cells - Menendez, Javier A.; Joven, Jorge; Cufí, Sílvia; Corominas-Faja, Bruna; Oliveras-Ferraros, Cristina; Cuyàs, Elisabet; Martin-Castillo, Begoña; López-Bonet, Eugeni; Alarcón, Tomás; Vazquez-Martin, Alejandro
When fighting cancer, knowledge on metabolism has always been important. Today, it matters more than ever. The restricted cataloging of cancer genomes is quite unlikely to achieve the task of curing cancer, unless it is integrated into metabolic networks that respond to and influence the constantly evolving cancer stem cell (CSC) cellular states. Once the genomic era of carcinogenesis had pushed the 1920s Otto Warburg’s metabolic cancer hypothesis into obscurity for decades, the most recent studies begin to support a new developing paradigm, in which the molecular logic behind the conversion of non-CSCs into CSCs can be better understood in...

5. Municipal size and local electoral participation - Mouritzen, Poul Erik; Rose, Lawrence E.; Denters, Bas
The issue of the appropriate scale for local government has regularly appeared on the agenda of public sector reformers. In the empirical work devoted to this issue, the principal focus has been on the implications of size for efficiency in local service provision. Relatively less emphasis has been placed on the implications of size for the character and vitality of local democracy. This paper summarizes findings from a comparative research project which has sought to redress this imbalance by means of undertaking a closer inspection of relationships between municipal size and a set of indicators regarding the character of local...

6. The Power of Counting Logics on Restricted Classes of Finite Structures - Anuj Dawar; David Richerby
Although Cai, Fürer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there have been a number of results demonstrating that the logic does capture P on specific classes of structures. Grohe and Mariño showed that IFP + C captures P on classes of structures of bounded treewidth, and Grohe showed that IFP + C captures P on planar graphs. We show that the first of these results is optimal in two senses. We show that on the class of graphs defined by a non-constant bound on the...

7. A Logical Characterization of Bisimulation for Labeled Markov Processes - Josée Desharnais; Abbas Edalat; Prakash Panangaden
This paper gives a logical characterization of probabilistic bisimulation for Markov processes introduced in [BDEP97]. ffl Bisimulation can be characterized by a very weak modal logic. The most striking feature is that one has no negation or any kind of negative proposition. ffl Bisimulation can be characterized by several inequivalent logics; we report five in this paper and there are surely many more. ffl We do not need any finite branching assumption yet there is no need of infinitary conjunction. ffl We give an algorithm for deciding bisimilarity of finite state systems which constructs a formula that witnesses the failure...

8. A Logical Characterization of Bisimulation for Labeled Markov Processes - Josee Desharnais; Abbas Edalat; Prakash Panangaden
This paper gives a logical characterization of probabilistic bisimulation for Markov processes introduced in [BDEP97]. The thrust of that work was an extension of the notion of bisimulation to systems with continuous state spaces; for example for systems where the state space is the real numbers. In the present paper we study the logical characterization of probabilistic bisimulation for such general systems. This study revealed some unexpected results even for discrete probabilistic systems. ffl Bisimulation can be characterized by a very weak modal logic. The most striking feature is that one has no negation or any kind of negative proposition....

9. From Search to Computation: Redundancy Criteria and Simplification at Work - Thomas Hillenbrand; Ruzica Piskac; Uwe Waldmann; Christoph Weidenbach
The concept of redundancy and simplification has been an ongoing theme in Harald Ganzinger’s work from his first contributions to equational completion to the various variants of the superposition calculus. When executed by a theorem prover, the inference rules of these calculi usually generate a tremendously growing search space. The redundancy and simplification concept is indispensable for cutting down this search space to a manageable size. For a number of subclasses of firstorder logic appropriate redundancy and simplification concepts even turn the superposition calculus into a decision procedure. Hence, the key to successfully applying first-order theorem proving to a problem...

10. Approximate reasoning for real-time probabilistic processes - Vineet Gupta; Radha Jagadeesan; Prakash Panangaden
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential distributions. This pseudo-metric gives a useful handle on approximate reasoning in the presence of numerical information — such as probabilities and time — in the model. We give a fixed point characterization of the pseudo-metric. This makes available coinductive reasoning principles for reasoning about distances. We demonstrate that our approach is insensitive to potentially ad hoc articulations of distance by showing that it...

11. Approximate reasoning for real-time probabilistic processes - Vineet Gupta; Radha Jagadeesan; Prakash Panangaden
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential distributions. This pseudo-metric gives a useful handle on approximate reasoning in the presence of numerical information — such as probabilities and time — in the model. We give a fixed point characterization of the pseudo-metric. This makes available coinductive reasoning principles for reasoning about distances. We demonstrate that our approach is insensitive to potentially ad hoc articulations of distance by showing that it...

12. PTQ - Chris Potts
the term is applied to all the language-related papers in Montague 1974. And of course it is often used as a broad label for any kind of formal semantics. • “It is here that Montague made his biggest contribution. To most logicians (like the first author) trained in model-theoretic semantics, natural language was an anathema, impossibly vague and incoherent. To us, the revolutionary idea in Montague’s PTQ paper (and earlier papers) is the claim that natural language is not impossibly incoherent, as his teacher Tarski had led us to believe, but that large portions of its semantics can be treated...

13. Hyperfine-grained Meanings in Classical Logic - Reinhard Muskens
We give a simple treatment of the propositional attitudes and hyperintensionality based on the `impossible worlds' approach of Montague, Cresswell, Hintikka, and others. It is shown that no special logic is needed and that a standard version of classical type logic can be used.

14. Approximate reasoning for real-time probabilistic processes - Vineet Gupta; Radha Jagadeesan; Prakash Panangaden
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential distributions. This pseudo-metric gives a useful handle on approximate reasoning in the presence of numerical information — such as probabilities and time — in the model. We give a fixed point characterization of the pseudo-metric. This makes available coinductive reasoning principles for reasoning about distances. We demonstrate that our approach is insensitive to potentially ad hoc articulations of distance by showing that it...

15. A paraconsistent higher order logic - Jørgen Villadsen
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order logic with countable infinite indeterminacy, where each basic formula can get its...

16. Hyperfine-grained Meanings in Classical Logic - Reinhard Muskens
Let us call two expressions synonymous if and only if they may be interchanged in each sentence without altering the truth value of that sentence. 1 With the help of an argument by Benson Mates (Mates [1950]) it can be shown that synonymy is a very strong relation indeed. Consider, for example, the following two sentences. (1) Everybody believes that whoever thinks that all Greeks are courageous thinks that all Greeks are courageous (2) Everybody believes that whoever thinks that all Greeks are courageous thinks that all Hellenes are courageous Some philosophers indeed believe that whoever thinks that all Greeks...

17. A mercantilização do sagrado: um estudo sobre a estruturação de igrejas dos protestantismos brasileiros - Serra, Antonio Roberto Coelho
A análise realizada por grupos de pesquisadores interessados em acompanhar as transformações em diferentes campos organizacionais tem evidenciado uma expansão da lógica dos negócios a campos organizacionais tradicionalmente distantes do mercado (CARVALHO, 2003; SILVA E CARVALHO, 2003, SOLÈ, 2003). O campo religioso parece não ter escapado à expansão desta lógica e, mostra sinais de abandono da racionalidade substantiva que parecia lhe caracterizar anteriormente e vir a abraçar crescentemente a racionalidade instrumental característica das organizações empresariais. Enquadrado no âmbito da Teoria das Organizações, o presente estudo elegeu a Igreja como objeto de investigação devido à sua influência ideológica, política e econômica...

18. Catolicismo popular, pentecostalismo e técnicas corporais: uma visão comparativa dos usos da prece em dois contextos religiosos - Contins, Marcia
Meu objetivo nesta comunicação é discutir os significados da "prece" em dois contextos religiosos distintos: no chamado "catolicismo popular" e no pentecostalismo. Para isto, focalizarei inicialmente as festas do divino espírito santo, no Rio de Janeiro, realizadas por imigrantes açorianos e brasileiros católicos, em diversos bairros dessa cidade. O ponto central da análise são as "novenas" que são realizadas durante os festejos, entre os meses de abril e junho de cada ano. Em termos comparativos, focalizarei, no caso dos pentecostais, os significados da prece entre os fiéis da Igreja Assembléia de Deus no Rio de Janeiro. Nesse contexto, a prece...

19. Família, sexualidade e trajetorias em contexto religioso plural - Gomes, E.C.
O debate proposto está inscrito no contexto religioso do Rio de Janeiro marcado pelo pluralismo e pelo trânsito inter-confessional, fortemente incrementado pelo crescimento do campo evangélico pentecostal. Um ponto relevante que assume um papel importante no debate é a leitura realizada pelas chamadas igrejas neopentecostais, em especial a IURD, de que práticas religiosas e sociais não estão dissociadas. Esta inserção na vida pública trouxe uma sensível mudança da lógica "estamos no mundo, mas não somos do mundo", peculiar às narrativas pentecostais. Há uma negociação constante entre o "estar no mundo" e o "ser do mundo", que é um ponto fundamental...

20. Femminismo e brigantaggio: lo sguardo differente di Maria Rosa Cutrufelli - Cosco, Silvio
The literature about South Italy�s �brigantesse� is indebted to La Briganta (1990) by Maria Rosa Cutrufelli. The novel, synthesis of the historical and feminist theories of Cutrufelli, telling the story of a woman brigand, pays tribute to all women who have fought against the logic of patriarchy and especially to these courageous guerrilla too often cataloged as �concubines of brigands�.

Página de resultados:
 

Busque un recurso