الصفحة 1
الصفحة 1
Fuzzy Logic and Applications ; Vol. 3849 ; 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
This volume contains the proceedings of the 6th International Workshop on Soft Computing and Applications (WILF 2005), which took place in Crema, Italy, on September 15–17, 2005, continuing an established tradition of biannual meetings among researchers and developers from both academia and industry to report on the latest scienti?c and theoretical advances, to discuss and debate major issues, and to demonstrate state-of-the-art systems. This edition of the workshop included two special sessions, sort of subwo- shops, focusing on the application of soft computing techniques (or compu- tional intelligence) to image processing (SCIP) and bioinformatics (CIBB).
Frontiers of combining systems ; 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.
Feature Extraction : Foundations and Applications
This book is both a reference for engineers and scientists and a teaching resource, featuring tutorial chapters and research papers on feature extraction. "This book compiles some very promising techniques, coming from an extremely smart collection of researchers, delivering their best ideas in a competitive environment."
Extreme NXT : Extending the LEGO MINDSTORMS NXT to the Next Level
Extreme NXT: Extending the LEGO MIDSTORMS NXT to the Next Level is for intermediate-level users of NXT who would like to advance their capabilities by learning some of the basics of electronics. Plenty of examples are provided, and easy-to-follow instructions are included for building over 15 different sensors.
ERP Systems and Organisational Change : A Socio-technical Insight
ERP (Enterprise Resource Planning) systems are now the backbone of the information systems in public and private sector organisations. This book provides a unique and comprehensive insight into ERP systems, from both a social and a technical viewpoint.
Discrete Geometry for Computer Imagery ; 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th IAPR TC-18 International Conference on Discrete Geometry for Computer Imagery, DGCI 2008, held in Lyon, France, in April 2008.
Liver carcinogenesis : Methods and protocols
Discusses the latest advancements in modern methodologies used to study liver carcinogenesis. The first half of this book describes pertinent preclinical models of hepatocellular carcinoma (HCC) and cholangiocarcinoma (CCA), established either through orthotopic induction of ectopic implantation. The second half of this book covers a diverse array of techniques applied to characterize the biochemical and cellular composition of hepatic malignancies that operate at the single-cell and histological levels. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.
Les cancers ovariens = Ovarian cancers
Deals with ovarian cancers and their therapeutic management. Besides the epithelial tumors which are the most frequent, the rarer tumors, with attenuated malignancy, germ cells or of the ovarian stroma are also studied. Specialists from multiple backgrounds each deliver in their field the most recent knowledge on the fundamental aspects of the disease, its genetic, epidemiological and prognostic characteristics and its pathological peculiarities. Modern means of diagnosis are presented. The surgical technique, including laparoscopy, is detailed at the different stages of the disease. The therapeutic strategy aims to position the surgery and chemotherapy according to the stage. The current place of radiotherapy and isotopic therapies is indicated. Some more specific aspects are discussed, screening, lymph node dissection, the “second look”, intraperitoneal chemotherapy with or without hyperthermia, treatment of the elderly, monitoring after treatment… as well as the emergence of targeted therapies.
Biology and Control Theory : Current Challenges
Creating some links between control feedback and biology modeling communities based on similarities in modeling, observing and perceiving alive structures, and analyzing interconnections between biological structures and subsystems was the main objective of this volume. The idea of this book was conceived in the context mentioned above with the objective to help in claiming many of the problems for control researchers, starting discussions and opening interactive debates between the control and biology communities, and, finally, to alert graduate students to the many interesting ideas at the frontier between control feedback theory and biology.
Automated reasoning ; 3rd International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
