Pallab Dasgupta's Books

Multiobjective Heuristic Search

An Introduction to intelligent Search Methods for Multicriteria Optimization

By: Pallab Dasgupta,P. P. Chakrabarti,S. C. DeSarkar

Write a review Read reviews Take a Quiz Solve Book Puzzle

Multiobjective Heuristic Search

An Introduction to intelligent Search Methods for Multicriteria Optimization

By: Pallab Dasgupta,P. P. Chakrabarti,S. C. DeSarkar

Solutions to most real-world optimization problems involve a trade-off between multiple conflicting and non-commensurate objectives. Some of the most challenging ones are area-delay trade-off in VLSI synthesis and design space exploration, time-space trade-off in computation, and multi-strategy games. Conventional search techniques are not equipped to handle the partial order state spaces of multiobjective problems since they inherently assume a single scalar objective function. Multiobjective heuristic search techniques have been developed to specifically address multicriteria combinatorial optimization problems. This text describes the multiobjective search model and develops the theoretical foundations of the subject, including complexity results . The fundamental algorithms for three major problem formulation schemes, namely state-space formulations, problem-reduction formulations, and game-tree formulations are developed with the support of illustrative examples. Applications of multiobjective search techniques to synthesis problems in VLSI, and operations research are considered. This text provides a complete picture on contemporary research on multiobjective search, most of which is the contribution of the authors.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

141

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3322868532

ISBN 13

9783322868534

A Roadmap for Formal Property Verification

By: Pallab Dasgupta

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Roadmap for Formal Property Verification

By: Pallab Dasgupta

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

260

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1402047584

ISBN 13

9781402047589

Photonic Waveguide Components on Silicon Substrate

Modeling and Experiments

By: Swagata Samanta,Pallab Banerji,Pranabendu Ganguly

Write a review Read reviews Take a Quiz Solve Book Puzzle

Photonic Waveguide Components on Silicon Substrate

Modeling and Experiments

By: Swagata Samanta,Pallab Banerji,Pranabendu Ganguly

This book focuses on the design and development of SU-8 polymer and silicon waveguide-based devices using the effective index based matrix method. Various fabrication techniques like laser direct writing (LDW), Focused Ion Beam (FIB) and optical lithography are discussed. FIB lithography has been explored for photonic-crystal structures on the waveguide and for directional coupler in coupled region. This technique is shown to be suitable in fabricating photonic crystal structures as well as for making any precise modifications in micro- and nano-meter photonic waveguide structures. This book can be a useful reference for students, researchers, and fabrication engineers working in the areas of integrated optics, optical communications, laser technology and optical lithography for device manufacturing.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

112

Publisher

Springer Nature

Published Date

ISBN 10

9811513112

ISBN 13

9789811513114

A Roadmap for Formal Property Verification

By: Pallab Dasgupta

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Roadmap for Formal Property Verification

By: Pallab Dasgupta

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

260

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1402047584

ISBN 13

9781402047589

Book's by Pallab Dasgupta

Multiobjective Heuristic Search

Multiobjective Heuristic Search

A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Photonic Waveguide Components on Silicon Substrate

Photonic Waveguide Components on Silicon Substrate

A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Username

Password

Username

Password

Password again

Birthday

Email