Publications

M. S. Alnæs. Automation of PDE Constrained Optimization - Algorithmic Differentiation As Abstract Building Blocks in High Level Algorithms, ECCOMAS 2012, Wien, 2012.

X. Cai. Some perspectives on high-performance computing in the Geosciences, Computational Geoscience Workshop, Geilo, January 19, 2012.

S. Di Alesio. Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques, 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012), 2012.

S. Di Alesio. Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques, The Eleventh SweConsNet Workshop (SweConsNet'12), 2012.

Ø. Evju. Non-Newtonian Effects in Cerebral Aneurysms. A Computational Study on 12 Patient Specific Aneurysms, ICS '12, 2012.

T. Gillberg. A Parallel 3D Front Propagation Algorithm for Simulation of Geological Folding on GPUs, EAGE 74th Conference & Exhibition, 2012.

T. Gillberg. Massively Parallel Front Tracking , Computational Geoscience Workshop, 18-20 January 2012 in Geilo, 2012.

V. Haughton. CSF flow: acquisition strategies, Lecture at International Society of Magnetic Resonance in Medicine, Orlando, FL, 2012.

J. Koivumäki, T. Christ, G. Seemann, and M. Maleckar. Divergent action potential morphology in human atrial cells vs. tissue: underlying ionic mechanisms, Computing in Cardiology conference, 2012.

J. Koivumäki, M. Maleckar, T. Christ, and N. Rozmaritsa. Calcium Buffering in Human Atrial Myocytes, CaMo-UCSD Workshop, San Diego, USA, 2012.

Kent-A. Mardal. The Finite Element library FEniCS + Blood flow simulations in cerebral aneurysms, Marsden's lab at UCSD, 2012.

Kent-A. Mardal. The Finite Element library FEniCS , Steinman's lab, University of Toronto, 2012.

Kent-A. Mardal and H. P. Langtangen. Will FEniCS fly?, FEniCS 12 workshop, 2012.

Kent-A. Mardal, H. P. Langtangen, and P. Røtnes. Are zombies a threat to mankind?, Invited talk for the opening of "RF kjelleren" at the University of Oslo , 2012.

Kent-A. Mardal, B. F. Nielsen, and M. S. Alnæs. Efficient preconditioning of optimality systems, EMG 2012, 2012.

B. F. Nielsen and Kent-A. Mardal. The Minimal Residual Method applied to ill-posed optimality systems; eigenvalues and convergence properties, Numerical Methods for Optimal Control and Inverse Problems workshop, Munich, Germany, 2012.

A. Petlund. When Latency Matters and How to Optimize It, Invited talk at "Internet Quality"-meeting, Copenhagen, June 2012, 2012.

Sven-A. Reinemo, F. O. Sem-Jacobsen, and T. Skeie. Fat-trees and Dragonflies - A Perspective on Topologies, Contributed talk at the HPC Advisory Council Switzerland Workshop, Lugano, Switzerland, 2012.

M. E. Rognes. Techniques for automated treatment of variational forms over arbitrary dimension tensor product finite elements, CBC Seminar series, 2012.

M. E. Rognes. Automatically generated solvers for variational formulations of time-dependent partial differential equations, ECCOMAS, 2012.

M. E. Rognes. The FEniCS Project: a modern framework for the automated solution of PDEs by FEM, Computational Geoscience Workshop, 2012.

A. Schroll. High resolution FV Methods for Stochastic Balance Laws, Intl. Conf. High Performance Scientific Computing, Hanoi, Vietnam, 2012.

Karen-H. Støverud. The relation between Chiari I and syringomyelia -model concepts, CBC Workshop on Adjoint-Based Methods for Transient Problems: Software and applications, 2012.

Karen-H. Støverud. Relation between Chiari malformation and Syringomyelia, Summer School on Modeling and Simulation of Soft Tissue BioMechanics, 2012.

Karen-H. Støverud, V. Haughton, H. P. Langtangen, and Kent-A. Mardal. CSF Flow Dynamics: Effects of Viscosity and Inertia, ANSR 2012, New York, 2012.

J. Sundnes and S. Wall. Computer simulations of electro-mechanical interactions in the heart, CBC Workshop on Adjoint-Based Methods for Transient Problems: Software and Applications, 2012.

J. Sundnes and S. Wall. On the Stability of Operator Splitting Schemes for Strongly Coupled Cardiac Electro-Mechanics, World Congress on Computational Mechanics, Sao Paulo, Brazil, 2012.

J. Sundnes and S. Wall. Strongly coupled simulations of cardiac electro-mechanics, CBC seminar, 2012.

K. Valen-Sendstad and D. A. Steinman. Is CFD Misleading Us About the Nature of Wall Shear Stresses in Cerebral Aneurysms?, The 7th International Symposium on Biomechanics in Vascular Biology & Cardiovascular Disease, Atlanta, Georgia, USA, 2012.

M. Jørgensen. Keynote at Euromicro, CESME, Miscellaneous publication, 2012.

O. Lysne. Research in ICT: What we should do, and why it matters, Miscellaneous publication, VERDIKT Conference , 2012.

L. Moonen. Assuring Software Quality by Code Smell Detection, Miscellaneous publication, Most Influential Paper Award, 19th Working Conference on Reverse Engineering (WCRE) , 2012.

M. S. Alnæs. A Domain Specific Language and Symbolic Library for FEM Formulations of PDEs - the Unified Form Language, FEniCS@Imperial Day, Imperial College London, 2012.

X. Cai. Scientific computing needs supercomputers, but also something else!, Invited lecture at National University of Defence Technology, China, March 29, 2012.

S. R. Clark, L. Vynnytska, and A. Schroll. An Inverse Approach to Stratigraphic Modelling, 34th International Geological Congress, Brisbane, Australia, 2012.

T. Dreibholz. The NorNet Project -- A Research Testbed for Multi-Homed Systems, Karlstads Universitet, 2012.

T. Dreibholz. An Introduction to NorNet Core for the Site Deployment at Universitetet i Stavanger, Universitetet i Stavanger, 2012.

C. Griwodz. Perceived audiovisual synchrony in distorted speech, COST IC 1003, Fourth Qualinet General Meeting, Zagreb, Oct. 11, 2012.

C. Griwodz. Media Performance: building and evaluating multimedia systems, Academica Sinica, Taipeh, Taiwan, November 6, 2012.

C. Griwodz. Media Performance: building and evaluating multimedia systems, National Tsing Hue University, Hsinchu, Taiwan, November 7, 2012.

J. Koivumäki and P. Tavi. Excitation-contraction coupling in human atrial myocytes: remodeling in atrial fibrillation, Seminar at the Institute of Biomedical Engineering, KIT, Germany, 2012.

H. P. Langtangen and M. Mortensen. Flexible Specification of Large Systems of Nonlinear PDEs, Keynote talk at the 2nd HPC^3 Workshop on High-Performance Computing, KAUST, Saudi-Arabia , 2012.

G. T. Lines and X. Cai. Elements of Scientific Computing, 3-day intensive course given at National University of Defence Technology, China, October 16-18, 2012.

O. Lysne. Et Kritisk Blikk på Nødnettet, Miscellaneous publication, Telecom World, 2012.

O. Lysne. Kan markedet gi oss robuste telenett?, Telecruice, 2012.

O. Lysne. Kan markedet gi robuste telenett?, Telecruice, 2012.

Kent-A. Mardal. Blood flow in cerebral aneurysms – can turbulence be a risk indicator? , SDU workshop, 2012.

M. Mortensen. Flexible Software Tools for Computational Turbulence, Keynote talk at the 25th Nordic Seminar on Computational Mechanics, 2012.

M. E. Rognes. Automated FEniCS frameworks for adjoint models and their applications, KAUST, 2012.

M. E. Rognes. The FEniCS Project: a short course, KAUST, 2012.