Skip to main content

Elsevier Science

CAFE: An Industrial-Strength Algebraic Formal Method
1st Edition
K. Futatsugi + 2 more
English
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees.The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.
Novel Macromolecules in Food Systems
1st Edition
Volume 41
G. Doxastakis + 1 more
English
Applying recent advances in biological and physical sciences, food scientists have created "novel food ingredients" enzymatically, chemically or microbiologically. Chief among these are "novel proteins and polysaccharides" which, like the more established traditional macromolecules, can perform multifunctional roles such as thickening, stabilization, gelation or encapsulation and in this way determine to a large extent the shelf life, texture and nutritional value of natural and processed foods.Featuring the latest advances on chemistry, structure and functional properties of "novel proteins and polysaccharides", with an emphasis on fundamental structure-function relationships, this book will be valuable to all those working in product development and fundamental food research.
Radioactivity in the Environment
Physicochemical aspects and applications
1st Edition
Vlado Valkovic
English
Numerous sources of ionizing radiation can lead to human exposure: natural sources, nuclear explosions, nuclear power generation, use of radiation in medical, industrial and research purposes, and radiation emitting consumer products. Before assessing the radiation dose to a population one requires a precise knowledge of the activity of a number of radionuclides. The basis for the assessment of the dose to a population from a release of radioactivity to the environment, the estimation of the potential clinical heath effects due to the dose received and, ultimately, the implementation of countermeasures to protect the population, is the measurement of radioactive contamination in the environment after the release.It is the purpose of this book to present the facts about the presence of radionuclides in the environment, natural and man made. There is no aspect of radioactivity, which has marked the passing century, not mentioned or discussed in this book.
Recent Advances in Gas Separation by Microporous Ceramic Membranes
1st Edition
Volume 6
N.K. Kanellopoulos
English
This book is dedicated to the rapidly growing field of microporous ceramic membranes with separating layers of pore diameter less than 2nm.The chapters of this book bring forward a wide range of issues, namely fundamentals of complex sorption and transport processes in micropore structures, highly innovative methods of preparation of microporous membranes and examples of their possible commercial applications. This book presents insights by distinguished investigators, who have contributed significantly to the advance of research efforts in the diverse topics described herein.Recently, significant progress has been made with respect to the development of novel microporous asymmetric membranes, mainly involving modification by means of deposition of additional material within the pores of the substrates. Most state-of-the-art technologies aiming in the development of microporous ceramic membrane are presented in the third section of the book. These include several material deposition methods and techniques on macroporous or mesoporous supports and substrates from the liquid or vapour phase, namely those involving sol-gel, zeolite and chemical vapour deposition techniques. In addition to the above-mentioned methods, the classical technique of carbonizing polymeric deposits along with one of the novel techniques of plasma-treating, organically deposited Langmuir-Blodgett films, are also presented. Nanophase mixed ionic-electron membranes for enhanced oxygen transport are described, which pose a strong candidacy for a number of significant commercial applications.
Elsevier's Dictionary of Computer Graphics
In English, German, French and Russian
1st Edition
P. Manoilov + 2 more
English
Elsevier's Dictionary of Computer Graphics contains 10,540 terms with more than 2,600 cross-references that are commonly used in the theory and practice of computer graphics. Included are terms from all areas related to a) the theory of computer graphics - descriptive geometry, projective geometry, topology, fractal geometry, color science; and b) the practice of computer graphics - computer-aided design (CAD) systems, technical drawing, computer art, computer animation, business graphics, scientific visualization, virtual reality, graphical programming, image processing, graphical computer devices.As well as the commonly used terms in the above-mentioned areas, the dictionary also includes terms that are currently coming into use, especially in the areas of computer-aided design systems, computer art, computer animation, virtual reality and graphical programming.Elsevier... Dictionary of Computer Graphics will be a valuable tool for engineers, scientists, artists, students and for everyone who takes an interest in computer graphics.
Principles of Pollution Abatement
1st Edition
S. Jørgensen
English
This is a much revised and expanded version of the author's previous book Principles of Environmental Science (1988), also published by Elsevier. It incorporates new tools such as ecotechnology, cleaner technology, life cycle analysis and environmental risk assessment, which have changed environmental management strategy radically over the last decade.Sven Jørgensen has worked at the Royal Danish School of Pharmacy as Professor in Environmental Chemistry since 1965, and has also held the position Professor in Environmental Technology at the Danish Agricultural University since 1978. He is Editor in Chief of Ecological Modelling and Editor of the book series Developments in Environmental Modelling.
ISSC 2003 14th International Ship and Offshore Structures Congress
ISSC 2003 - 3 volume set
1st Edition
Alaa Mansour + 1 more
English
These 3 volumes contain the eight Technical Committee reports, six Specialist Committee and 2 Special Task Committee reports which were presented for the 14th International Ship and Offshore Structures Congress (ISSC 2000) in Nagasaki, Japan between 2nd and 6th October 2000.Volume III will be published in 2001 and is to contain the discussion of the above subjects.
Carbohydrate Reserves in Plants - Synthesis and Regulation
1st Edition
Volume 26
A.K. Gupta + 1 more
English
Carbohydrate reserves constitute the major part of edible portion of the plants. Latest researches in major crops like wheat, rice, maize, barley, potato, sugarcane, sugarbeet, Jerusalem artichoke, chicory and carbohydrates in trees have been included in this book. The book will be of great value to the basic plant biochemists, molecular biologists, biotechnologists, and genetic crop engineers and to the agricultural scientists working in different disciplines related to crop productivity. This compilation may act as a medium to initiate discussions among these scientists leading to new researches in the area of crop productivity and reserve carbohydrate metabolism.
Acoustic Emission - Beyond the Millennium
1st Edition
T. Kishi + 2 more
English
The theme of the 15th International Acoustic Emission Symposium (IAES15) was set as 'practicality for life-extension and maintenance of plants and structures'. Special emphasis was placed on the review of acoustic emission (AE) research and applications in the 20th century and its future in the 21st century.The technique for monitoring defects and abnormal vibrations due to machine failures is vitally important for the safety of structures in a modern society. AE, as a passive, rather than an active NDT method, has drawn much attention because of its applicability to on-stream surveillance of structures. One important point is its capability to acquire data very simply but with high sensitivity so that the development of a non-contact sensing technique is particularly important. A quantitative method to evaluate structural integrity and remaining life from the detected AE signals is strongly required. Quantitative analysis, based on inverse procedures, has provided a certain solution, but has not been utilized widely enough in structures due to its complexity. Its applicability is limited partly because the accuracy of solutions depends on noise levels and partly because the phenomenon is usually non-reproducible. AE is expected to be a next-generation technique not only to monitor conditions but also for the repair of damaged structures, combined with an active-adaptive technique using a 'solid state actuator'. 'Smart Materials and Structures' are known in this respect. AE is considered to be a very promising technique, together with such sensing techniques as optical fiber, shape memory alloy and electro-rheological fluid. Thus, AE can play a very important roll in monitoring, evaluating and repairing structures.In this workshop, a limited number of invited papers are presented for technical discussion to review the achievements of AE research and applications in the 20th century. The proceedings are entitled Acoustic Emission - Beyond the Millennium to celebrate the new millennium, and stepping forward to a new era. The authors and topics of these review papers were selected by the editorial board.
Thinning Films and Tribological Interfaces
Proceedings of the 26th Leeds-Lyon Symposium
1st Edition
Volume 38
D. Dowson + 9 more
English
This collection of fully peer-reviewed papers were presented at the 26th Leeds-Lyon Tribology Symposium which was held in Leeds, UK, 14-17 September, 1999. The Leeds-Lyon Symposia on Tribology were launched in 1974, and the large number of references to original work published in the Proceedings over many years confirms the quality of the published papers. It also indicates that the volumes have served their purpose and become a recognised feature of the tribological literature. This year's title is 'Thinning Films and Tribological Interfaces', and the papers cover practical applications of tribological solutions in a wide range of situations. The evolution of a full peer review process has been evident for a number of years. An important feature of the Leeds-Lyon Symposia is the presentation of current research findings. This remains an essential feature of the meetings, but for the 26th Symposium authors were invited to submit their papers for review a few weeks in advance of the Symposium. This provided an opportunity to discuss recommendations for modifications with the authors.

Browse by Publisher