الصفحة 20
الصفحة 20
Foundations of Intelligent Systems ; 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings
This volume contains the papers selected for presentation at the 13th International Symposium on Methodologies for Intelligent Systems ISMIS 2002, held in Lyon, France, 27-29 June, 2002. The symposium was organized by the UniversitØ ClaudThe program committee selected the following major areas for ISMIS 2002: Intelligent Multimedia, Intelligent Information Retrieval, Intelligent Information Systems, Knowledge Representation and Integration, Learning and Knowledge Discovery, Logic for Artificial Intelligence, Methodologies (modeling, design, validation, performance evaluation), and Soft Computing.
Foundations of Data Mining and Knowledge Discovery
This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art for much of the current research. This book will prove extremely valuable and fruitful for data mining researchers, no matter whether they would like to uncover the fundamental principles behind data mining, or apply the theories to practical applications.
Foundational texts in modern criminal law
Presents essays in which scholars from various countries and legal systems engage critically with formative texts in criminal legal thought since Hobbes. It examines the emergence of a transnational canon of criminal law by documenting its intellectual and disciplinary history and provides a snapshot of contemporary work on criminal law within that historical and comparative context.
Formation and Early Growth of Business Webs: Modular Product Systems in Network Markets
Networks of firms have been in the focus of management research for several years. Recently, special attention has been paid to so-called business webs. Business webs are networks of firms which provide complements to a common product architecture.The present book explicitly examines the formation and early growth of business webs. The author illustrates the early growth phases with two in-depth cases of the formation of the wireless internet ecosystem i-mode and the leading person-to-person online auction platform eBay. The book uncovers the contingencies under which the establishment of business webs is likely to succeed. Business researchers will benefit from the theoretical framework, while interested business managers will find explanations and advice for establishing a business web.
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 Methods for Open Object-Based Distributed Systems ; Vol. 3535 ; 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventh meeting ofthis conference series, whichis held roughly every year and a half, with the earlier events held respectively in Paris, Canterbury, Florence, Stanford, Twente, and Paris. The goal of the FMOOD Sseries of conferences is to bring together researchers whose work encompasses three important and related fields: - formal methods; - distributed systems; - object-based technology. Sucha convergenceis representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems.
Formal aspects in security and trust ; Vol. 173 ; IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Formal aspects in security and trust ; 4th International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). FAST2006 aimed at continuing the successful e?ort of the previous three FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust.
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.
Forging New Frontiers : Fuzzy Pioneers I
The 2005 BISC International Special Event-BISCSE’05 " FORGING THE FRONTIERS" was held in the University of California, Berkeley, “WHERE FUZZY LOGIC BEGAN, from November 3 – 6, 2005. The successful applications of fuzzy logic and it’s rapid growth suggest that the impact of fuzzy logic will be felt increasingly in coming years. Fuzzy logic is likely to play an especially important role in science and engineering, but eventually its influence may extend much farther. In many ways, fuzzy logic represents a significant paradigm shift in the aims of computing - a shift which reflects the fact that the human mind, unlike present day computers, possesses a remarkable ability to store and process information which is pervasively imprecise, uncertain and lacking in categoricity.
Forest Restoration in Landscapes
This book integrates the restoration of forest functions into landscape conservation plans. and this book represents the collective body of knowledge and experience of WWF and its many partners--which is collected here for the first time and which will be invaluable to all of those working in the field. This guide will serve as a first stop for practitioners and researchers in any organization or region and as a key reference on the subject. Along with concise, practical information for a variety of specific systems and issues, it gives many suggestions for further research.
Forensic pathology of trauma
The practice of forensic pathology includes the collection and analysis of evidence in relation to a corpse in order to establish the cause of death. Knowledge of the cause of death contributes to the determination of the manner of death by medical examiners and coroners, who are occasionally assisted by law enforcement officers. In the process of establishing the cause and manner of death, representatives of various investigative bodies have several responsibilities, including explaining the death to family members, attempting to reduce the risk of similar deaths in the future, and, if applicable, apprehending the individuals who are responsible for the death. The most well-known and popular role of a forensic pathologist is in the inves- gation of cases of suspicious death; however, most medicolegal autopsies involve unexpected deaths that are above suspicion, many of which are caused by trauma (trauma being defined as any physical force or agent that causes bodily harm). The purpose of Forensic Pathology of Trauma: Common Problems for the Pathologist is to provide practical advice and information about the conduct of the forensic autopsy in cases of trauma, and to offer guidance about the analysis of the autopsy findings in these cases.
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.
Fluid dynamics of cavitation and cavitating turbopumps
The book focuses on the fluid dynamics of cavitation with special reference to high power density turbopumps, where it represents the major source of performance and life degradation and often generates the conditions for the onset of dangerous fluid dynamic instabilities. To this purpose the first part of the book covers the more fundamental aspects of cavitation (nucleation, bubble dynamics, thermodynamic effects, cavitation erosion, stability of parallel bubbly flows) and the main kinds of cavitating flows (attached cavitation, cloud cavitation, supercavitation, ventilated supercavities, vortex cavitation, shear cavitation). The second part focuses on the hydrodynamics and instabilities of cavitating turbopumps (cavitation surge, rotating cavitation, higher order cavitation surge, rotordynamic whirl forces). Finally, the third part illustrates the alternative approaches for modeling and engineering simulation of cavitating flows.
Flower Breeding and Genetics : Issues, Challenges and Opportunities for the 21st Century
This book provides a unique and valuable resource on the many issues and challenges facing flower breeders, as well as the industry at-large. In this volume, the first comprehensive assemblage of its kind, a team of 32 international authorities has contributed to make this book a ‘must-have’ reference to research and develop flower crops for the 21st century consumers. Part 1 of this book (flower breeding program issues) contains unique features of interest to horticultural professionals and students, include coverage of plant protection strategies, cultivar trialing methodology, germplasm collection/preservation, preventing invasiveness, and other timely topics. The collective body of knowledge for 24 flower crops (Part 2: Crop-specific Breeding and Genetics) represents the in-depth science and art of breeding technology available for bedding plants, flowering potted plants, cut flowers, and herbaceous perennials. Each author provides crop-specific history, evolution, biology, taxonomy, state-of-the-art breeding/genetics, classical/molecular technologies, species traits, interspecific hybridization, and directions for future development/enhancement.
Flexible Query Answering Systems ; 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006
This book constitutes the refereed proceeding of the 7th International Conference on Flexible Query Answering Systems, FQAS 2006, held in Milan, Italy in June 2006. The 60 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on flexibility in database management and quering, vagueness and uncertainty in XML quering and retrieval, information retrieval and filtering, multimedia information access, user modeling and personalization, knowledge and data extraction, intelligent information extraction from text, and knowledge representation and reasoning.
Flexible Databases Supporting Imprecision and Uncertainty
This volume collects selected contributions on the application of heterogeneous methods for managing uncertainty and imprecision in databases. It contains both survey chapters on classic topics such as "flexible querying in databases", and up to date ontributions on "database models to represent imperfect data". Further, it includes specific contributions on uncertainty management in database integration, and in representing and querying semistructured and spatial data. These topics are of particular relevance nowadays with the diffusion of the internet since, most of the time, applications require information spread across several information sources and their integration may result in inconsistent information.
Flavonoids as nutraceuticals
Flavonoids are well-known plant metabolites that have extraordinary properties that can be used for treating health issues. The pharmaceutical importance of flavonoids is due to their anti-depressant, anti-viral, anti-inflammatory, and antioxidant capacities. They are also of great importance when it comes to neuroprotection, cardiovascular disorders, and many types of cancer. Flavonoids are also easily available and produce less harmful side effects than some conventional therapeutics. This new volume examines the growing use of flavonoids for prevention and treatment of diseases and discusses their beneficial mechanisms. Chapters in the volume address diverse uses as anti-aging tools, as anti-inflammatory agents, for treating pregnancy-induced disorders, as a promising tool to combat infection of Covid-19, etc. The book explores their specific therapeutic antiviral potentials, the gene expression by flavonoids, and the role of flavonoids in agriculture.
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.
Fiscal Equalization : Challenges in the Design of Intergovernmental Transfers
These original essays highlight the state of knowledge in intergovernmental transfer design. They represent creative new thinking about challenging policy issues and offer useful options for policy makers. There is a genuine need for this book; it will become a 'benchmark' reference. I am impressed with its content, organization, readability, and fresh thematic approach.
