శోధన ఫలితాలు

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... మరిన్ని