Zum Inhalt springen

  3. Hamdaoui, Yann [VerfasserIn] ; Sorbonne Paris Cité [MitwirkendeR]; Faggian, Claudia [MitwirkendeR]; Valiron, Benoit [MitwirkendeR]

    Concurrency, references and linear logic ; Concurrences, Références et Logique Linéaire

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-09-25

  4. Jabbari, Ali [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Dupuy-Chessa, Sophie [MitwirkendeR]

    Encodage visuel composite pour les séries temporelles ; Composite visual mapping for time series visualization

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-07-04

  5. Klaghstan, Merza [VerfasserIn] ; Lyon [MitwirkendeR]; Universität Passau (Allemagne) [MitwirkendeR]; Brunie, Lionel [MitwirkendeR]; Kosch, Harald [MitwirkendeR]

    Multimedia data dissemination in opportunistic systems ; Diffusion multimédia de données dans des systèmes opportunistes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-12-01

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

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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-09-27

  7. Durier, Adrien [VerfasserIn] ; Lyon [MitwirkendeR]; Università degli studi (Bologne, Italie) [MitwirkendeR]; Hirschkoff, Daniel [MitwirkendeR]; Sangiorgi, Davide [MitwirkendeR]

    Unique solution techniques for processes and functions ; Techniques d'unicité des solutions pour processus concurrents et fonctions

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-06-11

  8. Pasquiou, Alexandre [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Thirion, Bertrand [MitwirkendeR]; Pallier, Christophe [MitwirkendeR]

    Deciphering the neural bases of language comprehension using latent linguistic representations ; Déchiffrer les bases neurales de la compréhension du langage à l'aide de représentations linguistiques latentes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-06-15

  9. Debella, Tsegamlak Terefe [VerfasserIn] ; Mulhouse [MitwirkendeR]; Forestier, Germain [MitwirkendeR]; Weber, Jonathan [MitwirkendeR]

    Deep representation learning for time series averaging ; Apprentissage en profondeur des représentations pour la moyenne des séries chronologiques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-07-08

  10. Boitard, Ronan [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Bouatouch, Kadi [MitwirkendeR]; Cozot, Rémi [MitwirkendeR]

    Temporal coherency in video tone mapping ; Influence de la cohérence temporelle dans les techniques de Vidéo Tone Mapping

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-10-16

  11. Huron, Samuel [VerfasserIn] ; Paris 11 [MitwirkendeR]; Fekete, Jean-Daniel [MitwirkendeR]

    Constructive Visualization : A token-based paradigm allowing to assemble dynamic visual representation for non-experts ; La visualisation constructive : un paradigme de design de visualisation qui permet d'assembler des représentations visuel dynamique pour des personnes non expertes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-09-29

  12. Kammerer, Jean-Gabriel [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Lercier, Reynald [MitwirkendeR]

    Analyse de nouvelles primitives cryptographiques pour les schémas Diffie-Hellman ; Analysis of new cryptographic primitives for Diffie-Hellman schemes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-05-23

  13. Bobot, François [VerfasserIn] ; Paris 11 [MitwirkendeR]; Filliâtre, Jean-Christophe [MitwirkendeR]

    Logique de séparation et vérification déductive ; Separation logic and deductive verification

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-12-12

  14. ISO/IEC JTC 1/SC 29 Darstellung von Bild, Ton und Multimedia/Hypermedia Informationen, ISO/IEC JTC 1/SC 29 Coding of audio, picture, multimedia and hypermedia information, ISO/CEI JTC 1/SC 29 Codage du son, de l'image, de l'information multimédia et hypermédia, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC FDIS 18181-1 : Information technology - JPEG XL image coding system - Part 1: Core coding system - [2024-03-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2024

    Erschienen in: ISO-Regelwerk- ISO-Normen

  15. ISO/IEC JTC 1/SC 29 Darstellung von Bild, Ton und Multimedia/Hypermedia Informationen, ISO/IEC JTC 1/SC 29 Coding of audio, picture, multimedia and hypermedia information, ISO/CEI JTC 1/SC 29 Codage du son, de l'image, de l'information multimédia et hypermédia, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO/IEC DIS 23090-31 : Information technology - Coded representation of immersive media - Part 31: Haptics coding - [2023-07-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2023

    Erschienen in: ISO-Regelwerk- ISO-Normen

  16. ISO/IEC JTC 1/SC 29 Darstellung von Bild, Ton und Multimedia/Hypermedia Informationen, ISO/IEC JTC 1/SC 29 Coding of audio, picture, multimedia and hypermedia information, ISO/CEI JTC 1/SC 29 Codage du son, de l'image, de l'information multimédia et hypermédia, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC 18181-1 : Information technology - JPEG XL image coding system - Part 1: Core coding system - [2022-03-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2022

    Erschienen in: ISO-Regelwerk- ISO-Normen

  17. ISO/IEC JTC 1/SC 29 Darstellung von Bild, Ton und Multimedia/Hypermedia Informationen, ISO/IEC JTC 1/SC 29 Coding of audio, picture, multimedia and hypermedia information, ISO/CEI JTC 1/SC 29 Codage du son, de l'image, de l'information multimédia et hypermédia, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC 18181-1 AMD 1 : Information technology - JPEG XL image coding system - Part 1: Core coding system - Amendment 1: Profiles and levels for JPEG XL image coding system - [2022-06-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2022

    Erschienen in: ISO-Regelwerk- ISO-Normen

  18. ISO/IEC JTC 1/SC 29 Darstellung von Bild, Ton und Multimedia/Hypermedia Informationen, ISO/IEC JTC 1/SC 29 Coding of audio, picture, multimedia and hypermedia information, ISO/CEI JTC 1/SC 29 Codage du son, de l'image, de l'information multimédia et hypermédia, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC 23003-6 : Information technology - MPEG audio technologies - Part 6: Unified speech and audio coding reference software - [2022-08-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2022

    Erschienen in: ISO-Regelwerk- ISO-Normen

  19. ISO/IEC JTC 1/SC 37 Biometrie, ISO/IEC JTC 1/SC 37 Biometrics, ISO/CEI JTC 1/SC 37 Biométrie, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC 29120-1 : Information technology - Machine-readable test data for biometric testing and reporting - Part 1: Test reports - [2022-10-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2022

    Erschienen in: ISO-Regelwerk- ISO-Normen

  20. DIN-Normenausschuss Dental (NADENT), Dentistry Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 16202-1 : Zahnheilkunde - Nomenklatur der oralen Anomalien - Teil 1: Code für die Darstellung von oralen Anomalien (ISO 16202-1:2019); Deutsche Fassung EN ISO 16202-1:2020 - [2020-11-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: DIN-Regelwerk- Deutsche Normen