Filter by
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015:18t…
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24552-2
- Collation
- XLVII, 740
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Automation, Communication and Cybernetics in Science and Engineering 2015/201
Interdisciplinary research related to meachnical engineering and humanities Cybernetic methods used in various application fields Innovation method, demographic change, engineering education best practices Production engineering, robotics, autonomous systems
- Edition
- -
- ISBN/ISSN
- 978-3-319-42620-4
- Collation
- XXIV, 999
- Series Title
- -
- Call Number
- 006.3
Automated Technology for Verification and Analysis : 13th International Sympo…
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24953-7
- Collation
- XIII, 520
- Series Title
- -
- Call Number
- 006.3
Automated Reasoning with Analytic Tableaux and Related Methods : 24th Interna…
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24312-2
- Collation
- XVI, 355
- Series Title
- -
- Call Number
- 006.4
Transactions on Engineering Technologies
This volume presents selected peer-reviewed, revised and extended research articles written by prominent researchers who participated in the World Congress on Engineering 2015, held in London, UK, 1-3 July, 2015. This large international conference covered advances in engineering technologies and the physical sciences, with contributions on subjects including mechanical engineering, bioengineer…
- Edition
- 1
- ISBN/ISSN
- 978-981-10-9326-5
- Collation
- X, 546
- Series Title
- -
- Call Number
- -
Recent Advances in Information and Communication Technology 2016: Proceedings…
This proceedings book presents recent research work and results in the area of communication and information technologies. The chapters of this book contain the main, well-selected and reviewed contributions of scientists who met at the 12th International Conference on Computing and Information Technology (IC2IT) held during 7th - 8th July 2016 in Khon Kaen, Thailand The book is divided into th…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40415-8
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Recent Advances in Computational Optimization: Results of the Workshop on Com…
This volume is a comprehensive collection of extended contributions from the Workshop on Computational Optimization 2015. It presents recent advances in computational optimization. The volume includes important real life problems like parameter settings for controlling processes in bioreactor, control of ethanol production, minimal convex hill with application in routing algorithms, graph color…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40132-4
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Is ‘Fuzzy Theory’ an Appropriate Tool for Large Size Problems?
The work in this book is based on philosophical as well as logical views on the subject of decoding the ‘progress’ of decision making process in the cognition system of a decision maker (be it a human or an animal or a bird or any living thing which has a brain) while evaluating the membership value µ(x) in a fuzzy set or in an intuitionistic fuzzy set or in any such soft computing set…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26718-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Recent Advances in Computational Optimization: Results of the Workshop on Com…
This volume is a comprehensive collection of extended contributions from the Workshop on Computational Optimization 2014, held at Warsaw, Poland, September 7-10, 2014. The book presents recent advances in computational optimization. The volume includes important real problems like parameter settings for controlling processes in bioreactor and other processes, resource constrained project sch…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21133-6
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Recent Advances in Computational Optimization: Results of the Workshop on Com…
Our everyday life is unthinkable without optimization. We try to minimize our effort and to maximize the achieved profit. Many real world and industrial problems arising in engineering, economics, medicine and other domains can be formulated as optimization tasks. This volume is a comprehensive collection of extended contributions from the Workshop on Computational Optimization 2013. It pres…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12631-9
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography