Please enter a valid search term.
Currently Displaying Results
1167401-1167425 of 1545895
View book details for Aliasing in Object-Oriented Programming
Types, Analysis and Verification
This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan …
View book details for Combinatorial Optimization
Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014. The 37 revised full papers presented together with 64 short papers were carefully reviewed and …
View book details for Computational Linguistics and Intelligent Text Processing
15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I
This two-volume set, consisting of LNCS 8403 and LNCS 8404, constitutes the thoroughly refereed proceedings of the 14th International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2014, held in Kathmandu, Nepal, in April 2014. The 85 revised papers …
View book details for Parallel Computing Technologies
12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings
This book constitutes the proceedings of the 12th International Conference on Parallel Computing Technologies, PaCT 2013, held in St. Petersburg, Russia, during September 30-October 4, 2013. The 41 full papers presented together with 2 invited papers were carefully reviewed and …
View book details for Progress in Cryptology AFRICACRYPT 2014
7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICA CRYPT 2014, held in Marrakesh, Morocco in May 2014. The 26 papers presented together with 1 invited talk …
View book details for Active Media Technology
9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Active Media Technology, AMT 2013, held in Maebashi, Japan, in October 2013. The 26 revised full papers presented together with 2 short papers, 16 workshop papers, and 12 …
View book details for Spatial Information Theory
11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013, Proceedings
This book constitutes the proceedings of the 11th International Conference on Spatial Information Theory, COSIT 2013, held in Scarborough, UK, in September 2013. The 28 papers presented in this book were carefully reviewed and selected from 62 full paper submissions. …
Knopf Doubleday Publishing Group
Like Kafka's The Castle, Invitation to a Beheading embodies a vision of a bizarre and irrational world. In an unnamed dream country, the young man Cincinnatus C. is condemned to death by beheading for "gnostical turpitude," an imaginary crime that …
View book details for Transactions on Computational Science XX
Special Issue on Voronoi Diagrams and Their Applications
This, the 20th issue of the Transactions on Computational Science journal, edited by Bahman Kalantari, is devoted to the topic of Voronoi Diagrams and their applications. The 10 full papers included in the volume are revised and extended versions of …
View book details for Advances in Cryptology -- CRYPTO 2014
34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II
The two volume-set, LNCS 8616 and LNCS 8617, constitutes the refereed proceedings of the 34th Annual International Cryptology Conference, CRYPTO 2014, held in Santa Barbara, CA, USA, in August 2014.The 60 revised full papers presented in LNCS 8616 and LNCS …
View book details for Ad-hoc, Mobile, and Wireless Networks
12th International Conference, ADHOC-NOW 2013, Wroclaw, Poland, July 8-10, 2013Proceedings
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2013, held in Wroclaw, Poland, in July 2013. The 27 revised full papers presented were carefully reviewed and selected from 56 …
View book details for Medicinal Treasures
Practical Insights for Holistic Health
Welcome to "Medicinal Treasures: A Journey into Chinese Herbal Medicine - Practical Insights for Holistic Health." In the bustling realm of modern healthcare, there is a growing awareness of the profound wisdom embedded in ancient healing traditions. At the forefront …
View book details for Advances in Swarm Intelligence
5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II
This book and its companion volume, LNCS vol. 8794 and 8795 constitute the proceedings of the 5th International Conference on Swarm Intelligence, ICSI 2014, held in Hefei, China in October 2014. The 107 revised full papers presented were carefully reviewed …
Nonautonomous dynamics describes the qualitative behavior of evolutionary differential and difference equations, whose right-hand side is explicitly time dependent. Over recent years, the theory of such systems has developed into a highly active field related to, yet recognizably distinct from …
View book details for Categories and Types in Logic, Language, and Physics
Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The …
View book details for Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Risk Assessment and Risk-driven Testing, RISK 2013, held in conjunction with 25th IFIP International Conference on Testing Software and Systems, ICTSS 2013, in Istanbul, Turkey, in …
View book details for Pattern Recognition in Bioinformatics
9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014. Proceedings
This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2014, held in Stockholm, Sweden in August 2014. The 9 revised full papers and 9 revised short papers presented were carefully reviewed …
View book details for Theory and Applications of Models of Computation
10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected …
View book details for Topics in Cryptology -- CT-RSA 2014
The Cryptographer's Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014, Proceedings
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2014, CT-RSA 2014, held in San Francisco, CA, USA, in February 2014. The 25 papers presented in this volume were carefully reviewed and selected from 66 …
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance …
View book details for Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. …
View book details for Calculations on nonlinear optical properties for large systems
The elongation method
For design purposes one needs to relate the structure of proposed materials to their NLO (nonlinear optical) and other properties, which is a situation where theoretical approaches can be very helpful in providing suggestions for candidate systems that subsequently can …
View book details for Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully …
View book details for Asymptotic Chaos Expansions in Finance
Theory and Practice
Stochastic instantaneous volatility models such as Heston, SABR or SV-LMM have mostly been developed to control the shape and joint dynamics of the implied volatility surface. In principle, they are well suited for pricing and hedging vanilla and exotic options, …
View book details for Coordination Models and Languages
16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014. The 12 papers included in this volume were carefully reviewed and selected from 31 submissions. They …
Currently Displaying Results
1167401-1167425 of 1545895