Unified form language: A domain-specific language for weak formulations of partial differential equations

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies formultifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted. © 2014 ACM.

Design and Verification of the Programming Circuit in an Application-Specific FPGA

In this paper we present a methodology and its implementation for the design and verification of programming circuit used in a family of application-specific FPGAs that share a common architecture. Each member of the family is different either in the types of functional blocks contained or in the number of blocks of each type. The parametrized design methodology is presented here to achieve this goal. Even though our focus is on the programming circuitry that provides the interface between the FPGA core circuit and the external programming hardware, the parametrized design method can be generalized to the design of entire chip for all members in the FPGA family. The method presented here covers the generation of the design RTL files and the support files for synthesis, place-and-route layout and simulations. The proposed method is proven to work smoothly within the complete chip design methodology. We will describe the implementation of this method to the design of the programming circuit in details including the design flow from the behavioral-level design to the final layout as well as the verification. Different package options and different programming modes are included in the description of the design. The circuit design implementation is based on SMIC 0.13-micron CMOS technology.

TWO SPECIFIC CAUSES OF CELL MORTALITY IN FREEZE-THAW CYCLE OF YOUNG THALLI OF PORPHYRA YEZOENSIS (BANGIALES, RHODOPHYTA)1

Porphyra yezoensis Ueda is an important marine aquaculture crop with single-layered gametophytic thalli. In this work, the influences of thallus dehydration level, cold-preservation (freezing) time, and thawing temperature on the photosynthetic recovery of young P. yezoensis thalli were investigated employing an imaging pulse-amplitude-modulation (PAM) fluorometer. The results showed that after 40 d of frozen storage when performing thallus thawing under 10 degrees C, the water content of the thalli showed obvious effects on the photosynthetic recovery of the frozen thalli. The thalli with absolute water content (AWC) of 10%-40% manifested obvious superiority compared to the thalli with other AWCs, while the thalli thawed at 20 degrees C showed very high survival rate (93.10%) and no obvious correlation between thallus AWCs and thallus viabilities. These results indicated that inappropriate thallus water content contributed to the cell damage during the freeze-thaw cycle and that proper thawing temperature is very crucial. Therefore, AWC between 10% and 40% is the suitable thallus water content range for frozen storage, and the thawing process should be as short as possible. However, it is also shown that for short-term cold storage the Porphyra thallus water content also showed no obvious effect on the photosynthetic recovery of the thalli, and the survival rate was extremely high (100%). These results indicated that freezing time is also a paramount contributor of the cell damage during the freeze-thaw cycle. Therefore, the frozen nets should be used as soon as time permits.

A Theory of How the Brain Might Work

I wish to propose a quite speculative new version of the grandmother cell theory to explain how the brain, or parts of it, may work. In particular, I discuss how the visual system may learn to recognize 3D objects. The model would apply directly to the cortical cells involved in visual face recognition. I will also outline the relation of our theory to existing models of the cerebellum and of motor control. Specific biophysical mechanisms can be readily suggested as part of a basic type of neural circuitry that can learn to approximate multidimensional input-output mappings from sets of examples and that is expected to be replicated in different regions of the brain and across modalities. The main points of the theory are: -the brain uses modules for multivariate function approximation as basic components of several of its information processing subsystems. -these modules are realized as HyperBF networks (Poggio and Girosi, 1990a,b). -HyperBF networks can be implemented in terms of biologically plausible mechanisms and circuitry. The theory predicts a specific type of population coding that represents an extension of schemes such as look-up tables. I will conclude with some speculations about the trade-off between memory and computation and the evolution of intelligence.

A feminist trade union agenda? The continued significance of class, gender and race.

During the 1990s attempts to identify a feminist trade union agenda have focused on both the content and process of such a potential agenda. In a period in which trade unions have changed significantly, the general national agenda appears to be changing, acknowledging issues of importance to women. UNISON, Britain's largest trade union, has enshrined proportionality and fair representation in its constitution, developing national initiatives aimed at improving opportunities in work and in the union for women, black workers, manual workers, disabled workers, etc. who traditionally have been less well represented. Many issues affecting women generally have moved to centre stage, yet issues affecting women ancillary workers seem as excluded as ever. Through a study of cleaners in the National Health Service this article argues that workplace interests reflect wider social divisions, but in a variety of patterns depending on the social organization of work. Despite thewidening trade union agenda, particular interests — more specifically the workplace interests of working-class women and black women — continue to be neglected.

Gender and health: a social movement’s agenda for Big Pharma.

Social movements have an important new campaigning and organizing competence in new information communication technologies. These technologies also enable the members of social movements to readily research the accuracy of information: knowledge becomes globalized and readily accessible. In relation to Big Pharma, women’s social movements and social movements of the medicated intersect, and there is now a substantial challenge to Big Pharma both within developed and developing countries from the terrain of gender and health. This paper documents those challenges and looks towards their consequences in the future both in respect of Big Pharma but also in terms of 'academic' research

Work on the Move: mobile and nomadic working methodologies.

‘Work on the move’ is a design, process-driven methodology, which uses multiple locations within an outdoors setting and movement between locations, all of which function as learning places, confined to a specified time period. Between 2012 and 2015, a team of international Higher Education product design educators (all members of Carousel, a co-operation of Erasmus members in Zwolle, Edinburgh, Nantes, Rome, Kortrijk and Oslo), industry professionals and product design students developed and tested four case studies. Each case study was conducted in a different international location and was constructed with a different focus, to help define and refine a definitive working methodology. ‘Work on the move’ explores the influence of ‘place’ upon design, in terms of the impact it has on productivity and creative problem-solving, when working away from the traditional studio/office-based environment. It also explores the significance of shared place, when working directly with a client in situ, and experiencing the place-based influences upon their businesses. While identifying location as part of the design process, the study also seeks to understand the effects of time restriction and working in transit upon creativity and productivity, within the context of specific projects.

‘All the places we were not supposed to go’: a case study of formative class and gender habitus in adventure climbing

This paper explores the origins of meaning in adventurous activities. Specifically, the paper reports on a study of 10 adventure climbers in the Scottish mountaineering community. The study explores how formative experiences have influenced engagement in adventure climbing. Work has been done on the phenomenology of adventure and how individuals interpret and find meaning in the activity—this paper goes a step further and asks where do these dispositions come from? Using Bourdieu’s ideas of field, habitus and forms of capital to frame these experiences in the wider social environment, early experiences are identified that, for the subjects of this study, provide a framework for their later adoption of the ‘adventure habitus’. Among these influences are mainstream education, adventure education in particular, as well as broader formative experiences relating to factors such as gender and class. In addition, the study suggests that accounts differ between males and females in terms of their attitudes and dispositions towards adventure. This may relate to their respective experiences as well as expanding opportunities for both males and females. However, while the ‘adventure field’ provides a context where women can develop transformative identities, these are nearly always subject to male validation.

Stresse Profissional. Consumo de Bebidas Alcoólicas

Tese de Doutoramento apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Sociais.

Atitudes dos médicos dentistas no tratamento médico-dentário de pacientes com deficiência mental

Monografia apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciada em Medicina Dentária

Planning humanitarian projects with educational focus in Guinea rural areas

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Acção Humanitária, Cooperação e Desenvolvimento

Azione destabilizzante e impegno politico. Le figure femminili tra il giallo e il nero Italiani dal 1980 a oggi

My thesis analyses female figures in Italian crime fiction since 1980, from narratological, sociological and gender-studies perspectives. It considers the narrative structure of the giallo and the noir, taking into account the difficulties, particularly in Italy, of establishing what noir fiction is and if/how it is possible to frame it in a specific narrative scheme. This discourse connects to the extraordinary success of Italian giallo and noir fiction over the past fifteen-twenty years. In this scenario, I examine the place of female writers in relation to this phenomenon, especially since the 1980s: in terms of the level of visibility/acceptance of their work, in a narrative space traditionally considered as a male territory, and with regard to their writings, which introduce different narrative perspectives. Specifically, I consider selected texts by leading female Italian writers, in which female elements (writers/characters) become destabilizing factor both on the narrative level, by undermining the schemes of ‘formulaic’ fiction, and on the political one, through their implicit potential (as women) for disrupting the rigid models inherited from processes of social conditioning and from political structures. In terms of gender identities, such texts offer scope to question conventional social constructions of the subject: by empowering the female narrative voice and by embodying it in characters (investigators/killers) traditionally personified by male figures. These texts offer themselves as a critical space where, potentially, readers can rethink static gendered relationships and stereotypical symbolical categories.

Stress-induced visceral pain in rodents: neurochemical, hormonal, immune and epigenetic mechanisms

Visceral pain is a debilitating disorder which affects up to 25% of the population at any one time. It is a global term used to describe pain originating from the internal organs, which is distinct from somatic pain. Currently the treatment strategies are unsatisfactory, with development of novel therapeutics hindered by a lack of detailed knowledge of the underlying mechanisms. The work presented in this thesis aimed to redress this issue and look in more detail at the molecular mechanisms of visceral pain in preclinical models. Stress has long been implicated in the pathophysiology of visceral pain in both preclinical and clinical studies. Here a mouse model of early-life stress-induced visceral hypersensitivity was validated. Moreover, mouse strain differences were also apparent in visceral sensitivity suggesting a possible genetic component to the underlying pathophysiology. Furthermore, gender and sex hormones were also implicated in stress sensitivity and visceral pain. Using the rat model of maternal separation, some of the epigenetic mechanisms underpinning visceral hypersensitivity, specifically the contribution of histone acetylation were unravelled. Glutamate has been well established in somatic pain processing, however, its contribution to visceral pain has not been extensively characterised. It was found that glutamate uptake is impaired in viscerally hypersensitive animals, an effect which could be reversed by treatment with riluzole, a glutamate uptake activator. Moreover, negative modulation of the metabotropic glutamate (mGlu) receptor 7 was sufficient to reverse visceral hypersensitivity in a stress sensitive rat strain, the Wistar Kyoto rat. Furthermore, toll-like receptor 4 (TLR4) was implicated in chronic stress-induced visceral hypersensitivity. Taken together, these findings have furthered our knowledge of the pathophysiology of visceral pain. In addition, we have identified glutamate transporters, mGlu7 receptor, histone acetylation and TLR4 as novel targets, amenable to pharmacological manipulation for the specific treatment of visceral pain.

A corpus-driven error analysis of the oral and written production of Leaving Certificate Spanish learners

The Leaving Certificate (LC) is the national, standardised state examination in Ireland necessary for entry to third level education – this presents a massive, raw corpus of data with the potential to yield invaluable insight into the phenomena of learner interlanguage. With samples of official LC Spanish examination data, this project has compiled a digitised corpus of learner Spanish comprised of the written and oral production of 100 candidates. This corpus was then analysed using a specific investigative corpus technique, Computer-aided Error Analysis (CEA, Dagneaux et al, 1998). CEA is a powerful apparatus in that it greatly facilitates the quantification and analysis of a large learner corpus in digital format. The corpus was both compiled and analysed with the use of UAM Corpus Tool (O’Donnell 2013). This Tool allows for the recording of candidate-specific variables such as grade, examination level, task type and gender, therefore allowing for critical analysis of the corpus as one unit, as separate written and oral sub corpora and also of performance per task, level and gender. This is an interdisciplinary work combining aspects of Applied Linguistics, Learner Corpus Research and Foreign Language (FL) Learning. Beginning with a review of the context of FL learning in Ireland and Europe, I go on to discuss the disciplinary context and theoretical framework for this work and outline the methodology applied. I then perform detailed quantitative and qualitative analyses before going on to combine all research findings outlining principal conclusions. This investigation does not make a priori assumptions about the data set, the LC Spanish examination, the context of FLs or of any aspect of learner competence. It undertakes to provide the linguistic research community and the domain of Spanish language learning and pedagogy in Ireland with an empirical, descriptive profile of real learner performance, characterising learner difficulty.

Plate-specific gain map correction for the improvement of detective quantum efficiency in computed radiography.

PURPOSE: The purpose of this work is to improve the noise power spectrum (NPS), and thus the detective quantum efficiency (DQE), of computed radiography (CR) images by correcting for spatial gain variations specific to individual imaging plates. CR devices have not traditionally employed gain-map corrections, unlike the case with flat-panel detectors, because of the multiplicity of plates used with each reader. The lack of gain-map correction has limited the DQE(f) at higher exposures with CR. This current work describes a feasible solution to generating plate-specific gain maps. METHODS: Ten high-exposure open field images were taken with an RQA5 spectrum, using a sixth generation CR plate suspended in air without a cassette. Image values were converted to exposure, the plates registered using fiducial dots on the plate, the ten images averaged, and then high-pass filtered to remove low frequency contributions from field inhomogeneity. A gain-map was then produced by converting all pixel values in the average into fractions with mean of one. The resultant gain-map of the plate was used to normalize subsequent single images to correct for spatial gain fluctuation. To validate performance, the normalized NPS (NNPS) for all images was calculated both with and without the gain-map correction. Variations in the quality of correction due to exposure levels, beam voltage/spectrum, CR reader used, and registration were investigated. RESULTS: The NNPS with plate-specific gain-map correction showed improvement over the noncorrected case over the range of frequencies from 0.15 to 2.5 mm(-1). At high exposure (40 mR), NNPS was 50%-90% better with gain-map correction than without. A small further improvement in NNPS was seen from carefully registering the gain-map with subsequent images using small fiducial dots, because of slight misregistration during scanning. Further improvement was seen in the NNPS from scaling the gain map about the mean to account for different beam spectra. CONCLUSIONS: This study demonstrates that a simple gain-map can be used to correct for the fixed-pattern noise in a given plate and thus improve the DQE of CR imaging. Such a method could easily be implemented by manufacturers because each plate has a unique bar code and the gain-map for all plates associated with a reader could be stored for future retrieval. These experiments indicated that an improvement in NPS (and hence, DQE) is possible, depending on exposure level, over a wide range of frequencies with this technique.