Derivation of scientific software from mathematical specifications

Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.

Webwork II

Original composition for the Dials platform for animated graphic notation. Commissioned by the PianOrquestra and the Festival Multiplicidade 2012, in Rio de Janerio, Brazil.

Composing with Graphics: Revealing the Compositional Process through Performance.

The research presented here is product of a practice-based process that primarily generates knowledge through collaboration and exchange in performance situations. This collaboration and exchange with various musicians over a period of five years that constitutes a body of practice that is here reflected upon. The paper focuses on non-instructional graphic scores and presents some insights based on performances of works by the author. We address how composition processes are revealed in graphic scores by looking at the conditions of decision making at the point of preparing a performance. We argue that three key elements are at play in the interpretation of these types of graphic scores: performance practice, mapping and musical form. By reflecting particularly on the work Cipher Series (Rebelo, 2010) we offer insights into the strategies for approaching the performance of graphic scores that go beyond symbolic codification.

Superimposition: A composition for harp, saxophone and live electronics

Superimposition is built on a live-scoring system. Computer animated graphics combined with computer generated algorithms produce the score in real time based on preferences input by the composer. Notably, this system introduces a methodology for eliciting complex and coordinated rhythms from instrumentalists through notation generated in real time. This work also incorporates a system for live electronics and live sampling and processing.

Dublin 1916: theatre of revolt

In his essay, Anti-Object, Kengo Kuma proposes that architecture cannot and should not be understood as object alone but instead always as series of networks and connections, relationships within space and through form. Some of these relationships are tangible, others are invisible. Stan Allen and James Corner have also called for an architecture that is more performative and operative – ‘less concerned with what buildings look like and more concerned with what they do’ – as means of effecting a more intimate and promiscuous relationship between infrastructure, urbanism and buildings. According to Allen this expanding filed offers a reclamation of some of the areas ceded by architecture following disciplinary specialization:

‘Territory, communication and speed are properly infrastructural problems and architecture as a discipline has developed specific technical means to deal with these variables. Mapping, projection, calculation, notation and visualization are among architecture’s traditional tools for operating at the very large scale’.

The motorway may not look like it – partly because we are no longer accustomed to think about it as such – but it is a site for and of architecture, a territory where architecture can be critical and active. If the limits of the discipline have narrowed, then one of the functions of a school of architecture must be an attempt occupy those areas of the built environment where architecture is no longer, or has yet to reach. If this is a project about reclamation of a landscape, it is also a challenge to some of the boundaries that surround architecture and often confine it, as Kuma suggests, to the appreciation of isolated objects.

M:NI 2014-15
We tend to think of the motorway as a thing or an object, something that has a singular function. Historically this is how it has been seen, with engineers designing bridges and embankments and suchlike with zeal … These objects like the M3 Urban Motorway, Belfast’s own Westway, are beautiful of course, but they have caused considerable damage to the city they were inflicted upon.

Actually, it’s the fact that we have seen the motorway as a solid object that has caused this problem. The motorway actually is a fluid and dynamic thing, and it should be seen as such: in fact it’s not an organ at all but actually tissue – something that connects rather than is. Once we start to see the motorway as tissue, it opens up new propositions about what the motorway is, is used for and does. This new dynamic and connective view unlocks the stasis of the motorway as edifice, and allows adaptation to happen: adaptation to old contexts that were ignored by the planners, and adaptation to new contexts that have arisen because of or in spite of our best efforts.

Motorways as tissue are more than just infrastructures: they are landscapes. These landscapes can be seen as surfaces on which flows take place, not only of cars, buses and lorries, but also of the globalized goods carried and the lifestyles and mobilities enabled. Here the infinite speed of urban change of thought transcends the declared speed limit [70 mph] of the motorway, in that a consignment of bananas can cause soil erosion in Equador, or the delivery of a new iphone can unlock connections and ideas the world over.

So what is this new landscape to be like? It may be a parallax-shifting, cognitive looking glass; a drone scape of energy transformation; a collective farm, or maybe part of a hospital. But what’s for sure, is that it is never fixed nor static: it pulses like a heartbeat through that most bland of landscapes, the countryside. It transmits forces like a Caribbean hurricane creating surf on an Atlantic Storm Beach: alien forces that mutate and re-form these places screaming into new, unclear and unintended futures.

And this future is clear: the future is urban. In this small rural country, motorways as tissue have made the whole of it: countryside, mountain, sea and town, into one singular, homogenous and hyper-connected, generic city.

Goodbye, place. Hello, surface!

Para uma interpretação na guitarra das sonatas BMW 1001/1003/1005 de Bach inspirada numa memorabília das práticas interpretativas

O presente trabalho procura compreender as abordagens interpretativas desenvolvidas na guitarra das sonatas para violino BWV 1001, 1003 e 1005 de Bach e apresenta uma proposta de interpretação inspirada no autógrafo original. Sistematiza características de transcrições e gravações das obras no instrumento, e considera as respectivas inferências interpretativas. Face ao significativo número de autores e intérpretes que, adaptando o texto de Bach, privilegiam a faceta harmónica da guitarra e desvalorizam o uso de recursos expressivos da prática interpretativa barroca implícitos e explícitos na notação, problematiza os desafios colocados a uma interpretação num instrumento harmónico que mantém o texto escrito para um outro predominantemente melódico, e faz da articulação o seu centro, facultando propostas de realização. O texto de Bach para violino, as práticas barrocas e o legado dos discursos interpretativos sobre as obras integram o repositório de memórias que inspiraram e fundamentaram a criação de uma interpretação. Nela se tomam opções estéticas e encontram as respectivas soluções de realização técnica na sequência da procura de novos caminhos interpretativos, através da recuperação de alguns aspectos que teriam tido expressão numa imaginária interpretação oitocentista – criando uma outra memória.

Automatic classification of scientific records using the German Subject Heading Authority File (SWD)

The following paper deals with an automatic text classification method which does not require training documents. For this method the German Subject Heading Authority File (SWD), provided by the linked data service of the German National Library is used. Recently the SWD was enriched with notations of the Dewey Decimal Classification (DDC). In consequence it became possible to utilize the subject headings as textual representations for the notations of the DDC. Basically, we we derive the classification of a text from the classification of the words in the text given by the thesaurus. The method was tested by classifying 3826 OAI-Records from 7 different repositories. Mean reciprocal rank and recall were chosen as evaluation measure. Direct comparison to a machine learning method has shown that this method is definitely competitive. Thus we can conclude that the enriched version of the SWD provides high quality information with a broad coverage for classification of German scientific articles.

O contributo das representações numéricas básicas e da função executiva no desempenho de operações aritméticas : um estudo exploratório

Tese de mestrado, Psicologia (Secção de Cognição Social Aplicada), Universidade de Lisboa, Faculdade de Psicologia, 2014

Graffiti composition: screenplay

Ongoing collaboration with Christian Marclay. ‘Graffiti Composition’ and ‘Screenplay’ are two related works consisting of live musical improvisation and performance. They are part of an ongoing collaboration with the artist Christian Marclay. 'Graffiti Composition' involved Beresford directing an invited orchestra of improvising musicians. The work focuses on making music from the random compositional acts of strangers. Prior to realization, Marclay fly-posted several hundred sheets of blank manuscript paper, collecting the sheets some days later, after passers-by had written on them – using either traditional music notation or more transgressive interference modes (colour-blocks, torn holes in or abstract graphic symbols on the paper) – and sending photographs of them to Beresford. Beresford’s directorial decisions helped these random graffiti become music via simple formal processes – restricting each musician to a handout of two MS each, or stipulating a mini-concerto for each player. Beresford’s contribution explores the paradox of improvisation stipulated by strangers and controlled, however loosely, by the structuring agency of a musical director. ‘Screenplay’ extended this collaborative process between Marclay and Beresford. Beresford and other musicians responding to a visual track comprising found and public domain moving images manipulated by Marclay – gunfight scenes from a TV Western; running water; racing cars morphing into crying children, and so on, in black-and-white, with single-colour blocks appearing and developing as lines, spots, and other suggestive ‘notation’. The elliptical, surprising, humorous nature of the images at times is hyperexplicated by the improvised music, and at others challenged, ignored or contradicted by the musicians’ interaction. ‘Graffiti Composition’ was performed by the LSO at St. Luke’s, London, March 22, 2005. ‘Screenplay’ premiered in Dundee in 2006, and toured Europe during 2007. Reviewed in the Herald (21 Feb 06) and Times (24 March 07). Beresford’s work as improviser, composer and performer was profiled in The Wire (April 2002, May 2005).

Business Process Modelling based on formal temporal theory with an application to hospital patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

Using SysML in systems design

System of systems involves several secondary systems working together with its creation gathering the knowledge of several distinct disciplines and teams, each one with their own background and methods, leading to a difficult communication between them. SysML, a language originated from UML, enables that communication, without background interference, with the use of a rich notation for systems design. This paper analyzes its use through the experience gained in the design of a chemical system with SysML.

Escolha de indicadores para um relatório

This dissertation is aimed at helping organizations that implemented a Business Intelligence (BI) system without documenting to identify the reasons for the indicators choice either in the conception phase of the project or other. The example taken to present the methodology is a fictitious case study of an organization named BestBread. The aim of this dissertation is to demonstrate not only the necessary indicators in a report but also to describe why they are needed through a business goal representation. This dissertation approach focus mainly in using two methodologies, a simplified notation of the Business Intelligence model (BIM) and a systematic approach that aims to justify BI indicators through modelling report goals. This approach provides guidance to organizations that already implemented a BI tool by presenting a method to compare intuitive and systematic selection of indicators with the BI system existing indicators. The approach is applicable to define in a report its significant indicators. The steps needed to be executed are the following: 1- Model business goals; 2- Select indicators through an intuitive perspective; 3- Verify the indicators existence identified in the intuitive perspective; 4- Select indicators through a systematic perspective; 5- Verify the indicators existence identified in the systematic perspective; 6- Make a global comparison. The dissertation approach allowed an easier way to identify and explain the purpose of indicators to be used in a report. Also, the methodology presented could help the BI deployment phase to be quicker since users would be able to visualise through the representations the evaluation that the indicators could evoke in their business goals. Therefore, it could improve the use of the BI tool, its acceptance and maybe even users’ satisfaction with the tool.

Modelação do processo de reconhecimento de estudos em Angola

Apesar de as tecnologias e os Sistemas de Informação (SI) serem hoje fatores essenciais para uma gestão eficiente, estes não têm, por si só, sido suficientes para garantir os resultados desejados na medida em que fragmentam os processos de negócio em torno de suas aplicações funcionais. Clareza na perceção dos requisitos dos processos de negócio a serem implementados em SI torna-se um fator determinante para que os resultados provenientes da sua implementação revertam em benefícios para as organizações. Esta dissertação tem por base a utilização do recurso da modelação, inserida nas melhores práticas de Business Process Management (BPM), como ferramenta de eliciação dos requisitos dos processos de negócio, com a intenção de mitigar ou eliminar dificuldades no seu entendimento e garantir o alinhamento destes com os objetivos estratégicos da organização. Para o desenvolvimento prático, foi realizado um Caso de Estudo, onde se procedeu à Modelação do Processo de Negócio de Reconhecimento de Estudos em Angola, utilizando a Business Process Modeling Notation (BPMN). O contributo deste trabalho consiste na apresentação dos benefícios da prática de modelação de processos de negócio, suportada pela aplicação da abordagem BPM. Ambiciona-se que o resultado obtido possa contribuir na explicitação e visibilidade dos processos, favorecendo o entendimento dos seus requisitos, e garantir o alcance dos resultados esperados aquando da sua implementação em SI.

Vetus Testamentum, pars III.

Avec prologues et « capitula ». Judith (1) ; Esther (17) ; Macchab. I-II (32v) ; Esdras I-II, et addit. marg., IV, VIII, 20-36 (96v) ; Baruch (124). F. I et II Fragments de Bible et de Graduel noté (notation catalane) (XIIe s.), avec note en catalan (XVIe s.).