खोज परिणाम

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.   R... மேலும்

Since 1980, China's economy has been the envy of the world. Is annual growth rate of more than 9 percent during this period makes China today the world's fourth-largest economy. And this sustained growth has reduced the poverty rate from 60 percent of the population to less than 10 percent. However,... மேலும்

A recent explosion of publishing activity by a wide range of talented writers has placed Asian American literature in the limelight. As the field of Asian American literary studies gains increasing recognition, however, questions of misreading and appropriation inevitably arise. How is the growing b... மேலும்

This extraordinary novel tells the story of two women-Mulberry and Peach-who are really one. Mulberry is a young Chinese-American woman who has fled the turmoil of postwar China to settle in the United States. Unable to forget the terrors she has witnessed or to resolve the conflicts between her new... மேலும்

Asian America.Net demonstrates how Asian Americans have both defined and been defined by electronic technology, illuminating the complex networks of identity, community, and history in the digital age.... மேலும்

This book constitutes the refereed proceedings of the First International Workshop on Machine Learning and Medical Engineering for Cardiovasvular Healthcare, MLMECH 2019, and the International Joint Workshops on Computing and Visualization for Intravascular Imaging and Computer Assisted Stenting, CV... மேலும்