Zum Inhalt springen

  1. Lahiri, Shuvendu K. [VerfasserIn]; Murawski, Andrzej [VerfasserIn]; Strichman, Ofer [VerfasserIn]; Ulbrich, Mattias [VerfasserIn] ; Shuvendu K. Lahiri and Andrzej Murawski and Ofer Strichman and Mattias Ulbrich [MitwirkendeR]

    Program Equivalence (Dagstuhl Seminar 18151)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  2. Beckert, Bernhard [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]; Vogel-Heuser, Birgit [VerfasserIn]; Weigl, Alexander [VerfasserIn]

    Regression Verification for Programmable Logic Controller Software

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Karlsruher Institut für Technologie, 2015-01-01

  3. DIN-Normenausschuss Qualitätsmanagement, Statistik und Zertifizierungsgrundlagen (NQSZ), Quality Management, Statistics and Certification Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN ISO 11843-3 : Erkennungsfähigkeit - Teil 3: Verfahren zur Ermittlung der Erkennungsgrenze, wenn keine Kalibrierdaten angewendet werden (ISO 11843-3:2003; Text Deutsch, Englisch) - [2006-06-00]

    Normen
    Online ansehen
    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, 2006

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  4. ISO/TC 69 Anwendung statistischer Verfahren, ISO/TC 69 Applications of statistical methods, ISO/TC 69 Application des méthodes statistiques, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO/TR 11843-8 : Capability of detection - Part 8: Guidance for the implementation of the ISO 11843 series - [2021-11-00]

    Normen
    Online ansehen
    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, 2021

    Erschienen in: ISO-Regelwerk- ISO-Normen

  5. DIN-Normenausschuss Qualitätsmanagement, Statistik und Zertifizierungsgrundlagen (NQSZ), Quality Management, Statistics and Certification Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN ISO 11843-2 Berichtigung 1 : Erkennungsfähigkeit - Teil 2: Verfahren im Fall der linearen Kalibrierung (ISO 11843-2:2000), Berichtigungen zu DIN ISO 11843-2:2006-06 (ISO 11843-2:2000/Cor. 1:2007; Text Deutsch, Englisch) - [2008-06-00]

    Normen
    Online ansehen
    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, 2008

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  6. DIN-Normenausschuss Qualitätsmanagement, Statistik und Zertifizierungsgrundlagen (NQSZ), Quality Management, Statistics and Certification Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN ISO 11843-2 : Erkennungsfähigkeit - Teil 2: Verfahren im Fall der linearen Kalibrierung (ISO 11843-2:2000; Text Deutsch, Englisch) - [2006-06-00]

    Normen
    Online ansehen
    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, 2006

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  7. ISO/TC 69 Anwendung statistischer Verfahren, ISO/TC 69 Applications of statistical methods, ISO/TC 69 Application des méthodes statistiques, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 11843-3 : Capability of detection - Part 3: Methodology for determination of the critical value for the response variable when no calibration data are used - [2003-04-00]

    Normen
    Online ansehen
    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, 2003

    Erschienen in: ISO-Regelwerk- ISO-Normen

  8. ISO/TC 69 Anwendung statistischer Verfahren, ISO/TC 69 Applications of statistical methods, ISO/TC 69 Application des méthodes statistiques, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 11843-2 : Capability of detection - Part 2: Methodology in the linear calibration case - [2000-05-00]

    Normen
    Online ansehen
    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, 2000

    Erschienen in: ISO-Regelwerk- ISO-Normen

  9. Salem, Maher [VerfasserIn] ; Kassel, Universität, FB 16, Elektrotechnik / Informatik [MitwirkendeR]; Geihs, Kurt [MitwirkendeR]; Bühler, Ulrich [MitwirkendeR]; Sick, Bernhard [MitwirkendeR]; Wacker, Arno [MitwirkendeR]

    Adaptive Real-time Anomaly-based Intrusion Detection using Data Mining and Machine Learning Techniques

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv), 2014-09-15

  10. ISO/TC 69 Anwendung statistischer Verfahren, ISO/TC 69 Applications of statistical methods, ISO/TC 69 Application des méthodes statistiques, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 11843-2 Technical Corrigendum 1 : Capability of detection - Part 2: Methodology in the linear calibration case; Technical Corrigendum 1 - [2007-10-00]

    Normen
    Online ansehen
    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, 2007

    Erschienen in: ISO-Regelwerk- ISO-Normen

  11. Das, Ashis [VerfasserIn]; Kayobotsi, Claver [VerfasserIn]; Kumar, Meghan [VerfasserIn]; Lehmann, Joel [VerfasserIn]; Rucogoza, Aniceth [VerfasserIn]; Schneidman, Miriam [VerfasserIn]

    East Africa Public Health Laboratory Networking Project : Evaluation of Performance-Based Financing for Public Health Laboratories in Rwanda

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    World Bank, Washington, DC, 2016

    Erschienen in: Health, Nutrition and Population Discussion Paper

  12. DIN-Normenausschuss Bauwesen (NABau), DIN Standards Committee Building and Civil Energeering, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 492 : Faserzement-Dachplatten und dazugehörige Formteile - Produktspezifikation und Prüfverfahren; Deutsche Fassung EN 492:2012+A2:2018 - [2018-07-00]

    Normen
    Online ansehen
    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, 2018

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  13. Beckert, Bernhard [Sonstige Person, Familie und Körperschaft]; Ulbrich, Mattias [Sonstige Person, Familie und Körperschaft]; Vogel-Heuser, Birgit [Sonstige Person, Familie und Körperschaft]; Weigl, Alexander [Sonstige Person, Familie und Körperschaft] ; Karlsruher Institut für Technologie Fakultät für Informatik

    Regression Verification for Programmable Logic Controller Software

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015

    Erschienen in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2015,6

  14. Pinzhakova, Marina [VerfasserIn]; Yagel, Tom [VerfasserIn]; Rabinovits, Jakov [VerfasserIn]

    Feature Similarity-based Regression Models for Authorship Verification

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2021

    Erschienen in: CLEF (12. : 2021 : Online): CLEF-WN 2021: CLEF 2021 working notes ; (2021), Seite 2108-2117

  15. Weerasinghe, Janith [VerfasserIn]; Greenstadt, Rachel [VerfasserIn]

    Feature Vector Difference based Neural Network and Logistic Regression Models for Authorship Verification

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2020

    Erschienen in: CLEF (11. : 2020 : Thessaloniki; Online): CLEF 2020: CLEF 2020 working notes ; 2020

  16. Ulewicz, Sebastian [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]; Weigl, Alexander [VerfasserIn]; Beckert, Bernhard [VerfasserIn]; Vogel-Heuser, Birgit [VerfasserIn]

    Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers, 2015-01-01