A formal framework for modelling and analysing mobile systems

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.

Phosphorylation and membrane dissociation of the ARF exchange factor GBF1 in mitosis

Secretory protein trafficking is arrested and the Golgi apparatus fragmented when mammalian cells enter mitosis. These changes are thought to facilitate cell cycle progression and Golgi inheritance, and are brought about through the actions of mitotically active protein kinases. To better understand how the Golgi apparatus undergoes mitotic fragmentation we have sought to identify novel Golgi targets for mitotic kinases. We report here the identification of the ARF exchange factor GBF1 as a Golgi phosphoprotein. GBF1 is phosphorylated by CDK1-cyclin B in mitosis, which results in its dissociation from Golgi membranes. Consistent with a reduced level of GBF1 activity at the Golgi membrane there is a reduction in levels of membrane-associated GTP-bound ARF in mitotic cells. Despite the reduced levels of membrane bound GBF1 and ARF, COPI binding to the Golgi membrane appears unaffected in mitotic cells. Surprisingly, this pool of COPI is dependent upon GBF1 for its recruitment to the membrane, suggesting a low level of GBF1 activity persists in mitosis. We propose that the phosphorylation and membrane dissociation of GBF1 and the consequent reduction in ARF-GTP levels in mitosis are important for changes in Golgi dynamics and possibly other mitotic events mediated through effectors other than the COPI vesicle coat.

Review and Outlooks of the Means for Visualization of Syntax Semantics and Source Code. Procedural and Object Oriented Paradigm – Differences

In the article, we have reviewed the means for visualization of syntax, semantics and source code for programming languages which support procedural and/or object-oriented paradigm. It is examined how the structure of the source code of the structural and object-oriented programming styles has influenced different approaches for their teaching. We maintain a thesis valid for the object-oriented programming paradigm, which claims that the activities for design and programming of classes are done by the same specialist, and the training of this specialist should include design as well as programming skills and knowledge for modeling of abstract data structures. We put the question how a high level of abstraction in the object-oriented paradigm should be presented in simple model in the design stage, so the complexity in the programming stage stay low and be easily learnable. We give answer to this question, by building models using the UML notation, as we take a concrete example from the teaching practice including programming techniques for inheritance and polymorphism.

Lichenometric dating (lichenometry) and the biology of the lichen genus rhizocarpon:challenges and future directions

Lichenometric dating (lichenometry) involves the use of lichen measurements to estimate the age of exposure of various substrata. Because of low radial growth rates and considerable longevity, species of the crustose lichen genus Rhizocarpon have been the most useful in lichenometry. The primary assumption of lichenometry is that colonization, growth and mortality of Rhizocarpon are similar on surfaces of known and unknown age so that the largest thalli present on the respective faces are of comparable age. This review describes the current state of knowledge regarding the biology of Rhizocarpon and considers two main questions: (1) to what extent does existing knowledge support this assumption; and (2) what further biological observations would be useful both to test its validity and to improve the accuracy of lichenometric dates? A review of the Rhizocarpon literature identified gaps in knowledge regarding early development, the growth rate/size curve, mortality, regeneration, competitive effects, colonization, and succession on rock surfaces. The data suggest that these processes may not be comparable on different rock surfaces, especially in regions where growth rates and thallus turnover are high. In addition, several variables could differ between rock surfaces and influence maximum thallus size, including rate and timing of colonization, radial growth rates, environmental differences, thallus fusion, allelopathy, thallus mortality, colonization and competition. Comparative measurements of these variables on surfaces of known and unknown age may help to determine whether the basic assumptions of lichenometry are valid. Ultimately, it may be possible to take these differences into account when interpreting estimated dates.

Monitoring of Tree Island Condition in the Southern Everglades: Hydrologic Driven Decadal Changes in Tree Island Woody Vegetation Structure and Composition: 2012 Annual Report

This report examines the interaction between hydrology and vegetation over a 10-year period, between 2001/02 and 2012 within six permanent tree island plots located on three tree islands, two plots each per tree island, established in 2001/02, along a hydrologic and productivity gradient. We hypothesize that: (H1) hydrologic differences within plots between census dates will result in marked differences in a) tree and sapling densities, b) tree basal area, and c) forest structure, i.e., canopy volume and height, and (H2) tree island growth, development, and succession is dependent on hydrologic fluxes, particularly during periods of prolonged droughts or below average hydroperiods.

What is social innovation? The paradigm shift and its relationship with Social Work

Innovation is a fundamental part of social work. In recent years there has been a shift in the innovation paradigm, making it easier to accept this relationship. National and supranational policies aimed at promoting innovation appear to be specifically guided by this idea. To be able to affirm this hypothesis, it is necessary to review the perception that social workers have of their duties. It is also useful to examine particular cases that show how such social innovation arises.

Past, present and future of epigenetics applied to livestock breeding

This article reviews the concept of Lamarckian inheritance and the use of the term epigenetics in the field of animal genetics. Epigenetics was first coined by Conrad Hal Waddington (1905–1975), who derived the term from the Aristotelian word epigenesis. There exists some controversy around the word epigenetics and its broad definition. It includes any modification of the expression of genes due to factors other than mutation in the DNA sequence. This involves DNA methylation, post-translational modification of histones, but also linked to regulation of gene expression by non-coding RNAs, genome instabilities or any other force that could modify a phenotype. There is little evidence of the existence of transgenerational epigenetic inheritance in mammals, which may commonly be confounded with environmental forces acting simultaneously on an individual, her developing fetus and the germ cell lines of the latter, although it could have an important role in the cellular energetic status of cells. Finally, we review some of the scarce literature on the use of epigenetics in animal breeding programs.

Responding to an ageing workforce in an Australian state

Many industrialised nations have changing demographic profiles, as increased longevity and decreased birth rates lead to an ageing population. This presents significant challenges for workforces, as older employees retire and there are insufficient numbers of younger employees to take their place. This leads to skills shortages, and strong competition for those who are available. This paper considers these issues in the context of Queensland, the third largest state of Australia. The Queensland Government is addressing the issues for all industries in the state, primarily through a Skills Plan and an Experience Pays Awareness Strategy. As the largest employer in the state, the Queensland Government has commenced implementing the Experience Pays Awareness Strategy within its own workforce. The approach touches on many facets of HRM. The HRM policy framework and tools are examined for their potential to support increased participation of older employees. A range of issues are addressed for older workers, including their competence and health and safety issues. Issues for managers include addressing myths and subtle discrimination against older workers, as well as managing cross-generational workforce. Other strategies and methods are targeted at cultural factors, such as the expectations of older workers, and the myths and discrimination against older workers. Yet other strategies are aimed at organisational issues such retention of knowledge and succession planning.

Luna Language Report

Luna is an object-oriented language. It does not, as do many other object-oriented languages, have a conventional procedural language as a base. It is strongly typed and modular. The elegance of Luna is that it is entirely reference based, there are no static objects. Luna is similar to Oberon in that inheritance and subtyping is based on type extension.

Security metrics for object-oriented designs

Several studies have developed metrics for software quality attributes of object-oriented designs such as reusability and functionality. However, metrics which measure the quality attribute of information security have received little attention. Moreover, existing security metrics measure either the system from a high level (i.e. the whole system’s level) or from a low level (i.e. the program code’s level). These approaches make it hard and expensive to discover and fix vulnerabilities caused by software design errors. In this work, we focus on the design of an object-oriented application and define a number of information security metrics derivable from a program’s design artifacts. These metrics allow software designers to discover and fix security vulnerabilities at an early stage, and help compare the potential security of various alternative designs. In particular, we present security metrics based on composition, coupling, extensibility, inheritance, and the design size of a given object-oriented, multi-class program from the point of view of potential information flow.

Quality metrics for assessing security-critical computer programs

Existing secure software development principles tend to focus on coding vulnerabilities, such as buffer or integer overflows, that apply to individual program statements, or issues associated with the run-time environment, such as component isolation. Here we instead consider software security from the perspective of potential information flow through a program’s object-oriented module structure. In particular, we define a set of quantifiable "security metrics" which allow programmers to quickly and easily assess the overall security of a given source code program or object-oriented design. Although measuring quality attributes of object-oriented programs for properties such as maintainability and performance has been well-covered in the literature, metrics which measure the quality of information security have received little attention. Moreover, existing securityrelevant metrics assess a system either at a very high level, i.e., the whole system, or at a fine level of granularity, i.e., with respect to individual statements. These approaches make it hard and expensive to recognise a secure system from an early stage of development. Instead, our security metrics are based on well-established compositional properties of object-oriented programs (i.e., data encapsulation, cohesion, coupling, composition, extensibility, inheritance and design size), combined with data flow analysis principles that trace potential information flow between high- and low-security system variables. We first define a set of metrics to assess the security quality of a given object-oriented system based on its design artifacts, allowing defects to be detected at an early stage of development. We then extend these metrics to produce a second set applicable to object-oriented program source code. The resulting metrics make it easy to compare the relative security of functionallyequivalent system designs or source code programs so that, for instance, the security of two different revisions of the same system can be compared directly. This capability is further used to study the impact of specific refactoring rules on system security more generally, at both the design and code levels. By measuring the relative security of various programs refactored using different rules, we thus provide guidelines for the safe application of refactoring steps to security-critical programs. Finally, to make it easy and efficient to measure a system design or program’s security, we have also developed a stand-alone software tool which automatically analyses and measures the security of UML designs and Java program code. The tool’s capabilities are demonstrated by applying it to a number of security-critical system designs and Java programs. Notably, the validity of the metrics is demonstrated empirically through measurements that confirm our expectation that program security typically improves as bugs are fixed, but worsens as new functionality is added.

A possible role for mitochondrial dysfunction in migraine

Migraine is a common neurological disorder characterised by debilitating head pain and an assortment of additional symptoms which can include nausea, emesis, photophobia, phonophobia and occasionally visual sensory disturbances. Migraine is a complex disease caused by an interplay between predisposing genetic variants and environmental factors. It affects approximately 12 % of studied Caucasian populations with affected individuals being predominantly female. Genes involved in neurological, vascular or hormonal pathways have all been implicated in predisposition towards developing migraine. All of these are nuclear encoded genes, but given the role of mitochondria in a number of neurological disorders and in energy production it is possible that mitochondrial variants may play a role in the pathogenesis of this disease. Mitochondrial DNA has been a useful tool for studying population genetics and human genetic diseases due to the clear inheritance shown through successive generations. Given the clear gender bias found in migraine patients it may be important to investigate X-linked inheritance and mitochondrial-related variants in this disorder. This paper explores the possibility that mitochondrial DNA changes may play a role in migraine. Few variants in the mitochondrial genome have so far been investigated in migraine and new studies should be aimed towards investigating the role of mitochondrial DNA in this common disorder.

Novel Insights into the Molecular Genetic Background of Colorectal Tumors

Many of the genes predisposing to highly penetrant colorectal cancer (CRC) syndromes, including hereditary non-polyposis colorectal cancer (MLH1, MSH2, MSH6, PMS2), familial adenomatous polyposis (APC), Peutz-Jeghers syndrome (LKB1), juvenile polyposis (SMAD4, BMPR1A), MYH-associated polyposis (MYH), and Cowden syndrome (PTEN) have already been discovered. Identification of these genes has allowed a more precise classification of the hereditary CRC syndromes and provided a means for predictive genetic testing and surveillance. Some of the genes are also involved in sporadic cancer forms, and therefore the investigation of the rare CRC syndromes has been a breakthrough for general cancer research. Despite the accumulating knowledge on hereditary cancer syndromes, a significant number of familial CRCs remain molecularly unexplained after genetic testing, reflecting the possibility of other predisposing genes or existence of novel syndromes. Moreover, genetic variants conferring low-penetrance risk are still largely unknown. In this study, we examined the role of some new high- and low-penetrance alleles on CRC predisposition. We identified disease causing MYH mutations in a subset (9%) of patients with APC and AXIN2 mutation negative adenomatous polyposis. Due to differences in the pattern of inheritance and clinical manifestation, screening for mutations in MYH is beneficial in view of genetic counselling and surveillance. A novel functionally deficient MYH founder mutation A459D was identified in the Finnish population, and this finding had immediate clinical implications for genetic counselling of at risk families. Many patients with hamartomatous polyposis remain without molecular diagnosis due to atypical phenotypes. We therefore sought to classify 49 patients with unexplained hamartomatous or hyperplastic/mixed polyposis by extensive molecular analyses of PTEN, LKB1, BMPR1A, SMAD4, ENG, BRAF, MYH, and BHD along with revision of polyp histology. Mutations were identified in 11/49 (22%) of the patients. In 6 cases the molecular diagnosis was re-classified guiding surveillance and decisions for prophylactic surgery. Re-evaluation of polyp histology with subsequent more accurate selection of candidate gene analyses is beneficial and can be recommended for patients with unexplained polyposis. Furthermore, germline mutations in ENG underlying juvenile polyposis were described for the first time, characterizing a possible novel genetically defined form of hereditary CRC. Association analyses on two putative low-penetrance alleles, NOD2 3020insC and MDM2 SNP309 were performed in a population-based series of 1042 Finnish CRC patients and in cancer-free controls. In contrast to previous results, NOD2 3020insC did not associate with CRC or age at disease onset in the Finnish population. These data suggest that NOD2 3020insC alone might not be sufficient for CRC predisposition. MDM2 SNP309 was as common in the CRC cohort as in the healthy controls. Interesting trends, however, were observed, which after correction for multiple testing did not reach statistical significance. SNP309 was more common in female CRC patients and a trend towards an earlier age at disease onset was observed in women with SNP309. Subsequent studies have supported this observation and SNP309 could affect gender- or hormone-related tumorigenesis. Finally, a large-scale unbiased effort was designed to characterize the complete mutatome of CRC with microsatellite instability (MSI). Using an approach combining expression microarray and genome database searches, we were able to identify putative MSI target genes. Further characterization of one of the genes suggested that it might play a role also in microsatellite stable CRC and Peutz-Jeghers syndrome pathogenesis.

Environmental Mechanics Research in China

By recalling mankind's path during past 50 years in the present article, we mainly highlight the significance of environmental issues today. In particular, two major factors leading to environment deterioration in China such as water resources and coal burning are stressed on. Present-day environmental issues are obviously interdisciplinary, of multiple scales and multi-composition in nature. Therefore, a process-based approach for environment research is absolutely necessarily. A series of sub-processes, either physical, chemical or biological, are subsequently analyzed in order to established reasonable parameterization scheme and credible comprehensive model. And we are now in a position to answer questions still open to us, improve existing somewhat empirical engineering approaches and enhance quantitative accuracy in prediction. To illustrate this process-based research approach, three typical examples associated with the Yangtze River Estuary, Loess Plateau and Tenggeli Desert environments have been dealt with respectively. A theoretical model of vertical flow field accounting for runoff and tide interaction has been established to delineate salinity and sediment motion which are responsible for the formation of mouth bar at the outlet and the ecological evolution there. A kinematic wave theory combined with the revised Green-Ampt infiltration formula is applied to the prediction of runoff generation and erosion in three types of erosion region on the Loess Plateau. Three approaches describing water motion in SPAC system in arid areas at different levels have been improved by introducing vegetation sub-models. However, we have found that the formation of a dry sandy layer and biological crust skin are additional primary causes leading to deterioration of water supply and succession of ecological system.

The influence of global warming on freshwater plankton communities in Britain

The likely response of freshwater plankton to the direct and indirect effects of sustained global warming are summarized. The increase in CO2 posited by climatologists will have a direct effect on many biological processes, and an even more important indirect effect on the global climate. Lake plankton populations are relatively well buffered against sudden fluctuations in temperature but can react in unexpected ways to seasonal changes in the wind speed, with effects on seasonal growth and succession of plankton. The direct