Results for 'Antonina Kolokolova'

57 found
Order:
  1.  5
    Expander Construction in VNC1.Sam Buss, Valentine Kabanets, Antonina Kolokolova & Michal Koucký - 2020 - Annals of Pure and Applied Logic 171 (7):102796.
    We give a combinatorial analysis (using edge expansion) of a variant of the iterative expander construction due to Reingold, Vadhan, and Wigderson [44], and show that this analysis can be formalized in the bounded arithmetic system VNC^1 (corresponding to the “NC^1 reasoning”). As a corollary, we prove the assumption made by Jeřábek [28] that a construction of certain bipartite expander graphs can be formalized in VNC^1 . This in turn implies that every proof in Gentzen's sequent calculus LK of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  14
    A Second-Order System for Polytime Reasoning Based on Grädel's Theorem.Stephen Cook & Antonina Kolokolova - 2003 - Annals of Pure and Applied Logic 124 (1-3):193-231.
    We introduce a second-order system V1-Horn of bounded arithmetic formalizing polynomial-time reasoning, based on Grädel's 35) second-order Horn characterization of P. Our system has comprehension over P predicates , and only finitely many function symbols. Other systems of polynomial-time reasoning either allow induction on NP predicates , and hence are more powerful than our system , or use Cobham's theorem to introduce function symbols for all polynomial-time functions . We prove that our system is equivalent to QPV and Zambella's P-def. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Ardeshir, M., Ruitenburg, W. And Salehi, S., Intuitionistic.C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer - 2003 - Annals of Pure and Applied Logic 124:301.
  4.  9
    Development Assistance in the Legal Field: Promotion of Market Economy V. Human Rights.Bakardijeva Antonina - 2009 - In Antonina Bakardjieva Engelbrekt (ed.), New Directions in Comparative Law. Edward Elgar. pp. 33--39.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  39
    Aspasius: The Earliest Extant Commentary on, Aristotle's Ethics. Essays Edited by Antonina Alberti and Robert Sharples. [REVIEW]Inna Kupreeva - 2002 - Ancient Philosophy 22 (1):219-224.
  6.  22
    Antonina Alberti, "Sensazione E Realtà. Epicuro E Gassendi". [REVIEW]Sylvia Murr - 1991 - Journal of the History of Philosophy 29 (1):116.
  7.  23
    Helena of Britain in Medieval Legend. Antonina Harbus.Stacy S. Klein - 2005 - Speculum 80 (1):233-234.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Cronologia de um crime no século XX. O roubo do Senhor Bom Jesus do Saivá, em Antonina, Paraná, Brasil -doi: 10.4025/dialogos.v17i3.782. [REVIEW]Cláudia Eliane Martinez - 2013 - Diálogos (Maringa) 17 (3).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  15
    Elio Lo Cascio , L’Impatto Della „Peste Antonina“. Quinto Degli Incontri Capresi di Storia Dell’Economia Antica. Roma E Anacapri Nei Giorni 8–11 Ottobre 2008. [REVIEW]Maurizio Buora - 2015 - Klio 97 (2):810-819.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    Gennady Gorelik. The World of Andrei Sakharov: A Russian Physicist’s Path to Freedom. With Antonina W. Bouis. Xviii + 406 Pp., Illus., Figs., App., Index. New York: Oxford University Press, 2005. $47.50. [REVIEW]Michael D. Gordin - 2006 - Isis 97 (4):790-791.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    Cronologia de um crime no século XX. O roubo do Senhor Bom Jesus do Saivá, em Antonina, Paraná, Brasil -doi: 10.4025/dialogos.v17i3.782. [REVIEW]Cláudia Eliane Martinez - 2014 - Dialogos 17 (3).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  7
    "Studi Sull 'Etica di Aristotele", A Cura di Antonina Alberti. [REVIEW]John M. Rist - 1994 - Ancient Philosophy 14 (2):414.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    J.A. Evans The Power Game in Byzantium. Antonina and the Empress Theodora. London and New York: Continuum, . Pp. Xvii + 264. £20. 9781441140784. [REVIEW]F. K. Haarer - 2014 - Journal of Hellenic Studies 134:271-272.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Empirismo E Metafisica Alle Origini Della Scienza Moderna by Antonina M. Alberti. [REVIEW]Maurice Finocchiaro - 1979 - Isis 70:596-597.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  4
    Empirismo e metafisica alle origini della scienza moderna. Antonina M. Alberti.Maurice A. Finocchiaro - 1979 - Isis 70 (4):596-597.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. 106 Antonina Ostrowska and Joanna Sikorska.Disability In Poland - forthcoming - Dialogue and Universalism.
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Antonina Kłoskowska (wspomnienia pozgonne).Jerzy Szacki - 2001 - Studia Semiotyczne 24:15-16.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Antonina Spirało, Logika Mikołaja Mościckiego.Stefan Ziemski - 1957 - Archiwum Historii Filozofii I Myśli Społecznej 1.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Kulturowe stereotypy i uprzedzenia wobec Indusów w twórczości Rudyarda Kiplinga.Antonina Łuszczykiewicz - 2012 - Argument: Biannual Philosophical Journal 2 (1):199-222.
    English title: Cultural Stereotypes and Bias Towards the Indians in Writing of Rudyard Kipling. The aim of this paper is to characterize and dispute the cultural stereotypes and prejudices against the Indians depicted in the writings of Rudyard Kipling (1865–1936), one of the most popular British novelists of the Victorian era. The starting point for these reflections is George Orwell’s essay in which he describes Kipling as a racist and imperialist as well as a morally insensitive and aesthetically disgusting figure. (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  9
    Is Prospective Memory Enhanced by Cue-Action Semantic Relatedness and Enactment at Encoding?Antonina Pereira, Judi Ellis & Jayne Freeman - 2012 - Consciousness and Cognition 21 (3):1257-1266.
    Benefits and costs on prospective memory performance, of enactment at encoding and a semantic association between a cue-action word pair, were investigated in two experiments. Findings revealed superior performance for both younger and older adults following enactment, in contrast to verbal encoding, and when cue-action semantic relatedness was high. Although younger adults outperformed older adults, age did not moderate benefits of cue-action relatedness or enactment. Findings from a second experiment revealed that the inclusion of an instruction to perform a prospective (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  34
    The Epicurean Theory of Law and Justice.Antonina Alberti - 1995 - In André Laks & Malcolm Schofield (eds.), Justice and Generosity: Studies in Hellenistic Social and Political Philosophy: Proceedings of the Sixth Symposium Hellenisticum. Cambridge University Press. pp. 161--90.
  22.  40
    Ezequiel Del Olaso, "Escepticismo E Ilustración. La Crisis Pirrónica de Hume y Rousseau". [REVIEW]Antonina M. Alberti - 1985 - Journal of the History of Philosophy 23 (4):589.
  23.  26
    EMDR as Add-On Treatment for Psychiatric and Traumatic Symptoms in Patients with Substance Use Disorder.Sara Carletto, Francesco Oliva, Micaela Barnato, Teresa Antonelli, Antonina Cardia, Paolo Mazzaferro, Carolina Raho, Luca Ostacoli, Isabel Fernandez & Marco Pagani - 2018 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  26
    Eugene Onegin, a Russian Gay Gentleman.Slavoj Zizek - unknown
    In our Politically Correct times, it is fashionable to discern homosexuality in the musical texture of some classic composers and thus redeem them - there are, for example, totally unconvincing and ridiculous readings of Schubert: he must have been gay, because his music is non-aggressive/penetrative/phallic, full of soft passages... In the case of Eugene Onegin, however, we stand on a much more firm ground. In the Fall of 1876 Tchaikovsky informed his closest family members of his intention to marry—a typical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  29
    Aspasius: The Earliest Extant Commentary on Aristotles's Ethics.Antonina M. Alberti & R. W. Sharples (eds.) - 1999 - W. De Gruyter.
    This book comprises essays on the nature of Aspasiusa (TM) commentary, his interpretation of Aristotle, and his own place in the history of thought.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  26
    15. Toward an Institutional Approach to Comparative Economic Law?Antonina Bakardjieva Engelbrekt - 2009 - In Antonina Bakardjieva Engelbrekt (ed.), New Directions in Comparative Law. Edward Elgar.
  27. Logica, Mente E Persona Studi Sulla Filosofia Antica.Antonina M. Alberti, Jonathan Barnes, Anna Maria Ioppolo & Christopher Kirwan - 1990
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  28.  10
    Locus of Control and Styles of Coping with Stress in Students Educated at Polish Music and Visual Art Schools – a Cross-Sectional Study.Anna Antonina Nogaj - 2017 - Polish Psychological Bulletin 48 (2):279-287.
    The article focuses on identifying differences in the locus of control and styles of coping with stress among young students who are artistically gifted within the fields of music and visual arts. The research group includes Polish students of both music and visual art schools who develop their artistic talents in schools placing particular emphasis on professional training of their artistic abilities and competences within the field of music or visual arts respectively. We make an assumption that different types of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Lo scetticismo apologetico di Pierre Daniel Huet.Antonina M. Alberti - 1978 - Giornale Critico Della Filosofia Italiana 9 (2):210.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  30.  36
    Itinerary of the Knower: Mapping the Ways of Gnosis, Sophia, and Imaginative Education.Antonina Lukenchuk - 2012 - Educational Philosophy and Theory 44 (1):41-52.
    My conversion into a knower has been a long and winding road. From childhood reverie to the years of formal schooling, education has never ceased to lure me into its magical power. How do we really get to know/see/learn whatever happens on our educational journey? In this paper, I will re-trace my quest for knowledge that reaches beyond the boundaries of traditional epistemology. My wonderings will take me to explore, via Jung, the possibilities of imaginative education through Gnosis and Sophia. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  31.  3
    Why is It Difficult for Schools to Establish Equitable Practices in Allocating Students to Attainment ‘Sets’?Becky Taylor, Becky Francis, Nicole Craig, Louise Archer, Jeremy Hodgen, Anna Mazenod, Antonina Tereshchenko & David Pepper - 2019 - British Journal of Educational Studies 67 (1):5-24.
  32.  9
    Social Support as a Mediator for Musical Achievement.Roman Ossowski & Anna Antonina Nogaj - 2015 - Polish Psychological Bulletin 46 (2):300-308.
    This article focuses on the issue of social support received by students of music schools in the context of their musical achievements. The theoretical part of this article contains the characteristics of factors related to the musical achievements of students; the support they receive from their environment is essential for their success in the process of musical education and their subsequent artistic career, in addition to their musical abilities and traits of personality. The research part is devoted to detailed analysis (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  6
    Мінімізація Рефлексивного Впливу На Розвиток Виробництва За Рахунок Контролю.Allakhverdyan Antonina - 2017 - Схід 5 (151).
    У статті на базі ефективно розташованих вузлів контролю запропоновано підхід до підвищення об'єктивності інформації за рахунок мінімізації рефлексивного впливу, що дозволяє підвищити якість інформаційних потоків у процесі підготовки управлінських рішень на промислових підприємствах.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  11
    Generalized Quantifier and a Bounded Arithmetic Theory for LOGCFL.Satoru Kuroda - 2007 - Archive for Mathematical Logic 46 (5-6):489-516.
    We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  6
    Comparative Study of Future Teachers’ Environmental Training in Great Britain and Ukraine.Antonina Chychuk & Tetiana Kuchai - 2017 - Science and Education: Academic Journal of Ushynsky University 22 (2):126-133.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    Побудова організаційної структури системи контролю промислового підприємства.Shostakovska Antonina - 2017 - Схід 5 (151):22-28.
    The article is devoted to the scientific and methodical approach to the construction of the organizational structure of the control system of the industrial enterprise, which takes into account the current trends in the development of industry and the need for the transition of Ukrainian industrial enterprises to the sixth technological way. The main components of this approach are: 1) the identification of the primary and secondary levels of control in order to monitor the course of business processes in the (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  7
    The Penetration and Adaptation of Islam in Bosnia From the Fifteenth to the Nineteenth Century.Antonina Zheliazkova - 1994 - Journal of Islamic Studies 5 (2):187-208.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  6
    The Madonna Protectress of Siena in the,Maestà‘ Altarpiece by Duccio.Antonina Sahaydachny - 2010 - In David Wirmer & Andreas Speer (eds.), 1308: Eine Topographie Historischer Gleichzeitigkeit. De Gruyter. pp. 661-691.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  18
    La Certezza E la Storia. Cartesianesimo, Pirronismo E Conoscenza Storica.Antonina M. Alberti - 1985 - Journal of the History of Philosophy 23 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  10
    Notes on Contributorsepat_665 123.. 124.Joshua A. Ramey, Peter T. Dunlap, Raya A. Jones & Antonina Lukenchuk - 2012 - Educational Philosophy and Theory 44 (1):41-52.
    My conversion into a knower has been a long and winding road. From childhood reverie to the years of formal schooling, education has never ceased to lure me into its magical power. How do we really get to know/see/learn whatever happens on our educational journey? In this paper, I will re‐trace my quest for knowledge that reaches beyond the boundaries of traditional epistemology. My wonderings will take me to explore, via Jung, the possibilities of imaginative education through Gnosis and Sophia. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  6
    Jurisdictional and Institutional Aspects of Stem Cell Patenting in Europe (EC and EPO).: Tensions and Prospects.Antonina Bakardjieva Engelbrekt - 2009 - In Aurora Plomer & Paul Torremans (eds.), Embryonic Stem Cell Patents: European Patent Law and Ethics. Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  6
    ‘Schedula Diversarum Artium’: A Community Sourcebook for the Customary Production of Liturgical Objects in the Benedictine Workshop of the Early Twefth Century.Antonina Sahaydachny - 2013 - In Andreas Speer (ed.), Zwischen Kunsthandwerk Und Kunst: Die ,Schedula Diversarum Artium'. De Gruyter. pp. 381-407.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  7
    Immigration and Supplementary Ethnic Schooling: Ukrainian Students in Portugal.Antonina Tereshchenko & Valeska Valentina Grau Cárdenas - 2013 - Educational Studies 39 (4):1-13.
    Immigration from Eastern European countries to Portugal is a recent phenomenon. Within the last decade, economic migrants from Ukraine, Russia, Romania and Moldova set up a number of supplementary schools across the country. No academic attention has been given to the phenomenon of supplementary ethnic schools in Portugal, whilst there is a growing interest in and beyond Europe in the ways they serve as cultural, social and political sources for identity negotiation, and structures for social capital formation in migrant communities. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  5
    Commonsense Philosophy: An Empirical Approach.Antonina Kłoskowska & Tomasz Przestępski - 1981 - Dialectics and Humanism 8 (3):65-73.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Atomo e 'materia prima' nell'epicureismo di Gassendi.Antonina Alberti - 1981 - Studi Filosofici 4:95.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Realtà E Ragione Studi di Filosofia Antica.Antonina M. Alberti - 1994
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Studi Sull'etica di Aristotele.Antonina M. Alberti - 1990
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. L'identité en période de changement (observations sur certaines tendances du monde mixte des Rhodopes).Tzvétana Gueorguieva & Antonina Jeliazkova - 1994 - Cahiers Internationaux de Sociologie 96:125-143.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. \'Culture and Thought\', Ed. Anisuzzaman and Anouar Abdel-Malek, United Nations University and Macmillan Press 1983.Antonina Kłosowska - 1984 - Dialectics and Humanism 11 (4):695-697.
    No categories
     
    Export citation  
     
    Bookmark  
  50. In Memory of Stefan Nowak.Antonina Kłoskowska - 1990 - Dialectics and Humanism 17 (2):147-149.
     
    Export citation  
     
    Bookmark  
1 — 50 / 57