32,227 research outputs found
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
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
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
Gold standard of UK degrees is lost in translation
No full textInflated marks, overworked staff and politically compromised courses are the price of exploiting offshore UK registered students, says Michael Day
Michael Rodriguez interviews historian and author Keith Widder
No full textHistorian and author Keith Widder talks about his move to Michigan from Wisconsin, his career as Curator of History for the Mackinac Island State Park Commission, his research interests, his book "Michigan Agricultural College", and his current projects. Widder is interviewed by Michigan State University Librarian Michael Rodriguez for the MSU Libraries' Michigan Writers Series. Held in the MSU Main Library
Dr. Michael Janis, Morehouse College, August 2011, August 2011
No full textThis video is a conversation with Dr. Michael Janis. Dr. Janis talks about his book, "Africa After Modernism: Transitions in Literature, Media and Philosophy". Yolanda Gilmore-Bivins, AUC Woodruff Library, is the interviewer
The Rodin Formal Modelling Tool
No full textWe present a software tool, the Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environments that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B. The two main characteristics of the Rodin tool are its ease of use and its extensibility. The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This will make it possible to adapt the tool specific needs. So the tool can be adapted to fit into existing development processes instead demanding the opposite. We believe that these two characteristics are major points for industrial uptake
Square Dancing with the Stars to Enhance Dynamic Hirschman Linkages?
No full textIn this Presidential Address, the author takes the reader on a reconnaissance of his life and time as a regional scientist. He points out scenery he found scintillating along the way, hoping that some may pick up the banner and chew on a few of the ideas for a while. He suggests a revisit to Albert O. Hirschman’s notion of key sectors and more empirical analysis related to Marcus Berliant’s and Masahisa Fujita’s notion of knowledge creation and transfer.Presidential Address, San Antonio, Texas, March 29, 2014 (53rd Meetings of the Southern Regional Science Association
Linking Event-B and Concurrent Object-Oriented Programs
No full textAbstractThe Event-B method is a formal approach to modelling systems, using refinement. Initial specification is done at a high level of abstraction; detail is added in refinement steps as the development proceeds toward implementation. In software systems that use concurrent processing it is necessary to provide details of concurrent features before implementation. Our contribution is to show how Event-B models can be linked to concurrent, object-oriented implementations using an intermediate, object-oriented style specification notation. To validate our approach and gain further insight we automated the translation process with an Eclipse plug-in which produces an Event-B model and Java code. We call the new notation Object-oriented Concurrent-B (OC-B). The notation facilitates specification of the concurrent aspects of a development, and facilitates reasoning about concurrency issues in an abstract manner. We abstract away implementation details, such as locking, and provide the developer with a clear view of atomicity using labelled atomic clauses. We build on techniques introduced in UML-B to model object-oriented developments, introducing non-atomic operations and features for specifying implementation level details
- …
