GOPU BOOKS SANKLAN 61

GOPU BOOKS SANKLAN 61

Author: EDITORIAL BOARD

Publisher: V&S Publishers

Published: 2015-06-01

Total Pages: 10

ISBN-13: 9350575981

DOWNLOAD EBOOK

dgkuh % 1A1/2 v/kwjk lp 2A1/2 lkdkj gqvk liuk 3A1/2 fe=rk


GOPU BOOKS SANKLAN 58

GOPU BOOKS SANKLAN 58

Author: EDITORIAL BOARD

Publisher: V&S Publishers

Published: 2015-06-01

Total Pages: 10

ISBN-13: 9350575957

DOWNLOAD EBOOK

dgkuh % 1A1/2 eu dk cy 2A1/2 ek;k dk en 3A1/2 iSls rks nsrs tkvks


Transformer Condition Control

Transformer Condition Control

Author: Vasily Ya. Ushakov

Publisher: Springer Nature

Published: 2021-09-01

Total Pages: 150

ISBN-13: 3030831981

DOWNLOAD EBOOK

This book is devoted to one of the main problems of modern electrical power engineering—power transformer diagnostics. The first three chapters discuss the fundamentals: The first chapter presents the physical reasons for power transformers’ failures and the technical and economic consequences of disruption of the normal operation. The second chapter reviews the standard technologies for monitoring the state of the high-voltage transformers. The third chapter tells about monitoring the condition of transformer windings based on the pulse method. The fourth chapter presents the technologies for transformer windings condition controlled by means of nanosecond pulses. The stages of improving the pulsed method based on a short probing pulse of the nanosecond range, the results of experiments on identifying the radial and axial displacements of the winding, studies of the effect of the duration and shape of the probing pulse on the sensitivity of the diagnostic procedure, and the stages of developing a mathematical as well as physical model of a power transformer are consistently presented.


Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Author: Dirk Beyer

Publisher: Springer Nature

Published: 2020-01-14

Total Pages: 484

ISBN-13: 3030393224

DOWNLOAD EBOOK

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.


Markov Chains and Stochastic Stability

Markov Chains and Stochastic Stability

Author: Sean Meyn

Publisher: Cambridge University Press

Published: 2009-04-02

Total Pages: 623

ISBN-13: 0521731828

DOWNLOAD EBOOK

New up-to-date edition of this influential classic on Markov chains in general state spaces. Proofs are rigorous and concise, the range of applications is broad and knowledgeable, and key ideas are accessible to practitioners with limited mathematical background. New commentary by Sean Meyn, including updated references, reflects developments since 1996.


ECAI 2020

ECAI 2020

Author: G. De Giacomo

Publisher: IOS Press

Published: 2020-09-11

Total Pages: 3122

ISBN-13: 164368101X

DOWNLOAD EBOOK

This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.


Electrical Machines & Drives

Electrical Machines & Drives

Author: P. Hammond

Publisher: Elsevier

Published: 2013-10-22

Total Pages: 369

ISBN-13: 148329336X

DOWNLOAD EBOOK

Containing approximately 200 problems (100 worked), the text covers a wide range of topics concerning electrical machines, placing particular emphasis upon electrical-machine drive applications. The theory is concisely reviewed and focuses on features common to all machine types. The problems are arranged in order of increasing levels of complexity and discussions of the solutions are included where appropriate to illustrate the engineering implications. This second edition includes an important new chapter on mathematical and computer simulation of machine systems and revised discussions of unbalanced operation, permanent-magnet machines and universal motors. New worked examples and tutorial problems have also been added.


Computational Models of Argument

Computational Models of Argument

Author: H. Prakken

Publisher: IOS Press

Published: 2020-09-25

Total Pages: 498

ISBN-13: 1643681079

DOWNLOAD EBOOK

The investigation of computational models of argument is a rich and fascinating interdisciplinary research field with two ultimate aims: the theoretical goal of understanding argumentation as a cognitive phenomenon by modeling it in computer programs, and the practical goal of supporting the development of computer-based systems able to engage in argumentation-related activities with human users or among themselves. The biennial International Conferences on Computational Models of Argument (COMMA) provide a dedicated forum for the presentation and discussion of the latest advancements in the field, and cover both basic research and innovative applications. This book presents the proceedings of COMMA 2020. Due to the Covid-19 pandemic, COMMA 2020 was held as an online event on the originally scheduled dates of 8 -11 September 2020, organised by the University of Perugia, Italy. The book includes 28 full papers and 13 short papers selected from a total of 78 submissions, the abstracts of 3 invited talks and 13 demonstration abstracts. The interdisciplinary nature of the field is reflected, and contributions cover both theory and practice. Theoretical contributions include new formal models, the study of formal or computational properties of models, designs for implemented systems and experimental research. Practical papers include applications to medicine, law and criminal investigation, chatbots and online product reviews. The argument-mining trend from previous COMMA’s is continued, while an emerging trend this year is the use of argumentation for explainable AI. The book provided an overview of the latest work on computational models of argument, and will be of interest to all those working in the field.


Bharata Sindhu Rashmi

Bharata Sindhu Rashmi

Author: ವಿನಾಯಕ ಕೃಷ್ಣ ಗೋಕಾಕ

Publisher:

Published: 1992

Total Pages: 214

ISBN-13:

DOWNLOAD EBOOK

Poem on Indian civilization, with reference to the coalescence of Aryan and Dravidian traditions.