Property-Based Testing - The ProTest Project

The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang

Troubled waters: an institutional analysis of ageing Dutch and American waterway infrastructure

Waterways are one of the oldest systems for the transportation of cargo and continue to play a vital role in the economies of some countries. Due to societal change, climate change and the ageing of assets, the conditions influencing the effective functioning of these systems seem to be changing. These changing conditions require measures to renew, adapt or renovate these waterway systems. However, measures with the sole aim of improving navigation conditions have encountered resistance, as the general public, and stakeholders in particular, value these waters in many more ways than navigation alone. Therefore, a more inclusive, integrated approach is required, rather than a sectoral one. Addressing these contemporary challenges requires a shift in the traditional waterway authorities' regimes. The aim of this study is to identify elements in the institutional setting where obstacles and opportunities for a more inclusive approach can be found. Two major waterway systems, the American and the Dutch, have been analyzed using the Institutional Analysis and Development framework to reveal those obstacles and opportunities. The results show that horizontal coordination and a low pay-off for an inclusive approach is particularly problematic. The American case also reveals a promising aspect – mandatory local co-funding for federal navigation projects acts as a stimulus for broad stakeholder involvement. Improving horizontal coordination and seizing opportunities for multifunctional development can open pathways to optimize the value of waterway systems for society

Maintaining and managing athletic identity among elite athletes

Researchers have studied athletic identity (AI) and explored the impact that having a strong AI can have on an athlete. Additionally, researchers have explored the maintenance of AI, but only among very specific athletic populations. Little is known about how different athletes manage their AI at various stages in their career (i.e., still competing versus retired). Therefore, the purpose of this study was to explore how both retired and non-retired elite athletes from a range of sports maintain and perpetuate their AI. Five male and eight female elite athletes were individually interviewed on two separate occasions. Participants were asked questions regarding their AI, their successes and failures in sport, and how their feelings of self-worth were related to their athletic achievements. An inductive data analysis process was used, and relevant themes were identified. It was also found that there are things athletes do, or that occur in their environment that maintain and perpetuate their AI. The current findings expand this body of literature by exploring the various strategies elite athletes use to support their AI.Los investigadores han estudiado la identidad atlética (AI) y han explorado el impacto que puede generar tener una AI fuerte en un atleta. Además, los investigadores han explorado el mantenimiento de la AI, pero sólo entre las poblaciones atléticas muy específicas. Poco se sabe acerca de cómo los diferentes atletas manejan su AI en varias etapas de su carrera (es decir, siguen compitiendo contra jubilados). Por lo tanto, el propósito de este estudio fue explorar cómo los atletas de elite jubilados y no retirados de una variedad de deportes mantienen y perpetúan su AI. Cinco atletas de élite masculinos y ocho femeninos fueron entrevistados individualmente en dos ocasiones. Se les preguntó a los participantes acerca de su AI, sus éxitos y fracasos en el deporte, y cómo sus sentimientos de autoestima estaban relacionados con sus logros atléticos. Se utilizó un proceso inductivo de análisis de datos y se identificaron temas relevantes. También se encontró que hay cosas que los atletas hacen, o que ocurren en su entorno que mantienen y perpetúan su AI. Los hallazgos actuales amplían este cuerpo de literatura explorando las diversas estrategias que los atletas de élite usan para apoyar su AI

Supply of Online Environmental Information to Unknown Demand : The Importance of Interpretation and Liability Related to a National Network of River Level Data

The research described here is supported by the award made by the RCUK Digital Economy programme to the dot.rural Digital Economy Hub; award reference: EP/G066051/1. It has been ethically considered within the University of Aberdeen's Framework for Research Ethics and Governance.Peer reviewedPublisher PD

Analysis of interference to cable television due to mobile usage in the Digital Dividend

The start of use of mobile applications in the 800 MHz band, which forms part of the ‘Digital Dividend’, will cause interference to TV signals under certain conditions. The new mobile applications (called LTE, Long Term Evolution) use frequencies also used in cable TV networks. This report examines how much interference may occur when providing digital television over cable networks

Deconjugation Kinetics of Glucuronidated Phase II Flavonoid Metabolites by B-glucuronidase from Neutrophils

Flavonoids are inactivated by phase II metabolism and occur in the body as glucuronides. Mammalian ß-glucuronidase released from neutrophils at inflammatory sites may be able to deconjugate and thus activate flavonoid glucuronides. We have studied deconjugation kinetics and pH optimum for four sources of ß-glucuronidase (human neutrophil, human recombinant, myeloid PLB-985 cells, Helix pomatia) with five flavonoid glucuronides (quercetin-3-glucuronide, quercetin-3'-glucuronide, quercetin-4'-glucuronide, quercetin-7-glucuronide, 3'-methylquercetin-3-glucuronide), 4-methylumbelliferyl-ß-D-glucuronide, and para-nitrophenol-glucuronide. All substrate-enzyme combinations tested exhibited first order kinetics. The optimum pH for hydrolysis was between 3.5-5, with appreciable hydrolysis activities up to pH 5.5. At pH 4, the Km ranged 44-fold from 22 µM for quercetin-4'-glucuronide with Helix pomatia ß-glucuronidase, to 981 µM for para-nitrophenol-glucuronide with recombinant ß-glucuronidase. Vmax (range: 0.735-24.012 µmol·min-1·unit-1 [1 unit is defined as the release of 1 µM 4-methylumbelliferyl-ß-D-glucuronide per min]) and the reaction rate constants at low substrate concentrations (k) (range: 0.002-0.062 min-1·(unit/L)-1 were similar for all substrates-enzyme combinations tested. In conclusion, we show that ß-glucuronidase from four different sources, including human neutrophils, is able to deconjugate flavonoid glucuronides and non-flavonoid substrates at fairly similar kinetic rates. At inflammatory sites in vivo the pH, neutrophil and flavonoid glucuronide concentrations seem favorable for deconjugation. However, it remains to be confirmed whether this is actually the case

Computer simulation of diffusion processes in tilt spatio-periodic potentials

Нещодавно було показано, що в істотно нерівноважних системах коефіцієнт дифузії може вести себе немонотонно з температурою. Одним із прикладів таких систем з аномальною температурної залежністю є рух броунівських часток в просторово-періодичних структурах. Метою статті було дослідження зміни температурної залежності дифузії в недодемпфованих системах з низьким коефіцієнтом тертя. В роботі методами комп'ютерного моделювання вивчено зміна коефіцієнта дифузії частинок в широкому діапазоні температур в нахилених просторово-періодичних потенціалах для різних значень коефіцієнта тертя. Показано, що дифузія досягає максимуму при певній величині зовнішньої сили. Її значення залежить від величини коефіцієнта тертя. Показано, що на відміну від звичайної залежності Аррениуса, в разі нахиленого періодичного потенціалу, максимальний коефіцієнт дифузії зростає, а не зменшується з пониженням температури експоненціальним чином. Встановлено, що така залежність характерна для всіх недодемпфованих систем. Показано, що для просторово-періодичних структур існує обмежена ділянка сил, в якому спостерігається зростання коефіцієнта дифузії зі зменшенням температури. Це область так званої температурно-аномальної дифузії (ТАД). Визначено ширина і положення області ТАД в залежності від коефіцієнта тертя γ і параметрів системи. Показано, що зі зменшенням γ, ширина області ТАД зменшується пропорційно γ. При цьому коефіцієнт дифузії в області ТАД, навпаки зростає ~γ. Отримані дані про температурно-аномальної дифузії мають важливе значення для різних областей фізики і техніки та відкривають перспективи створення новітніх технологій управління процесами дифузії.It was recently shown that in essentially nonequilibrium systems, the diffusion coefficient can behave nonmonotonically with temperature. One example of such systems with anomalous temperature dependence is the motion of Brownian particles in spatially periodic structures. The aim of the article was to study the change in the temperature dependence of diffusion in underdamped systems with a low coefficient of friction. In this paper, computer simulation methods are used to study the change in the diffusion coefficient of particles in a wide range of temperatures in oblique spatially periodic potentials for different values of the friction coefficient. It is shown that diffusion reaches a maximum at a certain external force. Its value depends on the coefficient of friction. It is shown that, in contrast to the usual Arrhenius dependence, in the case of an inclined periodic potential, the maximum diffusion coefficient increases while temperature is decreasing exponentially. It is established that such a dependence is common to all underdamped systems. It is shown that for spatially periodic structures there is a limited portion of forces in which an increase in the diffusion coefficient while decreasing temperature is observed. This is the area of the so-called temperature-anomalous diffusion (TAD). The width and position of the TAD region are determined depending on the friction coefficient γ and the system parameters. It has been shown that a decrease in γ, width TAD region decreases proportionally γ. In this case, the diffusion coefficient in the TAD region, on the contrary, increases ~γ. The data obtained on the temperature and the anomalous diffusion are important for various fields of physics and engineering, and opens new prospects for a diffusion process control technology

Embracing complexity in international forest governance: a way forward; Policy Brief

This Policy Brief summarizes the findings of a comprehensive assessment of scientific information about international forest governance carried out by an Expert Panel of over 30 of the world's leading scientists working in the areas of environmental governance and international forest law. It aims to provide policy and decision makers with essential knowledge and building blocks required for a more effective and inclusive governance of the world's forest