Filter by
Tools of Transport Telematics 15th International Conference on Transport Sys…
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015. The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and inte…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24577-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools for High Performance Computing 2014 Proceedings of the 8th Internation…
Numerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order …
- Edition
- -
- ISBN/ISSN
- 978-3-319-16012-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Reconfigurable Computing: 11th International Symposium, ARC 2015, Boc…
This book constitutes the refereed proceedings of the 11th International Symposium on Applied Reconfigurable Computing, ARC 2015, held in Bochum, Germany, in April 2015. The 23 full papers and 20 short papers presented in this volume were carefully reviewed and selected from 85 submissions. They are organized in topical headings named: architecture and modeling; tools and compilers; systems …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16214-0
- Collation
- XVIII, 557
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 APP a
Applied Nonautonomous and Random Dynamical Systems: Applied Dynamical Systems
This book offers an introduction to the theory of non-autonomous and stochastic dynamical systems, with a focus on the importance of the theory in the Applied Sciences. It starts by discussing the basic concepts from the theory of autonomous dynamical systems, which are easier to understand and can be used as the motivation for the non-autonomous and stochastic situations. The book subsequently…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-49247-6
- Collation
- X, 108
- Series Title
- SpringerBriefs in Mathematics
- Call Number
- 515.3 CAR a
Theory and Practice of Natural Computing Fourth International Conference, TP…
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Practice of Natural Computing, TPNC 2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented together with 20 invited talks in this book were carefully reviewed and selected from 30 submissions. The scope of TPNC is rather broad, containing topics of either theoretical,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26841-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation Third International Workshop…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28460-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Applications of Measure Theory to Statistics
This book aims to put strong reasonable mathematical senses in notions of objectivity and subjectivity for consistent estimations in a Polish group by using the concept of Haar null sets in the corresponding group. This new approach – naturally dividing the class of all consistent estimates of an unknown parameter in a Polish group into disjoint classes of subjective and objective estimates â…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-45578-5
- Collation
- XV, 134
- Series Title
- -
- Call Number
- 519.5 PAN a
Applications of Elliptic Carleman Inequalities to Cauchy and Inverse Problems
This book presents a unified approach to studying the stability of both elliptic Cauchy problems and selected inverse problems. Based on elementary Carleman inequalities, it establishes three-ball inequalities, which are the key to deriving logarithmic stability estimates for elliptic Cauchy problems and are also useful in proving stability estimates for certain elliptic inverse problems. T…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-33642-8
- Collation
- IX, 81
- Series Title
- SpringerBriefs in Mathematics
- Call Number
- 519.4 CHO a
Applications and Usability of Interactive TV: Third Iberoamerican Conference,…
This book constitutes the refereed proceedings of the Third Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2014, and the Third Workshop on Interactive Digital TV, WTVDI 2014, held as part of Webmedia 2014, João Pessoa, Brazil, in November 2014. The 10 revised full papers presented were carefully reviewed and selected from 26 submissions. The papers are organize…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22656-9
- Collation
- VIII, 147
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.642 APP a
The Universe of Conics From the ancient Greeks to 21st century developments
This text presents the classical theory of conics in a modern form. It includes many novel results that are not easily accessible elsewhere. The approach combines synthetic and analytic methods to derive projective, affine and metrical properties, covering both Euclidean and non-Euclidean geometries. With more than two thousand years of history, conic sections play a fundamental role in nume…
- Edition
- -
- ISBN/ISSN
- 978-3-662-45450-3
- 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