It's certainly fun to build games that run on your iPhone and iPad. But, wouldn't it be more fun to create games that allow you to play with other gamers in your social network? There's a whole lot more things you can do. Most of the top best selling games around the world, like World of Warcraft, let you play with others online and share your experiences with your friends. Beginning iOS Social Games is your concise introduction to iOS social and other networked gaming app development using iOS Game Center, Game Kit, Store Kit, AirPlay, iOS 7 Game Controllers, iTunes App Store and integrating with social networks/media like Facebook and Twitter. Author Kyle Richter of Empirical Development is an expert game developer who guides you through the social game app development process step by step. This book may allow you to turn your already existing, created game into a well polished networkable and/or social media capable game app.What you'll learn * Build socially integrated games on iOS for iPhone and iPad using Twitter and Facebook * Configure and begin using Game Center, Apple's social gaming platform * Work with the advanced features of Apple's Game Center using leaderboards, achievements, matchmaking, invitations, and multiplayer * Exchange data while dealing with errors, dropped connections and other hurdles * Create turned-based iOS games using Game Center * Implement other socially rich features like real time Voice Chat, In App Purchases with Store Kit, and displaying content on a TV using Airplay * Explore all these features and more while building a real iOS game, UFOs Who this book is for This book is for iPhone and iPad app developers looking to build iOS game apps that can network with other apps and social media like Facebook.

Objective-C Programmer's Reference provides the tools necessary to write software in Objective-C--the language of choice for developing iOS and OS X applications. Author Carlos Oliveira begins from the basic building blocks of the language. He shows how to create correct and efficient applications by applying your knowledge of object-oriented and structured programming. This book: * Takes you quickly through fundamental concepts such as interfaces and class implementations. * Provides a concise reference to the Foundation Framework that is all-important when programming in Objective-C. * Highlights key differences between Objective-C and other popular languages such as Java or Python. * Provides the fundamentals of Cocoa and Cocoa Touch, which are the standard for OS X and iOS development. Objective-C Programmer's Reference makes extensive use of concepts already mastered by developers who are fluent in other languages such as C++, Java, Perl, and Python. The author's approach is logical and structured, and even novice developers will have an easy time absorbing the most important topics necessary to program in Objective-C.Objective-C Programmer's Reference is a book for professional developers in Objective-C, or those who are moving to Objective-C from other languages. The book is written for readers who lack the time to invest in more traditional books, which usually spend hundreds of pages to explain concepts that are part of the working programmer's standard vocabulary. What you'll learn * Grasp the basic syntax of the Objective-C language. * Create classes and methods in Objective-C. * Apply Objective-C's message-passing mechanism to simplify your code and avoid deep class hierarchies. * Store and access dynamic data through Objective-C's built-in, key-value system. * Make effective use of container classes such as arrays and dictionaries with their immutable and mutable versions. * Create simple applications for iPhones, iPads, Macbooks, and other iOS and Mac OS X devices. Who this book is for Objective-C Programmer's Reference is for programmers in Objective-C who are looking for a handy reference to keep them on top of their game.The book is also designed for programmers moving to Objective-C from some other language, especially from another C-like language such as Java or C#, providing just that additional bit that is needed to transfer their expertise into Objective-C and get a leg up on creating applications for the iOS and OS X platforms underlying Apple's hugely successful devices such as the iPhone, iPad, and Macbook.

Geospatial mapping applications have become hugely popular in recent years. With smart-phone and tablet numbers snow-balling this trend looks set to continue well into the future. Indeed, it is true to say that in today's mobile world location-aware apps are becoming the norm rather than the exception. In Microsoft Mapping author Ray Rischpater showcases Microsoft's Bing Maps API and demonstrates how its integration features make it by far the strongest mapping candidate for business that are already using Windows 8 or the .NET Framework. Whether you want to build a new app from scratch of add a few modest geospatial features to your existing website Ray's carefully chosen examples will provide you with both the inspiration and the code you need to achieve your goals. What you'll learn * Fully working code samples that show the concepts in use with ASP.NET 4.5, Windows 8 and Windows Phone. * Complete solutions to the common problems of geospatial development: visualisation, hosting and localization of services are all explained.* Demonstrates how the Bing Maps API can be connected to the Azure Cloud in order to provide a stand-alone mapping bolt-on with little additional up-front cost and great reliability. * Unique coverage of how the Bing Maps API can be implanted within Windows Phone and iOS apps to provide a robust service tailored to the capabilities of each device. Who this book is for This book is for experienced Microsoft developers with a grounding in C# and .NET together with a basic understanding of WCF.

This update of an Apress bestseller walks you through creating your first app, with plain English and practical examples using the latest iOS 7 software development platform and more. It cuts through the fog of jargon and misinformation that surrounds iPhone and iPad app development, and gives you simple, step-by-step instructions to get you started. Teaches iPhone and iPad apps development in language anyone can understand Provides simple, step-by-step examples that make learning easy, using iOS 7 Offers bonus videos from the author that enable you to follow along-it's like your own private classroom The iPhone is the hottest gadget of our generation, and much of its success has been fueled by the App Store, Apple's online marketplace for iPhone apps. Over 1 billion apps were downloaded during the nine months following the launch of the App Store, ranging from the simplest games to the most complex business apps. Everyone has an idea for the next best-selling iPhone app-that's why you're reading this now! And with the popularity of the iPad, this demand will just continue to grow.

Beginning Windows Store Application Development - HTML and JavaScript Edition introduces you to the Windows 8 modern app design paradigm and the new Windows 8 programming model developed around this paradigm. You'll learn to build rich, immersive applications designed to run on the many devices powered by Windows 8. The authors draw on their extensive practical experience to provide not only a comprehensive introduction to the model and its features, but guidance on best practices and a real-world sample application that you develop over the course of the book. Beginning Windows Store Application Development - HTML and JavaScript Edition also emphasizes how devices will be used and applications will be built in a world that has become far more connected. The book takes you beyond the syntax of any development language and examines factors such as application design, user experience, social integration, and maintaining data and settings across multiple devices.

This book introduces novice developers to a range of data access strategies for storing and retreiving data both locally and remotely. It provides you with a range of fully working data access solutions and the insight you need to know when, and how, to apply each of the techniques to best advantage. Focussing specifically on how the Windows 8 app developer can work with the Windows Runtime (often called Windows RT) framework this book provides careful analysis of the many options you have open to you, along with a comparision of their strengths and weaknesses under different conditions. With the days of a single database being the right choice for almost all development projects long gone. You will lean that the right choice for your app now depends on a variety of factors and getting it right will be critical to your customer's end user experience. We cover a range of data access strategies ranging from storing and retrieving data locally using the JET API, to using the most popular open and closed source database products like SQLite and SQL Server. We look at how lightweight HTML and JavaScript apps work well with equally feather-weight data stores like IndexedDB.We'll also introduce you to more advanced data access techniques like REST (JSON), WCF RIA Services, ASP.NET MVC 4 Web API and Windows Azure that can hugely expand the horizons of what it is possible for your app to do as storage - and even processing - are taken beyond the confines of your user's device. By the time you have read this book you will be familiar with the key data access considerations you will need to evaluate as you build you apps and you will be able to confidently select the data access architecture that is most appropriate to the app you want to build. What you'll learn * Understand the data access capability of WinRT * Explore the various data access strategies * Understand local storage in Windows 8 Apps * Discover how to use HTML5 indexedDB as an offline database * Use SQLite and SQL Server with Windows 8 Apps * Develop ASP.NET MVC 4 Web API data stores * Learn how to consume data through a WCF Service * Integrate your app with Public Web Services using REST * See how SQL Azure can extend your Windows 8 Apps Who this book is for This book is for all the .NET, iOS, Android and Windows Phone app developers looking to develop data driven Windows 8 style apps.You should be comfortable with basic programming concepts and have worked with simple data stores previously. Table of Contents * Introducing Windows 8 development from a data perspective * Windows 8 Modern app data access strategies * Selecting the right strategy for your app * Local Data Access I: JET API * Local Data Access: II: IndexedDB * Dealing with Application Data * WCF RIA Services * ASP.NET Web API * SQL Databases * Windows Phone 8 Data Access

The Objective-C programming language continues to grow in popularity and usage because of the power and ease-of-use of the language itself, along with the numerous features that continue to be added to the platform. If you have a basic knowledge of the language and want to further your expertise, Pro Objective-C is the book for you. Pro Objective-C provides an in-depth, comprehensive guide to the language, its runtime, and key API's. It explains the key concepts of Objective-C in a clear, easy to understand manner, and also provides detailed coverage of its more complex features. In addition, the book includes numerous practical examples--code excerpts and complete applications--that demonstrate how to apply in code what you're learning. The book begins with an exploration of Objective-C's basic features and key language elements. After reviewing the basics, it proceeds with an in-depth examination of the Objective-C dynamic programming features and runtime system. Next the book covers the Foundation Framework, the base layer of APIs that can be used for any Objective-C program. Finally, new and advanced features of Objective-C are introduced and shown how they make the Objective-C language even more powerful and expressive. Each topic is covered thoroughly and is packed with the details you need to develop Objective-C code effectively. The most important features are given in-depth treatment, and each chapter contains numerous examples that demonstrate both the power and the subtlety of Objective-C. Start reading Pro Objective-C and begin developing high-quality, professional apps on the OS X and iOS platforms using the Objective-C programming language!

Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und Sensorik erfordert solides Dom nenwissen und umfassendes Know-how im Software-Engineering.

Das vorliegende Buch gibt eine fundierte Darstellung der softwareseitigen Implementierung dieser Komponenten innerhalb eines komplexen Frameworks.

Im ersten Teil des Buches werden wichtige Grundlagen zu Eingebetteten Systemen und den f r diese Systeme charakteristischen Methoden des Software-Engineerings vermittelt. Insbesondere werden dabei die Themen Speichermanagement und Systemperformance sowie grundlegende Mechanismen von Betriebssystemen betrachtet.

Im zweiten Teil wird eine konkrete, objektorientierte Implementierung eines Frameworks dargestellt. Diese Implementierung zeigt die Umsetzung besonders effizienter Sychronisations- und Kommunikationsprozesse innerhalb einer kompakten und hochperformanten Systemarchitektur.

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).
The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012. The 16 revised full papers, 5 poster papers presented with 1 invited talk were carefully reviewed and selected from 39 submissions. The focus of the papers is on following topics: compiling for parallelism, automatic parallelization, optimization of parallel programs, formal analysis and verification of parallel programs, parallel runtime systems, task-parallel libraries, parallel application frameworks, performance analysis tools, debugging tools for parallel programs, parallel algorithms and applications.

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

This book constitutes the refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2013, held in Seoul, Korea, in May 2013 and the following colocated workshops: International Workshop on Ubiquitous and Multimedia Application Systems, UMAS 2013; International Workshop DATICS-GPC 2013: Design, Analysis and Tools for Integrated Circuits and Systems; and International Workshop on Future Science Technologies and Applications, FSTA 2013. The 111 revised papers were carefully reviewed and selected from numerous submissions. They have been organized in the following topical sections: cloud, cluster and grid; middleware resource management; mobile peer-to-peer and pervasive computing; multi-core and high-performance computing; parallel and distributed systems; security and privacy; ubiquitous communications, sensor networking, and RFID; ubiquitous and multimedia application systems; design, analysis and tools for integrated circuits and systems; future science technologies and applications; and green and human information technology.

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.

Practical Raspberry Pi takes you quickly through the hardware and software basics of the Raspberry Pi. Author Brendan Horan then gets you started on a series of fun and practical projects, including a simple temperature sensor, a media center, a real-time clock, and even a security monitoring device, all of which require minimal programming experience. Along with these projects, you'll learn all about the Raspberry Pi hardware, including how it can be so powerful and still so small and inexpensive, why it's so suitable as a video player, and how you can customize it for different tasks, including running different operating systems on it, including Android and RISC OS. The Raspberry Pi is an inexpensive but relatively powerful little computer. It was designed to get kids interested in computing and programming, but it's also a great platform for hardware hackery. The projects in this book will get you deep into the hardware to show you what the Raspberry Pi can really do.What you'll learn * An overview of Raspberry Pi hardware * How to get your Pi up and running with Linux * How to use your Pi for sensing temperature and driving a simple character LCD * How to create a media player with your Raspberry Pi * How to use your Pi as a serial console server * How to set up your Pi to be a security monitoring device * Other operating systems for your Pi, including Gentoo, Android, and RISC OS Who this book is for Electronics enthusiasts who want to try out the Raspberry Pi, Linux fans who want to create useful projects with the Pi, or anyone interested in learning more about computing, electronics, and networking with this inexpensive and fun little computer.

Taking a hands-on learning approach, Foundation iPhone App Development: Build An iPhone App in 5 Days with iOS 6 SDK quickly enables existing programmers to become familiar and comfortable coding Objective-C using Xcode 4.5, Storyboarding and the iOS 6 SDK to create apps for the iPhone. Nick Kuh, an experienced, Apple award-winning developer, will teach readers how to build an iOS 6 iPhone app from start to finish in 5 days. During a 5-day process you will learn how to build a professional, custom-designed, object-oriented iPhone App. You'll start with a PhotoShop PSD design and an app idea. Then, throughout the remainder of the book, Nick will guide you through each stage of building the app. But it's you who will build the app. You will learn how to think like an app developer, how to turn an idea into a beautiful iPhone app. In addition to the code and programming practices introduced, the book includes numerous tips, tricks and lessons learned to help new iPhone App developers succeed on the App Store: SEO, in-app marketing approaches and how to win more 5 star reviews.The 5-day learning process is divided into the following key stages: * Day 1 begins with the initial planning, paper prototyping and Photoshop design phases of an app idea. You'll learn how to provision your iOS apps for deployment to your iPhone. By the end of your first day you'll get to learn on the job, creating an Object-Oriented Black Jack Game that implements the Model View Controller paradigm in Objective C. * Day 2 is all about Storyboarding: creating and connecting all of the user interface views of our app. * Day 3 begins with table views and data population. By the end of the third day you'll be knee-deep in Core Data: building a data model and creating an editable, persistent data storage solution for your app. * By Day 4 you'll be learning how to communicate with Facebook using Apple's new Social framework introduced in iOS 6. * Day 5 kicks off with code and methods to add in-app social network marketing to your app. With your completed app you'll then learn how to submit an App to Apple alongside numerous tips and tricks to improve your chances of success and visibility in this unique marketplace.From start to finish, this book inherits Nick's tried and tested methods to build beautiful native iPhone Apps efficiently. After reading and using this book, you'll come away with a core iOS development process and coding concepts that can be re-used and applied to your own iPhone app projects. Moreover, you'll gain an understanding of how to architect your own apps, write reusable code and implement best practices for faster productivity and maybe even make some money, too.What you'll learn * How to develop with Xcode, write Objective-C and work with the latest iOS SDK * Why and how to create Navigation Hierarchies and Table View Controllers, for making life easier * How to design, plan and develop an iPhone app from the initial app idea to App Store submission * How to Storyboard and implement a custom-designed User Interface * How to work with Core Data to build an offline caching solution * How to implement asynchronous HTTP API calls to download and display images * How to use the new iOS Appearance APIs for custom design implementation and make beautiful apps * How to increase your app's chances for success in the App Store Who this book is for This book is for existing programmers--programmers who have already mastered another object oriented language and wish to become proficient programming Objective C for writing iPhone Apps using Xcode.Table of ContentsDay 1: Objective C, Xcode and iOS SDK Foundation work Chapter 1: Design and Planning of our App: Chapter 2: Provisioning our App for Development Chapter 3: Setting Up Our Xcode Project Chapter 4: Objective-C and Xcode: Developing a Blackjack Game Day 2: Storyboarding the User Interface Chapter 5: iPhone App Navigation, Views and View Controllers Chapter 6: Views, Controls, Camera, Action Day 3: Working with Data Chapter 7: Table Views, Arrays and Dictionaries - Oh My Chapter 8: Data Persistence with Core Data Chapter 9: iOS Skinning: Make Your Apps Lickable Day 4: Importing Birthdays from the Address Book and Facebook Chapter 10: Importing Birthdays from the Address Book Chapter 11: Working with the Facebook SDK Chapter 12: Settings and Local Notifications Day 5: The Finishing Touches Chapter 13: Before You Launch: Increasing Your Chances of App Store Success Chapter 14: Submitting our App

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it. This book introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a clear conceptual basis, representing a fundamental, specialised use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting more precise modelling of systems and capturing the semantic intent of each use of inheritance within a system.

Learn Raspberry Pi with Linux will tell you everything you need to know about the Raspberry Pi's GUI and command line so you can get started doing amazing things. You'll learn how to set up your new Raspberry Pi with a monitor, keyboard and mouse, and you'll discover that what may look unfamiliar in Linux is really very familiar. You'll find out how to connect to the internet, change your desktop settings, and you'll get a tour of installed applications. Next, you'll take your first steps toward being a Raspberry Pi expert by learning how to get around at the Linux command line. You'll learn about different shells, including the bash shell, and commands that will make you a true power user. Finally, you'll learn how to create your first Raspberry Pi projects: * Making a Pi web server: run LAMP on your own network * Making your Pi wireless: remove all the cables and retain all the functionality * Making a Raspberry Pi-based security cam and messenger service: find out who's dropping by * Making a Pi media center: stream videos and music from your Pi Raspberry Pi is awesome, and it's Linux. And it's awesome because it's Linux.But if you've never used Linux or worked at the Linux command line before, it can be a bit daunting. Raspberry Pi is an amazing little computer with tons of potential. And Learn Raspberry Pi with Linux can be your first step in unlocking that potential. What you'll learn * How to get online with Raspberry Pi * How to customize your Pi's desktop environment * Essential commands for putting your Pi to work * Basic network services - the power behind what Pi can do * How to make your Pi totally wireless by removing all the cables * How to turn your Pi into your own personal web server * How to turn your Pi into a spy * How to turn your Pi into a media center Who this book is for Raspberry Pi users who are new to Linux and the Linux command line.

Create compelling 2D games with Learn cocos2d 2: Game Development with iOS. This book shows you how to use the powerful new cocos2d, version 2 game engine to develop games for iPhone and iPad with tilemaps, virtual joypads, Game Center, and more. It teaches you: The process and best practices of mobile game development, including sprite batching, texture atlases, parallax scrolling, touch and accelerometer input. How to enhance your games using the Box2D and Chipmunk physics engines and other cocos2d-related tools and libraries. How to add UIKit views to cocos2d and how to add cocos2d to UIKit apps. The ins and outs of the Kobold2D development environment for cocos2d and its pre-configured libraries, including cocos3d and Lua. Best of all, this book will have you making games right from the very start. It guides you step-by-step through the creation of sample games. These fun examples are modeled after popular App Store games and teach you key concepts of the new cocos2d 2 game engine and relevant tools like TexturePacker (texture atlas), PhysicsEditor (physics collision shapes), Particle Designer (particle effects), Glyph Designer (bitmap fonts), and others. This book offers a rock-solid introduction to creating games made entirely with cocos2d and little or no iOS SDK and OpenGL code. It also details alternative implementations, identifies the best free and commercial tools for cocos2d game development, features coverage of the author's improved cocos2d game engine (Kobold2D), and even helps you enhance your game's marketability on the App Store.

ASP in a Nutshell provides the high-quality reference documentation that web application developers really need to create effective Active Server Pages. It focuses on how features are used in a real application and highlights little-known or undocumented features. The second edition covers ASP 3.0 and IIS 5.0.

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

A very large proportion of commercial and industrial concerns in the UK find their business competitiveness dependent on huge quantities of already installed, legacy IT. Often the nature of their business is such that, to remain competitive, they have to be able to change their business processes. Sometimes the required change is radical and revolutionary, but more often the required change is incremental. For such incremental change, a major systems engineering problem arises. The cost and delay involved in changing the installed IT to meet the changed business requirements is much too high. In order to address this issue the UK Engineering and Physical Science Research Council (EPSRC) set up, in 1996, a managed research programme entitled Systems Engineering for Business Process Change (SEBPC). I was appointed as co-ordinator of the programme. The overall aim of this new managed research programme was to release the full potential of IT as an enabler of business process change, and to overcome the disabling effects which the build-up of legacy systems has on such change. As such, this aim addressed a stated objective of the Information Technology and Computer Science (IT&CS) part of EPSRC to encourage research at a system level.

Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes. The papers contained in this volume report the results from the projects funded by the programme, which ran between 1997 and 2001. An earlier volume, published in 2000, reported interim results. Bringing together researchers from diverse backgrounds in Computer Science, Information Systems, Engineering and Business Schools, this book explores the problems experienced by IT-dependent businesses that have to implement changing business processes in the context of their investment in legacy systems. The book presents some of the solutions investigated through the collaborations set up within the research programme. Whether you are a researcher interested in the ideas that were generated by the research programme, or a user trying to understand the nature of the problems and their solutions, you cannot fail to be inspired by the writings contained in this volume.