الصفحة 46
الصفحة 46
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.
Formalization of Banking Supervision : 19th–20th Centuries
Elaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, Belgium, France, and UK. This innovative study in the field of banking supervision history identifies why national histories of banking supervision share similarities, but also remain different and are heavily path dependent. This book will be of great interest not only to financial/economic historians but also to general readers interested in banking supervision, i.e., students, bankers, supervisors, and international officials.
Formal approaches to software testing and runtime verification ; 1st Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.
Formal approaches to software testing ; Vol. 3395 ; 4th International workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.
Forest Trees
Genome Mapping and Molecular Breeding in Plants presents the current status of the elucidation and improvement of plant genomes of economic interest. The focus is on genetic and physical mapping, positioning, cloning, monitoring of desirable genes by molecular breeding and the most recent advances in genomics. The series comprises seven volumes: Cereals and Millets; Oilseeds; Pulses, Sugar and Tuber Crops; Fruits and Nuts; Vegetables; Technical Crops; and Forest Trees. Forest trees cover one third of the global land surface, constitute many ecosystems and play a pivotal role in the world economy. Despite their importance in the economy, ecology and environment, genetic analysis and breeding efforts have lagged behind. Presented here are chapters on Populus trees, pines, Fagaceae trees, eucalypts, spruces, Douglas fir and black walnut, and a first-ever detailed review of Cryptomeria japonica. Innovative strategies to address the inherent problems of genome analysis of tree species are thoroughly discussed.
Forest Inventory : Methodology and Applications
This book has been developed as a forest inventory textbook for students and can also serve as a handbook for practical foresters. The book is divided into four sections. The first section deals mostly with sampling issues. First, we present the basic sampling designs at a fairly non-technical mathematical level. In addition, we present some more advanced sampling issues often needed in forest inventory. Those include for instance problems with systematic sampling, and methods for sampling vegetation or rare populations. Forest inventory also includes issues that are unique to forestry, like problems in measuring sample plots in the field, or utilising sample tree measurements. These issues include highly sophisticated methodology, but we try to present these also such that forestry students can grasp the ideas behind them. Each method is presented with examples. For foresters who need more details, references are given to more advanced scientific papers and books in the fields of statistics and biometrics.
Forest ecosystems and environments : Scaling up from shoot module to watershed
The Global Change Impacts on Terrestrial Ecosystems in Monsoon Asia (TEMA) project was carried out as a unique contribution to the international project Global Change and Terrestrial Ecosystems. TEMA aimed to integrate forest ecosystem processes. This volume presents the scaling-up concept for better understanding of ecosystem functioning.
Forensic psychology: crime, justice, law, interventions
Provides an introduction for more detailed postgraduate courses. Introduces forensic psychology to students and professionals who want to better understand psychology's expanding influence on the study of law, crime and criminality Forensic psychology is a constantly growing discipline, both in terms of student interest and as a profession for graduates. This book highlights the often sizeable gap between media myths surrounding forensic practice and reality. Editors Graham Davies and Anthony Beech present an exciting and broad range of topics within the field, including detailed treatments of the causes of crime, investigative methods, the trial process.
Forensic Ethics and the Expert Witness
The expert witness’ job is often described as a balancing act: duty to clients on the one hand, duty to society on the other. Forensic Ethics and the Expert Witness probes beyond this familiar conflict of interest framework to present a new, innovative model of professional ethics. Richly illustrated with cases from medicine, psychiatry, and law, this elegantly written volume examines the common moral ground that links these usually separate domains, and relates forensic ethics to larger concepts of morality and justice. In this integrative approach, the expert witness is redefined as one who can balance professional with societal and personal codes in what the authors call "robust professionalism."
Forensic and Legal Dentistry
Explains in detail diverse aspects of the law as it relates to dentistry and examines key issues in forensic odontostomatology. A central aim is to enable the dentist to achieve a realistic assessment of the legal situation and to reduce uncertainties and liability risk.
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 with Exponential Smoothing : The State Space Approach
Exponential smoothing methods have been around since the 1950s, and are the most popular forecasting methods used in business and industry. Recently, exponential smoothing has been revolutionized with the introduction of a complete modeling framework incorporating innovations state space models, likelihood calculation, prediction intervals and procedures for model selection. In this book, all of the important results for this framework are brought together in a coherent manner with consistent notation. In addition, many new results and extensions are introduced and several application areas are examined in detail.
Foot-and-Mouth Disease Virus
The chapters in this volume provide an account of the present knowledge and understanding of Foot and Mouth disease virus pathogenesis and global epidemiology, the detailed structure of the virus itself and the properties of its RNA genome. Also considered are the immune response of the host and the state of the art in vaccine production, and the nature of virus evolution.
Foodborne bacterial pathogens : Methods and protocols
This updated volume presents a compilation of various representative techniques and approaches currently used to study bacterial foodborne pathogens. Chapters guide the reader through bacterial pathogen detection and quantification in food, molecular, phenotypic, metabolic characterization of food pathogens, and ecology of foodborne bacterial pathogens. 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 key tips on troubleshooting and avoiding known pitfalls.
Food Safety Culture : Creating a Behavior-Based Food Safety Management System
Food safety awareness is at an all time high, new and emerging threats to the food supply are being recognized, and consumers are eating more and more meals prepared outside of the home. Accordingly, retail and foodservice establishments, as well as food producers at all levels of the food production chain, have a growing responsibility to ensure that proper food safety and sanitation practices are followed, thereby, safeguarding the health of their guests and customers. Achieving food safety success in this changing environment requires going beyond traditional training, testing, and inspectional approaches to managing risks. It requires a better understanding of organizational culture and the human dimensions of food safety. To improve the food safety performance of a retail or foodservice establishment, an organization with thousands of employees, or a local community, you must change the way people do things. You must change their behavior. In fact, simply put, food safety equals behavior.
Food lens = فود لينس
Food lens is an innovative application designed to revolutionize dietary management by leveraging advanced image recognition and nutritional analysis. The primary objective of this senior project is to develop a user-friendly tool that identifies various foods through a camera interface and provides detailed nutritional information. This application not only enhances the user's understanding of their dietary intake but also assists in achieving personalized health and fitness goals. The core functionality of Food Lens involves the integration of a robust image recognition system capable of accurately identifying a wide range of foods. Upon identification, the application retrieves comprehensive nutritional data, including calorie content, macronutrient distribution (proteins, fats, carbohydrates), and essential micronutrients (vitamins and minerals). This data is then seamlessly integrated into the user's dietary profile. Food Lens is designed to track the user's daily caloric intake and compare it against personalized recommendations based on age, gender, weight, height, and activity level. By maintaining a dynamic record of consumed foods, the application provides real-time feedback on the user’s nutritional progress. This feature is particularly beneficial for individuals aiming to manage weight, address dietary restrictions, or improve overall health.
Food chemistry : A laboratory manual
FOOD CHEMISTRY A manual designed for Food Chemistry Laboratory courses that meet Institute of Food Technologists undergraduate education standards for degrees in Food Science Every chapter offers introductory summaries of key methodological concepts and interpretations of the results obtained from food experiments. The book provides a supplementary online Instructor’s Guide useful for adopting professors that includes a Solutions Manual and Preparation Manual for laboratory sessions.
Food biotechnology
This work, with only six chapters, covers a fraction of the vast area of food biotechnology … . the detailed information included in each chapter is meticulously referenced and complete. … the chapters are well written and easy to understand. The many examples used by the authors give the book a very practical feel, making it an easier read than one might expect.
Food - drug interactions
The effect of drug on a person may be different than expected because that drug interacts with another drug the person is taking (drug-drug interaction), food, beverages, dietary supplements the person is consuming (drug-nutrient/food interaction) or another disease the person has (drug-disease interaction). A drug interaction is a situation in which a substance affects the activity of a drug, i.e. the effects are increased or decreased, or they produce a new effect that neither produces on its own. These interactions may occur out of accidental misuse or due to lack of knowledge about the active ingredients involved in the relevant substances. Regarding food-drug interactions physicians and pharmacists recognize that some foods and drugs, when taken simultaneously, can alter the body's ability to utilize a particular food or drug, or cause serious side effects.
Focal liver lesions : Detection, characterization, ablation
Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in imaging technology, the development of novel contrast agents, and the introduction of optimized scanning protocols have greatly facilitated the non-invasive detection and characterization of focal liver lesions. Furthermore, image-guided techniques for percutaneous tumor ablation have become an accepted alternative treatment for patients with inoperable liver cancer. This book provides a comprehensive and up-to-date overview of the role of diagnostic and interventional radiology in respect of liver tumors. The volume moves from background sections on methodology and segmental liver anatomy to the main sections on the diagnosis of benign and malignant liver lesions. An integrated approach, focused on the correlation of ultrasound, CT, and MR imaging findings, is presented. Finally, a full section describes the principles, methods, and results of percutaneous tumor ablation techniques.
