This book constitutes the refereed proceedings of the 11th International Conference on Optimization and applications, OPTIMA 2020, held in Moscow, Russia, in September-October 2020.*
ISBN:
(数字)9783030628673
ISBN:
(纸本)9783030628666
This book constitutes the refereed proceedings of the 11th International Conference on Optimization and applications, OPTIMA 2020, held in Moscow, Russia, in September-October 2020.*
Dieses Buch gibt eine umfassende, didaktisch erprobte Einführung in die statistische Programmiersprache R. Es vermittelt fundierte Kenntnisse zum sicheren und effizienten Einsatz von R zur Datenaufbereitung, Date...
详细信息
ISBN:
(数字)9783658288426
ISBN:
(纸本)9783658288419
Dieses Buch gibt eine umfassende, didaktisch erprobte Einführung in die statistische Programmiersprache R. Es vermittelt fundierte Kenntnisse zum sicheren und effizienten Einsatz von R zur Datenaufbereitung, Datenanalyse, Visualisierung, Berichterstellung und Simulation.;Sein didaktisches Konzept wurde im Rahmen der mit dem Teaching Award der Universität Wien ausgezeichneten Lehrveranstaltung „Statistisches Programmieren“ entwickelt.;Das Buch ist somit sowohl als Lehrbuch in Lehrveranstaltungen als auch zum Selbststudium und als Nachschlagewerk für R-Profis bestens geeignet.
In the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical applications. Let us look at some examples, the history of computing the number ? began ...
详细信息
ISBN:
(数字)9783211994320
ISBN:
(纸本)9783211994313
In the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical applications. Let us look at some examples, the history of computing the number ? began in Egypt and Babylon about 2000 years BC, since then many mathematicians have calculated ? (e. g. , Archimedes, Ptolemy, Vi` ete, etc. ). The ?rst formula for computing decimal digits of ? was disc- ered by J. Machin (in 1706), who was the ?rst to correctly compute 100 digits of ?. Then many people used his method, e. g. , W. Shanks calculated ? with 707 digits (within 15 years), although due to mistakes only the ?rst 527 were correct. For the next examples, we can mention the history of computing the ?ne-structure constant ? (that was ?rst discovered by A. Sommerfeld), and the mathematical tables, exact - lutions, and formulas, published in many mathematical textbooks, were not veri?ed rigorously [25]. These errors could have a large e?ect on results obtained by engineers. But sometimes, the solution of such problems required such techn- ogy that was not available at that time. In modern mathematics there exist computers that can perform various mathematical operations for which humans are incapable. Therefore the computers can be used to verify the results obtained by humans, to discovery new results, to - provetheresultsthatahumancanobtainwithoutanytechnology. With respectto our example of computing?, we can mention that recently (in 2002) Y. Kanada, Y. Ushiro, H. Kuroda, and M.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2017, held in Porto, Portugal, in Februa...
详细信息
ISBN:
(数字)9783319948065
ISBN:
(纸本)9783319948058
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2017, held in Porto, Portugal, in February 2017.
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presente...
详细信息
ISBN:
(数字)9783319137704
ISBN:
(纸本)9783319137698
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.
Computational geometry emerged from the field of algorithms design and anal ysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active r...
详细信息
ISBN:
(数字)9783662034279
Computational geometry emerged from the field of algorithms design and anal ysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The suc cess of the field as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains--computer graphics, geographic in formation systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or difficult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simplified many of the previous approaches. In this textbook we have tried to make these modem algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry, but it can also be used for self-study.
This book contains the refereed proceedings of the 11th International Symposium on mathematical Morphology, ISMM 2013 held in Uppsala, Sweden, in May 2013. The 41 revised full papers presented together with 3 invited ...
详细信息
ISBN:
(数字)9783642382949
ISBN:
(纸本)9783642382932
This book contains the refereed proceedings of the 11th International Symposium on mathematical Morphology, ISMM 2013 held in Uppsala, Sweden, in May 2013. The 41 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on theory; trees and hierarchies; adaptive morphology; colour; manifolds and metrics; filtering; detectors and descriptors; and applications.
The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting ...
详细信息
ISBN:
(数字)9783709164617
ISBN:
(纸本)9783211828434
The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a year-long project that brought many people together from many parts of the world. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable. The author was very glad he attended the workshop. * In thinking back over the conference and in reading the papers in this collection, the author feels there are perhaps four major conclusions to be drawn from the current state of work: 1. graphics is very important, but such features should be made as easy to use as possible; 2. symbolic mathematical computation is very powerful, but the user must be able to see "intermediate steps"; 3. system design has made much progress, but for semester-long coursework and book-length productions we need more tools to help composition and navigation; 4. monolithic systems are perhaps not the best direction for the future, as different users have different needs and may have to link together many kinds of tools. The editor of this volume and the authors of the papers presented here have also reached and documented similar conclusions.
暂无评论