Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Halogenated flame retardants in tree samples applied as bioindicatorsfor atmospheric pollution
Dreyer, Annekatrin; Neugebauer, Frank; Rüdel, Heinz; Klein, Roland; Lohmann, Nina; Rauert, Caren; Koschorreck, Jan
Journal Article
2018Lesional and perilesional tissue characterization by automated image processing in a novel gyrencephalic animal model of peracute intracerebral hemorrhage
Boltze, Johannes; Ferrara, Fabienne; Hainsworth, Atticus H.; Bridges, Leslie R.; Zille, Marietta; Lobsien, Donald; Barthel, Henryk; Mcleod, Damian D.; Gräßer, Felix; Pietsch, Sören; Schatzl, Ann-Kathrin; Dreyer, Antje; Nietzsche, Björn
Journal Article
2017Immunosuppression for in vivo research
Diehl, Rita; Ferrara, Fabienne; Müller, Claudia; Dreyer, Antje Y.; McLeod, Damian D.; Fricke, Stephan; Boltze, Johannes
Journal Article
2016Focal cerebral ischemia by permanent middle cerebral artery occlusion in sheep
Nitzsche, Björn; Barthel, Henryk; Lobsien, Donald; Boltze, Johannes; Zeisig, Vilia; Dreyer, Antje Y.
Book Article
2016Fully automated calculation of image-derived input function in simultaneous PET/MRI in a sheep model
Jochimsen, Thies H.; Zeisig, Vilia; Schulz, Jessica; Werner, Peter; Patt, Marianne; Patt, Jörg; Dreyer, Antje Y.; Boltze, Johannes; Barthel, Henryk; Sabri, Osama; Sattler, Bernhard
Journal Article
2015Autologous bone marrow mononuclear cell therapy of ischemic stroke in sheep
Boltze, J.; Dreyer, A.; Zeisig, V.; Lobsien, D.; Gille, U.; Wagner, D.C.; Kirsten, H.; Barthel, H.
Abstract
2015Kurs auf Schiffbau 4.0
Behrens, Peter; Bertram, Volker; Dreyer, Alexandra; Lukas, Uwe von
Journal Article
2015Simultaneous PET/MRI in stroke: A case series
Werner, Peter; Saur, Dorothee; Zeisig, Vilia; Ettrich, Barbara; Patt, Marianne; Sattler, Bernhard; Jochimsen, Thies; Lobsien, Donald; Meyer, Philipp M.; Then Bergh, Florian; Dreyer, Antje; Boltze, Johannes; Classen, Joseph; Fritzsch, Dominik; Hoffmann, Karl-Titus; Sabri, Osama; Barthel, Henryk
Journal Article
2015A stereotaxic, population-averaged T1w ovine brain atlas including cerebral morphology and tissue volumes
Nitzsche, Björn; Frey, Stephen; Collins, Louis D.; Seeger, Johannes; Lobsien, Donald; Dreyer, Antje; Kirsten, Holger; Stoffel, Michael H.; Fonov, Vladimir S.; Boltze, Johannes
Journal Article
2013Gröbner-free normal forms for Boolean polynomials
Brickenstein, M.; Dreyer, A.
Journal Article
2013Imaging of VSOP labeled stem cells in agarose phantoms with susceptibility weighted and T2* weighted MR imaging at 3T: Determination of the detection limit
Lobsien, Donald; Dreyer, Antje Y.; Stroh, Albrecht; Boltze, Johannes; Hoffmann, Karl-Titus
Journal Article
2013Improving Gröbner-based Clause Learning for SAT Solving Industrial-sized Boolean Problems
Dreyer, A.; Nguyen, T.H.
Conference Paper
2013Proof logging for computer algebra based SMT solving
Marx, O.; Wedler, M.; Stoffel, D.; Kunz, W.; Dreyer, A.
Conference Paper
2013Tracking of autologous VSOP-labeled mesenchymal stem cells in the sheep brain using 3.0 T MRI
Dreyer, A.Y.; Lobsien, D.; Pösel, C.; Hoffmann, K.-T.; Nitzsche, B.; Findeisen, M.; Stroh, A.; Boltze, J.
Book Article
2012Frameless stereotaxy in sheep - neurosurgical and imaging techniques for translational stroke research
Dreyer, Antje; Stroh, Albrecht; Pösel, Claudia; Findeisen, Matthias; Geymüller, Teresa von; Lobsien, Donald; Nitzsche, Björn; Boltze, Johannes
Book Article
2012Magnetresonanztomographische Detektion und Verfolgung von Migrationsbewegungen von autologen mesenchymalen Stammzellen nach experimentell induziertem Schlaganfall im Schaf
Dreyer, Antje
: Seeger, Johannes (Betreuer)
Dissertation
2011Defining the ischemic penumbra with [15O]H2O-PET
Zeisig, V.; Becker, G.; Großmann, U.; Geymüller, T. von; Nitzsche, B.; Dreyer, A.; Kluge, M.; Plesnila, N.; Boltze, J.; Sabri, O.; Barthel, H.
Conference Paper
2011Fast and robust symbolic model order reduction with analog insydes
Hauser, M.; Salzig, C.; Dreyer, A.
Conference Paper
2011STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra
Pavlenko, E.; Wedler, M.; Stoffel, D.; Kunz, W.; Dreyer, A.; Seelisch, F.; Greuel, G.-M.
Conference Paper
2011Verifikation digitaler Systeme mit PolyBoRi
Brickenstein, M.; Dreyer, A.
Journal Article
2010Autologous bone marrow cell therapy of stroke in an ovine model
Boltze, J.; Forschler, A.; Nitzsche, B.; Dreyer, A.; Zeisig, V.; Geymuller, T. von
Abstract
2010Network-driven boolean normal forms
Brickenstein, M.; Dreyer, A.
Conference Paper
2010Solving hard instances in QF-BV combining Boolean reasoning with computer algebra
Wedler, M.; Pavlenko, E.; Dreyer, A.; Seelisch, F.; Stoffel, D.; Greuel, G.-M.; Kunz, W.
Conference Paper
2009[F-18]Feta PET-a new method for hot spot imaging of the ischemic penumbra in acute stroke
Barthel, H.; Grossmann, U.; Zeisig, V.; Patt, M.; Wagner, D.; Patt, J.; Kluge, M.; Franke, H.; Sorger, D.; Luthardt, J.; Nitzsche, B.; Dreyer, A.; Brust, P.; Steinbach, J.; Boltze, J.; Emmrich, F.; Sabri, O.
Abstract
2009Autologous bone marrow cell administration 24 h following MCAO reduces behavioral deficits and lesion size in a novel large animal model
Boltze, J.; Förschler, A.; Barthel, H.; Nitzsche, B.; Dreyer, A.; Zeisig, V.; Geymüller, T. von; Boltze, C.; Sabri, O.; Lobsien, D.; Hoffmann, A.; Reischauer, A.; Emmrich, F.; Gille, U.
Abstract
2009New developments in the theory of Gröbner bases and applications to formal verification
Brickenstein, M.; Dreyer, A.; Greuel, G.-M.; Wedler, M.; Wienand, O.
Journal Article
2009POLYBORI: A framework for Gröbner-basis computations with Boolean polynomials
Brickenstein, M.; Dreyer, A.
Journal Article, Conference Paper
2008Gröbner-free normal forms for boolean polynomials
Brickenstein, M.; Dreyer, A.
Conference Paper
2008Permanent middle cerebral artery occlusion in sheep
Boltze, Johannes; Förschler, Annette; Nitzsche, Björn; Waldmin, Daniela; Hoffmann, Anke; Boltze, Chistiane M.; Dreyer, Antje Y.; Goldammer, Axel; Reischauer, Anne; Härtig, Wolfgang; Geiger, Kathrin D.; Barthel, Henryk; Emmrich, Frank; Gille, Uwe
Journal Article
2007POLYBORI: A Gröbner basis framework for Boolean polynomials
Brickenstein, M.; Dreyer, A.
Report
2007Three-valued automated reasoning on analog properties
Gentilini, R.; Schneider, K.; Dreyer, A.
Conference Paper
2006Automatische nichtlineare Verhaltensmodellgenerierung mit sequentieller Gleichungsstruktur
Platte, D.; Sommer, R.; Broz, J.; Dreyer, A.; Halfmann, T.; Barke, E.
Conference Paper
2006Interval analysis of linear analog circuits
Dreyer, A.
Conference Paper
2006Interval methods for analog circuits
Dreyer, A.
Report
2006Simulation model of an active noise control system
Dreyer, A.; Halfmann, T.; Broz, J.; Kataja, J.; Antila, M.
Conference Paper
2005Interval analysis of analog circuits with component tolerances
Dreyer, A.
Dissertation