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

Mid-term clinical results of chronic cavitary long bone osteomyelitis treatment using S53P4 bioactive glass:A multi-center study

Introduction: Chronic osteomyelitis is a challenging condition in the orthopedic practice and traditionally treated using local and systemic antibiotics in a two-stage surgical procedure. With the introduction of the antimicrobial biomaterial S53P4 bioactive glass (Bonalive®), chronic osteomyelitis can be treated in a one-stage procedure. This study evaluated the mid-term clinical results of patients treated with S53P4 bioactive glass for long bone chronic osteomyelitis. Methods: In this prospective multi-center study, patients from two different university medical centers in the Netherlands were included. One-stage treatment consisted of debridement surgery, implantation of S53P4 bioactive glass, and treatment with culture-based systemic antibiotics. If required, wound closure by a plastic surgeon was performed. The primary outcome was the eradication of infection, and a secondary statistical analysis was performed on probable risk factors for treatment failure. Results: In total, 78 patients with chronic cavitary long bone osteomyelitis were included. Follow-up was at least 12 months (mean 46; standard deviation, SD, 20), and 69 patients were treated in a one-stage procedure. Overall infection eradication was 85 %, and 1-year infection-free survival was 89 %. Primary closure versus local/muscular flap coverage is the only risk factor for treatment failure. Conclusion: With 85 % eradication of infection, S53P4 bioactive glass is an effective biomaterial in the treatment of chronic osteomyelitis in a one-stage procedure. A major risk factor for treatment failure is the necessity for local/free muscle flap coverage. These results confirm earlier published data, and together with the fundamentally different antimicrobial pathways without antibiotic resistance, S53P4 bioactive glass is a recommendable biomaterial for chronic osteomyelitis treatment and might be beneficial over other biomaterials.</p

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

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

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

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

AC-KBO Revisited

Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In this paper we consider various definitions of AC-compatible Knuth-Bendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful version, and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results. An extension reflecting the recent proposal of subterm coefficients in standard Knuth-Bendix orders is also given. The various orders are compared on problems in termination and completion.Comment: 31 pages, To appear in Theory and Practice of Logic Programming (TPLP) special issue for the 12th International Symposium on Functional and Logic Programming (FLOPS 2014

Acceptability with general orderings

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but we apply these orderings directly to the logic program and not to the term-rewrite system obtained through some transformation. We define some variants of acceptability, based on general orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants. The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple orderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together. {\bf Keywords:} termination analysis, acceptability, orderings.Comment: To appear in "Computational Logic: From Logic Programming into the Future