Results for 'Key words or phrases: Index set – Parameterized complexity'

988 found
Order:
  1.  40
    Index sets and parametric reductions.Rod G. Downey & Michael R. Fellows - 2001 - Archive for Mathematical Logic 40 (5):329-348.
    We investigate the index sets associated with the degree structures of computable sets under the parameterized reducibilities introduced by the authors. We solve a question of Peter Cholakand the first author by proving the fundamental index sets associated with a computable set A, {e : W e ≤ q u A} for q∈ {m, T} are Σ4 0 complete. We also show hat FPT(≤ q n ), that is {e : W e computable and ≡ q n (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  25
    Recursive events in random sequences.George Davie - 2001 - Archive for Mathematical Logic 40 (8):629-638.
    Let ω be a Kolmogorov–Chaitin random sequence with ω1: n denoting the first n digits of ω. Let P be a recursive predicate defined on all finite binary strings such that the Lebesgue measure of the set {ω|∃nP(ω1: n )} is a computable real α. Roughly, P holds with computable probability for a random infinite sequence. Then there is an algorithm which on input indices for any such P and α finds an n such that P holds within the first (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  21
    Index sets for ω‐languages.Douglas Czenzer & Jeffrey B. Remmel - 2003 - Mathematical Logic Quarterly 49 (1):22-33.
    An ω-language is a set of infinite sequences on a countable language, and corresponds to a set of real numbers in a natural way. Languages may be described by logical formulas in the arithmetical hierarchy and also may be described as the set of words accepted by some type of automata or Turing machine. Certain families of languages, such as the equation image languages, may enumerated as P0, P1, … and then an index set associated to a given (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  45
    On the parameterized complexity of short computation and factorization.Liming Cai, Jianer Chen, Rodney G. Downey & Michael R. Fellows - 1997 - Archive for Mathematical Logic 36 (4-5):321-337.
    A completeness theory for parameterized computational complexity has been studied in a series of recent papers, and has been shown to have many applications in diverse problem domains including familiar graph-theoretic problems, VLSI layout, games, computational biology, cryptography, and computational learning [ADF,BDHW,BFH, DEF,DF1-7,FHW,FK]. We here study the parameterized complexity of two kinds of problems: (1) problems concerning parameterized computations of Turing machines, such as determining whether a nondeterministic machine can reach an accept state in \documentclass[12pt]{minimal} (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  52
    The algebraic structure of the isomorphic types of tally, polynomial time computable sets.Yongge Wang - 2002 - Archive for Mathematical Logic 41 (3):215-244.
    We investigate the polynomial time isomorphic type structure of (the class of tally, polynomial time computable sets). We partition P T into six parts: D −, D^ − , C, S, F, F^, and study their p-isomorphic properties separately. The structures of , , and are obvious, where F, F^, and C are the class of tally finite sets, the class of tally co-finite sets, and the class of tally bi-dense sets respectively. The following results for the structures of and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    Index of Greek Words or Phrases.Konstantinos Spanoudakis - 2014 - In Nonnus of Panopolis in Context: Poetry and Cultural Milieu in Late Antiquity with a Section on Nonnus and the Modern World. De Gruyter. pp. 541-542.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  23
    An elementary proof of strong normalization for intersection types.Valentini Silvio - 2001 - Archive for Mathematical Logic 40 (7):475-488.
    We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly normalizing (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. On the filter of computably enumerable supersets of an r-maximal set.Steffen Lempp, André Nies & D. Reed Solomon - 2001 - Archive for Mathematical Logic 40 (6):415-423.
    We study the filter ℒ*(A) of computably enumerable supersets (modulo finite sets) of an r-maximal set A and show that, for some such set A, the property of being cofinite in ℒ*(A) is still Σ0 3-complete. This implies that for this A, there is no uniformly computably enumerable “tower” of sets exhausting exactly the coinfinite sets in ℒ*(A).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  29
    Finality regained: A coalgebraic study of Scott-sets and multisets. [REVIEW]Giovanna D'Agostino & Albert Visser - 2002 - Archive for Mathematical Logic 41 (3):267-298.
    In this paper we study iterated circular multisets in a coalgebraic framework. We will produce two essentially different universes of such sets. The unisets of the first universe will be shown to be precisely the sets of the Scott universe. The unisets of the second universe will be precisely the sets of the AFA-universe. We will have a closer look into the connection of the iterated circular multisets and arbitrary trees. RID=""ID="" Mathematics Subject Classification (2000): 03B45, 03E65, 03E70, 18A15, 18A22, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Meillassoux’s Virtual Future.Graham Harman - 2011 - Continent 1 (2):78-91.
    continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...)
     
    Export citation  
     
    Bookmark   2 citations  
  11.  39
    Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
    Let ℒ and ? be propositional languages over Basic Propositional Calculus, and ℳ = ℒ∩?. Weprove two different but interrelated interpolation theorems. First, suppose that Π is a sequent theory over ℒ, and Σ∪ {C⇒C′} is a set of sequents over ?, such that Π,Σ⊢C⇒C′. Then there is a sequent theory Φ over ℳ such that Π⊢Φ and Φ, Σ⊢C⇒C′. Second, let A be a formula over ℒ, and C 1, C 2 be formulas over ?, such that A∧C 1⊢C (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  30
    Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
    A Kripke model ? is a submodel of another Kripke model ℳ if ? is obtained by restricting the set of nodes of ℳ. In this paper we show that the class of formulas of Intuitionistic Predicate Logic that is preserved under taking submodels of Kripke models is precisely the class of semipositive formulas. This result is an analogue of the Łoś-Tarski theorem for the Classical Predicate Calculus.In Appendix A we prove that for theories with decidable identity we can take (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  13.  82
    The spectrum of partitions of a Boolean algebra.J. Donald Monk - 2001 - Archive for Mathematical Logic 40 (4):243-254.
    The main notion dealt with in this article is where A is a Boolean algebra. A partition of 1 is a family ofnonzero pairwise disjoint elements with sum 1. One of the main reasons for interest in this notion is from investigations about maximal almost disjoint families of subsets of sets X, especially X=ω. We begin the paper with a few results about this set-theoretical notion.Some of the main results of the paper are:• (1) If there is a maximal family (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  43
    Boolean Algebras, Tarski Invariants, and Index Sets.Barbara F. Csima, Antonio Montalbán & Richard A. Shore - 2006 - Notre Dame Journal of Formal Logic 47 (1):1-23.
    Tarski defined a way of assigning to each Boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from ℕ, such that two Boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a Boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean algebras, these invariants determine the algebra up to isomorphism. In this paper we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  16
    Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of ℚ.Alexandra Shlapentokh - 2001 - Archive for Mathematical Logic 40 (4):297-328.
    We investigate the issues of Diophantine definability over the non-finitely generated version of non-degenerate modules contained in the infinite algebraic extensions of the rational numbers. In particular, we show the following. Let k be a number field and let K inf be a normal algebraic, possibly infinite, extension of k such that k has a normal extension L linearly disjoint from K inf over k. Assume L is totally real and K inf is totally complex. Let M inf be a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Fish do not feel pain and its implications for understanding phenomenal consciousness.Brian Key - 2015 - Biology and Philosophy 30 (2):149-165.
    Phenomenal consciousness or the subjective experience of feeling sensory stimuli is fundamental to human existence. Because of the ubiquity of their subjective experiences, humans seem to readily accept the anthropomorphic extension of these mental states to other animals. Humans will typically extrapolate feelings of pain to animals if they respond physiologically and behaviourally to noxious stimuli. The alternative view that fish instead respond to noxious stimuli reflexly and with a limited behavioural repertoire is defended within the context of our current (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  46
    Isolation and the high/low hierarchy.Shamil Ishmukhametov & Guohua Wu - 2002 - Archive for Mathematical Logic 41 (3):259-266.
    Say that a d.c.e. degree d is isolated by a c.e. degree b, if bMathematics Subject Classification (2000): 03D25, 03D30, 03D35 RID=""ID="" Key words or phrases: (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  15
    Extensions of Hałkowska–Zajac's three-valued paraconsistent logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
    As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we prove that extensions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  26
    Internal Perception: The Role of Bodily Information in Concepts and Word Mastery.Luigi Pastore & Sara Dellantonio - 2017 - Berlin, Heidelberg: Springer Berlin Heidelberg. Edited by Luigi Pastore.
    Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  39
    In the beginning: Word or deed?Stephen J. Cowley - 2005 - Behavioral and Brain Sciences 28 (4):493-494.
    Emphasizing that agents gain from culture-based patterns, I consider the etiology of meaning. Since the simulations show that “shared categories” are not based in learning, I challenge Steels & Belpaeme's (S&B's) folk view of language. Instead, I stress that meaning uses indexicals to set off a replicator process. Finally, I suggest that memetic patterns – not words – are the grounding of language.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  16
    New concepts of molecular communication among neurons.R. Key Dismukes - 1979 - Behavioral and Brain Sciences 2 (3):409-416.
    Recently a number of complex electrophysiological responses to neurotransmitters have been observed that cannot be described as simple excitation or inhibition. These responses are often characterized as modulatory, although there is no consensus on what defines modulation. Morphological studies reveal certain neurotransmitters stored in what might be release sites without synaptic contact. There is no direct evidence for nonsynaptic release from CNS sites, although such release does occur in the periphery and in invertebrates. Nonsynaptic release might provide a basis for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  22.  6
    Yoga in Jainism.Christopher Key Chapple (ed.) - 2016 - New York: Routledge, Taylor & Francis Group.
    Jaina Studies is a relatively new and rapidly expanding field of inquiry for scholars of Indian religion and philosophy. In Jainism, "yoga" carries many meanings, and this book explores the definitions, nuances, and applications of the term in relation to Jainism from early times to the present. Yoga in Jainism begins by discussing how the use of the term yoga in the earliest Jaina texts described the mechanics ofmundane action or karma. From the time of the later Upanisads, the word (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  2
    The Secret Doctrine, the Synthesis of Science, Religion, and Philosophy, by H.P. Blavatsky: Index.John P. Van Mater - 1997 - Theosophical University Press.
    The Secret Doctrine comprises a virtual encyclopaedia of the "anciently universal wisdom-tradition" -- scarcely an issue of consequence in the broad range of human experience is left untouched. As part of the Secret Doctrine Centenary project, this 441-page Index provides ready access to the vast quantity of material from many cultures set forth in the SD's original two volumes published in 1888. Due to the topics covered, it is as much an index of ideas as it is of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  16
    Syntax of Testimony: Indexical Objects, Syntax, and Language or How to Tell a Story Without Words.Till Nikolaus von Heiseler - 2019 - Frontiers in Psychology 10:425173.
    Language—often said to set human beings apart from other animals—has resisted explanation in terms of evolution. Language has—among others—two fundamental and distinctive features: syntax and the ability to express non-present actions and events. We suggest that the relation between this representation (of non-present action) and syntax can be analyzed as a relation between a function and a structure to fulfill this function. The strategy of the paper is to ask if there is any evidence of pre-linguistic communication that fulfills the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  50
    Information Theoretic Representations of Qubit Channels.Tanner Crowder & Keye Martin - 2012 - Foundations of Physics 42 (7):976-983.
    A set of qubit channels has a classical representation when it is isomorphic to the convex closure of a group of classical channels. From Crowder and Martin (Proceedings of Quantum Physics and Logic, Electronic Notes in Theoretical Computer Science, 2009), we know that up to isomorphism there are five such sets, each corresponding to either a subgroup of the alternating group on four letters, or a subgroup of the symmetric group on three letters. In this paper, we show that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  12
    Metaphysics of Natural Complexes: Second, Expanded Edition.Kathleen Wallace, Armen Marsoobian & Robert S. Corrington (eds.) - 1989 - State University of New York Press.
    During the past two decades Metaphysics of Natural Complexes has exerted a strong a growing influence on the continuing development of contemporary philosophy. This new and expanded edition acknowledges this influence and brings together much material. Included are the previously published articles “On the Concept of ‘the World,’” and “Probing the Idea of Nature,” which Buchler wrote subsequent to Metaphysics of Natural Complexes as extensions and completions of the system. Previously unpublished work on the key concept of contour has also (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  15
    Introduction.Paul Standish - 2022 - The Pluralist 17 (1):96-99.
    It Is My Pleasure To Introduce this discussion of Naoko Saito's American Philosophy in Translation. We have contributions from three experts in American philosophy, all of whom have been in conversation with the author for many years: Jim Garrison, Vincent Colapietro, and Steven Fesmire. Prior to their contributions, I would like to set the scene with some brief remarks to introduce the book and to explain something of its background.Over the past two decades, I have worked closely with Saito on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  3
    English Phrase Speech Recognition Based on Continuous Speech Recognition Algorithm and Word Tree Constraints.Haifan Du & Haiwen Duan - 2021 - Complexity 2021:1-11.
    This paper combines domestic and international research results to analyze and study the difference between the attribute features of English phrase speech and noise to enhance the short-time energy, which is used to improve the threshold judgment sensitivity; noise addition to the discrepancy data set is used to enhance the recognition robustness. The backpropagation algorithm is improved to constrain the range of weight variation, avoid oscillation phenomenon, and shorten the training time. In the real English phrase sound recognition system, there (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    The Spirit-Driven Leader: Seven Keys to Succeeding under Pressure by Carnegie Samuel Calian.Todd V. Cioff - 2013 - Journal of the Society of Christian Ethics 33 (2):198-199.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Spirit-Driven Leader: Seven Keys to Succeeding under Pressure by Carnegie Samuel CalianTodd V. CioffThe Spirit-Driven Leader: Seven Keys to Succeeding under Pressure by Carnegie Samuel Calian Louisville, KY: Westminster John Knox Press, 2010. 125pp. $15.00Great leadership is indispensable to the success of any organization, yet it so often seems in short supply. Carnegie Samuel Calian, former president of Pittsburgh Theological Seminary for more than twenty-five years, seeks (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  26
    Application of the rapid ethical assessment approach to enhance the ethical conduct of longitudinal population based female cancer research in an urban setting in Ethiopia.Alem Gebremariam, Alemayehu Worku Yalew, Selamawit Hirpa, Abigiya Wondimagegnehu, Mirgissa Kaba, Mathewos Assefa, Israel Mitiku, Eva Johanna Kantelhardt, Ahmedin Jemal & Adamu Addissie - 2018 - BMC Medical Ethics 19 (1):87.
    Rapid Ethical Assessment is an approach used to design context tailored consent process for voluntary participation of participants in research including human subjects. There is, however, limited evidence on the design of ethical assessment in studies targeting cancer patients in Ethiopia. REA was conducted to explore factors that influence the informed consent process among female cancer patients recruited for longitudinal research from Addis Ababa Population-based Cancer Registry. Qualitative study employing rapid ethnographic approach was conducted from May–July, 2017, at the Tikur (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  75
    Breve storia dell'etica.Sergio Cremaschi - 2012 - Roma RM, Italia: Carocci.
    The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  32.  16
    Toby Smith. Little Gray Men: Roswell and the Rise of a Popular Culture. xii + 199 pp., bibl., index. Albuquerque: University of New Mexico Press, 2000. $24.95. [REVIEW]Henry Bauer - 2002 - Isis 93 (2):354-355.
    Without question, UFOs are part of popular culture; indeed, one might even talk of them as a popular culture. Without question, Roswell is part of the UFO scene; but it is far from the whole thing, nor is it even the central issue. Still less did the Roswell “culture” spawn humankind's preoccupation with possible alien visitors from outer space or the literary genre of science fiction. Yet if this book is to be believed, Roswell has been the center from which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  27
    Key word index to volume 52.M. Bakhtin & A. Herzen - 2000 - Studies in East European Thought 52 (335):335-335.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  50
    "General rules" in Hume's Treatise.Thomas K. Hearn - 1970 - Journal of the History of Philosophy 8 (4):405.
    In lieu of an abstract, here is a brief excerpt of the content:"General Rules" in Hume's Treatise THOMAS K. HEARN, JR. IT COULDBE CONFIDENTLYASSERTED in 1925 that Hume was "no longer a living figure." x Stuart Hampshire records that when he began his philosophy studies in 1933, Hume's conclusions were regarded at Oxford as "extravagances of scepticism which no one could seriously accept." 2 That virtually no Anglo-American philosopher would now share such opinions about Hume testifies not only to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  35. Cosmic Pessimism.Eugene Thacker - 2012 - Continent 2 (2):66-75.
    continent. 2.2 (2012): 66–75 ~*~ We’re Doomed. Pessimism is the night-side of thought, a melodrama of the futility of the brain, a poetry written in the graveyard of philosophy. Pessimism is a lyrical failure of philosophical thinking, each attempt at clear and coherent thought, sullen and submerged in the hidden joy of its own futility. The closest pessimism comes to philosophical argument is the droll and laconic “We’ll never make it,” or simply: “We’re doomed.” Every effort doomed to failure, every (...)
     
    Export citation  
     
    Bookmark   4 citations  
  36.  23
    Key Word Index to Volume 55.August Cieszkowski & Boris Chicherin - 2003 - Studies in East European Thought 55 (4):401-402.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  22
    Ce qui ne revient pas au meme.Stéphane Habib & Raphaël Zagury-Orly - 2006 - Journal of Jewish Thought and Philosophy 14 (1-2):37-54.
    We should not understand in this title "What does not return to the same" the announcement of a return to Levinas, but rather of what the word or concept of "return" could mean in Levinas's work. There is perhaps no better way of misunderstanding Levinas than imposing on his philosophical gesture the interpretative grid of a "horizon of return". This article will attempt to dismantle the strategies of reading which stipulate that Levinas's philosophy is one of "return". In this way (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  31
    Who Understands? A Survey of 25 Words or Phrases Commonly Used in Proposed Clinical Research Consent Forms.William C. Waggoner & Diane M. Mayo - 1995 - IRB: Ethics & Human Research 17 (1):6.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39. Simple or complex bodies? Trade-offs in exploiting body morphology for control.Matej Hoffmann & Vincent C. Müller - 2017 - In Gordana Dodig-Crnkovic & Raffaela Giovagnoli (eds.), Representation of Reality: Humans, Other Living Organism and Intelligent Machines. Heidelberg: Springer. pp. 335-345.
    Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  51
    The Nurse's Challenge in Coping With Ethical Dilemmas in Occupational Health.Nili Tabak & Tamar Ben-Or - 1994 - Nursing Ethics 1 (4):208-215.
    This paper discusses the occupational health nurse's dilemmas by illustrating two cases faced by nurses in occupational health practice and setting out their analysis according to a decision-making model. The counter-interests, which may offend the principles of conserving professional occupational ethics among service consumers and employers as well as fellow professionals, are emphasized. This paper also describes the complex problems involved in the worker's safety and the safeguarding of their autonomy, while preserving interpersonal relations among the various people concerned.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  27
    Key Word Index to Volume 54.Russian Eurasianism & Soviet Marxism - 2002 - Studies in East European Thought 54 (349):349-349.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Key word index to volume 57.Niklas Luhmann - 2005 - Studies in East European Thought 57:339.
     
    Export citation  
     
    Bookmark  
  43.  24
    Key Word Index to Volume 50.Soviet Union - 1998 - Studies in East European Thought 50 (331):331-331.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  19
    How to Be Free: An Ancient Guide to the Stoic Life. Epictetus - 2018 - Princeton University Press.
    A superb new edition of Epictetus’s famed handbook on Stoicism—translated by one of the world’s leading authorities on Stoic philosophy Born a slave, the Roman Stoic philosopher Epictetus taught that mental freedom is supreme, since it can liberate one anywhere, even in a prison. In How to Be Free, A. A. Long—one of the world’s leading authorities on Stoicism and a pioneer in its remarkable contemporary revival—provides a superb new edition of Epictetus’s celebrated guide to the Stoic philosophy of life (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  7
    The complexity of index sets of classes of computably enumerable equivalence relations.Uri Andrews & Andrea Sorbi - 2016 - Journal of Symbolic Logic 81 (4):1375-1395.
    Let$ \le _c $be computable the reducibility on computably enumerable equivalence relations. We show that for every ceerRwith infinitely many equivalence classes, the index sets$\left\{ {i:R_i \le _c R} \right\}$,$\left\{ {i:R_i \ge _c R} \right\}$, and$\left\{ {i:R_i \equiv _c R} \right\}$are${\rm{\Sigma }}_3^0$complete, whereas in caseRhas only finitely many equivalence classes, we have that$\left\{ {i:R_i \le _c R} \right\}$is${\rm{\Pi }}_2^0$complete, and$\left\{ {i:R \ge _c R} \right\}$ is${\rm{\Sigma }}_2^0$complete. Next, solving an open problem from [1], we prove that the index (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  36
    Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.Iris van de Pol, Iris van Rooij & Jakub Szymanik - 2018 - Journal of Logic, Language and Information 27 (3):255-294.
    Theory of mind refers to the human capacity for reasoning about others’ mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractability. A possible reason could be that it may involve higher-order thinking. To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize ‘order of thinking.’ We prove that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. When Shapes and Sounds become Words: Indexicals and the Metaphysics of Semantic Tokens.Cathal O'Madagain - forthcoming - Thought: A Journal of Philosophy.
    To avoid difficulties that arise when we appeal to speaker intentions or multiple rules to determine the meaning of indexicals, Cohen (2013) recently defends a conventionalist account of these terms that focuses on their context of tokening. Apart from some tricky cases already discussed in the literature, however, such an account faces a serious difficulty: in many speech acts, multiple apparent tokens are produced – for example when a speaker speaks on a telephone, and her utterance is heard both where (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  19
    The parameterized complexity of maximality and minimality problems.Yijia Chen & Jörg Flum - 2008 - Annals of Pure and Applied Logic 151 (1):22-61.
    Many parameterized problems ask, given an instance and a natural number k as parameter, whether there is a solution of size k. We analyze the relationship between the complexity of such a problem and the corresponding maximality problem asking for a solution of size k maximal with respect to set inclusion. As our results show, many maximality problems increase the parameterized complexity, while “in terms of the W-hierarchy” minimality problems do not increase the complexity. We (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  10
    Logiḳah be-peʻulah =.Doron Avital - 2012 - Or Yehudah: Zemorah-Bitan, motsiʼim le-or.
    Logic in Action/Doron Avital Nothing is more difficult, and therefore more precious, than to be able to decide (Napoleon Bonaparte) Introduction -/- This book was born on the battlefield and in nights of secretive special operations all around the Middle East, as well as in the corridors and lecture halls of Western Academia best schools. As a young boy, I was always mesmerized by stories of great men and women of action at fateful cross-roads of decision-making. Then, like as today, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  17
    Bases temporais para o estudo histórico da Igreja católica do século XX.Rodrigo Coppe Caldeira - 2007 - Horizonte 5 (10):75-90.
    Resumo O Concílio Vaticano II causou, com seus textos finais, grande comoção no interior da Igreja católica. Perpassado por lutas internas e conflitos doutrinais e ideológicos, os padres conciliares produziram textos calcados em certo "compromisso de pluralismo contraditório". Tal "compromisso" despertou grandes questões para o magistério e para os católicos, já que uma hermenêutica "correta" dos textos era exigida com o passar do tempo. Dessa forma, no período denominado de "pós-concílio", a luta pelos significados de seus textos continuou e ainda (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 988