There is a lot of activity inside and around CeTI that serves to demonstrate and communicate the CeTI concepts, and to establish the excellent research cluster that CeTI stands for.

Contributions to public events are just one part of the activities; but there is a lot happening inside and among the researchers and chairs.

There is a lot of activity inside and around CeTI that serves for demonstrating and communicating the CeTI concepts, and that serves for establishing the excellent research cluster that CeTI stands for.

Contributions to public events are just one part of the activities; but there is a lot is happening inside and among the researchers and chairs.

0
Journals & Magazines
0
Incollections
0
Inproceeedings
0
Invited Talks
0
Awards
Awards

Publications
400 Einträge « 6 of 8 »

2020

Journal Articles

251.

Jakub Limanowski; Vladimir Litvak; Karl Friston

Cortical beta oscillations reflect the contextual gating of visual action feedback Journal Article

In: NeuroImage, vol. 222, pp. 117267:1–11, 2020.

Links | BibTeX

252.

Harsimran Singh; Michael Panzirsch; André F. Coelho; Christian Ott

Proxy-based approach for position synchronization of delayed robot coupling without sacrificing performance Journal Article

In: IEEE Robotics and Automation Letters, vol. 5, no. 4, pp. 6599–6606, 2020.

Links | BibTeX

253.

Luca Oppici; Emily Frith; James R. Rudd

A perspective on implementing movement sonification to influence movement (and eventually cognitive) creativity Journal Article

In: Frontiers in Psychology, vol. 11, pp. 02233:1–7, 2020.

Links | BibTeX

254.

Mengqi Cui; Corrado Carta; Frank Ellinger

A 21 dBm 3.7 W/mm² 28.7% PAE 64 GHz power amplifier in 22 nm FD-SOI Journal Article

In: IEEE Solid-State Circuits Letters, vol. 3, pp. 386–389, 2020.

Links | BibTeX

255.

Vu Nguyen; Juan A. Cabrera Guerrero; Giang T. Nguyen; Dongho You; Frank H. P. Fitzek

Versatile network codes: Energy consumption in heterogeneous IoT devices Journal Article

In: IEEE Access, vol. 8, pp. 168219–168228, 2020.

Links | BibTeX

256.

Luca Oppici; James R. Rudd; Tim Buszard; Sharna Spittle

Efficacy of a 7-week dance (RCT) PE curriculum with different teaching pedagogies and levels of cognitive challenge to improve working memory capacity and motor competence in 8–10 years old children Journal Article

In: Psychology of Sport and Exercise, vol. 50, pp. 101675:1–11, 2020.

Links | BibTeX

257.

Nicolas Zink; Kathleen Kang; Shu-Chen Li; Christian Beste

Anodal transcranial direct current stimulation enhances the efficiency of functional brain network communication during auditory attentional control Journal Article

In: Journal of Neurophysiology, vol. 24, no. 1, pp. 207–217, 2020.

Links | BibTeX

258.

Christel Baier; Christian Hensel; Lisa Hutschenreiter; Sebastian Junges; Joost-Pieter Katoen; Joachim Klein

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination Journal Article

In: Information and Computation, vol. 272, pp. 104504:1–27, 2020.

Links | BibTeX

259.

Franka Thurm; Shu-Chen Li; Dorothea Hämmerer

Maturation- and aging-related differences in electrophysiological correlates of error detection and error awareness Journal Article

In: Neuropsychologia, vol. 143, pp. 107476:1–10, 2020.

Links | BibTeX

260.

Christel Baier; Pedro R. D’Argenio; Holger Hermanns

On the probabilistic bisimulation spectrum with silent moves Journal Article

In: Acta Informatica, vol. 57, no. 3–5, pp. 465–512, 2020.

Links | BibTeX

261.

Vu Nguyen; Elif Tasdemir; Giang T. Nguyen; Daniel E. Lucani Rötter; Frank H. P. Fitzek; Martin Reisslein

DSEP Fulcrum: Dynamic sparsity and expansion packets for Fulcrum network coding Journal Article

In: IEEE Access, vol. 8, pp. 78293–78314, 2020.

Links | BibTeX

262.

Christoph Koch; Shu-Chen Li; Thad A. Polk; Nicolas W. Schuck

Effects of aging on encoding of walking direction in the human brain Journal Article

In: Neuropsychologia, vol. 141, pp. 107379:1–13, 2020.

Links | BibTeX

263.

Xin An; Jens Wagner; Frank Ellinger

An efficient ultrawideband pulse transmitter with automatic on-off functionality for primary radar systems Journal Article

In: IEEE Microwave and Wireless Components Letters, vol. 30, no. 4, pp. 449–452, 2020.

Links | BibTeX

264.

Johannes Mey; René Schöne; Görel Hedin; Emma Söderberg; Thomas Kühn; Niklas Fors; Jesper Öqvist; Uwe Aßmann

Relational reference attribute grammars: Improving continuous model validation Journal Article

In: Journal of Computer Languages, vol. 57, pp. 100940:1–21, 2020, (including a software artefact, available at zenodo.org/record/3666664).

Links | BibTeX

265.

Tim Buszard; Luca Oppici; Hans Westerbeek; Damian Farrow

Implementation of a modified sport programme to increase participation: Key stakeholder perspectives Journal Article

In: Journal of Sports Sciences, vol. 38, no. 8, pp. 945–952, 2020.

Links | BibTeX

266.

Annika Dix; Shu-Chen Li

Incentive motivation improves numerosity discrimination: Insights from pupillometry combined with drift-diffusion modelling Journal Article

In: Scientific Reports, vol. 10, pp. 2608:1–11, 2020.

Links | BibTeX

267.

Johannes Mey; Thomas Kühn; René Schöne; Uwe Aßmann

Reusing static analysis across different domain-specific languages using reference attribute grammars Journal Article

In: The Art, Science, and Engineering of Programming, vol. 4, no. 3, pp. 15:1–36, 2020, (including a software artefact, available at zenodo.org/record/3659198).

Links | BibTeX

268.

Lena Maier-Hein; Ines Gockel; Stefanie Speidel; Thomas Wendler; Dogu Teber; Keno März; Minu D. Tizabi; Felix Nickel; Nassir Navab; Beat P. Müller-Stich

Intraoperative Bildgebung und Visualisierung Journal Article

In: Der Onkologe, vol. 26, no. 1, pp. 31–43, 2020.

BibTeX

269.

Justus Rischke; Peter Sossalla; Hani Salah; Frank H. P. Fitzek; Martin Reisslein

QR-SDN: Towards reinforcement learning states, actions, and rewards for direct flow routing in software-defined networks Journal Article

In: IEEE Access, vol. 8, pp. 174773–174791, 2020.

Links | BibTeX

270.

Dominik Grzelak; Barbara Priwitzer; Uwe Aßmann

Generating random bigraphs with preferential attachment Journal Article

In: CoRR, vol. abs/2002.07448, 2020.

BibTeX

Books

271.

Frank H. P. Fitzek; Fabrizio Granelli; Patrick Seeling (Ed.)

Computing in Communication Networks – From Theory to Practice Book

Academic Press, 2020.

BibTeX

Incollections

272.

Christel Baier; Florian Funke; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; Amaury Pouly; David Purser; Markus A. Whiteland

Reachability in dynamical systems with rounding Incollection

In: Proceedings of the IARCS Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTC), vol. 182, pp. 36:1–17, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2020.

Links | BibTeX

273.

Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl

Components in probabilistic systems: Suitable by construction Incollection

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 12476, pp. 240–261, Springer, 2020.

Links | BibTeX

274.

Simon Jantsch; Florian Funke; Christel Baier

Minimal witnesses for probabilistic timed automata Incollection

In: Hung, Dang Van; Sokolsky, Oleg (Ed.): Proceedings of the International Symposium on Automated Technology for Verification and Analysis (ATVA), vol. 12302, pp. 501–517, Springer, 2020.

Links | BibTeX

275.

Dominik Rivoir; Sebastian Bodenstedt; Isabel Funke; Felix von Bechtolsheim; Marius Distler; Jürgen Weitz; Stefanie Speidel

Rethinking anticipation tasks: Uncertainty-aware anticipation of sparse surgical instrument usage for context-aware assistance Incollection

In: Martel, Anne L.; Abolmaesumi, Purang; Stoyanov, Danail; Mateus, Diana; Zuluaga, Maria A.; Zhou, Kevin S.; Racoceanu, Daniel; Joskowicz, Leo (Ed.): Medical Image Computing and Computer Assisted Intervention – MICCAI 2020, vol. 12263, pp. 752–762, Springer, 2020.

Links | BibTeX

276.

Micha Pfeiffer; Carina Riediger; Stefan Leger; Jens-Peter Kühn; Danilo Seppelt; Ralf-Thorsten Hoffmann; Jürgen Weitz; Stefanie Speidel

Non-rigid volume to surface registration using a data-driven biomechanical model Incollection

In: Martel, Anne L.; Abolmaesumi, Purang; Stoyanov, Danail; Mateus, Diana; Zuluaga, Maria A.; Zhou, Kevin S.; Racoceanu, Daniel; Joskowicz, Leo (Ed.): Medical Image Computing and Computer Assisted Intervention – MICCAI 2020, vol. 12264, pp. 724–734, Springer, 2020.

Links | BibTeX

277.

Timo P. Gros; David Groß; Stefan Gumhold; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz

TraceVis: Towards visualization for deep statistical model checking Incollection

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, vol. 12479, pp. 27–46, Springer, 2020.

Links | BibTeX

278.

Thomas Hulin; Michael Rothammer; Isabel Tannert; Suraj Subramanyam Giri; Benedikt Pleintinger; Harsimran Singh; Bernhard M. Weber; Christian Ott

FingerTac – A wearable tactile thimble for mobile haptic augmented reality applications Incollection

In: Chen, Jessie Y. C.; Fragomeni, Gino (Ed.): Virtual, Augmented and Mixed Reality – Design and Interaction, vol. 12190, pp. 286–298, Springer, 2020.

Links | BibTeX

279.

Mandy Korzetz; Romina Kühn; Lukas Büschel; Franz-Wilhelm Schumann; Uwe Aßmann; Thomas Schlegel

Introducing mobile device-based interactions to users: An investigation of onboarding tutorials Incollection

In: Kurosu, Masaaki (Ed.): Human–Computer Interaction – Multimodal and Natural Interaction, vol. 12182, pp. 428–442, Springer, 2020.

Links | BibTeX

280.

Romina Kühn; Mandy Korzetz; Felix Kallenbach; Karl Kegel; Uwe Aßmann; Thomas Schlegel

Investigating mobile device-based interaction techniques for collocated merging Incollection

In: Zaphiris, Panayiotis; Ioannou, Andri (Ed.): Learning and Collaboration Technologies – Designing, Developing and Deploying Learning Experiences, vol. 12205, pp. 92–108, Springer, 2020.

Links | BibTeX

281.

Florian Funke; Simon Jantsch; Christel Baier

Farkas certificates and minimal witnesses for probabilistic reachability constraints Incollection

In: Biere, Armin; Parke, David (Ed.): Tools and Algorithms for the Construction and Analysis of Systems, vol. 12078, pp. 324–345, Springer, 2020.

BibTeX

282.

Gökhan Akgün; Lester Kalms; Diana Göhringer

Resource efficient dynamic voltage and frequency scaling on Xilinx FPGAs Incollection

In: Rincón, Fernando; Barba, Jesús; So, Hayden K. H.; Diniz, Pedro; Caba, Julián (Ed.): Applied Reconfigurable Computing – Architectures, Tools, and Application, vol. 12083, pp. 178–192, Springer, 2020.

Links | BibTeX

283.

Gökhan Akgün; Habib ul Hasan Khan; Marawan Hebaish; Mahmoud Elshimy; Mohamed A. Abd El Ghany; Diana Göhringer

SysIDLib: A high-level synthesis FPGA library for online system identification Incollection

In: Rincón, Fernando; Barba, Jesús; So, Hayden K. H.; Diniz, Pedro; Caba, Julián (Ed.): Applied Reconfigurable Computing – Architectures, Tools, and Application, vol. 12083, pp. 97–107, Springer, 2020.

Links | BibTeX

284.

Mandy Korzetz; Romina Kühn; Uwe Aßmann; Thomas Schlegel

A design kit for mobile device-based interaction techniques Incollection

In: Stephanidis, Constantine; Antona, Margherita (Ed.): HCI International 2020 – Posters, vol. 1224, pp. 52–59, Springer, 2020.

BibTeX

285.

Romina Kühn; Mandy Korzetz; Dominik Grzelak; Uwe Aßmann; Thomas Schlegel

Towards interaction design for mobile devices in collocated mixed-focus collaboration Incollection

In: Stephanidis, Constantine; Antona, Margherita (Ed.): HCI International 2020 – Posters, vol. 1224, pp. 35–43, Springer, 2020.

Links | BibTeX

286.

Jakob Piribauer; Christel Baier

On Skolem-hardness and saturation points in Markov decision processes Incollection

In: Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (Ed.): 47th International Colloquium on Automata, Languages, and Programming, vol. 168, pp. 138:1–17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020.

Links | BibTeX

287.

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Iterative variable reordering: Taming huge system families Incollection

In: Fehnker, Ansgar; Garavel, Hubert (Ed.): Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS), vol. 316, pp. 121–133, Open Publishing Association, 2020.

Links | BibTeX

Inproceedings

288.

Andrés M. Villamil Sánchez; Arturo A. González Rodríguez; Norman Franchi; Gerhard P. Fettweis

Feedforward filter design for CACC with N−vehicle look ahead: A frequency domain approach for further optimization of radio resource usage Inproceedings

In: Proceedings of the IEEE Vehicular Technology Conference (VTC-Fall), 2020.

Links | BibTeX

289.

Huanzhuo Wu; Yunbin Shen; Jiajing Zhang; Hani Salah; Ievgenii A. Tsokalo; Frank H. P. Fitzek

Adaptive extraction-based independent component analysis for time-sensitive applications Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

290.

Vu Nguyen; Juan A. Cabrera Guerrero; Sreekrishna Pandi; Giang T. Nguyen; Frank H. P. Fitzek

Exploring the benefits of memory-limited Fulcrum recoding for heterogeneous nodes Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

291.

Patrick Seeling; Frank H. P. Fitzek

Binary indicated numbers with bit-level integrated scalability support (BINBLISS) Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

292.

Huanzhuo Wu; Jia He; Máté Tömösközi; Frank H. P. Fitzek

Y-Net: A dual path model for high accuracy blind source separation Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), Workshop on Future of Wireless Access for Industrial IoT (FIIoT), 2020.

Links | BibTeX

293.

Mahshid Mehrabi; Shiwei Shen; Vincent Latzko; Yuanfei Wang; Frank H. P. Fitzek

Energy-aware cooperative offloading framework for inter-dependent and delay-sensitive tasks Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

294.

Tung V. Doan; Chenglin Ding; Giang T. Nguyen; Dongho You; Frank H. P. Fitzek

FAST: Flexible and low-latency state transfer in mobile edge computing Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

295.

Sandra Zimmermann; Justus Rischke; Juan A. Cabrera Guerrero; Frank H. P. Fitzek

Journey to MARS: Interplanetary coding for relieving CDNs Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

296.

Roberto Torre; Clara Costa Sala; Sreekrishna Pandi; Hani Salah; Giang T. Nguyen; Frank H. P. Fitzek

A random linear network coded HARQ solution for lossy and high-jitter wireless networks Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

297.

Niklas Förster; Juan A. Cabrera Guerrero; Elke Franz; Stefan Pfennig; Frank H. P. Fitzek

Efficient confidentiality for network coded distributed storage Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

298.

Florian Voigt; Lars Johannsmeier; Sami Haddadin

Multi-level structure vs. end-to-end-learning in high-performance tactile robotic manipulation Inproceedings

In: Proceedings of the Conference on Robot Learning (CoRL), 2020.

Links | BibTeX

299.

Frederik Armknecht; Paul Walther; Gene Tsudik; Martin Beck; Thorsten Strufe

ProMACs: Progressive and resynchronizing MACs for continuous efficient authentication of message streams Inproceedings

In: Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS), 2020.

Links | BibTeX

300.

Christiane Kuhn; Friederike Kitzing; Thorsten Strufe

SoK on performance bounds in anonymous communication Inproceedings

In: Proceedings of the International Workshop on Privacy in the Electronic Society (WPES), 2020.

Links | BibTeX

400 Einträge « 6 of 8 »