Publications (150,079)

Search

COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC µ-CALCULI

Hausmann D, Schröder L (2024)

Journal article

Optimal Placement and Shape Design of Sensors via Geometric Criteria

Ftouhi I, Zuazua Iriondo E (2024)

Conference contribution, Original article

Das muskelinvasive und metastasierte Urothelkarzinom der Harnblase: Aktueller Stand histopathologischer, molekularer und immunologischer Prognose- und Prädiktionsfaktoren

Bertz S, Bahlinger V, Lange F, Hartmann A, Eckstein M (2024)

Journal article

New measurement methods for workplace measurements and biomonitoring Neue Messverfahren für Arbeitsplatzmessungen und Biomonitoring

Hebisch R, Göen T (2024)

Journal article

Parameter optimization for proton density fat fraction quantification in skeletal muscle tissue at 7 T

Tkotz K, Zeiger P, Hanspach J, Mathy C, Laun FB, Uder M, Nagel AM, Gast L (2024)

Journal article

Uncovering Harmonization Potential in Health Care Data Through Iterative Refinement of Fast Healthcare Interoperability Resources Profiles Based on Retrospective Discrepancy Analysis: Case Study

Rosenau L, Behrend P, Wiedekopf J, Gründner J, Ingenerf J (2024)

Journal article

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

Forster J, Schröder L, Wild P, Beohar H, Gurke S, Messing K (2024)

Conference contribution

Finding Argument Fragments on Social Media with Corpus Queries and LLMs

Dykes N, Evert S, Heinrich P, Humml M, Schröder L (2024)

Conference contribution

A Problem for Autonomous Know-How

Robertson I (2024)

Journal article

Influence of material in sheet-bulk metal forming from coil

Leicht M, Merklein M (2024)

Journal article

‹ 1 ... 849 850 851 852 853 ... 15,008 ›