New Wave Italian Style

An investigation of the long controversy around the definition of an Italian New Wave cinema of the 1960s, this essay engages (and takes issue) with the reasons behind the critics’ reluctance to recognise its existence. After establishing a theoretical and historical framework for a transnational under- standing of the phenomenon of the European and World New Waves, it offers a reasoned analysis of the multiple industrial and artistic attempts at a generational renewal of Italian cinema that were made in Italy during the 1960s. Ultimately, the essay suggests that it would not only be appropriate, but also highly productive to reconsider the vibrant and heterogeneous young Italian cinema of the 1960s under the generational and transnational New Wave label, instead of continuing to approach the decade exclusively in the light of Neorealism.

The Violent Maintenance of the Portuguese Colonial Identity and the Search for a Postcolonial one: literary images of Portugal as a colonial and postcolonial nation

Through the examination of Camões's Os Lusíadas , Sena's Os Grão-Capitães and Saramago's A Jangada de Pedra , this article explores violence as a means of shaping Portuguese identity in different historical contexts, and how these works portray the continued recourse to violence as Portugal moves from colonizing to postcolonial nation.

BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.