الصفحة 59
الصفحة 59
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Catalytic role of amino acids in organic reactions
Asymmetric organometallic and organocatalytic processes have attracted great interest. Asymmetric synthesis using both natural and unnatural amino acids has been tremendously important from synthetic as well as industrial viewpoints, and numerous new methodologies have been developed in the last decades. Herein we provide an overview of old and very recent (since 1900 till now) advances and applications in the area of heterogeneous catalysis, homogeneous catalysis, electrocatalysis, photocatalysis, organocatalysis, thermal catalysis using amino acids [proline, glycine, alanine, valine, serine, threonine, cysteine, methionine, asparagine, glutamine, lysine, arginine, histidine, aspartate, glutamate, phenylalanine, and tryptophan], (supported or unsupported), an amino acid containing materials or amino acids derivatives as an essential component of catalysts, this book highlights the most important and recent developments to immobilize or support amino acids on various support materials. This book is suitable as supplementary reading for courses targeting the design, synthesis, and application of chiral catalysts, asymmetric catalysis, and sustainable production.
Case-Based Approximate Reasoning
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology in the field of artificial intelligence. The key idea of CBR is to tackle new problems by referring to similar problems that have already been solved in the past. More precisely, CBR proceeds from individual experiences in the form of cases. The generalization beyond these experiences typically relies on a kind of regularity assumption demanding that 'similar problems have similar solutions'. Making use of different frameworks of approximate reasoning and reasoning under uncertainty, notably probabilistic and fuzzy set-based techniques, this book develops formal models of the above inference principle, which is fundamental to CBR. The case-based approximate reasoning methods thus obtained especially emphasize the heuristic nature of case-based inference and aspects of uncertainty in CBR. This way, the book contributes to a solid foundation of CBR which is grounded on formal concepts and techniques from the aforementioned fields. Besides, it establishes interesting relationships between CBR and approximate reasoning, which not only cast new light on existing methods but also enhance the development of novel approaches and hybrid systems.
Case Studies in Food Safety and Environmental Health
The ISEKI-Food book series is a collection where various aspects of food safety and environmental issues are introduced and reviewed by scientists specializing in the field. In all of the books a special emphasis is placed on including case studies applicable to each specific topic. The books are intended for graduate students and senior level undergraduate students as well as professionals and researchers interested in food safety and environmental issues applicable to food safety.
Cartoon animation with Preston Blair : Learn techniques for drawing and animating cartoon characters
In Cartoon Animation with Preston Blair, acclaimed cartoon animation Preston Blair shares his vast practical knowledge to explain and demonstrate the many techniques of cartoon animation
Cartesian Impedance Control of Redundant and Flexible-Joint Robots
This monograph is devoted to the classical topic of impedance control, which has recently seen renewed interest following advances in the mechanical design of lightweight robotic systems with improved actuation and sensing capabilities.
Carpal Tunnel Syndrome
This book is an instrument for deepening their knowledge of this condition and its management. It can be considered a moment for reflection on a condition that is erroneously considered simple to treat and easy to resolve. The surgical chapters compare various complications as well as various conservative and rehabilitative treatment options, thus underlining that this condition must not be underestimated. Incorrect treatment can have many negative ramifications: not only that the patient is dissatisfied but it can also lead to the hand’s functional loss and render the patient an invalid.
Career development in bioengineering and biotechnology : Roads well laid and paths less traveled
Career Development in Bioengineering and Biotechnology is an indispensable guide to some of the most exciting career and professional growth opportunities in science, engineering, and beyond, and a "must read" for anyone interested in a career related to this burgeoning field.
Carbon Inventory Methods Handbook for Greenhouse Gas Inventory, Carbon Mitigation and Roundwood Production Projects
Carbon Inventory Methods Handbook provides detailed step-by-step information on sampling procedures, field and laboratory measurements, application of remote sensing and GIS techniques, modeling, and calculation procedures along with sources of data for carbon inventory. The unique feature of this handbook is that it provides practical guidance on carbon inventory methods for four kinds of projects, namely, 1) development, implementation and monitoring of carbon mitigation in forest, agriculture and grassland sectors, 2) national greenhouse gas inventory in agriculture, forest, and other land-use categories, 3) forest, grassland and agroforestry development and 4) commercial and community forestry roundwood production.
Carbon and nitrogen in the terrestrial environment
Carbon and Nitrogen in the Terrestrial Environment is a comprehensive, interdisciplinary description of C and N fluxes between the atmosphere and the terrestrial biosphere; issues related to C and N management in different ecosystems and their implications for the environment and global climate change; and the approaches to mitigate emission of greenhouse gases.Drawing upon the most up-to-date books, journals, bulletins, reports, symposia proceedings and internet sources documenting interrelationships between different aspects of C and N cycling in the terrestrial environment, Carbon and Nitrogen in the Terrestrial Environment fills the gap left by most of the currently available books on C and N cycling. They either deal with a single element of an ecosystem, or are related to one or a few selected aspects like soil organic matter (SOM) and agricultural or forest management, emission of greenhouse gases, global climate change or modeling of SOM dynamics.
Capacity options for revenue management : Theory and applications in the air cargo industry
Hellermann addresses in his dissertation one of the most interesting - pects of this evolution for OR/MS, the parallel development of long-term and short-term markets for capacity and output, accompanied by a range of option and ?xed-commitment (i. e. , forward) contracts as the basic mec- nisms supporting transactions. This has been a fascinating topic for OR/MS research because it builds on the powerful framework of real options, while connecting directly to key operations decisions (capacity planning, network design, staf?ng, routing, maintenance, and so forth) of the equipment and technologies whose output is the focus of contracts.
Cannabinoids as Therapeutics
this volume concentrates on the diseases, the physiological effects and therapeutic use of cannabinoids. The volume editor Prof. Mechoulam was the first who isolated the prime active constituent (THC, Tetrahydrocannabiol) of marijuana. He published extensively on the pharmacological activities of cannabinoids. The volume is of interest to researchers and clinicians from pharmacology, neuroscience, and medicinal research
Cancer Stem Cells : Novel Concepts and Prospects for Tumor Therapy
This book describes the recent developments in the emerging field of cancer stem cells. Their possible impact for the identification of novel treatment paradigms for cancer are discussed. The book will mainly be of interest to scientists and clinicians involved in cancer research, or to students wishing to enter into this area.
Cancer in the Spine : Comprehensive Care
In Cancer in the Spine: Comprehensive Care, distinguished physicians and researchers from prestigious cancer centers around the world critically examine current trends and innovations in spinal cancer management. Detailing both the fundamental principles of diagnosis and treatment planning, and the cutting-edge techniques of tumor treatment, these experts bring together in one volume a guide to coordinated management of all aspects of cancer in the spine.
Cancer
The last decade has seen a dramatic shift in anticancer drug research towards agents that aim to target selectively key regulatory and signaling processes known to drive tumorigenesis. A number of these newer agents have now been introduced into clinical practice. This volume reviews advances in cancer chemotherapy research over the last 10 years and will be of interest to scientists engaged in drug research in the pharmaceutical industry, biotechnology and startup companies, academia and government institutions. Chapters written by leading experts in their field reflect a range of current medicinal chemistry approaches to small molecule drugs, including anti-hormonal therapy, growth factor inhibition, survival signaling, cell cycle inhibition, anti-angiogenics and anti-nvasives. Each chapter aims to cover the drug target and biological rationale, chemotypes, clinical status and future prospects in this rapidly developing area of drug research.
Canadian Semantic Web
This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range of topics includes languages, tools and methodologies for the semantic Web, semantic Web-based ontology management and engineering, semantic Web services, practical applications of the semantic Web techniques, artificial intelligence methods and tools for the semantic Web, software agents on the semantic Web, visualization and modeling of the semantic Web. The goal of this book is to provide a state-of-the-art review of the research as well as to introduce topics of interest to experts.
Calm : Interiors to nurture, relax and restore
Home should be a place to retreat from the everyday. Creating a home that instills a sense of calm will cocoon and protect us from the outside world, create a sense of wellbeing and make us feel truly nurtured. Calm will help you create a restful, restorative interior that draws you in and makes your shoulders drop the moment you walk through the door. Sally Denning first explores the essential foundations of a tranquil, comforting home: calming and harmonious colors, textiles, patterns, lighting, and decorative elements.
CADD and informatics in drug discovery
Updates knowledge on recent advances in computational and bioinformatics tools/techniques and their practical applications in modern drug design and discovery programme. Also it encompasses fundamental principles, advanced methodologies and applications of various CADD approaches including several cutting-edge areas / presenting recent developments covering ongoing trends in the field of computer-aided drug discovery. Having contributions by a global team of experts, the book is expected to be an ideal resource for drug discovery scientists, medicinal chemists, pharmacologists, toxicologists, phytochemists, biochemists, biologists, RandD personnel, researchers, students, teachers and those working in the field of drug discovery. It will fill the knowledge gaps that exist in the current CADD approaches and methodologies/ protocols being widely used in both academic and research practices. Further, a special focus on current status of various computational drug design approaches (SBDD, LBDD, De-novo drug design, Pharmacophore-based search), bioinformatics tools and databases, computational screening and modeling of phytochemicals/natural products, artificial intelligence and machine learning, and network pharmacology and system biology would certainly guide researchers, students or readers to conduct their research in the emerging area(s) of interest. It is also expected to be highly beneficial to different stakeholders working in the pharmaceutical and biotechnology industries (RandD), the academic as well as research sectors. .
Business process management ; Vol. 3649 ; 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings
This volume contains the proceedings of the 3rd International Conference on Business Process Management (BPM 2005), organized by LORIA in Nancy, France, 2005. This year, BPM included several innovations with respect to previous e- tions, most notably the addition of an industrial program and of co-located workshops. This was the logical result of the signi?cant (and still growing) - dustrial interest in the area and of the broadening of the research communities working on BPM topics, includ Information Systems Applications (incl. Internet) / Information Storage and Retrieval / User Interfaces and Human Computer Interaction / Computers and Society / Management of Computing and Information Systems / IT in Business
Business partner management : Successfully managing external and internal business relationships
Provides a structured, industry-independent and at the same time practical insight into all types of business partnerships. Both relationships with external business partners and internal partnerships with colleagues and employees are considered in depth. The focus is on people as partner and individual with interests and goals. The comparison to private partnerships is quite intentional and illustrates the explanations. Findings from brain research, learning and cooperation are also included.
