Skip to contents

  1. Ikeda, Nobuyuki [Author] ; Watanabe, Shinzō [Other]

    Stochastic differential equations and diffusion processes

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Amsterdam; New York; Tokyo; New York, NY: North-Holland Pub. Co, 1981

    Published in: North Holland mathematical library ; 24

  2. Madiot, Jean-Marie [Author] ; Lyon, École normale supérieure [Contributor]; Università degli studi (Bologne, Italie) [Contributor]; Hirschkoff, Daniel [Contributor]; Sangiorgi, Davide [Contributor]

    Higher-order languages : dualities and bisimulation enhancements ; Langages d'ordre supérieur : dualités et techniques de bisimulation

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-03-31

  4. Khabou, Mahmoud [Author] ; Toulouse 3 [Contributor]; Réveillac, Anthony [Contributor]

    Sur l'approximation des processus de Hawkes : des séries temporelles aux théorèmes centraux limites quantitatifs ; On the appoximation of Hawkes processes : from time series to quantitative central limit theorems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2022-12-05

  5. Rabiet, Victor [Author] ; Paris Est [Contributor]; Bally, Vlad [Contributor]

    Une équation stochastique avec sauts censurés liée à des PDMP à plusieurs régimes ; A stochastic equation with censored jumps related to multi-scale Piecewise Deterministic Markov Processes

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-06-23

  6. Prebet, Enguerrand [Author] ; Lyon, École normale supérieure [Contributor]; Università degli studi (Bologne, Italie) [Contributor]; Hirschkoff, Daniel [Contributor]; Sangiorgi, Davide [Contributor]

    Typed Behavioural Equivalences in the Pi-Calculus ; Équivalences comportementales typées dans le pi-calcul

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2022-09-27

  9. Del vecchio, Stefano [Author] ; Sorbonne Paris Cité [Contributor]; Mogbil, Virgile [Contributor]; Abrusci, Vito Michele [Contributor]

    Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants ; Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2018-09-19

  10. Guzmán, Michell [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Palamidessi, Catuscia [Contributor]; Valencia, Frank [Contributor]

    On the expressiveness of spatial constraint systems ; Sur l'expressivité des systèmes de contraintes spatiales

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2017-09-26

  11. Ghyselen, Alexis [Author] ; Lyon [Contributor]; Baillot, Patrick [Contributor]

    Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus ; Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2021-09-20

  13. Mezzina, Claudio Antares [Author] ; Grenoble [Contributor]; Università degli studi (Bologne, Italie) [Contributor]; Stefani, Jean-Bernard [Contributor]; Sangiorgi, Davide [Contributor]

    Réversibilité dans le pi calcul d'ordre supérieur ; concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2012-02-07

  14. Kriouile, Abderahman [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Mateescu, Radu [Contributor]; Serwe, Wendelin Bernhard [Contributor]

    Formal methods for functional verification of cache-coherent systems-on-chip ; Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2015-09-17

  16. Popineau, Pierre [Author] ; Université Paris sciences et lettres [Contributor]; Baccelli, François [Contributor]

    Study of the dynamics of spatial point processes in wireless communication networks ; Étude de la dynamique de processus ponctuels spatiaux appliqués aux réseaux de communication sans fil

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2023-06-14

  17. Halconruy, Hélène [Author] ; Institut polytechnique de Paris [Contributor]; Decreusefond, Laurent [Contributor]

    Calcul de Malliavin et structures de Dirichlet pour des variables aléatoires indépendantes ; Malliavin calculus and Dirichlet structures for independent random variables

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2020-09-14

  19. VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik, VDI/VDE Society Measurement and Automation, VDI Verein Deutscher Ingenieure e.V., VDI - The Association of German Engineers

    VDI/VDE 3699 Blatt 4 : Prozessführung mit Bildschirmen - Kurven - [2014-01-00]

    Standards
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Düsseldorf: VDI-Verlag, 2014

    Published in: VDI-Richtlinien

  20. DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE, German Commission for Electrical, Electronic and Information Technologies of DIN and VDE, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 19242-4 : Messen, Steuern, Regeln; Leistungstest von Prozeßrechensystemen; Zeitmessungen; Testfunktion: Sinusberechnung - [1987-01-00]

    Standards
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Wien, Zürich: Beuth Verlag, 1987

    Published in: DIN-Regelwerk- Deutsche Normen