Search for tag: "model theory"

486 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 23 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 39 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 41 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