36,299 research outputs found
Mathematics for Computation (M4C)
No full textThe overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and computation wherever desirable and possible, and otherwise explaining why not.
Recently, abstract mathematics has proved to have more computational content than ever expected. Indeed, the axiomatic method, originally intended to do away with concrete computations, seems to suit surprisingly well the programs-from-proofs paradigm, with abstraction helping not only clarity but also efficiency.
Unlike computational mathematics, which rather focusses on objects of computational nature such as algorithms, the scope of M4C generally encompasses all the mathematics, including abstract concepts such as functions. The purpose of M4C actually is a strongly theory-based and therefore, is a more reliable and sustainable approach to actual computation, up to the systematic development of verified software.
While M4C is situated within mathematical logic and the related area of theoretical computer science, in principle it involves all branches of mathematics, especially those which prompt computational considerations. In traditional terms, the topics of M4C include proof theory, constructive mathematics, complexity theory, reverse mathematics, type theory, category theory and domain theory.
The aim of this volume is to provide a point of reference by presenting up-to-date contributions by some of the most active scholars in each field. A variety of approaches and techniques are represented to give as wide a view as possible and promote cross-fertilization between different styles and traditions
Categorization of literature pertaining to the use of revegetation in suppressing invasive plant species
No full textA search strategy was developed to identify literature on the use of revegetation as a strategy to suppress reinvasion of invasive species in grasslands and forests. This dataset summarizes the data points for each article included in the literature analysis.Partial funding provided by the Minnesota Invasive Terrestrial Plants and Pests Center through the Minnesota Environment and Natural Resources Trust Fund.Schuster, Michael; Wragg, Peter; Reich, Peter. (2018). Categorization of literature pertaining to the use of revegetation in suppressing invasive plant species. Retrieved from the University Digital Conservancy, https://doi.org/10.13020/D6JX0P
Michael Rodriguez interviews fiction writer Michael Kimball
No full textAuthor Michael Kimball talks about moving away from Michigan to become a successful writer, his education, the fiction reading series he has started in Baltimore, the life-story-on-postcard project, and his book "Dear everybody." Kimball is interviewed by Michigan State University Librarian Michael Rodriguez for the Michigan State University Libraries' Michigan Writers Series
Concepts of Proof in Mathematics, Philosophy, and Computer Science
No full textA proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction
Sonoma humilis Marsh and Schuster 1962
No full textSonoma humilis Marsh and Schuster, 1962 – CA USA: CALIFORNIA: Contra Costa Co.: *Redwood Peak C. Costa Co. Calif. 1-9-54 / R. O. Schuster G. A. Marsh / ♂ / Sonoma humilis Marsh-Schuster [♂, FSCA] [aedeagus figured, MLF 2015]. Marin Co.: * CALIF:Marin Co. Samuel P. Taylor St.Pk. III-31-1976 Fred G. Andrews T.D.Eichlin,colls. / Berlesed from Redwood Duff / Sonoma humilis ‘92 det. DSChandler [♂, CSCA]. Sonoma Co.: * 6 mi SE Cotati Sonoma Co.Calif x.28.1969 A.J.Gilbert / Rotting Mossy Log / Sonoma humilis ‘92 det. DSChandler [♂, CSCA].Published as part of Ferro, Michael L., 2016, Fourteen new species of Sonoma Casey (Coleoptera: Staphylinidae: Pselaphinae) with a key to species from western North America, pp. 1-57 in Insecta Mundi 2016 (472) on page 49, DOI: 10.5281/zenodo.517050
Michael Rodriguez interviews author Paul Clemens
No full textAuthor Paul Clemens talks about his book "Made in Detroit," the genre of memoir, and writing about race. Clemens is interviewed by Michigan State University Librarian Michael Rodriguez for the MSU Libraries' Michigan Writers Series. Held in the MSU Main Library
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE
No full textWe try to recast in modern terms a choice principle conceived by Beppo Levi, who called it the Approximation Principle (AP). Up to now, there was almost no discussion about Levi’s contribution, due to the quite obscure formulation of AP the author has chosen. After briefly reviewing the historical and philosophical surroundings of Levi’s proposal, we undertake our own attempt at interpreting AP. The idea underlying the principle, as well as the supposed faithfulness of our version to Levi’s original intention, are then discussed. Finally, an application of AP to a property of metric spaces is presented, with the aim of showing how AP may work in contexts where other forms of choice are commonly at use
Sonoma dolabra Marsh and Schuster. Right 1962
No full textSonoma dolabra Marsh and Schuster, 1962 – CA USA: CALIFORNIA: Mendocino Co.: * CAL: Mendocino Co; Hendy Woods July, 1987 [3♂, FMNH].Published as part of Ferro, Michael L., 2016, Fourteen new species of Sonoma Casey (Coleoptera: Staphylinidae: Pselaphinae) with a key to species from western North America, pp. 1-57 in Insecta Mundi 2016 (472) on page 48, DOI: 10.5281/zenodo.517050
Michael Rodriguez interviews author Tom Springer
No full textAuthor Tom Springer is interviewed about his writing career and his newest book "Looking for hickories". Springer talks about his career following after earning an Environmental Journalism degree from Michigan State University. He calls his genre "creative non-fiction" and explains how he weaves his memories into his books about life in rural and wild Michigan. Part of the Michigan State University Libraries' Michigan Writers Series. Springer is interviewed by Librarian Michael Rodriguez
Michael Rodriguez interviews author Gary Gildner
No full textAuthor Gary Gildner explains why he left his tenured teaching position to move to Idaho to became a full-time writer of poetry. Gildner talks about donating his personal papers to Michigan State University Libraries' Special Collections, his writing style and how he approaches writing. Gildner is interviewed by MSU Librarian Michael Rodriguez for the MSU Libraries' Michigan Writer Series. Held at the MSU Main Library
- …
