Variations in atmospheric Carbon Dioxide and its association with rainfall and vegetation over India

In this paper we have studied variability and growth rate of surface observed atmospheric Carbon Dioxide (CO2) concentrations over Cape Rama, west coast of India and its association with rainfall and vegetation over this region. Cape Rama is a maritime site which experiences a seasonal reversal wind pattern receiving air masses having marine (continental) signatures during summer (winter) monsoon season. This study reveals that summer monsoon (JJAS) precipitation and monthly values of atmospheric CO2 concentration during the season are well correlated. Negative correlations are seen with CO2 concentrations of concurrent months of the season as well as subsequent months. However the magnitudes of correlation coefficients are decreased till hot pre-monsoon season (MAM). Annual cycle and interannual variability show negative relationship between CO2 concentration and vegetation over the region. CO2 concentration shows increasing trend and NDVI shows decreasing trend. However, the magnitude of increasing trend of CO2 concentration is higher. Amplitude of decreasing phase of vegetation is higher than the amplitude of increasing phase. Though the results show certain link between CO2 and climate variability, further examination with dense and longer data may be needed to confirm the result

Green information quality and green brand evaluation: the moderating effects of eco-label credibility and consumer knowledge

PurposeThis study aims to examine the effects of three green information quality dimensions &ndash; persuasiveness, completeness and credibility &ndash; on green brand evaluation and whether this is mediated by green brand credibility. It also examines the moderating effects of eco-label credibility and consumer knowledge on green information quality dimensions and green brand credibility relationships.&nbsp;&nbsp;Design/methodology/approachUsing a structured questionnaire on environmentally-friendly electrical goods/electronics, cosmetic and apparel product advertisements, involving an elaboration task, this study collected usable data from 1,282 Indian consumers across 50 cities. It also undertook an assessment for three different product groups using structural equation modelling to examine proposed hypotheses and assessed moderated mediation using the Hays process model.FindingsThe study indicates that: green brand credibility mediates the effects of green information quality dimensions on green brand evaluation; consumer knowledge moderates the effects of persuasiveness and completeness on green brand credibility and eco-label credibility moderates the effects of persuasiveness and credibility on green brand credibility.Research limitations/implications&nbsp;In green information processing, this study supports the relevance of the elaboration likelihood model and the mediation effect of green brand credibility. It also presents evidence that credible eco-labels enhance green information processing. While the results are broadly consistent across the three product categories, the results may only generalizable to the environmentally-aware urban populations.Practical implications&nbsp;Help brand managers to design advertisements that add brand credibility in environmentally-aware urban markets.Originality/valueIt helps to define green information quality and the interacting effects of eco-label credibility and consumer knowledge in green information processing.</div

Atmospheric CO2 source and sink patterns over the Indian region

In this paper we examine CO2 emission hot spots and sink regions over India as identified from global model simulations during the period 2000–2009. CO2 emission hot spots overlap with locations of densely clustered thermal power plants, coal mines and other industrial and urban centres; CO2 sink regions coincide with the locations of dense forest. Fossil fuel CO2 emissions are compared with two bottom-up inventories: the Regional Emission inventories in ASia (REAS v1.11; 2000–2009) and the Emission Database for Global Atmospheric Research (EDGAR v4.2) (2000–2009). Estimated fossil fuel emissions over the hot spot region are  ∼  500–950 gC m−2 yr−1 as obtained from the global model simulation, EDGAR v4.2 and REAS v1.11 emission inventory. Simulated total fluxes show increasing trends, from 1.39 ± 1.01 % yr−1 (19.8 ± 1.9 TgC yr−1) to 6.7 ± 0.54 % yr−1 (97 ± 12 TgC yr−1) over the hot spot regions and decreasing trends of −0.95 ± 1.51 % yr−1 (−1 ± 2 TgC yr−1) to −5.7 ± 2.89 % yr−1 (−2.3 ± 2 TgC yr−1) over the sink regions. Model-simulated terrestrial ecosystem fluxes show decreasing trends (increasing CO2 uptake) over the sink regions. Decreasing trends in terrestrial ecosystem fluxes imply that forest cover is increasing, which is consistent with India State of Forest Report (2009). Fossil fuel emissions show statistically significant increasing trends in all the data sets considered in this study. Estimated trend in simulated total fluxes over the Indian region is  ∼  4.72 ± 2.25 % yr−1 (25.6 TgC yr−1) which is slightly higher than global growth rate  ∼  3.1 % yr−1 during 2000–2010

Management of Fusarium Wilt using mycolytic enzymes produced by Trichoderma harzianum (Th. Azad)

The main aim of this study was to isolate the best chitinase and glucanase enzyme producing Trichoderma strain to manage the Fusarium wilt disease of Cicer aritenum under in vitro conditions. We also studied the effect of Trichoderma strains on the growth and development of C. aritenum plants. Seven strains of Trichoderma were screened against the Fusarium pathogen to isolate the best biocontrol agent causing maximum inhibition of Fusarium growth. Trichoderma harzianum (Th. Azad) was found to be the best strains among all the tested strains. Trichoderma treated plant exhibited the least disease incidence as compared to control plants. Trichoderma treated plant showed a significant stimulatory effect on all the tested eight parameters as compared to control.Key words: Trichoderma, antagonistic activity, chitinase, glucanase, Biocontrol agent, phytopathogenic fungi

Verified Compilation of CakeML to Multiple Machine-Code Targets

This paper describes how the latest CakeML compiler supports verified compilation down to multiple realistically modelled target architectures. In particular, we describe how the compiler definition, the various language semantics, and the correctness proofs were organised to minimize target-specific overhead. With our setup we have incorporated compilation to four 64-bit architectures, ARMv8, x86-64, MIPS-64, RISC-V, and one 32-bit architecture, ARMv6. Our correctness theorem allows interference from the environment: the top-level correctness statement takes into account execution of foreign code and per-instruction interference from external processes, such as interrupt handlers in operating systems. The entire CakeML development is formalised in the HOL4 theorem prover.Engineering and Physical Sciences Research Council (EPSRC); Swedish Research Counci

Verified Compilation of CakeML to Multiple Machine-Code Targets

This paper describes how the latest CakeML compiler supports verified compilation down to multiple realistically modelled target architectures. In particular, we describe how the compiler definition, the various language semantics, and the correctness proofs were organised to minimize target-specific overhead. With our setup we have incorporated compilation to four 64-bit architectures, ARMv8, x86-64, MIPS-64, RISC-V, and one 32-bit architecture, ARMv6. Our correctness theorem allows interference from the environment: the top-level correctness statement takes into account execution of foreign code and per-instruction interference from external processes, such as interrupt handlers in operating systems. The entire CakeML development is formalised in the HOL4 theorem prover.Engineering and Physical Sciences Research Council (EPSRC); Swedish Research Counci

HIV prevention programmes for female sex workers in Andhra Pradesh, India: outputs, cost and efficiency

BACKGROUND: Female sex workers and their clients play a prominent role in the HIV epidemic in India. Systematic data on the outputs, cost and efficiency for HIV prevention programmes for female sex workers in India are not readily available to understand programme functioning and guide efficient use of resources. METHODS: Detailed output and cost data for the 2002–2003 fiscal year were obtained using standardised methods at 15 HIV prevention programmes for female sex worker in the state of Andhra Pradesh in southern India. The services provided and their relation to the total and unit economic costs were analysed using regression techniques. The trends for the number of sex workers provided services by the programmes since inception up to fiscal year 2004–2005 were examined. RESULTS: The 15 programmes provided services to 33941 sex workers in fiscal year 2002–2003 (range 803–6379, median 1970). Of the total number of contacts with sex workers, 41.6% were by peer educators and 58.4% by other programme staff. The number of sex worker contacts in a year by peer educators varied 74-fold across programmes as compared with a 2.7-fold variation in sex worker contacts by other programme staff. The annual economic cost of providing services to a sex worker varied 6-fold between programmes from Indian Rupees (INR) 221.8 (US$4.58) to INR 1369 (US$ 28.29) with a median of INR 660.9 (US$13.66) and mean of INR 517.8 (US$ 10.70). Personnel salaries made up 34.7% of the total cost, and recurrent goods made up 38.4% of which 82.1% was for condoms. The cost per sex worker provided services had a significant inverse relation with the number of sex workers provided services by a programme (p < 0.001, R(2 )= 0.75; power function). There was no correlation between the full time equivalents of programme staff and the number of sex workers provided services by the programmes, but there was a modest inverse correlation between the number of sex workers served and the average time spent with each sex worker in the year adjusted for the full-time equivalents of programme staff (p = 0.011, R(2 )= 0.40; exponential function). The average number of sex workers provided services annually by the first batch of 7 programmes started in early 1999 plateaued after the fourth fiscal year to 3500, whereas the 8 second-batch programmes started in late 2000 reached an average of 2000 sex workers in 2004–2005 with an increasing trend up to this fourth fiscal year. CONCLUSION: The HIV prevention efforts in this Indian state would benefit from standardisation of the highly variable services provided by peer educators, who form an important part of the sex worker programmes. The cost per sex worker served decreases with increasing number of sex workers served annually, but this has to be weighed against an associated modest trend of decrease in time spent with each sex worker in some programmes

Rumour Veracity Estimation with Deep Learning for Twitter

Part 4: Security, Privacy, Ethics and MisinformationInternational audienceTwitter has become a fertile ground for rumours as information can propagate to too many people in very short time. Rumours can create panic in public and hence timely detection and blocking of rumour information is urgently required. We proposed and compare machine learning classifiers with a deep learning model using Recurrent Neural Networks for classification of tweets into rumour and non-rumour classes. A total thirteen features based on tweet text and user characteristics were given as input to machine learning classifiers. Deep learning model was trained and tested with textual features and five user characteristic features. The findings indicate that our models perform much better than machine learning based models

Certification of butyltins and phenyltins in marine sediment certified reference material by species-specific isotope-dilution mass spectrometric analysis using synthesized (118)Sn-enriched organotin compounds

A new marine sediment certified reference material, NMIJ CRM 7306-a, for butyltin and phenyltin analysis has been prepared and certified by the National Metrological Institute of Japan at the National Institute of Advanced Industrial Science and Technology (NMIJ/AIST). Candidate sediment material was collected at a bay near industrial activity in Japan. After air-drying, sieving, and mixing the material was sterilized with γ-ray irradiation. The material was re-mixed and packaged into 250 glass bottles (15 g each) and these were stored in a freezer at −30 °C. Certification was performed by use of three different types of species-specific isotope-dilution mass spectrometry (SSID–MS)—SSID–GC–ICP–MS, SSID–GC–MS, and SSID–LC–ICP–MS, with (118)Sn-enriched organotin compounds synthesized from (118)Sn-enriched metal used as a spike. The (118)Sn-enriched mono-butyltin (MBT), dibutyltin (DBT), and tributyltin (TBT) were synthesized as a mixture whereas the (118)Sn-enriched di-phenyltin (DPhT) and triphenyltin (TPhT) were synthesized individually. Four different extraction methods, mechanical shaking, ultrasonic, microwave-assisted, and pressurized liquid extraction, were adopted to avoid possible analytical bias caused by non-quantitative extraction and degradation or inter-conversion of analytes in sample preparations. Tropolone was used as chelating agent in all the extraction methods. Certified values are given for TBT 44±3 μg kg(−1) as Sn, DBT 51 ± 2 μg kg(−1) as Sn, MBT 67 ± 3 μg kg(−1) as Sn, TPhT 6.9 ± 1.2 μg kg(−1) as Sn, and DPhT 3.4 ± 1.2 μg kg(−1) as Sn. These levels are lower than in other sediment CRMs currently available for analysis of organotin compounds