Results for 'Dmitry Itsykson'

123 found
Order:
  1.  3
    On Obdd-Based Algorithms and Proof Systems That Dynamically Change Order of Variables.Dmitry Itsykson, Alexander Knop, Andrei Romashchenko & Dmitry Sokolov - forthcoming - Journal of Symbolic Logic:1-41.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  8
    Resolution Over Linear Equations Modulo Two.Dmitry Itsykson & Dmitry Sokolov - 2020 - Annals of Pure and Applied Logic 171 (1):102722.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Structural Complexity Of.Dmitry Itsykson - 2010 - Annals of Pure and Applied Logic 162 (3):213-223.
    We study the class that consists of distributional problems which can be solved in average polynomial time by randomized algorithms with bounded error. We prove that there exists a distributional problem that is complete for under polynomial time samplable distributions. Since we use deterministic reductions, the existence of a deterministic algorithm with average polynomial running time for our problem would imply. Note that, while it is easy to construct a promise problem that is complete for, it is unknown whether contains (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Chapter Thirteen Individual and Professional Differences in the Perception of Dramatic Art Dmitry A. Leontiev and Larissa Lagoutina.Dmitry A. Leontiev - 2007 - In L. I͡A Dorfman, Colin Martindale & Vladimir Petrov (eds.), Aesthetics and Innovation. Cambridge Scholars Press. pp. 241.
     
    Export citation  
     
    Bookmark  
  5. Chapter Twelve Translation of Values Through Art: Non-Classical Value Approach Dmitry A. Leontiev.Dmitry A. Leontiev - 2007 - In L. I͡A Dorfman, Colin Martindale & Vladimir Petrov (eds.), Aesthetics and Innovation. Cambridge Scholars Press. pp. 227.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  32
    Comment on David G. Anderson & Dmitry V. Arzyutov, “The Etnos Archipelago: Sergei M. Shirokogoroff and the Life History of a Controversial Anthropological Concept”.Jeff Kochan - 2019 - Current Anthropology 60 (6):741-73 (pp. 760-1).
    In response to Anderson and Arzyutov’s paper, I argue that ambiguities in the Russian social-scientific concept of “etnos” reveal its place in what I call a “field style” for thinking and doing science. Tolerance for ambiguity is, I suggest, a methodological strength of the field sciences. I support these reflections by also addressing the etnos concept’s origins in the complex history of Ukrainian nationalism.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Review: Classical Arabic Verse, History and Theory of 'Arud * Dmitry Frolov: Classical Arabic Verse, History and Theory of 'Arud. [REVIEW]M. G. Carter - 2002 - Journal of Islamic Studies 13 (1):72-75.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    Paul Josephson;, Nicolai Dronin;, Ruben Mnatsakanian;, Aleh Cherp;, Dmitry Efremenko;, Vladislav Larin. An Environmental History of Russia. 340 Pp., Illus., Table, Index. Cambridge: Cambridge University Press, 2013. $28.99. [REVIEW]Andy Bruno - 2014 - Isis 105 (3):625-626.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Imaginary Logic-2: Formal Reconstruction of the Unnoticed Nikolai Vasiliev's Logical System* Vladimir Markin and Dmitry Zaitsev.Logique A. Analyse - 2002 - Logique Et Analyse 45:39.
  10.  9
    Correction To: Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - forthcoming - Studia Logica:1-1.
    In the original publication of the article, the authors name were abbreviated as “D. Shkatov” and “C. J. Van Alten”. However it should be “Dmitry Shkatov” and “Clint J. Van Alten”. The original article has been corrected.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Hydrogeny.Evelina Domnitch & Dmitry Gelfand - 2011 - Continent 1 (3):156-157.
    Nature's simplest atom and mother of all matter, hydrogen feeds the stars as well as interlaces the molecules of their biological descendants – to whom it ultimately whispers the secrets of quantum reality. Hydrogen’s most prevalent earthly guise lies within the composition of water. A slight electrical disturbance can split water into hydrogen and oxygen gas, resulting in diaphanous bubble clouds slowly rising towards the liquid’s surface. Though the founding fathers of electrochemistry posited that the mass of liberated bubbles is (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12. Beyond the Nation-State: The Zionist Political Imagination From Pinsker to Ben-Gurion.Dmitry Shumsky - 2018 - Yale University Press.
    _A revisionist account of Zionist history, challenging the inevitability of a one-state solution, from a bold, path-breaking young scholar_ The Jewish nation-state has often been thought of as Zionism’s end goal. In this bracing history of the idea of the Jewish state in modern Zionism, from its beginnings in the late nineteenth century until the establishment of the state of Israel, Dmitry Shumsky challenges this deeply rooted assumption. In doing so, he complicates the narrative of the Zionist quest for (...)
    No categories
     
    Export citation  
     
    Bookmark  
  13.  5
    From “Informed” to “Engaged” Consent: Risks and Obligations in Consent for Participation in a Health Data Repository.Elizabeth Bromley, Alexandra Mendoza-Graf, Sandra Berry, Camille Nebeker & Dmitry Khodyakov - 2020 - Journal of Law, Medicine and Ethics 48 (1):172-182.
    The development and use of large and dynamic health data repositories designed to support research pose challenges to traditional informed consent models. We used semi-structured interviewing to elicit diverse research stakeholders' views of a model of consent appropriate to participation in initiatives that entail collection, long-term storage, and undetermined future research use of multiple types of health data. We demonstrate that, when considering health data repositories, research stakeholders replace a concept of consent as informed with one in which consent is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  9
    Complexity and Expressivity of Propositional Dynamic Logics with Finitely Many Variables.Mikhail Rybakov & Dmitry Shkatov - 2018 - Logic Journal of the IGPL 26 (5):539-547.
  15.  16
    Сriterion for Fracture Transition to Critical Stage.Ekaterina Damaskinskaya, Dmitry Frolov, Dina Gafurova, Dmitry Korost & Ivan Panteleev - 2017 - Interpretation: SEG 5 (4):SP1-SP8.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  15
    First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.
    We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17. Some Results on the Limits of Thought.Andrew Bacon & Gabriel Uzquiano - 2018 - Journal of Philosophical Logic 47 (6):991-999.
    Generalizing on some arguments due to Arthur Prior and Dmitry Mirimanoff, we provide some further limitative results on what can be thought.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  2
    The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.
    In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19.  5
    Return of Value in the New Era of Biomedical Research—One Size Will Not Fit All.Dmitry Khodyakov, Alexandra Mendoza-Graf, Sandra Berry, Camille Nebeker & Elizabeth Bromley - forthcoming - Ajob Empirical Bioethics:1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Dugin Eurasianism: A Window on the Minds of the Russian Elite or an Intellectual Ploy?Dmitry Shlapentokh - 2007 - Studies in East European Thought 59 (3):215-236.
    This paper considers the views of Alexander Dugin, a leading proponent of Eurasianism in contemporary Russia. The point of his teaching is the preservation of the traditional social/cultural make-up of each civilization. He also believes that the Russian Slavs together with the minorities of the Russian Federation constitute a quasi-unity of Eurasian civilization. He emphasizes that globalism, led by the USA, is a mortal threat to the cultural identity of Russia/Eurasia and all other civilizations. For this reason the USA and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  35
    A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.
    In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  8
    Modal Languages for Topology: Expressivity and Definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.
    In this paper we study the expressive power and definability for modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt–Thomason definability theorem in terms of the well-established first-order topological language.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  27
    Bi-Facial Truth: A Case for Generalized Truth Values.Dmitry Zaitsev & Yaroslav Shramko - 2013 - Studia Logica 101 (6):1299-1318.
    We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  12
    A Few More Useful 8-Valued Logics for Reasoning with Tetralattice EIGHT 4.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265-280.
    In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  5
    The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.
    In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26.  9
    Complexity of Finite-Variable Fragments of Propositional Modal Logics of Symmetric Frames.Mikhail Rybakov & Dmitry Shkatov - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  14
    Modelling Hegemonic Power Transition in Cyberspace.Dmitry Brizhinev, Nathan Ryan & Roger Bradbury - 2018 - Complexity 2018:1-13.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  24
    Seismic Imaging and Statistical Analysis of Fault Facies Models.Dmitriy R. Kolyukhin, Vadim V. Lisitsa, Maxim I. Protasov, Dongfang Qu, Galina V. Reshetova, Jan Tveranger, Vladimir A. Tcheverda & Dmitry M. Vishnevsky - 2017 - Interpretation: SEG 5 (4):SP71-SP82.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  8
    Possible Mechanisms Underlying the Therapeutic Effects of Transcranial Magnetic Stimulation.Alexander V. Chervyakov, Andrey Yu Chernyavsky, Dmitry O. Sinitsyn & Michael A. Piradov - 2015 - Frontiers in Human Neuroscience 9.
  30.  51
    On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics.Renate A. Schmidt & Dmitry Tishkovsky - 2008 - Journal of Logic, Language and Information 17 (1):109-129.
    We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  3
    Criticism of D.B Volkov’s Teleofunctional Solution to the Problem of Mental Causation.Anton V. Kuznetsov - 2020 - Russian Journal of Philosophical Sciences 63 (1):116-135.
    The articles examines the teleofunctional solution to the problem of mental causation, presented by Dmitry Volkov in his recently published book Free Will. An Illusion or an Opportunity. D.B. Volkov proposes solutions to three big metaphysical problems – mental causation, personal identity, and free will. Solving the first problem, Volkov creatively combines the advantages of Dennett’s teleofunctional model and Vasilyev’s local interactionism. Volkov’s teleofunctional model of mental causation seeks to prove the causal relevance of mental properties as non-local higher (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Hierarchy and Power in the History of Civilisations: Political Aspects of Modernity.Leonid Grinin, Dmitry Beliaev & Andrey Korotayev (eds.) - 2008 - Librocom.
    The human history has evidenced a great number of systems of hierarchy and power, various manifestations of power and hierarchy relations in different spheres of social life from politics to information networks, from culture to sexual life. A careful study of each particular case of such relations is very im-portant, especially within the context of contemporary multipolar and multicultural world. In the meantime it is very important to see both the general features, typical for all or most of the hierarchy (...)
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  33.  18
    A Resilience Toolbox and Research Design for Black Sky Hazards to Power Grids.Dmitry Borisoglebsky & Liz Varga - 2019 - Complexity 2019:1-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  14
    A General Method for Proving Decidability of Intuitionistic Modal Logics.Natasha Alechina & Dmitry Shkatov - 2006 - Journal of Applied Logic 4 (3):219-230.
  35.  18
    On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge.Renate A. Schmidt & Dmitry Tishkovsky - 2002 - Bulletin of the Section of Logic 31 (1):27-36.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  21
    Posidonius on the Dry West and the Wet East: Fragment 223 Ek Reconsidered.Dmitry A. Shcheglov - 2006 - Classical Quarterly 56 (2):509-527.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  3
    Approach to Resource Management and Physical Strength Predict Differences in Helping: Evidence From Two Small-Scale Societies.Marina Butovskaya, Michalina Marczak, Michał Misiak, Dmitry Karelin, Michał Białek & Piotr Sorokowski - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  18
    Quantifying the Complexity of Chaos in Multibasin Multidimensional Dynamics of Molecular Systems.Dmitry Nerukh, George Karvounis & Robert C. Glen - 2004 - Complexity 10 (2):40-46.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  22
    A Tale of TALE, PREP1, PBX1, and MEIS1: Interconnections and Competition in Cancer.Francesco Blasi, Chiara Bruckmann, Dmitry Penkov & Leila Dardaei - 2017 - Bioessays 39 (5).
  40.  8
    Mapping Ethnic Stereotypes and Their Antecedents in Russia: The Stereotype Content Model.Dmitry Grigoryev, Susan T. Fiske & Anastasia Batkhina - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  4
    Culture and Personal Influences on Cardiopulmonary Resuscitation- Results of International Survey.Janet Ozer, Gadi Alon, Dmitry Leykin, Joseph Varon, Limor Aharonson-Daniel & Sharon Einav - 2019 - BMC Medical Ethics 20 (1):1-8.
    The ethical principle of justice demands that resources be distributed equally and based on evidence. Guidelines regarding forgoing of CPR are unavailable and there is large variance in the reported rates of attempted CPR in in-hospital cardiac arrest. The main objective of this work was to study whether local culture and physician preferences may affect spur-of-the-moment decisions in unexpected in-hospital cardiac arrest. Cross sectional questionnaire survey conducted among a convenience sample of physicians that likely comprise code team members in their (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  46
    Interactions Between Knowledge, Action and Commitment Within Agent Dynamic Logic.Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt - 2004 - Studia Logica 78 (3):381-415.
    This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  40
    Strong Program in Cultural Sociology.Jeffrey Alexander, Philip Smith, Svetlana Dzhakupova & Dmitry Kurakin - 2010 - Russian Sociological Review 9 (2):11-30.
    In the paper, which pretends to be a program manifesto, its authors justify a necessity of the new theoretical approach to culture which they call a “strong program” in sociology of culture. While the existing sociological approaches to culture bear a reductionist character, the “strong program” treats culture in terms of its autonomy. After a general review of the sociological conceptions of culture authors analyze the most significant approaches within the “weak program.” In the core section of the paper they (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. A Note on Post-Marxist Ideology and Intertextuality From Althusser to Kristeva.Dmitry Olshansky - 2008 - Filozofija I Društvo 19 (1):333-340.
     
    Export citation  
     
    Bookmark  
  45.  5
    Філософія Управління: Освітні Смисли І Соціальні Виклики.Fedir Vlasenko, Yevheniia Levcheniuk, Dmitry Tovmash & Igor Oleksyn - 2019 - Гуманітарний Вісник Запорізької Державної Інженерної Академії 77:170-180.
    Aim. Disclosure of the theoretical and spiritual-practical potential of the philosophy of management in training specialists in the field of public management and administration. Methodology. In the research process there were used such methods as: analysis, synthesis, systemic, comparative, structural-functional and dialectical. The application of the synergistic approach to study management made it possible to consider the latter as a complex and open system. Results. The authors have proved that today the philosophy of management is a theoretical and methodological basis (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  10
    Linear Logic with Fixed Resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
    In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  24
    N. A. Vasil’Ev’s Logic and the Problem of Future Random Events.Dmitry Maximov - 2018 - Axiomathes 28 (2):201-217.
    The solution of the problem of the future random events truth is considered in Vasil’ev’s logic. N. A. Vasil’ev graded the logic according to two levels—the level of facts, i.e. time fixed events, and the level of notions or rules, governing these facts. The mathematical construction previously suggested for imaginary Vasil’ev’s logic, extends to the early variant of his logic—a logic of notions. In the paper, we investigate the meaning of problematic and uncertain assertions introduced by Vasil’ev. As a result, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  10
    Interdependence of Russo-Japanese Relations and Mutual Images of Japan and Russia.Sergey V. Chugrov & Dmitry V. Streltsov - 2017 - Japanese Journal of Political Science 18 (1):22-40.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  4
    Logics with an Existential Modality.Natasha Alechina & Dmitry Shkatov - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 31-48.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  15
    The Extended Mind Hypothesis in the Context of Vygotsky’s Cultural-Historical Psychology.Dmitry V. Ivanov - 2018 - Russian Studies in Philosophy 56 (1):29-38.
    This article analyzes the extended mind hypothesis that has been discussed during the past two decades following the article “The Extended Mind” by Andy Clark and David Chalmers. It examines the position of active externalism and notes the shortcomings of the arguments supporting this position as proposed by Clark and Chalmers. It is demonstrated that the cultural-historical psychology developed by Vygotsky represents an alternative means of substantiating the extended mind hypothesis. Interpreting Vygotsky’s position as “active social externalism,” the author contrasts (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 123