Page 26
Page 26
Formal Methods and Software Engineering ; 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.
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.
Food Anxiety in Globalising Vietnam
This book approaches the anxieties inherent in food consumption and production in Vietnam. The country’s rapid and recent economic integration into global agro-food systems and consumer markets spurred a new quality of food safety concerns, health issues and distrust in food distribution networks that have become increasingly obscured. This edited volume further puts the eating body centre stage by following how gendered body norms, food taboos, power structures and social differentiation shape people’s ambivalent relations with food. It uncovers Vietnam’s trajectories of agricultural modernisation against which consumers and producers manoeuvre amongst food self-sufficiency, security and abundance. It provides social science perspectives on anxieties related to food and surrounding discourses that travel between the local and the global, the individual and society and into the body. Therefore, the book’s lens of food anxiety matters for social theory and for understanding the embeddedness and discontinuities of food globalizations in Vietnam and beyond.
Flexitranstore ; Special session in the 21st International symposium on high voltage engineering (ISH 2019)
This book comprises 10 high-level papers on research and innovation within the Flexitranstore Project that were presented at the FLEXITRANSTORE special session organized as part of the 21st International Symposium on High Voltage Engineering.
FitBuddy : An artificial intelligence powered personal trainer
FitBuddy App is a sports application that employs artificial intelligence in its job as a personal trainer that enables users to exercise anywhere with convenience, tremendous benefit, and high accuracy. The user can exercise with or without weights, in addition to cycling and running. The user must first provide the application with the personal data it has asked for in order to create an appropriate sports program for the user. After that, the user may explore the sports program's weeks and day's sections.
Fish and Diadromy in Europe (ecology, management, conservation)
This book contains selected papers from an international symposium organised by the Diadfish network held in Bordeaux (France) in 2005. Readers will find up-to-date information on the ecology, ecotoxicology and physiology of several diadromous species (Atlantic salmon, shads, lampreys, eels) and this whole group in Europe. Main impacts are also documented and analysed in case studies, and solutions or remediation actions are presented.
First course on fuzzy theory and applications
This basic textbook gives an easily accessible introduction to Fuzzy theory and its applications. It provides basic and concrete concepts of the field in a self-contained, condensed and understandable style. This "First Course on Fuzzy Theory and Applications" includes numerous examples, descriptive illustrations and figures of the basic concepts, as well as exercises at the end of each chapter. The author has long time experience in teaching on fuzzy theory and its applications and continuously developed and summarized his didactic lecture notes into this book. This book can be used in introductory graduate and undergraduate courses in Fuzziness and Soft Computing and is recommendable to students, scientists, engineers, or professionals in the field for self-study.
Finding the limits of the limes : Modelling demography, economy and transport on the edge of the Roman Empire
This book demonstrates the application of simulation modelling and network analysis techniques. The book shows the added value of state-of-the-art computer modelling techniques and bridges computational and conventional approaches. Topics that will be of particular interest to archaeologists are the question of (forced) surplus production, the demographic and economic effects of the Roman occupation on the local population, and the structuring of transport networks and settlement patterns. For modellers, issues of sensitivity analysis and validation of modelling results are specifically addressed. This book will appeal to students and researchers working in the computational humanities and social sciences, in particular, archaeology and ancient history.
Financial cryptography and data security Vol. 4107 ; 10th International Conference, FC 2006 Anguilla, British West Indies, February 27 - March 2, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography and Data Security, FC 2006, held in Anguilla, British West Indies in February/March 2006. The 19 revised full papers and six revised short papers presented were carefully reviewed and selected from 64 submissions.
Financial cryptography and data security ; FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, in Kota Kinabalu, Malaysia, in February 2020. The 39 full papers and 3 short papers presented in this book were carefully reviewed and selected from 73 submissions. The papers feature four Workshops: The 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020.
Financial cryptography and data security ; 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial Cryptography and Data Security, FC 2008, held in Cozumel, Mexico, in January 2008.The 16 revised full papers and 9 revised short papers presented together with 5 poster papers, 2 panel reports, and 1 invited lecture were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on attacks and counter measures, protocols, theory, hardware, chips and tags, signatures and encryption, as well as anonymity and e-cash.
Financial crisis management and democracy : Lessons from Europe and Latin America
This book discusses financial crisis management and policy in Europe and Latin America, with a special focus on equity and democracy. Based on a three-year research project by the Jean Monnet Network, this volume takes an interdisciplinary, comparative approach, analyzing both the role and impact of the EU and regional organizations in Latin America on crisis management as well as the consequences of crisis on the process of European integration and on Latin America’s regionalism.
Filtering Theory : With Applications to Fault Detection, Isolation, and Estimation
The focus of this book is on filtering for linear processes, and its primary goal is to design filters from a class of linear stable unbiased filters that yield an estimation error with the lowest root-mean-square (RMS) norm. Various hierarchical classes of filtering problems are defined based on the availability of statistical knowledge regarding noise, disturbances, and other uncertainties. An important characteristic of the approach employed in this work for several aspects of filter analysis and design is structural in nature, revealing an inherent freedom to incorporate other classical secondary engineering constraints—such as placement of filter poles at desired locations—in filter design. Such a structural approach requires an understanding of powerful tools that then may be used in several engineering applications besides filtering.
Fieldwork for Design : Theory and Practice
Fieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the workplace, for the home and elsewhere. It presents a history of ethnography, both as it was practiced before computer science picked it up and since, most especially in the CSCW and HCI domains. It examines, further, the various ethnographic or ‘fieldwork’ frameworks currently popular, explaining and examining what each claims and entails. The focus of the book throughout is on the practical relationship between theory and practice, a relationship that is often misunderstood yet fundamental to successful design.
Fiber-based Dispersion Compensation
Dispersion management is a critical design criterion that characterizes the performance of an optical network, and has impacted almost every aspect of the physical layer of an optical transmission line. The past 10 years have seen an explosion in the variety of device effects exploited to obtain optimal performance from dispersion compensators, and this is the first book that deals exclusively with this technology.
Fault Diagnosis of Analog Integrated Circuits
Fault Diagnosis of Analog Integrated Circuits is a textbook for advanced undergraduate and graduate level students as well as practicing engineers. The objective of this book is to study the testing and fault diagnosis of analog and analog part of mixed signal circuits. A background in analog integrated circuit, artificial neural network is desirable but not essential.
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.
Famine Early Warning Systems and Remote Sensing Data
This book describes the interdisciplinary work of USAID’s Famine Early Warning System Network (FEWS NET) and its in uence on how food security crises are identi ed, documented and the kind of responses that result. The book describes FEWS NET’s systems and methods for using satellite remote sensing to identify and describe how biophysical hazards impact the lives and livelihoods of the po- lation where they occur. It presents several illustrative case studies that will dem- strate the integration of both physical and social science disciplines in its work. FEWS NET’s operational needs have driven science in biophysical remote sensing applications through its collaboration with the US Geological Survey, the National Aeronautics and Space Administration, National Oceanographic and Atmospheric Administration, and US Department of Agriculture, as well as methodologies in the social science domain through its support of the US Agency for International - velopment, UN World Food Program and numerous international non-governmental organizations such as Save the Children, Oxfam and others. Because FEWS NET is an organization that must provide a global picture of food insecurity to decision makers, the information it relies on are by necessity - servable and able to be documented.
Familial Feeling : Entangled Tonalities in Early Black Atlantic Writing and the Rise of the British Novel
This book discusses British literature as part of a network of global entangled modernities and shared aesthetic concerns, departing from the retrospective model of a postcolonial “writing back” to the centre. Accordingly, the narrative strategies in the texts of early Black Atlantic authors, like Equiano, Sancho, Wedderburn, and Seacole, and British canonical novelists, such as Defoe, Sterne, Austen, and Dickens, are framed as entangled tonalities.
