Abstract
Although much of mathematics is algorithmic in nature, the skills needed to formulate and solve algorithmic problems do not form an integral part of mathematics education. In particular, logic, which is central to algorithm development, is rarely taught explicitly at pre-university level, under the justification that it is implicit in mathematics and therefore does not need to be taught as an independent topic. This paper argues in the opposite direction, describing a one-week workshop done at the University of Minho, in Portugal, whose goal was to introduce to high-school students calculational principles and techniques of algorithmic problem solving supported by calculational logic. The workshop resorted to recreational problems to convey the principles and to software tools, the Alloy Analyzer and Netlogo, to animate models.

Abstract
This work addresses the problem of mining data stream generated in dynamic environments where the distribution underlying the observations may change over time. We present a system that monitors the evolution of the learning process. The system is able to self-diagnosis degradations of this process, using change detection mechanisms, and self-repairs the decision models. The system uses meta-learning techniques that characterize the domain of applicability of previously learned models. The meta-learns can detect re-occurrence of contexts, using unlabeled examples, and take pro-active actions by activating previously learned models.

Abstract
A Brillouin Stokes comb laser with increased flatness is reported. The feedback for the laser is provided by a distributed mirror combined with a narrowband seed laser. The Brillouin seed power and wavelength optimization is crucial in order to obtain a uniform power level between Stokes lines. The Brillouin seed must have a relatively large power and its wavelength must be located close to the Raman peak gain region. The flat-amplitude bandwidth is also determined by the choice of Raman pump wavelength. A flat-amplitude bandwidth of 34 nm from 1538 nm to 1572 nm is measured when Raman pump wavelength is set to 1455 nm. 425 uniform Brillouin Stokes lines with 0.08 nm spacing are generated across the wavelength range. The average signal-to-noise ratio of 15 dB is obtained for all the Brillouin Stokes lines. This type of laser can be used in optical communications as a multiwavelength source and also in metrology as a frequency ruler.

Abstract
This paper describes and discusses the results of an empirical study about social-networks/microblogging adoption in a financial institution. Social networking at the workplace literature is overviewed and then presented the methodology and hypothesis of the study. Interviews, a survey and a experimental pilot were used as data collection methods. An extract of the results related with the experimental pilot are discussed and some conclusions derived from them.

Abstract
This paper analyses and discusses the current situation in Portugal and in Spain regarding the procurement and the supply of the ancillary services considered in the Codes for the Operation of these two power systems. This is relevant because Portugal and Spain share a common day ahead and bilateral contract electricity market since 2007. However, several technical activities as the procurement and the provision of Ancillary Services are not yet entirely harmonized and fully integrated and continue to be provided within the control area of each country. Accordingly, this paper discusses three possible approaches that the two TSO's can adopt to further enlarge this integration. Then, tertiary reserve is taken as an example to illustrate the advantages that can be obtained if it is used a common list of bids from the two countries. The Case Study analyses four situations including the present mechanisms used to procure tertiary reserve, as well as the use of a common bid list admitting different values for the capacity of the interconnection lines between the two countries. Based on these results, the paper provides a discussion on the mentioned three integration models addressing their advantages and practical difficulties. © 2011 IEEE.

Abstract
We describe and compare design choices for meta-predicate semantics, as found in representative Prolog predicate-based module systems and in Logtalk. We look at the consequences of these design choices from a pragmatic perspective, discussing explicit qualification semantics, computational reflection support, expressiveness of meta-predicate directives, meta-predicate definitions safety, portability of meta-predicate definitions, and meta-predicate performance. We also describe how to extend the usefulness of meta-predicate definitions. Our aim is to provide useful insights to discuss meta-predicate semantics and portability issues based on actual implementations and common usage patterns. © 2012 Springer-Verlag.