Search for tag: "number theory"

8 Media

Chelluri Lecture - Karen Smith: Resolution of… duration 1 hour 9 minutes Chelluri Lecture - Karen Smith: Resolution of… Chelluri Lecture - Karen Smith: Resolution of Singularities	Chelluri Lecture - Karen Smith: Resolution of Singularities Dedicated to the Memory of Thyagaraju (Raju) Chelluri '99 April 18, 2019 Malott Hall Cornell University polynomial equation dimensional space prime ideal symbols ring theory geometric shapes differential forms differential operator prime number differential form criminal law open set singular set singular point real point real manifold beautiful thing coordinate ring semiotics determinants algebraic property rational points real axis singular variety abstract art rational thinking multiple components c.n.n. number theorists minimal representative rational equivalence c.p. complex manifold rationally equivalent elementary shapes general topology squared equals ontology continued fraction expansion morphisms definition educational stages complex manifolds riemann surfaces high school algebraic interpretation black background ring homomorphism algebraic variety sociolinguistics dimensional variety image processing p.c. linear equations indian mathematicians exceptional set higher dimensional infinite chain technical thing group theory smooth points philosophical terminology complex numbers amazing thing law canonical lines crossing contemporary art volume form rational singularity smooth ride number theory rational thing complex dimension thing called smooth variety open question mathematical terminology model theory metaphysics caption complete complex analysis free space singularity theory rationally singular varieties algebraic curves algebra students algebraic geometry polynomials geometry algebra polynomial function algebraic varieties excellent question complicated singularity elementary mathematics parameter space incredibly difficult elliptic curve minimal resolution precise definition real numbers riemann sphere From Betsy Collins 208 plays
CS2110-FA17-23 Session 23 duration 49 minutes 51 seconds CS2110-FA17-23 Session 23 CS2110-FA17-23 Session 23	CS2110-FA17-23 Session 23 2017-11-10 00:00:00+00 consumer programming constructs computer programming block thing fall 2017 multiplication communication producer staple foods distributed computing problems wait list rye pastry structure computing terminology algebra breads meat law baking operating systems videonote c.m.s. shelf synchronized synchronization specification languages method object bread space notify latin alphabet economics terminology concurrency (computer science) caption complete commerce counter q.. tuesday wait element digital electronics array packaging implementation synchronize queue thread computer science elementary number theory business ring theory From mjp337@cornell.edu 65 plays
30 - Determinants Part 2 Session 30 duration 51 minutes 31 seconds 30 - Determinants Part 2 Session 30 30 - Determinants Part 2 Session 30	30 - Determinants Part 2 Session 30 2009-04-03 09:07:28+00 basic concepts in set theory minus problem solving proof theory matrix theory number matrix terms equal question number theory egyptian artefact types determinant scientific method element ontology classes of computers communication metalogic triangular mathematical notation philosophical terminology combinatorics caption complete thing determinants linear pedagogy permutations understand abstract algebra integer sequences operation times chess expansion psychology geodesy numerical linear algebra column spring 2009 binary operations arithmetic logic permutation emotion multiplication set theory calculate videonote sparse matrices facts mathematical logic pattern elementary algebra functions and mappings real number elementary mathematics algebra factorial and binomial topics linguistics determine evaluation method formal sciences abstraction linear algebra minor grammar From mjp337@cornell.edu 26 plays
CFEM Seminar - Dennis Ignatovich and Grant… duration 1 hour 42 minutes CFEM Seminar - Dennis Ignatovich and Grant… CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms	CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms abstract algebra programming languages evaluation x.. mathematical proofs proof theory test suites low level nasa long time time series analysis philosophical logic elementary mathematics data types dark pool inductive reasoning electronic circuit verification safety logical consequence formal mathematical matching logic numbers financial markets a.m.d. theoretical computer science sorting algorithms cybernetics binary operations key thing reference price concepts in physics financial services mathematical induction grammar big issues syntax (logic) notation high frequency eng derivatives (finance) ordinal numbers signal processing meaning (philosophy of language) safety engineering order types mathematical terminology formal verification measurement mathematical finance market making economics terminology primitive types hazards on premise artificial intelligence wireless financial terminology semantics algorithms functional analysis business period social philosophy engineering concepts language called caption complete formal sciences natural numbers mathematical logic research methods mediasite elementary algebra software testing empty list computability theory elementary number theory computer systems u.s. broadcasting qualities of thought physical quantities eng various production and manufacturing business terms risk analysis stock market programming language number theory high performance time step data type formal methods thought sorting function category theory logic in computer science From E. Cornelius 6 plays
ORIE Colloquium, on 4/8/2014 - Cynthia Rudin:… duration 1 hour 6 minutes ORIE Colloquium, on 4/8/2014 - Cynthia Rudin:… ORIE Colloquium, on 4/8/2014 - Cynthia Rudin: Methods for Interpretable Machine Learning	ORIE Colloquium, on 4/8/2014 - Cynthia Rudin: Methods for Interpretable Machine Learning Tuesday, April 8, 2014, 253 Rhodes Hall Abstract: It is extremely important in many application domains to have transparency in predictive modeling. Domain experts do not tend to prefer "black… demographics probability theory consumer behaviour statistical terminology emerging technologies ring theory data mining computer programming nursing statistical theory apocalypticism decision theory machine learning actual function hand side patient statistical models caption complete support factor engineering justification real data eng cybernetics risk production economics military science polynomials medical terminology electric power distribution pharmacology formal sciences medical treatments functional analysis false negatives number theory law enforcement search engines on premise cardiology point scoring system cognitive psychology philosophical logic sets permit tac toe mediasite p.i.r. statistical data types high blood age categories spring 2014 artificial intelligence model good points companies listed on nasdaq actuarial science false positives fictional robots predictive model learning blood pressure economics of uncertainty subjective experience u.c.l.a. high blood pressure systems theory disasters tic tac hard problem databases aging-associated diseases From E. Cornelius 33 plays
CAM Colloquium 2013-02-01, Mason Porter (edit) duration 57 minutes 21 seconds CAM Colloquium 2013-02-01, Mason Porter (edit) CAM Colloquium 2013-02-01, Mason Porter (edit)	CAM Colloquium 2013-02-01, Mason Porter (edit) CAM Colloquium: Mason Porter (Oxford) - Cascades and Social Influence on Networks Friday, February 1, 2013 at 3:30pm Frank H. T. Rhodes Hall, 655 Cascades and Social Influence on NetworksI discuss… philosophical terminology youth cognitive science research methods set theory eng sociological theories autonomy media formats sociological terminology matter prefectures in france spring 2013 fiction memory window communication network data student culture on premise social network research complex systems theory formal sciences human behavior mathematical sciences scientific method semiotics business terms mental structures concepts in physics machine learning linear algebra knowledge free will mediasite quality systems thing creativity cognitive psychology humanities social networking services covariance and correlation neighbor theory marketing neuroscience evaluation methods summary statistics real network mind android (operating system) software p.c. management internet protocols active community building psychotherapy epidemiology interpersonal relationships topology computer programming memory applied mathematics culture influence causal inference real life dynamical systems military tactics materials science evaluation physical objects friend threshold model systems theory data types psychology social networks behavior statistical mechanics memory processes degree distribution computer data tree based differential geometry sociology of culture knowledge representation mathematical objects time step social information processing graph theory science peer pressure time scales planning quantum mechanics twitter means information particle physics social psychology social status open problems data management information science auxiliary sciences of history combinatorics chemical processes organizational theory war caption complete decision theory network structure probability theory mass media thermodynamics theories military ranks statistical terminology response function group processes sequences and series people estimation theory guys transition and uncertainty initial condition megafauna number theory data analysis design of experiments statistics From E. Cornelius 5 plays
CAM Colloquium, 2013-01-25 - Lionel Levine:… duration 1 hour 1 minute CAM Colloquium, 2013-01-25 - Lionel Levine:… CAM Colloquium, 2013-01-25 - Lionel Levine: Abelian Networks	CAM Colloquium, 2013-01-25 - Lionel Levine: Abelian Networks order background neighbor photography equipment program algebra theory of computation picture thing cornell factorial and binomial topics numbers particle cam distributed computing architecture computability theory configuration elementary number theory transition statistical terminology input phase transitions action graph theory network security function periodic alternative rock groups from illinois library science caption complete elementary mathematics number critical phenomena chips prefectures in france color group theory process lionel levine wildfires interesting sources of law processor dynamical systems condition optical spectrum cardinal numbers web colors order theory letter group output message execution From E. Cornelius 13 plays
CAM Colloquium, 2016-01-29 - David Bindel:… duration 49 minutes 47 seconds CAM Colloquium, 2016-01-29 - David Bindel:… CAM Colloquium, 2016-01-29 - David Bindel: Nonlinear Eigenvalue Problems: Theory and Applications	CAM Colloquium, 2016-01-29 - David Bindel: Nonlinear Eigenvalue Problems: Theory and Applications integer sequences systems science differential calculus computing terminology broadcasting elementary algebra boundary cam nasa space probes functional analysis problem solving aesthetics construction mathematical analysis logical consequence emotion theology numerical analysis spectral theory function climate change organizations personal life t.v. equation structure motivation reasoning philosophy of mathematics time series analysis conic sections data management chemical processes operator theory number coatings mass human behavior greek alphabet computer programming acoustics set theory ordinary differential equations law buy problem approximation ring theory semiconductor device fabrication infinity applied mathematics differential control theory concepts in physics higher dimensional numerical linear algebra food ingredients elementary geometry characteristic analytic functions tensors elementary mathematics formal sciences arithmetic engineering philosophy dynamical systems communication eigenvalue philosophical terminology mathematical concepts good times abstract algebra singular value decomposition differential equations hardware (mechanical) statistical terminology linear operators in calculus special functions signal processing component david bindel plants problem complex analysis caption complete mechanical vibrations architectural design condition plant morphology geometric measurement region mechanical engineering operator behavior functions and mappings exponentials classical mechanics meromorphic functions order system philosophical logic morality matrix inverse functions cornell types of functions determinants islam substrate telecommunications bit easier scientific terminology thing computational complexity theory mechanics linear algebra grammar cognitive science mathematical objects fiction topology industrial processes approximate psychology algebraic number theory vowel letters measurement inside transformation systems theory information science algebraic topology matrix theory elementary special functions polynomials algebraic varieties integral calculus algebra From E. Cornelius 51 plays