You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages; combinatorial and algebraic properties of languages; decision problems; relations to complexity theory, logic picture description and analysis, DNA computing, cryptography, concurrency, quantum computing, and algebraic systems.
The practice of making prostrations is commonly recommended as a daily practice to students for the purpose of purifying negative karmas and obstacles to spiritual practice. This text features everything necessary to make the practice complete, including a typical motivation by Lama Zopa Rinpoche, the visualization of the Thirty-Five Buddhas and the Seven Medicine Buddhas, additional holy name mantras to make the practice more powerful, a translation of the main practice, and the final General Confession. The text also includes meditation instructions from Lama Zopa Rinpoche to support one's prostrations. 2020 edition.
Prostrations to the Thirty-five (35) Confession Buddhas with recitation of the "Bodhisattva's Confession of Moral Downfalls" from the Sutra of Three Heaps, is one of the most powerful methods available to purify harmful actions we have done in the past. By doing this practice mindfully, we can prevent unwanted sufferings from occurring in the future. In addition, this practice clears away obstacles to our practice and opens the mind to gain realizations on the path. It is said that if you do this practice first thing in the morning, all your other prayers and activities of the day will be empowered. This recently revised version contains new extensive commentary on the practice by Lama Zopa ...
An introduction to the profound meditation methods of Tibetan Buddhism based on the teachings of the Tibetan saint and founder of the Gulag school Tsongkhapa. The techniques are simple, direct and possess the power to radically alter the way we see the world and ourselves.
Drawing on A Guide to the Bodhisattva Way of Life, the Dalai Lama reveals how learning patience and compassion practices is more essential than ever as we navigate an era of extremism and divisiveness All of the world’s major religions emphasize the importance of love, compassion, and tolerance. This is particularly true in the Buddhist traditions, which unanimously state that compassion and love are the foundation of all paths of practice. To cultivate the potential for compassion and love inherent within us, it is crucial to counteract their opposing forces of anger and hatred. In Perfecting Patience, the Dalai Lama shows how, through the practice of patience and tolerance, we can overcome the obstacles of anger and hatred. He bases his discussion on A Guide to the Bodhisattva Way of Life, the classic work on the activities of bodhisattvas—those who aspire to attain full enlightenment in order to benefit all beings. This book was previously published under the title Healing Anger.
Annotation This book constitutes the refereed proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, held in Lisbon, Portugal in July 2005. The 113 revised full papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 407 submissions. The papers address all current issues in theoretical computer science and are organized in topical sections on data structures, cryptography and complexity, cryptography and distributed systems, graph algorithms, security mechanisms, automata and formal languages, signature and message authentication, algorithmic game theory, automata and logic, computational algebra, cache-oblivious algorithms and algorithmic engineering, on-line algorithms, security protocols logic, random graphs, concurrency, encryption and related primitives, approximation algorithms, games, lower bounds, probability, algebraic computation and communication complexity, string matching and computational biology, quantum complexity, analysis and verification, geometry and load balancing, concrete complexity and codes, and model theory and model checking.
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
A study of the earliest extensive account of Chinese pulse diagnosis, focusing on a biography of Chunyu Yi.