-
Article
Thermal Baking, Induration and Physical Volcanic Features in Deccan Volcanic Units and Their Suitability for Excavation, Sculpturing as well as Restoration of Geoheritage Sites in Western India
Deccan volcanic units cover vast region in west-central India and host some of the monumental geoheritage sites. These basalt units are not suitable either for excavation or sculpturing, because of inherent co...
-
Chapter and Conference Paper
Brief Announcement: Byzantine-Tolerant Detection of Causality in Synchronous Systems
It was recently proved that the causality or the happens before relation between events in an asynchronous distributed system cannot be detected in the presence of Byzantine processes [Misra and Kshemkalyani, ...
-
Chapter and Conference Paper
Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety
Causal ordering is an important building block for distributed software systems. It was recently proved that it is impossible to provide causal ordering – liveness and strong safety – using a deterministic non...
-
Chapter
Compacted Snow Dune Complexes in Antarctica and their Applicability as New Climate Change and Basement Tectonic Parameters
Compacted snow dunes were described for the first time as long stripes by pilots flying over eastern Antarctica. With the availability of satellite imagery, the interest has increased manifolds. Later Syntheti...
-
Chapter and Conference Paper
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems
Causal ordering in an asynchronous setting is a fundamental paradigm for collaborative software systems. Previous work in the area concentrates on ordering messages in a faultless setting and on ordering broad...
-
Article
High-altitude meteorology of Indian Himalayan Region: complexities, effects, and resolutions
The Himalaya, by virtue of its location and stupendous height, acts as a great climatic divide and regulates meteorological conditions in the subcontinent regions of South Asia. However, the associated complex...
-
Chapter and Conference Paper
The Bloom Clock to Characterize Causality in Distributed Systems
Determining the causality between events in distributed executions is a fundamental problem. Vector clocks solve this problem but do not scale well. The probabilistic Bloom filter data structure can be used as...
-
Chapter and Conference Paper
The Bloom Clock for Causality Testing
Testing for causality between events in distributed executions is a fundamental problem. Vector clocks solve this problem but do not scale well. The probabilistic Bloom clock can determine causality between ev...
-
Article
Geomorphological and geological suitability for inter-basin transfer of water by linking river basins in Maharashtra