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

Книжковий фонд Відділу стародруків та рідкісних видань Національної бібліотеки України імені В.І. Вернадського як джерельна база історичних досліджень

This paper is a "statement" for the March special issue of JEAPM on "Impact Assessment Research: Achievements, Gaps and Future Directions"

A Suzuki Coupling Based Route to 2,2'-Bis(2-indenyl)biphenyl Derivatives

Because of the promising performance in olefin polymerization of 2,2'-bis(2-indenyldiyl)biphenyl zirconium dichloride, we developed a new and broadly applicable route to 2,2'-bis(2-indenyl)biphenyl derivatives. Reaction of the known 2,2'-diiodobiphenyl with the new 2-indenyl boronic acid did not result in the desired 2,2'-bis(2-indenyl)biphenyl (10); instead an isomer thereof, (spiro-1,1-(2,2'-biphenyl)-2-(2-indenyl)indane), was obtained. It was found that compound 10 could be made via a palladium-catalyzed reaction of 2,2-biphenyldiboronic acid with 2-bromoindene under standard Suzuki reaction conditions. However, the yield of this reaction was low at low palladium catalyst loadings, due to a competitive hydrolysis reaction of 2,2-biphenyldiboronic acid. HTE techniques were used to find an economically viable protocol. Thus, use of the commercially available 1.0 molar solution of (n-Bu)4NOH in methanol with cosolvent toluene led to precipitation of the pure product in a fast and clean reaction, using only 0.7 mol % (0.35 mol % per C-C) of the expensive palladium catalyst.

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

A novel ICK mutation causes ciliary disruption and lethal endocrine-cerebro-osteodysplasia syndrome

BACKGROUND: Endocrine-cerebro-osteodysplasia (ECO) syndrome [MIM:612651] caused by a recessive mutation (p.R272Q) in Intestinal cell kinase (ICK) shows significant clinical overlap with ciliary disorders. Similarities are strongest between ECO syndrome, the Majewski and Mohr-Majewski short-rib thoracic dysplasia (SRTD) with polydactyly syndromes, and hydrolethalus syndrome. In this study, we present a novel homozygous ICK mutation in a fetus with ECO syndrome and compare the effect of this mutation with the previously reported ICK variant on ciliogenesis and cilium morphology. RESULTS: Through homozygosity mapping and whole-exome sequencing, we identified a second variant (c.358G \u3e T; p.G120C) in ICK in a Turkish fetus presenting with ECO syndrome. In vitro studies of wild-type and mutant mRFP-ICK (p.G120C and p.R272Q) revealed that, in contrast to the wild-type protein that localizes along the ciliary axoneme and/or is present in the ciliary base, mutant proteins rather enrich in the ciliary tip. In addition, immunocytochemistry revealed a decreased number of cilia in ICK p.R272Q-affected cells. CONCLUSIONS: Through identification of a novel ICK mutation, we confirm that disruption of ICK causes ECO syndrome, which clinically overlaps with the spectrum of ciliopathies. Expression of ICK-mutated proteins result in an abnormal ciliary localization compared to wild-type protein. Primary fibroblasts derived from an individual with ECO syndrome display ciliogenesis defects. In aggregate, our findings are consistent with recent reports that show that ICK regulates ciliary biology in vitro and in mice, confirming that ECO syndrome is a severe ciliopathy

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

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

RELEASE: A High-level Paradigm for Reliable Large-scale Server Software

Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months. The project aim is to scale the Erlang’s radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines. Currently Erlang has inherently scalable computation and reliability models, but in practice scalability is constrained by aspects of the language and virtual machine. We are working at three levels to address these challenges: evolving the Erlang virtual machine so that it can work effectively on large scale multicore systems; evolving the language to Scalable Distributed (SD) Erlang; developing a scalable Erlang infrastructure to integrate multiple, heterogeneous clusters. We are also developing state of the art tools that allow programmers to understand the behaviour of massively parallel SD Erlang programs. We will demonstrate the effectiveness of the RELEASE approach using demonstrators and two large case studies on a Blue Gene