Algorithms | Sciweavers

30

BILDMED
2016

72views Algorithms» more BILDMED 2016»

Evaluation of Time-Dependent Wall Shear Stress Visualizations for Cerebral Aneurysms

8 years 8 months ago

For the rupture risk assessment of cerebral aneurysms, the blood ﬂow is approximated using computational ﬂuid dynamics (CFD). Unsteady CFD inﬂow conditions yield time-depende...

Sylvia Glaßer, Jan Hirsch, Philipp Berg, Pat...

claim paper

Read More »

29

click to vote

BILDMED
2016

87views Algorithms» more BILDMED 2016»

Enhancing Visibility of Blood Flow in Volume Rendered Cardiac 4D PC-MRI Data

8 years 8 months ago

Download www.vismd.de

Abstract. Four-dimensional phase-contrast magnetic resonance imaging (4D PC-MRI ) is a method to non-invasively acquire blood ﬂow in the aorta. This ﬂow is commonly visualized ...

Benjamin Behrendt, Benjamin Köhler, Uta Preim...

claim paper

Read More »

34

click to vote

BILDMED
2016

59views Algorithms» more BILDMED 2016»

Adaptive Animations of Vortex Flow Extracted from Cardiac 4D PC-MRI Data

8 years 8 months ago

Download www.vismd.de

Abstract. Four-dimensional phase-contrast magnetic resonance imaging (4D PC-MRI) acquisitions facilitate the assessment of time-resolved, 3D blood ﬂow information. Vortex ﬂow i...

Benjamin Köhler, Uta Preim, Matthias Grothoff...

claim paper

Read More »

35

click to vote

AML
2016

62views Algorithms» more AML 2016»

Martin's maximum revisited

8 years 8 months ago

Download settheory.mathtalks.org

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

claim paper

Read More »

37

click to vote

AML
2016

63views Algorithms» more AML 2016»

ZF + DC + AX4

8 years 8 months ago

Download shelah.logic.at

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

claim paper

Read More »

40

click to vote

AML
2016

65views Algorithms» more AML 2016»

Laver and set theory

8 years 8 months ago

Download math.bu.edu

Akihiro Kanamori

claim paper

Read More »

79

click to vote

AML
2016

70views Algorithms» more AML 2016»

Equiconsistencies at subcompact cardinals

8 years 8 months ago

Download www.math.ucla.edu

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

claim paper

Read More »

36

click to vote

AML
2016

66views Algorithms» more AML 2016»

Laver's results and low-dimensional topology

8 years 8 months ago

Download www.math.unicaen.fr

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

claim paper

Read More »

33

click to vote

AML
2016

64views Algorithms» more AML 2016»

Strong measure zero in separable metric spaces and Polish groups

8 years 8 months ago