Search results

Responding to a request from the audience, we "traced" the notions of "truth value" and "state of things", presenting A) Herman Lotze's (1817-1881) distinction of the four modes of effectivity ( Wirklichkeit ): the being ( Sein ) of things; the happening …

Model-data comparisons for the last millennium are in agreement for the long OCM-PAG trend, as well as for brief cooling events corresponding to major volcanic eruptions, sometimes close in time (e.g. 1230-1258, 1809-1815 AD) on which variations in solar …

Abstract After posing the question of the background shared by the Greeks in the representation of the gods and analyzing the expression nomizein tous theous , we now turn to the ritual practices also evoked by this expression. Can we detect a shared …

In the last third of the 19th century, as the great nation-states and empires of Europe took shape, capital city museums entered an era of "gigantomania". On the one hand, they acquired an immense size, by being fitted out, like the two great imperial …

Why and how do insects have only six legs, but always six legs? Why and how do flies have only one pair of wings, while butterflies have two? During their development, segmented animals - including humans - produce a series of iterated structures that are …

Abstract Most supervised learning methods, including neural networks, are formalized as an optimization problem in which the mean of the errors on the observed data is minimized with respect to the parameters of the prediction model. However, statistical …

Abstract A convex function can be minimized using a gradient descent algorithm that iteratively adds a collinear vector to the function's gradient. If the function being minimized is Lipschitz and strictly convex, then we show that the gradient descent …

The Greek-speaking Church : the liturgy (end) Maintaining Greek as the default language of the liturgy obviously made the position of the faithful increasingly uncomfortable. The gap between liturgical usage and their true linguistic mastery grew ever …

Abstract The seminar focused on the formalization and proof in Coq of an imperative code generator for a kernel of the Lustre language. Such formal verification could usefully complement the official certification methods currently employed for SCADE 6, …

Abstract This lecture first studied the insertion of Esterel programs (or synchronous programs in general) into arbitrary execution environments, detailing the various ways in which events can be received or sent by an execution machine linking the …

To understand the relationships between equitable tyranny, cruelty and the exercise of judicial power in the fictional posterity of Bernabò Visconti, and as an extension of the reflections developed in the previous year's lecture on the imaginary of …

Supercapacitors are electrochemical energy storage systems that offer intermediate performance between batteries and capacitors. They are capable of delivering high power for times of tens of seconds, making them complementary to batteries. …

After a development on the relations "being in a subject" (ἐν ὑποκειμένῳ εἶναι ), "being said of a subject" (καθ' ὑποκειμένου λέγεσθαι ), and their articulation in Ammonius' "square", we have taken up the text of 16b9-10 from which we have proposed the …

The all-solid-state battery continues to be the subject of media announcements by electric vehicle manufacturers (Toyota, BMW, Renault-Nissan...), who predict that by 2022, the all-solid-state battery could be competing with Tesla vehicles. We recall, …