Filter by
The meaning of proofs :mathematics as storytelling
Translation of: Matematica come narrazione : raccontare la matematica."This book introduces readers to the narrative structure of mathematical proofs and why mathematicians communicate that way, drawing examples from classic literature and employing metaphors and imagery"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262371030
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Advances in minimum description length :theory and applications
A source book for state-of-the-art MDL, including an extensive tutorial and recent theoretical advances and practical applications in fields ranging from bioinformatics to psychology.The process of inductive inference--to infer general laws and principles from particular instances--is the basis of statistical modeling, pattern recognition, and machine learning. The Minimum Descriptive Length (M…
- Edition
- -
- ISBN/ISSN
- 9780262274463
- Collation
- 1 online resource (x, 444 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Ant colony optimization
"A Bradford book."An overview of the rapidly growing field of ant colony optimization that describes theoretical findings, the major algorithms, and current applications.The complex social behaviors of ants have been much studied by science, and computer scientists are now finding that these behavior patterns can provide models for solving difficult combinatorial optimization problems. The atte…
- Edition
- -
- ISBN/ISSN
- 9780262256032
- Collation
- 1 online resource (xi, 305 pages) :illustrations
- Series Title
- -
- Call Number
- -
Basic category theory for computer scientists
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of…
- Edition
- -
- ISBN/ISSN
- 9780262288460
- Collation
- 1 online resource (xiii, 100 pages).
- Series Title
- -
- Call Number
- -
Norbert Wiener - A Life in Cybernetics :Ex-Prodigy: my childhood and youth an…
Includes bibliographical references and index.Norbert Wiener's celebrated autobiography, available for the first time in one volume.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262347051
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- 003.5
Perturbations optimization and statistics
A description of perturbation-based methods developed in machine learning to augment novel optimization methods with strong statistical guarantees.In nearly all machine learning, decisions must be made given current knowledge. Surprisingly, making what is believed to be the best decision is not always the best strategy, even when learning in a supervised learning setting. An emerging body of wo…
- Edition
- -
- ISBN/ISSN
- 9780262337939
- Collation
- 1 online resource (ix, 401 pages).
- Series Title
- -
- Call Number
- -
Optimization for machine learning
An up-to-date account of the interplay between optimization and machine learning, accessible to students and researchers in both communities.The interplay between optimization and machine learning is one of the most important developments in modern computational science. Optimization formulations and methods are proving to be vital in designing algorithms to extract essential knowledge from hug…
- Edition
- -
- ISBN/ISSN
- 9780262298773
- Collation
- 1 online resource (ix, 494 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Enrico Fermi the Obedient Genius
This biography explores the life and career of the Italian physicist Enrico Fermi, which is also the story of thirty years that transformed physics and forever changed our understanding of matter and the universe: nuclear physics and elementary particle physics were born, nuclear fission was discovered, the Manhattan Project was developed, the atomic bombs were dropped, and the era of “big sc…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3533-8
- Collation
- 51 b/w illustrations, 3 illustrations in colour
- Series Title
- -
- Call Number
- -
Astronomy and Calendars – The Other Chinese Mathematics: 104 BC - AD 1644
Presented from the viewpoint of the history of mathematics, this book explores both epistemological aspects of Chinese traditional mathematical astronomy and lunisolar calendrical calculations. The following issues are addressed: (1) connections with non-Chinese cultural areas; (2) the possibility or impossibility of using mathematics to predict astronomical phenomena, a question that was const…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-49718-0
- Collation
- XXXV, 471
- Series Title
- Lecture Notes in Chemistry
- Call Number
- 530.1 MAR a
Proceedings of the 13th International Congress on Mathematical Education
This book is open access under a CC BY 4.0 license. The book presents the Proceedings of the 13th International Congress on Mathematical Education (ICME-13) and is based on the presentations given at the 13th International Congress on Mathematical Education (ICME-13). ICME-13 took place from 24th- 31st July 2016 at the University of Hamburg in Hamburg (Germany). The congress was hosted by the …
- Edition
- -
- ISBN/ISSN
- 9783319625966
- Collation
- XVIII, 766 halaman
- Series Title
- ICME-13 Monographs
- Call Number
- 510 PRO
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography