Publikationen

2022

• Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?Bednarczyk, B. & Demri, S., 1 Juli 2022, in: Logical methods in computer science. 18, 3, S. 5:1–5:46Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 3D Imaging with Double-Helix Point Spread Function and Dynamic Aberration Correction Using a Deformable MirrorBilsing, C., Radner, H., Burgmann, S., Czarske, J. & Büttner, L., Juli 2022, in: Optics and lasers in engineering. 154, 11 S., 107044Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Application of LaSalle’s Invariance Principle on Polynomial Differential Equations Using Quantifier EliminationGerbet, D. & Röbenack, K., Juli 2022, in: IEEE transactions on automatic control. 67, 7, S. 3590-3597, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Stochastic Bin Packing Approach for Server Consolidation with ConflictsMartinovic, J., Hähnel, M., Scheithauer, G. & Dargie, W., Juli 2022, in: TOP. 30(2), S. 296-331, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Combined beam hardening artifact correction and quantitative microanalysis of colloidal depositions in deep bed filtration experiments investigated by 3D X-ray computed microtomographyGünther, S., Ilzig, T. & Odenbach, S., Juli 2022, in: Micron. 158, 103265Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Conducive Design as an Iterative Process for Engineering CPPSKeßler, F., Lorenz, S., Miesen, F., Miesner, J., Pelzer, F., Satkowski, M., Klose, A. & 1 weitere, Juli 2022, Human Aspects of Advanced Manufacturing. New York, USA, Band 66. S. 13-20, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CyMAD bioreactor: A cyclic magnetic actuation device for magnetically mediated mechanical stimulation of 3D bioprinted hydrogel scaffoldsCzichy, C., Kilian, D., Wang, T. C., Günther, S., Lode, A., Gelinsky, M. & Odenbach, S., Juli 2022, in: Journal of the mechanical behavior of biomedical materials. 131, 105253Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Euler-Euler/RANS modeling of solid-liquid flow in stirred tanks: A comprehensive model validationShi, P., Sommer, A. E., Rox, H., Eckert, K. & Rzehak, R., Juli 2022, in: Minerals engineering. 185, 107679Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Extended high-harmonic spectra through a cascade resonance in confined quantum systemsZhang, X., Zhu, T., Du, H., Luo, H. G., Van Den Brink, J. & Ray, R., Juli 2022, in: Physical Review Research. 4, 3, 033026Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Geometric Study of Polymer Embedded Micro Thermoelectric Cooler with Optimized Contact ResistanceDutt, A. S., Deng, K., Li, G., Pulumati, N. B., Ramos, D. A. L., Barati, V., Garcia, J. & 4 weitere, Juli 2022, in: Advanced electronic materials. 8, 7, 2101042Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel