Sort by
Refine Your Search
-
on massively parallel hardware architectures Combination of programmable logic, tensor processors and general-purpose CPUs for real-time adaption and scheduling services (e.g., AMD Versal platform
-
, applicants have experience with multipole methods, low-rank approximations, or tensor methods. A good command of English, the working language within the team, is required. We are looking for a competent
-
information; Logic, constraint solving and satisfiability (SAT, #SAT, SMT); Knowledge representation and reasoning (decision diagrams, tensor networks, DNNF); Assist in relevant teaching activities. Where you
-
challenging properties of uncertainty, irregularity and mixed-modality. It will examine a range of models and techniques that go beyond Markovian approaches, including state-space models, tensor networks, and