Results for 'Rita Paiva'

27 found
Order:
  1. The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
    This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Materialism, Idealism and the Onto-Epistemological Roots of Geography.Mikhael Lemos Paiva - 2017 - Revista InterEspaço 3 (9):07-26.
    The present article has as proposal the discussion of the philosophical categories of Idealism and Materialism in the Geographical thought. Starting from the assumption that the knowledge is a fact, we explicit our onto-epistemological basis by a dialog between the main representatives of each Philosophy pole, from Democritus to Hegel, exposing after the sublation to the metaphysics done by the dialectical materialism. Using a bridge to the hard core of the Critical Geography (Lefebvre, Harvey and Quaini), we transmute the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Pura Vida Neutrosophic Algebra.Ranulfo Paiva Barbosa & Florentin Smarandache - 2023 - Neutrosophic Systems with Applications 9.
    We introduce Pura Vida Neutrosophic Algebra, an algebraic structure consisting of neutrosophic numbers equipped with two binary operations namely addition and multiplication. The addition can be calculated sometimes with the function min and other times with the max function. The multiplication operation is the usual sum between numbers. Pura Vida Neutrosophic Algebra is an extension of both Tropical Algebra (also known as Min-Plus, or Min-Algebra) and Max-Plus Algebra (also known as Max-algebra). Tropical and Max-Plus algebras are algebraic structures included in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. An empirical study on using visual embellishments in visualization.Rita Borgo, Alfie Abdul-Rahman, Farhan Mohamed, Philip W. Grant, Irene Reppa, Luciano Floridi & Men Chin - 2012 - IEEE Transactions on Visualization and Computer Graphics 18 (12):2759–2768.
    In written and spoken communications, figures of speech (e.g., metaphors and synecdoche) are often used as an aid to help convey abstract or less tangible concepts. However, the benefits of using rhetorical illustrations or embellishments in visualization have so far been inconclusive. In this work, we report an empirical study to evaluate hypotheses that visual embellishments may aid memorization, visual search and concept comprehension. One major departure from related experiments in the literature is that we make use of a dual-task (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Ethical implications of co-benefits rationale within climate change mitigation strateg.Vasconcellos Oliveira Rita & Thorseth May - 2016 - Etikk I Praksis- Nordic Journal of Applied Ethics:141-170.
    The climate change mitigation effort is being translated into several actions and discourses that make collateral benefits and their rationale increasingly relevant for sustainability, in such a way that they are now a constant part of the political agenda. Taking a broader and consensual perspective, co-benefits are considered here to be emerging advantages of implementing measures to lower greenhouse gases. Starting with the analysis of policy documents referring to two European urban transportation strategies, the emergent co-benefits are problematized and discussed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. An empirical study on using visual metaphors in visualization.Rita Borgo, Alfie Abdul-Rahman, Mohamed Farhan, Philip W. Grant, Irene Reppa, Luciano Floridi & Min Chen - 2012 - IEEE Transactions on Visualization and Computer Graphics 18 (12):2759-2768.
    In written and spoken communications, metaphors are often used as an aid to help convey abstract or less tangible concepts. However, the benefits of using visual metaphors in visualization have so far been inconclusive. In this work, we report an empirical study to evaluate hypotheses that visual metaphors may aid memorization, visual search and concept comprehension. One major departure from previous metaphor-related experiments in the literature is that we make use of a dual-task methodology in our experiment. This design offers (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Paisagens Celestes: Imagens-Memórias que refletem n'além-céu.Anderson dos Santos Paiva - 2020 - Dissertation, University of Coimbra
    Download  
     
    Export citation  
     
    Bookmark  
  8. A sisterhood of letters: Solidarity on the horizon of feminist thought.Rita Niineste - 2020 - Approaching Religion 10 (2).
    Solidarity has been a key topic for feminist thinkers of different times, schools and places. More than other disciplines, feminist theorists have dwelled upon the role of theory in the achievement of political and social goals. Calls for global sisterhood have incited proliferating debates as to the basis for solidarity between women and feminists. Theoretical disputes arising from the spread of deconstructionist ideas since the 1990s have led to a practical perplexity as to how to set feminist political goals if (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. A temática da separação na filosofia platônica.Maria Aparecida de Paiva Montenegro - 2014 - O Que Nos Faz Pensar 34:69-90.
    Download  
     
    Export citation  
     
    Bookmark  
  12. Ontocommons in the standardization environment.Barry Smith & Rita Giuffrida - 2022 - OntoCommons.
    Ontologies and standards are strongly interrelated and can often be seen as two sides of the same coin. Indeed, standards reflect consensus on the semantics of terms, though different standards might employ different ways to explain the same or very similar concepts semantically. Given the crucial role played by both aspects in OntoCommons, we have interviewed Barry Smith, SUNY Distinguished Professor of Philosophy at the University at Buffalo and one of the External Advisory Board (EAB) members of the OntoCommons project, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Wüsteria.Barry Smith, Werner Ceusters & Rita Temmerman - 2005 - Studies in Health Technology and Informatics 116:647-652.
    The last two decades have seen considerable efforts directed towards making Electronic Health Records interoperable through improvements in medical ontologies, terminologies and coding systems. Unfortunately, these efforts have been hampered by a number of influential ideas inherited from the work of Eugen Wüster, the father of terminology standardization and the founder of ISO TC 37. We here survey Wüster’s ideas – which see terminology work as being focused on the classification of concepts in people’s minds – and we argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  14. The Nature of Empathy.Shannon Spaulding, Hannah Read & Rita Svetlova - 2022 - In Felipe De Brigard & Walter Sinnott-Armstrong (eds.), Philosophy of Neuroscience. MIT Press. pp. 49-77.
    Empathy is many things to many people. Depending on who you ask, it is feeling what another person feels, feeling bad for another person’s suffering, understanding what another person feels, imagining yourself in another person’s situation and figuring out what you would feel, or your brain activating as if you were experiencing the emotion another person is experiencing. These are just some of the various notions of empathy that are at play in philosophy, cognitive science, neuroscience, developmental psychology, and primatology. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Adjustment of Nigerian Selected Macro Economic Variables to International Monetary Fund Conditionality from 1986 to 2016.Ifeoma Chinelo Amakor, Purity Ndubuisi-Okolo & Rita Okonkwo - 2018 - International Journal of Academic Accounting, Finance and Management Research (IJAAFMR) 2 (12):20-28.
    Abstract : This research work examined how major macro economic variables in Nigeria such as Gross Domestic Product (GDP), Gross Fixed Capital Formation (GFCF) and National Savings (NS) reacted to International Monetary Fund (IMF) conditionality from 1986 to 2016. Many policy makers and researchers have questioned the benefits of IMF credit facilities to developing nations. This work therefore seeks to evaluate the impact of IMF conditionality like Reduction in Government Expenditure (TGE), Devaluation of Local Currencies (RER), and Trade openness (TO) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Re-Viewing the Mass Communication Education Curriculum. Case for Language/Linguistics, Communication Synergy.Godwin C. S. Iwuchukwu & Rita Ngozi Iwuchukwu - 2018 - GNOSI: An Interdisciplinary Journal of Human Theory and Praxis 1 (2).
    Curriculum review of any academic curriculum is one way of demonstrating the dynamism of such discipline. Mass Communication as a dynamic discipline is one such beneficiary of curriculum review. In line with Iwuchukwu’s (2010) earlier submission that no graduate of any academic level or discipline worth’s more than the curriculum that produces him/her, it was an observed inability of some practicing journalists, especially, those in the print. To handle ethical issues, which was traced to a lacuna in the curriculum that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. White Supremacy as an Existential Threat: A Response to Rita Floyd’s 'The Morality of Security: A Theory of Just Securitization'.Jessica Wolfendale - 2022 - European Journal of International Security 1:9-18.
    Rita Floyd’s "The Morality of Security: A Theory of Just Securitization" is an important and insightful book that delineates a theory of just securitization (modified from the jus ad bellum and jus in bello criteria in just war theory) involving three sets of principles governing the just initiation of securitization, just conduct of securitization, and just desecuritization. This book is a much-needed addition to the security studies and just war scholarship. -/- Here, I explore the potential of Floyd’s just (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Gottfried Wilhelm Leibniz, Briefe über China (1694-1716): Die Korrespondenz mit Barthélemy Des Bosses S.J. und anderen Mitgliedern des Ordens. [REVIEW]Eric S. Nelson - 2018 - Philosophy East and West 68 (4):1-7.
    Rita Widmaier and Malte-Ludolf Babin have done a valuable scholarly service for studies of the early modern European reception of China in collecting letters from Leibniz's extensive correspondence concerning China and translating them from the original Latin and French into German. This multi-lingual and chronologically organized edition gathers letters to and from Leibniz as well as supplementary texts composed between the years 1694 and 1716. It incorporates helpful clarificatory notes as well as an informative and lucid introduction.This edition focuses (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Feminism and Tradition in Aesthetics.Peg Zeglin Brand Weiser & Carolyn Korsmeyer (eds.) - 1995 - Pennsylvania State University Press.
    Feminism and Tradition in Aesthetics takes a fresh look at the history of aesthetics and at current debates within the philosophy of art by exploring the ways in which gender informs notions of art and creativity, evaluation and interpretation, and concepts of aesthetic value. Multiple intellectual traditions have formed this field, and the discussions herein range from consideration of eighteenth century legacies of ideas about taste, beauty, and sublimity to debates about the relevance of postmodern analyses for feminist aesthetics. Forward (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  20.  94
    Nidus Idearum. Scilogs, XIII: Structure / NeutroStructure / AntiStructure.Florentin Smarandache - 2024 - BiblioPublishing.
    In this thirteenth book of scilogs – one may find topics on Neutrosophy, Plithogeny, Physics, Mathematics, Philosophy – email messages to research colleagues, or replies, notes, comments, remarks about authors, articles, or books, spontaneous ideas, and so on. It presents new types of soft sets and new types of topologies. -/- Exchanging ideas with Mohammad Abobala, Ishfaq Ahmad, Ibrahim M. Almanjahie, Fatimah Alshahrani, Nizar Altounji, Muhammad Aslam, Said Broumi, Victor Christianto, R. Diksh, Feng Liu, Frank Julian Gelli, Erick Gonzalez Caballero, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. A Semantics-Based Common Operational Command System for Multiagency Disaster Response.Linda Elmhadhbi, Mohamed-Hedi Karray, Bernard Archimède, J. Neil Otte & Barry Smith - 2022 - IEEE Transactions on Engineering Management 69 (6):3887 - 3901.
    Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Wittgenstein and the Cognitive Science of Religion: Interpreting Human Nature and the Mind.Robert Vinten (ed.) - 2023 - London: Bloomsbury Academic.
    Advancing our understanding of one of the most influential 20th-century philosophers, Robert Vinten brings together an international line up of scholars to consider the relevance of Ludwig Wittgenstein's ideas to the cognitive science of religion. Wittgenstein's claims ranged from the rejection of the idea that psychology is a 'young science' in comparison to physics to challenges to scientistic and intellectualist accounts of religion in the work of past anthropologists. Chapters explore whether these remarks about psychology and religion undermine the frameworks (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Considerações legais e forenses do aborto infeccioso bovino na “Saúde Única”: Revisão (18th edition).Jackson Barros Do Amaral, Vinícius José Moreira Nogueira & Wendell da Luz Silva (eds.) - 2024 - Londrina: Pubvet.
    In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Parts, Wholes, and Matter in Early Modern Natural Philosophy: Mereological Perspectives.Simone Guidi (ed.) - 2022 - Bruniana & Campanelliana, 2022/1.
    Themed Section of Bruniana & Campanelliana 2022/1, pp. 85-198 -/- - Simone Guidi, Introduction; - Andrew W. Arlig, Part-Whole Interdependence and the Presence of Form in Matter According to Some Fifteenth-Century Platonists; - Jean-Pascal Anfray, Aux limites de la métaphysique: parties, indivisibles et contact chez Suárez; - Simone Guidi, Indivisibles, Parts, and Wholes in Rubio’s Treatise on the Composition of Continuum (1605); - Dana Jalobeanu, Dissecting Nature ad vivum: Parts and Wholes in Francis Bacon’s Natural Philosophy; - Carla Rita (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Gametogênese Animal: Espermatogênese e Ovogênese.Emanuel Isaque Cordeiro da Silva - manuscript
    GAMETOGÊNESE -/- Emanuel Isaque Cordeiro da Silva Instituto Agronômico de Pernambuco Departamento de Zootecnia – UFRPE Embrapa Semiárido -/- • _____OBJETIVO -/- Os estudantes bem informados, estão a buscando conhecimento a todo momento. O estudante de Veterinária e Zootecnia, sabe que a Reprodução é uma área de primordial importância para sua carreira. Logo, o conhecimento da mesma torna-se indispensável. No primeiro trabalho da série fisiologia reprodutiva dos animais domésticos, foi abordado de forma clara, didática e objetiva os mecanismos de diferenciação (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Alva Noë, Out of Our Heads. Why You Are Not Your Brain and Other Lessons from the Biology of Consciousness, Hill and Wang, New York, 2009. [REVIEW]Pietro Salis - 2011 - Aphex 4:246-264.
    Ita La recensione presenta la prospettiva enattivista difesa da Alva Noë, e ne discute alcuni aspetti specifici. Il pensiero, la coscienza e la cognizione non sono pienamente comprensibili, secondo l’enattivismo di Noë, senza un’adeguata considerazione del ruolo ricoperto dal corpo e dall’ambiente. Sarebbe quindi sbagliato continuare a pensare che il cervello da solo sia responsabile dei processi cognitivi umani: il programma che ricerca i correlati neurali della coscienza sarebbe quindi destinato al fallimento dal principio, perché tralascia in partenza corpo e (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Review of Ethics and Culture: Some Contemporary Indian Reflections Vol. 2. [REVIEW]Subhasis Chattopadhyay - 2017 - Prabuddha Bharata or Awakened India 122 (5):480.
    The reviewer finds the much obfuscated (sic) logos explained in this gem of an anthology. The reviewer picks up the notion of the logos and his review turns around this philosophical stonewall. The genius of one of the contributors is in connecting logos to the Tao.
    Download  
     
    Export citation  
     
    Bookmark