Search results for 'Natália Oliva-Teles' (try it on Scholar)

384 found
Sort by:
  1. Natália Oliva-Teles (2011). The Sense of Responsibility in the Context of Professional Activities in Medical Genetics. Medicine, Health Care and Philosophy 14 (4):397-405.score: 87.0
    Medical Genetics is a relatively new field of scientific work that involves a lot of enthusiastic professionals, both in routine (clinical) and research (scientific projects). In either field, different geneticists feel different responsibilities for their work, either because they are different people (personal responsibility) or because they have a different rank in the respective departments (professional responsibility). This paper presents the philosophical views of several authors on the sense of responsibility from the Classical times until the present and reveals the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.score: 30.0
    This article presents an analysis of Gödel's dialectica interpretation via a refinement of intuitionistic logic known as linear logic. Linear logic comes naturally into the picture once one observes that the structural rule of contraction is the main cause of the lack of symmetry in Gödel's interpretation. We use the fact that the dialectica interpretation of intuitionistic logic can be viewed as a composition of Girard's embedding of intuitionistic logic into linear logic followed by de Paiva's dialectica interpretation of linear (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  3. Mirela Oliva (2011). Phenomenology and Hermeneutics. Research in Phenomenology 41 (1):148-154.score: 30.0
  4. Adriano Oliva (2011). La Somme de Théologie de Thomas d'Aquin. Introduction Historique Et Littéraire. Chôra 7:217-253.score: 30.0
    After a brief biography of Thomas Aquinas, the article follows up the work of Leonard Boyle to show how the Summa serves to meet the requirements of a pedagogical project in the Dominican Order and more generally in the medieval Church. Intended for the initial and continuing formation of Dominican friars and students of conventual schools, the Summa is composed in a literary genre perfectly suited to this purpose, which governs its structure. The detailed presentation of the notion of sacra (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Ruedi Imbach & Adriano Oliva (2008). Le rôle de la RSPT dans l'appréciation renouvelée du moyen âge philosophique et théologique. Revue des Sciences Philosophiques Et Théologiques 3:491-525.score: 30.0
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. G. Vidal Natalia, Q. Bull Gary & A. Kozak Robert (forthcoming). Diffusion of Corporate Responsibility Practices to Companies: The Experience of the Forest Sector. Journal of Business Ethics.score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. Paulo Oliva & Thomas Powell (2012). On Spector's Bar Recursion. Mathematical Logic Quarterly 58 (4‐5):356-265.score: 30.0
    We show that Spector's “restricted” form of bar recursion is sufficient to define Spector's search functional. This new result is then used to show that Spector's restricted form of bar recursion is in fact as general as the supposedly more general form of bar recursion. Given that these two forms of bar recursion correspond to the iterated products of selection function and quantifiers, it follows that this iterated product of selection functions is T-equivalent to the corresponding iterated product of quantifiers.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  8. Alberto Oliva (2012). The Incommensurability Between Philosophies and the Inexistence of Revolutions in Philosophy. Trans/Form/Ação 35 (2):199-237.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Adriano Oliva (2013). La contemplation des philosophes selon Thomas d'Aquin. Revue des Sciences Philosophiques Et Théologiques 4:585-662.score: 30.0
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Alberto Oliva (2012). O relativismo de Kuhn é derivado da história da ciência ou é uma filosofia aplicada à ciência? Scientiae Studia 10 (3):561-592.score: 30.0
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Luís C. G. Oliva (2006). Antecedentes filosóficos e teológicos do conceito pascaliano de natureza humana. Kriterion 47 (114):367-408.score: 30.0
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Luis César Guimarães Oliva (2005). Fenômeno e corporalidade em Leibniz. Doispontos 2 (1).score: 30.0
    O problema da corporalidade em Leibniz se vincula necessariamente à discussão sobre o estatuto da matéria em uma Metafísica cuja base são as mônadas imateriais. Veremos que, neste contexto, o material deverá ser fenomênico, mas nem por isso ilusório. O objetivo deste trabalho é mostrar como o campo fenomênico, cujo caso exemplar é o corpo, pode ganhar um suporte metafísico e racionalmente justificado, constituindo o que Leibniz chama de fenômenos bem fundados. Para tal, deverá ser feito um exame cuidadoso da (...)
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Paulo Oliva (2006). Unifying Functional Interpretations. Notre Dame Journal of Formal Logic 47 (2):263-290.score: 30.0
    This article presents a parametrized functional interpretation. Depending on the choice of two parameters one obtains well-known functional interpretations such as Gödel's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kohlenbach's monotone interpretations, Kreisel's modified realizability, and Stein's family of functional interpretations. A functional interpretation consists of a formula interpretation and a soundness proof. I show that all these interpretations differ only on two design choices: first, on the number of counterexamples for A which became witnesses for ¬A when defining (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Philippe G. Schyns & Aude Oliva (1999). Dr. Angry and Mr. Smile: When Categorization Flexibly Modifies the Perception of Faces in Rapid Visual Presentations. Cognition 69 (3):243-265.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Wilma A. Bainbridge, Phillip Isola & Aude Oliva (2013). The Intrinsic Memorability of Face Photographs. Journal of Experimental Psychology: General 142 (4):1323.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Gilles Berceville, Marta Borgo, Iacopo Costa, Marc Millais & Adriano Oliva (2012). Bulletin d'histoire des doctrines médiévales. Revue des Sciences Philosophiques Et Théologiques 4:885-920.score: 30.0
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Gilda Ferreira & Paulo Oliva (2010). Confined Modified Realizability. Mathematical Logic Quarterly 56 (1):13-28.score: 30.0
    We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with our interpretation in the case when least elements exist . The new interpretation, however, permits the extraction of more accurate bounds, and provides an ideal setting for dealing directly with data types whose natural ordering is not well-founded.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. [deleted]Giulio E. Lancioni, Andrea Bosco, Marta Olivetti Belardinelli, Nirbhay N. Singh, Mark F. O'Reilly, Jeff Sigafoos & Doretta Oliva (2014). Technology-Based Intervention Programs to Promote Stimulation Control and Communication in Post-Coma Persons with Different Levels of Disability. Frontiers in Human Neuroscience 8.score: 30.0
  19. [deleted]Ojeda Del Pozo Natalia (2011). Prediction of Awareness in Psychosis: The Rol of Cognition. Frontiers in Human Neuroscience 5.score: 30.0
  20. Alberto Oliva (2012). A incomensurabilidade entre as filosofias ea inexistência de revoluções em filosofia. Trans/Form/Ação 35 (2):199-237.score: 30.0
    Este artigo se ocupa de questões metafilosóficas. Nele, discutiremos as razões que fazem com que a filosofia, diferentemente da ciência, problematize a si mesma como empreendimento cognitivo. Em particular, procuraremos identificar como e por que a filosofia acaba se constituindo em problema para si mesma. À exceção das ciências sociais onde há estudos críticos do tipo sociologia da sociologia, a ciência em geral não põe em discussão a si mesma. Raros são os casos em que a ciência chega ao extremo (...)
    Translate to English
    | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Iván Oliva (2012). Life, cognition and culture: charting processes of self-eco-organization. Cinta de Moebio 43 (43):40-49.score: 30.0
    This paper proposes an initial epistemological course related to the notions of life, cognition, and culture from the fundamental elements of the complexity theory and, specifically, related to the notion of self-eco-organization. With these, we pretend to search isomorphic or transverse properties to all these notions; emphasizing the ideas of complexity, autonomy and dependence. El presente trabajo propone un derrotero epistemológico preliminar en torno a las nociones de vida, cognición y cultura, desde la base de algunos elementos de la teoría (...)
    Translate to English
    | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. Adriano Oliva (2006). La Comisión Leonina, a 125 Años de Su Fundación, Se Instala En París. Anuario Filosófico 39 (86):497-522.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Adriano Oliva (2012). Luther et la philosophie. Revue des Sciences Philosophiques Et Théologiques 2:293-312.score: 30.0
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. P. Oliva (2002). On the Computational Complexity of Best L~1-Approximation. Mathematical Logic Quarterly 48 (S1):66-77.score: 30.0
    It is well known that for a given continuous function f : [0, 1] → ℝ and a number n there exists a unique polynomial pn ∈ Pn which best L1-approximates f. We establish the first upper bound on the complexity of the sequence n∈ ℕ, assuming f is polynomial-time computable. Our complexity analysis makes essential use of the modulus of uniqueness for L1-approximation presented in [13].
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Iván Oliva (2012). Vida, Cognición y Cultura: Cartografiando procesos de auto-eco-organización. Cinta de Moebio 43:40-49.score: 30.0
    El presente trabajo propone un derrotero epistemológico preliminar en torno a las nociones de vida, cognición y cultura, desde la base de algunos elementos de la teoría de la complejidad y en específico, en torno a la noción de auto-eco-organización. Con ellos, se pretende la búsqueda de isomorfism..
    No categories
    Translate to English
    | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. [deleted]Jianxiong Xiao, James Hays, Bryan C. Russell, Genevieve Patterson, Krista Ehinger, Antonio Torralba & Aude Oliva (2013). Basic Level Scene Understanding: Categories, Attributes and Structures. Frontiers in Psychology 4.score: 30.0
    A longstanding goal of computer vision is to build a system that can automatically understand a 3D scene from a single image. This requires extracting semantic concepts and 3D information from 2D images which can depict an enormous variety of environments that comprise our visual world. This paper summarizes our recent efforts toward these goals. First, we describe the richly annotated SUN database which is a collection of annotated images spanning 908 different scene categories with object, attribute, and geometric labels (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Marta Borgo, Iacopo Costa, Ruedi Imbach, Marc Millais & Adriano Oliva (2013). Bulletin d'histoire des doctrines médiévales. Revue des Sciences Philosophiques Et Théologiques 4:751-793.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Martín Escardó & Paulo Oliva (2012). The Peirce Translation. Annals of Pure and Applied Logic 163 (6):681-692.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Gilda Ferreira & Paulo Oliva (2012). On Bounded Functional Interpretations. Annals of Pure and Applied Logic 163 (8):1030-1049.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Huerta de la Luz Ilze Jacqueline, Liga Nuño Natalia, Velázquez Órnelas Oscar, Adolfo Sepúlveda Medina & Biol Víctor Hugo López Benítez (2006). Actividad antimicrobiana del extracto fluido de la planta Gnaphalium SPP (Gordolobo). Episteme 2 (8-9).score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  31. Ulrich Kohlenbach & Paulo Oliva (2003). Proof Mining in L1-Approximation. Annals of Pure and Applied Logic 121 (1):1-38.score: 30.0
    In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed in Kohlenbach , Oxford University Press, Oxford, 1996, pp. 225–260) to analyze Cheney's simplification 189) of Jackson's original proof 320) of the uniqueness of the best L1-approximation of continuous functions fC[0,1] by polynomials pPn of degree n. Cheney's (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Ulrich Kohlenbach & Paulo Oliva (2003). Proof Mining in< I> L_< Sub> 1-Approximation. Annals of Pure and Applied Logic 121 (1):1-38.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Adriana Miti Nakahata, Maria Luiza, Vilela Oliva & Oswaldo Keith Okamoto (2009). A Role for History and Philosophy in Science Teaching. Educational Philosophy and Theory 20 (2):237-242.score: 30.0
    This article reviews Daniel Garber's _Descartes's Metaphysical Physics (1992) and Michael Friedman's _ Kant and the Exact Sciences (1992). By treating Descartes and Kant in their historical context, these books portray the close connection between philosophy and science in the early modern period. These examples of philosophy that are engaged with the important intellectual movements of its day can serve as a model for philosophy now.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. [deleted]Samorow Natalia & Tippett Lynette (2013). The Effects of Aging on Recognition of Basic Emotions in Different Modalities. Frontiers in Human Neuroscience 7.score: 30.0
  35. Alberto Oliva (2009). É a ciência a razão em ação ou ação social sem razão? Scientiae Studia 7 (1):105-134.score: 30.0
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. Mirela Oliva (2011). Gadamer and Cusanus on Creation. Philosophy Today 55 (2):185-191.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Alexande Sergio da Rocha & A. Oliva (forthcoming). Cientificidade E Consenso: Esboço de Uma Epistemologia a Partir da Teoria Consensual da Verdade de Jürgen Habermas. Epistemologia: A Cientificidade Em Questão. Campinas/São Paulo, Papirus.score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  38. [deleted]Ariel Zylberberg, Manuel Oliva & Mariano Sigman (2012). Pupil Dilation: A Fingerprint of Temporal Selection During the “Attentional Blink”. Frontiers in Psychology 3.score: 30.0
    Pupil dilation indexes cognitive events of behavioral relevance, like the storage of information to memory and the deployment of attention. Yet, given the slow temporal response of the pupil dilation, it is not known from previous studies whether the pupil can index cognitive events in the short time-scale of ~100 ms. Here we measured the size of the pupil in the Attentional Blink (AB) experiment, a classic demonstration of attentional limitations in processing rapidly presented stimuli. In the AB, two targets (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. A. Archambault, P. Schyns & A. Oliva (1996). Coarse Structure Affects Object Recognition. In Enrique Villanueva (ed.), Perception. Ridgeview. 97-97.score: 30.0
     
    My bibliography  
     
    Export citation  
  40. Louis-Jacques Bataillon, Gilles Berceville, Iacopo Costa, Paweł Krupa & Adriano Oliva (2006). Bulletin d'histoire des doctrines médiévales. Revue des Sciences Philosophiques Et Théologiques 4 (4):723-762.score: 30.0
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. † Louis-Jacques Bataillon, Gilles Berceville, Iacopo Costa & Adriano Oliva (2010). Bulletin d'histoire des doctrines médiévales. Revue des Sciences Philosophiques Et Théologiques 1:133-158.score: 30.0
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. Isaac Epstein & A. Oliva (forthcoming). Thomas Kuhn: A Cientificidade Entendida Como Vigência de Um Paradigma. Epistemologia: A Cientificidade Em Questão. Campinas.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  43. Fernando Ferreira & Paulo Oliva (2005). Bounded Functional Interpretation. Annals of Pure and Applied Logic 135 (1):73-112.score: 30.0
    We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Fernando Ferreira & Paulo Oliva (2007). Bounded Functional Interpretation and Feasible Analysis. Annals of Pure and Applied Logic 145 (2):115-129.score: 30.0
    In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Jaime Gaspar & Paulo Oliva (2010). Proof Interpretations with Truth. Mathematical Logic Quarterly 56 (6):591-610.score: 30.0
    This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modified realizability, namely modified realizability with truth and q-modified realizability. Both variants are shown tobe derived from a single “functional interpretation with truth” of intuitionistic linear logic. This analysis suggests that several functional interpretations have truth and q-variants. These variants, however, require a more involved modification than the ones previously considered. Following this lead we present truth and q-variants (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. J. Y. Halpern, B. M. Kapron, V. S. Harizanov, U. Kohlenbach, P. Oliva, F. Lucas, B. Luttik, P. Matet & M. Pourmahdian (2003). Belegradek, O., Verbovskiy, V. And Wagner, FO, Coset. Annals of Pure and Applied Logic 121:287.score: 30.0
     
    My bibliography  
     
    Export citation  
  47. Ruedi Imbach & Adriano Oliva (2005). Présentation. Revue des Sciences Philosophiques Et Théologiques 1:5-7.score: 30.0
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. Alberto Oliva (1990). Anarquismo Epistemológico: Última Etapa da Crítica Do Ideal Empirista da Ciência. Epistemologia: A Cientificidade Em Questão. Cap 5:131-175.score: 30.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  49. Luís César Guimarães Oliva (2004). A história como sacrifício em Blaise Pascal. Kriterion 45 (109):7-31.score: 30.0
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  50. F. Oliva (2002). Droghe, Tossicomania E Incapacità Matrimonia-Le. Rassegna di Alcuni Casi Giurisprudenziali Del Tribunale Ecclesiastico Calabro. Vivarium 10:323-352.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
1 — 50 / 384