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  
7597 résultats › Tri  › Par 
LCSH_x
Source : HAL

Contruction d'arbre des composantes connexes pour les systèmes embarqués

Matas, Petr (30 juin 2014)

The aim of this work is to enable construction of embedded digital image processing systems, which are both flexible and powerful. The thesis proposal explores the possibility of using an image representation called connected component tree (CCT) as the basis for implementation of the entire image ...

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

Source : Archives Henri Poincaré

Séance du mercredi 7 septembre 1831

Arago, François (1786-1853) (7 sept. 1831)

Séance du mercredi 7 septembre 1831 [Arago rédige] On lit le procès-verbal de la séance précédente ; il est adopté. M. Largeteau présente plusieurs feuilles de la Connaissance des tems. Il ...

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

Source : Persée

La logique linéaire non commutative et le calcul de Lambek

Casadio, Claudia (2002)

The paper analyzes the correspondence existing between the Syntactic Calculus (Lambek 1958) and (multiplicative) non-commutative linear logic (Abrusci 1991), both in its intuitionistic and classical formulation. Particular attention is paid to the fragment of classical non-commutative linear logic ( ...

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

Source : Archives Henri Poincaré

Séance du 14 août

inconnu (14 août 1833)

Les transcriptions ont été effectuées à partir des procès-verbaux originaux. De légères différences peuvent exister entre ces transcriptions et le texte des copies. Pour plus de détails, voir la ...

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

Source : FMSH

Lerman, I. C. . Extrait de : . Paris : Editions du CNRS, 1970 (Fonds du Centre de Mathématiques Appliquées et de Calcul ; Activités d'enseignement et de recherche ; Travaux de recherche personnels au sein du Centre ; I. C. Lerman)

(1970)

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

Source : HAL

Des techniques neuronales dans l'alternatif

Merlin, Paul (22 juin 2009)

In this thesis, we propose to redefine widely applied financial models, in less restrictive frameworks that comply with hedge funds return peculiarities. This extended setting leads to more complex models; we propose to solve the proposed approaches using natural computation methods. In the first ...

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

Source : Archives Henri Poincaré

Séance du mercredi 22 mars 1848

inconnu (22 mars 1848)

Séance du mercredi 22 mars 1848   On lit le procès-verbal de la séance précédente : il est adopté. Le Bureau reçoit les ouvrages suivants : 1° Catalogue d'étoiles de Lalande contenant ...

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

Source : Archives Henri Poincaré

Séance du 9 novembre 1814

inconnu (9 nov. 1814)

Séance du 9 novembre 1814   On lit une lettre de S. E. le ministre de l'Intérieur qui annonce que Sa Majesté a sanctionné les propositions du Bureau relative à la place d'artiste. On arrête que la lettre et l'ordonnance de ...

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

Source : Archives Henri Poincaré

Séance du 1er juillet 1812

inconnu (1 juil. 1812)

Séance du 1er juillet 1812   M. le comte Laplace offre pour la bibliothèque de [barré : l'Institut] l'Observatoire impérial un exemplaire de sa Théorie analytique des probabilités. M. ...

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