Bücher veröffentlicht von Springer Verlag, Singapore

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

This book features selected papers presented at the 4th International Conference on Recent Innovations in Computing (ICRIC 2021), held on June 8¿9, 2021 by Eötvös Loránd University (ELTE), Budapest, Hungary in association with many Universities; WSG Poland, Knowledge University, ERBIL. The book is divided into two volumes, and it includes the latest research in the areas of software engineering, cloud computing, computer networks and Internet technologies, artificial intelligence, information security, database and distributed computing, and digital India.

This edited book collects papers with perspectives from scholars and practitioners in Asia, Australia, and Europe to reveal the pros and cons, chances and challenges, constraints, and potential risks that educators and learners are facing as the new paradigm for communication and learning takes place, with a view to shedding light on the global education climate in the midst of the pandemic. Since the onset of the global pandemic, education has been revolutionized in almost every aspect. The emergency precautionary measures which were once supposed to be temporary school arrangements only have now become the new normal, reshaping our understanding of learning environments, redefining the pedagogic standards in terms of teaching practices, learning designs, teacher¿student interaction, feedback, and assessment. Online teaching, distanced learning, flipped classrooms, and self-paced e-learning have all played an increasingly vital role in shaping a new education culture in various education settings, affecting school management, teachers, students, and parents alike. While ICT in education, alongside new media, has provided ample benefits and convenience for educators and students, communication and virtual lessons conducted in the socially distanced classroom appear to have brought issues such as the digital divide, e-mental health, insufficient technical support, inefficient classroom management, reduced interaction between teachers and students, not to mention the growing concerns over privacy and security.

This book develops a discursive ¿equalitarian¿ theoretical framework for studying African mining ecosystem issues and policy interventions. The theory of ¿equalitarianism¿ is developed as an alternative to the reductionist approach that has dominated post-colonial debates about the classical jus ad bellum requirements to empower women in development spaces. However, the classical approach narrows the debate down to ¿women issues,¿ rather than the ¿whole-of-society.¿ As a consequence of this reductionism, women continue to be devalued in the mining sector, characterized by poverty traps, power struggles, and a lack of capacity to engage in large-scale mining (LSM) activities. This book advances principles for a holistic approach, and spells out the implications for women across the mining value chain. Drawing on moral scholarship, the book poses that for women to gain access to strategic spaces in the mining sector, the drive for empowerment must be embedded within ¿whole-of-society¿ principles. This book is of interest to scholars researching gender policy, public policy, political philosophy, conflictology, and human geography. It also offers practitioners a guide for evaluating their policy work on mainstreaming gender in the mining sector, presenting options for financing, forging partnership and planning for an inclusive economic development in Africa, and beyond.

This book introduces readers to a range of jamming principles and techniques for new radars, combining a wealth of theoretical analyses, test data, calculations, and charts. With rapid advances in military radar technology, new types of radar are constantly emerging. Therefore, there is an urgent need to carry out effective research on these new radars and to develop corresponding jamming techniques.The main topics covered include development of radar and radar countermeasures; jamming techniques for synthetic aperture radar; jamming techniques for pulse compression radar; jamming techniques for pulse Doppler radar; general jamming techniques for various radars; analysis and calculation of the effective jamming suppression zone and jamming exposure zone for radars installed on different platforms; jamming techniques for phased array radar; jamming techniques for dual (multiple) static radar; and solutions for high equivalent radiation power, high reception sensitivity, and transceiver isolation in jammer design.

This book comprehensively presents the concepts of neutron physics and imaging including neutron properties, neutron matter interaction, neutron imaging, comparison with X-ray and physics and design of neutron sources. It discusses how neutron imaging has gained importance as a powerful non-destructive technique to understand the internal structures of materials/engineered components in wide range of industries by increasing their applicability and efficiency. The book also covers the topics of neutron optics and detectors, basic principles of neutron radiography and tomography, related standards, safety, metrology and regulations in neutron imaging. The book presents applications of neutron imaging in the areas of aerospace industry, nuclear power and manufacturing industry, materials science and engineering, geomechanics, national security, biological, and medical domain. Given its scope, the book will be highly beneficial for postgraduate students, researchers and industry professionals working in the area of engineering and physics, especially non-destructive testing and non-destructive evaluation through neutron imaging.

This book collects all the latest technologies with their implications on the global rice cultivation. It discusses all aspects of rice production and puts together the latest trends and best practices in the rice production. Rice is produced and consumed worldwide and especially an important crop for Asia. It is a staple food in majority of population living is this continent which distinguishes this from rest of the world. Climatic fluctuations, elevated concentrations of carbon dioxide, enhanced temperature have created extreme weather conditions for rice cultivation. Also, increasing pest attacks make situation complicated for the farmers. Therefore, rice production technology also has to be adjusted accordingly. This book is of interest to teachers, researchers, plant biotechnologists, pathologists, agronomists, soil scientists, food technologists from different part of the globe. Also, the book serves as additional reading material for students of agriculture, soil science, and environmental sciences. National and international agricultural scientists, policy makers will also find this to be a useful read