The Arab Spring as a Test of post-Lisbon Capabilities and Strategies of the European Union in North Africa

This study aims to present the conditions related to the European Union’s involvement in the Arab Spring, as well as examine the extent of this capability-based involvement in the first months of 2011 against the background of competence disputes between institutions and inter-governmental contentions. These considerations will be the basis for conclusions on the theoretical and practical viability of the European Union’s action in the region of North Africa, in terms of both interests defined in Brussels and representation of a jointly agreed position and undertaking practical actions in the international arena. These assumptions can facilitate a new perspective for the EU’s strategic approach framework in the region of North Africa.

Minęło już pół wieku... Powstanie i działalność Wydawnictwa Naukowego UAM

W roku 2012 Wydawnictwo Naukowe UAM obchodzi 50-lecie istnienia – działa od roku 1962 jako jednostka ogólnouczelniana Uniwersytetu im. Adama Mickiewicza w Poznaniu. Publikuje przede wszystkim monografie naukowe (w 50 seriach tematycznych), podręczniki, skrypty, słowniki, a także 25 czasopism naukowych (również w językach obcych). Rocznie ukazuje się około 150 tytułów. Za swoje osiągnięcia edytorskie wielokrotnie otrzymywaliśmy nagrody, m.in. na Krajowych Targach Książki Akademickiej ATENA, Wrocławskich Targach Książki Naukowej, Nagrody Klio na Targach Książki Historycznej, nagrody Stowarzyszenia Wydawców Szkół Wyższych im. ks. Edwarda Pudełki za najlepszy podręcznik akademicki oraz dyplomy i wyróżnienia w kolejnych edycjach Poznańskiego Przeglądu Nowości Wydawniczych, organizowanego przez Bibliotekę Raczyńskich. Nasze książki prezentowane były na międzynarodowych wystawach polskiej książki naukowej organizowanych przez Stowarzyszenie Wydawców Szkół Wyższych w: Paryżu, Londynie, Lwowie, Rzymie, Sztokholmie, Wilnie, Pradze, Kijowie, Petersburgu, Dniepropietrowsku, Watykanie, Wiedniu, Madrycie, a także na międzynarodowych targach książki we Frankfurcie, Londynie, Moskwie, Zagrzebiu, Győr (Węgry) i Pekinie. Wydawnictwo Naukowe UAM jest pomysłodawcą i głównym organizatorem Poznańskich Dni Książki Naukowej, odbywających się nieprzerwanie od 1997 roku i gromadzących wydawców z całej Polski. Miejscem corocznych targów książki jest Hol Wielki Collegium Maius. Wydawnictwo jest jednym z członków założycieli Stowarzyszenia Wydawców Szkół Wyższych oraz członkiem Polskiego Towarzystwa Wydawców Książek.

PROCES KSZTAŁTOWANIA SIĘ PLANÓW ZAWODOWO-EDUKACYJNYCH MŁODZIEŻY. WYNIKI BADAŃ

Piorunek Magdalena, Kasperek Ewa, Proces kształtowania się planów zawodowo- edukacyjnych młodzieży. Wyniki badań (The process of formation of professional and educational plans of young people - results of studies). „Neodidagmata” XX, Poznań 1991, Adam Mickiewicz University Press, pp. 101-112. ISBN 83-232-0302-4. ISSN 0077-653X. Received: October 1988. Studies were conducted on the formation of professional and educational plans of young people in the primary school. It was found that the period of specific search for professional and educational careers of young people is preceded by an initial elimination of the definite ways of education (types of school) which determines further decisions of various stages of education of adolescents. The eighth class (form) is the the stage of most intensive searching as far as professions and education are concerned and their characteristic feature is great variability. The liability of professional-educational plans is decisively greater in young people from large cities.

Die Organisation und Leitung der Arbeit Mit Audiovisuellen Lehr- und Lernmitteln an der Humboldt-Universität zu Berlin und an Anderen Hochschulen in der Ddr

Heun Hans-Georg, Die Organisation und Ieitung der Arbeit mit audiovisuellen lehr- und Ißrnmitteln an der Humboldt-Universität zu Berlin und an anderen Hochschulen in der DDR (Organization and conducting of work with audiovidual aids at the Humboldt University and other schools of higher education in the German Democratic Republic), „Neodidagmata” XX, Poznan 1991, Adam Mickiewicz University Press, pp. 131-136. ISBN 83-232-0302-4. ISBN 0077-653X. Received: November 1987. Audiovisual aids have become now an indispensable help for teachers. The centre of audiovisual aids at the Humboldt University in Berlin performs the following tasks: a) production of audiovisual materials; b) technical service of classes and lectures and seminars and repairing of the equipment; c) information on new audiovisual aids and lending services; d) training of students and university teachers in operating audiovisual aids; e) studies on application of audiovisual aids in schools of higher education.

Świadomość językowa i stosunek do holenderskiej i belgijskiej odmiany języka niderlandzkiego wśród polskich studentów niderlandystki

Wydział Anglistyki

Osoby uczące się j. obcych jako partnerzy refleksji w procesie kształtowania kultury informacji zwrotnej w dydaktyce j.niemieckiego jako obcego na poziomie uniwersyteckim

Wydział Neofilologii:Instytut Lingwistyki Stosowanej

Kapitał zakładowy w spółce z ograniczoną odpowiedzialnością – skuteczny instrument ochrony wierzycieli?

This article deals with a draft bill amending the Code of Commercial Companies and the ongoing debate on the planned amendment which includes a proposal to remove a fixed minimum of share capital in limited liability companies. The most important issue under consideration in this paper is the protection of a company’s creditors. The author of the following article, referring to a number of already published statements concerning the draft bill, summarizes the ongoing discussion about the role and the functions of share capital and the proposed new instruments for strengthening creditors’ protection.

The ‘Faust’ or ’Lucifer’ Sonata? On Liszt’s idea of programme music as exemplifi ed by his Piano Sonata in B minor

The musicological tradition places Liszt’s Sonata in B minor within the sphere of compositions inspired by the Faustian myth. Its musical material, its structure and its narrative exhibit certain similarities to the ‘Faust’ Symphony. Yet there has appeared a diff erent and, one may say, a rival interpretation of Sonata in B minor. What is more, it is well-documented from both a musical and a historical point of view. It has been presented by Hungarian pianist and musicologist Tibor Szász. He proposes the thesis that the Sonata in B minor has been in fact inspired by Milton’s Paradise Lost, with its three protagonists: Adam, Satan and Christ. He fi nds their illustrations and even some key elements of the plot in the Sonata’s narrative. But yet Milton’s Paradise Lost and Goethe’s Faust are both stories of the Fall and Salvation, of the cosmic struggle between good and evil. The triads of their protagonists – Adam and Eve, Satan, and Christ; Faust, Mephisto and Gretchen – are homological. Thus both interpretations of the Sonata, the Goethean and the Miltonian, or, in other words, the Faustian and the Luciferian, are parallel and complementary rather than rival. It is also highly probable that both have had their impact on the genesis of the Sonata in B minor.

Przywództwo Niemiec i Francji w Unii Europejskiej w XXI w. Problemy i wyzwania

Autor w pracy stawia tezę, że „francusko-niemiecki motor” odegrał pozytywną rolę w procesie integracji europejskiej w XX w. Dzięki bliskiej współpracy francusko-niemieckiej możliwa była realizacja unii walutowo-gospodarczej, Wspólna Polityka Zagraniczna i Bezpieczeństwa oraz stworzenie w UE „obszaru wolności, bezpieczeństwa i sprawiedliwości”. W XXI w. trudna sytuacja gospodarcza Francji i napięcia społeczne spowodowały spadek jej znaczenia w Unii Europejskiej. Kryzys finansowy strefy euro oraz problem uchodźców wykreowały Niemcy na samotnego lidera w Unii Europejskiej. Jednakże współpraca francusko-niemiecka nie załamała się, gdyż oba państwa wzajemnie się potrzebują i zapewniają równowagę w Europie. Zdaniem wielu ekspertów, ze względu na ogólne nastroje w Europie, w Berlinie i Paryżu brakuje nowych idei ukazujących perspektywy rozwojowe Unii Europejskiej na najbliższe lata.

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN

Formal correctness of complex multi-party network protocols can be difficult to verify. While models of specific fixed compositions of agents can be checked against design constraints, protocols which lend themselves to arbitrarily many compositions of agents-such as the chaining of proxies or the peering of routers-are more difficult to verify because they represent potentially infinite state spaces and may exhibit emergent behaviors which may not materialize under particular fixed compositions. We address this challenge by developing an algebraic approach that enables us to reduce arbitrary compositions of network agents into a behaviorally-equivalent (with respect to some correctness property) compact, canonical representation, which is amenable to mechanical verification. Our approach consists of an algebra and a set of property-preserving rewrite rules for the Canonical Homomorphic Abstraction of Infinite Network protocol compositions (CHAIN). Using CHAIN, an expression over our algebra (i.e., a set of configurations of network protocol agents) can be reduced to another behaviorally-equivalent expression (i.e., a smaller set of configurations). Repeated applications of such rewrite rules produces a canonical expression which can be checked mechanically. We demonstrate our approach by characterizing deadlock-prone configurations of HTTP agents, as well as establishing useful properties of an overlay protocol for scheduling MPEG frames, and of a protocol for Web intra-cache consistency.

StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages

We present a type system, StaXML, which employs the stacked type syntax to represent essential aspects of the potential roles of XML fragments to the structure of complete XML documents. The simplest application of this system is to enforce well-formedness upon the construction of XML documents without requiring the use of templates or balanced "gap plugging" operators; this allows it to be applied to programs written according to common imperative web scripting idioms, particularly the echoing of unbalanced XML fragments to an output buffer. The system can be extended to verify particular XML applications such as XHTML and identifying individual XML tags constructed from their lexical components. We also present StaXML for PHP, a prototype precompiler for the PHP4 scripting language which infers StaXML types for expressions without assistance from the programmer.

Safe Compositional Specification of Networking Systems

The Science of Network Service Composition has clearly emerged as one of the grand themes driving many of our research questions in the networking field today [NeXtworking 2003]. This driving force stems from the rise of sophisticated applications and new networking paradigms. By "service composition" we mean that the performance and correctness properties local to the various constituent components of a service can be readily composed into global (end-to-end) properties without re-analyzing any of the constituent components in isolation, or as part of the whole composite service. The set of laws that would govern such composition is what will constitute that new science of composition. The combined heterogeneity and dynamic open nature of network systems makes composition quite challenging, and thus programming network services has been largely inaccessible to the average user. We identify (and outline) a research agenda in which we aim to develop a specification language that is expressive enough to describe different components of a network service, and that will include type hierarchies inspired by type systems in general programming languages that enable the safe composition of software components. We envision this new science of composition to be built upon several theories (e.g., control theory, game theory, network calculus, percolation theory, economics, queuing theory). In essence, different theories may provide different languages by which certain properties of system components can be expressed and composed into larger systems. We then seek to lift these lower-level specifications to a higher level by abstracting away details that are irrelevant for safe composition at the higher level, thus making theories scalable and useful to the average user. In this paper we focus on services built upon an overlay management architecture, and we use control theory and QoS theory as example theories from which we lift up compositional specifications.

Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency

With web caching and cache-related services like CDNs and edge services playing an increasingly significant role in the modern internet, the problem of the weak consistency and coherence provisions in current web protocols is becoming increasingly significant and drawing the attention of the standards community [LCD01]. Toward this end, we present definitions of consistency and coherence for web-like environments, that is, distributed client-server information systems where the semantics of interactions with resource are more general than the read/write operations found in memory hierarchies and distributed file systems. We then present a brief review of proposed mechanisms which strengthen the consistency of caches in the web, focusing upon their conceptual contributions and their weaknesses in real-world practice. These insights motivate a new mechanism, which we call "Basis Token Consistency" or BTC; when implemented at the server, this mechanism allows any client (independent of the presence and conformity of any intermediaries) to maintain a self-consistent view of the server's state. This is accomplished by annotating responses with additional per-resource application information which allows client caches to recognize the obsolescence of currently cached entities and identify responses from other caches which are already stale in light of what has already been seen. The mechanism requires no deviation from the existing client-server communication model, and does not require servers to maintain any additional per-client state. We discuss how our mechanism could be integrated into a fragment-assembling Content Management System (CMS), and present a simulation-driven performance comparison between the BTC algorithm and the use of the Time-To-Live (TTL) heuristic.

Safe Composition of Web Communication Protocols for Extensible Edge Services

As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in undesirable behaviors (e.g., livelocks) there needs to be a methodology for the automated checking of the "safety" of these protocols. In this paper, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool from the formal systems verification community, can be used to quickly identify problematic behaviors of application-layer protocols with non-trivial communication models—such as HTTP with the addition of the "100 Continue" mechanism. As a case study, we examine several versions of the specification for the Continue mechanism; our experiments mechanically uncovered multi-version interoperability problems, including some which motivated revisions of HTTP/1.1 and some which persist even with the current version of the protocol. One such problem resembles a classic degradation-of-service attack, but can arise between well-meaning peers. We also discuss how the methods we employ can be used to make explicit the requirements for hardening a protocol's implementation against potentially malicious peers, and for verifying an implementation's interoperability with the full range of allowable peer behaviors.