Results for 'T. S. E. Maibaum'

998 found
Order:
  1.  29
    Deontic action logic, atomic boolean algebras and fault-tolerance.Pablo F. Castro & T. S. E. Maibaum - 2009 - Journal of Applied Logic 7 (4):441-466.
  2.  10
    Khu̇mu̇u̇niĭ ertȯnt︠s︡ ba togtvortoĭ khȯgzhil: Shinzhlėkh ukhaany gavʹi︠a︡at zu̇tgėltėn, doktor, professor T︠S︡.Balkhaazhavyn 90 nasny oĭd zoriulsan ėrdėm shinzhilgėėniĭ baga khurlyn ėmkhėtgėl.T︠S︡ėrėnpiliĭn Balkhaazhav & B. Pu̇rėvsu̇rėn (eds.) - 2018 - Ulaanbaatar Khot: Soëmbo Printing.
    Memoirs and papers presented at a conference held on the occasion of the 90th birthday of the Mongolian philosopher Ts. Balkhaajav.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Olon niĭtiĭn diskurs dėkh filosofiĭn u̇u̇rėg: (Ėrdėm shinzhilgėėniĭ baga khurlyn iltgėliĭn ėmkhėtgėl).B. T︠S︡ėrmaa & O. Bolor-Ėrdėnė (eds.) - 2021 - Ulaanbaatar: Filosofiĭn khu̇rėėlėn.
    Research papers presented at the same title scientific conference, dedicated to the World Philosophy Day.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  10
    1990-ėėd onoos khoĭshikh Mongolyn filosofiĭn amʹdral: sėdėvchilsėn toochilt, zėrėgt︠s︡u̇u̇lėl ba kharʹt︠s︡uulal.T︠S︡ėdėndagvyn Gombosu̇rėn & Baldoogiĭn Dagzmaa (eds.) - 2019 - Ulaanbaatar: Artsoft.
    Mongolian philosophy in the post-communism period.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Tȯriĭn erȯnkhiĭ onol.T︠S︡ėrėnbaltavyn Sarantui︠a︡a - 1998 - Ulaanbaatar: Interpress KhKhK. Edited by Zh Amarsanaa & T. Sėngėdorzh.
     
    Export citation  
     
    Bookmark  
  6.  8
    Filosofi: Surakh bichig.T︠S︡ėdėndagvyn Gombosu̇rėn - 2020 - Ulaanbaatar: "Artsoft" KhKhK-d khėvlėv. Edited by Mȯngȯnkhu̇u̇giĭn Otgonbai︠a︡r.
    Philosophy textbook for Mongolian undergraduate and post-graduate students.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  21
    Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures.Samson Abramsky, DovM Gabbay & Thomas S. E. Maibaum (eds.) - 1992 - Oxford, England: Clarendon Press.
    This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  73
    The Casimir Effect and the Interpretation of the Vacuum.S. E. Rugh, H. Zinkernagel & T. Y. Cao - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (1):111-139.
    The Casimir force between two neutral metallic plates is often considered conclusive evidence for the reality of electromagnetic zero-point fluctuations in ‘empty space’. However, it is not well known that the Casimir force can be derived from many different points of view. The purpose of this note is to supply a conceptually oriented introduction to a representative set of these different interpretations. The different accounts suggest that the Casimir effect reveals nothing conclusive about the nature of the vacuum.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  9. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   9 citations  
  10. The Casimir effect and the interpretation of the vacuum.E. S., H. Zinkernagel & Y. T. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (1):111-139.
    The Casimir force between two neutral metallic plates is often considered conclusive evidence for the reality of electromagnetic zero-point fluctuations in 'empty space' (i.e. in absence of any boundaries). However, it is not well known that the Casimir force can be derived from many different points of view. The purpose of this note is to supply a conceptually oriented introduction to a representative set of these different interpretations. The different accounts suggest that the Casimir effect reveals nothing conclusive about the (...)
     
    Export citation  
     
    Bookmark  
  11. Semanticheskie otnoshenii︠a︡ vnutri slovosochetanii︠a︡ i predlozhenii︠a︡: sbornik nauchnykh trudov.Ė. V. T︠S︡erpento (ed.) - 1984 - Volgograd: Volgogradskiĭ pedin-t.
     
    Export citation  
     
    Bookmark  
  12. Problemy kommunisticheskogo vospitanii︠a︡ v trudakh N. K. Krupskoĭ i zadachi sovremennoĭ shkoly.Ėsfirʹ Moiseevna T︠S︡imkhes & I. I. Vovsi (eds.) - 1976
     
    Export citation  
     
    Bookmark  
  13.  26
    Magnetic properties of single grain R–Mg–Cd primitive icosahedral quasicrystals.S. E. Sebastian, T. Huie, I. R. Fisher, K. W. Dennis & M. J. Kramer - 2004 - Philosophical Magazine 84 (10):1029-1037.
  14.  21
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
  15.  36
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  23
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  17.  34
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  18.  5
    Sovremennostʹ i dukhovno-filosofskoe nasledie T︠S︡entralʹnoĭ Azii.I. S. Urbanaeva, Ė. T︠S︡ T︠S︡ybenova & R. S. Nomshieva (eds.) - 1997 - Ulan Udė: Izd-vo BNT︠S︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Srednevekovʹe v svidetelʹstvakh sovremennikov.E. V. Gutnova & Z. V. Udalʹt︠s︡ova (eds.) - 1984 - Moskva: [S.N.].
    No categories
     
    Export citation  
     
    Bookmark  
  20.  33
    Lack of hemispheric dominance for consciousness in acute ischaemic stroke.B. Cucchiara, S. E. Kasner, D. A. Wolk, P. D. Lyden, V. A. Knappertz, T. Ashwood, T. Odergren & A. Nordlund - 2003 - Journal of Neurology, Neurosurgery and Psychiatry 74 (7):889-892.
  21.  13
    Law and legacy in medical jurisprudence: essays in honour of Graeme Laurie.G. T. Laurie, E. S. Dove & Niamh Nic Shuibhne (eds.) - 2022 - New York, NY: Cambridge University Press.
    Graeme Laurie stepped down from the Chair in Medical Jurisprudence at the University of Edinburgh in 2019. This edited collection pays tribute to his extraordinary contributions to the field. Graeme has often spoken about the importance of 'legacy' in academic work and has forged a remarkable intellectual legacy of his own, notably through his work on genetic privacy, human tissue and information governance, and on the regulatory salience of the concept of liminality. The essays in this volume animate the concept (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Evidence for scripts for everyday motor activities.T. R. Greene, S. E. Houston, Cc Reinsmith & Es Reed - 1992 - Bulletin of the Psychonomic Society 30 (6):454-454.
     
    Export citation  
     
    Bookmark  
  23.  10
    [Desire for a child and desired children--possibilities and limits of reproductive biomedicine].T. Krones, E. Neuwohner, S. El Ansari, T. Wissner & G. Richter - 2006 - Ethik in der Medizin: Organ der Akademie für Ethik in der Medizin 18 (1):51-62.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  5
    On colours.T. Loveday & E. S. Forster - 1984 - In Jonathan Barnes (ed.), Complete Works of Aristotle, Volume 1: The Revised Oxford Translation. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  4
    On things heard.T. Loveday & E. S. Forster - 1984 - In Jonathan Barnes (ed.), Complete Works of Aristotle, Volume 1: The Revised Oxford Translation. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  6
    Physiognomonics.T. Loveday & E. S. Forster - 1984 - In Jonathan Barnes (ed.), Complete Works of Aristotle, Volume 1: The Revised Oxford Translation. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  16
    Rest frames for tachyons and photons.E. A. Lord & T. S. Shankara - 1977 - Foundations of Physics 7 (7-8):459-474.
    A formalism is developed which admits particles faster than light and reference frames faster than light and as fast as light. It is fully consistent with the physical principles of special relativity. The necessity of introducing imaginary quantities does not arise. It does not encounter any difficulties with the principle of causality if it is reasonably interpreted.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  23
    Behavioral economics and monetary wisdom: A cross‐level analysis of monetary aspiration, pay (dis)satisfaction, risk perception, and corruption in 32 nations.Thomas Li-Ping Tang, Zhen Li, Mehmet Ferhat Özbek, Vivien K. G. Lim, Thompson S. H. Teo, Mahfooz A. Ansari, Toto Sutarso, Ilya Garber, Randy Ki-Kwan Chiu, Brigitte Charles-Pauvers, Caroline Urbain, Roberto Luna-Arocas, Jingqiu Chen, Ningyu Tang, Theresa Li-Na Tang, Fernando Arias-Galicia, Consuelo Garcia De La Torre, Peter Vlerick, Adebowale Akande, Abdulqawi Salim Al-Zubaidi, Ali Mahdi Kazem, Mark G. Borg, Bor-Shiuan Cheng, Linzhi Du, Abdul Hamid Safwat Ibrahim, Kilsun Kim, Eva Malovics, Richard T. Mpoyi, Obiajulu Anthony Ugochukwu Nnedum, Elisaveta Gjorgji Sardžoska, Michael W. Allen, Rosário Correia, Chin-Kang Jen, Alice S. Moreira, Johnston E. Osagie, AAhad M. Osman-Gani, Ruja Pholsward, Marko Polic, Petar Skobic, Allen F. Stembridge, Luigina Canova, Anna Maria Manganelli, Adrian H. Pitariu & Francisco José Costa Pereira - 2023 - Business Ethics, the Environment and Responsibility 32 (3):925-945.
    Corruption involves greed, money, and risky decision-making. We explore the love of money, pay satisfaction, probability of risk, and dishonesty across cultures. Avaricious monetary aspiration breeds unethicality. Prospect theory frames decisions in the gains-losses domain and high-low probability. Pay dissatisfaction (in the losses domain) incites dishonesty in the name of justice at the individual level. The Corruption Perceptions Index, CPI, signals a high-low probability of getting caught for dishonesty at the country level. We theorize that decision-makers adopt avaricious love-of-money aspiration (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  8
    Ėvoli︠u︡t︠s︡ii︠a︡ zhizni: putʹ ot Bogocheloveka k cheloveku.Nikolaĭ Malʹt︠s︡ev - 2012 - Moskva: Algoritm.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Measurement and modeling of depth cue combination: In defense of weak fusion.M. S. Landy, L. T. Maloney, E. B. Johnston & M. Young - 1995 - Vision Research 35:389--412.
     
    Export citation  
     
    Bookmark   29 citations  
  31. Tradizione e talento individuale.T. S. Eliot - 2002 - In Emanuele Ferrari (ed.), La scuola di Milano e l'estetica musicale. CUEM.
     
    Export citation  
     
    Bookmark  
  32. Politiko-ėkonomicheskie problemy nauchnogo truda pri sot︠s︡ializme.Gennadiĭ Ivanovich Zhilʹt︠s︡ov - 1976
    No categories
     
    Export citation  
     
    Bookmark  
  33. Germanuli neokantianelobis šemecʻnebis tʻeoria.G. Tʻevzaże - 1963 - Tʻbilisi: Sakʻartʻvelos SSR mecʻnierebatʻa akademiis gamomcʻemloba.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Osnovy ėtiki.Kirill Iosifovich Zaĭt︠s︡ev - 1937
    No categories
     
    Export citation  
     
    Bookmark  
  35. "Materializm i ėmpiriokritit︠s︡izm" V. I. Lenina. Ralʹt︠s︡evīch, Vasīlīĭ Nīkīforovīch, [From Old Catalog] & Rafaīl Akīmovīch I︠A︡nkovskiīĭ (eds.) - 1935
     
    Export citation  
     
    Bookmark  
  36.  59
    New books. [REVIEW]J. W. Scott, T. E., S. S., A. G. Widgery, John Laird & A. C. Ewing - 1925 - Mind 34 (134):245-261.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  37.  24
    Production of pluripotent stem cells by oocyte-assisted reprogramming: joint statement with signatories.H. Arkes, N. P. Austriaco, T. Berg, E. C. Brugger, N. M. Cameron, J. Capizzi, M. L. Condic, S. B. Condic, K. T. FitzGerald & K. Flannery - 2005 - The National Catholic Bioethics Quarterly 5 (3).
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  19
    Analysis of the Epidemic Biological Model of Tuberculosis (TB) via Numerical Schemes.S. Kanwal, M. K. Siddiqui, E. Bonyah, K. Sarwar, T. S. Shaikh & N. Ahmed - 2022 - Complexity 2022:1-13.
    Tuberculosis is caused by bacillus Mycobacterium tuberculosis. In this study, a mathematical model of tuberculosis is analyzed. The numerical behaviour of the considered model is analyzed including basic reproduction number and stability. We applied three numerical techniques to this model, i.e., nonstandard finite difference scheme, Runge–Kutta method of order 4, and forward Euler scheme. NSFD scheme preserves all the essential properties of the model. Acquired results corroborate that NSFD scheme converges for each step size. While the other two schemes failed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Filosofsko-ėsteticheskai︠a︡ kont︠s︡ept︠s︡ii︠a︡ Benedetto Kroche: dialog proshlogo s nastoi︠a︡shchim.Svetlana Malʹt︠s︡eva - 1996 - Sankt-Peterburg: M. Malʹt︠s︡eva.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Kompleksnai︠a︡ programma ėsteticheskogo vospitanii︠a︡ naselenii︠a︡: puti razrabotki i realizat︠s︡ii: materialy Vserossiĭskoĭ nauchnoĭ konferent︠s︡ii.V. B. Churbanov, I︠U︡. S. Druzhkin, I. N. Karpenko & E. K. T︠S︡igvint︠s︡eva (eds.) - 1988 - Moskva: Nauchno-issl. in-t kulʹtury.
     
    Export citation  
     
    Bookmark  
  41. HeX and the single anthill: playing games with Aunt Hillary.J. M. Bishop, S. J. Nasuto, T. Tanay, E. B. Roesch & M. C. Spencer - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer. pp. 367-389.
    In a reflective and richly entertaining piece from 1979, Doug Hofstadter playfully imagined a conversation between ‘Achilles’ and an anthill (the eponymous ‘Aunt Hillary’), in which he famously explored many ideas and themes related to cognition and consciousness. For Hofstadter, the anthill is able to carry on a conversation because the ants that compose it play roughly the same role that neurons play in human languaging; unfortunately, Hofstadter’s work is notably short on detail suggesting how this magic might be achieved1. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Ėtika sot︠s︡ialʹnoĭ aktivnosti lichnosti: [ucheb. posobie dli︠a︡ vuzov].T. S. Lapina - 1974 - Moskva: "Vyssh. shkola,".
    No categories
     
    Export citation  
     
    Bookmark  
  43.  20
    The dual space of a finite simple ockham algebra.T. S. Blyth & J. C. Varlet - 1996 - Studia Logica 56 (1-2):3 - 21.
    Let (L; f) be a finite simple Ockham algebra and let (X;g) be its dual space. We first prove that every connected component of X is either a singleton or a generalised crown (i.e. an ordered set that is connected, has length 1, and all vertices of which have the same degree). The representation of a generalised crown by a square (0,1)-matrix in which all line sums are equal is used throughout, and a complete description of X, including the number (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. I︠A︡ nashel smysl zhizni: avtoreferat mirovozzrenii︠a︡ s ėpizodami avtobiografii.Vladimir T︠S︡aĭ - 2010 - Moskva: Vremi︠a︡.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Kritika ėkzistent︠s︡ialistkoĭ kont︠s︡ept︠s︡ii dialektiki.Galina I︠A︡kovlevna Strelʹt︠s︡ova - 1974
    No categories
     
    Export citation  
     
    Bookmark  
  46.  13
    Aspetti psicologici e cognitivi del piede diabetico.A. Marseglia, T. De Sanctis, E. Brocco & S. Maggi - 2011 - Fenomenologia. Diálogos Possíveis Campinas: Alínea/Goiânia: Editora da Puc Goiás 4 (1):4-6.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  44
    Spontaneously Emitted X-rays: An Experimental Signature of the Dynamical Reduction Models.C. Curceanu, S. Bartalucci, A. Bassi, M. Bazzi, S. Bertolucci, C. Berucci, A. M. Bragadireanu, M. Cargnelli, A. Clozza, L. De Paolis, S. Di Matteo, S. Donadi, A. D’Uffizi, J. -P. Egger, C. Guaraldo, M. Iliescu, T. Ishiwatari, M. Laubenstein, J. Marton, E. Milotti, A. Pichler, D. Pietreanu, K. Piscicchia, T. Ponta, E. Sbardella, A. Scordo, H. Shi, D. L. Sirghi, F. Sirghi, L. Sperandio, O. Vazquez Doce & J. Zmeskal - 2016 - Foundations of Physics 46 (3):263-268.
    We present the idea of searching for X-rays as a signature of the mechanism inducing the spontaneous collapse of the wave function. Such a signal is predicted by the continuous spontaneous localization theories, which are solving the “measurement problem” by modifying the Schrödinger equation. We will show some encouraging preliminary results and discuss future plans and strategy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Ėtika, mirovozzrenie, nravstvennoe vospitanie: moralʹ v sot︠s︡ialisticheskom obshchestve.O. P. T︠S︡elikova (ed.) - 1987 - Moskva: [S.N.].
    No categories
     
    Export citation  
     
    Bookmark  
  49. Can We Trust Our Memories? C. I. Lewis's Coherence Argument.T. Shogenji & E. J. Olsson - 2004 - Synthese 142 (1):21-41.
    In this paper we examine C. I. Lewis's view on the roleof coherence – what he calls ''congruence'' – in thejustification of beliefs based on memory ortestimony. Lewis has two main theses on the subject. His negativethesis states that coherence of independent items ofevidence has no impact on the probability of a conclusionunless each item has some credibility of its own. Thepositive thesis says, roughly speaking, that coherenceof independently obtained items of evidence – such asconverging memories or testimonies – raises (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  50. Novel approaches to the assessment of frontal damage and executive deficits.B. Levine, D. I. Katz, L. Dade, S. E. Black, D. T. Stuss & R. T. Knight - 2002 - In Donald T. Stuss & Robert T. Knight (eds.), Principles of Frontal Lobe Function. Oxford University Press.
1 — 50 / 998