الصفحة 19
الصفحة 19
From brows to trust : Evaluating embodied conversational agents
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 provides guidelines for evaluation methodologies and the identification of design and evaluation parameters. Part 2 demonstrates the importance of considering the user's perspective and interaction experience. Part 3 addresses issues in fine-tuning design parameters of ECAs and verifying the perceived effect. Finally, in Part 4 lessons learned from a number of application case studies are presented. The book is intended for both ECA researchers in academia and industry, and developers and designers interested in applying the technology.
From Animals to Animats 10 ; 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, held in Osaka, Japan in July 2008.The 30 revised full papers and 21 revised poster papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on the animat approach to adaptive behaviour, evolution, navigation and internal world models, perception and control, learning and adaptation, cognition, emotion and behaviour, collective and social behaviours, adaptive behaviour in language and communication, and applied adaptive behaviour.
From Adolescence to Adulthood in the Vietnam Era
Children born during the post-WWII era of peace and prosperity entered history at a time dominated by I-Like-Ike politics and domestic security. As they approached adolescence, however, their world was shaken by major cultural, economic, social, and political upheaval. And although it was time of great innovation and progress, a sense of chaos and bitterness began to envelop the country. It was the ‘60s. For many Americans, a mere mention of this decade evokes an extraordinary time and place in the country’s - and their own - history.
Fractional order systems and applications in engineering
Covers the fundamentals of fractional calculus together with some analytical and numerical techniques, and provides MATLAB® codes for the simulation of fractional-order control (FOC) systems. The use of fractional calculus can improve and generalize well-established control methods and strategies. Many different FOC schemes are presented for control and dynamic systems problems. These extend to the challenging control engineering design problems of robust and nonlinear control. Practical material relating to a wide variety of applications including, among others, mechatronics, civil engineering, irrigation and water management, and biological systems is also provided.
Fractals in Engineering : New Trends in Theory and Applications
The strong potential of this research can be seen in real industrial situations with recent progress being made in areas such as chemical engineering, internet traffic, physics and finance. Image processing continues to be a major field of application for fractal analysis and is well-represented here. Consisting of papers written by a world-wide pool of experts, the multidisciplinary approach of this third volume will be of particular interest to industrial researchers and practitioners as well as to academics from many backgrounds.
Foundations of Systematics and Biogeography
the book highlights three principal messages: biological classifications and their explanatory mechanisms are separate notions; most, if not all, homology concepts pre-date the works of Darwin; and that the foundation of all comparative biology is the concept of relationship - neither 'similarity' nor 'genealogical hypotheses of descent' are sufficient. Foundations of Systematics and Biogeography is an ideal volume for students, academics, researchers and professionals in the fields of systematics, biogeography, evolutionary biology and palaeontology.
Foundations of Sport-Related Brain Injuries
A major take-home point from this book should be the assumption that symptom resolution does not necessarily mean injury resolution. As can be seen by research focusing on global metabolic cascades and neural activity of the brain, long-standing dysfunctional pathways continue to exist for extended periods of time even after a minor concussion. Until we completely understand the consequences of short-term perturbations and long-term residual brain dysfunctions, concussions must be treated with respect and given a higher priority for continued research activity.
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering.
Foundations in microeconomic theory : A volume in honor of Hugo F. Sonnenschein
What a wonderful occasion it is to be celebrating 65 years of Hugo Sonnenschein! Given his many contributions to economic research and academia more broadly, there is much to celebrate. This volume, presented to Hugo at a confer ence in his honor at the University of Chicago in October 2005, highlights one of his deepest contributions. It is perhaps the hardest to detect from reading his bios and vita; but something that he is famous for among economists in general and economic theorists in particular. It is his incredible record as a mentor and advisor of students. In putting this volume together, we have collected papers from Hugo's students with the aim of demonstrating his tremendous impact as an advisor. The papers span decades, with the earliest coming from his advisees in the first years of his career and the most recent coming in the last two years after his return to research and advising that followed his adventures as a university administrator.
Foundation 3ds Max 8 Architectural Visualization
Welcome to the world of 3D architectural visualizations using the most powerful and versatile 3D software package on the planet: 3ds Max. In just the last few years, the visualization industry has arguably become the fastest-growing 3D industry, and may soon overtake all others in total number of users. Just as the use of computer-aided design became the norm for nearly all architectural, engineering, and construction firms in the 1990s, 3D visualizations have become standard practice today. This book takes you through the challenge of learning one of the most complex computer programs ever created, by way of easy-to-follow tutorials and instruction. It specifically focuses on those parts of the program you need to know to produce stunning architectural visualizations.
Formative research in social marketing : Innovative methods to gain consumer insights
Brings together the state of the art and current debates in the field of formative research, and examines many of the innovative methods largely overlooked in the available literature. This book will help social marketing to move beyond surveys and focus groups.The book addresses the needs of social marketing academics and practitioners alike by providing a robust and critical academic discussion of cutting-edge research methods, while demonstrating at the same time how each respective method can help us arrive at a deeper understanding of the issues that social marketing interventions are seeking to remedy. Each chapter includes a scholarly discussion of key formative research methods.
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 Concept Analysis ; 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually analyzing data and kno- edge. The theory itselfstronglyreliesonorder and lattice theory,whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning , and, over the last years, the range of application shaskept growing. The mainreasonfor this comesfromthe fact that our modern society has turned into an “information” society. After years and years of using computers, companies realized they had stored gigantic amounts of data.
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.
Food preservation and safety of natural products
Food Preservation and Safety of Natural Products addresses the most common causes of food spoilage that create significant loss to global food production while also discussing how food serves as a vehicle for the transmission of pathogenic microorganisms responsible for mild to debilitating health conditions in humans. The book provides essential information for food safety professionals on issues relating to foodborne diseases and offers potential solutions by presenting various methods of incorporating natural products in food production to prevent the spread of foodborne pathogenic organisms. The demand for green consumerism and consumers general distaste for synthetic food additives poses a serious challenge to food safety and preservation. Natural products are used as green and sustainable source of bioactive compounds that can be applied in various fields including food. The use of plant and other natural products in food preservation is on the rise, hence this book reviews microbial mediated food spoilage, foodborne pathogens and food contamination and offers applications of natural products in food preservation.
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 addiction
This approach acknowledges the apparent parallels between substance use disorders and overeating of highly palatable, high-caloric foods. Although this idea seems to be relatively new, research on food addiction actually encompasses several decades, a fact that often remains unrecognized. Scientific use of the term addiction in reference to chocolate even dates back to the 19th century. In the 20th century, food addiction research underwent several paradigm shifts, which include changing foci on anorexia nervosa, bulimia nervosa, obesity, or binge eating disorder. Thus, the purpose of this review is to describe the history and state of the art of food addiction research and to demonstrate its development and refinement of definitions and methodologies
Fog and boundary layer clouds : Fog visibility and forecasting
The e?ect of fog on human life was recognized in the early ages of mankind but its impact has signi?cantly increased during recent decades due to increasing air, marine, and road tra?c. In fact, the ?nancial and human losses related to fog and low visibility became comparable to the losses from other weather events, e.g., tornadoes or, in some situations, even hurricanes. The purpose of this review is to summarize the earlier works on fog and to lay a basis for the articles presented in this special issue and outline perspectives for future fog research.
FM 2005: Formal Methods ; International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume.
Flux-corrected transport : Principles, algorithms, and applications
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development of high-resolution schemes based on the Flux-Corrected Transport (FCT) paradigm. Intended for readers who have a solid background in Computational Fluid Dynamics, the book begins with historical notes by J.P. Boris and D.L. Book. Review articles that follow describe recent advances in the design of FCT algorithms as well as various algorithmic aspects. The topics addressed in the book and its main highlights include: the derivation and analysis of classical FCT schemes with special emphasis on the underlying physical and mathematical constraints; flux limiting for hyperbolic systems; generalization of FCT to implicit time-stepping and finite element discretizations on unstructured meshes and its role as a subgrid scale model for Monotonically Integrated Large Eddy Simulation (MILES) of turbulent flows. The proposed enhancements of the FCT methodology also comprise the prelimiting and 'failsafe' adjustment of antidiffusive fluxes, the use of characteristic variables, and iterative flux correction. The cause and cure of detrimental clipping/terracing effects are discussed. Many numerical examples are presented for academic test problems and large-scale applications alike.
