Search for tag: "theoretical computer science"

193 Media

54:23 SIAM_IP10_1:30pm_08/04/2017 SIAM_IP10_1:30pm_08/04/2017	SIAM_IP10_1:30pm_08/04/2017 IP10 Structured Polynomial Systems in Cryptography formal sciences concepts in physics computation theories of history reasoning human behavior criminal law technique systems theory open problems elementary algebra semantics cryptography set theory solution mental structures security ring theory philosophical terminology binary operations criminology instance psychology research decomposition microeconomics degree environmental science marketing statistical terminology latin alphabet topology logic emotion probability point communication cryptosystem number elementary special functions solve crime decision theory support question system quantum mechanics information science sociological terminology construction competition coefficients commerce compute linear algebra supply chain management terms problem theoretical computer science law enforcement cognitive science psychoanalysis physical objects design of experiments information application retailing mathematical notation social psychology scientific method arithmetic description algebra algebraic geometry philosophy polynomials computational complexity theory creativity variable morality information theory consumer behaviour business terms complexity mass f.. evaluation methods From Anton Leykin 12 plays 0 name Jean-Charles Faugère, Inria Paris-Rocquencourt, France Date August 4th, 2017
57:29 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 vector colloidal chemistry formal sciences point color communication linear programming greek alphabet mind number binary operations entity cognitive science mathematical logic learning economics theories of history real algebraic geometry mathematical optimization human behavior multi-dimensional non-negative cryptography abstract algebra cognitive psychology systems science question systems theory geometry start program elementary algebra systems data types social psychology topology evaluation optimization operations research group theory philosophical terminology transportation thing combination philosophy of mathematics mathematical notation mathematical objects polynomials mention algorithm elementary number theory functional analysis ring theory information retrieval matrices psychology complex systems theory algebra skills linear algebra applied mathematics information theory solution abstraction column colorful printing artificial intelligence natural resources set theory representation problem algebraic topology game theory theoretical computer science From Anton Leykin 8 plays 0 name Jesús A. De Loera, University of California, Davis, USA Date August 4th, 2017
53:10 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 formal sciences concepts in physics ring theory earth wikipedia school and university projects geography group graph point elementary algebra correspondence signal processing computing terminology telecommunication theory fingerprint matrices grammar information age set theory theorem proving software systems solution elementary geometry vector multiplicity cybernetics gram matrix force philosophical terminology binary operations e.t.f.. basic concepts in set theory e.t.s. surfaces matrix abelian group theory interrogative words and phrases regular graphs evaluation collaboration statistical terminology ontology equations topology geometry theorems neighbor logic probability theory statements symmetry scales communication philosophical logic bound graphic design films about extraterrestrial life mathematical logic polygons projective geometry area combinatorics quantum mechanics information science order theory data management group theory complex numbers logical consequence projective translation classical mechanics condensed matter physics linear algebra euclidean geometry software that uses qt problem theoretical computer science aesthetics regression analysis generalization engineering regular graph technology physics software angle elementary special functions investment d.f.t. mathematical notation scientific method arithmetic heisenberg product abstraction algebra algebraic geometry polynomials mathematical analysis functional analysis mathematical optimization algebraic number theory philosophical concepts information theory e.t.f. computer programming representation dimension From Anton Leykin 59 plays 0 name Dustin Mixon, Air Force Institute of Technology, USA Date August 3rd, 2017
01:03:09 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 motivation computer data formal sciences philosophical terminology concepts in physics causal inference personal life relation multivariate statistics american young adult novels assumption p.c education quality hyper surface true underlying intervention statistical methods p.c. statistics causality psychology abstract algebra cognition time series analysis graph statistical theory philosophy of mathematics question data research methods information science happiness singular locus differential geometry scientific method gene expression independence s.p.l. greedy version graph theory conditional molecular biology human behavior algebraic geometry libraries mathematical objects common authorial data structures psychometrics databases singularity missing edge matrices problem covariance and correlation prefectures in france infinity hard problem algorithm class set theory library science theology data set evaluation methods algorithms auxiliary sciences of history statistical terminology permutation mathematical logic distribution statistical models theoretical computer science From Anton Leykin 57 plays 0 name Caroline Uhler, Massachusetts Institute of Technology, USA Date August 3rd, 2017
46:20 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 sequences and series point continuation philosophical terminology number binary operations approximate mathematical logic ring theory consideration thing liberal democracies completion human behavior arts economics terminology space deterministic question system systems theory information science elementary algebra communication middle eastern countries interrogative words and phrases evaluation interpersonal relationships analysis of algorithms youth complexity virtue algebra marketing sufficient musician expectation republics perpendicular systems science independent understand competition computational complexity theory grammar condition compute submission biology terminology educational stages linear algebra cognitive psychology solution member states of the united nations geometry political philosophy algorithms conic sections design problem conclusion polynomials theoretical computer science From Anton Leykin 26 plays 0 name Pierre Lairez, Inria Saclay Ile-de-France, France Date August 2nd, 2017
53:49 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 formal sciences prime numbers c.m.s. concepts in physics c.m.y.k. ring theory group metallurgy g.n.p. field theory cryptography quantum information science mathematics education prime determinants set theory banking upper bound mathematical logic sociology of culture philosophical terminology binary operations approximation abelian varieties number theoretic algorithms theory of probability distributions category theory algebra emotions evaluation algebraic surfaces data analysis marketing g.c.d. functions and mappings concepts in aesthetics latin alphabet ontology morphisms building materials quantum cryptography general topology mathematical objects finite fields probability theory mathematical constants emotion point color communication philosophical logic number graphic design elementary special functions polynomial prime order abstract algebra papermaking upper limb anatomy nice thing order theory topology group theory logical consequence logarithm linear algebra sickly group number theory printing amorphous armoring problem theoretical computer science model theory metaphysics complex analysis field mathematical notation arithmetic algebraic curves c.m. infinity philosophy of mathematics algebraic geometry denominator polynomials mathematical analysis scientific classification computational complexity theory p.. algebraic number theory information theory curve elliptic curves business terms algorithms exponentials elementary mathematics c.m complex approximations From Anton Leykin 17 plays 0 name Bianca Viray, University of Washington, USA Date August 2nd, 2017
01:00:17 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 considerations numerical analysis force research methods point communication metric number generalization mathematical logic measurement polynomial length meal time human communication mechanical engineering space question system imo systems theory c.n.n. inequality elementary algebra thermodynamics input condition number scientific method method matric physical chemistry architectural elements physical quantities structural system evaluation methods construction environments masonry calculus equations system solving condition building materials eigenvalue grammar linear algebra solution thing complexity concrete problem theoretical computer science From Anton Leykin 18 plays 0 name Carlos Beltrán, Universidad de Cantabria, Spain Date July 31st, 2017
01:05:05 SIAM_IP1_8:30am_07/31/2017 SIAM_IP1_8:30am_07/31/2017	SIAM_IP1_8:30am_07/31/2017 IP1 Uses of Algebraic Geometry and Representation Theory in Complexity Theory orbit closure aesthetics symmetry point creativity philosophical terminology bound binary operations polynomial theories of history education idealism differential geometry of surfaces group matrix abstract algebra variety sparse matrices question american science fiction action films permanent decomposition computer science order theory differential geometry elementary algebra arithmetic group theory surfaces determinant graph theory conjecture algebra algebraic geometry permutation elementary arithmetic anatomy numerical linear algebra finite groups matrix theory multiplication bilinear operators ontology matrices g.l. geometry linear algebra equation thought thing cognition representation problem community organizing expression j.m. theoretical computer science From Anton Leykin 41 plays 0 name Joseph M. Landsberg, Texas A&M University, USA Date July 31st, 2017
01:41 Course Overview_edX Course Overview_edX	Course Overview_edX foundation constitute design learning normalisation tools techniques application implementation specification languages case study methodology relational development activities relationship associate graphics software understand database study analysis project learn professor theoretical computer science From Stephen Murphy 2,139 plays 0
01:52 DILAC Project: Historical Data Visualization by… DILAC Project: Historical Data Visualization by Lauren Klein	DILAC Project: Historical Data Visualization by Lauren Klein Through the Digital Integrative Liberal Arts Center, LMC Prof. Lauren Klein and students are working on a project to digitally recreate and reinterpret a data visualization created by Elizabeth… represent communication abstract recreate competition challenges computer interactivity visualization media graduate microprocessor humanity literature assistant computing terminology specialty personally hardware interaction professor project scientist historical forgotten theoretical computer science interactive From Kevin Pittman 80 plays 0 Date March 15th, 2017
56:14 desturler desturler	desturler formal sciences concepts in physics control flow reasoning ok. idealism pens mathematical and quantitative methods (economics) continuum mechanics systems theory control theory elementary algebra systems physical sciences physical chemistry computer networking structural engineering computability theory matrices computational problems eigenvalue evaluation solution theoretical chemistry vector www google research methods people aerodynamics middle english poems library unit vector measurement econometrics fluid dynamics matrix space statistical theory operator theory method differential calculus environmental science low degree statistical terminology estimation theory ontology equations problem topology geometry times thing psychotherapy statements systems science color computational science numerical software numerical analysis formal methods tools system graphic design functional analysis mathematical physics mathematical logic problem solving companies listed on nasdaq linear system quality decision theory arts statistics abstract algebra combinatorics creativity approximate quantum mechanics structure operations research systems engineering philosophical terminology evaluation methods binary operations convergence iterative methods approximation linear algebra applied mathematics optimization artificial intelligence theory of computation eigenvector theoretical computer science group theory desturler sequences and series regression analysis mind cognitive science large number education design of experiments search space computer graphics application computer science mathematical notation social psychology scientific method hand side algebra students polynomials mathematical analysis computational complexity theory multiplication quantum chemistry mathematical optimization data mathematical relations fluid mechanics psychology aesthetics educational psychology property law information theory business terms solve linear operators in calculus elementary mathematics chemistry From Katie Gentilello 9 plays 0
57:56 2014-HSI-Talk-Sapiro 2014-HSI-Talk-Sapiro	2014-HSI-Talk-Sapiro walking interpretation formal sciences sb222 legal professions english-language masculine given names month paper rooms reasoning ok. healthcare quality human behavior family musical groups from manchester questions. appointment photography eighteen months telecommunication theory statistical terminology cybernetics security sociology of culture people public relations philosophical terminology computer video that. psychology expert students health central nervous system geography evaluation social networking services attention interesting. hsi thing pediatrician logic contribution childhood probability systems science communication community graphic design mathematical logic learning decision theory confidence statistics psychiatric diagnosis question data management sociology index logical consequence understand women applied mathematics developmental psychology artificial intelligence behavior hippie movement pedagogy blair theoretical computer science law enforcement cognitive science disengagement signal processing film and video technology metrology application computer vision user interfaces collaboration philosophy types of organization data analysis neuroscience 2014-hsi-talk-sapiro elementary mathematics algorithm information theory computer programming attention-deficit hyperactivity disorder databases behaviorism evaluation methods From Sean Brennan 3 plays 0
48:32 abowdtalk2 abowdtalk2	abowdtalk2 formal sciences sb222 social scripts concepts in physics statistical data types rooms human survey methodology web 2.0 happiness adolescence healthcare quality human behavior causality consciousness criminal law systems theory environment real property law communication community building companies listed on the new york stock exchange build personhood social information processing pharmacology conceptual art food and drink avant-garde art classes of computers packaging group processes skills member states of the united nations motherhood project management software sociology of culture applied mathematics sociological theories ecology developmental biology problem solving people intelligence philosophical terminology unsolved problems in neuroscience academic degrees computer institutes social sciences audio storage psychology complex systems theory reasoning microeconomics evaluation social networking services real time biology statistical terminology linguistics hsi mobile technology self-organization graphics software hippie movement types of restaurants knowledge special education health sciences language biology terminology educational stages psychiatric diagnosis ethology thing film social childhood emotion family computational science community graphic design communication theory cybernetics learning neuroscience intervention organizational theory national medal of technology recipients script divorce socialization computer law crowdsourcing intention information science film formats artificial intelligence accountancy life american brands sociology index data points human-based computation and uncertainty minute reels understand wireless locating child contemporary art project management harvard university alumni data collection science challenge developmental psychology youth individual marriage artificial intelligence applications behavior situation problem conformity theoretical computer science motivation higher education video archive computing user interface techniques personal life imagination engineering cognitive science life skills education technology autism political theories film and video technology design of experiments information computer graphics nationalism stagecraft ideologies international law computer science social psychology scientific method abowdtalk2 universities and colleges theatre students collaboration logic types of organization political science ubiquitous computing opportunity consumer electronics production economics educational psychology costs computer programming behaviorism management From Sean Brennan 6 plays 0
48:35 abowd-keynote abowd-keynote	abowd-keynote abowd-keynote formal sciences sb222 personhood concepts in physics statistical data types rooms human survey methodology web 2.0 happiness adolescence healthcare quality human behavior causality consciousness criminal law interesting systems theory environment real property law communication companies listed on the new york stock exchange build social information processing pharmacology conceptual art food and drink avant-garde art classes of computers packaging group processes skills member states of the united nations motherhood project management software sociology of culture applied mathematics sociological theories ecology developmental biology problem solving people intelligence philosophical terminology unsolved problems in neuroscience wireless locating computer institutes social sciences visual reasoning audio storage psychology complex systems theory reasoning microeconomics evaluation social networking services real time biology statistical terminology linguistics hsi mobile technology self-organization graphics software hippie movement types of restaurants knowledge special education health sciences language biology terminology educational stages psychiatric diagnosis ethology thing film social childhood emotion family computational science community graphic design communication theory cybernetics learning neuroscience intervention organizational theory management script divorce socialization computer law crowdsourcing intention information science film formats artificial intelligence accountancy life american brands sociology index national medal of technology recipients performance art human-based computation and uncertainty minute reels understand academic degrees child contemporary art logic project management harvard university alumni data collection science challenge developmental psychology youth individual marriage artificial intelligence applications behavior situation problem conformity theoretical computer science motivation computing user interface techniques personal life based practice imagination engineering cognitive science life skills education technology autism political theories design of experiments information computer graphics nationalism stagecraft ideologies international law computer science social psychology scientific method universities and colleges theatre students collaboration production economics types of organization political science ubiquitous computing opportunity consumer electronics educational psychology costs computer programming behaviorism From Sean Brennan 2 plays 0
01:09:54 gthsi_gabowd20080414 gthsi_gabowd20080414	gthsi_gabowd20080414 health promotion behavioural sciences child plays family infancy communication medical treatments babycare paper record month and uncertainty cognitive science types of healthcare facilities rooms gthsi_gabowd20080414 parent thing technology children medical terminology social sciences developmental genetics population ecology evidence knowledge psychiatric diagnosis divorce people question disability environment h.s.i. information science scientific terminology computer science video evidence sociological terminology marriage scientific method child perform artificial intelligence hsi behavior pharmacology information marketing landscape architecture eighteen months special education child development incident therapy student child latin alphabet waiting room pervasive developmental disorders pragmatics population logic subjects taught in medical school school grammar motor skills autism c.d.c. developmental psychology library science columbia records albums motherhood d.v.d. early detection constitutional law consumer electronics demography human communication video problem public records psychotherapy childhood theoretical computer science From jdiederich3 0 plays 0
01:13:20 gthsi_20090306 gthsi_20090306	gthsi_20090306 health websites nursing hsi healthcare quality fourth year communication u.g.a. health care school types types of healthcare facilities family history medical record real patient ok. long time education blood pressure health record virtual reality multimedia user interface techniques personal development health types of university or college computer science medical education sociological terminology medicine scientific terminology human resource management medical terminology medical school universities and colleges physicians medical diagnosis patient thing pharmacology telehealth public services conceptual art cancer screening primary care health informatics interaction s.p. student m.c.g. contemporary art big picture physical examination sound physician scientific method educational stages virtual patient medical student virtual environment students care system gthsi_20090306 new media nursing education internal medicine theoretical computer science c.g. papermaking public records From jdiederich3 0 plays 0