Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailTheir ‘Apple of Discord’ or the Apple of Their Eye: How the British Secured Eastern Mediterranean and Western European Security, 1947-1948
Paravantis, Spero UL

in Kamouzis, Dimitris; Nafpliotis, Alexandros (Eds.) Αnglo-Hellenic relations in the 20th Century (2019)

This chapter examines the role the British policy in Greece played in the shift in American foreign policy that was manifested in 1947-48, that led directly to these alliances, namely the Western European ... [more ▼]

This chapter examines the role the British policy in Greece played in the shift in American foreign policy that was manifested in 1947-48, that led directly to these alliances, namely the Western European Union and NATO. To achieve this shift (which also included support of British strategic interests in the Eastern Mediterranean) this chapter argues that the British used Greece, first as a way to draw the United States further into European affairs, and then as a way to anchor the United States in Europe, achieving a guarantee of security for the Eastern Mediterranean and for Western Europe. Drawing on both published and unpublished British and American sources, this chapter will also examine perceptions of the conflicts in and about Greece, and what it represented for Western European and Eastern Mediterranean security, and Western ideas of democracy when confronted with supporting a right-wing Greek government. In so doing, it clarifies how American foreign policy changed from its pre-war focus on non-intervention, to the cold-war politics of containment and intervention. [less ▲]

Detailed reference viewed: 78 (23 UL)
See detailThema's uit de wijsgerige en historische pedagogiek
Levering, B.; Biesta, Gert UL; Weijers, I.

Book published by SWP (1998)

Detailed reference viewed: 24 (0 UL)
See detailThematic workshop on complex problem solving.
Greiff, Samuel UL; Mainert, Jakob UL; Kretzschmar, André UL

Scientific Conference (2015)

Detailed reference viewed: 22 (0 UL)
See detailDie Thematisierung des Weiblichen in der Pädagogik. Lou Andreas-Salomé und Eduard Spranger in ihren Briefen
Priem, Karin UL

in Kleinau, Elke (Ed.) Frauen in pädagogischen Berufen, 1 (1996)

Detailed reference viewed: 29 (0 UL)
See detailTheologia naturalis thetico-polemica
Theis, Robert UL

in Canz, Israel Gottlieb (Ed.) Theologia naturalis thetico-polemica (2015)

Detailed reference viewed: 18 (0 UL)
Full Text
Peer Reviewed
See detailTheorem Provers for Every Normal Modal Logic
Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph UL

in Eiter, Thomas; Sands, David (Eds.) LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2017, May 04)

We present a procedure for algorithmically embedding problems formulated in higher- order modal logic into classical higher-order logic. The procedure was implemented as a stand-alone tool and can be used ... [more ▼]

We present a procedure for algorithmically embedding problems formulated in higher- order modal logic into classical higher-order logic. The procedure was implemented as a stand-alone tool and can be used as a preprocessor for turning TPTP THF-compliant the- orem provers into provers for various modal logics. The choice of the concrete modal logic is thereby specified within the problem as a meta-logical statement. This specification for- mat as well as the underlying semantics parameters are discussed, and the implementation and the operation of the tool are outlined. By combining our tool with one or more THF-compliant theorem provers we accomplish the most widely applicable modal logic theorem prover available to date, i.e. no other available prover covers more variants of propositional and quantified modal logics. Despite this generality, our approach remains competitive, at least for quantified modal logics, as our experiments demonstrate. [less ▲]

Detailed reference viewed: 21 (0 UL)
See detailTheoretical extensions: From Interactive to Collaborative Problem Solving
Greiff, Samuel UL; Funke, J.

Scientific Conference (2011, December 13)

Detailed reference viewed: 37 (1 UL)
See detailTheoretical issues in measuring dynamic problem solving and in defining the domain in PISA 2012
Greiff, Samuel UL

Scientific Conference (2011, August 30)

Detailed reference viewed: 20 (1 UL)
Full Text
See detailTheoretical Spectroscopy of single-layer and few-layers MoS2
Molina-Sanchez, Alejandro UL; Wirtz, Ludger UL

Scientific Conference (2012)

Detailed reference viewed: 42 (1 UL)
See detailTheoretical Study of the Raman G Peak Intensity of Graphene
Reichardt, Sven UL; Wirtz, Ludger UL

Poster (2016, February 18)

Detailed reference viewed: 93 (11 UL)
See detailTheoretische Pedagogiek (De AERA Annual Meeting: Chicago 1991)
Miedema, S.; Biesta, Gert UL

in Pedagogische studiën : tijdschrift voor onderwijskunde en opvoedkunde (1992), 68

Detailed reference viewed: 9 (0 UL)
See detailTheoretische Pedagogiek (De AERA Annual Meeting: Chicago 1991).
Miedema, S.; Biesta, Gert UL

in Pedagogische Studiën (1991), 68

Detailed reference viewed: 13 (0 UL)
See detailThéorie de Kosslyn et traitement de l'information spatiale
Houssemand, Claude UL

Presentation (1994, April)

Detailed reference viewed: 35 (0 UL)
Full Text
Peer Reviewed
See detailThéorie de l’esprit et temporalité subjective chez le personnage flaubertien
Freyermuth, Sylvie UL

in Marillaud, Pierre; Gauthier, Robert (Eds.) La temporalité (2008)

Detailed reference viewed: 40 (1 UL)
Full Text
See detailThéorie des Codes : Compression, Cryptage et Correction
Dumas, J.-G.; Roch, J.-L.; Tannier, E. et al

Book published by Dunod - 3rd (2018)

Transmettre des informations sous forme numérique suppose entre autres d’optimiser la taille des messages transmis pour éviter de surcharger les canaux de transmission, d’être capable de rectifier des ... [more ▼]

Transmettre des informations sous forme numérique suppose entre autres d’optimiser la taille des messages transmis pour éviter de surcharger les canaux de transmission, d’être capable de rectifier des erreurs apparues en cours de transmission, de crypter les contenus et d’authentifier les émissaires et les destinataires… L’originalité de cet ouvrage est de présenter tous les fondements mathématiques et informatiques sur lesquels reposent ces techniques. Les notions théoriques présentées sont illustrées par 140 exercices corrigés. Cette 3e édition s’enrichit de compléments sur les infrastructures à clefs publiques (PKI), les courbes elliptiques, les registres à décalage (LFSR), les fonctions de hachage. L’utilisation de la cryptographie dans les applications mobiles (Facebook, Messenger, WhatsApp…) est abordée, et des bonnes pratiques de sécurité sont présentées pour des utilitaires incontournables comme GPG et SSH. [less ▲]

Detailed reference viewed: 6 (0 UL)
See detailThéorie des Codes : Compression, Cryptage et Correction
Dumas, J.-G.; Roch, J.-L.; Tannier, E. et al

Book published by Dunod - 2nde (2014)

Detailed reference viewed: 71 (3 UL)