Abstract
The linear lambda calculus, where variables are restricted to occur in terms exactly once, has a very weak expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension with natural numbers and a restricted iterator: only closed linear functions can be iterated. We show properties of this linear version of Godel's T using a closed reduction strategy, and study the class of functions that can be represented. Surprisingly, this linear calculus offers a huge increase in expressive power over previous linear versions of T, which are 'closed at construction' rather than 'closed at reduction'. We show that a linear T with closed reduction is as powerful as T.

Abstract
System L I is a linear ?-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of Gödel's System I. System LI owes its power to two features: the use of a closed reduction strategy (which permits the construction of an iterator on an open function, but only iterates the function after it becomes closed), and the use of a liberal typing rule for iterators based on iterative types. In this paper, we study these new types, and show how they relate to intersection types. We also give a sound and complete type reconstruction algorithm for System LI. © 2010 Springer Science+Business Media, LLC.

Abstract
Languages are born, evolve and, eventually, die. During this evolution their spelling rules (and sometimes the syntactic and semantic ones) change, putting old documents out of use. In Portugal, a pair of political agreements with Brazil forced relevant changes on the way the Portuguese language is written. In this article we will detail these two Orthographic Agreements (one in the thirties and the other more recently, in the nineties), and the challenges present on the automatic migration of old documents spelling to their actual one. We will reveal Bigorna, a toolkit for the classification of language variants, their comparison and the conversion of texts in different language versions. These tools will be explained together with examples of migration issues. As Birgorna relies on a set of conversion rules we will also discuss how to infer conversion rules from a set of documents (texts with different ages). The document concludes with a brief evaluation on the conversion and classification tool results and their relevance in the current Portuguese language scenario.

Abstract
We analyze the role of jamming as a means to increase the security of wireless systems. Specifically, we characterize the impact of cooperative/friendly jamming on the secrecy outage probability of a quasi-static wiretap fading channel. We introduce jamming coverage and jamming efficiency as security metrics, and evaluate the performance of three different jamming strategies that rely on various levels of channel state information. The analysis provides insight for the design of optimal jamming configurations and indicates that one jammer is not enough to maximize both metrics simultaneously.

Abstract
Factors such as the growing number of multimedia terminals, the constant increase of bandwidth available per user, and the large number of existing data sharing applications, are compelling users to generate and distribute their own content to restricted groups of other users. Inorder to support such scenario, we present an IMS-based solution that enables content distribution, in multicast, to groups of users, where the source of the content is also an end-user The proposed solution allows the source of content to configure the service, indicating a list of authorized receivers and both the transmission date and duration. Moreover, the proposed solution also allows the operator to manage the registered user profiles, to impose access control and to validate the configurations submitted by the users.

Abstract
Current Learning Management Systems generically provide online forums for interactions between students and educators. In this article we propose a tool, the iGraph, that can be embedded in Learning Management Systems that feature hierarchical forums. The iGraph is capable of depicting and analyzing online interactions in an easy to understand graph. The positioning algorithm is based on social network analysis statistics, taken from the collected interactions, and is able to smoothly present temporal evolution in order to find communicational patterns and report them to the educator.