Search for tag: "mathematical logic"

74 Media

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
50:40 ECE 6335 04-14-2017 ECE 6335 04-14-2017	ECE 6335 04-14-2017 Professor Harley constant. force point communication energy philosophical terminology concepts in physics statistical charts and diagrams mathematical logic linear operators in calculus equations. gyroscopes rotation machines ok. differential calculus id. that. angle calculate electricity speed systems science integration systems theory machine kinematics linkage elementary algebra electronics conditions non-linear. function acceleration greek alphabet signal processing amateur radio computing terminology statistical terminology mathematical analysis velocity latin alphabet q.. classical mechanics change electromagnetism dynamical systems k.q.. algebra millisecond equation transition cables this. thing control theory plumbing electrical engineering electrical components trigonometry lambda From Kirsten Potts 49 plays 0
35:48 ECE 6335 03-27-2017 ECE 6335 03-27-2017	ECE 6335 03-27-2017 Professor Harley electronics terminology question philosophical terminology concepts in physics binary operations mathematical logic voltage electrical phenomena physical objects current that. depend reluctance machine inductance. kinematics systems position. ok. audio engineering function machine. d.c. algebra structure transformers (electrical) component convention. american romance novels inductance reluctance. angle difference representing condition electromagnetism structure. greek alphabet geometry dia this. traveling. magnitude pedagogy trigonometry From Kirsten Potts 39 plays 0
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
40:00 AAC_200901_video AAC_200901_video	AAC_200901_video international relations consciousness planning survey methodology children human behavior knowledge criminal law disability capabilities writing environment h.s.i. pharmacology photography and uncertainty school group processes mental structures experiments project management software sociology of culture learning infancy intelligence philosophical terminology youth rights school types video criminology youth psychology cognitive psychology research georgia tech health evaluation social networking services hsi pragmatics visual arts special education language educational stages crime experience thing eighteen month pediatrician software researcher communication community graphic design measuring instruments higher education mathematical logic problem solving school terminology intervention arts management psychiatric diagnosis communication design question system aac_200901_video intention art media information science archives morality sociology index social games understand project management data collection characterize project behavior hippie movement theoretical computer science aesthetics electronics terminology evidence telephony health care education technology film film and video technology design of experiments information documents mobile phones universities and colleges students collaboration types of organization representations intervention. architectural design consumer electronics observation educational psychology a.b.c. information theory computer programming behaviorism evaluation methods neurological disorders From jdiederich3 1 plays 0
01:00:59 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 numerical analysis d.. administrative divisions formal methods theoretical computer science random edges incident major cities currency l.. mathematical logic factorization measurement multivariate statistics free educational software fall 2016 arc colloquium theory of probability distributions elimination. matrix abstract algebra p.s.t. statistical theory sparse matrices systems theory georgia tech iso basic latin letters elementary algebra b.. computer programming ok. arithmetic vowel letters greek alphabet a.b algebra statistical terminology transpose expectation numerical linear algebra edges recorded by gtlibrary data analysis p.. elimination variance matrices probability theory approximation randomness legal terms good bound algorithm electronic circuits value times elementary mathematics algorithms error linear algebra elementary special functions algorithms and randomness center x.. statistical deviation and dispersion From Katie Gentilello 109 plays 0 name Rasmus Kyng Date November 28th, 2016
53:05 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 concepts in physics symbols ring theory geometric topology ok. compact human behavior metamorphic continuum mechanics systems theory symptoms elementary algebra systems continuation nuclear physics signal processing differential topology multivariable calculus condition power spectrum set theory factorization p.d. elementary geometry constitutional law characteristic security greek alphabet binary operations zeta and l-functions particle physics surfaces category theory whitespace scattering algebra research georgia tech college of scienes scientific terminology differential calculus behavior mathematical objects functions and mappings distributions. latin alphabet mathematical analysis morphisms natural philosophy geometry universe spheres length logic resonance human rights statements characterization communication functional analysis mathematical logic decision theory fall 2016 control theory abstract algebra types of functions quantum mechanics validity (statistics) information science stars r.n. topology war analytic geometry group theory curvature (mathematics) school of mathematics differential geometry computer security mathematical disambiguation classical mechanics qmath13 conference condensed matter physics linear algebra futurology meteorology elections youth matter correlations. distribution x.. mechanics function dynamical systems surface young people physical objects differential geometry of surfaces complex analysis vector bundles mathematical notation scientific method arithmetic circles cross-platform software infinity philosophy of mathematics linear operators in calculus singularities multiplicity political science multiplication continuous distributions evaluation methods philosophical concepts correspond theology correlation exponentials elementary mathematics dimension From Katie Gentilello 16 plays 0 name Maciej Zworski Date October 10th, 2016
53:43 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. non-coding concepts in physics knowledge control theory elementary algebra systems infographics architectural elements computing terminology community computability theory graphic design auxiliary sciences of history demography project management software western europe sociology of culture germanic countries and territories composition. research methods sequence windows-only software frame philosophical terminology prediction competition approximation video genomic genetics research plant taxonomy medicine gene expression protein biosynthesis biology statistical terminology genetic mapping graphics software consideration g20 nations equations predictions. collaborators biology terminology region countries in europe thing contribution optimal control probability color communication causal inference and uncertainty mathematical logic quality genomics statistics dna information science approximation. sensitivity diagrams systems engineering nutrition sociology index molecular biology home automation binary operations population country subdivisions dynamic programming applied mathematics operations research hippie movement distribution informatic theoretical computer science n.c.b.i. evidence protein physical objects information genome scientific method fuels algebra philosophy types of organization bioinformatics mathematical optimization data algorithm markov models algorithms mass media biotechnology evaluation methods From Terence Rushin 26 plays 0
57:10 BB_2015_09_10 BB_2015_09_10	BB_2015_09_10 heuristics formal sciences personhood concepts in physics psychometrics brain planning human evolutionary biology psychological testing linguistics search target interesting systems theory open problems sensory system systems communication transformation raven paper products tests cryptography memory processes question. visual perception emotion constitutional law mathematical logic vision i.q. ecology problem solving people intelligence philosophical terminology unsolved problems in neuroscience scientific modeling neurology design measurement psychology cognitive psychology image processing cameras emotions research central nervous system visual representations. microeconomics optical illusions evaluation gvu internet protocols attention human behavior statistical terminology sedimentary rocks conceptual models graphics software propositional problem topology search geometry violence thing alombardo7 hard problems statements psychological manipulation systems science search environment. computational science image graphic design summary statistics cybernetics learning fiction digital art decision theory subjective experience neuropsychology logical expressions combinatorics papermaking question internet search engines strategy information science computing terminology english grammar artificial intelligence molecular biology landscape architecture propositions special education english-language journals didactics visual printing materials classical mechanics semantics digital photography futurology developmental psychology behavior pedagogy cognitive tests personal life imagination cognitive science ergonomics bb_2015_09_10 analytic philosophy education organs autism triangles digital geometry information autonomy computer graphics internet terminology feature answer scientific method photography transformations. design of experiments literature collaboration philosophy graphics file formats creativity neuroscience structure quarterly journals educational psychology information theory pattern behaviorism representation model neurological disorders From Sean Brennan 12 plays 0
51:23 Maren_Bennewitz_2011_09_14 Maren_Bennewitz_2011_09_14	Maren_Bennewitz_2011_09_14 computer data consciousness footstep personhood concepts in physics goal fast science fiction themes human networks ok. limbs probability flight phases bayesian statistics systems theory environment packaging machinery systems architectural elements photography gestures skeletal system foot goal location animal anatomy chemical elements standards evaluation methods project management software mathematical logic sociology of culture classifier vision ecology force sfox9 philosophical terminology maren_bennewitz_2011_09_14 facial features design measurement surgery medical terminology psychology military tactics cognitive psychology chemical properties atomic physics research cognitive science approach human anatomy gvu data analysis environmental science statistical terminology alternative education estimate ontology topology interaction video game development information science geometry computational neuroscience industry uncertainty social change motion words originating in fiction logic action toxicology navigation behavioral concepts classification color communication image robotics community and uncertainty cybernetics problem solving data mining fertile crescent image processing decision theory city management creativity optical devices computer programming probability distributions garden features knowledge artificial intelligence production and manufacturing open methodologies unsolved problems in neuroscience knowledge representation classical mechanics project management country subdivisions commerce digital photography educational psychology applied mathematics reinforcement machine learning windows games data management pedagogy theoretical computer science mechanics motivation fashion joints personal life obstacle design of experiments information computer graphics angle feature computer vision input/output social psychology scientific method pollutants computing terminology staircase collaboration robots payment systems anatomy optical spectrum human head and neck position upper limb anatomy aircraft landing systems manufacturing acoustics information theory robot face mass behaviorism representation elementary mathematics telecommunications equipment gesture aerospace engineering From Sean Brennan 11 plays 0