Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
30 Research products, page 1 of 3

  • Other research products
  • 2018-2022
  • IN
  • English

10
arrow_drop_down
Relevance
arrow_drop_down
  • Open Access English
    Authors: 
    Singh, Salam Herojeet; Kumar, Prabodh; Ramachandra, Nallur B; Nongthomba, Upendra;
    Publisher: INDIAN ACAD SCIENCES
    Country: India
  • Other research product . Other ORP type . 2018
    Open Access English
    Authors: 
    Malik, Viktor; Martiček, Štefan; Schrammel, Peter; Srivas, Mandayam; Vojnar, Tomáš; Wahlang, Johanan;
    Publisher: Springer
    Country: United Kingdom

    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.

  • Other research product . 2019
    Open Access English
    Authors: 
    Padmanaban, G;
    Publisher: INDIAN ACAD SCIENCES
    Country: India
  • Open Access English
    Authors: 
    Roy, Mithun; Chakravarthi, Balabhadrapatruni V S K; Jayabaskaran, Chelliah; Karande, Anjali A; Chakravarty, Akhil R;
    Publisher: ROYAL SOC CHEMISTRY
    Country: India

    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.

  • Open Access English
    Authors: 
    Gadgil, Sulochana; Francis, PA; Vinayachandran, PN;
    Publisher: INDIAN ACAD SCIENCES
    Country: India
  • Open Access English
    Authors: 
    Arunan, E;
    Publisher: SPRINGER
    Country: India
  • Other research product . Other ORP type . 2018
    Open Access English
    Authors: 
    Rituparna, Chaki; Cortesi, Agostino; Khalid, Saeed; Chaki, Nabendu;
    Publisher: Springer Nature
    Country: Italy
  • Open Access English
    Authors: 
    Ashokan, Ajith; Gowda, Vinita;
    Publisher: Pensoft Publishers

    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.

  • Open Access English
    Authors: 
    Le Menn, Marc; Poli, Paul; David, Arnaud; Sagot, Jérôme; Lucas, Marc; O'Carroll, Anne; Belbeoch, Mathieu; Herklotz, Kai;

    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)

  • Other research product . Other ORP type . 2019
    Open Access English
    Authors: 
    Chaki, R.; Saeed, K.; Cortesi, A.; Chaki, N.;
    Publisher: Springer Verlag
    Country: Italy
Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
30 Research products, page 1 of 3
  • Open Access English
    Authors: 
    Singh, Salam Herojeet; Kumar, Prabodh; Ramachandra, Nallur B; Nongthomba, Upendra;
    Publisher: INDIAN ACAD SCIENCES
    Country: India
  • Other research product . Other ORP type . 2018
    Open Access English
    Authors: 
    Malik, Viktor; Martiček, Štefan; Schrammel, Peter; Srivas, Mandayam; Vojnar, Tomáš; Wahlang, Johanan;
    Publisher: Springer
    Country: United Kingdom

    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.

  • Other research product . 2019
    Open Access English
    Authors: 
    Padmanaban, G;
    Publisher: INDIAN ACAD SCIENCES
    Country: India
  • Open Access English
    Authors: 
    Roy, Mithun; Chakravarthi, Balabhadrapatruni V S K; Jayabaskaran, Chelliah; Karande, Anjali A; Chakravarty, Akhil R;
    Publisher: ROYAL SOC CHEMISTRY
    Country: India

    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.

  • Open Access English
    Authors: 
    Gadgil, Sulochana; Francis, PA; Vinayachandran, PN;
    Publisher: INDIAN ACAD SCIENCES
    Country: India
  • Open Access English
    Authors: 
    Arunan, E;
    Publisher: SPRINGER
    Country: India
  • Other research product . Other ORP type . 2018
    Open Access English
    Authors: 
    Rituparna, Chaki; Cortesi, Agostino; Khalid, Saeed; Chaki, Nabendu;
    Publisher: Springer Nature
    Country: Italy
  • Open Access English
    Authors: 
    Ashokan, Ajith; Gowda, Vinita;
    Publisher: Pensoft Publishers

    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.

  • Open Access English
    Authors: 
    Le Menn, Marc; Poli, Paul; David, Arnaud; Sagot, Jérôme; Lucas, Marc; O'Carroll, Anne; Belbeoch, Mathieu; Herklotz, Kai;

    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)

  • Other research product . Other ORP type . 2019
    Open Access English
    Authors: 
    Chaki, R.; Saeed, K.; Cortesi, A.; Chaki, N.;
    Publisher: Springer Verlag
    Country: Italy
Send a message
How can we help?
We usually respond in a few hours.