A new permanently instrumented radiometric calibration site for high/medium resolution imaging satellites in the visible/near-IR has been set up in Gobabeb, Namibia in July 2017. The station location has been decided after a global analysis of satellite data assessing surface spatial homogeneity, cloud coverage, temporal variability, atmospheric turbidity etc. which has been compared with insitu data (surface reflectance, BRDF etc.) from a field campaign which took place in late 2015. The instrumentation automatically measures atmospheric (aerosol optical thickness etc.) and surface conditions (BRDF) from 414 nm to 1600 nm in 12 narrow spectral bands. The data processing is performed at CNES and includes the calibration of the photometer itself using in-situ measurements, and the simulation of the top-of-atmosphere radiance seen by any optical sensor over-passing the site, thus calibrating the sensor. This paper describes the instrument location, measurement protocol, calibration principle and calibration results of satellites Sentinel2A and Sentine12B.

MOTIVATION: Fluorescent and luminescent reporter gene systems in combination with automated microplate readers allow real-time monitoring of gene expression on the population level at high precision and sampling density. This generates large amounts of data for the analysis of which computer tools are missing to date. RESULTS: We have developed WellReader, a MATLAB program for the analysis of fluorescent and luminescent reporter gene data. WellReader allows the user to load the output files of microplate readers, remove outliers, correct for background effects and smooth and fit the data. Moreover, it computes biologically relevant quantities from the measured signals, notably promoter activities and protein concentrations, and compares the resulting expression profiles of different genes under different conditions. AVAILABILITY: WellReader is available under a LGPL licence at http://prabi1.inrialpes.fr/trac/wellreader.

BACKGROUND: The study of biological networks has led to the development of increasingly large and detailed models. Computer tools are essential for the simulation of the dynamical behavior of the networks from the model. However, as the size of the models grows, it becomes infeasible to manually verify the predictions against experimental data or identify interesting features in a large number of simulation traces. Formal verification based on temporal logic and model checking provides promising methods to automate and scale the analysis of the models. However, a framework that tightly integrates modeling and simulation tools with model checkers is currently missing, on both the conceptual and the implementational level. RESULTS: We have developed a generic and modular web service, based on a service-oriented architecture, for integrating the modeling and formal verification of genetic regulatory networks. The architecture has been implemented in the context of the qualitative modeling and simulation tool GNA and the model checkers NUSMV and CADP. GNA has been extended with a verification module for the specification and checking of biological properties. The verification module also allows the display and visual inspection of the verification results. CONCLUSIONS: The practical use of the proposed web service is illustrated by means of a scenario involving the analysis of a qualitative model of the carbon starvation response in E. coli. The service-oriented architecture allows modelers to define the model and proceed with the specification and formal verification of the biological properties by means of a unified graphical user interface. This guarantees a transparent access to formal verification technology for modelers of genetic regulatory networks.

UNLABELLED: SYCAMORE is a browser-based application that facilitates construction, simulation and analysis of kinetic models in systems biology. Thus, it allows e.g. database supported modelling, basic model checking and the estimation of unknown kinetic parameters based on protein structures. In addition, it offers some guidance in order to allow non-expert users to perform basic computational modelling tasks. AVAILABILITY: SYCAMORE is freely available for academic use at http://sycamore.eml.org. Commercial users may acquire a license. CONTACT: [email protected].