The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the University of Western Ontario. It was a four-day conference starting August 17 and ending August 20, 2010. The DLT conference series is one of the major international conference series in language theory. It started in Turku, Finland in 1993. Initially, it was held onceeverytwoyears. Since2001, ithasbeenheldeveryyear, oddyearsinEurope and even years in other continents. The papers submitted to DLT 2010 were from 27 countries all over the world,...

Over the past decade, sign?cant advances in wireless communication and c- puting technologies have led to the proliferation of reliable and ubiquitous - frastructure and infrastructureless wireless networks all over the world, as well as a diverserangeof new applications, such as mobile social networking, and the surveillance and protection of critical infrastructures and environments. At the same time, these applications have raised new challenges ranging from the t- oretical foundations of these systems, algorithms and protocol design, security andprivacyto...

This book constitutes the proceedings of the Third International Conference on Hybrid Learning, ICHL 2010, held in Beijing, China, in August 2010. The 50 contributions presented in this volume were carefully reviewed and selected from 225 submissions. In addition two keynote talks are included in this book. The topics covered are interactive hybrid learning systems, content management for hybrid learning, pedagogical and psychological issues, outcome-based teaching and learning, instructional design issues, experiences in hybrid learning, improved flexibility of learning processes, computer...

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, China (2008). GMP 2010 received a total of 30 submissions that were reviewed by three to four Program Committee members on average. While the number of subm- sions dropped signi?cantly from...

Constitutes the refereed proceedings of the 9th International Algorithmic Number Theory Symposium, ANTS 2010, held in Nancy, France, in July 2010. This book features the papers that are devoted to algorithmic aspects of number theory, including elementary number theory, algebraic number theory, analytic number theory, and more.

Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.

Thepapers inthis volumewereselectedfor presentationatthe 4thInternational FrontiersofAlgorithmicsWorkshop(FAW2010), heldduringAugust11-13,2010 at Wuhan University, Wuhan, China. Previous meetings of this workshop were held in Lanzhou (2007), Changsha (2008), and Hefei (2009). In response to the Call-for-Papers, 57 extended abstracts were submitted from 12 countries and regions, of which 28 were accepted. The submitted papers were from China, France, Hong Kong, India, Israel, Italy, Japan, Republic of Korea, Lebanon, The Netherlands, Taiwan, and USA....

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 in Suwon, South Korea (2009), Perugia, Italy (2008), Kuala Lumpur, Malaysia (2007), Glasgow, UK (2006), Singapore (2005), Assisi, Italy (2004), Montreal, Canada (2003), and (as ICCS) Amsterdam, The Netherlands...

Constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2010, held in Istanbul, Turkey, in April 2010 co-located with the Evo* 2010 events.

Evolutionary Computation (EC) techniques are e?cient, nature-inspired me- ods based on the principles of natural evolution and genetics. Due to their - ciency and simple underlying principles, these methods can be used for a diverse rangeofactivitiesincludingproblemsolving, optimization, machinelearningand pattern recognition. A large and continuously increasing number of researchers and professionals make use of EC techniques in various application domains. This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The...