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

Advances in semantic representation for multiscale biosimulation: a case study in merging models

As a case-study of biosimulation model integration, we describe our experiences applying the SemSim methodology to integrate independently-developed, multiscale models of cardiac circulation. In particular, we have integrated the CircAdapt model (written by T. Arts for MATLAB) of an adapting vascular segment with a cardiovascular system model (written by M. Neal for JSim). We report on three results from the model integration experience. First, models should be explicit about simulations that occur on different time scales. Second, data structures and naming conventions used to represent model variables may not translate across simulation languages. Finally, identifying the dependencies among model variables is a non-trivial task. We claim that these challenges will appear whenever researchers attempt to integrate models from others, especially when those models are written in a procedural style (using MATLAB, Fortran, etc.) rather than a declarative format (as supported by languages like SBML, CellML or JSim’s MML)

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

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

Constructing habitus: promoting an international arts trend at the Singapore Arts Festival

The Singapore Arts Festival (SAF) is Singapore’s largest government-supported international arts festival. SAF presents the best in international and local arts, in an attempt, to develop what it perceives to be a lack of cultural knowledge of the Singaporean arts-going public. Using Pierre Bourdieu’s key concept of ‘habitus’ together with an analysis of the programming of the festival, this paper will highlight how the festival seeks to create a specific cultural taste in Singaporean art-goers through privileging and promoting works that are internationally marketable to European countries. The paper will conclude that this programming style occurs at the expense of Singaporean artists and hinders the development of the city’s state cultural and artistic development

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

DARIS : a low-frequency distributed aperture array for radio astronomy in space

The frequency band below 30 MHz is one of the last unexplored bands in radio astronomy. This band is well suited for studying the early cosmos at high hydrogen redshifts, the so-called dark ages, extragalactic surveys, (extra) solar planetary bursts, and high energy particle physics. In addition, space research such as space weather tomography, are also areas of scientific interest. \ud \ud Due to ionospheric scintillation (below 30MHz) and its opaqueness (below 15MHz), earth-bound radio astronomy observations in these bands are either severely limited in sensitivity and spatial resolution or entirely impossible. A radio telescope in space obviously would not be hampered by the Earth's ionosphere. In the past, several (limited) studies have been conducted to explore possibilities for such an array in space. These studies considered aperture synthesis arrays in space, at the back-side of the Moon, or a satellite constellation operating in a coherent mode. \u