Wzmocniona legitymacja demokratyczna Unii Europejskiej – rozważania w kontekście inicjatywy obywatelskiej, nowych zasad wyborów do Parlamentu Europejskiego i udziału parlamentów krajowych w procesie integracji europejskiej

Nie ulega wątpliwości, iż w efekcie kryzysu finansów publicznych, z którym borykają się wszystkie państwa strefy euro jak i niektóre z pozostałych państw członkowskich, instytucje Unii Europejskiej kolejny raz stają do walki o swoją wiarygodność zarówno na arenie europejskiej jak i międzynarodowej . Formalne podstawy do zmierzających w tym kierunku zmian daje implementowany traktat lizboński przewidujący w swych zapisach m. in. ustanowienie obywatelskiej inicjatywy legislacyjnej; zmianę zasad wyborczych do PE czy też zwiększające uprawnienia parlamentów krajowych w unijnym procesie decyzyjnym. Przedmiotem szczególnej troski powinno być dołożenie wszelkich starań celem pokazania obywatelom UE, że forum Unii Europejskiej może być realną i efektywną formułą wspólnego poszukiwania dróg wyjścia z kryzysu . Stawka, o którą toczy się gra jest stosunkowo wysoka, gdyż de facto sięga do kwestii przyszłości integracji europejskiej jako Unii wzmocnionej współpracy politycznej wokół rynku wewnętrznego i strefy euro, czy też Unii osłabionej nacjonalizmem zachowawczym skupiającym się na już słyszalnych w poszczególnych państwach głosach o konieczności poszukiwania alternatywnych do UE dróg walki z kryzysem . Zapowiedziany przez Komisję Europejską na 2013r. rok obywateli ma być w jej przekonaniu okazją do odświeżenia wizerunku UE i jej instytucji. Z całą pewnością czas ten będzie można wykorzystać w celu wypromowania nowych instrumentów wpływu obywateli i ich zrzeszeń na proces decyzyjny UE m. in. za pomocą zawartej w przepisach traktatu z Lizbony o europejskiej inicjatywie legislacyjnej. Będzie to również dobra okazja do zainaugurowania europejskiej kampanii wyborczej w roku poprzedzającym wybory do Parlamentu Europejskiego. Przy ich okazji być może zostaną wprowadzone w życie nowe przepisy modyfikujące dotychczasowe zasady elekcji posłów do PE. Należy jednak sceptycznie odnieść się co do szans na radykalną zmianę nastrojów Europejczyków do Unii Europejskiej. W wielu bowiem przypadkach socjalizacja europejska obywateli UE napotyka na trudności wynikające z faktu pojawiania się nowej jakości tzw. „Znaczących Innych”, którzy działając w tym obszarze nie zawsze są rzecznikami UE i jej dalszej integracji. Możemy zatem obserwować oznaki psychologicznego rozkładu wspólnoty, którego następstwem może być jej rozkład polityczny . Kryzys „otworzył nam oczy” wskazując na istotne różnice między deklaracjami politycznymi a nieprzystającą do nich rzeczywistością. Pokazując Europę, w którą nie chcemy wierzyć .

Egzystencjalna teoria umysłu. Konstrukcja narzędzia pomiarowego

Wydział Nauk Społecznych: Instytut Psychologii

Udział miRNA w regulacji alternatywnego splicingu u roślin

Wydział Biologii

Regulacja karboksylazy/oksygenazy rybulozo-1,5-bisfosforanu (Rubisco) u Arabidopsis thaliana w odpowiedzi na zmianę natężenia światła z umiarkowanego na niskie

Wydział Biologii

Portraits of Protestant Teens: a report on teenagers in major U.S. denominations

Religious participation -- Religious beliefs -- Faith, practices, and experiences -- Sharing faith -- Evaluations of church -- Moral views and risk behaviors -- Civic activities.

History of the Catholic missions among the Indian tribes of the United States, 1529-1854 / by John Gilmary Shea.

http://www.archive.org/details/historyofcatholi00sheaiala

Seventy-five years in the Madura Mission : a history of the mission in South India under the American Board of Commissioners for Foreign Missions, Boston, Massachusetts, U.S.A. / by John S. Chandler.

http://www.archive.org/details/75yearsmadurami00chanuoft

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.

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.

Equal citizenship for a new society? An analysis of training and employment opportunities for republican ex-prisoners in Belfast

Previous research evidence appears to suggest that while they suffer from similiar socio-economic problems to the wider nationalist community, the problems for republican ex-prisoners seem to be on a greater scale. The primary objective of this research was to investigate the current obstacles facing republication ex-prisoners in training and employment and to make proposals for change.

Multi-party actions as a route to collective redress for mass arm, having particular regard to environmental mass harm

Accepted Version

Stoicyzm u Sartre' a i Deleuze’a

Varsovie

Jacques Colette, L’Existentialisme, collection Que sais-je, P.U.F, 1994, 127 p.

Paris

Convergent Surface Water Distributions in U.S. Cities

Earth's surface is rapidly urbanizing, resulting in dramatic changes in the abundance, distribution and character of surface water features in urban landscapes. However, the scope and consequences of surface water redistribution at broad spatial scales are not well understood. We hypothesized that urbanization would lead to convergent surface water abundance and distribution: in other words, cities will gain or lose water such that they become more similar to each other than are their surrounding natural landscapes. Using a database of more than 1 million water bodies and 1 million km of streams, we compared the surface water of 100 US cities with their surrounding undeveloped land. We evaluated differences in areal (A WB) and numeric densities (N WB) of water bodies (lakes, wetlands, and so on), the morphological characteristics of water bodies (size), and the density (D C) of surface flow channels (that is, streams and rivers). The variance of urban A WB, N WB, and D C across the 100 MSAs decreased, by 89, 25, and 71%, respectively, compared to undeveloped land. These data show that many cities are surface water poor relative to undeveloped land; however, in drier landscapes urbanization increases the occurrence of surface water. This convergence pattern strengthened with development intensity, such that high intensity urban development had an areal water body density 98% less than undeveloped lands. Urbanization appears to drive the convergence of hydrological features across the US, such that surface water distributions of cities are more similar to each other than to their surrounding landscapes. © 2014 The Author(s).

Policy-induced technology adoption: Evidence from the U.S. lead phasedown

Theory suggests that economic instruments, such as pollution taxes or tradable permits, can provide more efficient technology adoption incentives than conventional regulatory standards. We explore this issue for an important industry undergoing dramatic decreases in allowed pollution - the U.S. petroleum industry's phasedown of lead in gasoline. Using a duration model applied to a panel of refineries from 1971-1995, we find that the pattern of technology adoption is consistent with an economic response to market incentives, plant characteristics, and alternative policies. Importantly, evidence suggests that the tradable permit system used during the phasedown provided incentives for more efficient technology adoption decisions.