Ming Xu

Michael Perloff

Nuel D. Belnap

In this elucidating work, the authors attempt to construct a logical analysis of human actions, focusing on those actions based on choice. Using their examination of "seeing to it that," they investigate a large number of topics, including imperatives, deontic logic, strategies, determinism, and promising assertion. One of the work's provocative conclusions is that one, actual future does not exist; instead, all possible futures are on par with one another.

Agents and Choices in Our Indeterminist World

Facing the Future

Jiannong Cao

Stefan Jähnichen

Xingming Zhou

This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003. This series of workshops is designed to strengthen the cooperation between the German and Chinese institutions active in the area of these technologies. It has continued to grow, providing an excellent forum for reporting advances in parallel processing technologies. The 5th workshop itself addressed the entire gamut of related topics, ranging from the architectural aspects of parallel computer hardware and system software to the applied technologies for novel applications. For this workshop, we received over 191 full submissions from researchers all over the world. All the papers were peer-reviewed in depth and qualitatively graded on their relevance, originality, signi?cance, presentation, and the overall appropriateness for their acceptance. Any concerns raised were discussed in the program committee. The organizing committee did an excellent job in selecting 78 papers (Among them, 21 were short ones) for presentation. In short, the papers included here represent the forefront of research from China, Germany, and the other countries.

5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings

Advanced Parallel Processing Technologies

Fei Yan

Zheng Qin

Shaojing Fu

This book constitutes the refereed proceedings of the 11th Chinese Conference on Trusted Computing and Information Security, CTCIS 2017, held in Changsha, China, in September 2017. The 28 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers focus on topics such as theory of trusted computing, trustworthy software; infrastructure of trusted computing, application and evaluation of trusted computing; network security and communication security; theory and technology of cryptographic techniques; information content security; system security for mobile network and IoT systems, industrial control and embedded systems; security for Cloud computing, virtualization systems and big data.

11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings

Trusted Computing and Information Security

Xue Liu

Kui Ren

Xiaohua Jia

Weifa Liang

KAI XING

This book constitutes the refereed proceedings of the 8th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2013, held in Zhangjiajie, China, in August 2013. The 25 revised full papers presented together with 18 invited papers were carefully reviewed and selected from 80 submissions. The papers cover the following topics: effective and efficient state-of-the-art algorithm design and analysis, reliable and secure system development and implementations, experimental study and testbed validation, and new application exploration in wireless networks.

8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings

Wireless Algorithms, Systems, and Applications

Maria Chiara Bignozzi

Patricia Krawczak

Emilia Morallon

Jacqueline Anne Johnson

The Frontiers in Materials Editorial Office team are delighted to present the inaugural “Women in Science: Materials” article collection, showcasing the high-quality work of women in science across the breadth of materials science and engineering. All researchers featured within this collection were individually nominated by the Topic Editors in recognition of their status as leading academics who have great potential to influence the future directions of their respective fields. The work presented here highlights the diversity of research performed across the entire breadth of the materials science and engineering field and presents advances in theory, experimentation, and methodology with applications for solving compelling problems. This Editorial features the corresponding author(s) of each paper published within this important collection, ordered by section alphabetically, highlighting them as the great researchers of the future. The Frontiers in Materials Editorial Office team would like to thank each researcher who contributed their work to this collection. We would also like to personally thank the Topic Editors for their exemplary leadership of this article collection; their strong support and passion for this important, community-driven collection has ensured its success and global impact. Emily Young Journal Development Manager

Women in Science: Materials

Nuel Belnap

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future. It is a theory that makes indeterminism not only intelligible but illuminating. Tools from philosophy of language and philosophical logic help generate a full-scale account of agents "seeing to it that." The authors then proceed to clarify a variety of action-related topics such as determinism vs. indeterminism, imperatives, promises, strategies, joint agency, "could have done otherwise," deontic constructions, and assertions about a not yet settled future.

Yijun Liu

Yinwei Zhan

This book constitutes the refereed proceedings of the 7th International Workshop on Advanced Parallel Processing Technologies, APPT 2007, held in Guangzhou, China, in November 2007. The 78 revised full papers presented were carefully reviewed and selected from 346 submissions. All current aspects in parallel and distributed computing are addressed ranging from hardware and software issues to algorithmic aspects and advanced applications. The papers are organized in topical sections.

7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings

Ming Xu

About

Books

Join the club