The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The author not only provides a thorough (...) description of the theory, but also details its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory. (shrink)

The need for a framework to justify that a model has sufficient credibility to be used as a basis for internal or external (typically regulatory) decision-making is a primary concern when using modelling and simulation (M&S) in healthcare. This chapter reviews published standards on verification, validation, and uncertainty quantification (VVUQ) as well as regulatory guidance that can be used to establish model credibility in this context, providing a potential starting point for a globally harmonised model credibility framework.

In every undirected graph or, more generally, in every undirected hypergraph of bounded rank, one can specify an orientation of the edges or hyperedges by monadic second-order formulas using quantifications on sets of edges or hyperedges. The proof uses an extension to hypergraphs of the classical notion of a depth-first spanning tree. Applications are given to the characterization of the classes of graphs and hypergraphs having decidable monadic theories.

Cet ouvrage étudie la langue du vrai dans la première modernité. La vérité dépend-elle d'une belle énonciation? Y a-t-il des règles institutionnelles spécifiques d'énonciation de la vérité? Pourquoi la doctrina constitue-t-elle l'horizon de tout savoir et de tout enseignement prétendant à la vérité?

On June 13, 323 BCE, Alexander the Great, king of the Greeks, died at Babylon at the age of thirty-three. He had conquered a large part of the known world—the oikoumenē of the Greeks—and he had pushed back the eastern limits of the universe by advancing into India as far as the basin of the Ganges. He had also done everything in his power to give birth to a myth around his person, a myth that endures to this day. Alexander (...) came to power in 336 BCE, at the age of twenty, after his father, Philip II, king of Macedon, had been assassinated. He was the cherished pupil of Aristotle, who followed him in his ventures and dedicated a treatise to him entitled Rhetoric to Alexander. He went to war in Asia against the .. (shrink)

The order of discovery can have a profound effect upon the way in which we think about the function of a gene. In E. coli, recA is nearly essential for cell survival in the presence of DNA damage. However, recA was originally identified, as a gene required to obtain recombinant DNA molecules in conjugating bacteria. As a result, it has been frequently assumed that recA promotes the survival of bacteria containing DNA damage by recombination in which DNA strand exchanges occur. (...) We now know that several of the processes that interact with or are controlled by recA, such as excision repair and translesion synthesis, operate to ensure that DNA replication occurs processively without strand exchanges. Yet the view persists in the literature that recA functions primarily to promote recombination during DNA repair. With the benefit of hindsight and more than three decades of additional research, we reexamine some of the classical experiments that established the concept of DNA repair by recombination, and we consider the possibilities that recombination is not an efficient mechanism for rescuing damaged cells, and that recA may be important for maintaining processive replication in a manner that does not generally promote recombination. BioEssays 23:463–470, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

entre judaïsme, christianisme et islam Dominique de Courcelles. PRÉFACE Le fou de Dieu - celui qui, déployant la logique du discours de Paul sur la folie de la Croix, échange la folie aux yeux du monde contre la sagesse aux yeux de Dieu,  ...

We prove that every monadic second-order property of the unfolding of a transition system is a monadic second-order property of the system itself. An unfolding is an instance of the general notion of graph covering. We consider two more instances of this notion. A similar result is possible for one of them but not for the other.

Summer 2010 was marked by one of the worst environmental disasters ever experienced on a global scale. Following the explosion of the oil rig Deepwater Horizon on April 20—the drilling platform for British Petroleum—thousands of tons of crude oil spilled into the Gulf of Mexico. As a result, water and energy came together in ways that had the potential to do tremendous damage to the land and the air, which were invaded by an oil slick and toxic gases. This was (...) clearly a man-made crisis, which the world watched with shock and dismay. In the aftermath of this event and the chaos caused by greed and incompetence, it is important to remind humanity of what it might have forgotten. Ancient philosophy .. (shrink)

"Dans l'Espagne du XVe au XVIIe siècle, avec les grands voyages et les explorations de mondes inconnus, l'art de bâtir des palais ou des jardins, d'écrire un voyage expérimental ou une quête mystique, de peindre des paysages et des gloires célestes témoigne d'un renouvellement du regard - philosophique, alchimique, théologique, politique. Habiter le monde s'inscrit dans une perspective géométrique et mystique de l'infini et de l'éternité. Il y aurait peut-être là la marque d'une spécificité hispanique. L'ouvrage s'articule autour de quatre (...) parties consacrées aux palais, jardins et demeures spirituelles, aux merveilles de l'univers de Séville à Mexico, à la mystique des paysages et à la magie naturelle, à la représentation de l'infini" --. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:...

La passion de l'unité : tel semble avoir été l'un des principaux moteurs de l'activité diplomatique et intellectuelle du cardinal Nicolas de Cues (1401-1464).

Was man Fruhe Neuzeit nennt, ist durch ausserordentliche Ereignisse gepragt, die die uberlieferten Welterklarungen in Frage stellen. Nicht nur die Erfahrungswelt andert sich, auch die Welt der Wissenschaft. Wunderbar ist etwas, das bestehende Diskurse nicht bestatigt, sondern herausfordert. Es widerspricht dem Gewohnten und ist erklarungsbedurftig. Die Kernfrage ist nun, bis wohin es im Kontext der Fruhen Neuzeit gelang, das Wunderbare zu erfassen und zu erklaren, und von welchem Punkt an die traditionellen Diskurse vom Wunderbaren widerlegt und falsifiziert wurden, so dass (...) neue Ordnungen gesucht werden mussten. Wie weit konnen traditionelle Ordnungen im Interesse von Erklarungen erweitert und verandert werden? Gelingt es den neuen Ordnungen, das Wunderbare aufzulosen und als 'Explanandum' logisch aus anderen Tatsachen und ubergeordneten Naturgesetzen abzuleiten? Wie wird die Konkurrenz zwischen den Diskursen in den zeitgenossischen Texten erortert? Der vorliegende Band umfasst Beitrage renommierter Wissenschaftlerinnen und Wissenschaftler aus dem In- und Ausland, die sich dem Wunderbaren im Zugriff der Vernunft in der fruhen Neuzeit aus unterschiedlichen Blickwinkeln widmen. (shrink)

Good Simulation Practice implies that a computational model considered for a simulation task has also been developed according to good practice.

Courcelle-Seneuil, francés, humanista, economista, seguidor y admirador de Tocqueville, estuvo en Chile durante seis años, fue consejero del gobierno, dictó cursos en el Instituto Nacional, y fue admirado por todos por su seriedad y experiencia. Este estudioso cumplió papeles contradictorios: mientras un autor como Lastarria lo traduce y cita a menudo para combatir el autoritarismo de los gobiernos liberales que aplican la libertad sólo en el plano económico, por otra parte, sus alumnos en el Instituto pusieron en práctica, de (...) manera extremadamente liberal, sus lecciones de economía cuando ocuparon puestos de responsabilidad. Su rigidez empujó al país a una gran crisis económica por exceso de liberalismo económico. ¿Cómo es posible que un mismo personaje y sus enseñanzas sea utilizado por un lado para combatir el liberalismo económico y por otro dé origen a posturas librecambistas, que son un antecedente del neoliberalismo? (shrink)

Review by: Achim Blumensath The Bulletin of Symbolic Logic, Volume 19, Issue 3, Page 394-396, September 2013.

Cet ouvrage rassemble les communications présentées lors d'une Journée d'études organisée, le 30 avril 1998, par l'Ecole nationale des Chartes et l'Ecole normale supérieure de Saint-Cloud-Fontenay. Le rapport des femmes au livre y est envisagé sous plusieurs angles. Une partie de l'ouvrage envisage la femme comme lectrice, en Espagne et en Nouvelle Espagne, à la fin du Moyen Age et au début des Temps modernes. Les sources sont des inventaires. Les uns sont dressés après décès, tels ce...

Augustine′s conversion to Christianity in A.D. 386 is a pivotal moment not only in his own life, but in Christian and world history, for the theology of Augustine set the course of theological and cultural development in the western Christian church. But to what exactly was Augustine converted? Scholars have long debated whether he really converted to Christianity in 386, whether he was a Platonist, and, if he adhered to both Platonism and Christianity, which dominated his thought. The debate of (...) the last thirteen decades spans an immense body of literature in multiple languages. In this literature, four major views on Augustine′s conversion may be discerned. The first view is associated with Gaston Boissier and Adolph von Harnack, and was famously championed by Prosper Alfaric: that Augustine in 386 converted to neo-Platonism but not to Christianity. Second, there is the view recently promoted by Catherine Conybeare: that Augustine in 386 converted to Christianity and rejected neo-Platonism. Third, there is the view that he converted to Christianity and was also a neo-Platonist; the most famous adherents of this view are Robert J. O′Connell and Pierre Courcelle. Finally, there is the view recently promoted by Carol Harrison: that Augustine committed to Christianity in 386, yet did not utterly reject neo-Platonism; rather, he aimed to develop a Christian faith that was informed by neo-Platonic insight. In this article, I first explain and distinguish these four general views, and then I explain why I prefer the fourth view. -/- More Info: This is the pre-peer reviewed version of Boone, Mark, "The Role of Platonism in Augustine's 386 Conversion to Christianity," Religion Compass 9.5 (May 2015), 151-61. This article has been published in final form at http://onlinelibrary.wiley.com/doi/10.1111/rec3.12149/abstract. (shrink)

The present article examines Contra Academicos 2.5 in which Augustine seems to detail the influence of the libri Platonicorum on his conversion. In the first part of the paper, I argue that Michael P. Foley is correct to interpret Augustine’s phrase “libri quidam pleni” as a reference to the libri Platonicorum. I advance the further claim that Augustine primarily has in mind Ennead I.6. This is in contrast to the argument alluded to by Pierre Courcelle and formally given by (...) John J. O’Meara where such a reading of Contra Academicos misconstrues the relationship between Augustine and Plotinus. In response to O’Meara, I advance a threefold argument, a corollary of which is a novel reading of a Latin phrase (bonas res Arabicas) that has perplexed scholars. In the second part of the paper, I use my reading of Contra Academicos along with two considerations from Ennead I.6 to motivate a deeper understanding of Augustine’s conversion. The present study develops recent lines of thought in Augustine scholarship and seeks to open new avenues for understanding the libri Platonicorum and their influence on Augustine’s conversion. (shrink)