Search for tag: "model theory"

487 Media

54:15 NNCI_REU_Convocation_Session_J_2:10pm_8/08/2017 NNCI_REU_Convocation_Session_J_2:10pm_8/08/2017	NNCI_REU_Convocation_Session_J_2:10pm_8/08/2017 Session J: Global Learning Center Room 222 natural sciences concepts in physics side walls chemical elements solutions industrial processes geometric shapes scattering heat transfer parameters characterization continuum mechanics systems theory metallurgy thermodynamics optical devices micron systems world cuisine drug discovery physical chemistry architectural elements materials science nuclear physics pharmacology structural engineering risk analysis walls nanotechnology spin speed minute condensed matter physics geography terminology polymers university humidity elementary geometry phases of matter cooking techniques and air conditioning science large increase sociology of culture vision meteorology force research methods transpiration philosophical terminology frequency design soil contamination measurement home standards transition metals elasticity (physics)surfaces fluid dynamics psychology matter photosensitive chemical properties research biology and pharmacology of chemical elements membrane aircraft wing design food and drink hydrogen compounds pressure ratios statistical inference sensors drug delivery devices topology building materials chemical processes hydrology synthetic fibers educational stages heating science experiments length mineralogy color microscopes measuring instruments brush coatings control theory complication temperature natural philosophy question garden features types of university or college structure pressure sensor oxygen compounds phase transitions nutrition needle glass construction painting techniques classical mechanics food ingredients forensic equipment semiconductor device fabrication engineering ratios developmental psychology youth geometry solvents printing underwater diving physics clean energy dairy products process thin film deposition metals education design of experiments crystallography metrology web colors feature particle physics application potential atmospheric thermodynamics ventilating pollutants intellectual property law laundry algebra students viscosity structural system optical spectrum liquids fluid mechanics electromagnetism oxides twelve micron property law photonics acoustics si derived units diffraction nitrides mass academic administration linear operators in calculus biotechnology elementary mathematics From Leslie O'Neill A year ago 25 views 0 name Moderator: Nancy Healy, Georgia Institute of Technology Date 08/08/2017
58:24 NNCI_REU_Convocation_Session_F_1:00pm_8/07/2017 NNCI_REU_Convocation_Session_F_1:00pm_8/07/2017	NNCI_REU_Convocation_Session_F_1:00pm_8/07/2017 Session F: Global Learning Center Room 222 thermoplastics concepts in physics chemical elements solutions industrial processes solar cell food colorings cosmetics chemicals heat transfer quantum electrodynamics electricity fuel cell scales continuum mechanics systems theory atmospheric thermodynamics thermodynamics optical devices reducing agents systems pyrotechnic fuels physical chemistry materials science signal processing material transparent materials structural engineering cell efficiency coolants electron nanomaterials nanotechnology iarc group 2b carcinogens geography terminology particle level polymers university charge carriers microscopy phases of matter resource extraction applied and interdisciplinary physics rearrangement optics ultraviolet radiation colloidal chemistry electrodes renewable energy energy philosophical terminology energy conversion design energy economics measurement crystallography electrode particle physics medical terminology fluid dynamics matter oxoanions chemical properties research increase packaging materials integrated circuits sustainable architecture emerging technologies historical scientific instruments occupational safety and health marketing hydrogen compounds pressure magnetism glass applications physiology edge concentration topology water corrosion hydrogen economy mechanical engineering chlorides geometry universe silicon science experiments length dimensionless numbers toxicology excipients screen prints family mineralogy question microscopes solid mechanics cybernetics legal procedure force middle states association of colleges and schools metallurgy arts si base units temperature natural philosophy native element minerals mirrors nonmetals natural resources structure photographic chemicals geometrical optics sociology index glass hydrology d.m.p.country subdivisions commerce condensed matter physics respiration semiconductor device fabrication characteristic electrochemistry dietary minerals solvents printing underwater diving physics spectroscopy acoustics mechanics aesthetics dielectrics electronics terminology process electrodynamics analytical chemistry metals sample characterize crystals concentration hydrogen physical objects post-transition metals strength colonial colleges d.m.potential semiconductor materials telecommunications equipment pollutants fuels physical cosmology laboratory techniques hydrogen production office equipment structural system computer graphics precious metals dyes iarc group 1 carcinogens fluid mechanics electromagnetism oxides light si derived units hardness tests solar cells association of american universities materials control theory electrical conductors electronic band structures amount of substance From Leslie O'Neill A year ago 40 views 0 name Moderator: Ana Sanchez Gonzalez, University of Louisville Date 08/07/2017
50:34 NNCI_REU_Convocation_Session_E_11:10am_8/07/2017 NNCI_REU_Convocation_Session_E_11:10am_8/07/2017	NNCI_REU_Convocation_Session_E_11:10am_8/07/2017 Session E: Global Learning Center Room 222 d.n.a.natural sciences concepts in physics chemical elements voltage scattering heat transfer l.d.quantum electrodynamics electricity absorption classical mechanics control theory thermodynamics optical devices functional groups layer deposition m.b.e.communication pyrotechnic fuels audio engineering physical chemistry materials science material transparent materials oxides electron wireless energy transfer car safety condition graphic design bias power charge carriers microscopy elementary geometry political philosophy optics energy energy conversion electric and magnetic fields in matter crystallography philosophy of law machines electronic band structures surfaces genetics psychology chemical properties semiconductor medicine integrated circuits historical scientific instruments transformers (electrical)crystal quality pressure chamber pressure glass applications topology building materials chemical processes s.c.m.natural philosophy dimensional instruments fluid dynamics silicon length d.v.mineralogy color d.v.l.a.microscopes measuring instruments pyramid telecommunications atmospheric thermodynamics light mechanical engineering quantum mechanics accelerator physics reducing agents electromagnetism geometrical optics electromagnetic radiation scientific techniques english-language journals glass surface refractory materials recombination condensed matter physics semiconductor device fabrication applied and interdisciplinary physics spectroscopy superstitions electronic engineering aesthetics dielectrics electronics terminology process thin film deposition analytical chemistry metals wavelength crystals semiconductor structures potential semiconductor materials state functions laboratory techniques hydraulics device quantum chemistry superhard materials abrasives wafer photonics acoustics nitrides metalworking terminology chemistry From Leslie O'Neill A year ago 50 views 0 name Moderator: Kathryn Hollar, Harvard University Date 08/07/2017
01:00:41 NNCI_REU_Convocation_Session_D_9:55am_8/07/2017 NNCI_REU_Convocation_Session_D_9:55am_8/07/2017	NNCI_REU_Convocation_Session_D_9:55am_8/07/2017 Session D: Global Learning Center Room 323 p.t.narcissism national association of independent colleges and universities members colloidal chemistry characterization question psychoanalysis metals a.t.m.biology and pharmacology of chemical elements shape woodworking microstructure phosphates c.i.hydrogen crystallography image processing film elasticity (physics)silicon carbon forms temperature mechanical engineering psychology nanometer nonmetals systems theory forestry materials reducing agents geodesy scientific techniques semiconductor materials cycle pyrotechnic fuels systems architectural elements materials science fuels statistical terminology graphing oxide sampling (statistics)n.c.i.freudian psychology material computer networking payment systems oxides concentrations walls ratios device i.p.o.difference structure cns sample chemical reactions s.c.m.particle engineering concepts geometry si derived units property law diffraction chemical elements microscopy p.d.dietary minerals laboratory equipment degree embedded systems From Leslie O'Neill A year ago 55 views 0 name Moderator: Nancy Healy, Georgia Institute of Technology Date 08/07/2017
01:09:54 NNCI_REU_Convocation_Session_A_8:40am_8/07/2017 NNCI_REU_Convocation_Session_A_8:40am_8/07/2017	NNCI_REU_Convocation_Session_A_8:40am_8/07/2017 Session A: Global Learning Center Room 222 d.n.a.percent chemical elements degree cross-linking geometric shapes helices scattering criminal law systems theory control theory reducing agents systems molecules pyrotechnic fuels syndromes materials science material nanotechnology proteins cross symbols elementary geometry photometry optics vision philosophical terminology christian terms theory of probability distributions genetics dietary minerals plastics industry chemical properties fingers biology and pharmacology of chemical elements medicine gene expression p.m.s.data analysis molecular machines glass physics television shows set in washington silicon length composite materials probability theory hydrophobic systems science color microscopes floors cybernetics management d.n.a cross-linking question microfluidic information science f.m.molecular biology physical quantities semiconductor device fabrication cells matter absorption and radiative transfer (optics)property layer nutrition curves sample concentration protein nan semiconductor materials nano gels channel circles d.c.n.c.i.molecule fluid dynamics fluid mechanics acids business terms materials biotechnology chemistry d.n.a.. From Leslie O'Neill A year ago 112 views 0 name Moderator: Marylene Palard, University of Texas at Austin Date 08/07/2017
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 A year ago 6 views 0 name Jean-Charles Faugère, Inria Paris-Rocquencourt, France Date 08/04/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 A year ago 7 views 0 name Jesús A. De Loera, University of California, Davis, USA Date 08/04/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 A year ago 46 views 0 name Dustin Mixon, Air Force Institute of Technology, USA Date 08/03/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 A year ago 43 views 0 name Caroline Uhler, Massachusetts Institute of Technology, USA Date 08/03/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 A year ago 18 views 0 name Pierre Lairez, Inria Saclay Ile-de-France, France Date 08/02/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 A year ago 9 views 0 name Bianca Viray, University of Washington, USA Date 08/02/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 A year ago 3 views 0 name Herbert Edelsbrunner, IST Austria, Klosterneuburg, Austria Date 08/02/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 A year ago 7 views 0 name Gheorghe Craciun, University of Wisconsin, Madison, USA Date 08/01/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 A year ago 17 views 0 name Carlos Beltrán, Universidad de Cantabria, Spain Date 07/31/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 A year ago 16 views 0 name Ragni Piene, University of Oslo, Norway Date 08/01/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 A year ago 36 views 0 name Joseph M. Landsberg, Texas A&M University, USA Date 07/31/2017