الصفحة 2
الصفحة 2
Information Processing in Medical Imaging ; 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings
The 20th International Conference on Information Processing in Medical Im- ing(IPMI)washeldduringJuly2–6,2007,atRolducAbbey,locatedinKerkrade in the south of the Netherlands. IPMI is one of the longest running conferences in medical imaging.
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.
Haptics: Science, Technology, Applications ; 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020.
Fun and Games ; 2nd International conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, The Netherlands, in October 2008.The 17 revised full papers, presented together with 2 invited talks were carefully reviewed and selected from a total of 36 submissions. The papers encompass the study of computer games, game development and experiences by researchers from social sciences, computing, electrical engineering, design, etc. Main focus is given to topics such as tightly-coupled embodied control of movement-sensitive mobile devices, hypercomputation and cultural computing, emerging gaming paradigms.
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 ; 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.
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.
European Variations as a Key to Cooperation
This book offers a novel view on the benefits of a lasting variation between the member states in the EU. In order to bring together thirty very different European states and their citizens, the EU will have to offer more scope for variation. Unlike the existing differentiation by means of opt-outs and deviations, variation is not a concession intended to resolve impasses in negotiations; it is, rather, a different structuring principle. It takes differences in needs and in democratically supported convictions seriously
European Traditions in Didactics of Mathematics
This book discusses several didactic traditions in mathematics education in countries across Europe, including France, the Netherlands, Italy, Germany, the Czech and Slovakian Republics, and the Scandinavian states. It shows that while they all share common features both in the practice of learning and teaching at school and in research and development, they each have special features due to specific historical and cultural developments. The book also presents interesting historical facts about these didactic traditions, the theories and examples developed in these countries.
Ethnic Identity, Social Mobility and the Role of Soulmates
Based on a study among higher-educated adult children of lower-class Turkish and Moroccan immigrants in the Netherlands, this open access book explores processes of identification among social climbers with ethnic minority backgrounds. Using both survey data and open interviews with these ‘minority climbers’, the study details the contextual and temporal nature of identification. The results illustrate how ethnicity is contextual but have tangible and inescapable effects at the same time. Also the findings call for a more reflexive use of terms like ethnic ingroup/outgroup and bonding/bridging. Overall, the book helps us understand the emergence of middle-class segments that articulate their minority identities and as such it will be of great interest to academics, policy makers and all those interested in processes of integration and/or diversity.
Environments for Multi-Agent Systems II ; 2nd International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Environments for Multiagent Systems, E4MAS 2005, held in July 2005. The 16 revised papers presented were carefully reviewed and selected from the lectures given at the workshop.
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.
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.
Engaged Learning with Emerging Technologies
The major purpose of this book is to present and discuss current thinking, theories, conceptual frameworks, models and promising examples of engaged learning with emerging technologies. Contributions come from distinguished academics in the USA, Canada, the Netherlands, United Kingdom, Germany, Australia, New Zealand, China, Korea and Singapore. Following from a constructivist orientation, coupled with social cultural dimensions of learning, this volume documents how emerging learning technologies are appropriated into meaningful and engaged learning and instructional situations. The field of learning technologies is grounded on the theoretical constructs of the learning sciences and thus the chapters in this book balance between theory and practice and prepositions and solutions.
Embedded computer systems : Architectures, modeling, and simulation ; Vol. 3553 ; 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
The SAMOS workshop is an international gathering of highly quali?ed researchers from academia and industry, sharing in a 3-day lively discussion on the quiet and - spiring northern mountainside of the Mediterranean island of Samos. As a tradition, the workshop features workshop presentations in the morning, while after lunch all kinds of informal discussions and nut-cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the sci- ti?c arena. Consequently, the workshop provides the participants with an environment where collaboration rather than competition is fostered. The earlier workshops, SAMOS I–IV (2001–2004), were composed only of invited presentations. Due to increasing expressions of interest in the workshop, the Program Committee of SAMOS V decided to open the workshop for all submissions. As a result the SAMOS workshop gained an immediate popularity; a total of 114 submitted papers were received for evaluation. The papers came from 24 countries and regions: Austria (1), Belgium (2), Brazil (5), Canada (4), China (12), Cyprus (2), Czech Republic (1), Finland (15), France (6), Germany (8), Greece (5), Hong Kong (2), India (2), Iran (1), Korea (24), The Netherlands (7), Pakistan (1), Poland (2), Spain (2), Sweden (2), T- wan (1), Turkey (2), UK (2), and USA (5). We are grateful to all of the authors who submitted papers to the workshop.
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.
Dependable and adaptable networks and services ; 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007, Proceedings
Innovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly growing part of the Internet infrastructure, and increasingly smaller and more powerful computing devices with ?exible connectivity open the possibility of new services and applications.
Deontic Logic and Artificial Normative Systems ; 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science.
Dense Molecular Gas around Protostars and in Galactic Nuclei : European Workshop on Astronomical Molecules 2004
The European Workshop on Astronomical Molecules was held at ‘The Conference Building’ in Zwolle, the Netherlands, on 18–20 February 2004. The idea behind the workshop was to bring together astronomers studying similar processes in different astrophysical environments; masers and dense molecular gas around young stars and galactic nuclei. There is considerable overlap in physical and chemical phenomena between these environments, with scales ranging from circumstellar to central regions of galaxies. This issue includes 12 reviews and 27 contributed papers presented in this Wo- shop, all of them were refereed by invited speakers or the editors. The quality of the papers is outstanding. The projects discussed here are often in an early stage and undoubtedly their progress has bene?ted greatly from the opportunity to discuss results with the experts in a wide range of areas. Similarly,
