Search for tag: "formal sciences"

106 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
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:05 SIAM_IP5_8:30am_08/02/2017 SIAM_IP5_8:30am_08/02/2017	SIAM_IP5_8:30am_08/02/2017 IP5 Stochastic Geometry with Topological Flavor constant formal sciences probability point random concepts in physics number generalization columbia records albums dimensional graph theory radius triangles abstract algebra area euclidean geometry thermodynamics iso basic latin letters order theory circle analytic geometry function abstraction triangle r.. straightforward elementary shapes possibility mathematical analysis triangulation mention edges mathematical concepts elementary geometry atoms probabilistic topology physical quantities interscope records albums a.b.c. linear algebra region interval integral geometry thing diagram statistical randomness logic distribution dimension From Anton Leykin 4 plays 0 name Herbert Edelsbrunner, IST Austria, Klosterneuburg, Austria Date August 2nd, 2017
01:02:27 SIAM_SIAGA_5:15pm_08/01/2017 SIAM_SIAGA_5:15pm_08/01/2017	SIAM_SIAGA_5:15pm_08/01/2017 SIAGA Journal Presentation emotion represent formal sciences point computational science mathematicians paper traditional chinese objects theories of history equations geometric algorithms research methods conference information statistics group psychology corporate finance invited speaker papermaking people question emotions research application normal equations elementary algebra editor academic publishing differential geometry mathematics scientific method statistical charts and diagrams algebraic geometry artificial intelligence auxiliary sciences of history picture life statistical terminology journal reporting algebraic computer-aided design mathematical optimization normal optimization data topology film and video technology submission geometry science algebraic topology youth thing connection journalist representation evaluation methods discussion From Anton Leykin 33 plays 0 name Bernd Sturmfels, University of California, Berkeley Date August 1st, 2017
52:00 SIAM_IP3_8:30am_08/01/2017 SIAM_IP3_8:30am_08/01/2017	SIAM_IP3_8:30am_08/01/2017 IP3 Algebraic Geometry for Geometric Modeling formal sciences concepts in physics ring theory geometric shapes geography intersection systems theory thermodynamics elementary algebra input/output field theory finance smooth surface differential topology vector bundles singularity computability theory geography terminology determinants set theory elementary geometry contract law linear algebra euclidean geometry vision astrometry binary operations complex surfaces surfaces category theory mathematical structures space singular chemical properties homogeneous polynomials geometric algebraic surfaces degree mathematical objects perpendicular tangent modeling equations topology geometry thing length standard unix programs topological spaces algebraic topology sorting algorithms projection point color cybernetics image processing p.c. projective geometry management abstract algebra question differential geometry morphisms analytic geometry group theory philosophy of mathematics complex numbers metric geometry project management commerce multiplicity coordinate systems project matter operations research mechanics function surface physical objects complex analysis complex quadrilaterals geodesy mathematical notation polytopes hand side infinity algebra algebraic geometry polynomials algebraic class business law network From Anton Leykin 18 plays 0 name Ragni Piene, University of Oslo, Norway Date August 1st, 2017
12:43 ISYE6644_M1L3 ISYE6644_M1L3	ISYE6644_M1L3 mathematical sciences cognitive science motivation computers formal sciences probability theory communication personal life concepts in physics sales scientific modeling engineering planning cybernetics problem solving operation systems theory research methods human behavior statistics psychology ontology thing data industrial engineering deterministic creativity system strategy intention health treatment marketing stochastic percentage engineering disciplines evaluation method operations research auxiliary sciences of history production and manufacturing philosophical terminology business disadvantages analytical chemistry statistical terminology accomplish advantages simulate bottleneck software requirements model project management customer randomness scientific method manufacturing equation supply chain management terms programming simulation discrete weather computer programming statistical randomness behavior analytical management problem applied mathematics numerical From Shabana Figueroa 1,135 plays 0
04:48 Introduction Analytics Modeling Introduction Analytics Modeling	Introduction Analytics Modeling research methods people characteristics philosophical terminology cybernetics questions recommendation forums destinations lessons introduction discussion georgia tech analytic systems communication answer manufacturers action modeling formal sciences structure customer solution airport airline prescriptive situation model explanations From Shabana Figueroa 780 plays 0
49:15 ECE 6335 04-24-2017 ECE 6335 04-24-2017	ECE 6335 04-24-2017 Professor Harley production and manufacturing aesthetics formal sciences point reluctance magnetic philosophical terminology concepts in physics number machines scientific modeling quality control cybernetics systems theory quality decision theory ok. statistical methods heat transfer si base units calculate engines density statistical theory systems science question continuum mechanics internet search engines machine mathematics kinematics systems electrodynamics elementary algebra electronics topology induction systems engineering materials science machine. food and drink analytical chemistry contribution mathematical notation that. energy conversion efficiency magnetism velocity understand professional and trade magazines performance computer systems mathematical optimization index numbers upper limb anatomy electromagnetism understanding commerce design economics terminology algebra partial differential equations electronic circuits applied mathematics vector calculus solution magnet thing length efficiency. questions. electrical engineering design of experiments electrical components electric motors From Kirsten Potts 156 plays 0
47:09 ECE 6335 03-10-2017 ECE 6335 03-10-2017	ECE 6335 03-10-2017 Prof. Harley electronic engineering d.. p.c.. formal sciences similarity electricity. concepts in physics energy conversion metals chemical elements l.m. motor measurement earth hardware (mechanical) k.v.a. decision theory geography information transformer j.s. potential temperature banking electricity cables d.m. reluctance length l.m.. research methods thermodynamics machine b.m. ok. scientific method machine. finance relationship algebra marketing statistical terminology heat transfer machines musical groups from georgia (u.s. state) power professional and trade magazines latin alphabet k.v. classical mechanics building materials climate transformers. machines. d.m.. transformer. industry elementary geometry occupational safety and health k.v.. electrical engineering electrical components geometry electric motors From Kirsten Potts 47 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
37:55 me1770_20150820 me1770_20150820	me1770_20150820 deductive reasoning formal sciences personhood concepts in physics month clocks sleep solutions reasoning writing production semantics infographics social groups physical chemistry architectural elements date and time representation legal professions industrial design computing terminology process. republics secrecy furniture east asian countries companies member states of the united nations evaluation methods constitutional law real estate colloidal chemistry research methods people radio formats philosophical terminology library design home social sciences military tactics epitaph records albums comics terminology creative electronics evaluation business marketing statistical terminology illustration understanding g20 nations chemical processes industry social change thing logic military software question good idea community graphic design fashion magazines problem solving quality arts management creativity start information science right. diagrams production and manufacturing sociology index company glass construction understand psychotherapy classical mechanics project management game film genealogy methods in sociology supply chain management terms matter dosage forms painting techniques cad electronic engineering aesthetics process personal life sales metals single-party states engineering cognitive science wait wait design process engineering disciplines fashion accessories documents decorative arts leisure activities scientific method development product designer fy1516 state functions collection scientific classification copyright law rural geography architectural design me1770_20150820 educational psychology windows knowledge representation kgentilell3 glass art From Katie Gentilello 54 plays 0
33:11 FLAMEL Guest Lecture 02 FLAMEL Guest Lecture 02	FLAMEL Guest Lecture 02 Modeling of the 3D-Microstructure and Synthesis of Nano-Cellulose Based Scaffolds formal sciences concepts in physics chemical elements scattering non-negative continuum mechanics microstructure. elementary algebra problematic deformation cultural history physical chemistry materials science nuclear physics building engineering computing terminology material structural engineering transmission polymers composition human migration sociology of culture optics research methods competition culture intensity particle physics textiles textile industry cross-platform software cell biology image processing statistical theory fiber statistical terminology component manufacturing geometry industry color communication image packaging cybernetics microstructure learning quality realisation statistics mechanical engineering nonmetals information science types of university or college artificial intelligence resolution. composite basically digital photography characteristic printing distribution mechanics aesthetics characterize education philosophy disambiguation digital geometry information strength angle performance pollutants photography p.c.a. theatre algebra data diffraction business terms materials computer programming oxoanions behaviorism chemical engineering From Aleksandr Blekh 3 plays 0 name Sepideh Parvinian Date February 8th, 2017
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