You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory, Coordination Models and Languages, Parallel and Distributed Computing, Visual Programming Environments, Constraints, Logic and Object-Oriented Programming. Farhad Arbab has shaped the field of Coordination Models and Languages. His insight that it is all about exeogeneous coordination gave rise to the striking elegance and beauty of Reo: an exogenous coordination model based on a formal calculus of channel composition. Reo has been extremely successful and is having a great impact in many of the areas mentioned above. The present volume collects a number of papers by several of Farhad’s close collaborators over the years.
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008. The 9 revised full papers presented were carefully reviewed and selected from 14 initial submissions. The papers in this volume present original research results, as well as applications, in many aspects of constraint solving and constraint logic programming. Research topics that can be found in the papers are ̄rst-order constraints, symmetry breaking, global constraints, constraint optimization problems, distributed constraint solving problems, soft constraints, as well as the analysis of application domains such as cumulative resource problems and hybrid systems.
A comprehensive overview of this rapidly expanding interdisciplinary field of research. After a short introduction to the basics of magnetism and molecular magnetism, the text goes on to cover specific properties of molecular magnetic materials as well as their current and future applications. Design strategies for acquiring molecular magnetic materials with desired physical properties are discussed, as are such multifunctional materials as high Tc magnets, chiral and luminescent magnets, magnetic sponges as well as photo- and piezo-switching magnets. The result is an excellent resource for materials scientists, chemists, physicists and crystal engineers either entering or already working in the field.
There are many steps on the road from discovery of an anticancer drug to securing its final approval by the Food and Drug Administration. In this thoroughly updated and expanded second edition of the Handbook of Anticancer Pharmacokinetics and Pharmacodynamics, leading investigators synthesize an invaluable overview of the experimental and clinical processes of anticancer drug development, creating a single indispensable reference that covers all the steps from the identification of cancer-specific molecular targets to screening techniques and the development and validation of bioanalytical methods to clinical trial design and all phases of clinical trials. The authors have included new mate...
The Special Issue “Nanostructured Materials Based on Noble Metals for Advanced Biological Applications” highlights the recent progress in gold and silver nanomaterials preparation/synthesis as well as their innovative applications in advanced applications, such as in nanomedicine and nanosensors. It is nowadays generally accepted that nanostructured noble metals allow the production of highly competitive materials. In fact, a specific design and rather simple and reliable preparation techniques can be used to obtain optimized material uses and possibilities for their reusability. One expects amazing future developments for these nanotechnologies from research laboratories to key industrial areas. The Guest Editor and the MDPI staff are therefore pleased to offer this Special Issue to interested readers, including researchers, graduate and PhD students as well as postdoctoral researchers, but also to the entire community interested in the wide world of nanomaterials.
This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.
The Lloyd's Register of Shipping records the details of merchant vessels over 100 gross tonnes, which are self-propelled and sea-going, regardless of classification. Before the time, only those vessels classed by Lloyd's Register were listed. Vessels are listed alphabetically by their current name.