Es gibt viele Aktivitäten in und um CeTI, die dazu dienen, die CeTI-Konzepte zu demonstrieren und kommunizieren, sowie den exzellenten Forschungscluster zu etablieren.

Beiträge zu öffentlichen Veranstaltungen sind nur ein Teil der Aktivitäten; aber auch innerhalb und zwischen den Forschern und Lehrstühlen gibt es eine Menge Aktivitäten.

Es gibt viele Aktivitäten in und um CeTI, die dazu dienen, die CeTI-Konzepte zu demonstrieren, zu kommunizieren und außerdem den exzellenten Forschungscluster zu etablieren.

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
Artikel
0
Incollections
0
Inproceeedings
0
Eingeladene Vorträge
0
Auszeichnungen
Auszeichnungen

Veröffentlichungen
409 Einträge « 6 von 9 »

2020

Artikel

251.

Dimitrije Marković; Thomas Goschke; Stefan J. Kiebel

Meta-control of the exploration-exploitation dilemma emerges from probabilistic inference over a hierarchy of time scales Artikel

In: Cognitive, Affective, & Behavioral Neuroscience, Bd. 21, Nr. 3, S. 509–533, 2020.

Links | BibTeX

252.

Alejandro Tabas; Glad Mihai; Stefan J. Kiebel; Robert Trampel; Katharina Kriegstein

Abstract rules drive adaptation in the subcortical sensory pathway Artikel

In: eLife, Bd. 9, S. e64501:1–19, 2020.

Links | BibTeX

253.

Ronny Seiger; Uwe Aßmann; Dominik Grzelak; Mikhail Belov; Paul Riedel; Ariel Podlubne; Wanqi Zhao; Jens Kerber; Jonas Mohr; Fabio Espinosa; Tim Schwartz

Immersives verteiltes Robotic Co-working Artikel

In: Informatik Spektrum, Bd. 43, Nr. 4, S. 425–435, 2020.

Links | BibTeX

254.

Christian Bäuchl; Nils B. Kroemer; Shakoor Pooseh; Johannes Petzold; Sebastian Bitzer; Franka Thurm; Shu-Chen Li; Michael N. Smolka

Reward modulates the association between sensory noise and brain activity during perceptual decision-making Artikel

In: Neuropsychologia, Bd. 149, S. 107675:1–11, 2020.

Links | BibTeX

255.

Sebastian Bodenstedt; Martin Wagner; Beat P. Müller-Stich; Jürgen Weitz; Stefanie Speidel

Artificial intelligence-assisted surgery: Potential and challenges Artikel

In: Visceral Medicine, Bd. 36, Nr. 6, S. 450–455, 2020.

Links | BibTeX

256.

Fabrizio Granelli; Cristina Costa; Jiajing Zhang; Riccardo Bassoli; Frank H. P. Fitzek

Design of an on-demand agile 5G multi-access edge computing platform using aerial vehicles Artikel

In: IEEE Communications Standards Magazine, Bd. 4, Nr. 4, S. 31–44, 2020.

Links | BibTeX

257.

Rania Hassen; Başak Güleçyüz; Eckehard Steinbach

PVC-SLP: Perceptual vibrotactile-signal compression based-on sparse linear prediction Artikel

In: IEEE Transactions on Multimedia, Bd. 23, S. 4455–4468, 2020.

Links | BibTeX

258.

Nishant Kumar; Stefan Gumhold

FuseVis: Interpreting neural networks for image fusion using per-pixel saliency visualization Artikel

In: Computers, Bd. 9, Nr. 4, S. 98:1–29, 2020.

Links | BibTeX

259.

Toty Onggar; Iris Kruppke; Chokri Cherif

Techniques and processes for the realization of electrically conducting textile materials from intrinsically conducting polymers and their application potential Artikel

In: Polymers, Bd. 12, Nr. 12, S. 2867:1–46, 2020.

Links | BibTeX

260.

Jakub Limanowski; Vladimir Litvak; Karl Friston

Cortical beta oscillations reflect the contextual gating of visual action feedback Artikel

In: NeuroImage, Bd. 222, S. 117267:1–11, 2020.

Links | BibTeX

261.

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

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

In: IEEE Robotics and Automation Letters, Bd. 5, Nr. 4, S. 6599–6606, 2020.

Links | BibTeX

262.

Luca Oppici; Emily Frith; James R. Rudd

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

In: Frontiers in Psychology, Bd. 11, S. 02233:1–7, 2020.

Links | BibTeX

263.

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 Artikel

In: IEEE Solid-State Circuits Letters, Bd. 3, S. 386–389, 2020.

Links | BibTeX

264.

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

Versatile network codes: Energy consumption in heterogeneous IoT devices Artikel

In: IEEE Access, Bd. 8, S. 168219–168228, 2020.

Links | BibTeX

265.

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 Artikel

In: Psychology of Sport and Exercise, Bd. 50, S. 101675:1–11, 2020.

Links | BibTeX

266.

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 Artikel

In: Journal of Neurophysiology, Bd. 24, Nr. 1, S. 207–217, 2020.

Links | BibTeX

267.

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

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

In: Information and Computation, Bd. 272, S. 104504:1–27, 2020.

Links | BibTeX

268.

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

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

In: Neuropsychologia, Bd. 143, S. 107476:1–10, 2020.

Links | BibTeX

269.

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

On the probabilistic bisimulation spectrum with silent moves Artikel

In: Acta Informatica, Bd. 57, Nr. 3–5, S. 465–512, 2020.

Links | BibTeX

270.

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 Artikel

In: IEEE Access, Bd. 8, S. 78293–78314, 2020.

Links | BibTeX

271.

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

Effects of aging on encoding of walking direction in the human brain Artikel

In: Neuropsychologia, Bd. 141, S. 107379:1–13, 2020.

Links | BibTeX

272.

Xin An; Jens Wagner; Frank Ellinger

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

In: IEEE Microwave and Wireless Components Letters, Bd. 30, Nr. 4, S. 449–452, 2020.

Links | BibTeX

273.

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 Artikel

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

Links | BibTeX

274.

Tim Buszard; Luca Oppici; Hans Westerbeek; Damian Farrow

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

In: Journal of Sports Sciences, Bd. 38, Nr. 8, S. 945–952, 2020.

Links | BibTeX

275.

Annika Dix; Shu-Chen Li

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

In: Scientific Reports, Bd. 10, S. 2608:1–11, 2020.

Links | BibTeX

276.

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

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

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

Links | BibTeX

277.

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 Artikel

In: Der Onkologe, Bd. 26, Nr. 1, S. 31–43, 2020.

BibTeX

278.

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 Artikel

In: IEEE Access, Bd. 8, S. 174773–174791, 2020.

Links | BibTeX

279.

Dominik Grzelak; Barbara Priwitzer; Uwe Aßmann

Generating random bigraphs with preferential attachment Artikel

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

BibTeX

Bücher

280.

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

Computing in Communication Networks – From Theory to Practice Buch

Academic Press, 2020.

BibTeX

Buchkapitel mit eigenem Titel

281.

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 Buchkapitel mit eigenem Titel

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

Links | BibTeX

282.

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

Components in probabilistic systems: Suitable by construction Buchkapitel mit eigenem Titel

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

Links | BibTeX

283.

Simon Jantsch; Florian Funke; Christel Baier

Minimal witnesses for probabilistic timed automata Buchkapitel mit eigenem Titel

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

Links | BibTeX

284.

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 Buchkapitel mit eigenem Titel

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

Links | BibTeX

285.

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 Buchkapitel mit eigenem Titel

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

Links | BibTeX

286.

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

TraceVis: Towards visualization for deep statistical model checking Buchkapitel mit eigenem Titel

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

Links | BibTeX

287.

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 Buchkapitel mit eigenem Titel

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

Links | BibTeX

288.

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 Buchkapitel mit eigenem Titel

In: Kurosu, Masaaki (Hrsg.): Human–Computer Interaction – Multimodal and Natural Interaction, Bd. 12182, S. 428–442, Springer, 2020.

Links | BibTeX

289.

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

Investigating mobile device-based interaction techniques for collocated merging Buchkapitel mit eigenem Titel

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

Links | BibTeX

290.

Florian Funke; Simon Jantsch; Christel Baier

Farkas certificates and minimal witnesses for probabilistic reachability constraints Buchkapitel mit eigenem Titel

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

BibTeX

291.

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

Resource efficient dynamic voltage and frequency scaling on Xilinx FPGAs Buchkapitel mit eigenem Titel

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

Links | BibTeX

292.

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 Buchkapitel mit eigenem Titel

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

Links | BibTeX

293.

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

A design kit for mobile device-based interaction techniques Buchkapitel mit eigenem Titel

In: Stephanidis, Constantine; Antona, Margherita (Hrsg.): HCI International 2020 – Posters, Bd. 1224, S. 52–59, Springer, 2020.

BibTeX

294.

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

Towards interaction design for mobile devices in collocated mixed-focus collaboration Buchkapitel mit eigenem Titel

In: Stephanidis, Constantine; Antona, Margherita (Hrsg.): HCI International 2020 – Posters, Bd. 1224, S. 35–43, Springer, 2020.

Links | BibTeX

295.

Jakob Piribauer; Christel Baier

On Skolem-hardness and saturation points in Markov decision processes Buchkapitel mit eigenem Titel

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

Links | BibTeX

296.

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Iterative variable reordering: Taming huge system families Buchkapitel mit eigenem Titel

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

Links | BibTeX

Konferenzbeiträge

297.

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 Konferenzbeitrag

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

Links | BibTeX

298.

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 Konferenzbeitrag

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

Links | BibTeX

299.

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 Konferenzbeitrag

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

Links | BibTeX

300.

Patrick Seeling; Frank H. P. Fitzek

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

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

Links | BibTeX

409 Einträge « 6 von 9 »