Vous êtes ici : Accueil › Recherche
› RECHERCHER
Titre
Auteur
Mot-clé
Année avant
Année après
Plus d'options

› AFFINER

› RESULTATS DE LA RECHERCHE  
2237 résultats › Tri  › Par 
LCSH_x
Source : DANS

w∞ gravity

Bergshoeff, E. et al. (1990)

We construct a gauge theory of w∞ gravity coupled to scalars. For scalar fields valued in some-finite-dimensional Lie algebra, a complete realisation of gauged w∞ can be given using a number of gauge fields equal to the rank of the Lie algebra. We show how the theory can be truncated to describe ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Arrival Trajectory Optimization on Noise Impact using Interval Analysis

Yu, H. et al. 

The CleanEra project is initiated by the Faculty of Aerospace Engineering at Delft University of Technology. Significant reduction of noise impact on perimeters of airports via arrival trajectory optimization is considered as one of the major targets of the project. In this paper, an aircraft model ...

Voir plus d'informations | Voir la fiche de la ressource

Source : HAL

Algebraic generality vs arithmetic generality in the controversy between C. Jordan and L. Kronecker (1874).

Brechenmacher, Frederic (20 août 2008)

45 p. Throughout the whole year of 1874, Camille Jordan and Leopold Kronecker were quarrelling over two practices relative to two theorems. On the one hand, Weierstrass had defined in 1868 a complete set of polynomial invariants for the characterisation of non singular pairs of bilinear forms (P,Q) ...

Voir plus d'informations | Voir la fiche de la ressource

Source : Revues.org

Graphes et structures algébriques associées, labyrinthes, cartes, réseaux d’automates, systèmes acentrés

Rosenstiehl, Pierre (1 mars 2006)

Pierre Rosenstiehl, directeur d’études Combinatoire et graphes. Taxiplanie On s’intéresse non seulement à maîtriser théoriquement des objets complexes plongés dans le plan, mais aussi à savoir les déformer algorithmiquement, et de façon efficace, tout en leur imprimant des contraintes ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Which data types have ω-complete initial algebra specifications?

Bergstra, J.A. et al. (1994)

An algebraic specification is called ω-complete or inductively complete if all (open as well as closed) equations valid in its initial model are equationally derivable from it, i.e., if the equational theory of the initial model is identical to the equational theory of the specification, As the ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Natural deduction : sharing by presentation

Loeb, Iris (2007)

Part I of this thesis studies a fragment of natural deduction to which we have added the notion of sharing of subresults. This formalism is called 'deduction graphs'. We show some properties of cut-elimination on deduction graphs, like strong normalisation and confluence. We discuss connections with ...

Voir plus d'informations | Voir la fiche de la ressource

Source : HAL

La controverse de 1874 entre Camille Jordan et Leopold Kronecker.

Brechenmacher, Frederic (1 sept. 2008)

65 pages. Il s'agit d'une version pré publication antérieure à la version publiée (référence jointe). International audience During the whole of 1874, Camille Jordan and Leopold Kronecker quar- relled vigorously over the organisation of the theory of bilinear forms. That theory promised a " ...

Voir plus d'informations | Voir la fiche de la ressource