Page 9
Page 9
Formal Methods for Components and Objects ; Vol. 3657 ; 3rd International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
Finance for Food : Towards New Agricultural and Rural Finance
Reflects the current state of discussion about agricultural and rural finance in developing and transition countries. It provides insight into specific themes, such as commodity value chains, farm banking, risk management in agricultural banking, structured finance, crop insurance, mobile banking, and how to increase effectiveness in rural finance. Case studies illustrate various aspects of agricultural and rural finance in developing economies. The book is based on one of the yearly financial Sector Development Symposia held by the KfW Development Bank.
Field-Based Coordination for Pervasive Multiagent Systems
Software systems involve autonomous and distributed software components that have to execute and interact in open and dynamic environments, such as in pervasive, autonomous, and mobile applications. The requirements with respect to dynamics, openness, scalability, and decentralization call for new approaches to software design and development, capable of supporting spontaneous configuration, tolerating partial failures, or arranging adaptive reorganization of the whole system.
Field and Service Robotics ; Vol. 25 : Results of the 5th International Conference
Field robots are robots which operate in outdoor, complex, and dynamic environments. Service robots are those that work closely with humans, with particular applications involving indoor and structured environments. There are a wide range of topics presented in this issue on field and service robots including: Agricultural and Forestry Robotics, Mining and Exploration Robots, Robots for Construction, Security & Defence Robots, Cleaning Robots, Autonomous Underwater Vehicles and Autonomous Flying Robots.
Fashion forge
"Fashion forge" revolutionizes clothing shopping with a cutting-edge mobile application. This AI-powered platform empowers users to describe their dream garment and visualize it instantly, bridging the gap between imagination and reality for fashion-forward users and designers. A recommendation system tailors clothing suggestions based on user preferences, while stores leverage a dedicated social platform for effective marketing. "Fashion Forge" fosters a connected fashion community, empowering users, designers, and stores alike.
Event-Driven Mobile Financial Information Services : Design of an Intraday Decision Support System
In recent years, mobile applications and technologies have become valuable for many companies and their customers. This ongoing trend has affected both businesses and everyday life.Jan Muntermann presents an intraday event study that is conducted within the German capital market, and provides evidence that investors could exploit intraday stock price effects following critical market events. He then develops the concept for a corresponding mobile decision support system that assists investors in identifying those events. Based on the design science research paradigm, he uses this concept in the design of a novel mobile decision support system, which can provide ubiquitous information access to private investors.
European Robotics Symposium 2008
These monothematic proceedings represent a collection of papers presented at the 2nd European Robotics Symposium, held in Prague, March 26-27, 2008. The goal of the given selection of papers is to provide a comprehensive overview of the recent status in robotics research world-wide in the key areas of cognition, autonomy, adaptation and robustness in robotics.
European Robotics Symposium 2006
This unique reference represents a cross-section of forefront robotics research, ranging from robotics and systems to learning, autonomy and failure detection, from vision and navigation to localization and mapping, which are based on the papers presented at the 1st European Robotics Symposium (EUROS-06) held in Palermo, Italy from 16-18 March, 2006. The European Robotics Symposium (EUROS) is a brand-new International scientific event promoted by EURON, the European Robotics Network. Since its inception in 2000, EURON links most of the European robotics research teams and today (2006) involves more than 165 universities and companies across all of its member states. The EUROS meeting will be held in Europe every other year, but international participation at all levels is strongly encouraged making it a meeting place for high-quality presentation of interesting international research on robotics.
Euro-Par 2007 Parallel Processing ; 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings
This book covering support tools and environments; performance prediction and evaluation; scheduling and load balancing; compilers for high performance; parallel and distributed databases; grid and cluster computing; peer-to-peer computing; distributed systems and algorithms; parallel and distributed programming; parallel numerical algorithms; distributed and high-performance multimedia; theory and algorithms for parallel computation; high performance networks; mobile and ubiquitous computing.
E-Training Practices for Professional Organizations
E-Training Practices for Professional Organizations is an essential reference for anyone interested in the integration of e-business, e-work and e-learning processes. The book collects, for the first time, the proceedings from the 2003 IFIP eTrain Conference held in Pori, Finland. The text serves as a multi-disciplinary resource for information on the research, development and applications of all topics related to e-Learning. The first half of the book discusses theories, paradigms and their applications in academia and industry. The last half of the book examines learning environments, design issues and collaboration among the corporate, governmental and academic sectors. With academic and professional contributors, E-Training Practices for Professional Organizations reflects the multi-faceted and exciting nature of e-training studies. This volume presents the balanced view of past developments and current research necessary to truly reach the potential of this burgeoning field.
Environment Learning for Indoor Mobile Robots : A Stochastic State Estimation Approach to Simultaneous Localization and Map Building
This monograph covers theoretical aspects of simultaneous localization and map building for mobile robots, such as estimation stability, nonlinear models for the propagation of uncertainties, temporal landmark compatibility, as well as issues pertaining the coupling of control and SLAM. One of the most relevant topics covered in this monograph is the theoretical formalism of partial observability in SLAM. The authors show that the typical approach to SLAM using a Kalman filter results in marginal filter stability, making the final reconstruction estimates dependant on the initial vehicle estimates. However, by anchoring the map to a fixed landmark in the scene, they are able to attain full observability in SLAM, with reduced covariance estimates.
Entertainment Computing - ICEC 2005 ; 4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings
First of all, we appreciate the hard work of all the authors who contributed to ICEC 2005 by submitting their papers. ICEC 2005 attracted 95 technical paper submissions, 8 poster submissions and 7 demo submissions, in total 110. This number is nearly equal to ICEC 2004. Based on a thorough review and selection process carried out by 76 international experts from academia and industry as members of the senior and international program committees, a high-quality program was compiled. The program committee consisted of experts from all over the world: 1 from Austria, 3 from Bulgaria, 2 from Canada, 4 from China, 1 from Finland, 4 from France, 10 from Germany, 1 from Greece, 1 from Ireland, 1 from Israel, 1 from Italy, 26 from Japan, 1 from Korea, 4 from The Netherlands, 1 from New Zealand, 1 from Norway, 1 from Singapore, 1 from Thailand, 4 from the UK, and 8 from the USA. In this number, reviewers are included. The final decision was made at the senior program committee meeting based on three reviewers' feedback, available online via the conference management tool. Through earnest and fair discussion at the meeting, 25 technical papers were accepted as long papers and 32 technical papers were accepted as short papers from 95 submitted technical papers. Moreover, 3 poster papers and 5 demo papers were accepted.
Enterprise Knowledge Infrastructures
Success of an organization is increasingly dependent on its capability to create an environment to improve the productivity of knowledge work. This book focuses on the concepts, models and technologies that are used to design and implement such an environment. It develops the vision of a modular, yet highly integrated enterprise knowledge infrastructure and presents an ideal architecture replete with current technologies and systems. The most important streams of technological development that are covered in the book are computer-supported cooperative work, document and content management, e-learning, enterprise portals, information life cycle management, knowledge management, mobile computing, and the Semantic Web. It includes learning goals, exercises and case examples that help the reader to easily understand and practice the concepts.
Enhanced Radio Access Technologies for Next Generation Mobile Communication
Enhanced Radio Access Technologies for Next Generation Mobile Communication presents a comphrenhensive overview of the latest technology developments in the field Mobile Communications. This monograph focuses on the fundamentals of mobile communications technology and systems, including the history and service evolution of mobile communications and environments. Further to this, CDMA technology including spread spectrum, orthogonal and PN codes are introduced. Other important aspects include fundamentals of single carrier CDMA technologies, DS CDMA, Broadband CDMA with frequency domain equalizer, and multi-carrier CDMA technology for high speed data transmission including MC-DS/CDMA, MC-CDMA. Finally aspects of modern cellular systems such as cdma2000/1xEv-Do/1xEv-Dv and WCDMA/HSDPA are introduced and existing and developing wireless data services, such as Wi-Fi, Bluetooth, UWB, WiBro/Mobile WiMAX, and digital broadcasting services like DVB, DMB, ISDBT are described.
Enhanced Living Environments : Algorithms, Architectures, Platforms, and Systems
Ambient Assisted Living (AAL) is an area of research based on Information and Communication Technologies (ICT), medical research, and sociological research. AAL is based on the notion that technology and science can provide improvements in the quality of life for people in their homes, and that it can reduce the financial burden on the budgets of the healthcare providers. The concept of Enhanced Living Environments (ELE) refers to the AAL area that is more related with ICT. Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science in this area and the development of new and innovative solutions. The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area.
Engineering self-organising systems Vol. 3910 ; 3rd International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. As distributed information infrastructures continue to spread (such as the Internet, wireless and mobile systems), new challenges have arisen demanding robust and scalable solutions. In these new challenging environments the - signers and engineers of global applications and services can seldom rely on centralised control or management, high reliability of devices, or secure en- ronments. At the other end of the scale, ad-hoc sensor networks and ubiquitous computing devices are making it possible to embed millions of smart computing agents into the local environment.
Engineering human computer interaction and interactive systems ; Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results.
Encyclopedia of GIS "Geographical Information Sciences"
provides up-to-date information on emerging topics such as spatial big data, smart-phone GIS, urban computing and mobile recommender systems. It also expands the first edition’s rich set of GIS-related commercial and societal applications such as geo-targeting, geo-fencing and understanding climate changes, while enabling more comprehensive coverage of classical GIS topics such as map projections, global positioning systems and spatial cognition. The entries explain the key software, data sets and processes used by geographers and computational scientists. Additionally, the reference emphasizes the role of GIS in business and mobile intelligence. By offering more diversified GIS-related topics from theory and research than most of the other available literature, the authors equip newcomers to the field with principles as well as applications.
Encounters and Practices of Petty Trade in Northern Europe, 1820–1960 : Forgotten Livelihoods
Uncovers one important, yet forgotten, form of itinerant livelihoods, namely petty trade, more specifically how it was practiced in Northern Europe during the period 1820–1960. It investigates how traders and customers interacted in different spaces and approaches ambulatory trade as an arena of encounters by looking at everyday social practices. Petty traders often belonged to subjugated social groups, like ethnic minorities and migrants, whereas their customers belonged to the resident population. How were these mobile traders perceived and described? What goods did they peddle? How did these commodities enable and shape trading encounters? What kind of narratives can be found, and whose? These questions pertaining to daily practices on a grass-root level have not been addressed in previous research.
Enabling Technologies for Wireless E-Business
Kou and Yesha and their contributors provide comprehensive information on these technologies, including, for example, wireless security, mobile payment, location-based services, mobile data management, and RFID technologies. The presentation is targeted at students, lecturers, e-business developers, consultants, and business managers, and this book is an ideal introduction for both self-study and taught e-business classes or commercial training courses.
