الصفحة 19
الصفحة 19
Fortschritte der Chemie organischer Naturstoffe = Progress in the chemistry of organic natural products 88
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared under the Springer Imprint ever since the series' inauguration in 1938. The volumes contain contributions on various topics related to the origin, distribution, chemistry, synthesis, biochemistry, function or use of various classes of naturally occurring substances ranging from small molecules to biopolymers. Each contribution is written by a recognized authority in his field and provides a comprehensive and up-to-date review of the topic in question. Addressed to biologists, technologists, and chemists alike, the series can be used by the expert as a source of information and literature citations and by the non-expert as a means of orientation in a rapidly developing discipline.
Formalizing the Shadow Economy in Serbia : Policy Measures and Growth Effects
The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy in order to improve the competitiveness of the economy and contribute to economic growth; it explores these issues with special reference to Serbia. The size and development of the shadow economy in Serbia and other Central and Eastern European countries are estimated using two different methods (the MIMIC method and household-tax-compliance method). Micro-estimates are based on a special survey of business entities in Serbia, which for the first time allows us to explore the shadow economy from the perspective of enterprises and entrepreneurs.
Formal techniques for computer systems and business processes ; European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
Formal Methods for Components and Objects ; Vol. 3657 ; 3rd International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Formal Methods and Stochastic Models for Performance Evaluation ; 4th European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.The 20 revised full papers presented were carefully reviewed and selected from 53 submissions.
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
Formal Approaches to Agent-Based Systems ; 3rd International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.
Foreign Exchange Rate Forecasting using Artificial Neural Networks
In this monograph, the authors try to apply artificial neural networks (ANNs) to exchange rates forecasting. Selection of the ANN approach for - change rates forecasting is because of ANNs’ unique features and powerful pattern recognition capability. Unlike most of the traditional model-based forecasting techniques, ANNs are a class of data-driven, self-adaptive, and nonlinear methods that do not require specific assumptions on the und- lying data generating process. These features are particularly appealing for practical forecasting situations where data are abundant or easily available, even though the theoretical model or the underlying relationship is - known. Furthermore, ANNs have been successfully applied to a wide range of forecasting problems in almost all areas of business, industry and engineering.
Forefoot Reconstruction
For a long time, forefoot surgery had many disadvantages including a painful postoperative period and recurrence of deformities. New techniques – notably Scarf, the first metatarsal osteotomy and the Weil osteotomy of the lesser metatarsal – provide a significant improvement in the treatment of static forefoot disorders. The great toe osteotomy has also been greatly improved. Since 1991, the author has introduced these techniques in many countries, while developing and studying the corresponding implants and the postoperative period. He has also developed surgical management techniques that bridge these different osteotomies. More than 1000 surgeons around the world are using these techniques, which are now widely taught. In this second edition of the book the general presentation is clearer and more pleasant and many pictures have been replaced. Several topics are emphasized, notably the great toe proximal phalanx osteotomy, the joint preservative surgery in severe forefoot disorders, including revision after failed bunionectomy and rheumatoid forefoot following the "ms” point for an accurate and effective metatarsal shortening. Lastly, new procedures are exposed, particularly in Claw toe and hammer with the PIP plantar release and the surgery of the middle phalanx and also the Weil osteotomy of the first metatarsal in hallux limitus.
Forecasting Innovations : Methods for Predicting Numbers of Patent Filings
This is a practical guide to solutions for a case study of forecasting demand for services and products in international markets - and so much more than just another listing of dry theoretical methods. Leading experts present studies on improvements to methods for forecasting numbers of incoming patent filings at the European Patent Office. Studies are presented from econometric, survey and systems theory viewpoints.
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples.
Food Materials Science : Principles and Practice
Food manufacture is about producing billions of units of standardized products which must be cheap, nutritious, safe and appealing to the consumer’s taste. Food products are complex multicomponent and structured edible materials that nevertheless must comply with the laws of physics and fundamentals of engineering sciences. In the last 20 years the design of food products with specific functionalities has advanced significantly by the application of scientific knowledge from disciplines such as polymer physics, colloidal and mesoscopic physics, materials science and new imaging and probing techniques borrowed from chemistry, biology and medicine. Our knowledge of the relationship between microstructure, processing, and macroscopic properties continues to increase as the science of food materials advances at a fast pace.
Food irradiation
Treatment of food by specific ionizing radiations to improve microbiological safety and storability is one of the most extensively studied technology of the XXth century. However, much of the research has been carried out in laboratories and it is still relatively underutilized commercially. Its application potential is very diverse, from inhibition of sprouting of tubers and bulbs to production of commercially sterile food products. The safety of consumption and wholesomeness of irradiated food have been extensively studied in international cooperations. Numerous international expert groups set up jointly by the FAO, the IAEA and the WHO, or the Scientific Committee on Food of the European Commission concluded that foods irradiated with appropriate technologies are both safe and nutritionally adequate. A Codex General Standard for Irradiated Foods and a Recommended International Code of Practice for Radiation Processing of Food have been developed.
Food Biotechnology in Ethical Perspective
Agrifood biotechnology—the genetic transformation of plants and animals through recombinant means—has created controversy in the food system for more than twenty years. The new edition reflects lessons from the hotly contested debates over those issues in the intervening decade, and includes wholly new discussions on ethical issues associated with livestock cloning, the Precautionary Principle, and the transatlantic debate between United States and European perspectives on biotechnology.
Food allergies processing technologies for allergenicity reduction
Provides an authoritative source of information on the relationship between food processing technologies and food allergens with a greater variety of studied allergens including peanuts, tree nuts, cow’s milk, eggs, sesame, lupine, soy, wheat, mustard, mushroom, fish and shellfish, as well as the importance of processing these when producing hypoallergenic foods.
FLOMANIA - A European Initiative on Flow Physics Modelling ; Results of the European-Union funded project, 2002 - 2004
The book presents an introduction to the project, exhibits partners’ methods and approaches, and provides comprehensive reports (i.e. definition as well as results) of all applications treated in the project. Moreover, a complete chapter is devoted to a description of turbulence models used by the partners together with a section on lessons learnt – accompanied by a comprehensive list of references.
Fixed income trading and risk management : The complete guide
Fixed Income Trading and Risk Management: The Complete Guide delivers a comprehensive and innovative exposition of fixed income markets. Written by European Central Bank portfolio manager Alexander During, this book takes a practical view of how several different national fixed income markets operate in detail.
Fish Histology : Female Reproductive Systems
This volume describes the myriad ways in which fish have approached problems of reproduction — it is an amply illustrated comparative study of the microscopic structure of the female genital systems of fish. The timing of its appearance is auspicious in that it coincides with the decline of the golden age of descriptive morphology. It is a compilation of thousands of micrographs — mostly electron micrographs — from classic works in the field and should prove valuable to investigators studying fish in areas such as ecology, physiology, and reproductive biology who may view histology as essential in their work but have little background in this area. It includes chapters on the origin of genital systems, the structure of ovarian follicles, mechanisms of ovulation, the cortical reaction, oviducts, oviparity, and amazing examples of viviparity.
