230 research outputs found
Perspectives On Mobility, Migration And Well-being Of International Students In The Asia Pacific
This edition of the International Journal of Asia Pacific Studies explores
issues relating to global student mobility in the Asia Pacific. The
contributions to this edition from Australia and Malaysia emerged from a
forum held in Australia in February where academics and researchers from
Malaysia, China, Singapore and Australia presented papers and discussed
ways of interpreting the character and the implication of global student
mobility. The forum entitled International Students in the Asia Pacific:
Mobility, Migration, Well-being and Security held from 13–15th February
2008 attracted over 40 presenters. The forum was hosted by the Centre for
Asian Pacific Social Transformation Studies at the University of
Wollongong and was part of a continuing research partnership between the
Universiti Sains Malaysia, the University of Wollongong and a growing
number of Australian and Malaysian researcher
The Missing Link: Explaining ELF Static Linking, Semantically
Beneath the surface, software usually depends on com- plex linker behaviour to work as intended. Even linking hello_world.c is surprisingly involved, and systems software such as libc and operating system kernels rely on a host of linker features. But linking is poorly understood by working programmers and has largely been neglected by language researchers.
In this paper we survey the many use-cases that linkers support and the poorly specified linker speak by which they are controlled: metadata in object files, command-line options, and linker-script language. We provide the first validated formalisation of a realistic executable and linkable format (ELF), and capture aspects of the Application Binary Interfaces for four mainstream platforms (AArch64, AMD64, Power64, and IA32). Using these, we develop an executable specification of static linking, covering (among other things) enough to link small C programs (we use the example of bzip2) into a correctly running executable. We provide our specification in Lem and Isabelle/HOL forms. This is the first formal specification of mainstream linking. We have used the Isabelle/HOL version to prove a sample correctness property for one case of AMD64 ABI relocation, demonstrating that the specification supports formal proof, and as a first step towards the much more ambitious goal of verified linking. Our work should enable several novel strands of research, including linker-aware verified compilation and program analysis, and better languages for controlling linking.We acknowledge funding from EPSRC grants EP/H005633 (Leadership Fellowship, Sewell) and EP/K008528 (REMS: Rigorous Engineering for Mainstream Systems Programme Grant).This is the final version of the article. It first appeared from Association for Computing Machinery via https://doi.org/10.1145/3022671.298399
Distribución estival y abundancia de la gran manta raya (Mobula mobular) en el mar Adriático: datos de base para un marco de gestión iterativo
The giant devil ray (Mobula mobular) is a poorly understood protected endemic species of the eastern Atlantic-Mediterranean region. However, to date there are no range-wide management actions in place. This paper provides the first overview of the summer distribution and abundance of this species and other Myliobatiformes within the Adriatic Sea based on an aerial survey. Although the survey´s primary targets were cetaceans and sea turtles, the study showed that it was possible to use the survey to monitor other species. Abundance estimates are derived using conventional distance sampling analysis. Giant devil rays were observed mainly in the central-southern Adriatic (88% of total sightings). A total of 1595 giant devil rays were estimated in the central-southern Adriatic Sea [coefficient of variation(CV)=25%, uncorrected estimate for perception and availability bias]. When corrected for availability bias the number of specimens was estimated at 3255 (CV=56%). Population growth rate was estimated using life history traits and a sensitivity analysis was conducted to evaluate the benefit of improving biological knowledge on this data-poor species. A power analysis showed that a long-term commitment to an aerial survey would be necessary to monitor population trends. Conservation implications and future work, including how the study could be used to conduct an ecological risk assessment are discussed.La manta raya gigante (Mobula mobular) es una especie endémica protegida poco conocida de la región del Atlántico oriental-Mediterráneo. Sin embargo hasta la fecha no hay acciones de gestión que cubran todo su rango. Este artículo proporciona la primera visión de conjunto de la distribución y abundancia estival de esta especie y otras Myliobatiformes en el mar Adriático basada en un censo aéreo. Aunque los objetivos principales del censo eran cetáceos y tortugas marinas, el estudio mostró que era posible usar el censo para monitorizar otras especies. Las estimas de abundancia se derivaron utilizando análisis convencional de muestreo de distancias. Las manta rayas gigantes se observaron principalmente en el Adriático central y sur (88% de los avistamientos totales). Se estimaron un total de 1595 mantas rayas gigantes en el mar Adriático central-sur (CV=25%, estima no corregida para los sesgos de percepción y de disponibilidad). Cuando se corrigió para el sesgo de disponibilidad el número de especímenes se estimó en 3255 (CV=56%). La tasa de crecimiento de la población se estimó usando aspectos de la historia natural y se realizó un análisis de sensibilidad para evaluar el beneficio de mejorar el conocimiento biológico de esta especie de la que hay tan pocos datos. Un análisis de potencia mostró que sería necesario un compromiso a largo plazo para realizar censos aéreos para monitorizar las tendencias de la población. Se discuten las implicaciones para la conservación y trabajo futuro, incluyendo cómo se podría utilizar este estudio para llevar a cabo una evaluación ecológica de riesgo
Prehospital Administration of Unfractionated Heparin in ST-Segment Elevation Myocardial Infarction Is Associated With Improved Long-Term Survival
An imbalance in progenitor cell populations reflects tumour progression in breast cancer primary culture models
Many factors influence breast cancer progression, including the ability of progenitor cells to sustain or increase net tumour cell numbers. Our aim was to define whether alterations in putative progenitor populations could predict clinicopathological factors of prognostic importance for cancer progression.Journal ArticleResearch Support, Non-U.S. Gov'tinfo:eu-repo/semantics/publishe
Performing statistical analyses on quantitative data in Taverna workflows: an example using R and maxdBrowse to identify differentially-expressed genes from microarray data.
BACKGROUND: There has been a dramatic increase in the amount of quantitative data derived from the measurement of changes at different levels of biological complexity during the post-genomic era. However, there are a number of issues associated with the use of computational tools employed for the analysis of such data. For example, computational tools such as R and MATLAB require prior knowledge of their programming languages in order to implement statistical analyses on data. Combining two or more tools in an analysis may also be problematic since data may have to be manually copied and pasted between separate user interfaces for each tool. Furthermore, this transfer of data may require a reconciliation step in order for there to be interoperability between computational tools. RESULTS: Developments in the Taverna workflow system have enabled pipelines to be constructed and enacted for generic and ad hoc analyses of quantitative data. Here, we present an example of such a workflow involving the statistical identification of differentially-expressed genes from microarray data followed by the annotation of their relationships to cellular processes. This workflow makes use of customised maxdBrowse web services, a system that allows Taverna to query and retrieve gene expression data from the maxdLoad2 microarray database. These data are then analysed by R to identify differentially-expressed genes using the Taverna RShell processor which has been developed for invoking this tool when it has been deployed as a service using the RServe library. In addition, the workflow uses Beanshell scripts to reconcile mismatches of data between services as well as to implement a form of user interaction for selecting subsets of microarray data for analysis as part of the workflow execution. A new plugin system in the Taverna software architecture is demonstrated by the use of renderers for displaying PDF files and CSV formatted data within the Taverna workbench. CONCLUSION: Taverna can be used by data analysis experts as a generic tool for composing ad hoc analyses of quantitative data by combining the use of scripts written in the R programming language with tools exposed as services in workflows. When these workflows are shared with colleagues and the wider scientific community, they provide an approach for other scientists wanting to use tools such as R without having to learn the corresponding programming language to analyse their own data.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are
Recommended from our members
Relevance for Economic and Biological Management Objectives of MSY-based Reference Points for Multispecies, Multifleet Fisheries: a North Sea Plaice and Sole Case Study
Maximum sustainable yield (MSY) has been recommended as a reference point for fisheries sustainability. However, like other reference points it is generally applied on a single-species basis. This has potentially significant biological implications in a complex multispecies fishery. MSY-based reference points also have economic implications for fisheries prosecuting the resource. To examine these issues, interactions between North Sea plaice (Pleuronectes platessa) and sole (Solea solea) stocks and two fishing fleets (northern and southern) will be modelled, incorporating changes in stock distribution, productivity and resilience. Fleet- and species-specific implications of a range of management objectives, including MSY, for fishery sustainability and profitability will be examined
Exploring C semantics and pointer provenance
The semantics of pointers and memory objects in C has been a vexed question for many years. C values cannot be treated as either purely abstract or purely concrete entities: the language exposes their representations, but compiler optimisations rely on analyses that reason about provenance and initialisation status, not just runtime representations. The ISO WG14 standard leaves much of this unclear, and in some respects differs with de facto standard usage - which itself is difficult to investigate.
In this paper we explore the possible source-language semantics for memory objects and pointers, in ISO C and in C as it is used and implemented in practice, focussing especially on pointer provenance. We aim to, as far as possible, reconcile the ISO C standard, mainstream compiler behaviour, and the semantics relied on by the corpus of existing C code. We present two coherent proposals, tracking provenance via integers and not; both address many design questions. We highlight some pros and cons and open questions, and illustrate the discussion with a library of test cases. We make our semantics executable as a test oracle, integrating it with the Cerberus semantics for much of the rest of C, which we have made substantially more complete and robust, and equipped with a web-interface GUI. This allows us to experimentally assess our proposals on those test cases. To assess their viability with respect to larger bodies of C code, we analyse the changes required and the resulting behaviour for a port of FreeBSD to CHERI, a research architecture supporting hardware capabilities, which (roughly speaking) traps on the memory safety violations which our proposals deem undefined behaviour. We also develop a new runtime instrumentation tool to detect possible provenance violations in normal C code, and apply it to some of the SPEC benchmarks. We compare our proposal with a source-language variant of the twin-allocation LLVM semantics proposal of Lee et al. Finally, we describe ongoing interactions with WG14, exploring how our proposals could be incorporated into the ISO standard
Learning ‘social responsibility’ in the workplace: conjuring, unsettling, and folding boundaries
This article proceeds from the argument that while the discourse of social responsibility (SR) is increasingly evident in pedagogies circulating through the workplace, its actual practices tend to be obscured beneath complex tensions and moral precepts presented as self-evident. Through an examination of individuals’ learning of SR in the workplace contexts of small enterprise, this discussion asks: How can we consider social responsibility in work, and the project of learning social responsibility in and for work, in more flexible ways that account for its complex enactments in pluralist contexts? The article explores dynamics of responsibility as both response and identity within literature on social responsibility in the workplace, and examines the process of learning SR as a matter of negotiating boundaries to enact response and identity. Drawing from findings of a qualitative study of 25 small enterprise owners engaging a process of learning SR practice, the article explores what are argued to be their boundary practices of conjuring, unsettling and folding boundaries as they developed viable locations and relations of social responsibility in their unique situations
Leading indicators of fiscal distress: evidence from extreme bounds analysis
Early warning systems (EWSs) are widely used to assess a country’s vulnerability to fiscal distress. A fiscal distress episode is identified as a period when government experiences extreme funding difficulties. Most EWSs employ a specific set of only fiscal leading indicators predetermined by the researchers, which casts doubt on their robustness. We revisit this issue using extreme bounds analysis, which allows identifying robust leading indicators of fiscal distress from a large set. A robust leading indicator’s effect does not strongly depend on the model specification. Consistent with the theoretical predictions of latest generation crisis models, we find that both fiscal and non-fiscal leading indicators are robust. In addition, we find that a fiscal vulnerability indicator based on fiscal and non-fiscal leading indicators offers a 29% gain in predictive power compared to a traditional one based only on fiscal leading indicators. This suggests that both fiscal and non-fiscal leading indicators should be taken into account when assessing country’s vulnerability to fiscal distress
- …