Results for 'Mar��a Luisa Bonet'

1000+ found
Order:
  1.  34
    Degree Complexity for a Modified Pigeonhole Principle.Maria Luisa Bonet & Nicola Galesi - 2003 - Archive for Mathematical Logic 42 (5):403-414.
    . We consider a modification of the pigeonhole principle, M P H P, introduced by Goerdt in [7]. M P H P is defined over n pigeons and log n holes, and more than one pigeon can go into a hole. Using a technique of Razborov [9] and simplified by Impagliazzo, Pudlák and Sgall [8], we prove that any Polynomial Calculus refutation of a set of polynomials encoding the M P H P, requires degree Ω. We also prove a simple (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2.  61
    The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
    We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems, and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositional Gentzen sequent calculus and the natural deduction calculus by Frege proofs. The length of a proof is the number of lines (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  21
    Opinion de Benjamin Constant sur le projet de loi relatif à la faculté de tester: 29 ventôse an VIII - 20 mars 1800.Kurt Kloocke & Maria Luisa Sanchéz Mejía - 2005 - In Kurt Kloocke & Maria Luisa Sanchéz Mejía (eds.), Discours au Tribunat. De la Possibilité d'Une Constitution Républicaine Dans Un Grand Pays. De Gruyter. pp. 149-162.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  9
    Opinion de Benjamin Constant sur le projet de loi relatif à la dette publique et aux domaines nationaux: 28 ventôse an IX - 19 mars 1801. [REVIEW]Kurt Kloocke & Maria Luisa Sanchéz Mejía - 2005 - In Kurt Kloocke & Maria Luisa Sanchéz Mejía (eds.), Discours au Tribunat. De la Possibilité d'Une Constitution Républicaine Dans Un Grand Pays. De Gruyter. pp. 259-292.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  6
    Opinion de Benjamin Constant sur le projet de loi qui met à la disposition du Gouvernement les citoyens qui ont atteint leur vingtième année au premier vendémiaire an vin: 15 ventôse an VIII - 6 mars 1800. [REVIEW]Kurt Kloocke & Maria Luisa Sanchéz Mejía - 2005 - In Kurt Kloocke & Maria Luisa Sanchéz Mejía (eds.), Discours au Tribunat. De la Possibilité d'Une Constitution Républicaine Dans Un Grand Pays. De Gruyter. pp. 111-126.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  5
    Discours prononcé par Benjamin Constant devant le Corps législatif sur le projet de loi tendant à mettre à la disposition du Gouvernement les citoyens qui ont atteint l''ge de 20 ans: 17 ventôse an VIII - 8 mars 1800. [REVIEW]Kurt Kloocke & Maria Luisa Sanchéz Mejía - 2005 - In Kurt Kloocke & Maria Luisa Sanchéz Mejía (eds.), Discours au Tribunat. De la Possibilité d'Une Constitution Républicaine Dans Un Grand Pays. De Gruyter. pp. 127-136.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  4
    Discours de Benjamin Constant devant le Corps législatif sur le projet de loi relatif à la dette publique et aux domaines nationaux: 30 ventôse an IX - 21 mars 1801. [REVIEW]Kurt Kloocke & Maria Luisa Sanchéz Mejía - 2005 - In Kurt Kloocke & Maria Luisa Sanchéz Mejía (eds.), Discours au Tribunat. De la Possibilité d'Une Constitution Républicaine Dans Un Grand Pays. De Gruyter. pp. 293-300.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. From Ancient Greek Drama to Argentina's 'Dirty War'; Antıgona Furiosa: On Bodies and the State.Marıa Florencia Nelli - 2010 - In S. E. Wilmer & Audrone Zukauskaite (eds.), Interrogating Antigone in Postmodern Philosophy and Criticism. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  14
    From Intestine Transport to Enzymatic Regulation: The Works of the Spanish Biochemist Alberto Sols.Marı́a Jesús Santesmases - 2000 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 31 (2):287-313.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Environmental Education to Environmental Sustainability.Marí Padilla & A. Paz Squella - 2001 - Educational Philosophy and Theory 33 (2):217-230.
  11.  15
    From Intestine Transport to Enzymatic Regulation: The Works of the Spanish Biochemist Alberto Sols (1917–1989).Marı́a Jesús Santesmases - 2000 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 31 (2):287-313.
    In this paper the scientific trajectory of Spanish influential biochemist Alberto Sols (1917–1989) is presented in comparative perspective. His social and academic environment, his research training under the Cori's in the US in the early 1950s and his works when coming back to Spain to develop his own scientific career are described in order to present the central argument of this paper on his path from physiological research to research on enzymatic regulation. Sols' main contributions were both scientific and academic. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  10
    Enzymology at the Core: Primers and Templates in Severo Ochoa's Transition From Biochemistry to Molecular Biology. Jesú, Marí S. Santesmases & A. - 2002 - History and Philosophy of the Life Sciences 24 (2):193-218.
  13.  2
    Memoria y Olvido, Un Libro de Pablo D’Ors.María Luisa Santos Gómez - 2021 - Isidorianum 23 (45):227-247.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  9
    The Planet Mars: A History of Observation and Discovery by William Sheehan. [REVIEW]David Strauss - 1997 - Isis 88:324-325.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
  16.  6
    The Planet Mars: A History of Observation and Discovery. William Sheehan.David Strauss - 1997 - Isis 88 (2):324-325.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    Challenges: Selective Compartments for Resistant Microorganisms in Antibiotic Gradients.Fernando Baquero & Mar�A.-Cristina Negri - 1997 - Bioessays 19 (8):731-736.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. SAT-Based MaxSAT Algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196:77-105.
  19.  44
    Psychological Entropy: A Framework for Understanding Uncertainty-Related Anxiety.Jacob B. Hirsh, Raymond A. Mar & Jordan B. Peterson - 2012 - Psychological Review 119 (2):304-320.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  20.  1
    Propositional Proof Systems Based on Maximum Satisfiability.Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Antonio Morgado & Joao Marques-Silva - 2021 - Artificial Intelligence 300:103552.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  19
    Quasipolynomial Size Frege Proofs of Frankl’s Theorem on the Trace of Sets.James Aisenberg, Maria Luisa Bonet & Sam Buss - 2016 - Journal of Symbolic Logic 81 (2):687-710.
    We extend results of Bonet, Buss and Pitassi on Bondy’s Theorem and of Nozaki, Arai and Arai on Bollobás’ Theorem by proving that Frankl’s Theorem on the trace of sets has quasipolynomial size Frege proofs. For constant values of the parametert, we prove that Frankl’s Theorem has polynomial size AC0-Frege proofs from instances of the pigeonhole principle.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Du Temple de Mars À la Chambre de Vénus: Le Beau Jeu Courtois Dans les “Vœux du Paon.”. [REVIEW]Keith Busby - 2010 - Speculum 85 (2):364-366.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  44
    Erratum To: A Twenty-First Century Assessment of Values Across the Global Workforce.David A. Ralston, Carolyn P. Egri, Emmanuelle Reynaud, Narasimhan Srinivasan, Olivier Furrer, David Brock, Ruth Alas, Florian Wangenheim, Fidel Le?N. Darder, Christine Kuo, Vojko Potocan, Audra I. Mockaitis, Erna Szabo, Jaime Ruiz Guti?Rrez, Andre Pekerti, Arif Butt, Ian Palmer, Irina Naoumova, Tomasz Lenartowicz, Arunas Starkus, Vu Thanh Hung, Tevfik Dalgic, Mario Molteni, Mar?A. Teresa de la Garza Carranza, Isabelle Maignan, Francisco B. Castro, Yong-lin Moon, Jane Terpstra-Tong, Marina Dabic, Yongjuan Li, Wade Danis, Maria Kangasniemi, Mahfooz Ansari, Liesl Riddle, Laurie Milton, Philip Hallinger, Detelin Elenkov, Ilya Girson, Modesta Gelbuda, Prem Ramburuth, Tania Casado, Ana Maria Rossi, Malika Richards, Cheryl Van Deusen, Ping-Ping Fu, Paulina Man Kei Wan, Moureen Tang, Chay-Hoon Lee, Ho-Beng Chia, Yongquin Fan & Alan Wallace - 2011 - Journal of Business Ethics 104 (4):589-590.
    This article provides current Schwartz Values Survey data from samples of business managers and professionals across 50 societies that are culturally and socioeconomically diverse. We report the society scores for SVS values dimensions for both individual- and societallevel analyses. At the individual- level, we report on the ten circumplex values sub- dimensions and two sets of values dimensions. At the societal- level, we report on the values dimensions of embeddedness, hierarchy, mastery, affective autonomy, intellectual autonomy, egalitarianism, and harmony. For each (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. A Paixão da Razão. Homenagem a Luísa Ribeiro Ferreira.António Pedro Mesquita, Cristina Beckert, José Luís Perez & Maria Leonor Xavier (eds.) - 2014
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  25
    On Free Annotated Algebras.Renato A. Lewin, Irene F. Mikenberg & Marı́a G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
    In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebras.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26. A Paixão da Razão. Homenagem a Maria Luísa Ribeiro Ferreira.A. P. Mesquita, C. Beckert, J. L. Pérez & Xavier M. L. L. O. (eds.) - 2014 - Centro de Filosofia da Universidade de Lisboa.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  54
    Stephen Crain & Rosalind Thornton, Investigations in Universal Gram-Mar: A Guide to Experiments on the Acquisition of Syntax and Semantics. [REVIEW]Bart Geurts - 2000 - Linguistics and Philosophy 23 (5):523-532.
  28.  7
    From India to the Planet Mars, a Study of a Case of Somnambulism with Glossolalia. [REVIEW]James H. Hyslop - 1901 - Psychological Review 8 (1):94-96.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  2
    Des Indes? La Plan?Te Mars. Etude Sur Un Cas de Somnambulisme Avec Glossolalie [From India to the Planet Mars: A Study of a Case of Somnambulism with Glossolalia].Joseph Jastrow - 1900 - Psychological Review 7 (4):406-411.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  4
    Catalunya a les mars. Navegants, mercaders i cartògrafs catalans de l'edat mitjana i del renaixementGonçal de Reparaz.A. Pogo - 1931 - Isis 16 (1):173-174.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  73
    How Daydreaming Relates to Life Satisfaction, Loneliness, and Social Support: The Importance of Gender and Daydream Content.Raymond A. Mar, Malia F. Mason & Aubrey Litvack - 2012 - Consciousness and Cognition 21 (1):401-407.
    Daydreaming appears to have a complex relationship with life satisfaction and happiness. Here we demonstrate that the facets of daydreaming that predict life satisfaction differ between men and women , that the content of daydreams tends to be social others , and that who we daydream about influences the relation between daydreaming and happiness variables like life satisfaction, loneliness, and perceived social support . Specifically, daydreaming about people not close to us predicts more loneliness and less perceived social support, whereas (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  32.  80
    Emotion and Narrative Fiction: Interactive Influences Before, During, and After Reading.Raymond A. Mar, Keith Oatley, Maja Djikic & Justin Mullin - 2011 - Cognition and Emotion 25 (5):818-833.
  33. An Anthropologist on Mars.O. Sacks & A. Freeman - 1994 - Journal of Consciousness Studies 1 (2):234-240.
    Oliver Sacks MD, Clinical Professor of Neurology at the Albert Einstein College of Medicine in New York, talked with Anthony Freeman during his visit to London in January 1995 to publicize his recently published book An Anthropologist on Mars. The interview is preceded by an overview of the book.
     
    Export citation  
     
    Bookmark   91 citations  
  34. David Pérez Chico & Luisa Paz Rodríguez Suárez, Eds. 2011. Explicar y Comprender (A. Velasco Gómez).A. Velasco Gómez - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (1):167-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  97
    A Unified Approach to Split Scope.Klaus Abels & Luisa Martí - 2010 - Natural Language Semantics 18 (4):435-470.
    The goal of this paper is to propose a unified approach to the split scope readings of negative indefinites, comparative quantifiers, and numerals. There are two main observations that justify this approach. First, split scope shows the same kinds of restrictions across these different quantifiers. Second, split scope always involves low existential force. In our approach, following Sauerland, natural language determiner quantifiers are quantifiers over choice functions, of type <<,t>,t>. In split readings, the quantifier over choice functions scopes above other (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  36. The Acquisition of Disjunction: Evidence for a Grammatical View of Scalar Implicatures.Luisa Meronib - unknown
    This paper investigates young children's knowledge of scalar implicatures and downward entailment. In previous experimental work, we have shown that young children access the full range of truth-conditions associated with logical words in classical logic, including the disjunction operator, as well as the indefinite article. The present study extends this research in three ways, taking disjunction as a case study. Experiment 1 draws upon the observation that scalar implicatures (SIs) are cancelled (or reversed) in downward entailing (DE) linguistic environments, e.g., (...)
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  37. Academic Performance of Native and Immigrant Students: A Study Focused on the Perception of Family Support and Control, School Satisfaction, and Learning Environment.Miguel A. Santos, Agustín Godás, María J. Ferraces & Mar Lorenzo - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  2
    A Persistent Avian Formation on a South-Facing Slope, Along the Northwest Rim of the Argyre Basin of Mars.William Saunders, George Haas & James Miller - 2022 - Journal of Scientific Exploration 36 (2).
    This is an examination of an avian-shaped feature that rests below a network of cellular structures found on a mound within the Argyre Basin of Mars. The area examined is located near 48.0° south and 55.1° west. A set of four supportive images provided by the Mars Global Surveyor and Mars Reconnaissance Orbiter spacecraft show the feature is persistent over a period of more than 20 years. The images reveal defining aspects of this avian feature, including a head, beak, body, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  25
    MARTINS, Luísa Fernanda Guerreiro, Contributos para a História da Alimentação Algarvia a partir das atas de vereação de Loulé.Maria Isabel Miguens de Carvalho Homem - 2017 - Humanitas 70:135-139.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  16
    A Critical Use of Foucault’s Art of Living.Marli Huijer - 2017 - Foundations of Science 22 (2):323-327.
    Foucault’s vocabulary of arts of existence might be helpful to problematize the entwinement of humans and technology and to search for new types of hybrid selves. However, to be a serious new ethical vocabulary for technology, this art of existence should be supplemented with an ongoing critical discourse of technologies, including a critical analysis of the subjectivities imposed by technologies, and should be supplemented with new medical and philosophical regimens for an appropriate use of technologies.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  12
    Electronic Transport of Au//N-Si Structures Analysed Over a Wide Temperature Range.S. Alialy, A. Kaya, E. Marıl, Ş Altındal & İ Uslu - 2015 - Philosophical Magazine 95 (13):1448-1461.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  33
    O mar e a alma: metáforas marinhas em território alemão.Marco Aurélio Werle - 2007 - Trans/Form/Ação 30 (1):225-234.
    O artigo explora algumas metáforas marinhas que surgem no pensamento alemão de Leibniz a Goethe, com o intuito de indicar como se desenvolvem certos temas de estética, tais como a noção de alma, de linguagem, de criação artística e de relação dialética entre forma e conteúdo. Passando por autores como Leibniz, Winckelmann, Herder, Goethe e Kant, pretende-se mostrar como, por meio desse desenvolvimento, se constitui uma visão de homem mais ampliada, que não se define mais somente pelo entendimento, mas envolve (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  5
    The Human Factor in a Mission to Mars: An Interdisciplinary Approach.Konrad Szocik (ed.) - 2019 - Springer.
    A manned mission to Mars is faced with challenges and topics that may not be obvious but of great importance and challenging for such a mission. This is the first book that collects contributions from scholars in various fields, from astronomy and medicine, to theology and philosophy, addressing such topics. The discussion goes beyond medical and technological challenges of such a deep-space mission. The focus is on human nature, human emotions and biases in such a new environment. The primary audience (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  8
    1994 Annual Meeting of the Association for Symbolic Logic.Julia Knight, Nest Priority Constructions, Maria Luisa Bonet & On Finding Hard Tautologiesfor Frege - 1995 - Bulletin of Symbolic Logic 1 (1):377-389.
  45.  23
    A Science of Mars or of Venus?Mary Tiles - 1987 - Philosophy 62 (241):293 - 306.
    For as long as there has been anything worthy of the name of science, there have been those who have criticized its claim to superior knowledge. With the birth and prodigious growth of modern science, the corresponding growthof critical opinion led, in the eighteenth century, to a divorce of the sciences from the humanities around which our educational institutions, and our universities in particular, have been built. It is this divorce which renders problematic the status of the social or human (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46.  22
    Degrees of Categoricity and Spectral Dimension.Nikolay A. Bazhenov, Iskander Sh Kalimullin & Mars M. Yamaleev - 2018 - Journal of Symbolic Logic 83 (1):103-116.
    A Turing degreedis the degree of categoricity of a computable structure${\cal S}$ifdis the least degree capable of computing isomorphisms among arbitrary computable copies of${\cal S}$. A degreedis the strong degree of categoricity of${\cal S}$ifdis the degree of categoricity of${\cal S}$, and there are computable copies${\cal A}$and${\cal B}$of${\cal S}$such that every isomorphism from${\cal A}$onto${\cal B}$computesd. In this paper, we build a c.e. degreedand a computable rigid structure${\cal M}$such thatdis the degree of categoricity of${\cal M}$, butdis not the strong degree of categoricity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Des Indes a la planète Mars. Étude sur un cas de somnambulisme avec glossolalie.Th Flournoy - 1900 - Revue Philosophique de la France Et de l'Etranger 49:650-654.
    Translate
     
     
    Export citation  
     
    Bookmark   40 citations  
  48. A New Source on the Saljūqs of Rūm and Their Persian Chancery: Manuscript 11136 of the Marʿashī Library.David Durand-Guédy - 2022 - Der Islam: Journal of the History and Culture of the Middle East 99 (1):113-141.
    At the end of the twentieth century, the Ayatollah Marʿashī Najafī Library acquired a fourteenth-century manuscript of munshaʾāt previously held in a private collection. This composite multitext manuscript contains about two hundred letters sent by or to officials of the Rūm Saljūq sultanate in the thirteenth century. The letters include official and private correspondence as well as decrees of nomination. They are all in Persian. This article is a first study of the codicological features, structure, and contents of this manuscript. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  26
    Developing a System for Processing Health Data of Children Using Digitalized Toys: Ethical and Privacy Concerns for the Internet of Things Paradigm.María Luisa Martín-Ruíz, Celia Fernández-Aller, Eloy Portillo, Javier Malagón & Cristina del Barrio - 2018 - Science and Engineering Ethics 24 (4):1057-1076.
    EDUCERE is a government funded research and development project. EDUCERE objectives are to investigate, develop, and evaluate innovative solutions for society to detect changes in psychomotor development through the natural interaction of children with toys and everyday objects, and perform stimulation and early attention activities in real environments such as home and school. In the EDUCERE project, an ethical impact assessment is carried out linked to a minors’ data protection rights. Using a specific methodology, the project has achieved some promising (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. A New Epithet Of Mars.Thomas Williams - 1965 - Hermes 93 (2):252.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000