الصفحة 1
الصفحة 1
New Computational Paradigms ; 1st Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.
Modern Actuarial Risk Theory : Using R
"The book gives a comprehensive survey of non-life insurance mathematics. … Originally written for use with the actuarial science programs at the Universities of Amsterdam and Leuven, it is now in use at many other universities as well as for the non-academic actuarial education program organized by the Dutch Actuarial Society. The methods presented can not only be used in non-life insurance, but also in other branches of actuarial science, as well as in actuarial practice. (Pavel Stoynov, Zentralblatt MATH, Vol. 1148, 2008). This book gives an introduction to non-life insurance mathematics. … Throughout the book, the software R is used for the implementation of the techniques presented. One finds also many exercises with hints for their solution in an appendix.
Interactive TV : A shared experience ; 5th European Conference, EuroITV 2007, Amsterdam, the Netherlands, May 24-25, 2007, Proceedings
This book constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held in Amsterdam, The Netherlands, May 2007. The papers are organized in topical sections on social TV systems, user studies, the future of TV, social TV evaluation, personalization, and mobile TV.
Health Information Science ; 9th International Conference, HIS 2020, Amsterdam, The Netherlands, October 20–23, 2020, Proceedings
This book constitutes the proceedings of the 9th International Conference on Health Information Science, HIS 2020, which took place in Amsterdam, The Netherlands, during October 20-23, 2020. The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections named: mental health; medical record processing; medical information systems; medical diagnosis with machine learning; and health behavior and medication.
Handbook on Drowning : Prevention, Rescue, Treatment
this congress book, the fruit of much effort in recent years of many devoted researchers in the fields of prevention, rescue and treatment of drowned people. It is a compilation of the results of their successful studies, as laid down during the World Congress on Drowning held in Amsterdam on 26–28 June 2002.
Guardians of public value : How public organisations become and remain institutions
This book presents case studies of twelve organisations which the public have come to view as institutions. From the BBC to Doctors Without Borders, from the Amsterdam Concertgebouw Orchestra to CERN, this volume examines how some organisations rise to prominence and remain in high public esteem through changing and challenging times
Formal Methods for Components and Objects ; Vol. 4111 ; 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Formal Methods for Components and Objects ; 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems.
Drawing the Ground - Landscape Urbanism Today : The Work of Palmbout Urban Landscapes
Documents some fifteen projects organized into six thematic blocks, including such extensive projects as Amsterdam Ijburg, a design for an urban extension to Amsterdam with a total area of 450 hectares, 18,000 residences, 100,000 square meters of office space, 30,000 square meters of stores, and other facilities, and Maastricht Belvedere, a restructuring of 280 hectares of a former industrial site with 4,000 residences, 100,000 square meters of office space, parking lots, and a vehicle bridge.
Digital cities III : Information technologies for social capital: Cross-cultural Perspectives ; 3rd international digital cities workshop, Amsterdam, The Netherlands, September 18-19, 2003, Revised Selected Papers
Digital cities constitutes a multidisciplinary field of research and development, where researchers, designers and developers of communityware interact and collaborate with social scientists studying the use and effects of these kinds of infrastructures and systems in their local application context. The field is rather young. After the diffusion of ICT in the world of organizations and companies, ICT entered everyday life. And this also influenced ICT research and development. The 1998 Workshop on Communityware and Social Interaction in Kyoto was an early meeting in which this emerging field was discussed.
Coming to Terms with Superdiversity: The Case of Rotterdam
This book discusses Rotterdam as clear example of a superdiverse city that is only reluctantly coming to terms with this new reality. Rotterdam, as is true for many post-industrial cities, has seen a considerable backlash against migration and diversity: the populist party Leefbaar Rotterdam of the late Pim Fortuyn is already for many years the largest party in the city. At the same time Rotterdam has become a majority minority city where the people of Dutch descent have become a numerical minority themselves. The book explores how Rotterdam is coming to terms with superdiversity, by an analysis of its migration history of the city, the composition of the migrant population and the Dutch working class population, local politics and by a comparison with Amsterdam and other cities. As such it contributes to a better understanding not just of how and why super-diverse cities emerge but also how and why the reaction to a super-diverse reality can be so different.
Light, Nature, Architecture : A Guide to Holistic Lighting Design
Proves how important, but also how easy it is to integrate natural light into planning and thus into the design of healthy and beneficial living and working environments. The richly illustrated manual is structured according to the phenomena of natural light and combines the author`s wealth of experience, theoretical principles and design methods to create a reference work and a diverse source of inspiration.
Knowledge Management for Health Care Procedures ; From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers
The incursion of information and communication technologies (ICT) in health care entails evident bene?ts at the levels of security and efciency that improve not only the quality of life of the patients, but also the quality of the work of the health care professionals and the costs of national health care systems. Leaving research approaches aside, the analysis of ICT in health care shows an evo- tion from the initial interest in representing and storing health care data (i. e. , electronic health care records) to the current interest of having remote access to electronic health care systems, as for example HL7 initiatives or telemedicine. This sometimes imperceptible evolution can be interpreted as a new step of the progress path of health care informatics.
ITI treatment guide ; Vol.13 : Prevention and management of peri-implant diseases
Provides clinicians with the latest evidence-based information on the prevention and management of peri-implant diseases. This information is based in part on the proceedings of the 6th ITI Consensus Conference held in Amsterdam in 2018, as well as on a review of the current literature. Seventeen clinical cases presented by experienced clinicians from all over the world illustrate the diagnosis and treatment of peri-implant diseases.
Communication research into the digital society : Fundamental insights from the Amsterdam School of Communication Research
Media and communication have become ubiquitous in today’s societies andaffect all aspects of life. On an individual level, they impact how we learnabout the world, how we entertain ourselves, and how we interact withothers. On an organisational level, the interactions between media andorganisations, such as political parties, NGOs, businesses and brands, shapeorganisations’ reputation, legitimacy, trust and (financial) performance, aswell as individuals’ consumer, political, social and health behaviours. Atthe societal level, media and communication are crucial for shaping publicopinion on current issues such as climate change, sustainability, diversity,and well-being.
Artificial intelligence in medicine ; 11th Conference on artificial intelligence in medicine in Europe, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings
This book contains development of theory, systems, and applications of AI in medicine, including the exploitationof AI approachesto molecularmedicine and biomedical informatics.
Agile processes in software engineering and extreme programming : XP 2022 workshops, Copenhagen, Denmark, June 13-17, 2022 and XP 2023 workshops, Amsterdam, the Netherlands, June 13-16, 2023 : revised selected papers
Book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands.
Advances in grid computing - EGC 2005 ; European grid conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
This book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim of the European Grid Conference was to be the premier event onGrid computing in Europe in 2005, focusing on all aspects of Grid computingand bringing together participants from research and industry. In this book you find the final versions of these accepted papers.
