Bananas, Dark Worlds, and AspectH: (Group 5 Discussion)

This report summarises our idea of code clone detection in Haskell code and refactorings based on identified clones as it evolved in our group-of-three discussion

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

Medicis: a personal health care assistant

The relation between patient and physician in most modern Health Care Systems is sparse, limited in time and very inflexible. On the other hand, and in contradiction with several recent studies, most physicians do not rely their patient diagnostics evaluations on intertwined psychological and social nature factors. Facing these problems and trying to improve the patient/physician relation we present a mobile health care solution to improve the interaction between the physician and his patients. The solution serves not only as a privileged mean of communication between physicians and patients but also as an evolutionary intelligent platform delivering a mobile rule based system.

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

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

Accounting and the “Doctor-Manager Relationship”

The adoption of the “new public management” in the hospital sector brought about greater presence and power to professional managers in hospitals, thus increasing the risk of conflict in the doctor-manager relationship. Aiming to enrich the discussion on the factors that could be the bases for this conflict and considering the role of accounting, the study presented here corresponds, basically, to what we call “content analysis” of qualitative studies. The results demonstrate that the Portuguese doctors as the sample studied accept, in essence, the principles of enterprise management and recognize the use of accounting information in the scope of their functions as long as they are called to participate as legitimate actors, and authorities respect their desires to preserve a practice which they consider of quality.

Chronic stress disrupts neural coherence between cortico-limbic structures

Chronic stress impairs cognitive function, namely on tasks that rely on the integrity of cortico-limbic networks. To unravel the functional impact of progressive stress in cortico-limbic networks we measured neural activity and spectral coherences between the ventral hippocampus (vHIP) and the medial prefrontal cortex (mPFC) in rats subjected to short term stress (STS) and chronic unpredictable stress (CUS). CUS exposure consistently disrupted the spectral coherence between both areas for a wide range of frequencies, whereas STS exposure failed to trigger such effect. The chronic stress-induced coherence decrease correlated inversely with the vHIP power spectrum, but not with the mPFC power spectrum, which supports the view that hippocampal dysfunction is the primary event after stress exposure. Importantly, we additionally show that the variations in vHIP-to-mPFC coherence and power spectrum in the vHIP correlated with stress-induced behavioral deficits in a spatial reference memory task. Altogether, these findings result in an innovative readout to measure, and follow, the functional events that underlie the stress-induced reference memory impairments.

Neural Electrode Array Based on Aluminum: Fabrication and Characterization

A unique neural electrode design is proposed with 3 mm long shafts made from an aluminum-based substrate. The electrode is composed by 100 individualized shafts in a 10 × 10 matrix, in which each aluminum shafts are precisely machined via dicing-saw cutting programs. The result is a bulk structure of aluminum with 65 ° angle sharp tips. Each electrode tip is covered by an iridium oxide thin film layer (ionic transducer) via pulsed sputtering, that provides a stable and a reversible behavior for recording/stimulation purposes, a 40 mC/cm2 charge capacity and a 145 Ω impedance in a wide frequency range of interest (10 Hz-100 kHz). Because of the non-biocompatibility issue that characterizes aluminum, an anodization process is performed that forms an aluminum oxide layer around the aluminum substrate. The result is a passivation layer fully biocompatible that furthermore, enhances the mechanical properties by increasing the robustness of the electrode. For a successful electrode insertion, a 1.1 N load is required. The resultant electrode is a feasible alternative to silicon-based electrode solutions, avoiding the complexity of its fabrication methods and limitations, and increasing the electrode performance.

Reflexão sobre uma experiência pedagógica interdisciplinar

A função do desenho na metodologia projectual do designer tem merecido o interesse de vários autores. Nessas abordagens está presente a afirmação de que o desenho é essencial no processo de investigação do design para o registo de diversas variantes e de várias soluções ao longo da metodologia projectual (Cross, 2007). As profundas alterações da natureza do Design provocadas pelo contexto histórico actual (Norman, 2011), justificam a pertinência de uma reflexão alargada em torno do papel do desenho nos cursos de design, adaptado a esta nova realidade. Este é um desafio colocado hoje às instituições de ensino e seus intervenientes, na organização de estruturas curriculares e métodos pedagógicos. Conceitos como colaboração ou design multidisciplinar, entre outros, têm sido debatidos como estratégias para o ensino do design (Heller and Talarico, 2011, pp. 82-85). Neste contexto, e enquanto docentes nas áreas do Desenho e do Design, importa-nos abordar as seguintes questões:  de que forma é possível enquadrar métodos do desenho ao ensino do design actual?  de que forma poderá o Desenho ser pensado enquanto prática interdisciplinar?  que contributos podem essas práticas trazer para o processo de ensino/aprendizagem? Com base nestas preocupações, desenvolveu-se um projecto interdisciplinar entre as unidades curriculares de Desenho e de Estética e Teoria do Design no Curso de Design Gráfico, na Instituição onde leccionamos. Neste artigo apresentaremos os objectivos e o processo desenvolvido, assim como a análise e conclusões desta experiência pedagógica.

Effects of Age-Related Cognitive Deficits on EEG Phase Coherence

Body and brain undergo several changes with aging. One of these changes is the loss of neuroplasticity, which leads to the decrease of cognitive abilities. Hence the necessity of stopping or reversing these changes is of utmost importance to contemporary society. In the present work, electroencephalogram (EEG) markers of cognitive decline are sought whilst the subjects perform the Wisconsin Card Sorting Test (WCST). Considering the expected age-related cognitive deficits, WCST was applied to young and elder participants. The results suggest that coherence on theta and alpha EEG rhythms decrease with aging and increase with performance. Additionally, theta phase coherence seems more sensitive to performance, while alpha synchronization appears as a potential ageing marker.

Anotação sintética, numa perspectiva de Direito Público, ao Acórdão n.º 63/2006, em Plenário, do Tribunal Constitucional (português), de 24 de Janeiro de 2006 - qual proibição constitucional de impostos retroactivos? A tese de Oliveira Salazar.

The present article aims to analyze the Judgment no. º 63/2006 of the Constitutional Court, of January 24, 2006, verifying the characteristics of the case, under reference abstract and concrete, of the constitutional principle of the prohibition of retroactive tax. It also examines the core aspects of the temporal validity of the legal and tax rules, brevitatis causa of legal and fiscal standards. Thus, it scrutinizes the call application of tax rules (and / or tax) within the application in time, consisting brief notes on the legal tradition-Lusitanian, from the standpoint of doctrine, from 1976 to 1985 including, recalling the Thesis Salazar on non-retroactivity of tax law. § O presente artigo pretende analisar o Acórdão do Tribunal Constitucional n.º 63/2006, de 24 de Janeiro de 2006, verificando de forma sintética as características do caso concreto, sob referência abstracta e concreta, do princípio constitucional da proibição de imposto retroativos, analisando ainda os aspectos nucleares da eficácia temporal das normas jurídico-tributárias, brevitatis causa, das normas jurídico-fiscais. Para tanto, se averigua a chamada aplicação das normas fiscais (e/ou tributárias) no seio da aplicação no tempo, constando breves notas sobre a tradição jurídico-lusitana, do ponto de vista da doutrina, a partir de 1976, designadamente até 1985, recordando a Tese de Salzar sobre a não retroatividade da lei fiscal.

A Wireless EEG Acquisition Platform based on Embedded Systems

This paper proposes a wireless EEG acquisition platform based on Open Multimedia Architecture Platform (OMAP) embedded system. A high-impedance active dry electrode was tested for improving the scalp- electrode interface. It was used the sigma-delta ADS1298 analog-to-digital converter, and developed a “kernelspace” character driver to manage the communications between the converter unit and the OMAP’s ARM core. The acquired EEG signal data is processed by a “userspace” application, which accesses the driver’s memory, saves the data to a SD-card and transmits them through a wireless TCP/IP-socket to a PC. The electrodes were tested through the alpha wave replacement phenomenon. The experimental results presented the expected alpha rhythm (8-13 Hz) reactiveness to the eyes opening task. The driver spends about 725 μs to acquire and store the data samples. The application takes about 244 μs to get the data from the driver and 1.4 ms to save it in the SD-card. A WiFi throughput of 12.8Mbps was measured which results in a transmission time of 5 ms for 512 kb of data. The embedded system consumes about 200 mAh when wireless off and 400 mAh when it is on. The system exhibits a reliable performance to record EEG signals and transmit them wirelessly. Besides the microcontroller-based architectures, the proposed platform demonstrates that powerful ARM processors running embedded operating systems can be programmed with real-time constrains at the kernel level in order to control hardware, while maintaining their parallel processing abilities in high level software applications.

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment