Computers - Computer Science

The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the University of Tokyo (Tokyo, Japan), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). It was held in Tokyoduring...

Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for constructing, testing, analyzing, and evaluating the...

The 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010) was held in Bologna, Italy, June 16-18, 2010. The conference is intended primarily as a forum to focus on the integration and hybridization of...

This volume contains the papers presented at 6th Conference on Geometric Modeling and Processing (GMP 2010) held in Castro Urdiales, Spain during June16-18,2010. GeometricModelingandProcessingisabiannualinternational conference series on geometric modeling, simulation and computing. Previously, GMPhasbeenheldinHongKong(2000), Saitama, Japan(2002), Beijing, China (2004), Pittsburgh, USA (2006) and Hangzhou,...

Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia Appli- tions are conferences that attract many academic and industry professionals. The goal of these co-located conferences is to bring together researchers from academia and industry as well...

Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia Appli- tions are conferences that attract many academic and industry professionals. The goal of these co-located conferences is to bring together researchers from academia and industry as well...

The Colloquium on Structure, Information, Communication, and Complexity (SIROCCO) is devoted to the study of communication and knowledge in mul- processorsystemsfromboththe qualitativeandquantitativeviewpoints.Special emphasis is given to innovative approaches and fundamental understanding, in addition to e?orts to optimize current designs. SIROCCO has a traditionof interesting...

This book and its sister volume collect refereed papers presented at the 7th Inter- tional Symposium on Neural Networks (ISNN 2010), held in Shanghai, China, June 6-9, 2010. Building on the success of the previous six successive ISNN symposiums, ISNN has become a well-established...

These are the proceedings of Eurocrypt 2010, the 29th in the series of Eu- pean conferences on the Theory and Application of Cryptographic Techniques. The conference was sponsored by the International Association for Cryptologic Research and held on the French Riviera, May 30-June 3,...

FUN with Algorithms is a three-yearlyconference that aims at attracting works which, besides a deep and interesting algorithmic content, also present amusing and fun aspects, are written with a keen wit, and are presented in a lively way. FUN isactuallyone ofthe mainmovingwheelsbehind mostofthe bestscienti?c...

Grid and Pervasive Computing (GPC) is an annual international conference on the emerging areas of grid computing and pervasive computing, aimed at p- viding an exciting platform and paradigm for all-the-time, everywhere services. GPC 2010 provided a high-pro?le, leading-edgeforum for researchersand dev- opers from...

Arti?cial intelligence (AI) is a dynamic ?eld that is constantly expanding into new application areas, discovering new research challenges, and facilitating the development of innovative products. Today's AI tools might not pass the Turing test, but they are invaluable aids in organizing and sorting...

rd This book reports the scientific proceedings of the 23 International Symposium on High Performance Computing Systems and Applications. HPCS 2009 was held at Queen's University at Kingston, June 14-17, 2009. The symposium was hosted by HPCVL in co-operation with Compute Canada. The symposium...

This volume contains the papers presented at RECOMB 2010: the 14th Annual International Conference on Research in Computational Molecular Biology held in Lisbon, Portugal, during April 25-28, 2010. The RECOMB conference series was started in 1997 by Sorin Istrail, Pavel Pevzner, and Michael Waterman....

TheseproceedingscontainthepapersselectedforpresentationatCARDIS 2010, the 9th IFIP Conference on Smart Card Research and Advanced Application hosted by the Institute of IT-Security and Security Law (ISL) of the University ofPassau, Germany.CARDISisorganizedbyIFIPWorkingGroupsWG8.8and WG 11.2. Since 1994, CARDIS has been the foremost international conference dedicated to smart card research...

For many years Esko Ukkonen has played a major role in the advancement of computer science in Finland. He was the key person in the development of the school of algorithmic research and has contributed considerably to post-graduate education in his country. Esko Ukkonen...

These proceedings contain the papers selected for presentation at the 4th Wo- shop on Information Security Theory and Practice (WISTP 2010), held during April 12-14, 2010 in Passau, Germany. In response to the call for papers, 69 papers were submitted to the wo- shop....

The papers contained in this volume were presented at the 9th Latin American TheoreticalInformaticsSymposiumheldattheBenitoJu arezUniversityofO- aca, Oaxaca City, M exico, April 19-23, 2010. The LATIN series of conferences was launched in 1992 to foster the interaction between the Latin American t- oretical computer science...

This book constitutes the proceedings of the 2010 Joint International Working C- ference of the International Federation for Information Processing Working Groups 8.2 and 8.6. Both working groups are part of IFIP Technical Committee 8, the tech- cal committee addressing the field of Information...

In its lucky 12+1 edition, during April 7-9, 2010, the European Conference on Genetic Programming (EuroGP) travelled to its most easterly location so far, theEuropeanCityof Culture2010, Istanbul, Turkey.EuroGPisthe onlyconf- enceworldwideexclusivelydevotedtogeneticprogrammingandtheevolutionary generation of computer programs. For over a decade, genetic programming (GP) has been considered...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu- tional Science and Its Applications (ICCSA2010)held in Fukuoka, Japanduring March23-26,2010.ICCSA2010wasasuccessfuleventintheInternationalC- ferences on Computational Science and Its Applications (ICCSA) conference - ries, previouslyheld...

These proceedings are a record of the Multiple Classi?er Systems Workshop, MCS 2010, held at the Nile University, Egypt in April 2010. Being the ninth in a well-established series of meetings providing an international forum for d- cussion of issues in multiple classi?er system...

The RSA Conference is an annual event that attracts hundreds of vendors and thousands of participants from industry and academia. Since 2001, the conf- ence has included an academic Cryptographers'Track (CT-RSA). This year was the 10th anniversary of CT-RSA. Since its conception, the CT-RSA...

Wireless sensor networks (WSNs) are envisioned to enable a variety of applications including environmental monitoring, building and plant automation, homeland se- rity and healthcare. It has been argued that one of the key characteristics of sensor networks is that they are tightly coupled with...

ThisbookpresentsselectedandrevisedpapersoftheSecondWorkshoponAd- tive and Learning Agents 2009 (ALA-09), held at the AAMAS 2009 conference in Budapest, Hungary, May 12. The goalof ALA is to provide an interdisciplinaryforum for scientists from a variety of ?elds such as computer science, biology, game theory and economics. This year's...

ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec, during February22-25,2010, midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development:...

With the rapid growth of the Internet as well as the increasing demand for broadband services, access networks have been receiving growing investments in recent years. This has led to a massive network deployment with the goal of eliminating the ba- width bottleneck between...

The 17th International Symposium on Graph Drawing (GD 2009) was held in Chicago, USA, September 22-25, 2009, and was attended by 91 participants from 19 countries. In response to the call for papers, the Program Committee received 79 s- missions. Each submission was reviewed...

This book constitutes the refereed proceedings of the 13th International Conference on Principles of Distributed Systems, OPODIS 2009, held in Nimes, France, in December 2009. The 23 full papers and 4 short papers presented were carefully reviewed and selected from 72 submissions. The papers...

This book constitutes the refereed proceedings of the The Second International Workshop on Optical SuperComputing, OSC 2009, held in Bertinoro, Italy, in November 2009. The 18 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from numerous submissions for...

This book covers the underlying science and application issues related to aggregation operators, focusing on tools used in practical applications that involve numerical information. Starting with detailed introductions to information fusion and integration, measurement and probability theory, fuzzy sets, and functional equations, the authors...

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational...

Presenting an in-depth interdisciplinary discussion of the concept of information and its role in the control of natural processes, the author first briefly reviews classical and quantum information theory. He then addresses numerous essential questions, such as: Is information reducible to the laws of...

Part I Lectures: A computational fluid­structure interaction analysis of a fiber­reinforced stentless aortic valve, J. De Hart, G.W.M. Peters, P.J.G. Schreurs, F.P.T. Baaijens; Nonlinear Inverse Problems: Theoretical Aspects and Some Industrial Applications, Heinz W. Engl, Philipp Kugler; Numerical Methods for the Simulation of Incompressible...

This book constitutes the refereed proceedings of the 5th Asia Information Retrieval Symposium, AIRS 2009, held in Sapporo, Japan, in October 2009. The 18 revised full papers and 20 revised poster papers presented were carefully reviewed and selected from 82 submissions. All current aspects...

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Information Hiding, IH 2009, held in Darmstadt, Germany, in June 2009. The 19 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in...

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with...

This book constitutes the proceedings of the International Conference on Personal Satellite Services (PSATS 2009) in Rome, Italy in March 2009. The 17 papers papers demonstrate recent advances in Internet applications over satellites, satellites technologies, and future satellite location-based systems.Author: Kandeepan SithamparanathanISBN-10: 3642042597ISBN-13: 9783642042591Publisher:...

This book constitutes the refereed proceedings of the 15th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2009, held in Montréal, Canada, in September/October 2009. The 42 revised full papers were carefully reviewed and selected from numerous submissions. The papers are organized...

This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009. The 33 revised full papers, selected from 121 submissions, are presented together with 15 brief announcements of ongoing works; all of...

Author: Marcello M. BonsangueISBN-10: 3642041663ISBN-13: 9783642041662Publisher: SpringerLanguage: EnglishPublished: 09/07/2009Pages: 299Format: PaperbackWeight: 1.10lbsSize: 9.20h x 6.10w x 0.70d

A cursory glance at the table of contents of EANN 2009 reveals the am- ing range of neural network and related applications. A random but revealing sample includes: reducing urban concentration, entropy topography in epil- tic electroencephalography, phytoplanktonic species recognition, revealing the structure of...

This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, computer scientists, engineers and...

First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory. This conference series brings together researchers from...

This book constitutes the refereed proceedings of the 16th String Processing and Information Retrieval Symposium, SPIRE 2009 held in Saariselkä, Finland in August 2009. The 34 revised full papers were carefully reviewed and selected from 84 submissions. The papers are organized in topical sections...

Algebraic Effects and Recursive Equations.- Adequacy for Infinitary Algebraic Effects (Abstract).- Algebras for Parameterised Monads.- Kleene Monads: Handling Iteration in a Framework of Generic Effects.- Complete Iterativity for Algebras with Effects.- Semantics of Higher-Order Recursion Schemes.- Theory of Coalgebra.- Coalgebraic Components in a Many-Sorted...

th The 8 International Workshop on Digital Watermarking (IWDW 2009) was hosted by the University of Surrey, Guildford, Surrey, UK, during August 24- 26, 2009.As with previous workshops, IWDW 2009 aimed to providea balanced program covering the latest state-of-the-art theoretical and practical devel- ments...

th This volume contains the papers presented at the 8 International Conference on - vanced Parallel Processing Technologies, APPT 2009. This series of conferences originated from collaborations between researchers from China and Germany and has evolved into an international conference for reporting advances in...

This volume contains the proceedings of the 13th International Conference on Financial Cryptography and Data Security, held at the Accra Beach Hotel and Resort, Barbados, February 23-26, 2009. Financial Cryptography and Data Security (FC) is a well-established int- national forum for research, advanced development,...

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed...