Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

10.681 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Semantic cut elimination for the logic of bunched implications, formalized in Coq
    Frumin, Dan ; Popescu, Andrei ; et al.
    In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 291-306
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Drivers of the synergy between price cuts and store flyer advertising at supermarkets and discounters
    Widdecke, Kai ; Keller, Wiebke ; et al.
    In: International Journal of Research in Marketing, 2022-10-01
    Online serialPeriodical
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets
    Budde, Carlos E. ; Stoelinga, Mariëlle ; et al.
    In: Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings; (2020-03-09) S. 259-277
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Quantum complexity of minimum cut
    Apers, Simon ; Lee, Troy ; et al.
    2021
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A locally refined cut-cell method with exact conservation for the incompressible Navier-Stokes equations
    Beltman, René ; Anthonissen, Martijn ; et al.
    In: Proceedings of the 6th European Conference on Computational Mechanics, 2020, S. 4087-4098
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Component-Tree Simplification through Fast Alpha Cuts
    Wilkinson, M.H.F. ; Baudrier, É. ; et al.
    In: Discrete Geometry and Mathematical Morphology 2022, 2022-10-20, S. 236-247
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Mixed-Integer Programming Techniques for the Connected Max-k-Cut Problem
    Hojny, Christopher ; Joormann, Imke ; et al.
    In: Mathematical Programming Computation, Jg. 13 (2021-03-01), S. 75-132
    Online serialPeriodical
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Experimental and numerical study of hybrid (CFRP-GFRP) composite laminates containing circular cut-outs under shear loading
    Damghani, Mahdi ; Pir, Rakib Ali ; et al.
    In: Thin-Walled Structures, Jg. 179 (2022)
    serialPeriodical
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A multinomial probit model with Choquet integral and attribute cut-offs
    Dubey, S.K. ; Cats, O. ; et al.
    In: Transportation Research. Part B: Methodological, Jg. 158 (2022)
    serialPeriodical
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Asymmetric Multi-depot Vehicle Routing Problems: Valid Inequalities and a Branch-and-cut Algorithm
    uit het Broek, Michiel ; Schrotenboer, Albert ; et al.
    In: Operations Research, Jg. 69 (2021), Heft 2, S. 380-409
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Quantum speedup for graph sparsification, cut approximation, and Laplacian solving
    Apers, Simon ; Wolf, Ronald
    In: SIAM Journal on Computing, Jg. 51 (2022-12-20), Heft 6, S. 1703-1742
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Conservative Cut-Cell Immersed Boundary Method for Accurate Simulation of Hypersonic Flows with Gas-Surface Interactions
    Başkaya, A.O. ; Hickel, S.
    In: 57th 3AF International Conference AERO2023 At: Bordeaux, France, 2023
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Glauber dynamics for Ising models on random regular graphs: cut-off and metastability
    Can, Van Hao ; van der Hofstad, Remco ; et al.
    In: Alea : Latin American journal of probability and mathematical statistics, Jg. 18 (2021), Heft 1, S. 1441-1482
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Epidemiological cut-off values for itraconazole and ravuconazole for Madurella mycetomatis, the most common causative agent of mycetoma
    Nyuykonge, Bertrand ; Siddig, Emmanuel E. ; et al.
    In: Mycoses, Jg. 65 (2022-12-01), Heft 12, S. 1170-1178
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Volltext
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Modified culture protocol for testing anti-fibrotic drugs using precision-cut liver slices
    Luangmonkong, Theerut ; Olinga, Peter ; et al.
    In: Pharmaceutical Sciences Asia, Jg. 47 (2020-07-01), Heft 3, S. 301-309
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Effect of feeding 3 zero-tannin faba bean cultivars at 3 increasing inclusion levels on growth performance, carcass traits, and yield of saleable cuts of broiler chickens
    Kopmels, Femke C. ; Smit, Miranda N. ; et al.
    In: Poultry Science, Jg. 99 (2020), Heft 10, S. 4958-4968
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A Branch-and-Cut-and-Price algorithm for the Multi-trip Separate Pickup and Delivery Problem with Time Windows at Customers and Facilities
    Bettinelli, Andrea ; Cacchiani, Valentina ; et al.
    In: European Journal of Operational Research, Jg. 279 (2019-12-16), Heft 3, S. 824-839
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Friction and wear mechanism of short-cut aramid fiber and silica reinforced elastomers
    Khafidh, M. ; Schipper, D.J. ; et al.
    In: Wear, Jg. 428-429 (2019-06-15), S. 481-487
    Online serialPeriodical
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Reproducibility of a combined artificial intelligence and optimal-surface graph-cut method to automate bronchial parameter extraction
    Dudurych, Ivan ; Garcia-Uceda, Antonio ; et al.
    In: European Radiology, 2023-04-18
    Online serialPeriodical
    Zugriff:
    View record at Springer (Volltext)
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Hybrid quantum-classical multi-cut Benders approach with a power system application
    Paterakis, Nikolaos G. ; Foundational, EAISI ; et al.
    In: Computers and Chemical Engineering, Jg. 172 (2023-04-01)
    Online serialPeriodical
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -