Please enter a valid search term.
Currently Displaying Results
1167801-1167825 of 1545933
View book details for Integer Programming and Combinatorial Optimization
18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2016, held in Liege, Belgium, in June 2016. The 33 full papers presented were carefully reviewed and selected from 125 submissions. The …
View book details for Security Standardisation Research
Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Security Standardisation Research, SSR 2015, held in Tokyo, Japan, in December 2015.The 13 papers presented in this volume were carefully reviewed and selected from 18 submissions. They are …
View book details for Mathematical Methods for Curves and Surfaces
9th International Conference, MMCS 2016, Tnsberg, Norway, June 2328, 2016, Revised Selected Papers
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2016, held in Tnsberg, Norway, in June 2016. The 17 revised full papers presented were carefully reviewed and selected …
View book details for Geographic Information Science
9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Geographic Information Science, GIScience 2016, held in Montreal, QC, Canada, in September 2016. The 21 full papers presented were carefully reviewed and selected from 63 submissions. The papers …
View book details for Human Interface and the Management of Information: Information, Design and Interaction
18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016, Proceedings, Part I
The two-volume set LNCS 9734 and 9735 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, Canada, in …
View book details for Advances in Cryptology -- ASIACRYPT 2015
21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I
The two-volume set LNCS 9452 and 9453 constitutes the refereed proceedings of the 21st International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2015, held in Auckland, New Zealand, in November/December 2015. The 64 revised full …
View book details for Computer Science Theory and Applications
12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In …
View book details for Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were …
View book details for Advances in Conceptual Modeling
ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 1417, 2016, Proceedings
This book constitutes the refereed proceedings of seven workshops and a symposium, held at the 35th International Conference on Conceptual Modeling, ER 2016, in Gifu, Japan. The 19 revised full and 3 keynote papers were carefully reviewed and selected out …
View book details for Adaptive and Adaptable Learning
11th European Conference on Technology Enhanced Learning, EC-TEL 2016, Lyon, France, September 13-16, 2016, Proceedings
This book constitutes the proceedings of the 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, held in Lyon, France, in September 2016.The 26 full papers, 23 short papers, 8 demo papers, and 33 poster papers presented in this volume …
View book details for Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected …
View book details for Requirements Engineering: Foundation for Software Quality
21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2013. The 23 papers presented together with 1 keynote were carefully reviewed and …
View book details for Mathematical Foundations of Computer Science 2015
40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together …
View book details for Innovative Security Solutions for Information Technology and Communications
10th International Conference, SecITC 2017, Bucharest, Romania, June 89, 2017, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Security for Information Technology and Communications, SecITC 2017, held in Bucharest, Romania, in June 2017. The 6 revised full papers presented together with 7 invited talks …
View book details for Communication Technologies for Vehicles
10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016, Proceedings
This book constitutes the proceedings of the 10th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, held in San Sebastian, Spain, in June 2016. The 13 papers presented together with 2 keynote papers, 2 invited papers, and 1 demo …
View book details for Information Security and Cryptology - ICISC 2014
17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Information Security and Cryptology, ICISC 2014, held in Seoul, South Korea in December 2014. The 27 revised full papers presented were carefully selected from 91 submissions …
View book details for Wear Prediction on Total Ankle Replacement
Effect of Design Parameters
This book develops and analyses computational wear simulations of the total ankle replacement for the stance phase of gait cycle. The emphasis is put on the relevant design parameters. The book presents a model consisting of three components; tibial, bearing …
View book details for Entertainment Computing - ICEC 2015
14th International Conference, ICEC 2015, Trondheim, Norway, September 29 - Ocotober 2, 2015, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Entertainment Computing, ICEC 2015, held in Trondheim, Norway, in September/October 2015. The 26 full papers, 6 short papers, 16 posters, 6 demos and 6 workshops/tutorial descriptions presented were …
View book details for OpenMP: Memory, Devices, and Tasks
12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016. The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized …
View book details for On the Move to Meaningful Internet Systems: OTM 2014 Workshops
Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings
This volume constitutes the refereed proceedings of the following 9 international workshops: OTM Academy, OTM Industry Case Studies Program, Cloud and Trusted Computing, C&TC, Enterprise Integration, Interoperability, and Networking, EI2N, Industrial and Business Applications of Semantic Web Technologies, INBAST, Information …
View book details for Autonomous Agents and Multiagent Systems
AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers
This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.The 11 full papers were carefully reviewed and selected for inclusion in this volume. …
View book details for Digital Education: Out to the World and Back to the Campus
5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings
This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganes, Madrid, Spain, in May 2017. The 23 full and 10 short papers presented in this volume were carefully reviewed and selected from 53 submissions. Massive …
View book details for Advances in Knowledge Discovery and Data Mining
20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part I
This two-volume set, LNAI 9651 and 9652, constitutes the thoroughly refereed proceedings of the 20th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2016, held in Auckland, New Zealand, in April 2016. The 91 full papers were …
View book details for Computer Safety, Reliability, and Security
36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected …
View book details for Programming Languages
20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringa, Brazil, in September 2016. The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with …
Currently Displaying Results
1167801-1167825 of 1545933