OS Support for Portable Bulk Synchronous Parallel Programs

Predictability -- the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements -- is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems – possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing -- cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems -- not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the Cleopatra programming language. Cleopatra features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. Cleopatra is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of Cleopatra has been in use as a specification and simulation language for embedded time-critical robotic processes.

Wireless sensor node design for heterogeneous networks

Two complementary wireless sensor nodes for building two-tiered heterogeneous networks are presented. A larger node with a 25 mm by 25 mm size acts as the backbone of the network, and can handle complex data processing. A smaller, cheaper node with a 10 mm by 10 mm size can perform simpler sensor-interfacing tasks. The 25mm node is based on previous work that has been done in the Tyndall National Institute that created a modular wireless sensor node. In this work, a new 25mm module is developed operating in the 433/868 MHz frequency bands, with a range of 3.8 km. The 10mm node is highly miniaturised, while retaining a high level of modularity. It has been designed to support very energy efficient operation for applications with low duty cycles, with a sleep current of 3.3 μA. Both nodes use commercially available components and have low manufacturing costs to allow the construction of large networks. In addition, interface boards for communicating with nodes have been developed for both the 25mm and 10mm nodes. These interface boards provide a USB connection, and support recharging of a Li-ion battery from the USB power supply. This paper discusses the design goals, the design methods, and the resulting implementation.

Building Autonomous Sensitive Artificial Listeners

This paper describes a substantial effort to build a real-time interactive multimodal dialogue system with a focus on emotional and non-verbal interaction capabilities. The work is motivated by the aim to provide technology with competences in perceiving and producing the emotional and non-verbal behaviours required to sustain a conversational dialogue. We present the Sensitive Artificial Listener (SAL) scenario as a setting which seems particularly suited for the study of emotional and non- verbal behaviour, since it requires only very limited verbal understanding on the part of the machine. This scenario allows us to concentrate on non-verbal capabilities without having to address at the same time the challenges of spoken language understanding, task modeling etc. We first report on three prototype versions of the SAL scenario, in which the behaviour of the Sensitive Artificial Listener characters was determined by a human operator. These prototypes served the purpose of verifying the effectiveness of the SAL scenario and allowed us to collect data required for building system components for analysing and synthesising the respective behaviours. We then describe the fully autonomous integrated real-time system we created, which combines incremental analysis of user behaviour, dialogue management, and synthesis of speaker and listener behaviour of a SAL character displayed as a virtual agent. We discuss principles that should underlie the evaluation of SAL-type systems. Since the system is designed for modularity and reuse, and since it is publicly available, the SAL system has potential as a joint research tool in the affective computing research community.

A topological algorithm for identification of structural domains of proteins

Background: Identification of the structural domains of proteins is important for our understanding of the organizational principles and mechanisms of protein folding, and for insights into protein function and evolution. Algorithmic methods of dissecting protein of known structure into domains developed so far are based on an examination of multiple geometrical, physical and topological features. Successful as many of these approaches are, they employ a lot of heuristics, and it is not clear whether they illuminate any deep underlying principles of protein domain organization. Other well-performing domain dissection methods rely on comparative sequence analysis. These methods are applicable to sequences with known and unknown structure alike, and their success highlights a fundamental principle of protein modularity, but this does not directly improve our understanding of protein spatial structure.

COMPLETELY ITERATIVE, PIPELINED MULTIPLIER ARRAY SUITABLE FOR VLSI.

A pipelined array multiplier which has been derived by applying 'systolic array' principles at the bit level is described. Attention is focused on a circuit which is used to multiply streams of parallel unsigned data. Then an algorithm is given which demonstrates that, with only a simple modification to the basic cell, the same array can cope with two's complement numbers. The resulting structure has a number of features whch make it attractive to LSI and VLSI. These include regularity and modularity.

Numbered-up gas-liquid micro/milli channels reactor with modular flow distributor

Gas-liquid processing in microreactors remains mostly restricted to the laboratory scale due to the complexity and expenditure needed for an adequate numbering-up with a uniform flow distribution. Here, the numbering-up is presented for multi-phase (gas-liquid) flow in microreactor suitable for a production capacity of kg/h. Based on the barrier channels concept, the barrier-based micro/milli reactor (BMMR) is designed and fabricated to deliver flow non-uniformity of less than 10%. The BMMR consists of eight parallel channels all operated in the Taylor flow regime and with a liquid flow rate up to 150. mL/min. The quality of the flow distribution is reported by studying two aspects. The first aspect is the influence of different viscosities, surface tensions and flow rates. The second aspect is the influence of modularity by testing three different reaction channels type: (1) square channels fabricated in a stainless steel plate, (2) square channels fabricated in a glass plate, and (3) circular channels (capillaries) made of stainless steel. Additionally, the BMMR is compared to that of a single channel regard the slug and bubble lengths and bubble generation frequency. The results pave the ground for bringing multi-phase flow in microreactor one step closer for large scale production via numbering-up. © 2012 Elsevier B.V.

PLUMED 2: New feathers for an old bird

Enhancing sampling and analyzing simulations are central issues in molecular simulation. Recently, we introduced PLUMED, an open-source plug-in that provides some of the most popular molecular dynamics (MD) codes with implementations of a variety of different enhanced sampling algorithms and collective variables (CVs). The rapid changes in this field, in particular new directions in enhanced sampling and dimensionality reduction together with new hardware, require a code that is more flexible and more efficient. We therefore present PLUMED 2 here a,complete rewrite of the code in an object-oriented programming language (C++). This new version introduces greater flexibility and greater modularity, which both extends its core capabilities and makes it far easier to add new methods and CVs. It also has a simpler interface with the MD engines and provides a single software library containing both tools and core facilities. Ultimately, the new code better serves the ever-growing community of users and contributors in coping with the new challenges arising in the field.

Program summary

Program title: PLUMED 2

Catalogue identifier: AEEE_v2_0

Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEEE_v2_0.html

Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland

Licensing provisions: Yes

No. of lines in distributed program, including test data, etc.: 700646

No. of bytes in distributed program, including test data, etc.: 6618136

Distribution format: tar.gz

Programming language: ANSI-C++.

Computer: Any computer capable of running an executable produced by a C++ compiler.

Operating system: Linux operating system, Unix OSs.

Has the code been vectorized or parallelized?: Yes, parallelized using MPI.

RAM: Depends on the number of atoms, the method chosen and the collective variables used.

Classification: 3, 7.7, 23. Catalogue identifier of previous version: AEEE_v1_0.

Journal reference of previous version: Comput. Phys. Comm. 180 (2009) 1961.

External routines: GNU libmatheval, Lapack, Bias, MPI. (C) 2013 Elsevier B.V. All rights reserved.

Of no fixed form: The Irish Pavilion at Venice 2014 and beyond

This paper explores the theme of exhibiting architectural research through a particular example, the development of the Irish pavilion for the 14th architectural biennale, Venice 2014. Responding to Rem Koolhaas’s call to investigate the international absorption of modernity, the Irish pavilion became a research project that engaged with the development of the architectures of infrastructure in Ireland in the twentieth and twenty-first centuries. Central to this proposition was that infrastructure is simultaneously a technological and cultural construct, one that for Ireland occupied a critical position in the building of a new, independent post-colonial nation state, after 1921.

Presupposing infrastructure as consisting of both visible and invisible networks, the idea of a matrix become a central conceptual and visual tool in the curatorial and design process for the exhibition and pavilion. To begin with this was a two-dimensional grid used to identify and order what became described as a series of ten ‘infrastructural episodes’. These were determined chronologically across the decades between 1914 and 2014 and their spatial manifestations articulated in terms of scale: micro, meso and macro. At this point ten academics were approached as researchers. Their purpose was twofold, to establish the broader narratives around which the infrastructures developed and to scrutinise relevant archives for compelling visual material. Defining the meso scale as that of the building, the media unearthed was further filtered and edited according to a range of categories – filmic/image, territory, building detail, and model – which sought to communicate the relationship between the pieces of architecture and the larger systems to which they connect. New drawings realised by the design team further iterated these relationships, filling in gaps in the narrative by providing composite, strategic or detailed drawings.

Conceived as an open-ended and extendable matrix, the pavilion was influenced by a series of academic writings, curatorial practices, artworks and other installations including: Frederick Kiesler’s City of Space (1925), Eduardo Persico and Marcello Nizzoli’s Medaglio d’Oro room (1934), Sol Le Witt’s Incomplete Open Cubes (1974) and Rosalind Krauss’s seminal text ‘Grids’ (1979). A modular frame whose structural bays would each hold and present an ‘episode’, the pavilion became both a visual analogue of the unseen networks embodying infrastructural systems and a reflection on the predominance of framed structures within the buildings exhibited. Sharing the aspiration of adaptability of many of these schemes, its white-painted timber components are connected by easily-dismantled steel fixings. These and its modularity allow the structure to be both taken down and re-erected subsequently in different iterations. The pavilion itself is, therefore, imagined as essentially provisional and – as with infrastructure – as having no fixed form. Presenting archives and other material over time, the transparent nature of the space allowed these to overlap visually conveying the nested nature of infrastructural production. Pursuing a means to evoke the qualities of infrastructural space while conveying a historical narrative, the exhibition’s termination in the present is designed to provoke in the visitor, a perceptual extension of the matrix to engage with the future.

A cultura cerâmica no design da joalharia portuguesa

Este trabalho de investigação tem como objectivo contribuir para o aprofundamento de estudos vocacionados para o desenvolvimento de novos produtos, suportado pelo encontro entre duas Culturas do Fazer, a cerâmica e a joalharia, e orientado pela Cultura do Projecto, o design. A análise e a ponderação acerca dos pontos em comum entre estas duas culturas materiais, em particular no contexto português, são a base para a definição e a aplicação de um novo concept de produto, mediado por uma metodologia projectual e sustentado nas noções de Modularidade, de Arquétipo, de Tipologia, de Valor Semântico, de Valor Simbólico, de Sistema de Produto e de Design Estratégico. Esta dissertação desenvolve-se ao longo de duas partes, após uma introdução em que se define o objecto de estudo e a metodologia da investigação. A primeira parte tem quatro capítulos. O primeiro capítulo trata do enquadramento teórico da Cultura Cerâmica a partir de uma análise históricotipologica (desde a cultura mesopotâmica até ao século XXI) orientando-se para o contexto português: os lugares de produção cerâmica e o azulejo como portador de cultura. O segundo capítulo, centrando-se em Portugal como lugar de investigação, estuda a Joalharia num âmbito experimental, analisando o valor simbólico da jóia. No terceiro capítulo interpreta-se o design entre tradição e inovação, nomeadamente a sua importância como veiculador cultural, o seu relacionamento com o artesanato e a relevância do laboratório como lugar de experimentação. O quarto capítulo analisa a acção do cruzamento entre os dois sectores – cerâmica e joalharia – na definição da cultura material, na Europa e em Portugal. Clarifica-se também o conceito de Sistema de Produto quando aplicado, como projecto piloto, à Joalharia, servindo-se de estudos de caso como mediadores experimentais. A segunda parte tem três capítulos. No primeiro capítulo analisam-se e averiguam-se tipologias de jóias existentes, assim como algumas provas laboratoriais que permitem o entendimento da tecnologia cerâmica no desenvolvimento de um projecto de Joalharia. Possibilita-se, deste modo, o surgimento dos primeiros estudos tipológico-formais determinantes para a definição da tipologia de projecto jóia-azulejo. No segundo capítulo define-se uma estratégia metodológica para aplicar a um produto de jóia cerâmica, analisando a particular importância do factor emocional na tomada de decisão do cliente. O terceiro capítulo defende um projecto experimental, como momento de verificação, aplicação e materialização do estudo desenvolvido nesta dissertação, proporcionando uma ocasião projectual para avaliar as potencialidades de um produto futuro, orientado pelo design, fruto do cruzamento entre a Cultura Cerâmica e a Joalharia em Portugal.

Metodologia de avaliação da sustentabilidade económica de edifícios com base no ciclo de vida

O Comité Técnico CEN/TC 350 “Sustainability of construction works” elaborou um conjunto de normas que propõem um sistema de avaliação do contributo da construção para o desenvolvimento sustentável, nomeadamente através da avaliação dos seus desempenhos ambiental, social e económico, baseado numa abordagem de ciclo de vida. Os sistemas de avaliação da sustentabilidade de edifícios têm um papel importante em todas as fases do ciclo de vida (anterior à utilização, utilização e fim de vida) de um edifício que se pretenda sustentável, pois agilizam a integração entre os aspetos ambientais, sociais e económicos com outros critérios de decisão. Esta dissertação tem como objetivo apresentar uma metodologia inovadora de avaliação sistemática do desempenho económico de edifícios dentro do conceito sustentabilidade, com base na análise do ciclo de vida, conforme estabelecido na EN 16627:2015, que descreve o processo de tomada de decisão e documentação da avaliação do desempenho económico de edifícios dentro do conceito da avaliação da sustentabilidade, com base na análise de ciclo de vida (ACV). A metodologia, intitulada “Methodology of Assessment of Economic Performance - Residential Buildings – MAEP-RB”, permite a avaliação do desempenho e da sustentabilidade económica de edifícios na fase anterior à utilização do ciclo de vida. A metodologia segue o princípio de modularidade, onde os aspetos e impactes que influenciam o desempenho económico do edifício durante as fases do seu ciclo de vida, são atribuídos aos indicadores de cada módulo do ciclo de vida em que eles ocorrem dentro da respectiva etapa. Faz parte integrante desta metodologia uma base de dados contendo um modelo de custos na construção baseado na subdivisão do edifício em sistemas, subsistemas, elementos, componentes e subcomponentes, em que este último se encontra ao nível dos recursos. Os resultados da avaliação do desempenho económico e da sustentabilidade económica são desagregados em vários níveis, ou seja, ao nível da fase anterior à utilização do ciclo de vida do edifício, de cada etapa, de cada módulo e de cada indicador económico. A MAEP-RB avalia simultaneamente o desempenho económico e a sustentabilidade económica de edifícios sendo o resultado do desempenho económico expresso em unidade monetária e o da sustentabilidade comunicado por um Índice de Sustentabilidade Económica (A+, A, B, C, D, E).

O Contributo do sistema SAP R/3 no controlo interno na REFER

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Auditoria Orientador: Mestre Agostinho Sousa Pinto

Implementation of an IoT-based Sensor Network Integrating IoT-based Sensor Networks with Large-Scale Message Distribution

As technology advances not only do new standards and programming styles appear but also some of the previously established ones gain relevance. In a new Internet paradigm where interconnection between small devices is key to the development of new businesses and scientific advancement there is the need to find simple solutions that anyone can implement in order to allow ideas to become more than that, ideas. Open-source software is still alive and well, especially in the area of the Internet of Things. This opens windows for many low capital entrepreneurs to experiment with their ideas and actually develop prototypes, which can help identify problems with a project or shine light on possible new features and interactions. As programming becomes more and more popular between people of fields not related to software there is the need for guidance in developing something other than basic algorithms, which is where this thesis comes in: A comprehensive document explaining the challenges and available choices of developing a sensor data and message delivery system, which scales well and implements the delivery of critical messages. Modularity and extensibility were also given much importance, making this an affordable tool for anyone that wants to build a sensor network of the kind.

Growing globally: Is it reasonable for Logoplaste to enter the Colombian rigid plastic packaging market?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Properties of functional brain networks correlate with frequency of psychogenic non-epileptic seizures.

Abnormalities in the topology of brain networks may be an important feature and etiological factor for psychogenic non-epileptic seizures (PNES). To explore this possibility, we applied a graph theoretical approach to functional networks based on resting state EEGs from 13 PNES patients and 13 age- and gender-matched controls. The networks were extracted from Laplacian-transformed time-series by a cross-correlation method. PNES patients showed close to normal local and global connectivity and small-world structure, estimated with clustering coefficient, modularity, global efficiency, and small-worldness (SW) metrics, respectively. Yet the number of PNES attacks per month correlated with a weakness of local connectedness and a skewed balance between local and global connectedness quantified with SW, all in EEG alpha band. In beta band, patients demonstrated above-normal resiliency, measured with assortativity coefficient, which also correlated with the frequency of PNES attacks. This interictal EEG phenotype may help improve differentiation between PNES and epilepsy. The results also suggest that local connectivity could be a target for therapeutic interventions in PNES. Selective modulation (strengthening) of local connectivity might improve the skewed balance between local and global connectivity and so prevent PNES events.

Dynamic single cell measurements of kinase activity by synthetic kinase activity relocation sensors.

BACKGROUND: Mitogen activated protein kinases (MAPK) play an essential role in integrating extra-cellular signals and intra-cellular cues to allow cells to grow, adapt to stresses, or undergo apoptosis. Budding yeast serves as a powerful system to understand the fundamental regulatory mechanisms that allow these pathways to combine multiple signals and deliver an appropriate response. To fully comprehend the variability and dynamics of these signaling cascades, dynamic and quantitative single cell measurements are required. Microscopy is an ideal technique to obtain these data; however, novel assays have to be developed to measure the activity of these cascades. RESULTS: We have generated fluorescent biosensors that allow the real-time measurement of kinase activity at the single cell level. Here, synthetic MAPK substrates were engineered to undergo nuclear-to-cytoplasmic relocation upon phosphorylation of a nuclear localization sequence. Combination of fluorescence microscopy and automated image analysis allows the quantification of the dynamics of kinase activity in hundreds of single cells. A large heterogeneity in the dynamics of MAPK activity between individual cells was measured. The variability in the mating pathway can be accounted for by differences in cell cycle stage, while, in the cell wall integrity pathway, the response to cell wall stress is independent of cell cycle stage. CONCLUSIONS: These synthetic kinase activity relocation sensors allow the quantification of kinase activity in live single cells. The modularity of the architecture of these reporters will allow their application in many other signaling cascades. These measurements will allow to uncover new dynamic behaviour that previously could not be observed in population level measurements.