Results for 'Alberghi Gl'

143 found
Order:
  1.  37
    Search for the Direct Production of Charginos, Neutralinos and Staus in Final States with at Least Two Hadronically Decaying Taus and Missing Transverse Momentum in Pp Collisions at √ $$ \sqrt{s}=8 $$ TeV with the ATLAS Detector.The Atlasc, G. Aad, B. Abbott, J. Abdallah, Khalek Sa, O. Abdinov, R. Aben, B. Abi, M. Abolins, Abouzeid Os, H. Abramowicz, H. Abreu, R. Abreu, Y. Abulaiti, Acharya Bs, L. Adamczyk, Adams Dl, J. Adelman, S. Adomeit, T. Adye, T. Agatonovic-Jovin, Aguilar-Saavedra Ja, M. Agustoni, Ahlen Sp, F. Ahmadov, G. Aielli, H. Akerstedt, Åkesson Tpa, G. Akimoto, Akimov Av, Alberghi Gl, J. Albert, S. Albrand, Alconada Verzini Mj, M. Aleksa, Aleksandrov In, C. Alexa, G. Alexander, G. Alexandre, T. Alexopoulos, M. Alhroob, G. Alimonti, L. Alio, J. Alison, Allbrooke Bmm, Allison Lj, Allport Pp, J. Almond, A. Aloisio, A. Alonso, F. Alonso, C. Alpigiani, A. Altheimer, Gonzalez Ba, Alviggi Mg, K. Amako, Y. Amaral Coutinho, C. Amelung, D. Amidei, Amor Dos Santos Sp, A. Amorim, S. Amoroso, N. Amram, G. Amundsen, C. Anastopoulos, Ancu Ls, N. Andari, T. Andeen, Anders Cf, G. Anders, Anderson Kj, A. Andreazza, V. Andrei, Anduaga Xs, S. Angelidakis, I. Angelozzi, P. Anger, A. Angerami, F. Anghinolfi, Anisenkov Av, N. Anjos, A. Annovi, A. Antonaki, M. Antonelli, A. Antonov, J. Antos, F. Anulli & A. - unknown
    : Results of a search for the electroweak associated production of charginos and next-to-lightest neutralinos, pairs of charginos or pairs of tau sleptons are presented. These processes are characterised by final states with at least two hadronically decaying tau leptons, missing transverse momentum and low jet activity. The analysis is based on an integrated luminosity of 20.3 fb−1 of proton-proton collisions at recorded with the ATLAS experiment at the Large Hadron Collider. No significant excess is observed with respect to the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  27
    Search for Supersymmetry in Events with Large Missing Transverse Momentum, Jets, and at Least One Tau Lepton in 20 Fb−1of √s= 8 TeV Proton-Proton Collision Data with the ATLAS Detector. [REVIEW]A. The Atlas Collaboration, G. Aad, B. Abbott, Abdallah Jm, S. Abdel Khalek, Abdinov Ob, R. Aben, Abi Ba, Abolins Ma, Abouzeid Os, H. Abramowicz, H. Abreu, R. Abreu, Y. Abulaiti, Acharya Bs, L. Adamczyk, Adams Dl, J. Adelman, S. Adomeit, Adye Tj, T. Agatonovic-Jovin, Aguilar-Saavedra Ja, M. Agustoni, Ahlen Sp, F. Ahmadov, G. Aielli, Åkerstedt Ho, Åkesson Tpa, G. Akimoto, Akimov Av, Alberghi Gl, Albert Jb, S. Albrand, Alconada Verzini Mj, M. Aleksa, Aleksandrov In, C. Alexa, Alexander Gk, G. Alexandre, Alexopoulos Ta, M. Alhroob, G. Alimonti, L. Alio, Alison Jm, Allbrooke Bmm, Allison Lj, Allport Pp, Almond Je, A. Aloisio, A. Alonso, F. Alonso, C. Alpigiani, Altheimer Ad, B. Álvarez González, Alviggi Mg, K. Amako, Y. Amaral Coutinho, C. Amelung, D. Amidei, Amor Dos Santos Sp, Amorim As, S. Amoroso, N. Amram, G. Amundsen, C. Anastopoulos, Ancu Ls, N. Andari, Andeen Tr, Anders Cf, G. Anders, Anderson Kj, A. Andreazza, V. Andrei, Anduaga Xs, S. Angelidakis, I. Angelozzi, P. Anger, A. Angerami, F. Anghinolfi, Anisenkov Av, N. Anjos, A. Annovi, A. Antonaki, M. Antonelli & A. - unknown
    © 2014, The Author. A search for supersymmetry in events with large missing transverse momentum, jets, at least one hadronically decaying tau lepton and zero or one additional light leptons, has been performed using 20.3fb−1of proton-proton collision data at √ s= 8 TeV recorded with the ATLAS detector at the Large Hadron Collider. No excess above the Standard Model background expectation is observed in the various signal regions and 95% confidence level upper limits on the visible cross section for new (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  19
    Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.
    The system GLS, which is a modal sequent calculus system for the provability logic GL, was introduced by G. Sambin and S. Valentini in Journal of Philosophical Logic, 11, 311–342,, and in 12, 471–476,, the second author presented a syntactic cut-elimination proof for GLS. In this paper, we will use regress trees in order to present a simpler and more intuitive syntactic cut derivability proof for GLS1, which is a variant of GLS without the cut rule.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  1
    The Possible: A Sociocultural Theory.Vlad P. Gl&Aveanu - 2020 - Oup Usa.
    Possibility studies is an emerging field of research including topics as diverse as creativity, imagination, innovation, anticipation, counterfactual thinking, wondering, the future, social change, hope, agency, and utopia. The Possible: A Sociocultural Theory contributes to this wide field by developing a sociocultural account of the possible grounded in the notions of difference, position, perspective, dialogue, action, and culture.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  32
    GL-Quantales: Q-Valued Sets and Their Singletons. [REVIEW]Ulrich Höhle - 1998 - Studia Logica 61 (1):123-148.
    Q-valued sets are non-classical models of the formalized theory of identity with existence predicate based on the axioms of a non-commutative and non-idempotent logic. The singleton monad on the category of Q-valued sets is constructed, and elementary properties of T-algebras of the singleton monad are investigated.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Esperienza, percezione e schematismo nella critica della ragion pura. Alcune note sul rapporto tra sensibilità e intelletto.Gl Paltrinieri - 1999 - Rivista di Estetica 39 (11):105-116.
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Reflections on Suresh Chandra: The Teacher and the Thinker1.Gl Pandit - 2004 - In R. C. Pradhan (ed.), The Philosophy of Suresh Chandra. Icpr, New Delhi. pp. 89.
     
    Export citation  
     
    Bookmark  
  8. Husted GL, Husted JH, Ethical Decision Making in Nursing.M. A. Eby - 1997 - Nursing Ethics 4:169-169.
     
    Export citation  
     
    Bookmark  
  9. GL Hagberg, Meaning and Interpretation: Wittgenstein, Henry James, and Literary Knowledge Reviewed By.Sara Ellenbogen - 1998 - Philosophy in Review 18 (1):33-35.
     
    Export citation  
     
    Bookmark  
  10. Hagberg, GL Art as Language.J. Hyman - 1997 - Philosophical Books 38:71-72.
    No categories
     
    Export citation  
     
    Bookmark  
  11. GL Hagberg, Art as Language.R. A. Sharpe - 1997 - Philosophical Investigations 20:273-274.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Attentional Modulation of a 3-Dimensional Motion After-Effect.Gl Shulman - 1990 - Bulletin of the Psychonomic Society 28 (6):496-496.
     
    Export citation  
     
    Bookmark  
  13. The 3 Astrolabes of Mercator, Gerard.Gl Turner - 1994 - Annals of Science 51 (4):329-353.
    No categories
     
    Export citation  
     
    Bookmark  
  14. La doctrina de San Agustín sobre la guerra y la paz.Gl Lombardo - 1991 - Augustinus 36 (141-144):173-179.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  3
    Gl'ingannati: The Problem of Overlapping Dates Re-Examined.Florindo Cerreta & F. Ceretta - 1971 - Bibliothèque d'Humanisme Et Renaissance 33 (3):605-614.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  7
    Husted Gl, Husted Jh 1995: Ethical Decision Making in Nursing, St Louis, Mo: Mosby. 335 Pp.£ 24.50 (Pb). Isbn 0 8016 7774 2. [REVIEW]M. A. Eby - 1997 - Nursing Ethics 4 (2):167-168.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  10
    Gerard Mercator´s Three Astrolabes.Gl'E. Turner - 2005 - Endoxa 1 (19):21.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18. On Galileo'dialogo Sopra I Due Massimi Sistemi Del Mondo'.Gl Betti - 1988 - Giornale Critico Della Filosofia Italiana 8 (1):63-70.
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Gl'inni filosofici di Sinesio interpretati come mistiche celebrazioni.C. Bizzocchi - 1951 - Gregorianum 32:347-387.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  8
    Burkitt, GL, 223 Busen, RW, Buser, P., 215 Butler, S., 58 Buytendijk, FJJ, 38.D. Bohm, L. Boltzmann, B. Bolzano, L. Bonatti, C. Bonnet, G. Boole, M. Boudot, M. Bourdeau, P. Bourdieu & D. Bourg - 2009 - In A. Brenner & J. Gayon (eds.), French Studies in the Philosophy of Science: Contemporary Research in France. Springer. pp. 367.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. On Perceiving That. Gl - 2004 - Theoria 70 (2-3):197-212.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. GL MÜLLER (HG.), Der Primat des Nachfolgers Petri im Geheimnis der Kirche, ISBN 978-3-429-03092-6.T. Hainthaler - 2011 - Theologie Und Philosophie 86 (3):462.
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Cognitive Resources and the Acquisition of Spatial Knowledge.Gl Allen - 1992 - Bulletin of the Psychonomic Society 30 (6):457-457.
     
    Export citation  
     
    Bookmark  
  24. Hvad en revolution fortæller os.Niels Glæsner - 2015 - Slagmark - Tidsskrift for Idéhistorie 71:261-265.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  43
    Bounding Non- GL ₂ and R.E.A.Klaus Ambos-Spies, Decheng Ding, Wei Wang & Liang Yu - 2009 - Journal of Symbolic Logic 74 (3):989-1000.
    We prove that every Turing degree a bounding some non-GL₂ degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. GL Hagberg, Art as Language: Wittgenstein, Meaning, and Aesthetic Theory Reviewed By.Judith Genova - 1995 - Philosophy in Review 15 (6):396-397.
     
    Export citation  
     
    Bookmark  
  27. Antico Testamento e culture coeve: dal rifiuto illusorio all'assimilazione vitale.Gl Prato - 1992 - Gregorianum 73 (4):697-717.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  2
    Hvanndalir – Glæsisvellir – Avalon. Traditionswanderungen im Norden und Nordwesten Europas.Wilhelm Heizmann - 1998 - Frühmittelalterliche Studien 32 (1):72-100.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Current Aims of Philosophical Research at the Institute of Philosophy of the Academy-of-Sciences-of-the-Ussr for 1986-1990.Gl Smirnov - 1985 - Filosoficky Casopis 33 (5):683-694.
     
    Export citation  
     
    Bookmark  
  30. Historical Materialism and Social Practice.Gl Smirnov - 1984 - Filosoficky Casopis 32 (5):646-658.
     
    Export citation  
     
    Bookmark  
  31.  1
    Gl I Autori di Questo Numero.A. Cura Della Redazione - 2021 - Società Degli Individui 70:69-69.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  58
    On Conditional Probability in GL Spaces.C. Martin Edwards & Gottfried T. Rüttimann - 1990 - Foundations of Physics 20 (7):859-872.
    We investigate the notion of conditional probability and the quantum mechanical concept of state reduction in the context of GL spaces satisfying the Alfsen-Shultz condition.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  20
    On the Proof-Theory of a First-Order Extension of GL.Yehuda Schwartz & George Tourlakis - 2014 - Logic and Logical Philosophy 23 (3).
    We introduce a first order extension of GL, called ML 3 , and develop its proof theory via a proxy cut-free sequent calculus GLTS. We prove the highly nontrivial result that cut is a derived rule in GLTS, a result that is unavailable in other known first-order extensions of GL. This leads to proofs of weak reflection and the related conservation result for ML 3 , as well as proofs for Craig’s interpolation theorem for GLTS. Turning to semantics we prove (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. ¿ Es la teología una ciencia?Gl Ritacco de Gayoso - 1991 - Sapientia 46 (181):191-202.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. La eudaimonía y las bienaventuranzas.Gl Ritacco de Gayoso - 1994 - Sapientia 49 (193-94):201-215.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  5
    Gaps Between Zeros of GL(2) L-Functions.Patrick J. Ryan, Owen Barrett, Brian McDonald, Steven J. Miller, Caroline L. Turnage-Butterbaugh & Karl Winsor - 2015 - Journal of Mathematical Analysis and Applications 429 (1):204-232.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  36
    Whatever Happened to the ‘European’ in European Social Psychology? A Study of the Ambitions in Founding the European Association of Experimental Social Psychology.Sandra Gl Schruijer - 2012 - History of the Human Sciences 25 (3):88-107.
    This article studies the ambitions involved in founding the European Association of Experimental Social Psychology (EAESP) in the context of a differentiation between social psychology practised in Europe on the one hand and the United States on the other. To this end 8 key actors have been interviewed: 4 members of the very first Executive Committee (or Planning Committee as it was called then) as well as 4 key players of a second generation. Also the EAESP’s archives have been consulted. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  8
    Book Reviews : Deloughery GL Ed 1995: Issues and Trends in Nursing, Second Edition. St Louis: Mosby. 514pp. £23.00 . ISBN 0 8016 7787 4. [REVIEW]V. Tschudin - 1995 - Nursing Ethics 2 (4):355-356.
  39.  9
    Normal Theory GLS Estimator for Missing Data: An Application to Item-Level Missing Data and a Comparison to Two-Stage ML.Victoria Savalei & Mijke Rhemtulla - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  8
    The Manual From Notmark. Gl. Kgl. Saml. 3453,8°. Knud Ottosen.Hans Bekker-Nielsen - 1972 - Speculum 47 (4):787-788.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. Gå så med glæde til dit arbejde - socialitet og sakramentalitet i Martin Luthers kaldslære.Eva Krause Jørgensen - 2018 - Slagmark - Tidsskrift for Idéhistorie 76:61-74.
    THEN GO TO YOUR WORK WITH JOY - SOCIALITY AND SACRAMENTAILITY IN MARTIN LUTHER'S TEACHING OF THE CALLINGThe article investigates Martin Luther’s teaching of the calling in a social perspective. In the tradition following the pioneering work of Max Weber, the Reformation has often been interpreted a steppingstone towards processes of disenchantment, secularization and rationalization. In recent years, a growing body of literature has argued that this tradition overlooks crucial elements of reformation spirituality such as sacramentality, sociality and the affirmation (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  49
    On Some Proof Theoretical Properties of the Modal Logic GL.Marco Borga - 1983 - Studia Logica 42 (4):453 - 459.
    This paper deals with the system of modal logicGL, in particular with a formulation of it in terms of sequents. We prove some proof theoretical properties ofGL that allow to get the cut-elimination theorem according to Gentzen's procedure, that is, by double induction on grade and rank.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  43.  7
    A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs.George Tourlakis - 2016 - Bulletin of the Section of Logic 45 (1).
    Reference [12] introduced a novel formula to formula translation tool that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  25
    Interpolation and Definability Over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
    In a previous paper [ 21 ] all extensions of Johansson’s minimal logic J with the weak interpolation property WIP were described. It was proved that WIP is decidable over J. It turned out that the weak interpolation problem in extensions of J is reducible to the same problem over a logic Gl, which arises from J by adding tertium non datur. In this paper we consider extensions of the logic Gl. We prove that only finitely many logics over Gl (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  1
    The Standard Model's Form Derived From Operator Logic, Superluminal Transformations and Gl(16).Stephen Blaha - 2010 - Pingree-Hill.
    This new edition of work that has evolved over the past seven years completes the derivation of the form of The Standard Model from quantum theory and the extension of the Theory of Relativity to superluminal transformations. The much derided form of The Standard Model is established from a consideration of Lorentz and superluminal relativistic space-time transformations. So much so that other approaches to elementary particle theory pale in comparison. In previous work color SU(3) was derived from space-time considerations. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  34
    A Formalization of Sambins's Normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
    Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. 2 Strikes Against You-Individual-Differences in Early Literacy.Fj Morrison, Eh Mcmahon & Gl Williamson - 1992 - Bulletin of the Psychonomic Society 30 (6):449-449.
     
    Export citation  
     
    Bookmark  
  48.  17
    Stephen Cole Kleene. Vvédénié V Métamatématiku. Russian Translation of XIX 215 by A. S. Ésénin-Vol′Pin, Edited by V. A. Uspénskij. Izdatél′Stvo Inostrannoj Litératury, Moscow1957, 526 Pp. . - A. S. Ésénin-Vol′Pin. Ot Péravodčika . Therein, Pp. 5–6. - A. S. Ésénin-Vol′Pin. Dobavlénié I. Dokazatél′Stvo Vtoroj Téorémy Gëdéla. Therein, Pp. 459–474. - A. S. Ésénin-Vol′Pin. Dobavlénié II. Vospolnénié Probêla Υ §§49 I 74. Therein, Pp. 474–478. - A. S. Ésénin-Vol′Pin. Dobavlénié III. O Formalizuémosti Péréhoda Ot K V Dokazatél'stvé Téorémy 36. To in the Proof of Theorem 36.) Therein, P. 479. - A. S. Ésénin-Vol′Pin. Dobavlénié IV. Postroénié Formuly B Priméra 2 §79. Therein, Pp. 479–481. - A. S. Ésénin-Vol′Pin. Dobavlénié V. Ob Ustranimosti Ravénstva I Néoprédélénnyh Opisanij. Therein, Pp. 481–484. - A. S. Ésénin-Vol′Pin. Dobavlénié VI. O Formalizacii Indukcii Do Porádkovyhčisél Mén′Sih Ε0 V Sistémé Gl. IV . .) Therein, Pp. 484–485. - A. S. Ésénin-Vol′Pin. Dobavlénié VII. Dokazatél′Stvo Néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  32
    A System of Natural Deduction for GL.Gianluigi Bellin - 1985 - Theoria 51 (2):89-114.
  50. Arte, archeologia ed estetica.M. Bafile, Villa Giulia L'architettura, F. Baldinucci & Vita di Gl Bernini - 1949 - Paideia 4:66.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 143