Anupam Das – författare

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.

Academic Paper from the year 2020 in the subject Computer Science - Miscellaneous, grade: 10, Gauhati University (Gauhati University), language: English, abstract: This book will be useful for those who want to know and work on the topic Wireless LAN especially with energy consumption. The work is composed of the basics of WLAN and proposed three algorithms for efficiency analysis of energy consumption in IEEE 802.11 standards wireless LAN. The primary aim of this work is to enhance the energy conservation. This can be achieved by reducing the spending of energy in the network, i.e. in the considered WLAN. One algorithm is proposed in this study which is based on energy for the different needs of the network. In the proposed study, the movements of the wireless nodes yield in old routing-paths, due to the lack of route accumulation updating. For that, a new cross layer framework is implemented along with the proposed algorithm to improve route supply performance in AODV. Using simulation, the results found for the proposed algorithm and the results show that it achieves better performance than the existing methods.

Technical Report from the year 2015 in the subject Physics - Optics, grade: 1, , course: M.TECH, language: English, abstract: As the process of industrialisation evolves, more and more pollutants add to the environment and put the health of the living world at stake. So the necessity to design user-friendly, advanced systems to detect and control these contaminants with high accuracy, sensitivity and stability has gained prime importance. Several conventional instruments are still in use but they have many drawbacks. Optical biosensors can be a suitable alternative to overcome the limitations of the conventional techniques as they are capable of real-time, high frequency monitoring of the pollutants with high accuracy, sensitivity, selectivity and precision. This article discusses about the various types of bio receptors which react to the analytes and how different techniques can be employed for their accurate detection by analysing the interaction of the bio receptors with the contaminants. This article also puts to light the remarkable developments in the field of optical biosensors and bio-recognition elements and their applications in pollution control.

This book presents a comprehensive exploration of nanotechnological applications in the field of agricultural science, encompassing both fundamental and practical aspects. It delves into the history and basic concepts of nanotechnology, providing definitions and classifications of various types of nanomaterials, as well as discussing their unique properties. The book also covers the different methods of synthesizing nanomaterials, such as physical, chemical, and biological techniques. Moreover, it explains the characterization of nanomaterials through microscopic, spectroscopic, and other analytical methods. This book is designed to be a valuable resource for students pursuing degrees in Agricultural Sciences, including Horticulture, Veterinary Medicine, Animal Science, and Fisheries.

Part of the recognised Clinical Focus on Dermatology series, this book provides clinicians with the latest advances and knowledge in the treatment of acne.Covering different types of acne, the text covers pathogenesis, epidemiology and management options, as well as subsequent issues such as post-inflammatory pigmentation and scarring.The text discusses both conventional and newer topical drugs in depth, to help the clinicians choose and prescribe the most appropriate option for their patients.An extensive reference section is included for further reading.

The book provides an extensive examination of the fundamental and practical aspects of nanotechnology in the field of agricultural science. It presents a comprehensive overview of the history of nanotechnology, key concepts, definitions, and various types of nanomaterials, along with their unique properties. The book also covers the synthesis of nanomaterials through physical, chemical, and biological methods, as well as the characterization of these materials using microscopic, spectroscopic, and other techniques. This publication is an invaluable resource for students in Agricultural Sciences, including those studying Horticulture, Veterinary, Animal, and Fisheries.

This book presents original research on the theory of positive operators, alongside fixed-point theorems and their diverse applications. It introduces various positive operators and explores their approximation properties, including Korovkin-type theorems, Voronovskaja-type results, convergence rate, and other related findings. Additionally, the book addresses the existence of solutions for various differential and integral equations in different Banach spaces by using Darbo-type fixed-point theorems. This book also presents an interplay between positive operators and fixed-point theory. Each chapter is self-contained, addressing a current problem and outlining solutions and potential applications. The chapters provide sufficient background to ensure that new definitions and results can be understood independently.