1

Software product and process quality improvement using formal methods

by: Mishra, Satish; Fischer, Joachim; Krieg-Brückner, Bernd; Schlingloff, Holger
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015
Electronic Thesis
2

LinesLab: A Flexible Low‐Cost Approach for the Generation of Physical Monochrome Art

E-Article
3

Dynamic Visibility‐Driven Molecular Surfaces

E-Article
4

Eurographics Young Researcher Award

E-Article
5

Return from the ant

by: Brückner, Sven; Burkhard, Hans-Dieter; Sundermeyer, Kurt; Parunak, Van Dyke
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2000
Electronic Thesis
6

On the regularization of the ill-posed logarithmic kernel integral equation of the first kind

by: Bruckner, G
In: Inverse Problems (1995)
E-Article
7
8

Mirror Brain: Picture and Experience

E-Article
9

Isosurface Similarity Maps

E-Article
10

Supporting fMRI Data Analysis by Structured Neural Networks

E-Article
11
12
13

Foreword

E-Article
14
15

Guided Volume Editing based on Histogram Dissimilarity

E-Article
16

Illustrative Membrane Clipping

E-Article
17
18
19
20