You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. Ten years later a myriad of workshops, conferences, and researchprogramsthat sharethe goalsof the AMAST movementhaveoccurred. This can be taken as proof that the AMAST vision is right. However, often the myriad of workshops, conferences, and research programs lack the clear obj- tives and the coordination of their goals towards the software technology en- sioned by AMAST. This can be taken as a proof that AMAST is still necessary.
This book is an outgrowth of the activities of the Center for Geometry and Mathematical Physics (CGMP) at Penn State from 1996 to 1998. The Center was created in the Mathematics Department at Penn State in the fall of 1996 for the purpose of promoting and supporting the activities of researchers and students in and around geometry and physics at the university. The CGMP brings many visitors to Penn State and has ties with other research groups; it organizes weekly seminars as well as annual workshops The book contains 17 contributed articles on current research topics in a variety of fields: symplectic geometry, quantization, quantum groups, algebraic geometry, algebraic groups and invariant...
Offers a fresh perspective on the origins of business unionism.
This volume records most of the talks given at the Conference on Infinite-dimensional Groups held at the Mathematical Sciences Research Institute at Berkeley, California, May 10-May 15, 1984, as a part of the special program on Kac-Moody Lie algebras. The purpose of the conference was to review recent developments of the theory of infinite-dimensional groups and its applications. The present collection concentrates on three very active, interrelated directions of the field: general Kac-Moody groups, gauge groups (especially loop groups) and diffeomorphism groups. I would like to express my thanks to the MSRI for sponsoring the meeting, to Ms. Faye Yeager for excellent typing, to the authors ...
First Published in 1996. Routledge is an imprint of Taylor & Francis, an informa company.
This book contains articles on the latest research in QCD from some of the leading experts in the field. These are based on talks presented at the Continuous Advances in QCD 2004 workshop held at the William I Fine Theoretical Physics Institute.The book will be a useful reference source for graduate students and researchers in high energy physics.The proceedings have been selected for coverage in: ? Index to Scientific & Technical Proceedings? (ISTP? / ISI Proceedings)? Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)? CC Proceedings ? Engineering & Physical Sciences