GOPU BOOKS SANKLAN 42

GOPU BOOKS SANKLAN 42

Author: EDITORIAL BOARD

Publisher: V&S Publishers

Published: 2015-06-01

Total Pages: 10

ISBN-13: 9350575817

DOWNLOAD EBOOK

dgkuh % 1A1/2 eqlhcr 2A1/2 U;k; 3A1/2 euq"e;;&/keZ


GOPU BOOKS SANKLAN 37

GOPU BOOKS SANKLAN 37

Author: EDITORIAL BOARD

Publisher: V&S Publishers

Published: 2015-06-01

Total Pages: 10

ISBN-13: 9350575760

DOWNLOAD EBOOK

dgkuh % 1A1/2 rsjh nqfu;k cgqr fujkyh 2A1/2 cqf)jke dh gksf'k;kjh 3A1/2 gquj dh ljkguk


GOPU BOOKS SANKLAN 68

GOPU BOOKS SANKLAN 68

Author: EDITORIAL BOARD

Publisher: V&S Publishers

Published: 2015-06-01

Total Pages: 10

ISBN-13: 935057604X

DOWNLOAD EBOOK

dgkuh % 1A1/2 rkM+dk o/k 2A1/2 xkSre If"e;k dk Jki 3A1/2 lhrk dk vorj.k


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.


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.


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.


Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

Author: Robert Harper

Publisher: Cambridge University Press

Published: 2016-04-04

Total Pages: 513

ISBN-13: 1107150302

DOWNLOAD EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.


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.