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...

We are currently witnessing a proliferation in parallel and distributed processing technologies and applications. However, more new technologies have ushered in unprecented challenges to the research community across the range of high-performance computing, multi-core microprocessor architecture, networks and pervasive computing, as well as new paradigm computing issues. APPT 2007 was sponsored by the China Computer Federation, in cooperation with TCPP of the Institute for Electrical and Electronics Engineers (IEEE). The highly positive responses to the previous APPT workshops encouraged us...

This book constitutes the refereed proceedings of the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003, held in Xiamen, China in September 2003.The 57 revised full papers and 21 revised short papers presented were carefully reviewed and selected from 191 full paper 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 on architecture, software and theory, grid and network, and applied...