3,272 research outputs found
Stochastic Processes as Concurrent Constraint Programs (Extended Abstract)
No full text) Vineet Gupta Radha Jagadeesan Prakash Panangaden y [email protected] [email protected] [email protected] Caelum Research Corporation Dept. of Math. and Computer Sciences School of Computer Science NASA Ames Research Center Loyola University--Lake Shore Campus McGill University Moffett Field CA 94035, USA Chicago IL 60626, USA Montreal, Quebec, Canada Abstract This paper describes a stochastic concurrent constraint language for the description and programming of concurrent probabilistic systems. The language can be viewed both as a calculus for describing and reasoning about stochastic processes and as an executable language for simulating stochastic processes. In this language programs encode probability distributions over (potentially infinite) sets of objects. We illustrate the subtleties that arise from the interaction of constraints, random choice and recursion. We describe operational semantics of these programs (programs are run by sampling random choices), deno..
Stochastic processes as concurrent constraint programs
No full text) Vineet Gupta Radha Jagadeesan Prakash Panangaden y [email protected] [email protected] [email protected] Caelum Research Corporation Dept. of Math. and Computer Sciences School of Computer Science NASA Ames Research Center Loyola University--Lake Shore Campus McGill University Moffett Field CA 94035, USA Chicago IL 60626, USA Montreal, Quebec, Canada Abstract This paper describes a stochastic concurrent constraint language for the description and programming of concurrent probabilistic systems. The language can be viewed both as a calculus for describing and reasoning about stochastic processes and as an executable language for simulating stochastic processes. In this language programs encode probability distributions over (potentially infinite) sets of objects. We illustrate the subtleties that arise from the interaction of constraints, random choice and recursion. We describe operational semantics of these programs (programs are run by sampling random choices), deno..
Hybrid cc, Hybrid Automata and Program Verification (Extended Abstract)
No full text) Vineet Gupta ? Radha Jagadeesan ?? Vijay Saraswat ? 1 Introduction Synchronous programming. Discrete event driven systems [HP85,Ber89,Hal93] are systems that react with their environment at a rate controlled by the environment. Such systems can be quite complex, so for modular development and re-use considerations, a model of a composite system should be built up from models of the components compositionally. From a programming language standpoint, this modularity concern is addressed by the analysis underlying synchronous languages [BB91,Hal93,BG92,HCP91,GBGM91,Har87,CLM91,SJG95], (adapted to dense discrete domains in [BBG93]): -- Logical concurrency/parallelism plays a role in determinate reactive system programming analogous to the role of procedural abstraction in sequential programming --- the role of matching program structure to the structure of the solution to the problem at hand. -- Preemption --- the ability to stop a process in its tracks --- is a fundamental progr..
Gaṇitānanda: selected works of Radha Charan Gupta on history of mathematics
No full textThis book includes 58 selected articles that highlight the major contributions of Professor Radha Charan Gupta—a doyen of history of mathematics—written on a variety of important topics pertaining to mathematics and astronomy in India. It is divided into ten parts. Part I presents three articles offering an overview of Professor Gupta’s oeuvre. The four articles in Part II convey the importance of studies in the history of mathematics. Parts III–VII constituting 33 articles, feature a number of articles on a variety of topics, such as geometry, trigonometry, algebra, combinatorics and spherical trigonometry, which not only reveal the breadth and depth of Professor Gupta’s work, but also highlight his deep commitment to the promotion of studies in the history of mathematics. The ten articles of part VIII, present interesting bibliographical sketches of a few veteran historians of mathematics and astronomy in India. Part IX examines the dissemination of mathematical knowledge across different civilisations. The last part presents an up-to-date bibliography of Gupta’s work. It also includes a tribute to him in Sanskrit composed in eight verses
Should India Use Commercially Produced Ready To Use Therapeutic Foods (RUTF) For Severe Acute Malnutrition (SAM) ?
No full textGlobally, nearly 20 million children under five suffer from Severe Acute Malnutrition (SAM), a condition which contributes to one million child deaths annually. In India 48% of children under five years of age are stunted and 43 percent are underweight; almost 8 million suffer from SAM. Malnutrition is not a new problem in India, nor is SAM. Several hospitals and non-government organizations are engaged in community-based management of malnutrition using locally produced/procured and locally processed foods along with intensive nutrition education. These programs enable parents to meet the nutritional requirements of their children with foods that are available at low cost. The Supreme Court of India has also directed the government to universalize the Integrated Child Development Scheme and provide one hot cooked meal to children under six years of age to supplement their nutrition. The blame for the increasing number of severely malnourish children can be laid at the door of policies that have destroyed poor people’s access to food. Nonetheless, there is urgent need to ensure that these children do not die; that they recover and maintain a healthy nutritional status. The current thinking – that a centrally produced and processed Ready-to-Use Therapeutic Food (RUTF) should supplant the locally prepared indigenous foods in treatment of SAM – ignores the multiple causes of malnutrition and destroys the diversity of potential solutions based on locally available foods. This position paper has been drafted by Dr. Vandana Prasad, Radha Holla and Dr. Arun Gupta, members of the Working Group for Children Under Six – a joint effort of Jan Swasthya Abhiyan (People’s Health Movement – India) and the Right to Food Campaign which been advocating for the last three years with the Indian government for decentralized and community-based strategies to combat and prevent malnutrition in children
Data for Gupta et al., "Estimating the Meridional Extent of Adiabatic Mixing in the Stratosphere using Age-of-Air", JGR:Atmospheres,
No full textModel data and post-processed data supporting the creation of the manuscript "Estimating the Meridional Extent of Adiabatic Mixing in the Stratosphere using Age-of-Air" submitted to JGR:Atmospheres in August 2022.
1) The netCDF files created through post-processing of full model data in FORTRAN are shared in the /data/ directory. These file contains the zonal mean circulation statistics based on Gupta et al. (2020), age-of-air transport diagnostics based on Linz et al. (2021), and the novel \Gamma-\Theta circulation streamfunction introduced in this study. The /data/ directory also contains MATLAB .mat data files for the transport diagnostics obtained from WACCM. 150 days of actual GFDL-FV3 model data in the northern hemisphere, between 0.1 hPa-500 hPa pressure levels is also provided to support external computations and validation.
2) The Jupyter notebook used for final computation and figures production is provided in .ipynb, .html and .pdf formats in /code/. All the files referred to in the notebook are stored in the /data/ directory.
Corresponding author : Aman Gupta, [email protected], [email protected], [email protected]
Corrigendum: Capital Inflows and House Prices: Aggregate and Regional Evidence from China
No full textIn the paper ‘Capital Inflows and House Prices: Aggregate and Regional Evidence from China’ by H. An, et al., printed in the December 2016 issue, there was a missing acknowledgement section for funding resources.
On page 451, the acknowledgement section should appear after the corresponding information as:
“Correspondence: Rakesh Gupta, Department of Accounting, Finance and Economics, Griffith Business School, Griffith University, Nathan Campus QLD 4111. [email protected]
*This work was financially supported by the Humanities and Social Science Foundation of Ministry of Education of China (16YJA790001).”
The author apologises for this error and any confusion it may have caused.No Full Tex
First person – Akash Gupta
No full textFirst Person is a series of interviews with the first authors of a selection of papers published in Biology Open, helping early-career researchers promote themselves alongside their papers. Akash Gupta is first author on ‘A novel and cost-effective ex vivo orthotopic model for the study of human breast cancer in mouse mammary gland organ culture’, published in BiO. Akash conducted the research described in this article while a PhD Scholar in Rajendra Mehta's lab at IIT Research Institute, Chicago, USA. He is now an assistant research scientist in the lab of Syreeta L. Tilghman at the University of Arizona, Department of Medicine, Tucson, USA, investigating drug efficacy modeling using human organoids culture for the treatment of cancers
- …
