الصفحة 49
الصفحة 49
Finite model theory and its applications
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics.
Finite Model Theory ; 2nd ed.
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.
Fine- and Coarse-Grain Reconfigurable Computing
The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods and existing fine-grain reconfigurable architectures emerged from both academia and industry. Additionally, the implementation techniques and CAD tools developed to facilitate the implementation of a system in reconfigurable hardware by the industry and academia are provided.
Financial Technology : Case Studies in Fintech Innovation
Combines theoretical and commercial perspectives informed by the author's professional experience and academic research Thoroughly explains key technologies and emerging business models in a clear and accessible manner for those with no technological background Includes a mix of international case studies from large financial services organizations and smaller start-ups, including Lloyds Bank, TransferWise, Generali, Starling and Stocktwits Covers the topics required for postgraduate and undergraduate Financial Technology courses and includes learning objectives and discussion questions based on case studies
Finance 4.0 - towards a socio-ecological finance system : A participatory framework to promote sustainability
The first is Bitcoin that infamously pursues a state-independent, decentralized conception of money. The second is Finance 4.0, a system that proposes a participatory multi-dimensional money system with built-in incentives for sustainable behavior
Filoviruses : A Compendium of 40 Years of Epidemiological, Clinical, and Laboratory Studies
This book summarizes in detail the contemporary knowledge of filoviruses and diseases they cause. Almost the entirety of the open literature on filoviruses, covering all major scientific and clinical fields, is referenced and summarized in this text, including most of the conference abstracts, book chapters, dissertations, government reports, patents, theses, and journal publications in many languages.
Field Measurements for Forest Carbon Monitoring : A Landscape-Scale Approach
This volume is a comprehensive guide to the methods and techniques employed in forest carbon inventory and monitoring. Since forest carbon research is interdisciplinary, it is unlikely that any one investigator will possess expertise in all of the types of measurements needed to conduct forest carbon research at scales larger than a forest stand. Techniques used to characterize standing stocks of carbon in a forest, measure key carbon fluxes, and collect related data (such as forest canopy nitrogen concentrations and meteorological measurements) that are required to drive process models, develop predictive relationships, and link to remote sensing data are described in detail. In addition to the measurement methods, the chapters include background information, necessary calculations, and equipment requirements.
Fibre reinforced concrete : Improvements and innovations II : X rILEM-fib international symposium on fibre reinforced concrete (BEFIB) 2021
Highlights the latest advances, innovations, and applications in the field of fibre-reinforced concrete (FRC). It discusses a diverse range of topics concerning FRC: technological aspects, nanotechnologies related with FRC, mechanical properties, long-term properties, analytical and numerical models, structural design, codes and standards, quality control, case studies, Textile-Reinforced Concrete, Geopolymers.
Feyerabend’s Epistemological Anarchism : How Science Works and its Importance for Science Education
argues that the traditional image of Feyerabend is erroneous and that, contrary to common belief, he was a great admirer of science. It shows how Feyerabend presented a vision of science that represented how science really works. Besides giving a theoretical framework based on Feyerabend´s philosophy of science, offers criteria that can help readers to evaluate and understand research reported in important international science education journals, with respect to Feyerabend’s epistemological anarchism. includes an evaluation of general chemistry and physics textbooks.
Fetal and Neonatal Pathology
The book presenting the same practical approach to the examination of both fetuses and perinatal deaths. It provides essential clinical and pathophysiological information and discusses the pathogenesis of abnormalities as a basis for appropriate methods of investigation. Part 1 deals with the examination of the products of conception after the termination of pregnancy for fetal anomalies. The range of pathological abnormalities is described and their relevance discussed. Special attention is paid to the differences in pathological findings of specific conditions between the second and third trimesters. Part 2 is organised by system, describing and illustrating those pathological problems which are likely to be encountered in the fetus and neonate. Each chapter is introduced by a concise account of the development of the relevant system. There is also a discussion, as appropriate, of changes at birth as well as changes in normal function that may occur during the neonatal period.
Ferroptosis : Methods and protocols
A comprehensive collection of experimental protocols for investigating ferroptosis in different systems, including cultured cells, animal models, and human tissues. The techniques covered in this book look at various aspects of ferroptosis ranging from the detection of lipid peroxidation to the measurement of glutathione peroxidase activity and the evaluation of mitochondrial morphology. Chapters also discuss basic molecular biology methods such as quantitative PCR and immunoblotting, and advanced imaging techniques such as transmission electron microscopy and confocal fluorescence microscopy. 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.
Fecal Incontinence : Diagnosis and Treatment
Fecal incontinence is a frequent, distressing condition that has a devastating impact on patients’ lives. However, patients are typically embarrassed and reluctant to acknowledge this disability, so they relinquish the possibility of being cured and remain socially isolated. Since fecal incontinence may result from various pathophysiological situations, an accurate diagnostic work-up of each patient is fundamental. Today, a wide range of therapeutic options is available, but making the correct choice is pivotal to the successful management of this condition. This book is aimed at all physicians involved in the assessment and treatment of fecal incontinence. Its main purpose is to review the latest advances in the epidemiologic, socio-economic, psychologic, diagnostic, and therapeutic aspects of fecal incontinence, in order to establish guidelines for effective treatment.
Fearless leadership : Managing fear, leading with courage and strengthening authenticity
All management starts with self-management - handle fear and become an authentic leader. Often, the problem with management is not theoretical, but practical. Managers know enough about leadership, but a lot of them do not act accordingly.
Fault-Tolerance Techniques for SRAM-Based FPGAs
This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing the model of the problem and the upset effects in the programmable architecture. In the sequence, it shows the main fault tolerance techniques used nowadays to protect integrated circuits against errors. A large set of methods for designing fault tolerance systems in SRAM-based FPGAs is described. Some presented techniques are based on developing a new fault-tolerant architecture with new robustness FPGA elements. Other techniques are based on protecting the high-level hardware description before the synthesis in the FPGA.
Fault-Diagnosis Systems : An Introduction from Fault Detection to Fault Tolerance
This book gives an introduction into the field of fault detection, fault diagnosis and fault-tolerant systems with methods which have proven their performance in practical applications. It guides the reader in a structured tutorial style: supervision methods, reliability, safety, system integrity and related terminology; fault detection with signal-based methods for periodic and stochastic signals; fault detection with process model-based methods like parameter estimation, state estimation, parity equations and principal component analysis; fault diagnosis with classification and inference methods; fault-tolerant systems with hardware and analytical redundancy; many practical simulation examples and experimental results for processes like electrical motors, pumps, actuators, sensors and automotive components; end-of-chapter exercises for self testing or for practice.
FASTtrack : Pharmaceutics - dosage form and design
Discusses an array of major dosage forms that are commonly encountered by pharmacists in professional practice. Essential information concerning the formulation of these dosage forms is delivered in a format that will aid your understanding and remove the complexities of the various topics.
Fast software encryption ; Vol. 4047 ; 13th international workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored for the last ?ve years by the International Association for Cryptologic Research (IACR), and previous FSE workshops have been held around the world: 1993 Cambridge, UK 1994 Leuven, Belgium 1996 Cambridge, UK 1997 Haifa, Israel 1998 Paris, France 1999 Rome, Italy 2000 New York, USA 2001 Yokohama, Japan 2002 Leuven, Belgium 2003 Lund, Sweden 2004 New Delhi, India 2005 Paris, France The FSE workshop is devoted to research on fast and secure primitives for symmetric cryptography, including the design and analysis of block ciphers, stream ciphers, encryption schemes, analysis and evaluation tools, hash fu- tions, and message authentication codes.
Fast software encryption ; Vol. 3557 ; 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers
The Fast Software Encryption 2005 Workshop was the twelfth in a series of annual workshops on symmetric cryptography, sponsored for the fourth year by the International Association for Cryptologic Research (IACR). The workshop concentratedonallaspectsoffastprimitivesforsymmetriccryptology, including thedesign, cryptanalysisandimplementationofblockandstreamciphersaswell as hash functions and message authentication codes. The ?rst FSE workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in 1996, Haifain1997, Parisin1998, Romein1999, NewYorkin2000, Yokohamain2001, Leuven in 2002, Lund in 2003, and New Delhi in 2004. This year, a total of 96 submissions were received. After an extensive review by the Program Committee, 30 submissions were accepted.
Fast Motions in Biomechanics and Robotics : Optimization and Feedback Control
In the past decades, much progress has been made in the field of walking robots. The current state of technology makes it possible to create humanoid robots that nearly walk like a human being, climb stairs, or avoid small - stacles. However, the dream of a robot running as fast and as elegantly as a human is still far from becoming reality. Control of such fast motions is still a big technological issue in robotics, and the maximum running speed of contemporary robots is still much smaller than that of human track runners. The conventional control approach that most of these robots are based on does not seem to be suitable to increase the running speeds up to a biological level.
Fashion recommender systems
The impact of social networks and the influence that fashion influencers have on the choices people make for shopping is undeniable. For instance, many people use Instagram to learn about fashion trends from top influencers, which helps them to buy similar or even exact outfits from the tagged brands in the post. When traced, customers’ social behavior can be a very useful guide for online shopping websites, providing insights on the styles the customers are really interested in, and hence aiding the online shops in offering better recommendations and facilitating customers quest for outfits.
