Résultats de recherche, page 62 sur 409

Contenu mis à jour
Site
Rubrique
Type de contenu

La recherche a donné 4088 résultats Accéder aux résultats

  1. Electroporation Ablation of Liver Tumors: Numerical Strategies for Clinical Insights

    • Type : Actualité
    • - Mis à jour le 13/05/25

  2. Des théorèmes de Cartier-Quillen-Milnor-Moore pour les algèbres Post-Hopf

    • Type : Actualité
    • - Mis à jour le 13/05/25

  3. From differential-algebraic equations to control systems and back

    • Type : Actualité
    • - Mis à jour le 13/05/25

  4. Numerical validation and applications

    • Type : Actualité
    • - Mis à jour le 13/05/25

  5. Approximation of PDE solutions with nonlinear parametric models: Application to high-dimensional advection-diffusion equations

    • Type : Actualité
    • - Mis à jour le 13/05/25

  6. Monitoring cyber-physical systems using formal methods

    • Type : Actualité
    • - Mis à jour le 13/05/25

  7. Towards Resilient and Autonomous Human-Multi-Robot Collaboration

    • Type : Actualité
    • - Mis à jour le 13/05/25

  8. Putting knowledge back where neural networks can use it

    • Type : Actualité
    • - Mis à jour le 13/05/25

  9. AI security: a game of weak signal design and detection

    • Type : Actualité
    • - Mis à jour le 13/05/25

  10. Un langage formel pour les diagrammes de séquence

    • Type : Actualité
    • - Mis à jour le 13/05/25