Il contributo analizza i legami tra la Costituzione italiana e il processo di integrazione europea, che sono in genere delineati dalle „clausole europee”: le disposizioni costituzionali – contenute nel testo originario delle Costituzioni degli Stati membri o introdotte seguito che, con formule assai variegate, consentono richiedono l’adesione all’Unione ponendo eventualmente limiti condizioni a...

English. We present Contrast-Ita Bank, a corpus annotated with discourse contrast relations in Italian. We annotate both explicit and implicit contrast relations, following the schema proposed in the Penn Discourse Treebank. We provide and discuss quantitative data about the new resource. Italiano. Presentiamo Contrast-Ita Bank, un corpus annotato con relazioni di contrasto in italiano. Abbiamo...

Observability concepts contribute to a better understanding of software correct-ness. In order to prove observational properties, the powerful concept of Context Induction has been developed by Hennicker Hen91]. We propose in this paper to embed Context Induction in the implicit induction framework of BR95]. The proof system we obtain applies to conditional speciications. It allows for many rew...

This paper presents an application of the so-called modified quasilinean'zation method to the solution nonlinear, implicite two-point boundary-value problems. Analogously as in the explicit case the resulting algorithm exhibits the descent property in the auxiliary performance index which measures the cumulative error in the differential equations and the boundary conditions. Practical importan...

We generalize the a posteriori techniques for the linear heat equation in [Ver03] to the case of the nonlinear parabolic p-Laplace problem thereby proving reliable and efficient a posteriori error estimates for a fully discrete implicite Euler Galerkin finite element scheme. The error is analyzed using the so-called quasi-norm and a related dual error expression. This leads to equivalence of th...

cet article envisage d'étudier les moyens, explicites et implicites, dont se sert flaubert, dans madame bovary, pour introduire la mort. nous avons eu recours à l'analyse du discours, comme méthode et outil d'étude pour découvrir comment flaubert développe la mort à travers les représentations lexicales (explicites) et le champ sémantique (implicite).pour ce faire, les personnages, en particuli...

In this report it is shown that the implicit Euler time-discretization of some classes of switching systems with sliding modes, yields a very good stabilization of the trajectory and of its derivative on the sliding surface. Therefore the spurious oscillations which are pointed out elsewhere when an explicit method is used, are avoided. Moreover the method (an event-capturing, or time-stepping ...