Results for 'Y. Matiyasevich'

956 found
Order:
  1.  21
    Baaz, M., HaHjek, P., Montagna, F. and Veith, H., Complexity of t-tautologies (1} 3) 3} 11 Beauquier, D. and Slissenko, A., A" rst order logic for speci" cation of timed algorithms: basic properties and a decidable class (1} 3) 13} 52. [REVIEW]L. Boasson, P. Cegielski, I. Guessarian, Y. Matiyasevich, E. Dantsin, M. Gavrilovich, E. A. Hirsch & B. Konev - 2001 - Annals of Pure and Applied Logic 113 (399):400.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Mathematical psychics, an essay on the application of mathematics to the moral sciences.F. Y. Edgeworth - 1881 - Revue Philosophique de la France Et de l'Etranger 12:536-539.
     
    Export citation  
     
    Bookmark   21 citations  
  3.  38
    Topics on being and logical reasoning.Richard S. Y. Chi - 1974 - Philosophy East and West 24 (3):293-300.
  4.  26
    Learning to Learn Functions.Michael Y. Li, Fred Callaway, William D. Thompson, Ryan P. Adams & Thomas L. Griffiths - 2023 - Cognitive Science 47 (4):e13262.
    Humans can learn complex functional relationships between variables from small amounts of data. In doing so, they draw on prior expectations about the form of these relationships. In three experiments, we show that people learn to adjust these expectations through experience, learning about the likely forms of the functions they will encounter. Previous work has used Gaussian processes—a statistical framework that extends Bayesian nonparametric approaches to regression—to model human function learning. We build on this work, modeling the process of learning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  14
    Emotional labor among Turkish nurses: A cross‐sectional study.Ayşegül Tuğba Yıldız & Leyla Dinc - 2023 - Nursing Inquiry 30 (3):e12544.
    Nurses are the closest healthcare providers to patients and emotional labor is the most invisible part of nursing work. However, the management of emotions to promote organizational goals and to ensure patient satisfaction may have both positive and negative impacts on nurses' working life. The purpose of this cross‐sectional, descriptive study was to examine the emotional labor behaviors of nurses and their opinions on emotional labor. Two hundred nineteen nurses working at public hospitals in Ankara between September and December 2018 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  21
    Probing the Relationship Between Home Numeracy and Children's Mathematical Skills: A Systematic Review.Belde Mutaf-Yıldız, Delphine Sasanguie, Bert De Smedt & Bert Reynvoet - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  29
    Dislocation climb effects on particle bypass mechanisms.Y. Xiang & D. J. Srolovitz - 2006 - Philosophical Magazine 86 (25-26):3937-3957.
  8.  64
    Church's problem revisited.Orna Kupferman & Moshe Y. Vardi - 1999 - Bulletin of Symbolic Logic 5 (2):245-263.
    In program synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is open, then at each moment it reads input signals and writes output signals, which depend on the input signals and the history of the computation so far. The specification considers all possible input sequences. Thus, if the specification is linear, it should hold in every computation generated by the interaction, and if the specification is branching, it should hold in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. (1 other version)Causes and Explanations: A Structural-Model Approach. Part II: Explanations.Joseph Y. Halpern & Judea Pearl - 2005 - British Journal for the Philosophy of Science 56 (4):889-911.
    We propose new definitions of (causal) explanation, using structural equations to model counterfactuals. The definition is based on the notion of actual cause, as defined and motivated in a companion article. Essentially, an explanation is a fact that is not known for certain but, if found to be true, would constitute an actual cause of the fact to be explained, regardless of the agent's initial uncertainty. We show that the definition handles well a number of problematic examples from the literature.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  10.  39
    Dedication.Yehoraz Y. A. Kasher - 1992 - Philosophia 21 (3-4):161-161.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  11.  96
    A more substantive neuron doctrine.Joe Y. F. Lau - 1999 - Behavioral and Brain Sciences 22 (5):843-844.
    (1) It is not clear from Gold and Stoljar’s definition of biological neuroscience whether it includes computational and representational concepts. If so, then their evaluation of Kandel’s theory is problematic. If not, then a more direct refutation of the radical neuron doctrine is available. (2) Objections to the psychological sciences might derive not just from the conflation of the radical and the trivial neuron doctrine. There might also be the implicit belief that for many mental phenomena, adequate theories must invoke (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  48
    The religious features of scientific medicine.Harold Y. Vanderpool - 2008 - Kennedy Institute of Ethics Journal 18 (3):pp. 203-234.
    Against the common assumption that modern medicine is altogether secular and scientific, this article argues that the practice of medicine manifests characteristic features of religion. This exposition is predicated upon a delineation of the phenomenological characteristics of religion and upon a critical analysis of the ways scientific medicine does or does not manifest these characteristics. Insofar as medical practice is unknowingly religious, that practice can cause harm and delusion. An acknowledgment that scientific medicine embodies features of religion is a beginning (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  20
    Digitalization processes vs. traditional ones: ethical and environmental aspects.Y. Serkina, Z. Novikova & A. Sukhorukih - 2022 - Ethics in Science and Environmental Politics 22:57-68.
    At the current level of economic development, the digital transformation of society is an important factor in advancing any social structure. The purpose of the present study was to explore the transformation of a traditional society into a digital one, with a focus on ethical and environmental aspects. The study draws on a variety of information analysis methods to identify strengths, weaknesses, opportunities, and threats of digitalization, including the environmental aspect. Our research revealed that in Russia, the only highly digitalized (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Secularization and Religion by Ali Bayer.Ali Yılmaz - 2024 - Beytulhikme An International Journal of Philosophy 14 (14:3):889-894.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. og Punameki, RL.Y. Engeström & R. Mittinen - 1999 - In Yrjö Engeström, Reijo Miettinen & Raija-Leena Punamäki-Gitai (eds.), Perspectives on activity theory. New York: Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  16.  35
    Richard Swinburne’s Defence of Dualism.Aykut Alper Yılmaz - 2020 - Kader 18 (1):318-343.
    Richard Swinburne is one of the most important figures in philosophy of religion who took special interest in the soul. Also he is one of the most prominent defenders of dualism –also known as mind-body dualism or substance dualism– that regards humans as composed of two different substances called body and the soul. He defended the dualist view against contemporary problems of dualism and contributed to it with his three books, namely The Evolution of the Soul; Mind, Brain and Free (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. [Book Chapter].M. Ito, Y. Miyashita & Edmund T. Rolls (eds.) - 1997 - Oxford University Press.
  18.  25
    The structures of 3d-transition metals in the liquid state.Y. Waseda & S. Tamaki - 1975 - Philosophical Magazine 32 (2):273-281.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  18
    Death and Mastery: Psychoanalytic Drive Theory and the Subject of Late Capitalism.Benjamin Y. Fong - 2016 - Columbia University Press.
    The first philosophers of the Frankfurt School famously turned to the psychoanalytic theories of Sigmund Freud to supplement their Marxist analyses of ideological subjectification. Since the collapse of their proposed "marriage of Marx and Freud," psychology and social theory have grown apart to the impoverishment of both. Returning to this union, Benjamin Y. Fong reconstructs the psychoanalytic "foundation stone" of critical theory in an effort to once again think together the possibility of psychic and social transformation. Drawing on the work (...)
    No categories
  20.  26
    A principle‐based framework for disclosing a psychosis risk diagnosis.Oliver Y. Zhang, Doug McConnell, Adrian Carter & Jonathan Pugh - 2022 - Bioethics 37 (2):171-182.
    In recent decades, researchers have attempted to prospectively identify individuals at high risk of developing psychosis in the hope of delaying or preventing psychosis onset. These psychosis risk individuals are identified as being in an ‘At-Risk Mental State’ (ARMS) through a standardised psychometric interview. However, disclosure of ARMS status has attracted criticism due to concerns about the risk–benefit ratio of disclosure to patients. Only approximately one quarter of ARMS patients develop psychosis after three years, raising concerns about the unnecessary harm (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  8
    On Duration Measuring in Dutch and Flemish.Y. Putseys - 1974 - Foundations of Language 11 (2):273-280.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  52
    In Defense of Abstract Creationism: A Recombinatorial Approach.Michael Y. Bennett - 2021 - Philosophy and Literature 45 (2):489-495.
    As a version of creationism—which claims that fictional charac- ters are created by authors who write characters into existence by penning their names in their works—abstract creationism claims that fictional objects are abstract entities. However, I want to modify the conception of what constitutes a fictional object. In short, I am going to give a defense of abstract creationism that offers answers to the questions, as outlined by Stuart Brock, of ontology, identity, and plenitude by developing a claim that—except for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  59
    Intrinsic-Extrinsic Properties in Theater.Michael Y. Bennett - 2021 - Philosophy and Literature 45 (1):34-38.
    David Friedell has recently discussed the relationship between intrinsic and extrinsic properties of art, specifically in music. Friedell claims that normative social rules dictate who can change the intrinsic or extrinsic properties of a piece of music. I claim that in text-based theater—as a particular art form—the dividing line between intrinsic and extrinsic properties of a play is sometimes tenuous. This tenuousness is due to a play's bifurcated existence as a dramatic text and as many theatrical performances.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  3
    Examining the 'Gift to the Child' Approach, one of the Religious Development Models, in Terms of Teachers' Views.Mine Yılmaz & Recep Uçar - 2025 - Fırat Üniversitesi İlahiyat Fakültesi Dergisi 29 (2):61-78.
    The necessity, method and content of childhood religious education are discussed from various perspectives in our country and around the world. The ‘Gift to the Child’ education method, which is applied in England where different religions live together, is a secular religious education approach with psychological, pedagogical and theological foundations. According to this method, which was developed with different methods from adult religious education and considering educational-scientific inferences, children can learn many information and skills based on religions and can transform (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  14
    Symmetric bi-derivations of UP(BCC)-algebras.Damla Yılmaz - 2024 - Journal of Applied Non-Classical Logics 34 (1):155-169.
    In this paper, we define the notions of (l,r)-symmetric bi-derivations and (r,l)-symmetric bi-derivations on UP-algebras and investigate some properties of them. For these derivations, we introduce the sets Kerd(U), Fixd(U) and FixD(U). Moreover, we examine with examples whether these sets are UP-subalgebra or UP-ideal.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  32
    Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities.Y. Wang & W. Merkle - 2001 - Mathematical Logic Quarterly 47 (2):249-270.
    Let ≤r and ≤sbe two binary relations on 2ℕ which are meant as reducibilities. Let both relations be closed under finite variation and consider the uniform distribution on 2ℕ, which is obtained by choosing elements of 2ℕ by independent tosses of a fair coin.Then we might ask for the probability that the lower ≤r-cone of a randomly chosen set X, that is, the class of all sets A with A ≤rX, differs from the lower ≤s-cone of X. By c osure (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  17
    Temperature dependence of the structure of liquid mercury up to 250°C.Y. Waseda, K. Yokoyama & K. Suzuki - 1974 - Philosophical Magazine 29 (6):1427-1430.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  17
    The structure of rare earth metals in the liquid state.Y. Waseda & S. Tamaki - 1977 - Philosophical Magazine 36 (1):1-8.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  16
    Creep behaviour in a discontinuous SiC–Zn-22% Al composite.Y. Xun & F. A. Mohamed * - 2005 - Philosophical Magazine 85 (24):2767-2785.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Sociedad, democracia, trabajo: apuntes de política social.Raggi Y. Ageo & M. Carlos - 1938 - La Habana: [Talleres de "La casa Montalvo Cárdenas"].
     
    Export citation  
     
    Bookmark  
  31. Filosofía de la ley según santo Tomás de Aquino..Carreras Y. Arañó & Juan[From Old Catalog] - 1919 - Madrid,: Editorial Reus (s. a.).
     
    Export citation  
     
    Bookmark  
  32. Systematicity and Normative Closure in Lithuanian Talmudism.Yonatan Y. Brafman - 2024 - In Sergey Dolgopolski & James Adam Redfield (eds.), Talmud /and/ philosophy: conjunctions, disjunctions, continuities. Bloomington, Indiana: Indiana University Press.
     
    Export citation  
     
    Bookmark  
  33. Obispado Castrense de Colombia, Colombia. Una ética para la paz desde la perspectiva cristiana.Área Jovenes Educación Y. Cultura, Obispado Castrense de Colombia, Juan Andrés Vargas Molina & Presbítero Obispado Castrense de Colombia - 2014 - In Javier Fernández Leal, S. Contreras & Jorge Orlando (eds.), Los retos éticos de las fuerzas militares. Medellín, Colombia: Biblioteca Jurídica Diké.
     
    Export citation  
     
    Bookmark  
  34. De la personal individual como sujeto primario en el derecho público.Bilbao Y. Eguá & Esteban de[From Old Catalog] - 1949 - Bilbao,: Impr. Provincial de Vizcaya. Edited by Antonio Goicoechea Y. Cosculluela.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  16
    Die Vernünftigkeit des jüdischen Dogmas.George Y. Kohler - 2020 - Zeitschrift für Religions- Und Geistesgeschichte 72 (4):371-389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Karl-Otto Apel-Manfred Baum-Paul Guyer kaan H. ökten-e. Efe çakmak.İki Yüzüncü Ölüm Yıldönümünde - 2005 - Cogito 41:477.
    No categories
     
    Export citation  
     
    Bookmark  
  37. El concepto filosófico-jurídico de la ley.Barragan Y. Leñero & José Trinidad - 1955 - México,:
     
    Export citation  
     
    Bookmark  
  38.  13
    Denial of Paternity by DNA Fingerprint Test in Islamic Family Law.İbrahim Yılmaz - 2017 - Cumhuriyet İlahiyat Dergisi:957-1002.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  33
    Modern Dönem Nesih Tartışmaları ve İbn Kesîr’in Neshe Yaklaşımı.Melek Yılmaz - 2016 - Cumhuriyet İlahiyat Dergisi 20 (2):349-349.
    Abrogation (naskh) is one of the controversial themes of Islamic studies, especially in later period that of principle of exegesis (uṣūl al-tafsīr). However, the recent studies on abrogation (naskh) do not offer a comprehensive analysis on the concept. In fact, the problem of naskh (abrogation) is in need of a systematic and holistic approach, which would only be possible with a detailed study on how the concept of abrogation (naskh) is understood in Islamic interpretive tradition (tafsīr). With this purpose in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  18
    Neo-Kantçı Ahlak Felsefesi Bağlamında Sosyal Demokrat Revizyonizm Tartışmaları.Onur Yılmaz - 2021 - Felsefe Arkivi 54:97-116.
    Kant, bir 18. yüzyıl filozofu olmasına karşın, görüşleri kendi döneminde olduğu kadar sonraki yüzyıllarda da yankı uyandırmış ve birçok kişiye ilham kaynağı olmuştur. Kant’ın ahlak felsefesi üzerinden yürüttüğü tartışmalar, onun siyaset felsefesi de dahil olmak üzere tüm felsefesinin mihverini oluşturmuştur. Kant’ın birey odaklı felsefesi, bir yandan liberal ideolojinin takipçileri arasında tartışma konusu olurken, diğer yandan da 19. yüzyılın ikinci yarısından itibaren sosyal demokratlar arasında tartışmalara konu olmuştur. Almanya’da Lassalle’le başlayan bu tartışmalar, Fabian Hareketi’yle sürmüş ve Bernstein’le doruk noktasına ulaşmıştır. Bu (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. La responsabilidad profesional del médico.Royo Villanova Y. Morales & Ricardo[From Old Catalog] - 1958 - Madrid,: Editorial Cultura Clásica y Moderna.
    No categories
     
    Export citation  
     
    Bookmark  
  42. Appendix: Reminiscences of the youthful years of particle physics. Y. Nambu - 2016 - In Lars Brink, L. N. Chang, M. Y. Han, K. K. Phua & Yoichiro Nambu (eds.), Memorial volume for Y. Nambu. Hackensack, NJ: World Scientific Publishing Co. Pte..
     
    Export citation  
     
    Bookmark  
  43. Apocalypse of the therapeutic: The cabin in the woods and the death of mimetic desire.Peter Y. Paik - 2015 - In Scott Cowdell, Chris Fleming & Joel Hodge (eds.), Mimesis, movies, and media. London: Bloomsbury Academic.
     
    Export citation  
     
    Bookmark  
  44. Teoría del conocimiento.Montes de Oca Y. Silva & José[From Old Catalog] - 1949 - México: [Departamento de Extensión Universitaria].
    No categories
     
    Export citation  
     
    Bookmark  
  45.  33
    Will to truth and gender studies.D. Y. Snitko & O. P. Varshavskyi - 2019 - Anthropological Measurements of Philosophical Research 15:111-122.
    Purpose of the paper is to establish the emergence and evolution of a gender problematics from the foundations of classical philosophy, namely, from the phenomenon of will-to-truth as the spontaneous desire of man to understand the life. To achieve this purpose, the following tasks are solved: 1) to investigate the way in which philosophy constitutes itself; 2) to establish how the category of "sex" manifests, both in the natural and in the social contexts; 3) to determine the correlation of gender (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    Justice and law.Falcón Y. Tella & María José - 2014 - Boston: Brill Nijhoff.
    Justice in the bible -- Plato's The Republic -- Aristotle's Nicomachean ethics -- Justice in Islamic law -- Saint Thomas Aquinas' summa theologica -- Confucius in china -- The conquest of America -- Machiavelli: "the end justifies the means" -- Jiirgen Habermas' theory of diskursethik -- John Rawls' Justice as fairness -- Ronald Dworkin's Taking rights seriously -- Robert N Ozick's Anarchy, state, and utopia -- Justice as "efficiency" -- Justice and "desert" -- Precedents -- Wojciech sadurski -- Marx's justice (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  13
    前言:COVID-19所引發的倫理議題再思考: Introduction: Another Moment for Reflection: Ethical Issues in the COVID-19 Pandemic.Ellen Y. Zhang - 2022 - International Journal of Chinese and Comparative Philosophy of Medicine 20 (1):1-8.
    影響全球的COVID-19已經進入第三年,在疫情時代或後疫情時代的種種爭論中,相關的倫理考量依然是學界關注的議題。本期的論文涉及具體的醫學倫理學問題,包括香港抗疫倫理焦點、ECMO的使用、疫情防控中的 道德兩難、現代科技大數據所引發的對個人隱私的焦慮、疫情處境中的善終和臨終關懷、審視傳統中醫學有關疫情控制的歷史研究、傳統墨家思想對現當下防疫管理的啟示作用。本期的論文的研究方法各有不同,包括哲學的、倫 理學的、實證的、歷史的、及比較的,其宗旨是引發人們對這些問題的反思和探討。.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  25
    Detection of material property errors in handbooks and databases using artificial neural networks with hidden correlations.Y. M. Zhang, J. R. G. Evans & S. F. Yang - 2010 - Philosophical Magazine 90 (33):4453-4474.
  49. Le droit naturel dans la tradition protestante.Y. Bizeul - 1999 - Revue D'Histoire Et de Philosophie Religieuses 79 (4):445-461.
    No categories
     
    Export citation  
     
    Bookmark  
  50. The naturalness of the artificial and our concepts of health, disease and medicine.Y. Michael Barilan & Moshe Weintraub - 2001 - Medicine, Health Care and Philosophy 4 (3):311-325.
    This article isolates ten prepositions, which constitute the undercurrent paradigm of contemporary discourse of health disease and medicine. Discussion of the interrelationship between those prepositions leads to a systematic refutation of this paradigm. An alternative set is being forwarded. The key notions of the existing paradigm are that health is the natural condition of humankind and that disease is a deviance from that nature. Natural things are harmonious and healthy while human made artifacts are coercive interference with natural balance. It (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 956