This brief examines recent developments in the Heterogeneous Vehicular NETworks (HETVNETs), integrating cellular networks with Dedicated Short-Range Communication (DSRC) for meeting the communications requirements of the Intelligent Transport System (ITS)services. Along with a review of recent literature, a unified framework of the HetVNET is presented. The brief focuses on introducing efficient MAC mechanisms for vehicular communications, including channel access protocols, broadcast/multicast protocols, the location-based channel congestion control scheme and the content-based resource allocation scheme. The cooperative communication between vehicles is discussed. This brief concludes with a discussion on future research directions, and provides the readers with useful insights into the future designs in the HetVNETs, to motivate new ideas for performance improvements in vehicular networks.

A variety of devices at nanometer/molecular scale for electronic, photonic, optoelectronic, biological, and mechanical applications have been created through the rapid development of materials and fabrication technology. Further development of nanodevices strongly depends on the state-of-the-art knowledge of science and technology at the sub-100 nm scale. This book presents and highlights some of the key advances on, but not limited to, electronic and optoelectronic devices of nanometer/molecular scale, nanomechanics and nanoelectromechanical systems, electromechanical coupled devices, manipulation and aligning processes at nanometer/molecular scale, quantum phenomena, modeling of nanodevices and nanostructures, fabrication and property characterization of nanodevices, and nanofabrication with focused beam technology.

This book introduces the design and implementation of an assessment model for a new university-level English curriculum in China that aims at developing digital literacy skills. The assessment approach, embedded in the curriculum of an online modular course at Peking University, requires the students to conduct semester-long digital research projects in English in their major fields of study. Combining quantitative and qualitative methods, evaluation rubrics built around Content, Clarity, and Creative/Critical Thinking were developed, evaluated, and refined over three implementation cycles (eight semesters). The book presents a systematic assessment design framework, a set of effective rubrics for evaluating the digital research project, and authentic examples of written and multimedia presentations by Chinese students. Integrating assessment with instruction and technology, the book provides a valuable practical guide to digital literacy assessment for English education in the Outer and Expanding Circle contexts.

This book introduces the design and implementation of an assessment model for a new university-level English curriculum in China that aims at developing digital literacy skills. The assessment approach, embedded in the curriculum of an online modular course at Peking University, requires the students to conduct semester-long digital research projects in English in their major fields of study. Combining quantitative and qualitative methods, evaluation rubrics built around Content, Clarity, and Creative/Critical Thinking were developed, evaluated, and refined over three implementation cycles (eight semesters). The book presents a systematic assessment design framework, a set of effective rubrics for evaluating the digital research project, and authentic examples of written and multimedia presentations by Chinese students. Integrating assessment with instruction and technology, the book provides a valuable practical guide to digital literacy assessment for English education in the Outer and Expanding Circle contexts.

This book introduces a promising design for future Internet, the Smart Collaborative Identifier NETwork (SINET). By examining cutting-edge research from around the world, it is the first book to provide a comprehensive survey of SINET, including its basic theories and principles, a broad range of architectures, protocols, standards, and future research directions. For further investigation, the book also provides readers an experimental analysis of SINET to promote further, independent research. The second part of the book presents in detail key technologies in SINET such as scalable routing, efficient mapping systems, mobility management and security issues. In turn, the last part presents various implementations of SINET, assessing its merits. The authors believe SINET will greatly benefit researchers involved in designing future Internet thanks to its high degree of flexibility, security, manageability, mobility support and efficient resource utilization.

This book comprehensively and systematically introduces readers to the theories, structures, performance and applications of non-driven mechanical and non-driven micromechanical gyroscopes. The book is divided into three parts, the first of which mainly addresses mathematic models, precision, performance and operating error in non-driven mechanical gyroscopes. The second part focuses on the operating theory, error, phase shift and performance experiments involving non-driven micromechanical gyroscopes in rotating flight carriers, while the third part shares insights into the application of non-driven micromechanical gyroscopes in control systems for rotating flight carriers. The book offers a unique resource for all researchers and engineers who are interested in the use of inertial devices and automatic control systems for rotating flight carriers. It can also serve as a reference book for undergraduates, graduates and instructors in related fields at colleges and universities.

This book introduces a promising design for future Internet, the Smart Collaborative Identifier NETwork (SINET). By examining cutting-edge research from around the world, it is the first book to provide a comprehensive survey of SINET, including its basic theories and principles, a broad range of architectures, protocols, standards, and future research directions. For further investigation, the book also provides readers an experimental analysis of SINET to promote further, independent research. The second part of the book presents in detail key technologies in SINET such as scalable routing, efficient mapping systems, mobility management and security issues. In turn, the last part presents various implementations of SINET, assessing its merits. The authors believe SINET will greatly benefit researchers involved in designing future Internet thanks to its high degree of flexibility, security, manageability, mobility support and efficient resource utilization.

This book constitutes the refereed proceedings of the Workshop on E-Business (WEB 2011), held in Shanghai, China, on December 4, 2011. The 40 papers, which were selected from 88 submissions to the workshop, touch on topics that are diverse yet highly relevant to the challenges faced by today's e-business researchers and practitioners. They are organized in topical sections on social networks, business intelligence, and social computing; economics and organizational implications of electronic markets; and e-business systems and applications.

Shock Compression and Chemical Reaction of Multifunctional Energetic Structural Materials provides an exhaustive overview of the mechanics, kinetics and physio-chemical behavior caused by shock-induced reaction and shock compression on multifunctional energetic structural materials (MESMs). The book covers foundational knowledge on shock waves and Equation of State (EOS), shock parameters, reaction kinetics, impedance matching, and more. In addition, it looks at more advanced subjects such as experimental analysis methods, numerical modeling techniques (from quasi-static to high-strain rates, including void collapse models), how EOS changes when reaction and detonation are involved, and more. Final chapters cover how to obtain EOS curves from experiments and various testing methods and numerical models for non-reactive porous solids and particulate composites, including 1-D reactive flow models. Flyer plate impact experiments are also discussed, as are the applications of hydrocodes and Lagrangian-framework-based methods.

This important resource explores recent theoretical advances and modelling on fluids transport in fractal porous systems and presents a systematic understanding of the characterization of complex microstructure and transport mechanism in fractal porous media. Modelling of Flow and Transport in Fractal Porous Media shows how fractal theory and technology, combined with other modern experiments and numerical simulation methods, will assist researchers and practitioners in modelling of transport properties of fractal porous media, such as fluid flow, heat and mass transfer, mechanical characteristics, and electrical conductivity.

This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, AAIM 2020, held in Jinhua, China in August 2020. The 39 full papers and 17 short papers presented were carefully reviewed and selected from 76 submissions. The papers deal with emerging important algorithmic problems with a focus on the fundamental background, theoretical technology development, and real-world applications associated with information and management analysis, modeling and data mining. Special considerations are given to algorithmic research that was motivated by real-world applications.

This two-volume set, LNCS 11641 and 11642, constitutes the thoroughly refereed proceedings of the Third International Joint Conference, APWeb-WAIM 2019, held in Chengdu, China, in August 2019. The 42 full papers presented together with 17 short papers, and 6 demonstration papers were carefully reviewed and selected from 180 submissions. The papers are organized around the following topics: Big Data Analytics; Data and Information Quality; Data Mining and Application; Graph Data and Social Networks; Information Extraction and Retrieval; Knowledge Graph; Machine Learning; Recommender Systems; Storage, Indexing and Physical Database Design; Spatial, Temporal and Multimedia Databases; Text Analysis and Mining; and Demo.

This two-volume set, LNCS 11641 and 11642, constitutes the thoroughly refereed proceedings of the Third International Joint Conference, APWeb-WAIM 2019, held in Chengdu, China, in August 2019. The 42 full papers presented together with 17 short papers, and 6 demonstration papers were carefully reviewed and selected from 180 submissions. The papers are organized around the following topics: Big Data Analytics; Data and Information Quality; Data Mining and Application; Graph Data and Social Networks; Information Extraction and Retrieval; Knowledge Graph; Machine Learning; Recommender Systems; Storage, Indexing and Physical Database Design; Spatial, Temporal and Multimedia Databases; Text Analysis and Mining; and Demo.

This book constitutes the refereed proceedings of the Second International Conference on Data Science, ICDS 2015, held in Sydney, Australia, during August 8-9, 2015. The 19 revised full papers and 5 short papers presented were carefully reviewed and selected from 31 submissions. The papers focus on the following topics: mathematical issues in data science; big data issues and applications; data quality and data preparation; data-driven scientific research; evaluation and measurement in data service; big data mining and knowledge management; case study of data science; social impacts of data science.

This comprehensive account of the Gross-Zagier formula on Shimura curves over totally real fields relates the heights of Heegner points on abelian varieties to the derivatives of L-series. The formula will have new applications for the Birch and Swinnerton-Dyer conjecture and Diophantine equations.

The book begins with a conceptual formulation of the Gross-Zagier formula in terms of incoherent quaternion algebras and incoherent automorphic representations with rational coefficients attached naturally to abelian varieties parametrized by Shimura curves. This is followed by a complete proof of its coherent analogue: the Waldspurger formula, which relates the periods of integrals and the special values of L-series by means of Weil representations. The Gross-Zagier formula is then reformulated in terms of incoherent Weil representations and Kudla's generating series. Using Arakelov theory and the modularity of Kudla's generating series, the proof of the Gross-Zagier formula is reduced to local formulas.

"The Gross-Zagier Formula on Shimura Curves" will be of great use to students wishing to enter this area and to those already working in it.

This comprehensive account of the Gross-Zagier formula on Shimura curves over totally real fields relates the heights of Heegner points on abelian varieties to the derivatives of L-series. The formula will have new applications for the Birch and Swinnerton-Dyer conjecture and Diophantine equations.

The book begins with a conceptual formulation of the Gross-Zagier formula in terms of incoherent quaternion algebras and incoherent automorphic representations with rational coefficients attached naturally to abelian varieties parametrized by Shimura curves. This is followed by a complete proof of its coherent analogue: the Waldspurger formula, which relates the periods of integrals and the special values of L-series by means of Weil representations. The Gross-Zagier formula is then reformulated in terms of incoherent Weil representations and Kudla's generating series. Using Arakelov theory and the modularity of Kudla's generating series, the proof of the Gross-Zagier formula is reduced to local formulas.

"The Gross-Zagier Formula on Shimura Curves" will be of great use to students wishing to enter this area and to those already working in it.

Robot-assisted healthcare offers benefits for repetitive, intensive and task specific training compared to traditional manual manipulation performed by physiotherapists. However, a majority of existing rehabilitation devices use rigid actuators such as electric motors or hydraulic cylinders which cannot guarantee the safety of patients; novel soft robots combining soft and compliant actuators with stiff skeletons offer a better alternative. This book focuses on the development of these soft robotics for rehabilitation purposes. Topics covered include an introduction to soft robots and the state of the art of their use in healthcare; concept and modelling of a soft rehabilitation actuator - the Peano muscle; design of the reactive Peano muscle; soft wrist rehabilitation robot; development and control of a soft ankle rehabilitation robot (SARR); design, modelling and control strategies of a gait rehabilitation exoskeleton (GAREX); and conclusions and future work. This book presents novel applications of mechatronics to provide better clinical rehabilitation services and new insights into emerging technologies utilized in soft robots for healthcare, and is essential reading for researchers and students working in these and related fields.