Tum - PDFSEARCH.IO - Document Search Engine

Tum
Results: 2953

#	Item
401	SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations Alexander Pöppl Michael Bader Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2016-05-30 05:18:45 Computing Parallel computing Multi-core processor K computer Lis OpenMP Partitioned global address space
402	Property-Driven Scenario Integration Jewgenij Botaschanjan and Alexander Harhurin Technische Universität München Department of Informatics Boltzmannstr. 3, 85748 Garching, Germany {botascha,harhurin}@in.tum.de Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Mathematics Constructible universe Net NC Proof theory Theoretical computer science Abstraction Ordinal numbers CurryHoward correspondence
403	Page Migration with Limited Local Memory Capacity Susanne Albers? Hisashi Koga?? Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:07:00 Computational complexity theory Mathematics Graph theory Analysis of algorithms Online algorithms Edsger W. Dijkstra Network theory Probabilistic complexity theory Randomized algorithm Algorithm Distributed computing Shortest path problem
404	Geschätzte Leserin, geschätzter Leser ABACUS hat zu Beginn des vierten Jahrzehnts seines Bestehens erneut die Weichen für ein weiteres Wachstum und für die nächsten wichtigen Entwick Add to Reading List Source URL: www.abacus.ch Language: German - Date: 2016-04-19 16:08:04
405	Computational Science and Engineering (Int. Master’s Program) Technische Universit¨at M¨ unchen Parallel, Dynamically Adaptive 2.5D Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2016-03-16 05:29:02 Computing Computer architecture Parallel computing Computer engineering Xeon Phi Xeon OpenMP 512-bit Coprocessor Intel Fortran Compiler Intel Advisor
406	Exploring Unknown Environments with Obstacles Susanne Albers Klaus Kursawey Sven Schuiererz Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:05:22 Mathematics Routing algorithms Edsger W. Dijkstra Combinatorial optimization Search algorithms Theoretical computer science A* search algorithm Algorithm Rectangle Robot Shortest path problem
407	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-11-16 04:08:00
408	The TUM Cumulative DTW Approach for the Mediaeval 2012 Spoken Web Search Task Cyril Joder, Felix Weninger, Martin Wöllmer Institute for Human-Machine Communication Technische Universität München, Germany Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-09-30 11:02:36 Dynamic programming Time series analysis Dynamic time warping Artificial intelligence Speech recognition Humancomputer interaction Learning
409	A Non-Hydrostatic Shallow Water Model on Triangular Meshes in Sam(oa)2 Guided Research Project Philipp Samfaß Fakul¨at f¨ Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2015-05-20 11:59:54 Calculus Partial differential equations Water waves Physics Mathematical analysis Shallow water equations NavierStokes equations MEMO Model Differential equation Hydrostatics Finite element method Airy wave theory
410	TOEFL Test TUM does not require official TOEFL results for the TUMexchange application process here in Munich. However, when the Host University requires TOEFL as a part of its application process, candidates will need t Add to Reading List Source URL: www.international.tum.de Language: English - Date: 2016-07-18 11:18:22 Education Standardized tests English-language education Test of English as a Foreign Language Educational Testing Service Test preparation TSE Graduate Record Examinations

UPDATE