Targeting Neuroinflammation to Treat Alzheimer’s Disease von Ardura-Fabregat, A., Boddeke, E. W. G. M., Boza-Serrano, A., Brioschi, S., Castro-Gomez, S., Ceyzériat, K., Dansokho, C., Dierkes, T., Gelders, G., Heneka, Michael T., Hoeijmakers, L., Hoffmann, A., Iaccarino, L., Jahnert, S., Kuhbandner, K., Landreth, G., Lonnemann, N., Löschmann, P. A., McManus, R. M., Paulus, A., Reemst, K., Sanchez-Caro, J. M., Tiberi, A., Van der Perren, A., Vautheny, A., Venegas, C., Webers, A., Weydt, P., Wijasa, T. S., Xiang, X., Yang, Y.

Volltext

A full subtraction approach for finite element method based source analysis using constrained Delaunay tetrahedralisation von Drechsler, F., Wolters, C.H., Dierkes, T., Si, H., Grasedyck, L.

Volltext

Accuracy and run-time comparison for different potential approaches and iterative solvers in finite element method based EEG source analysis von Lew, S., Wolters, C.H., Dierkes, T., Röer, C., MacLeod, R.S.

Volltext

Application of the chirp z-transform to MRI data von Kaffanke, J., Dierkes, T., Romanzetti, S., Halse, M., Rioux, J., Leach, M.O., Balcom, B., Shah, N.J.

Volltext

An accurate nonuniform fourier transform for SPRITE magnetic resonance imaging data von RIOUX, J, HALSE, M, AUBANEL, E, BALCOM, B. J, KAFFANKE, J, ROMANZETTI, S, DIERKES, T, SHAH, N. J

Volltext

Total Synthesis of (−)-Salicylihalamide von Fürstner, Alois, Dierkes, Thorsten, Thiel, Oliver R., Blanda, Gaetano

Volltext

Concise Synthesis of (S,S)-(+)-Dehydrohomoancepsenolide von Fürstner, Alois, Dierkes, Thorsten

Volltext

Targeting Neuroinflammation to Treat Alzheimer's Disease von Ardura-Fabregat, A, Boddeke, E.W.G.M, Boza-Serrano, A, Brioschi, S, Castro-Gomez, S, Ceyzeriat, K, Dansokho, C, Dierkes, T, Gelders, Géraldine, Heneka, Michael T, Hoeijmakers, L, Hoffmann, Andreas, Iaccarino, L, Jahnert, S, Kuhbandner, K, Landreth, G, Lonnemann, N, Loeschmann, P.A, McManus, R.M, Paulus, Annelies, Reemst, K, Sanchez-Caro, J.M, Tiberi, A, Van der Perren, Anke, Vautheny, A, Venegas, C, Webers, A, Weydt, P, Wijasa, T.S, Xiang, X, Yang, Y

Volltext

Study on the Barriers to the Industrial Adoption of Formal Methods von Davis, Jennifer A., Clark, Matthew, Cofer, Darren, Fifarek, Aaron, Hinchman, Jacob, Hoffman, Jonathan, Hulbert, Brian, Miller, Steven P., Wagner, Lucas

Volltext

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings von Dierkes, Michael, Pecheur, Charles

Volltext

Visual Function 15 Years after Optic Neuritis : A Final Follow-up Report from the Optic Neuritis Treatment Trial von Optic Neuritis Study Group

Volltext

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors von Randolph, Aurel, Imine, Abdessamad, Boucheneb, Hanifa, Quintero, Alejandro

Volltext

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Volltext

Child alcohol use disorder in Eastern Uganda: screening, diagnostics, risk factors and management of children drinking alcohol in Uganda (TREAT C-AUD): a mixed-methods research pro... von Skylstad, Vilde, Aber, Harriet, Bakken, Victoria, Dierkes, Jutta, Iversen, Silje Akselberg, Kisaakye, Esther, Kühl, Melf-Jakob, Nalugya, Joyce Sserunjogi, Rayamajhi, Divya, Sebuwufu, Deogratious, Skar, Ane-Marthe Solheim, Skokauskas, Norbert, Valeckaite, Neda, Wamani, Henry, S. Engebretsen, Ingunn Marie, Babirye, Juliet Ndimwibo

Volltext

On the Effectiveness of Assertion-Based Verification in an Industrial Context von Pierre, Laurence, Pancher, Fabrice, Suescun, Rodolphe, Quévremont, Jérôme

Volltext

Reconstruction of optical properties of phantom and breast lesion in vivo from paraxial scanning data von Dierkes, Thomas, Grosenick, Dirk, Moesta, K Thomas, Möller, Michael, Schlag, Peter M, Rinneberg, Herbert, Arridge, Simon

Volltext

Fréchet Derivatives for Some Bilinear Inverse Problems von Dierkes, Thomas, Dorn, Oliver, Natterer, Frank, Palamodov, Victor, Sielschott, Helmut

Volltext

Evaluation of Three New Strategies to Fight Obesity in Families von Luley, C., Blaik, A., Aronica, S., Dierkes, J., Kropf, S., Westphal, Sabine

Volltext

Formal Reliability Analysis of Protective Relays in Power Distribution Systems von Khurram, Adil, Ali, Haider, Tariq, Arham, Hasan, Osman

Volltext

Global Analysis of Minimal Surfaces von Dierkes, Ulrich, Hildebrandt, Stefan, Tromba, Anthony J

Volltext