This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and en…
This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and en…
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decisio…
In recent years, there has been an increased interest in exploring the connections between various disciplines of mathematics and theoretical physics such as representation theory, algebraic geometry, quantum field theory, and string theory. One of the challenges of modern mathematical physics is to understand rigorously the idea of quantization. The program of quantization by branes, which com…
An analysis of Newton's mathematical work, from early discoveries to mature reflections, & a discussion of Newton's views on the role & nature of mathematics, in this book Guicciardini reconstructs Newton's own method by extracting it from his concrete practice.OCLC-licensed vendor bibliographic record.
A new edition of Quine's most important work.Willard Van Orman Quine begins this influential work by declaring, "Language is a social art. In acquiring it we have to depend entirely on intersubjectively available cues as to what to say and when." As Patricia Smith Churchland notes in her foreword to this new edition, with Word and Object Quine challenged the tradition of conceptual analysis as …
OCLC-licensed vendor bibliographic record.
This volume contains thirteen papers that were presented at the 2014 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques, held on the campus of Brock University in St. Catharines, Ontario, Canada. It contains rigorously reviewed modern scholarship on general topics in the history and philosoph…
Lectures, many never before published, that offer insights into the early thinking of the mathematician and polymath George Boole.George Boole (1815-1864), remembered by history as the developer of an eponymous form of algebraic logic, can be considered a pioneer of the information age not only because of the application of Boolean logic to the design of switching circuits but also because of h…
"Sparse modeling is a rapidly developing area at the intersection of statistical learning and signal processing, motivated by the age-old statistical problem of selecting a small number of predictive variables in high-dimensional datasets. This collection describes key approaches in sparse modeling, focusing on its applications in fields including neuroscience, computational biology, and comput…