#

Comp��tence

Comp��tence dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 avr. 2003
  • |
  • Réf : AM3238

Amélioration des thermoplastiques

qui se prêtent à ces modifications. Une étude plus détaillée est présentée sous forme de tableaux en [Comp. AM 3... en [Comp. AM 3 239 ]), puis des polyamides les plus intéressants (tableaux  3 et 4 en [Comp. AM 3 239... ] ), enfin des autres thermoplastiques techniques (tableaux  5 et 6 en [Comp. AM 3 239... ainsi que de tenue à la température. En ce qui concerne le polyamide 6-6 (tableau  3 en [Comp. AM 3 239...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 août 2017
  • |
  • Réf : H3310

Coq, assistant de preuve

theorem. Notices of the American Mathematical Society , Le compilateur CompCert garantit... Total (comp : A → A → bool) : Prop := ∀ a b, comp a b = false → comp b a = true. Hypothesis leb... par le compilateur. CompCert Le compilateur CompCert est le premier compilateur optimisant qui soit formellement... .) - Closing the gap — the formally verified optimizing compiler CompCert. In Safety-critical Systems...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires : RECHERCHE ET INNOVATION
  • |
  • 10 févr. 2020
  • |
  • Réf : IN236

AntBot : un robot qui s’oriente comme une fourmi

compas céleste... . Un des instruments de navigation du robot AntBot repose sur un compas céleste détectant le rayonnement diffusé... composés des insectes, et plus particulièrement de la fourmi du désert Cataglyphis fortis. Ce compas... de compas célestes inspirés de ces insectes, il n’existe que deux exemples aboutis d’applications...

Les articles Recherche et Innovation présentent des technologies en cours de développement, émergentes, qui n'ont pas encore atteint leur pleine maturité pour un développement industriel mais sont prometteuses.


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !