Numerical and Formal Analysis in European History "La Connaissance des Faits N'est Jamais Complete Sans Leur Analyse Numerique"

1981 ◽  
Vol 12 (1) ◽  
pp. 115 ◽  
Author(s):  
David Herlihy
2013 ◽  
Vol 3 (2) ◽  
pp. 59-96
Author(s):  
Sørina Higgins

In his unfinished cycle of Arthurian poems, Charles Williams developed a totalizing mythology in which he fictionalized the Medieval. First, he employed chronological conflation, juxtaposing events and cultural references from a millennium of European history and aligning each with his doctrinal system. Second, following the Biblical metaphor of the body of Christ, Blake’s symbolism, and Rosicrucian sacramentalism, he embodied theology in the Medieval landscape via a superimposed female figure. Finally, Williams worked to show the validity of two Scholastic approaches to spirituality: the kataphatic and apophatic paths. His attempts to balance via negativa and via positiva led Williams to practical misapplication—but also to creation of a landmark work of twentieth century poetry. . . . the two great vocations, the Rejection of all images before the unimaged, the Affirmation of all images before the all-imaged, the Rejection affirming, the Affirmation rejecting. . . —from ‘The Departure of Dindrane’ —O Blessed, pardon affirmation!— —O Blessed, pardon negation!— —from ‘The Prayers of the Pope’


Author(s):  
Charles S. Maier ◽  
Charles S. Maier

The author, one of the most prominent contemporary scholars of European history, published this, his first book, in 1975. Based on extensive archival research, the book examines how European societies progressed from a moment of social vulnerability to one of political and economic stabilization. Arguing that a common trajectory calls for a multi country analysis, the book provides a comparative history of three European nations—France, Germany, and Italy—and argues that they did not simply return to a prewar status quo, but achieved a new balance of state authority and interest group representation. While most previous accounts presented the decade as a prelude to the Depression and dictatorships, the author suggests that the stabilization of the 1920s, vulnerable as it was, foreshadowed the more enduring political stability achieved after World War II. The immense and ambitious scope of this book, its ability to follow diverse histories in detail, and its effort to explain stabilization—and not just revolution or breakdown—have made it a classic of European history.


Author(s):  
Pierre-Loïc Garoche

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.


Sign in / Sign up

Export Citation Format

Share Document