Search for tag: "mathematical logic"

74 Media

SIAM_IP9_8:30am_08/04/2017 duration 57 minutes 29 seconds SIAM_IP9_8:30am_08/04/2017 SIAM_IP9_8:30am_08/04/2017	SIAM_IP9_8:30am_08/04/2017 IP9 Caratheodory Style Theorems for Discrete Optimization and Game Theory function +75 More From Anton Leykin 9 plays 0 name Jesús A. De Loera, University of California, Davis, USA Date August 4th, 2017
SIAM_IP8_1:30pm_08/03/2017 duration 53 minutes 10 seconds SIAM_IP8_1:30pm_08/03/2017 SIAM_IP8_1:30pm_08/03/2017	SIAM_IP8_1:30pm_08/03/2017 IP8 Open Problems in Finite Frame Theory logarithms +107 More From Anton Leykin 60 plays 0 name Dustin Mixon, Air Force Institute of Technology, USA Date August 3rd, 2017
SIAM_IP7_8:30am_08/03/2017 duration 1 hour 3 minutes SIAM_IP7_8:30am_08/03/2017 SIAM_IP7_8:30am_08/03/2017	SIAM_IP7_8:30am_08/03/2017 IP7 Gaussian Graphical Models from an Algebraic, Geometric and Combinatorial Perspective emotion +74 More From Anton Leykin 60 plays 0 name Caroline Uhler, Massachusetts Institute of Technology, USA Date August 3rd, 2017
SIAM_SP1_5:15pm_08/02/2017 duration 46 minutes 20 seconds SIAM_SP1_5:15pm_08/02/2017 SIAM_SP1_5:15pm_08/02/2017	SIAM_SP1_5:15pm_08/02/2017 SP1 SIAG/AG Early Career Prize Lecture: A Brief History of Smale's 17th Problem aesthetics +63 More From Anton Leykin 26 plays 0 name Pierre Lairez, Inria Saclay Ile-de-France, France Date August 2nd, 2017
SIAM_IP6_1:30pm_08/02/2017 duration 53 minutes 49 seconds SIAM_IP6_1:30pm_08/02/2017 SIAM_IP6_1:30pm_08/02/2017	SIAM_IP6_1:30pm_08/02/2017 IP6 Curves with Complex Multiplication and Applications to Cryptography logarithms +99 More From Anton Leykin 17 plays 0 name Bianca Viray, University of Washington, USA Date August 2nd, 2017
SIAM_IP2_1:30pm_07/31/2017 duration 1 hour 0 minutes SIAM_IP2_1:30pm_07/31/2017 SIAM_IP2_1:30pm_07/31/2017	SIAM_IP2_1:30pm_07/31/2017 IP2 On the Stability of Solutions in Numerical Algebraic Geometry mechanics +52 More From Anton Leykin 18 plays 0 name Carlos Beltrán, Universidad de Cantabria, Spain Date July 31st, 2017
ECE 6335 04-14-2017 duration 50 minutes 40 seconds ECE 6335 04-14-2017 ECE 6335 04-14-2017	ECE 6335 04-14-2017 Professor Harley constant. +60 More From Desmond J Gardfrey 50 plays 0
ECE 6335 03-27-2017 duration 35 minutes 48 seconds ECE 6335 03-27-2017 ECE 6335 03-27-2017	ECE 6335 03-27-2017 Professor Harley electronics terminology +44 More From Desmond J Gardfrey 40 plays 0
desturler duration 56 minutes 14 seconds desturler desturler	desturler formal sciences +131 More From Katie Gentilello 9 plays 0
2014-HSI-Talk-Sapiro duration 57 minutes 56 seconds 2014-HSI-Talk-Sapiro 2014-HSI-Talk-Sapiro	2014-HSI-Talk-Sapiro walking +93 More From Sean Brennan 3 plays 0
AAC_200901_video duration 40 minutes 0 seconds AAC_200901_video AAC_200901_video	AAC_200901_video international relations +110 More From Paul Diederich 1 plays 0
Approximate Gaussian Elimination for Laplacians:… duration 1 hour 0 minutes Approximate Gaussian Elimination for Laplacians:… Approximate Gaussian Elimination for Laplacians: Fast, Sparse, and Simple - Rasmus Kyng	Approximate Gaussian Elimination for Laplacians: Fast, Sparse, and Simple - Rasmus Kyng We show how to perform sparse approximate Gaussian elimination for Laplacian matrices. We present a simple, nearly linear time algorithm that approximates a Laplacian by a matrix with a sparse… positive semi +64 More From Katie Gentilello 120 plays 0 name Rasmus Kyng Date November 28th, 2016
Microlocal Methods in Dynamical Systems - Maciej… duration 53 minutes 5 seconds Microlocal Methods in Dynamical Systems - Maciej… Microlocal Methods in Dynamical Systems - Maciej Zworski	Microlocal Methods in Dynamical Systems - Maciej Zworski https://mediaspace.gatech.edu/media/Federico+Bonetto+-+Zworski/1_3yr38e2d philosophical terminology +122 More From Katie Gentilello 17 plays 0 name Maciej Zworski Date October 10th, 2016
Gene Finding as Computer Science and Machine… duration 53 minutes 43 seconds Gene Finding as Computer Science and Machine… Gene Finding as Computer Science and Machine Learning Problem- Mark Borodovsky	Gene Finding as Computer Science and Machine Learning Problem- Mark Borodovsky Gene Finding as Computer Science and Machine Learning Problem- Mark Borodovsky d.n.a. +99 More From Terence Rushin 26 plays 0
BB_2015_09_10 duration 57 minutes 10 seconds BB_2015_09_10 BB_2015_09_10	BB_2015_09_10 heuristics +145 More From Sean Brennan 14 plays 0
Maren_Bennewitz_2011_09_14 duration 51 minutes 23 seconds Maren_Bennewitz_2011_09_14 Maren_Bennewitz_2011_09_14	Maren_Bennewitz_2011_09_14 computer data +152 More From Sean Brennan 13 plays 0