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.

Abstract
Learning environments where all participants can present their ideas, where all contribute to discuss and assess those ideas are in our opinion essential to improve the learning process. Grading peers is also important to the development of motivation and sense of responsibility. The Moodle's Workshop module seems to address this issues. However, this module is rarely used and, is planned to be removed from the next release. We run a set of tests and inquiries that led us to conclude that its usability is very low, its interface is generically pour-understandable and the final grades for the activity are usually surprising. In this work we present a reformulation of the workshop in which concerns the configuration interface, the administration module, and the final grades page. The preliminary results indicate an improvement of more than 300% of the usability. Future development plans include full integration of the code in the Moodle LMS and testing the new module for improvement and measuring of real usefulness. ©2009 IEEE.