Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
6.960 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

6.960 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
    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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 ö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?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 ö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?
  11. Detailansicht für Treffer 11 ö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?
  12. Detailansicht für Treffer 12 ö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?
  13. Detailansicht für Treffer 13 ö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?
  14. Detailansicht für Treffer 14 ö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?
  15. Detailansicht für Treffer 15 öffnen
    Multiplicative auction algorithm for approximate maximum weight bipartite matching ; LNCS
    Zheng, Da Wei ; Henzinger, Monika H
    In: Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization . Vol 13904. Springer Nature; 2023:453-465. doi: 10.1007/978-3-031-32726-1_32, 2023
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Quantitative safety and liveness ; LNCS
    Henzinger, Thomas A ; Mazzocchi, Nicolas Adrien ; et al.
    In: Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures . Vol 13992. Springer Nature; 2023:349-370. doi: 10.1007/978-3-031-30829-1_17, 2023
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Computing adequately permissive assumptions for synthesis ; LNCS
    Anand, Ashwani ; Mallik, Kaushik ; et al.
    In: Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13994. Springer Nature; 2023:211-228. doi: 10.1007/978-3-031-30820-8_15, 2023
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A learner-verifier framework for neural network controllers and certificates of stochastic systems ; LNCS
    Chatterjee, Krishnendu ; Henzinger, Thomas A ; et al.
    In: Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi: 10.1007/978-3-031-30823-9_1, 2023
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Certifying giant nonprimes ; LNCS
    Hoffmann, Charlotte ; Hubáček, Pavel ; et al.
    In: Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023 . Vol 13940. Springer Nature; 2023:530-553. doi: 10.1007/978-3-031-31368-4_19, 2023
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Correct approximation of stationary distributions ; LNCS
    Meggendorfer, Tobias
    In: Meggendorfer T. Correct approximation of stationary distributions. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:489-507. doi: 10.1007/978-3-031-30823-9_25, 2023
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -