Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
7.496 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

7.496 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    LNC Assisted Localization and Mapping in Pipe Environment
    Zhang, Hongkai ; Yuan, Jianjun ; et al.
    In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022-10-23, S. 8567-8572
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Interference Effect in LNV and LNC Meson Decays for Left-Right Symmetric Model : 24th DAE-BRNS high energy physics symposium
    Maharathy, Siddharth P. ; Godbole, Rohini M. ; et al.
    In: Springer proceedings in physics, Jg. 277 (2022), S. 243-246
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    LNC Assisted Localization and Mapping in Pipe Environment.
    Zhang, Hongkai ; Yuan, Jianjun ; et al.
    In: IROS, 2022, S. 8567-8572
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
  5. Detailansicht für Treffer 5 öffnen
    Improved GA solution on LNC coefficient matrix for multi-user cooperative communication
    Zhang, Sihai ; Liu, Yuan ; et al.
    In: 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC), 2012-09-01, S. 809-814
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  7. Detailansicht für Treffer 7 öffnen
    A Comparative Analysis: Autism Spectrum Disorder Among Children Using Classification Models
    Srikar, Y ; Himaanshu, V ; et al.
    In: 2023 2nd International Conference on Ambient Intelligence in Health Care (ICAIHC), 2023-11-17, S. 1-6
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  9. Detailansicht für Treffer 9 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  10. Detailansicht für Treffer 10 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  11. Detailansicht für Treffer 11 öffnen
    Long Non-Coding RNA (Lnc RNA) NEAT1 is differentially expressed in ruptured and unruptured intracranial aneurysms (ICAs) ; Expressionsunterschiede von NEAT1, einem langen nicht-kodierenden RNA (lnc-RNA) in rupturierten vs nicht rupturierten intrakraniellen Aneurysmen (ICAs)
    Zheng, B ; Khan, D ; et al.
    In: 73. Jahrestagung der Deutschen Gesellschaft für Neurochirurgie (DGNC), Joint Meeting mit der Griechischen Gesellschaft für Neurochirurgie; 20220529-20220601; Köln; DOCP091 /20220525/, 2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    LNCS Transactions on Foundations for Mastering Change: Preliminary Manifesto : Leveraging applications of formal methods, verification and validation
    Steffen, B.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8802, S. 514-517
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Data Analytics in Farming: Rice price prediction in Andhra Pradesh
    Shaker Reddy, Pundru Chandra ; Suryanarayana, G. ; et al.
    In: 2022 5th International Conference on Multimedia, Signal Processing and Communication Technologies (IMPACT), 2022-11-26, S. 1-5
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques ; LNCS ; 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS 2020)
    Koutavas, Vasileios
    2022
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Random oracle combiners: Breaking the concatenation barrier for collision-resistance ; LNCS
    Dodis, Yevgeniy ; Ferguson, Niels ; et al.
    In: Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In: 43rd Annual International Cryptology Conference . Vol 14082. Springer Nature; 2023:514-546. doi: 10.1007/978-3-031-38545-2_17, 2023
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Monitoring hyperproperties with prefix transducers ; LNCS
    Chalupa, Marek ; Henzinger, Thomas A
    In: Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification . Vol 14245. Springer Nature; 2023:168-190. doi: 10.1007/978-3-031-44267-4_9, 2023
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    MDPs as distribution transformers: Affine invariant synthesis for safety objectives ; LNCS
    Akshay, S. ; Chatterjee, Krishnendu ; et al.
    In: Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In: International Conference on Computer Aided Verification . Vol 13966. Springer Nature; 2023:86-112. doi: 10.1007/978-3-031-37709-9_5, 2023
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Automated tail bound analysis for probabilistic recurrence relations ; LNCS
    Sun, Yican ; Fu, Hongfei ; et al.
    In: Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: Computer Aided Verification . Vol 13966. Springer Nature; 2023:16-39. doi: 10.1007/978-3-031-37709-9_2, 2023
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Lincheck: A practical framework for testing concurrent data structures on JVM ; LNCS
    Koval, Nikita ; Fedorov, Alexander ; et al.
    In: Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi: 10.1007/978-3-031-37706-8_8, 2023
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Monitoring algorithmic fairness ; LNCS
    Henzinger, Thomas A ; Karimi, Mahyar ; et al.
    In: Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification . Vol 13965. Springer Nature; 2023:358–382. doi: 10.1007/978-3-031-37703-7_17, 2023
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -