• Other research productsclose
• 2018-2022close
• IN close
• English close

2LS is a C program analyser built upon the CPROVER infrastructure. 2LS is bit-precise and it can verify and refute program assertions and termination. 2LS implements template-based synthesis techniques, e.g. to find invariants and ranking functions, and incremental loop unwinding techniques to find counterexamples and $k$-induction proofs. New features in this year's version are improved handling of \ud heap-allocated data structures using a template domain for shape analysis and two approaches to prove program non-termination.

During the course of revising the manuscript, the authors inadvertently selected an incorrect image for Fig. 9c (1 + Fe2+). This image was mistakenly duplicated from Fig. 9e during preparation of the figures. The correction to the image in Fig. 9c does not affect the conclusions of the paper. The corrected Fig. 9 is shown here. The text, the figure legends, and the conclusions of this article are not affected by this correction. The authors apologize for any inconvenience that these errors in final figure revision/preparation may have caused. (Figure Presented). The Royal Society of Chemistry apologises for these errors and any consequent inconvenience to authors and readers.

The authors introduce the term facultative vivipary for the first time in gingers and elaborate on this reproductive strategy. Four new observations of facultative vivipary are reported in the genus Hedychium which were discovered during botanical explorations by the authors in Northeast India (NE India) over the past three years. The viviparous taxa are H. marginatum C.B.Clarke, H. speciosum var. gardnerianum (Ker Gawl.) Sanoj & M.Sabu (previously, H. gardnerianum Sheppard ex Ker Gawl.), H. thyrsiforme Buch.-Ham. ex Sm. and H. urophyllum G.Lodd. The authors also attempt to summarise the occurrence of vivipary in the family Zingiberaceae from published reports and to clarify a taxonomic misidentification in a previously known report of vivipary in Hedychium elatum.

This paper presents the conception and the metrological characterization of a new surface drifting buoy, designed to comply with the requirements of satellite sea-surface temperature (SST) measurement validation and to link, per comparison, these measurements to the SI. The reliability of this comparison is ensured by a High Resolution Sea-Surface Temperature (HRSST) sensor associated with a pressure sensor in a module called MoSens. This module can be calibrated in a laboratory to ensure traceability to the SI with an expanded uncertainty inferior to 0.01◦C. This paper estimates the response time of the HRSST sensor based on theoretical considerations and compares the results with measurements carried out in a calibration bath. Once integrated in a number of buoys, the resulting network will contribute to create a fiducial reference measurement (FRM) network. The pressure sensor can be used as an indicator of the sea-state, which is important to consider in order to understand the comparison with satellite data. Two buoy prototypes have been tested at sea during several weeks and compared in situ to reference thermometers, demonstrating their reliability and the trueness of temperature measurements. Refereed 14.A Sea surface temperature TRL 7 System prototyping demonstration in an operational environment (ground or space) Manual (incl. handbook, guide, cookbook etc)