You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The invited talks include applications from the fields of solid state physics, plasma physics, hydrodynamics, high-energy physics, thermodymanics, atomic and molecular physics, chemistry, statistical physics, earth sciences, neural networks, meteorology, astrophysics, and presentations on cellular automata and quantum Monte Carlo methods. The emphasis is on methods of software development and engineering, graphic tools, and storage of physical data.
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it...
None
Postmodernity's Transcending: Devaluing God in one way undertakes a history of the concept of the aesthetic sublime; in another it is an exploration of the limits of theological thinking, where theology is understood either as a practice arising from faith or from thinking.By examining concepts like soul, experience, analogy and truth, the author issues a provocative challenge to much contemporary Christian theology to return to a more serious engagement with philosophy.Hemming explores the confrontation with God and the gods to be found in Protagoras, Plato, Aristotle, Aquinas, Hegel, Nietzsche, Heidegger and Derrida, often offering innovative readings of these thinkers sharply at odds with accounts to be found elsewhere.
A step-by-step user guide to geostatistical modeling for Earth Science graduates and researchers, and professional practitioners.
This IMA Volume in Mathematics and its Applications TWO PHASE FLOWS AND WAVES is based on the proceedings of a workshop which was an integral part of the 1988-89 IMA program on NONLINEAR WAVES. The workshop focussed on the development of waves in flowing composites. We thank the Coordinating Commit tee: James Glimm, Daniel Joseph, Barbara Keyfitz, Andrew Majda, Alan Newell, Peter Olver, David Sattinger and David Schaeffer for planning and implementing the stimulating year-long program. We especially thank the Workshop Organizers, Daniel D. Joseph and David G. Schaeffer for their efforts in bringing together many of the major figures in those research fields in which modelling of granular flo...
The LNCS volume 13269 constitutes the proceedings of the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, which will take place in a hybrid mode in Rome, Italy in June 2022. The 44 full papers together with 5 short papers presented in this proceeding were carefully reviewed and selected from a total of 185 submissions. They were organized in topical sections as follows: Encryption, Attacks, Cryptographic Protocols, System Security., Cryptographic Primitives, MPC, Blockchain, Block-Cyphers, and Post-Quantum Cryptography.
Manufacturing systems, regardless of their size, have to work with scarce resources in dynamic environments. Effective Resource Management in Manufacturing Systems aims to provide methods for achieving effective resource allocation and to solve related problems that occur daily and often generate cost overruns. This book will be bought by postgraduate students of business, engineering and computer science as well as researchers in these fields. It will also be of interest to practitioners in manufacturing systems and operations managers in industry.