[Kirja-arvostelu]

Kirjallisuusarvostelu

The future in perspective,

"Of further interest: books": p. 385-393.

Small states and the promotion of their foreign policy agenda in the international scenario: Trinidad and Tobago and the Kyoto Protocol

Este estudio de caso busca identificar los elementos del portafolio de política exterior de Trinidad y Tobago que le permitieron promover exitosamente sus intereses en el Protocolo de Kioto. Al hacer esto, este texto analizará las limitaciones de Trinidad y Tobago en términos de vulnerabilidades de localización, burocracia y recursos. Posteriormente, una revisión del portafolio de política exterior de este Estado ilustrará el uso de estrategias de creación de capacidades y de organización como lo son el contacto con actores institucionales y no gubernamentales, la formación de coaliciones y estrategias argumentativas, entre otras. Finalmente, este artículo concluirá que dichas acciones permitieron la promoción de la agenda de política exterior de Trinidad y Tobago a través de la creación de hojas de ruta y la coordinación de la incertidumbre con el Protocolo de Kioto. Para hacer esto, este trabajo se concentrará en examinar conceptos como vulnerabilidad y priorización, asimismo contrastando diferentes artículos académicos en la materia junto con documentos oficiales de Trinidad y Tobago.

Von Neumann-Morgenstern Stable Sets in Matching Problems

The following properties of the core of a one well-known: (i) the core is non-empty; (ii) the core is a lattice; and (iii) the set of unmatched agents is identical for any two matchings belonging to the core. The literature on two-sided matching focuses almost exclusively on the core and studies extensively its properties. Our main result is the following characterization of (von Neumann-Morgenstern) stable sets in one-to-one matching problem only if it is a maximal set satisfying the following properties : (a) the core is a subset of the set; (b) the set is a lattice; (c) the set of unmatched agents is identical for any two matchings belonging to the set. Furthermore, a set is a stable set if it is the unique maximal set satisfying properties (a), (b) and (c). We also show that our main result does not extend from one-to-one matching problems to many-to-one matching problems.

Partitions spectrales optimales pour les problèmes aux valeurs propres de Dirichlet et de Neumann

Les façons d'aborder l'étude du spectre du laplacien sont multiples. Ce mémoire se concentre sur les partitions spectrales optimales de domaines planaires. Plus précisément, lorsque nous imposons des conditions aux limites de Dirichlet, nous cherchons à trouver la ou les partitions qui réalisent l'infimum (sur l'ensemble des partitions à un certain nombre de composantes) du maximum de la première valeur propre du laplacien sur tous ses sous-domaines. Dans les dernières années, cette question a été activement étudiée par B. Helffer, T. Hoffmann-Ostenhof, S. Terracini et leurs collaborateurs, qui ont obtenu plusieurs résultats analytiques et numériques importants. Dans ce mémoire, nous proposons un problème analogue, mais pour des conditions aux limites de Neumann cette fois. Dans ce contexte, nous nous intéressons aux partitions spectrales maximales plutôt que minimales. Nous cherchons alors à vérifier le maximum sur toutes les $k$-partitions possibles du minimum de la première valeur propre non nulle de chacune des composantes. Cette question s'avère plus difficile que sa semblable dans la mesure où plusieurs propriétés des valeurs propres de Dirichlet, telles que la monotonicité par rapport au domaine, ne tiennent plus. Néanmoins, quelques résultats sont obtenus pour des 2-partitions de domaines symétriques et des partitions spécifiques sont trouvées analytiquement pour des domaines rectangulaires. En outre, des propriétés générales des partitions spectrales optimales et des problèmes ouverts sont abordés.

Generalised Dirichelt-to-Neumann map in time dependent domains

We study the heat, linear Schrodinger and linear KdV equations in the domain l(t) < x < ∞, 0 < t < T, with prescribed initial and boundary conditions and with l(t) a given differentiable function. For the first two equations, we show that the unknown Neumann or Dirichlet boundary value can be computed as the solution of a linear Volterra integral equation with an explicit weakly singular kernel. This integral equation can be derived from the formal Fourier integral representation of the solution. For the linear KdV equation we show that the two unknown boundary values can be computed as the solution of a system of linear Volterra integral equations with explicit weakly singular kernels. The derivation in this case makes crucial use of analyticity and certain invariance properties in the complex spectral plane. The above Volterra equations are shown to admit a unique solution.

The Dirichlet-to-Neumann map for the elliptic sine Gordon

We analyse the Dirichlet problem for the elliptic sine Gordon equation in the upper half plane. We express the solution $q(x,y)$ in terms of a Riemann-Hilbert problem whose jump matrix is uniquely defined by a certain function $b(\la)$, $\la\in\R$, explicitly expressed in terms of the given Dirichlet data $g_0(x)=q(x,0)$ and the unknown Neumann boundary value $g_1(x)=q_y(x,0)$, where $g_0(x)$ and $g_1(x)$ are related via the global relation $\{b(\la)=0$, $\la\geq 0\}$. Furthermore, we show that the latter relation can be used to characterise the Dirichlet to Neumann map, i.e. to express $g_1(x)$ in terms of $g_0(x)$. It appears that this provides the first case that such a map is explicitly characterised for a nonlinear integrable {\em elliptic} PDE, as opposed to an {\em evolution} PDE.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Use of plastic tips in artificial feeding of Dermacentor (Anocentor) nitens females Neumann, 1897 (Acari: Ixodidae)

The establishment of laboratory colonies of ticks is often hampered by their lack of adaptation to alternative hosts. The aim of this study was to artificially feed partially engorged Dermacentor (Anocentor) nitens females through plastic tips, and to identify what are the optimal conditions of application of this technique to get as much as possible close to the natural conditions. The technique of artificial feeding through plastic tips allowed the engorgement of D. nitens ticks to a final weight within the normal range for the species. (C) 2014 Published by Elsevier GmbH.

HLA-B⁎27 subtype specificity determines targeting and viral evolution of a hepatitis C virus-specific CD8+ T cell epitope

Background & Aims: HLA-B⁄27 is associated with spontaneous HCV genotype 1 clearance. HLA-B⁄27-restricted CD8+ T cells target three NS5B epitopes. Two of these epitopes are dominantly targeted in the majority of HLA-B⁄27+ patients. In chronic infection, viral escape occurs consistently in these two epitopes. The third epitope (NS5B2820) was dominantly targeted in an acutely infected patient. This was in contrast, however, to the lack of recognition and viral escape in the large majority of HLA-B⁄27+ patients. Here, we set out to determine the host factors contributing to selective targeting of this epitope. Methods: Four-digit HLA class I typing and viral sequence analyses were performed in 78 HLA-B⁄27+ patients with chronic HCV genotype 1 infection. CD8+ T cell analyses were performed in a subset of patients. In addition, HLA/peptide affinity was compared for HLA-B⁄27:02 and 05. Results: The NS5B2820 epitope is only restricted by the HLA-B⁄27 subtype HLA-B⁄27:02 (that is frequent in Mediterranean populations), but not by the prototype HLA-B⁄27 subtype B⁄27:05. Indeed, the epitope is very dominant in HLA-B⁄27:02+ patients and is associated with viral escape mutations at the anchor position for HLA-binding in 12 out of 13 HLA-B⁄27:02+ chronically infected patients. Conclusions: The NS5B2820 epitope is immunodominant in the context of HLA-B⁄27:02, but is not restricted by other HLA-B⁄27 subtypes. This finding suggests an important role of HLA subtypes in the restriction of HCV-specific CD8+ responses. With minor HLA subtypes covering up to 39% of specific populations, these findings may have important implications for the selection of epitopes for global vaccines.

Na 1 Nachlass Max Horkheimer, 103 - Korrespondenzen u.a. mit Maria Pattermann und Franz Neumann (p. III 11, 1-335)

1 Drucksache der Rechtsanwaltskanzlei Pacht, Tannenbaum & Ross, 1951; 2 Briefe zwischen der Pädagogischen Hauptstelle der Gewerkschaft Erziehung u. Wissenschaft und Max Horkheimer, 1954; 1 Brief vom Pädagogischen Verlag B. Schulz an Max Horkheimer, 1950; 3 Briefe zwischen dem Professor Erwin Walter Palm und Max Horkheimer, 1957-1958; 2 Briefe zwischen Helena Brans und Max Horkheimer, 1953; 2 Briefe vom Park-Hotel Frankfurt an Max Horkheimer,1957-1958; 1 Brief von Enno Patalas an Max Horkheimer, 1 Brief von Theodor W. Adorno an Enno Patalas, 1956; 2 Briefe zwischen Dieter Pätzold und Max Horkheimer, 1952; 8 Briefe zwischen Maria Pattermann und Max Horkheimer, 1952-1958; 2 Briefe zwischen F. Perrot und Max Horkheimer, 1953; 2 Briefe zwischen der Buchhandlung Werner Peter und Max Horkheimer, 1954; 3 Briefe zwischen Alfred Peters und Max Horkheimer, 1952-1953; 1 Zeugnis von dem Studenten Joachim Peter, 1953; 1 Brief von Max Horkheimer an F.H. Peterson, 1950; Briefwechsel zwischen dem Studenten Klaus Peuker und Max Horkheimer, 1951; 1 Brief des Chefredakteuren Karl Pfannkuch an Max Horkheimer, 1955; 1 Brief von Dr. Karl Pfauter an Max Horkheimer, 1952; Briefwechsel zwischen der Studentin Renate Pflaume und Max Horkheimer, 1952; Briefwechsel zwischen Joseph B. Phillips und Max Horkheimer, 1955; 1 Brief von Professor Josef Pieper an Max Horkheimer , 1951; 1 Brief von Ehrenfried Pihan an Max Horkheimer, 1953; 1 Brief von F. G. Pincus an Theodor W. Adorno, 1954; Briefwechsel zwischen dem Professor Koppel S. Pinson und Max Horkheimer, 1956; 2 Briefe zwischen dem Professor Kurt Pinthus und Max Horkheimer, 1953; 1 Brief an Dr. Knut Pipping von Max Horkheimer, 1950; 2 Briefe zwischen Erwin Piscator und Max Horkheimer, 1954; Briefwechsel zwischen der Max-Planck-Gesellschaft zur Förderung der Wissenschaften und Max Horkheimer, 1953-1955; Briefwechsel zwischen dem Professor Richard Plant und Max Horkheimer, 1953 und 2 Briefe zwischen Professor Richard Plant und Margarete Feretty-Füredi, 1953; Briefwechsel zwischen dem Professor Johann Plenge und Max Horkheimer, 1951-1952; Briefwechsel zwischen Barbara Pleyer und Max Horkheimer, 1954; 1 Brief von Erich Paul Pechmann an Max Horkheimer, 1952; Briefwechsel zwischen Dr. Gerhard Poetzsch und an Max Horkheimer, 1958; Briefwechsel zwischen dem Committee on Science & Freedom und Max Horkheimer, 1955-1956; 1 Brief an den Professor Rudolf Pohl von Max Horkheimer, 1953; 1 Brief von der Zeitschrift "Die politsche Meinung" an Max Horkheimer, 1956; 1 Brief von Max F. Pollack an Max Horkheimer, 1954; 1 Brief von dem Professor Wilhelm Polligkeit an Max Horkheimer, 1951; 1 Brief von dem Poli-Verlag an Max Horkheimer, 1950; Briefwechsel zwischen Alexej Poremsky und Max Horkheimer, 1955; 1 Brief von Rita Post an Max Horkheimer, 1952; 1 Brief von Max Potzin an Max Horkheimer, 1951; Briefwechsel zwischen dem Oberstudienrat Max Preitz und Max Horkheimer, 1955; 1 Brief von dem Professor Wolfgang Preiser an Max Horkheimer, 1952; 1 Gutachten und Beilagen von Dr. Karl A. Preuschen an Max Horkheimer, 1955; Briefwechsel und Beilagen zwischen dem Direktor des The Commonwealth Fund E. K. Wickman und Max Horkheimer, 1955; Briefwechsel zwischen Klaus H. Pringsheim und Max Horkheimer, 1952-1958; 1 Brief von Curt Freiherr von Preuschen an Max Horkheimer, 1953; Briefwechsel zwischen Rüdiger Proske und Max Horkheimer, 1951; Briefwechsel und Beilagen zwischen Dr. Harry Pross und Max Horkheimer, 1954; 1 Brief von dem Professor Franz Neumann an Max Horkheimer, 1954; 1 Brief an G. H. Graber von Max Horkheimer, 1953; Briefwechsel zwischen dem Quaker Service und Max Horkheimer, 1950; Briefwechsel zwischn Günther Quandt und Max Horkheimer, 1953 und 2 Todesanzeigen, 1955; 1 Brief an den Querido-Verlag von Max Horkheimer, 1951; Briefwechsel zwischen Emil Querinjean und Max Horkheimer, 1955; Briefwechsel zwischen John Raatjes und Max Horkheimer, 1956; Briefwechsel zwischen der Zeitschrift the humanist radical und Max Horkheimer, 1957; Briefwechsel zwischen Sitangghu Chatterji und Max Horkheimer, 1957; 1 Brief von der Radio Corporation of America an Max Horkheimer, 1953; 1 Brief und Beilagen vom Radiodiffusion et Télévision Francaises an Max Horkheimer, 1955; Briefwechsel zwischen dem Österreichischer Rundfunk Radio Wien und Max Horkheimer, 1956; 1 Brief von dem Professor Boris Rajewsky an Max Horkheimer, 1953; 1 Brief an Else Rang von Max Horkheimer, 1950; Briefwechsel zwischen Heinz Raspini und Max Horkheimer, 1956; 1 Drucksache zwischen Hanna Becker vom Rath und Max Horkheimer, 1953; 1 Telegramm von dem Professor Roland Rather an Max Horkheimer und 2 Briefe von Max Horkheimer an Roland Rather, 1957; Briefwechsel zwischen dem Professor L. J. Rather und Max Horkheimer, 1955; Briefwechsel zwischen Phillip Roth und Max Horkheimer, 1958; Briefwechsel zwischen Sibnarayan Ray und Max Horkheimer, 1956-1957; Briefwechsel mit Beilagen zwischen dem Rationalisierungs-Kuratorium der Deutschen Wirtschaft und Max Horkheimer, 1954; 1 Aktennotiz von dem Jornalisten Rasten der dänischen Zeitung Politiken, 1953; Briefwechsel zwischen Wolfgang M. Rauch und Max Horkheimer, 1956; 1 Anzeige der Ingeborg Rauter, 1953; 1 Brief von dem Hotel Reber au lac an Max Horkheimer, 1955; Briefwechsel zwischen Alice Reboly und Max Horkheimer, 1955; 3 Briefe an die Regensburger Zeitungen von Max Horkheimer, 1956; 1 Brief an den Professor Klaus Reich von Max Horkheimer, 1950; Briefwechsel zwischen dem Reinhardt, Ernst, Verlag und Max Horkheimer, 1953; 1 Brief von dem Apotheker Hermann Reitberger an Max Horkheimer, 1955; Briefwechsel zwischen Dr. Paul Reiwald und Max Horkheimer, 1950; 1 Brief von dem Journalist Godo Remszhardt an Max Horkheimer, 1954; Briefwechsel zwischen Dr. Irmgard Rexroth-Kern und Max Horkheimer, 1952; Briefwechsel zwischen Hans Rheinbay und Max Horkheimer, 1955; 1 Brief von der Universität Bonn an Max Horkheimer, 1953; 1 Brief an den Rheinischer Merkur von Max Horkheimer, 1951; 1 Brief an die Rheinische Post von Max Horkheimer, 1954; 1 Brief an Hans Richter von Max Horkheimer, 1954; Briefwechsel zwischen Dr. Hermann Riefstahl und Max Horkheimer, 1957; Briefwechsel zwischen dem Professor Svend Riemer und Max Horkheimer, 1957; Briefwechsel zwischen dem Ring-Verlag und Max Horkheimer, 1957; Briefwechsel zwischen Werner Rings und Max Horkheimer, 1954; Briefwechsel zwischen Martha Ritter-Raabe und Max Horkheimer, 1955; Briefwechsel zwischen Otto-Heinz Rocholl und Max Horkheimer, 1954; 1 Brief von Hilde Rodemann an Max Horkheimer, 1952; 1 Brief von Edouard Roditi an Max Horkheimer, 1951 und 1 Brief von Theodor W. Adorno an Edouard Roditi, 1951; Briefwechsel zwischen der Zeitschrift Studenten-Kurier und Max Horkheimer, 1955; 1 Brief von Karl Roeloffs an Max Horkheimer, 1953; Briefwechsel zwischen der Kunsthistorikerin Hanna Rhode und Max Horkheimer, 1950-1951; 1 Brief an Dr. Anna Ronge von Max Horkheimer, 1954; 2 Brief an Kathe Romney von Max Horkheimer, 1952-1955; Briefwechsel zwischen Dr. Paul Rompel und Max Horkheimer, 1952; 1 Brief an den Zahnartz Dr. Ingo Ropper von Max Horkheimer, 1953; Briefwechsel zwischen Ilse Wallis Ross und Max Horkheimer, 1955-1956; 1 Brief von dem Professor Hans W. Rosenhaupt an Max Horkheimer, 1952; 1 Brief von Rosenthal an Max Horkheimer, 1958; Briefwechsel zwischen dem Generalstaatsanwalt und Staatssekretär Erich Rosenthal-Pelldram und Max Horkheimer, 1952-1956; Briefwechsel zwischen Lessing J. Rosenwald und Max Horkheimer, 1950; Briefwechsel zwischen dem Lieutenant Dr. Alan O. Ross und Max Horkheimer, 1955; 4 Briefe und Beilagen von Günther Roth an Max Horkheimer, 1953-1957; Briefwechsel zwischen dem Professor Wolfram Eberhardt und Max Horkheimer, 1955; 1 Brief an den Professor M. A. Stewart von Theodor W. Adorno, 1955; Briefwechsel zwischen dem Professor Rheinhard Bendix und Max Horkheimer, 1955; Briefwechsel zwischen der Studentin Valentine Rothe und Max Horkheimer, 1957; 1 Brief von dem Student Rudolf Rothrock an Max Horkheimer, 1953; 1 Brief von Guy Roustang an Max Horkheimer, ohne Jahr; 1 Brief von Heinz Maria Ledig-Rowohlt an Max Horkheimer, 1950; Briefwechsel zwischen Ellen Roy und Max Horkheimer, 1956; Briefwechsel zwischen dem Professor Paul Royen und Max Horkheimer, 1954; Briefwechsel zwischen dem Staatsminister August Rucker und Max Horkheimer, 1955-1957 1 Brief an den Staatsminister August Rucker von Leopold von Wiese, 1955; 1 Bericht von Walter Rüegg, 1953 und 2 Briefe von Max Horkheimer an den Professor Walter Rüegg, 1955; 3 Briefe an den Professor Alexander Rüstow von Max Horkheimer, 1953-1958; Briefwechsel zwischen Käthe von Ruckteschell und Max Horkheimer, 1951-1954; Briefwechsel zwischen dem Student Gerhard Rudolph und Max Horkheimer, 1954; 1 Brief von der Ruf und Echo, Arbeitsgemeischaft an Max Horkheimer, 1952; 3 Briefe an den Professor Jay Rumney von Max Horkheimer, 1952-1954; Briefwechsel zwischen Clarence R. Rungee und Max Horkheimer, 1951-1952;