A5050933117- Primate Behavior and Ecology
- Formal Methods in Verification
- Wildlife Ecology and Conservation
- Olfactory and Sensory Function Studies
- Animal Vocal Communication and Behavior
- Software Testing and Debugging Techniques
- Embedded Systems Design Techniques
- Model-Driven Software Engineering Techniques
- Human-Animal Interaction Studies
- Amphibian and Reptile Biology
- Pesticide and Herbicide Environmental Studies
- Photosynthetic Processes and Mechanisms
- Botanical Research and Chemistry
- Entomological Studies and Ecology
- Orthoptera Research and Taxonomy
- Genetic Associations and Epidemiology
- Allelopathy and phytotoxic interactions
- Asthma and respiratory diseases
- Logic, programming, and type systems
- Pharmaceutical Practices and Patient Outcomes
- Digital Imaging for Blood Diseases
- Genetics and Plant Breeding
- COVID-19 diagnosis using AI
- Turtle Biology and Conservation
- Plant Growth Enhancement Techniques
University of Mysore
2014-2024
Ramakrishna Mission Vivekananda Educational and Research Institute
2024
Wildlife Information Liaison Development
2020-2024
Indian Institute of Technology Kharagpur
2004-2016
Indian Institute of Science Bangalore
2011
Aim: In this study, the goal was to asses Drug utilization evaluation, WHO core indicators, monitoring patient’s response therapy of coronary artery disease. Study Design: Sapthagiri institute medical sciences, Bangalore. Place and Duration Study: Sample: Department Cardiology Institute Medical Sciences (SIMS), From (June 2024- Nov 2024) Chikkasandra, Hesaraghatta Road Methodology: We conducted prospective cross-sectional study for 6 months which includes patients who were diagnosed with...
Anthropogenic pressure and climate change are the main issues of environmental degradation, posing significant challenges to sustainable landscape [1,2]. These recognized as major global risks with long-lasting consequences [3]. Landscape management is an integrated approach that may be helpful address these by combining policies practices degradation promote land use planning [4]. This plays important role in achieving livelihoods integrating multiple objectives such ecological, economic...
In the absence of information on species in decline with contracting ranges, management should emphasize remaining populations and protection their habitats. Threatened by anthropogenic pressure including habitat degradation loss, sloth bears (Melursus ursinus) India have become limited range, habitat, population size. We identified ecological determinants occurrence within an occupancy framework to evaluate suitability non-protected regions (with bears) northeastern Karnataka, India....
Alpha-1 antitrypsin deficiency (AATD) is an autosomal co-dominant condition that predisposes to emphysema, cirrhosis, panniculitis, and vasculitis. Underrecognition has prompted efforts enhance early detection testing of at-risk individuals. Direct-to-consumer (DTC) genetic represents additional method detection.
The authors declare no conflicts of interest. dataset and the supplemental video (Mohan et al., 2023) are available in Figshare at https://doi.org/10.6084/m9.figshare.24076530.v1. Appendix S1. Please note: publisher is not responsible for content or functionality any supporting information supplied by authors. Any queries (other than missing content) should be directed to corresponding author article.
Existing models of attachment do not explain how death offspring affects maternal behavior. Previous descriptions responsiveness to dead in nonhuman anthropoids have expounded the wide variation deceased-infant carrying (DIC) Through current study, we attempt (a) identify determinants DIC through a systematic survey across anthropoids, (b) quantitatively assess behavioral changes mother during DIC, and (c) infer perception conspecifics. Firstly, performed phylogenetic regression using...
In this paper, we present methods for automatic test generation from formal specifications. These are used to create intelligent benches that able cover corner case behaviors in much less time. We have developed a prototype tool within the layered bench architecture proposed RVM. results on verification IPs of standard bus protocols show effectiveness our approach.
Design intent coverage is a formal methodology for analyzing the gap between architectural specification of design and functional specifications component RTL blocks design. In this article we extend to hybrid containing both state-machines properties. We demonstrate benefits extension in two domains considerable recent interest, namely (a) use auxiliary specifications, (b) modest sized analysis.
Formal property verification is increasingly being adopted by designers for module level validation. The behavior of a typically expressed in terms the behavioral guarantee under assumptions on its environment. Expressing such assume-guarantee properties correctly formal language nontrivial task and errors specification are not uncommon. In this paper we examine main forms open systems, present SAT based algorithms verifying against errors.
Abstract Rapid urbanization exerts novel adaptive pressures on animals at the interface of natural and altered environments. Urban often rely synthetic foods that require skilled extraction flexible processing. We studied how treatment an embedded food, peanut, determined its processing across groups bonnet macaques ( Macaca radiata ) differing in encounter familiarity with peanut. The possibility application methods to similar was also tested. found encounter- form...
It is essential to formally ascertain whether the RTL validation effort effectively guarantees correctness with respect design's architectural intent. The intent can be expressed in formal properties. However, due capacity limitation of verification, these architectural-properties cannot directly verified on RTL. As a result, set lower level RTL-properties are developed and against In this paper we present: (1) method for checking covering architectural-properties, that is, verifying...
<em>The Bulletin of the Ecological Society America</em> is official record business America, publishing non-refereed articles that cover ecological events, news and reports.
Background: Mungbean is a warm-season crop and its ability to grow quickly, allowing adaptation multiple cropping systems rotations. Principal component analysis (PCA) cluster are the useful tool explain diversity among genotypes, identification of superior genotypes characters forfuture breeding programs. Methods: The experiment was conducted at Agricultural Experimental Farm, (AEM), Division Genetics Plant Breeding, RKMVERI, Narendrapur, West Bengal, for summer, 2021 2022 in randomized...
In this article we propose a point-of-care screening device for the detection and identification of malaria parasite, plasmodium vivax, malaria, oval falciparum with time frame 15-20 minute. our can provide 97-98% sensitivity each species as are using traditional staining methods detecting parasites. addition, also quantifying parasites, it is possible to an accurate estimate about malarial stage patient. The image processing approach increases total numbers samples screened by reducing...
The design of a large chip is typically hierarchical - modules are recursively expanded into collection sub-modules. Each expansion refines the due to addition level specific details. We believe that similar approach necessary scale capacity formal property verification technology as gets refined from one another, specification must also be reflect decisions. At heart this we propose checker identifies input assumptions under which "covers" original specification. This enables validation...
Adaptive pressures of human-induced rapid environmental changes and insular ecological conditions have led to behavioral innovations among behaviorally flexible nonhuman primates. Documenting long-term responses threatened populations is vital for our understanding species location-specific adaptive capacities under fluctuating equilibrium. The Nicobar Long-tailed Macaque Macaca fascicularis umbrosus, an sub-species uses coconuts Cocos nucifera, embedded cultivar as a food resource...