Progress and challenges of crop production and electricity generation in agrivoltaic systems using semi-transparent photovoltaic technology
The world population and consequently the global need for food continue to grow. At the
same time, areas will be used to generate clean electricity to cope with climate change and …
same time, areas will be used to generate clean electricity to cope with climate change and …
[PDF][PDF] Three new estimates of India's all-cause excess mortality during the COVID-19 pandemic
A Anand, J Sandefur, A Subramanian - 2021 - poshancovid19.in
India lacks an authoritative estimate of the death toll from the COVID-19 pandemic. We
report excess mortality estimates from three different data sources from the pandemic’s start …
report excess mortality estimates from three different data sources from the pandemic’s start …
Weather forecasting model using artificial neural network
K Abhishek, MP Singh, S Ghosh, A Anand - Procedia Technology, 2012 - Elsevier
Weather forecasting has become an important field of research in the last few decades. In
most of the cases the researcher had attempted to establish a linear relationship between the …
most of the cases the researcher had attempted to establish a linear relationship between the …
Semantic labeling of 3d point clouds for indoor scenes
H Koppula, A Anand, T Joachims… - Advances in neural …, 2011 - proceedings.neurips.cc
Inexpensive RGB-D cameras that give an RGB image together with depth data have become
widely available. In this paper, we use this data to build 3D point clouds of full indoor …
widely available. In this paper, we use this data to build 3D point clouds of full indoor …
Contextually guided semantic labeling and search for three-dimensional point clouds
A Anand, HS Koppula, T Joachims… - … International Journal of …, 2013 - journals.sagepub.com
RGB-D cameras, which give an RGB image together with depths, are becoming increasingly
popular for robotic perception. In this paper, we address the task of detecting commonly …
popular for robotic perception. In this paper, we address the task of detecting commonly …
Review of hierarchical control strategies for DC microgrid
This work presents an extensive review of hierarchical control strategies that provide effective
and robust control for a DC microgrid. DC microgrid is an efficient, scalable and reliable …
and robust control for a DC microgrid. DC microgrid is an efficient, scalable and reliable …
A comprehensive study of research and development in concentrating solar cookers (CSCs): Design considerations, recent advancements, and economics
Cooking is known to be one of the most energy-intensive sectors, with an estimated energy
consumption of about 30–40% of global energy consumption, with a significant share in …
consumption of about 30–40% of global energy consumption, with a significant share in …
[PDF][PDF] CertiCoq: A verified compiler for Coq
A Anand, A Appel, G Morrisett… - The third international …, 2017 - cs.princeton.edu
CertiCoq is a mechanically verified, optimizing compiler for Coq that bridges the gap between
certified high-level programs and their translation to machine language. We outline its …
certified high-level programs and their translation to machine language. We outline its …
Document-level sentiment classification using hybrid machine learning approach
It is a practice that users or customers intend to share their comments or reviews about any
product in different social networking sites. An analyst usually processes to reviews properly …
product in different social networking sites. An analyst usually processes to reviews properly …
The MetaCoq Project
M Sozeau, A Anand, S Boulier, C Cohen… - Journal of automated …, 2020 - Springer
… It was also used by Anand and Morrisett [3] to formalize a modified parametricity translation,
and to extract Coq terms to a CBV \(\lambda \)-calculus [21]. All of these translations, …
and to extract Coq terms to a CBV \(\lambda \)-calculus [21]. All of these translations, …