Sayan Mitra's Books

Verifying Cyber-Physical Systems

A Path to Safe Autonomy

By: Sayan Mitra

Write a review Read reviews Take a Quiz Solve Book Puzzle

Verifying Cyber-Physical Systems

A Path to Safe Autonomy

By: Sayan Mitra

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems. The book discusses such computer science concepts as undecidability and abstractions, alongside concepts from control theory including multiple Lyapunov functions and barrier certificates, all within a unified mathematical language. It explains algorithms for reachability analysis, counter-example guided abstraction refinement, and data-driven verification, as well as the key data structures that enable their effective implementation. Other topics include invariants, deductive verification, progress analysis, sensitivity analysis, simulation relations, fairness, model checking, satisfiability modulo theories, temporal logics, compositional reasoning, convergence analysis, asynchronous processes, and verification of black-box systems.The book provides more than twenty examples of cyber-physical verification, ranging from conceptual models to advanced driving-assist systems. Each chapter offers exercise problems; supporting materials, including slides, simulation code, additional exercises, and solutions are available on the book's website.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

313

Publisher

MIT Press

Published Date

ISBN 10

0262370263

ISBN 13

9780262370264

Decolonial Existence and Urban Sensibility

A Study on Mahesh Elkunchwar, published by Manipal Universal Press

By: Sayan Dey

Write a review Read reviews Take a Quiz Solve Book Puzzle

Decolonial Existence and Urban Sensibility

A Study on Mahesh Elkunchwar, published by Manipal Universal Press

By: Sayan Dey

The book Decolonial Existence and Urban Sensibility: A Study on Mahesh Elkunchwar meticulously reflects upon some of the selected translated plays of Marathi playwright Mahesh Elkunchwar. It revolves around the themes of decolonial existence and urban sensibility in contemporary India as portrayed in his plays with respect to post-independent urban existence, socio-cultural existence and gender. The book also looks forward to establish a counterargument against the idealized and totalitarian definitions of West-centric existentialist philosophy, and establish indigenous dimensions of decolonial existence within specific contexts. It dismantles the colonially structured existing binaries of urban/rural, ethical/unethical and high culture/low culture through the diverse portrayal of human relationships in contemporary India and broadly addresses two inter-mingled perspectives. Firstly, it outlines the thematic and dramatic perspectives of the selected plays of Mahesh Elkunchwar and secondly, it explores the multi-dimensional philosophical perspectives that encapsulate the theoretical latitude of decoloniality and urban sensibility.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

204

Publisher

Manipal Universal Press

Published Date

ISBN 10

9382460985

ISBN 13

9789382460985

IGMRC(2020)- An Indian Study on The Growth and Development of Indian Mutual Funds Industry With Reference to Equity Oriented Schemea.

By: Sayan Banerjee

Write a review Read reviews Take a Quiz Solve Book Puzzle

IGMRC(2020)- An Indian Study on The Growth and Development of Indian Mutual Funds Industry With Reference to Equity Oriented Schemea.

By: Sayan Banerjee

The book paper aims at depicting the magnitude of growth that the Indian Mutual Funds Industry has witnessed in the past two decades with special reference to equity mutual funds schemes.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

180

Publisher

IBRF Publishing

ISBN 10

8194346118

ISBN 13

9788194346111

The Bethesda Handbook of Clinical Oncology

By: Sayan Paul

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Bethesda Handbook of Clinical Oncology

By: Sayan Paul

The Bethesda handbook of clinical oncology has been thoroughly reviewed and Ed it Ed by a group of renowned oncologists from reputed government and private cancer institutes of India to make the contents relevant and useful for the students and practitioners of oncology of the Indian subcontinent and South Asia. Salient features: data and evidences from India and South Asia have been added. All the chapters have been edited and updated as per most recent availableevidences and guidelines. More emphasis has been given to the type of cancers more commonly seen in this part of the world such as head and neck cancer, cancer cervix, breast cancer, etc. Chapters of basics of Radiation oncology and medical oncology have been revised. Additional and relevant information on cancer surgery has been added in each br>Chapter a management Flowchart has been added at the end of each br>Chapter for easy understanding and ready reference in the clinic.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

912

Publisher

Wolters Kluwer India Pvt. Ltd.

Published Date

ISBN 10

9389859638

ISBN 13

9789389859638

Image Co-segmentation

By: Avik Hati,Rajbabu Velmurugan,Sayan Banerjee,Subhasis Chaudhuri

Write a review Read reviews Take a Quiz Solve Book Puzzle

Image Co-segmentation

By: Avik Hati,Rajbabu Velmurugan,Sayan Banerjee,Subhasis Chaudhuri

This book presents and analyzes methods to perform image co-segmentation. In this book, the authors describe efficient solutions to this problem ensuring robustness and accuracy, and provide theoretical analysis for the same. Six different methods for image co-segmentation are presented. These methods use concepts from statistical mode detection, subgraph matching, latent class graph, region growing, graph CNN, conditional encoder–decoder network, meta-learning, conditional variational encoder–decoder, and attention mechanisms. The authors have included several block diagrams and illustrative examples for the ease of readers. This book is a highly useful resource to researchers and academicians not only in the specific area of image co-segmentation but also in related areas of image processing, graph neural networks, statistical learning, and few-shot learning.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

231

Publisher

Springer Nature

Published Date

ISBN 10

9811985707

ISBN 13

9789811985706

Being English

Indian Middle Class and the Desire for Anglicisation

By: Sayan Chattopadhyay

Write a review Read reviews Take a Quiz Solve Book Puzzle

Being English

Indian Middle Class and the Desire for Anglicisation

By: Sayan Chattopadhyay

This book critically examines the cultural desire for anglicisation of the Indian middle class in the context of postcolonial India. It looks at the history of anglicised self-fashioning as one of the major responses of the Indian middle class to British colonialism. The book explores the rich variety of nineteenth- and twentieth-century writings that document the attempts by the Indian middle class to innovatively interpret their personal histories, their putative racial histories, and the history of India to appropriate the English language and lay claim to an “English” identity. It discusses this unique quest for “Englishness” by reading the works of authors like Michael Madhusudan Dutt, Rabindranath Tagore, Cornelia Sorabji, Nirad C. Chaudhuri, Dom Moraes, and Salman Rushdie. An important intervention, this book will be of interest to scholars and researchers of postcolonial studies, Indian English literature, South Asian studies, cultural studies, and English literature in general.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

161

Publisher

Taylor & Francis

Published Date

ISBN 10

1000507211

ISBN 13

9781000507218

Book's by Sayan Mitra

Verifying Cyber-Physical Systems

Verifying Cyber-Physical Systems

Decolonial Existence and Urban Sensibility

Decolonial Existence and Urban Sensibility

IGMRC(2020)- An Indian Study on The Growth and Development of Indian Mutual Funds Industry With Reference to Equity Oriented Schemea.

IGMRC(2020)- An Indian Study on The Growth and Development of Indian Mutual Funds Industry With Reference to Equity Oriented Schemea.

The Bethesda Handbook of Clinical Oncology

The Bethesda Handbook of Clinical Oncology

Image Co-segmentation

Image Co-segmentation

Being English

Being English

Username

Password

Username

Password

Password again

Birthday

Email