@article{63987, abstract = {{An efficient approach employing 4-dimethylaminopyridine and 1-ethyl-3-(3-dimethylaminopropyl)carbodiimide hydrochloride as the coupling reagent is presented, which enables the functionalization of cotton linter paper substrates with the 19F spin label N-boc-cis-4-fluoro-l-proline. This spin label can be easily quantified by 19F magic angle spinning (MAS) NMR experiments to determine its loading on paper substrates. During the functionalization, the spin label stays intact, as confirmed by the 1H–19F heterocorrelation (1H 19F CP MAS FSLG HETCOR) experiments. In combination with dynamic nuclear polarization (19F MAS DNP), the N-boc-cis-4-fluoro-l-proline spin label allows us to inspect 1 μmol/g and even lower molecule loadings on paper substrates, providing a highly sensitive local probe to analyze the structure of biofunctionalizations at the nanoscale on paper substrates in the future.}}, author = {{Höfler, Mark V. and Limprasart, Waranya and Rösler, Lorenz and Fleckenstein, Max and Brodrecht, Martin and Herr, Kevin and Schäfer, Jan-Lukas and Biesalski, Markus and Breitzke, Hergen and Gutmann, Torsten}}, issn = {{1932-7447}}, journal = {{Journal of Physical Chemistry C}}, number = {{7}}, pages = {{3570–3578}}, publisher = {{American Chemical Society}}, title = {{{Fluorine-Labeled N-Boc-l-proline as a Marker for Solid-State NMR Characterization of Biofunctionalizations on Paper Substrates}}}, volume = {{127}}, year = {{2023}}, } @inproceedings{47108, author = {{Gräßler, Iris and Özcan, Deniz and Preuß, Daniel}}, booktitle = {{Design fox X - Beiträge zum 34. DfX-Symposium}}, editor = {{Krause, Dieter and Paetzold-Byhain, Kristin and Wartzack, Sandro}}, location = {{Radebeul}}, pages = {{163 -- 172}}, title = {{{KI-basierte Extrahierung von Anforderungen aus Regularien für die Automobilentwicklung}}}, doi = {{10.35199/dfx2023.17}}, volume = {{34}}, year = {{2023}}, } @inproceedings{46490, author = {{Gräßler, Iris and Tusek, Alena Marie and Özcan, Deniz}}, booktitle = {{Automation 2023}}, isbn = {{9783181024195}}, location = {{Baden-Baden}}, pages = {{863 -- 874}}, publisher = {{VDI Verlag}}, title = {{{Entwicklung zukunftsfähiger Geschäftsmodelle in der Automatisierungstechnik anhand von Megatrends}}}, doi = {{10.51202/9783181024195-863}}, volume = {{2419}}, year = {{2023}}, } @inproceedings{67336, author = {{Sammak, Rami and Rotthaler, Anna Lena and Sri Ramulu, Harshini and Wermke, Dominik and Acar, Yasemin}}, booktitle = {{Proceedings of the 2024 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses}}, pages = {{56–66}}, title = {{{Developers’ approaches to software supply chain security: An interview study}}}, year = {{2023}}, } @article{45112, author = {{Beverungen, Daniel and Kundisch, Dennis and Mirbabaie, Milad and Müller, Oliver and Schryen, Guido and Trang, Simon Thanh-Nam and Trier, Matthias}}, journal = {{Business & Information Systems Engineering}}, number = {{4}}, pages = {{463 -- 474}}, title = {{{Digital Responsibility – a Multilevel Framework for Responsible Digitalization}}}, doi = {{10.1007/s12599-023-00822-x}}, volume = {{65}}, year = {{2023}}, } @article{51825, author = {{Schmitt, Martin}}, issn = {{1058-6180, 1934-1547}}, journal = {{IEEE Annals of the History of Computing}}, keywords = {{Sozialismus, Schachcomputer, Deutschland {\textless}DDR{\textgreater}, KI, Schach, Spätsozialismus, 1980er-Jahre}}, pages = {{66–79}}, title = {{{Socialist AI? Societal Use, Economic Implementation, and the Tensions of Applied Computer Science in Late Socialist GDR}}}, doi = {{10.1109/MAHC.2023.3298694}}, year = {{2023}}, } @article{53539, abstract = {{AbstractThe infinite Brownian loop on a Riemannian manifold is the limit in distribution of the Brownian bridge of length T around a fixed origin when $$T \rightarrow +\infty $$ T → + ∞ . The aim of this note is to study its long-time asymptotics on Riemannian symmetric spaces G/K of noncompact type and of general rank. This amounts to the behavior of solutions to the heat equation subject to the Doob transform induced by the ground spherical function. Unlike the standard Brownian motion, we observe in this case phenomena which are similar to the Euclidean setting, namely $$L^1$$ L 1 asymptotic convergence without requiring bi-K-invariance for initial data, and strong $$L^{\infty }$$ L ∞ convergence.}}, author = {{Papageorgiou, Efthymia}}, issn = {{2296-9020}}, journal = {{Journal of Elliptic and Parabolic Equations}}, keywords = {{Applied Mathematics, Numerical Analysis, Analysis}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Asymptotics for the infinite Brownian loop on noncompact symmetric spaces}}}, doi = {{10.1007/s41808-023-00250-8}}, year = {{2023}}, } @inproceedings{66199, author = {{Lin, Ching-Chi and Günzel, Mario and Shi, Junjie and Seidl, Tristan Taylan and Chen, Kuan-Hsun and Chen, Jian-Jia}}, booktitle = {{2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)}}, publisher = {{IEEE}}, title = {{{Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies}}}, doi = {{10.1109/rtas58335.2023.00020}}, year = {{2023}}, } @article{66198, title = {{{Simulation Environment with Customized RISC-V Instructions for Logic-in-Memory Architectures}}}, doi = {{10.48550/ARXIV.2303.12128}}, year = {{2023}}, } @article{66183, abstract = {{In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via chains of communicating recurrent tasks. To ensure safety and correctness of such systems, guarantees on the reaction time, that is, the delay between a cause (e.g., an external activity or reading of a sensor) and the corresponding effect, must be provided. Current approaches focus on the maximum reaction time, considering the worst-case system behavior. However, in many scenarios, probabilistic guarantees on the reaction time are sufficient. That is, it is sufficient to provide a guarantee that the reaction does not exceed a certain threshold with (at least) a certain probability. This work provides such probabilistic guarantees on the reaction time, considering two types of randomness: response time randomness and failure probabilities. To the best of our knowledge, this is the first work that defines and analyzes probabilistic reaction time for cause-effect chains based on sporadic tasks.}}, author = {{Günzel, Mario and Ueter, Niklas and Chen, Kuan-Hsun and von der Brüggen, Georg and Chen, Jian-Jia}}, issn = {{1539-9087}}, journal = {{ACM Transactions on Embedded Computing Systems}}, number = {{5s}}, pages = {{1--22}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Probabilistic Reaction Time Analysis}}}, doi = {{10.1145/3609390}}, volume = {{22}}, year = {{2023}}, } @article{66188, abstract = {{In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via chains of communicating recurrent tasks. To ensure safety and correctness of such systems, guarantees on the reaction time, that is, the delay between a cause (e.g., an external activity or reading of a sensor) and the corresponding effect, must be provided. Current approaches focus on the maximum reaction time, considering the worst-case system behavior. However, in many scenarios, probabilistic guarantees on the reaction time are sufficient. That is, it is sufficient to provide a guarantee that the reaction does not exceed a certain threshold with (at least) a certain probability. This work provides such probabilistic guarantees on the reaction time, considering two types of randomness: response time randomness and failure probabilities. To the best of our knowledge, this is the first work that defines and analyzes probabilistic reaction time for cause-effect chains based on sporadic tasks.}}, author = {{Günzel, Mario and Ueter, Niklas and Chen, Kuan-Hsun and von der Brüggen, Georg and Chen, Jian-Jia}}, issn = {{1539-9087}}, journal = {{ACM Transactions on Embedded Computing Systems}}, number = {{5s}}, pages = {{1--22}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Probabilistic Reaction Time Analysis}}}, doi = {{10.1145/3609390}}, volume = {{22}}, year = {{2023}}, } @article{66185, author = {{Chen, Kuan-Hsun and Lin, Yung-Chia and Lee, Jenq-Kuen}}, issn = {{1939-8018}}, journal = {{Journal of Signal Processing Systems}}, number = {{5}}, pages = {{569--570}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications}}}, doi = {{10.1007/s11265-023-01854-y}}, volume = {{95}}, year = {{2023}}, } @inproceedings{66196, author = {{Hölscher, Nils and Truong, Minh Duy and Hakert, Christian and Seidl, Tristan and Chen, Kuan-Hsun and Chen, Jian-Jia}}, booktitle = {{2023 IEEE 12th Non-Volatile Memory Systems and Applications Symposium (NVMSA)}}, publisher = {{IEEE}}, title = {{{Rapid NVM Simulation and Analysis on Single Bit Granularity Featuring Gem5 and NVMain}}}, doi = {{10.1109/nvmsa58981.2023.00012}}, year = {{2023}}, } @inproceedings{66195, author = {{Teper, Harun and Betz, Tobias and Von Der Brüggen, Georg and Chen, Kuan-Hsun and Betz, Johannes and Chen, Jian-Jia}}, booktitle = {{2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)}}, publisher = {{IEEE}}, title = {{{Timing-Aware ROS 2 Architecture and System Optimization}}}, doi = {{10.1109/rtcsa58653.2023.00032}}, year = {{2023}}, } @article{66358, abstract = {{AbstractAffine Bruhat–Tits buildings are geometric spaces extracting the combinatorics of algebraic groups. The building of parameterizes flags of subspaces/lattices in or, equivalently, norms on a fixed finite‐dimensional vector space, up to homothety. It has first been studied by Goldman and Iwahori as a piecewise‐linear analogue of symmetric spaces. The space of seminorms compactifies the space of norms and admits a natural surjective restriction map from the Berkovich analytification of projective space that factors the natural tropicalization map. Inspired by Payne's result that the analytification is the limit of all tropicalizations, we show that the space of seminorms is the limit of all tropicalized linear embeddings and prove a faithful tropicalization result for compactified linear spaces. The space of seminorms is in fact the tropical linear space associated to the universal realizable valuated matroid.}}, author = {{Battistella, Luca and Kühn, Kevin and Kuhrs, Arne and Ulirsch, Martin and Vargas, Alejandro}}, issn = {{0024-6107}}, journal = {{Journal of the London Mathematical Society}}, number = {{1}}, publisher = {{Wiley}}, title = {{{Buildings, valuated matroids, and tropical linear spaces}}}, doi = {{10.1112/jlms.12850}}, volume = {{109}}, year = {{2023}}, } @inbook{66442, author = {{Burban, Igor}}, booktitle = {{Springer Proceedings in Mathematics & Statistics}}, isbn = {{9783031178580}}, issn = {{2194-1009}}, publisher = {{Springer International Publishing}}, title = {{{Du Val Singularities}}}, doi = {{10.1007/978-3-031-17859-7_7}}, year = {{2023}}, } @inbook{66441, author = {{Burban, Igor}}, booktitle = {{Springer Proceedings in Mathematics & Statistics}}, isbn = {{9783031178580}}, issn = {{2194-1009}}, publisher = {{Springer International Publishing}}, title = {{{Du Val Singularities}}}, doi = {{10.1007/978-3-031-17859-7_7}}, year = {{2023}}, } @inproceedings{49373, author = {{Kablo, Emiram and Arias Cabarcos, Patricia}}, booktitle = {{Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security}}, publisher = {{ACM}}, title = {{{Privacy in the Age of Neurotechnology: Investigating Public Attitudes towards Brain Data Collection and Use}}}, doi = {{10.1145/3576915.3623164}}, year = {{2023}}, } @inproceedings{48060, author = {{Röse, Markus and Kablo, Emiram and Arias Cabarcos, Patricia}}, booktitle = {{Proceedings of the 2023 European Symposium on Usable Security}}, publisher = {{ACM}}, title = {{{Overcoming Theory: Designing Brainwave Authentication for the Real World}}}, doi = {{10.1145/3617072.3617120}}, year = {{2023}}, } @inbook{45185, author = {{Hannebohm, Ronja}}, booktitle = {{Biopolitik(en) in Literatur, Film und Serie: Aushandlungs- und Reflexionsräume vom 18. Jahrhundert bis heute}}, editor = {{Hannebohm, Ronja and Harmening, Anda-Lisa}}, location = {{Paderborn}}, pages = {{17–36}}, publisher = {{Universitätsbibliothek Paderborn}}, title = {{{Biopolitik und Biopoethik: Modi der Aushandlung menschlichen Lebens in (Gegenwarts-)Literatur, Film und Serie}}}, doi = {{10.17619/UNIPB/1-1721}}, volume = {{4}}, year = {{2023}}, }