Sort by
Refine Your Search
-
that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but
-
and improve performance Conducting neural recordings and stimulation in behaving monkeys. Programming in MATLAB or Python for data analyse Adapt and improve the machine-learning algorithm to the new
-
computer science with very good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience
-
• Integrated sensing and communication: fundamental limits and algorithm design (1 PhD, Mari Kobayashi, mari.kobayashi@tum.de) • Optical fiber channel modeling, receiver processing, and coding (1PhD, Gerhard
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical