Investigating the Influence of Aromatic Moieties on the Formulation of Hydrophobic Natural Products and Drugs in Poly(2-oxazoline)-Based Amphiphiles
Hahn, Lukas, Lübtow, Michael M, Lorson, Thomas, Schmitt, Frederik, Appelt-Menzel, Antje, Schobert, Rainer, Luxenhofer, Robert
Published in Biomacromolecules (09.07.2018)
Published in Biomacromolecules (09.07.2018)
Get full text
Journal Article
Precise control of process parameters for >23% efficiency perovskite solar cells in ambient air using an automated device acceleration platform
Zhang, Jiyun, Wu, Jianchang, Barabash, Anastasia, Du, Tian, Qiu, Shudi, Le Corre, Vincent M., Zhao, Yicheng, Zhang, Kaicheng, Schmitt, Frederik, Peng, Zijian, Tian, Jingjing, Li, Chaohui, Liu, Chao, Heumueller, Thomas, Lüer, Larry, Hauch, Jens A., Brabec, Christoph J.
Published in Energy & environmental science (30.07.2024)
Published in Energy & environmental science (30.07.2024)
Get full text
Journal Article
Optimizing Perovskite Thin‐Film Parameter Spaces with Machine Learning‐Guided Robotic Platform for High‐Performance Perovskite Solar Cells
Zhang, Jiyun, Liu, Bowen, Liu, Ziyi, Wu, Jianchang, Arnold, Simon, Shi, Hongyang, Osterrieder, Tobias, Hauch, Jens A., Wu, Zhenni, Luo, Junsheng, Wagner, Jerrit, Berger, Christian G., Stubhan, Tobias, Schmitt, Frederik, Zhang, Kaicheng, Sytnyk, Mykhailo, Heumueller, Thomas, Sutter‐Fella, Carolin M., Peters, Ian Marius, Zhao, Yicheng, Brabec, Christoph J.
Published in Advanced energy materials (22.12.2023)
Published in Advanced energy materials (22.12.2023)
Get full text
Journal Article
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Cosler, Matthias, Hahn, Christopher, Mendoza, Daniel, Schmitt, Frederik, Trippel, Caroline
Year of Publication 08.03.2023
Year of Publication 08.03.2023
Get full text
Journal Article
Iterative Circuit Repair Against Formal Specifications
Cosler, Matthias, Schmitt, Frederik, Hahn, Christopher, Finkbeiner, Bernd
Year of Publication 02.03.2023
Year of Publication 02.03.2023
Get full text
Journal Article
Attention Flows for General Transformers
Metzger, Niklas, Hahn, Christopher, Siber, Julian, Schmitt, Frederik, Finkbeiner, Bernd
Year of Publication 30.05.2022
Year of Publication 30.05.2022
Get full text
Journal Article
Autonomous Optimization of an Organic Solar Cell in a 4-dimensional Parameter Space
Osterrieder, Tobias, Schmitt, Frederik, Luer, Larry, Wagner, Jerrit, Heumüller, Thomas, Hauch, Jens, Brabec, Christoph
Year of Publication 14.05.2023
Year of Publication 14.05.2023
Get full text
Journal Article
Neural Circuit Synthesis from Specification Patterns
Schmitt, Frederik, Hahn, Christopher, Rabe, Markus N, Finkbeiner, Bernd
Year of Publication 25.07.2021
Year of Publication 25.07.2021
Get full text
Journal Article
Formal Specifications from Natural Language
Hahn, Christopher, Schmitt, Frederik, Tillman, Julia J, Metzger, Niklas, Siber, Julian, Finkbeiner, Bernd
Year of Publication 04.06.2022
Year of Publication 04.06.2022
Get full text
Journal Article
NeuRes: Learning Proofs of Propositional Satisfiability
Ghanem, Mohamed, Schmitt, Frederik, Siber, Julian, Finkbeiner, Bernd
Published in arXiv.org (13.02.2024)
Get full text
Published in arXiv.org (13.02.2024)
Paper
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
Cosler, Matthias, Hahn, Christopher, Omar, Ayham, Schmitt, Frederik
Published in arXiv.org (29.01.2024)
Get full text
Published in arXiv.org (29.01.2024)
Paper
Precise Control of Process Parameters for >23% Efficiency Perovskite Solar Cells in Ambient Air Using an Automated Device Acceleration Platform
Zhang, Jiyun, Barabash, Anastasia, Du, Tian, Wu, Jianchang, Corre, Vincent M. Le, Zhao, Yicheng, Qiu, Shudi, Zhang, Kaicheng, Schmitt, Frederik, Peng, Zijian, Tian, Jingjing, Li, Chaohui, Liu, Chao, Heumueller, Thomas, Lüer, Larry, Hauch, Jens A, Brabec, Christoph J
Year of Publication 29.03.2024
Year of Publication 29.03.2024
Get full text
Journal Article
Iterative Circuit Repair Against Formal Specifications
Cosler, Matthias, Schmitt, Frederik, Hahn, Christopher, Finkbeiner, Bernd
Published in arXiv.org (02.03.2023)
Get full text
Published in arXiv.org (02.03.2023)
Paper
Teaching Temporal Logics to Neural Networks
Hahn, Christopher, Schmitt, Frederik, Kreber, Jens U, Rabe, Markus N, Finkbeiner, Bernd
Year of Publication 06.03.2020
Year of Publication 06.03.2020
Get full text
Journal Article
Attention Flows for General Transformers
Metzger, Niklas, Hahn, Christopher, Siber, Julian, Schmitt, Frederik, Finkbeiner, Bernd
Published in arXiv.org (30.05.2022)
Get full text
Published in arXiv.org (30.05.2022)
Paper