Sciweavers

BILDMED
2016
8 years 29 days ago
Evaluation of Time-Dependent Wall Shear Stress Visualizations for Cerebral Aneurysms
For the rupture risk assessment of cerebral aneurysms, the blood flow is approximated using computational fluid dynamics (CFD). Unsteady CFD inflow conditions yield time-depende...
Sylvia Glaßer, Jan Hirsch, Philipp Berg, Pat...
BILDMED
2016
8 years 29 days ago
Enhancing Visibility of Blood Flow in Volume Rendered Cardiac 4D PC-MRI Data
Abstract. Four-dimensional phase-contrast magnetic resonance imaging (4D PC-MRI ) is a method to non-invasively acquire blood flow in the aorta. This flow is commonly visualized ...
Benjamin Behrendt, Benjamin Köhler, Uta Preim...
BILDMED
2016
8 years 29 days ago
Adaptive Animations of Vortex Flow Extracted from Cardiac 4D PC-MRI Data
Abstract. Four-dimensional phase-contrast magnetic resonance imaging (4D PC-MRI) acquisitions facilitate the assessment of time-resolved, 3D blood flow information. Vortex flow i...
Benjamin Köhler, Uta Preim, Matthias Grothoff...
AML
2016
62views Algorithms» more  AML 2016»
8 years 29 days ago
Martin's maximum revisited
We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with str...
Matteo Viale
AML
2016
63views Algorithms» more  AML 2016»
8 years 29 days ago
ZF + DC + AX4
We consider mainly the following version of set theory: “ZF + DC and for every λ, λℵ0 is well ordered”, our thesis is that this is a reasonable set theory, e.g. on the one ...
Saharon Shelah
AML
2016
65views Algorithms» more  AML 2016»
8 years 29 days ago
Laver and set theory
Akihiro Kanamori
AML
2016
70views Algorithms» more  AML 2016»
8 years 29 days ago
Equiconsistencies at subcompact cardinals
We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardin...
Itay Neeman, John R. Steel
AML
2016
66views Algorithms» more  AML 2016»
8 years 29 days ago
Laver's results and low-dimensional topology
In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimensional topology, namely the existenc...
Patrick Dehornoy
AML
2016
64views Algorithms» more  AML 2016»
8 years 29 days ago
Strong measure zero in separable metric spaces and Polish groups
Michael Hrusák, Wolfgang Wohofsky, Ondrej Z...