Search for tag: "logic"

242 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: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:01:11 SIAM_IP4_1:30pm_08/01/2017 SIAM_IP4_1:30pm_08/01/2017	SIAM_IP4_1:30pm_08/01/2017 IP4 Polynomial Dynamical Systems, Toric Differential Inclusions, and the Global Attractor Conjecture differential equations production and manufacturing reclaimed words lgbt terms point chemical properties differentiator philosophical terminology dynamic direction scientific modeling logic in computer science engineering cybernetics limit sets global stability mathematical terminology quality chemical kinetics technical communication documents network chaos theory graph explain inclusion question system equation systems theory systems banking terms deontological ethics function hand side conjecture computer networking conceptual models polynomials action chemical engineering queer fish probability theory condition population dynamical systems globally stable banking applied mathematics standards thing interesting concentrations representation problem industry From Anton Leykin 12 plays 0 name Gheorghe Craciun, University of Wisconsin, Madison, USA Date August 1st, 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
49:22 ECE 6335 03-15-2017 ECE 6335 03-15-2017	ECE 6335 03-15-2017 Professor Harley constant squid concepts in physics resistance matter d.q. chemical elements cognitive science millimeters. industrial processes transformer. force technology machines ok. conference human behavior transformer fluid dynamics temperature area d.m. continuum mechanics systems theory metallurgy thermodynamics increase machine elementary algebra biology and pharmacology of chemical elements social psychology electronics physical objects macroeconomics political terminology machine. truth power commerce equivalent statistical terminology that. magnetism heat transfer understand electric power systems components classical mechanics psychology building materials thousand. transformers. algebra industry stock market capacitors magnet dietary minerals length materials millimeters behavior logic b.m.. electrical engineering electrical components equation electric motors electrical parameters From Kirsten Potts 42 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
52:19 ECE 6335 01-18-2017 ECE 6335 01-18-2017	ECE 6335 01-18-2017 Professor Harley force point philosophical logic philosophical terminology concepts in physics number capacitors sed meaning (philosophy of language) problem solving latin alphabet cables reasoning machines ok. current rated calculate generator o.c.c. electricity linux software machine reactive potential kinematics infographics electronics elementary special functions r.p.m. vowel letters saturated. electronics terminology power algebra synchronous f.. trees scripting languages documents pumps p.. energy storage rotation difference classical mechanics semantics electromagnetism organic chemistry short v.a. machine. geometry si derived units si base units electromagnetic components equal provide o.c. arithmetic circuit standard unix programs electrical engineering electric power electric motors From Kirsten Potts 28 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