This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an
The two volumes CCIS 546 and 547 constitute the refereed proceedings of the CCF Chinese Conference on Computer Vision, CCCV 2015, held in Xi'an, China, in September 2015. The total of 89 revised
This volume presents the current state of laser-assisted bioprinting, a cutting edge tissue engineering technology. Nineteen chapters discuss the most recent developments in using this technology for
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, It
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, It
This accessible textbook presents an introduction to computer vision algorithms for industrially-relevant applications of X-ray testing. Features: introduces the mathematical background for monocular
This book introduces Python programming language and fundamental concepts in algorithms and computing. Its target audience includes students and engineers with little or no background in programming,
This volume contains thirty-nine revised and extended research articles, written by prominent researchers participating in theWorld Congress on Engineering and Computer Science 2014, held in San Franc
This book generates a comprehensive account of ways in which practice-based learning has been conceptualized in the Francophone context. Learning for occupations, and the educational and practice-base
The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015.
During the last several decades, self-regulation of learning has permeated all areas of learning and development, including teaching preparation programs. Self-regulatory competences are essential for
The book offers a valuable resource for students and statisticians whose work involves survey sampling. An estimation of the population parameters in finite and fixed populations assisted by auxiliary
This book posits the idea that networked learning is the one new paradigm in learning theory that has resulted from the introduction of digital and networked technologies. It sets out, in a single vol
This book develops two key machine learning principles: the semi-supervised paradigm and learning with interdependent data. It reveals new applications, primarily web related, that transgress the clas
This book discusses the contribution of excitation source information in discriminating language. The authors focus on the excitation source component of speech for enhancement of language identificat
This book illuminates what must always be at the heart of powerful schooling and authentic learning. Its focus is on free learning, with an emphasis on early East Asian thought as a vehicle through wh
Efficient Learning Machines explores all the major topics of machine learning, including big data, knowledge discovery, classifications, genetic algorithms, neural networking, kernel methods, and gami
This book constitutes the refereed proceedings of the 18th National Conference on Computer Engineering and Technology, NCCET 2014, held in Guiyang, China, during July/August 2014. The 18 papers presen
This book constitutes the thoroughly refereed post-workshop proceedings of the Third IAPR TC3 Workshop on Pattern Recognition of Social Signals in Human-Computer-Interaction, MPRSS 2014, held in Stock
This textbook presents both a conceptual framework and detailed implementation guidelines for computer science (CS) teaching. Updated with the latest teaching approaches and trends, and expanded with
This volume offers an up-to-date overview on the major areas of gynecological endocrinology, presenting the latest advances in adolescent gynecological endocrinology, assisted reproduction, menstrual-
The spread of English as an international language along with the desire to maintain local languages lead us to consider multilingualism as the norm rather than the exception. Consequently, bi/multili
Co-chaperones are important mediators of the outcome of chaperone assisted protein homeostasis, which is a dynamic balance between the integrated processes of protein folding, degradation and transloc
This book constitutes the refereed proceedings of the International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, held in Harbin, China, in January 2015. The 61 revis
This book has one explicit purpose: to present a new theory of cultural learning in organisations which combines practice-based learning with cultural models - a cognitive anthropological schema theor
The 6th FTRA International Conference on Computer Science and its Applications (CSA-14) will be held in Guam, USA, Dec. 17 - 19, 2014. CSA-14 presents a comprehensive conference focused on the various
This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Informatics, and Systems Sciences,
This text details the plant-assisted remediation method, “phytoremediation”, which involves the interaction of plant roots and associated rhizospheric microorganisms for the remediation of soil and wa
This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applications of electronics, communications, compu
This edited book presents scientific results of the 13th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2014) which was held on June 4-6, 2014 in Taiyuan, China. The aim
This book constitutes the refereed proceedings of the International Symposium on Computer Networks and Distributed Systems, CNDS 2013, held in Tehran, Iran, in December 2013. The 14 full papers presen
This book constitutes the refereed proceedings of the 8th International Conference, VISIGRAPP 2013 consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Comp
This book presents a world-class collection of Brain-Computer Music Interfacing (BCMI) tools. The text focuses on how these tools enable the extraction of meaningful control information from brain sig
Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circ
The Internet and associated technologies have been around for almost twenty years. Networked access and computer ownership are now the norm. There is a plethora of technologies that can be used to sup
The focus of this book is on exploring effective strategies in higher education that promote meaningful learning and go beyond discipline boundaries, with a special emphasis on Subjectivity Learning,
The book will address the main issues concerned with the new development of learning processes, innovative pedagogies changes, effects of new technologies on education, future learning content, which
This book focuses on the design and architecture of ubiquitous learning environments, associated technologies, various learning scenarios supported by these environments, and different contexts that a
This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Poland, in September 2014. The 33 full papers presented
