An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

Teaching drawing: an interdisciplinary pedagogical experience in a graphic design course

Various authors have written about the importance of drawing in design methodology. Their general conclusion points drawing as an essential tool for design research, as it allows investigation of several alternative solutions in design process (Cross, 2007). The recent profound changes in design nature (Norman, 2011), justify a discussion on the purpose of drawing in design courses. As a consequence of this new reality, the educational institutions face the challenge of the definition of their curricular structures and teaching methodologies. Among others, concepts such as collaboration and multidisciplinary design approaches have been discussed as strategies for design education (Heller and Talarico, 2011, pp. 82-85). In this context, and using our teaching activity experience in Drawing and Design areas, the authors discuss:  how can drawing methods be included in the current design teaching?  can drawing be considered as an interdisciplinary approach?  what contributions can these methodologies provide to the educational/learning process? Based on these concerns, we developed an interdisciplinary project in the Graphic Design Course with two curricular units: Drawing 1 and Aesthetic and Design Theory 1. In this article the authors present the aims and process developed, and discuss the outcomes of this pedagogical experience.

Money laundering and virtual money: the bitcoin example

Money laundering operations faced multiple changes and become more complex, in line with financial innovation. Often, regulation does not follow that innovation, giving opportunity to take advantage of thes e gaps in less lawful activities. The bitcoin is a virtual currency that has grown significantly, both in value and in volume of transactions, in recent years. The dimension of the phenomenon led to an increasing surveillance from the financial supervisors . We search for evidence of the relationship between money laundering and transactions carried out in bitcoins, the most popular virtual currency at the moment. We analyse the official publications relating the two themes, academic research and the notori ety within the international media. The attitudes toward the bitcoin are diverse, but all share concerns about its future impact. Some sparse evidence indicates that bitcoin may be an opportunity for money laundering, however more data is required.