الصفحة 1
الصفحة 1
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism.
Oncology : An Evidence-Based Approach
Reflect the principles and current practice of oncology with contributors from the fields of medical, surgical, and radiation oncology. The textbook will incorporate an evidence-based approach, enabling the reader to make decisions on the basis of concrete data. Sections on solid tumors, hematologic malignancies and the practice of oncology address the natural history and therapy for the full spectrum of neoplastic diseases in the adult. Further sections present fundamentals of supportive care of the cancer patient, the management of oncologic emergencies and acute toxicities of therapy, as well as care of metastatic disease and the terminally-ill patient. Breaking new ground, the textbook features thoughtful, in-depth sections on cancer prevention and control, cancer surviorship, the economics of cancer care, and cancer informatics. Cancer imaging is covered with an organ system-based approach, with an additional chapter on the especially intriguing potential of PET. Furthermore, a comprehensive section on translational basic science reviews the fundamentals of molecular biology, the cell cycle and signal transduction, carcinogenesis, cancer genetics, the biology of invations and metastasis, and tumor immunology.
On the move to meaningful internet systems 2006 : OTM 2006 Workshops ; Vol. 4277 ; OTM Confederated International Conferences and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, On To Content, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part I
This two-volume set LNCS 4277/4278 constitutes the refereed proceedings of 14 international workshops held as part of OTM 2006 in Montpellier, France in October/November 2006. The 191 revised full papers presented were carefully reviewed and selected from a total of 493 submissions to the workshops. The first volume begins with 26 additional revised short or poster papers of the OTM 2006 main conferences.
On the move to meaningful internet systems 2006 : CoopIS, DOA, GADA, and ODBASE ; Vol. 4276 ; OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II
A two-volume set, which constitutes the refereed proceedings of the four confederated conferences CoopIS 2006, DOA 2006, GADA 2006, and ODBASE 2006 held as OTM 2006 in Montpellier, France. It contains 106 revised full and 9 short papers, which were carefully reviewed and selected from a total of 361 submissions.
On the move to meaningful internet systems 2006 : CoopIS, DOA, GADA, and ODBASE ; Vol. 4275 ; OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part I
This two-volume set LNCS 4275/4276 constitutes the refereed proceedings of the four confederated conferences CoopIS 2006, DOA 2006, GADA 2006, and ODBASE 2006 held as OTM 2006 in Montpellier, France in October/November 2006. The 106 revised full and nine short papers presented together with four keynote speeches were carefully reviewed and selected from a total of 361 submissions.
On the move to meaningful internet systems 2005 : OTM 2005 Workshops ; OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings
This book constitutes the joint refereed proceedings of nine international workshops held as part of OTM 2005 in Agia Napa, Cyprus in October/November 2005.The 145 revised full papers presented were carefully reviewed and selected from a total of 268 submissions. Topics addressed are agents, Web services and ontologies merging (AWeSOMe 2005), context-aware mobile systems (CAMS 2005), grid computing and its application to data analysis (GADA 2005), inter-organizational systems and interoperability of enterprise software and applications (MIOS+INTEROP 2005), object-role modeling (ORM 2005), a PHD symposium (PhDS 2005), semantic-based geographical information systems (SeBGIS 2005), Web semantics (SWWS 2005), and ontologies, semantics and e-learning (WOSE 2005)
On the move to meaningful internet systems 2005 : CoopIS, DOA, and ODBASE ; Vol. 3761 : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II
Constitutes the refereed proceedings of the three confederated conferences CoopIS 2005, DOA 2005, and ODBASE 2005 held as OTM 2005 in Agia Napa, Cyprus in October/November 2005. This title presents 89 revised and 7 short papers together with 3 keynote speeches that were reviewed and selected from a total of 360 submissions.
On the move to meaningful internet systems : OTM 2008 Workshops ; OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings
This volume constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey, Mexico, in November 2008.The 106 revised full papers presented were carefully reviewed and selected from a total of 171 submissions to the workshops. The volume starts with 19 additional revised poster papers of the OTM 2008 main conferences CoopIS and ODBASE. Topics of the workshop papers are ambient data integration (ADI 2008), agents and web services merging in distributed environment (AWeSoMe 2008), community-based evolution of knowledge-intensive systems (COMBEK 2008), enterprise integration, interoperability and networking (EI2N 2008), system/software architectures .
Oligomers- Polymer Composites -Molecular Imprinting
The series Advances in Polymer Science presents critical reviews of the present and future trends in polymer and biopolymer science including chemistry, physical chemistry, physics and material science.It is adressed to all scientists at universities and in industry who wish to keep abreast of advances in the topics covered.As a rule, contributions are specially commissioned. The editors and publishers will, however, always be pleased to receive suggestions and supplementary information.
Office Andrology
The investigation and management of male infertility can be a formidable diagnostic challenge to family physicians, urologists, and reproductive specialists alike. In Office Andrology, noted clinical physicians and scientists have joined forces to create a comprehensive resource guide to current diagnostic and treatment options for a broad spectrum of clinical issues relevant to male infertility disorders. Topics covered range from basic sperm biology and male reproductive endocrinology, to immunology, specialized sperm testing, and the genetic background to male infertility. Although emphasis is on the investigation, diagnostic testing, and management of the infertile male, controversial medical and surgical treatment options are also fully discussed. For the reproductive specialist, the text thoughtfully reviews such timely issues as gender selection, human immunodeficiency virus-discordance couples, and posthumous reproduction. Other topics of interest include laboratory accreditation, vasectomy reversal, ethical and legal considerations of donor insemination, optimizing success in a donor insemination program, and strategic therapies for ejaculatory disorders and erectile dysfunction in infertile men.
Odors In the Food Industry
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.
Ocean Wave Energy : Current Status and Future Prespectives
The authors of this reference provide an updated and global view on ocean wave energy conversion for wave energy developers as well as for students and professors. The book is orientated to the practical solutions that this new industry has found so far and the problems that any device needs to face. It describes the actual principles applied to machines that convert wave power in electricity. Additionally, an historical review, state of the art of modern systems, a full scale prototype experience, and future perspectives are given.
Obstetric medicine : A problem-based approach
This book is a collection of exam questions and case studies which illustrates both common and more unusual problems in obstetric medicine. Using a problem–based approach to both teach and test knowledge, it incorporates many different approaches to obstetric medicine, in Q & A format. The ‘Extended Matched Questions’ section covers the breadth of theoretical knowledge. The ‘Short Answers / Data Interpretation’ section requires a systematic approach to a clinical problem. Most of the case reports are based on real cases and all are accompanied by a brief literature review to further broaden the learning experience.
Obstetric life support manual
A comprehensive review in normal and abnormal pregnancy physiology, the most common etiologies of maternal medical emergencies, recognition of maternal deterioration and pending cardiopulmonary arrest, modifications to cardiopulmonary resuscitation in pregnant and postpartum patients, special procedures that can assist in diagnosing and treating maternal medical emergencies tailored to the setting (e.g., point-of-care ultrasound, resuscitative cesarean delivery, extracorporeal cardiopulmonary resuscitation), treatment of trauma/stroke in pregnancy, and postpartum maternal medical emergencies. There are streamlined algorithms and cognitive aids designed to improve a team’s ability to successfully implement techniques unique to treating maternal medical emergencies and car..
Object-Oriented Technology ; ECOOP 2006 Workshop Reader ; ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
ECOOP Workshop Reader, a c- pendium of workshop reports pertaining to the ECOOP 2006 conference, held in Nantes during July 3–7, 2006. ECOOP 2006 hosted 19 high-quality research workshops covering a large spectrum of hot research topics. These workshops were chosen through a tight peer review process following a speci?c call for proposals.
Object-Oriented Technology ; ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings
For the ?fth time in its history, in cooperation with Springer-Verlag, the European C- ference on Object-Oriented Programming (ECOOP) conference series is glad to offer the object-oriented research community the ECOOP 2001 Workshop Reader, a c- pendium of workshop reports, panel transcripts, and poster abstracts pertaining to the ECOOP 2001 conference, held in Budapest from 18 to 22 June, 2001. ECOOP 2001 hosted 19 high-quality workshops covering a large spectrum of - search topics. The workshops attracted 460 participants on the ?rst two days of the conference. Originally 22 workshops were chosen from 26 proposals by a workshop selection committee, following a peer review process. Due to the overlaps in the areas of interest and the suggestions made by the committee six of the groups decided to merge their topicsintothreeworkshops.
Obesity and Diabetes
The increasing prevalence of diabetes and obesity in western societies today makes these two diseases the leading epidemics of the 21st century. Closely linked with the development of serious complications, including cardiovascular disease and several malignancies, the morbidity and mortality associated with obesity and diabetes will continue to escalate as the population ages and becomes more sedentary. In Obesity and Diabetes, international experts from world-renowned medical schools comprehensively review for practicing clinicians and scientists alike the latest understanding of the epidemiology, causation, and consequences of diabetes and obesity.
Obesity and Cancer
This book highlights the concordance between signaling pathways that are involved in obesity and cancer cross-talks. It describes the role of cytokines, chemokines, growth factors, insulin, and adipokines in the development of obesity-associated cancers. The book reviews the role of inflammatory signaling pathways such as estrogen-mediated signaling, mTOR and AMP-activated protein kinase pathway and the involvement of adaptive and innate immunity, oxidative stress, gene polymorphism, dietary phytochemicals, and miRNAs in obesity and cancer. In addition, it covers the latest research on the drugs and natural therapeutic agents that target obesity-induced cancers and discusses various in vivo models for studying obesity and obesity-associated cancer. Lastly, it analyses the role of genetic polymorphisms in the obesity-related genes that influence cancer development.
Nutrition and Rheumatic Disease
It is difficult, if not impossible, for health care providers to remain at the forefront of knowledge for all aspects of nutrition and rheumatic diseases. In Nutrition and Rheumatic Disease, experts provide a comprehensive review of current knowledge regarding nutrition and dietary management for the complex set of rheumatic conditions. Within the disease-specific chapters, the authors present a historical perspective, a discussion of the major clinical features, current management and treatment, a review of the literature related to nutritional status and diet, and dietary recommendations, based on current scientific evidence. The field of rheumatic diseases includes a wide variety of pathologic processes. Adequate reviews of the scientific literature on each of the rheumatic diseases in Nutrition and Rheumatic Disease alleviate the inherent confusion surrounding the risks and benefits of various dietary therapies.
Nutrition and diet in health: Principles and applications
Food provides us with essential nutrients involved in many physiological activities and biological processes in the body including growth and development, metabolism, immune function, and overall well-being. Nutrition and Diet in Health: Principles and Applications reviews and discusses the issues related to the roles of nutrition and diets in human health and diseases. The book contains two sections - one section features principles, the other, covers applications. Part One provides information on sustainable use of nutrition and diets in health and diseases; advanced biotechnological approaches to improve nutritional content of food; trace elements in nutrition; drug and nutrient interactions; functional foods and nutraceuticals in health maintenance; and Bio markers of functional foods and nutraceuticals in health maintenance. Part Two discusses the significance of nutrition in selected human diseases, including cardiovascular diseases, cancer, infection, neurodegenerative diseases, and metabolic co-morbidities. It also discusses optimal nutrition for wellness, fitness, pregnancy, mental health, aging, and longevity.
