Filter by
International Symposium on Mathematics, Quantum Theory, and Cryptography Pro…
This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan. The international symposium MQC addresses the mathematics and quantum theory underlying secure modeling of the post quantum cryptography including e.g. mathematical study of the light-matter interaction mod…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Edutainment XI
This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48247-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Traffic Monitoring and Analysis 7th International Workshop, TMA 2015, Barcel…
This book constitutes the refereed proceedings of the 7th International Workshop on Traffic Monitoring and Analysis, TMA 2015, held in Barcelona, Spain, in April 2015. The 16 full papers presented in this volume were carefully reviewed and selected from 54 submissions. The contributions are organized in topical sections on measurement tools and methods; mobile and wireless; Web; security; an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17172-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Topics on Methodological and Applied Statistical Inference
This book brings together selected peer-reviewed contributions from various research fields in statistics, and highlights the diverse approaches and analyses related to real-life phenomena. Major topics covered in this volume include, but are not limited to, bayesian inference, likelihood approach, pseudo-likelihoods, regression, time series, and data analysis as well as applications in the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-44093-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Foundation Mathematics for Computer Science
John Vince describes a range of mathematical topics to provide a foundation for an undergraduate course in computer science, starting with a review of number systems and their relevance to digital computers, and finishing with differential and integral calculus. Readers will find that the author's visual approach will greatly improve their understanding as to why certain mathematical structures…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21437-5
- Collation
- XVII, 334 pages
- Series Title
- -
- Call Number
- -
Time Series Modeling for Analysis and Control Advanced Autopilot and Monitor…
This book presents multivariate time series methods for the analysis and optimal control of feedback systems. Although ships’ autopilot systems are considered through the entire book, the methods set forth in this book can be applied to many other complicated, large, or noisy feedback control systems for which it is difficult to derive a model of the entire system based on theory in that subj…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55303-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Thermomechanics of Composite Structures under High Temperatures
This pioneering book presents new models for the thermomechanical behavior of composite materials and structures taking into account internal physico-chemical transformations such as thermodecomposition, sublimation and melting at high temperatures (up to 3000 K). It is of great importance for the design of new thermostable materials and for the investigation of reliability and fire safety of c…
- Edition
- -
- ISBN/ISSN
- 978-94-017-7494-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Matrix and Tensor Variate Data Analysis
This book provides comprehensive reviews of recent progress in matrix variate and tensor variate data analysis from applied points of view. Matrix and tensor approaches for data analysis are known to be extremely useful for recently emerging complex and high-dimensional data in various applied fields. The reviews contained herein cover recent applications of these methods in psychology (Chap. 1…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-4-431-55387-8
- Collation
- XI, 136
- Series Title
- SpringerBriefs in Statistics
- Call Number
- 005.55 APP a
Theory and Practice of Model Transformations 8th International Conference, I…
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21155-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography