XP. A Common Lisp Pretty Printing System

XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data structures, as well as when printing program code. XP is efficient, because it is based on a linear time algorithm that uses only a small fixed amount of storage. XP is flexible, because users can control the exact form of the output via a set of special format directives. XP can operate on arbitrary data structures, because facilities are provided for specifying pretty printing methods for any type of object. XP also modifies the way abbreviation based on length, nesting depth, and circularity is supported so that they automatically apply to user-defined functions that perform output ??g., print functions for structures. In addition, a new abbreviation mechanism is introduced that can be used to limit the total numbers of lines printed.

XP. A Common Lisp Pretty Printing System

XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data structures, as well as when printing program code. XP is efficient, because it is based on a linear time algorithm that uses a small fixed amount of storage. XP is flexible, because users can control the exact form of the output via a set of special format directives. XP can operate on arbitrary data structures, because facilities are provided for specifying pretty printing methods for any type of object.

Wykładnia funkcjonalna a zmiana społeczno-polityczna. Studium teoretycznoprawne

Wydział Prawa i Administracji: Katedra Teorii i Filozofii Prawa

Wpływ środków dydaktycznych na proces twórczego rozwiązywania problemów

The paper analyses the present state of knowledge on the influence of the didactic aids on the process of creative problem solving. The author suggests a new methodological approach to the research in this field. Results of the educational experiment carried out are also presented. Basing on those results the author tries to establish precisely the regularities appearing in different phases of problem solving. In order to make the theory closer to teacher practice a number of conclusions and practical directives have been included.

Tecnologias CAC e Inquéritos de Percepção da Opinião Pública sobre “O papel da Captação e do Armazenamento/Sequestração de Dióxido de Carbono no Futuro da Energia na Europa”:O caso-de-estudo da Comunidade Fernando Pessoa

O carvão e outros combustíveis fósseis, continuarão a ser, por décadas, a principal matéria-prima energética para as Centrais Térmicas, não obstante os esforços para, dentro do possível, substituir os combustíveis fósseis por fontes de energia renovável.Tal como está, hoje, bem documentado, a produção de gases com efeito estufa (GEE), designadamente CO2, resulta da combustão dos ditos combustíveis fósseis, sendo que se espera ser possível mitigar substancialmente a emissão de tais gases com a aplicação das chamadas Tecnologias Limpas do Carvão.Há, pois, necessidade de promover o abatimento do CO2 através de Tecnologias de Emissão Zero ou Tecnologias Livres de Carbono, incluindo designadamente a Captura, o Transporte e a Sequestração geológica de CO2 correspondentes ao que é costume designar por Tecnologias CAC (Captação e Armazenamento de Carbono). De facto, tais tecnologias e, designadamente, o armazenamento geológico de CO2 são as únicas que, no estado actual do conhecimento, são capazes de permitir que se cumpram as metas do ambicioso programa da EU para a energia e o ambiente conhecido por “20 20 para 2020” em conjugação com os aspectos económicos das directivas relativas ao Comércio Europeu de Licenças de Emissão – CELE (Directivas 2003/87/EC, 2004/101/EC e 2009/29/EC).A importância do tema está, aliás, bem demonstrada com o facto da Comissão Europeia ter formalmente admitido que as metas supracitadas serão impossíveis de atingir sem Sequestração Geológica de CO2. Esta é, pois, uma das razões de ter sido recentemente publicada a Directiva Europeia 2009/31/EC de 23 de Abril de 2009 expressamente dedicada ao tema do Armazenamento Geológico de CO2.Ora, a questão do armazenamento geológico de CO2 implica, para além das Tecnologias CAC acima mencionadas e da sua viabilização em termos tanto técnicos como económicos, ou seja, neste último aspecto, competitiva com o sistema CELE, também o conhecimento, da percepção pública sobre o assunto. Isto é, a praticabilidade das Tecnologias CAC implica que se conheça a opinião pública sobre o tema e, naturalmente, que face a esta realidade se prestem os esclarecimentos necessários como, aliás, é reconhecido na própria Directiva Europeia 2009/31/EC.Dado que a Fundação Fernando Pessoa / Universidade Fernando Pessoa através do seu Centro de Investigação em Alterações Globais, Energia, Ambiente e Bioengenharia – CIAGEB tem ultimado um Projecto de Engenharia relativo à Sequestração Geológica de CO2 nos Carvões (Metantracites) da Bacia Carbonífera do Douro – o Projecto COSEQ, preocupou-se naturalmente, desde o início, com o lançamento de inquéritos de percepção da opinião pública sobre o assunto.Tal implicou, nesta fase, a tradução para português e o lançamento do inquérito europeu ACCSEPT que não tinha sido ainda formalmente lançado de forma generalizada entre nós. Antes, porém, de lançar publicamente tal inquérito – o que está actualmente já em curso – resolveu-se testar o método de lançamento, a recolha de dados e o seu tratamento com uma amostra correspondente ao que se designou por Comunidade Fernando Pessoa, i.e. o conjunto de docentes, discentes, funcionários e outras pessoas relacionadas com a Universidade Fernando Pessoa (cerca de 5000 individualidades).Este trabalho diz, precisamente, respeito à preparação, lançamento e análise dos resultados do dito inquérito Europeu ACCSEPT a nível da Comunidade Fernando Pessoa. Foram recebidas 525 respostas representando 10,5% da amostra. A análise de resultados foi sistematicamente comparada com os obtidos nos outros países europeus, através do projecto ACCSEPT e, bem assim, com os resultados obtidos num inquérito homólogo lançado no Brasil. The use of coal, and other fossil fuels, will remain for decades as the main source of energy for power generation, despite the important efforts made to replace, as far as possible, fossil fuels with renewable power sources.As is well documented, the production of Greenhouse Gases (GHG), mainly CO2, arises primarily from the combustion of fossil fuels. The increasing application of Clean Coal Technologies-CCTs, is expected to mitigate substantially against the emission of such gases.There is consequently a need to promote the CO2 abatement through Zero Emission (Carbon Free) Technologies - ZETs, which includes CO2 capture, transport and geological storage, i.e. the so-called CCS (Carbon, Capture and Storage) technologies. In fact, these technologies are the only ones that are presently able to conform to the ambitious EU targets set out under the “20 20 by 2020” EU energy and environment programme, jointly with the economic aspects of the EU Directives 2003/87/EC, 2004/101/EC and 2009/29/EC concerned with the Greenhouse Gas Emissions Allowance Trading Scheme – ETS scheme. The European Commission formal admission that the referred targets will be impossible to reach without the implementation and contribution of geological storage clearly demonstrate the importance of this particular issue, and for this reason the EC Directive 2009/31/EC of April 23, 2009 on Geological Storage of CO2 was recently published.In considering the technical and economical viabilities of CCS technologies, the latter in competition with the ETS scheme, it is believed that public perception will dictate the success of the development and implementation of CO2 geological storage at a large industrial level. This means that, in order to successfully implement CCS technologies, not only must public opinion be taken into consideration but objective information must also be provided to the public in order to raise subject awareness, as recognized in the referred Directive 2009/31/EC.In this context, the Fernando Pessoa Foundation / University Fernando Pessoa, through its CIAGEB (Global Change, Energy, Environment and Bioengineering) RDID&D Unit, is the sponsor of an Engineering Project for the Geological Sequestration of CO2 in Douro Coalfield Meta-anthracites - the COSEQ Project, and is therefore also engaged in public perception surveys with regards to CCS technologies.At this stage, the original European ACCSEPT inquiry was translated to Portuguese and submitted only to the “Fernando Pessoa Community” - comprising university lecturers, students, other employees, as well as, former students and persons that have a professional or academic relationship with the university (c. 5000 individuals). The results obtained from this first inquiry will be used to improve the survey informatics system in terms of communication, database, and data treatment prior to resubmission of the inquiry to the Portuguese public at large.The present publication summarizes the process and the results obtained from the ACCSEPT survey distributed to the “Fernando Pessoa Community”. 525 replies, representing 10.5% of the sample, have been received and analysed. The assessment of the results was systematically compared with those obtained from other European Countries, as reported by the ACCSEPT inquiry, as well as with those from an identical inquiry launched in Brazil.

The Shared Memory Parallelisation of an Ocean Modelling Code using an Interactive Parallelisation Toolkit

This paper briefly describes an interactive parallelisation toolkit that can be used to generate parallel code suitable for either a distributed memory system (using message passing) or a shared memory system (using OpenMP). This study focuses on how the toolkit is used to parallelise a complex heterogeneous ocean modelling code within a few hours for use on a shared memory parallel system. The generated parallel code is essentially the serial code with OpenMP directives added to express the parallelism. The results show that substantial gains in performance can be achieved over the single thread version with very little effort.

Using an interactive parallelisation toolkit to parallelise an ocean modelling code

This paper describes an interactive parallelisation toolkit that can be used to generate parallel code suitable for either a distributed memory system (using message passing) or a shared memory system (using OpenMP). This study focuses on how the toolkit is used to parallelise a complex heterogeneous ocean modelling code within a few hours for use on a shared memory parallel system. The generated parallel code is essentially the serial code with OpenMP directives added to express the parallelism. The results show that substantial gains in performance can be achieved over the single thread version with very little effort.

The semi-automatic parallelisation of scientific application codes using a computer aided parallelisation toolkit

The shared-memory programming model can be an effective way to achieve parallelism on shared memory parallel computers. Historically however, the lack of a programming standard using directives and the limited scalability have affected its take-up. Recent advances in hardware and software technologies have resulted in improvements to both the performance of parallel programs with compiler directives and the issue of portability with the introduction of OpenMP. In this study, the Computer Aided Parallelisation Toolkit has been extended to automatically generate OpenMP-based parallel programs with nominal user assistance. We categorize the different loop types and show how efficient directives can be placed using the toolkit's in-depth interprocedural analysis. Examples are taken from the NAS parallel benchmarks and a number of real-world application codes. This demonstrates the great potential of using the toolkit to quickly parallelise serial programs as well as the good performance achievable on up to 300 processors for hybrid message passing-directive parallelisations.

Automatic relative debugging of OpenMP programs

In this work we show how automatic relative debugging can be used to find differences in computation between a correct serial program and an OpenMP parallel version of that program that does not yield correct results. Backtracking and re-execution are used to determine the first OpenMP parallel region that produces a difference in computation that may lead to an incorrect value the user has indicated. Our approach also lends itself to finding differences between parallel computations, where executing with M threads produces expected results but an N thread execution does not (M, N > 1, M ≠ N). OpenMP programs created using a parallelization tool are addressed by utilizing static analysis and directive information from the tool. Hand-parallelized programs, where OpenMP directives are inserted by the user, are addressed by performing data dependence and directive analysis.

An environment for OpenMP code parallelization

This chapter discusses the code parallelization environment, where a number of tools that address the main tasks, such as code parallelization, debugging, and optimization are available. The parallelization tools include ParaWise and CAPO, which enable the near automatic parallelization of real world scientific application codes for shared and distributed memory-based parallel systems. The chapter discusses the use of ParaWise and CAPO to transform the original serial code into an equivalent parallel code that contains appropriate OpenMP directives. Additionally, as user involvement can introduce errors, a relative debugging tool (P2d2) is also available and can be used to perform near automatic relative debugging of an OpenMP program that has been parallelized either using the tools or manually. In order for these tools to be effective in parallelizing a range of applications, a high quality fully inter-procedural dependence analysis, as well as user interaction is vital to the generation of efficient parallel code and in the optimization of the backtracking and speculation process used in relative debugging. Results of parallelized NASA codes are discussed and show the benefits of using the environment.

When the shift hits the critical fan: a Foucauldian analysis

In the past 15 years in the UK, the state has acquired powers, which mark a qualitative shift in its relationship to higher education. Since the introduction and implementation of the Further and Higher Education Act 1992, the Teaching and Higher Education Act 1998 and the Higher Education Act 2004, a whole raft of changes have occurred which include the following: Widening participation; the development of interdisciplinary, experiential and workplace-based learning focused on a theory-practice dialogue; quality assurance; and new funding models which encompass public and private partnerships. The transformation of higher education can be placed in the context of New Labour’s overall strategies for overarching reform of public services, as set out in the Prime Minister’s Strategy Unit’s discussion paper The UK Government’s Approach to Public Service Reform (2006). An optimistic view of changes to higher education is that they simultaneously obey democratic and economic imperatives. There is an avowed commitment through the widening participation agenda to social inclusion and citizenship, and to providing the changing skills base necessary for the global economy. A more cynical view is that, when put under critical scrutiny, as well as being emancipatory, in some senses these changes can be seen to mobilise regulatory and disciplinary practices. This paper reflects on what kinds of teaching and learning are promoted by the new relationship between the state and the university. It argues that, whilst governmental directives for innovations and transformations in teaching and learning allegedly empower students and put their interests at the centre, reforms can also be seen to consist of supervisory and controlling mechanisms with regard both to our own practices as teachers and the knowledge/ learning we provide for the students.

Operational monitoring and forecasting of bathing water quality through exploiting satellite Earth observation and models: The AlgaRisk demonstration service

Coastal zones and shelf-seas are important for tourism, commercial fishing and aquaculture. As a result the importance of good water quality within these regions to support life is recognised worldwide and a number of international directives for monitoring them now exist. This paper describes the AlgaRisk water quality monitoring demonstration service that was developed and operated for the UK Environment Agency in response to the microbiological monitoring needs within the revised European Union Bathing Waters Directive. The AlgaRisk approach used satellite Earth observation to provide a near-real time monitoring of microbiological water quality and a series of nested operational models (atmospheric and hydrodynamic-ecosystem) provided a forecast capability. For the period of the demonstration service (2008–2013) all monitoring and forecast datasets were processed in near-real time on a daily basis and disseminated through a dedicated web portal, with extracted data automatically emailed to agency staff. Near-real time data processing was achieved using a series of supercomputers and an Open Grid approach. The novel web portal and java-based viewer enabled users to visualise and interrogate current and historical data. The system description, the algorithms employed and example results focussing on a case study of an incidence of the harmful algal bloom Karenia mikimotoi are presented. Recommendations and the potential exploitation of web services for future water quality monitoring services are discussed.

A comparison of the degree of implementation of marine biodiversity indicators by European countries in relation to the Marine Strategy Framework Directive (MSFD)

The degree of development and operability of the indicators for the Marine Strategy Framework Directive (MSFD) using Descriptor 1 (D1) Biological Diversity was assessed. To this end, an overview of the relevance and degree of operability of the underlying parameters across 20 European countries was compiled by analysing national directives, legislation, regulations, and publicly available reports. Marked differences were found between countries in the degree of ecological relevance as well as in the degree of implementation and operability of the parameters chosen to indicate biological diversity. The best scoring EU countries were France, Germany, Greece and Spain, while the worst scoring countries were Italy and Slovenia. No country achieved maximum scores for the implementation of MSFD D1. The non-EU countries Norway and Turkey score as highly as the top-scoring EU countries. On the positive side, the chosen parameters for D1 indicators were generally identified as being an ecologically relevant reflection of Biological Diversity. On the negative side however, less than half of the chosen parameters are currently operational. It appears that at a pan-European level, no consistent and harmonized approach currently exists for the description and assessment of marine biological diversity. The implementation of the MSFD Descriptor 1 for Europe as a whole can therefore at best be marked as moderately successful.

A review of climate change and the implementation of marine biodiversity legislation in the United Kingdom

1. Marine legislation, the key means by which the conservation of marine biodiversity is achieved, has been developing since the 1960s. In recent decades, an increasing focus on ‘holistic’ policy development is evident, compared with earlier ‘piecemeal’ sectoral approaches. Important marine legislative tools being used in the United Kingdom, and internationally, include the designation of marine protected areas and the Marine Strategy Framework Directive (MSFD) with its aim of meeting ‘Good Environmental Status’ (GES) for European seas by 2020. 2. There is growing evidence of climate change impacts on marine biodiversity, which may compromise the effectiveness of any legislation intended to promote sustainable marine resource management. 3. A review of key marine biodiversity legislation relevant to the UK shows climate change was not considered in the drafting of much early legislation. Despite the huge increase in knowledge of climate change impacts in recent decades, legislation is still limited in how it takes these impacts into account. There is scope, however, to account for climate change in implementing much of the legislation through (a) existing references to environmental variability; (b) review cycles; and (c) secondary legislation and complementary policy development. 4. For legislation relating to marine protected areas (e.g. the EC Habitats and Birds Directives), climate change has generally not been considered in the site-designation process, or for ongoing management, with the exception of the Marine (Scotland) Act. Given that changing environmental conditions (e.g. rising temperatures and ocean acidification) directly affect the habitats and species that sites are designated for, how this legislation is used to protect marine biodiversity in a changing climate requires further consideration. 5. Accounting for climate change impacts on marine biodiversity in the development and implementation of legislation is vital to enable timely, adaptive management responses. Marine modelling can play an important role in informing management decisions.

Identifying species and ecosystem sensitivities.

Executive Summary The programme of work was commissioned in September 1998 to supply information to underpin the UK’s commitments to protection and conservation of the ecosystems and biodiversity of the marine environment under the 1992 OSPAR Convention on the Protection of the Marine Environment of the North East Atlantic. The programme also provided support for the implementation of the Biodiversity Convention and the EU Habitats Directive. The MarLIN programme initiated a new approach to assessing sensitivity and recoverability characteristics of seabed species and biotopes based on structures (such as the seabed biotopes classification) and criteria (such as for assessing rarity and defining ‘sensitivity’) developed since 1997. It also developed tools to disseminate the information on the Internet. The species researched were those that were listed in conventions and directives, included in Biodiversity Action Plans, or were nationally rare or scarce. In addition, species were researched if they maintained community composition or structure and/or provided a distinctive habitat or were special to or especially abundant in a particular situation or biotope At its conclusion in August 2001, the work carried out under the contract with DETR/DEFRA had: · Developed protocols, criteria and structures for identifying ‘sensitivity’ and ‘recoverability’, which were tested by a programme management group. · Developed a database to hold research data on biology and sensitivity of species and biotopes. · Defined the link between human activities and the environmental factors likely to be affected by those activities. · Developed a user-friendly Web site to access information from the database, on the sensitivity and recoverability characteristics of over 100 species and basic information on over 200 species. Additionally, the project team have: · Brought together and facilitated discussion between current developers and users of electronic resources for environmental management, protection and education in the conference ‘Using Marine Biological Information in the Electronic Age’ (19-21 July 1999). · Contributed to the development of Ecological Quality Objectives for the North Sea (Scheveningen, 11- 3 September 1999 and subsequent papers). · Provided detailed information on species as a supplement to the National Biodiversity Network Gateway demonstration www.searchnbn.net. · Developed a peer-reviewed approach to electronic publication of updateable information. · Promoted the contract results and the MarLIN approach to the support of marine environmental management and protection at European research fora and, through the web site, internationally. The information available through the Web site is now being used by consultants and Government agencies. The DEFRA contract has been of critical importance in establishing the Marine Life Information Network (MarLIN) programme and has encouraged support from other organisations. Other related work in the MarLIN programme is on-going, especially to identify sensitivity of biotopes to support management of SACs (contract from English Nature in collaboration with Scottish Natural Heritage), to access data sources (in collaboration with the National Biodiversity Network) and to establish volunteer recording schemes for marine life. The results of the programme are best viewed on the Web site (www.marlin.ac.uk). Three reports have been produced during the project. A final report detailing the work undertaken, a brochure ‘Identifying the sensitivity of seabed ecosystems’ and a CD-ROM describing the programme and demonstrating the Web site have been delivered as final products in addition to the Web site.