Search for tag: "formal methods"

23 Media

01:00:31 NNCI_REU_Convocation_Session_C_9:55am_8/07/2017 NNCI_REU_Convocation_Session_C_9:55am_8/07/2017	NNCI_REU_Convocation_Session_C_9:55am_8/07/2017 Session C: Global Learning Center Room 222 profile gerontology process characteristics meetings american brands surface graphic design laboratory equipment computing input devices sociology temperature formal methods create question s.m. continuum mechanics p.m. methodology printing functionality structure contaminant scanning speed phosphorus companies listed on the new york stock exchange integrated circuits physical chemistry development materials science atlantic records albums fabless semiconductor companies p.m.a. transistor calendars graphics software scientific classification ratios paraphilias condition psychology genealogy software engineering semiconductor device fabrication photonics legal terms region software testing thought underexposure optimization death profile demography polymers scan speed lithography (microfabrication) university From Leslie O'Neill 69 plays 0 name Moderator: Lynn Rathbun, Cornell University Date August 7th, 2017
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 8 plays 0
01:00:59 Approximate Gaussian Elimination for Laplacians:… Approximate Gaussian Elimination for Laplacians: Fast, Sparse, and Simple - Rasmus Kyng	Approximate Gaussian Elimination for Laplacians: Fast, Sparse, and Simple - Rasmus Kyng We show how to perform sparse approximate Gaussian elimination for Laplacian matrices. We present a simple, nearly linear time algorithm that approximates a Laplacian by a matrix with a sparse… positive semi numerical analysis d.. administrative divisions formal methods theoretical computer science random edges incident major cities currency l.. mathematical logic factorization measurement multivariate statistics free educational software fall 2016 arc colloquium theory of probability distributions elimination. matrix abstract algebra p.s.t. statistical theory sparse matrices systems theory georgia tech iso basic latin letters elementary algebra b.. computer programming ok. arithmetic vowel letters greek alphabet a.b algebra statistical terminology transpose expectation numerical linear algebra edges recorded by gtlibrary data analysis p.. elimination variance matrices probability theory approximation randomness legal terms good bound algorithm electronic circuits value times elementary mathematics algorithms error linear algebra elementary special functions algorithms and randomness center x.. statistical deviation and dispersion From Katie Gentilello 95 plays 0 name Rasmus Kyng Date November 28th, 2016
58:21 BB_2016_03_31 BB_2016_03_31	BB_2016_03_31 limbic system health economics formal sciences consciousness personhood concepts in physics oncology meditation geography healthcare quality human behavior technical communication causality knowledge scientific revolution writing control theory sensory system systems types of business entity h.r. social groups physicians bb_2016_03_31 finance pharmacology subjects taught in medical school industrial design public health medical diagnosis health informatics medicine electronics literacy grammar skills journalism family law demography sociology of culture gerontology financial markets research methods people philosophical terminology mac os games unsolved problems in neuroscience health policy youth rights design surgery social sciences medical terminology health record patient safety mental health genetics business pharmaceutical sciences quality medical sociology mental structures research health internet microeconomics teens ok. evaluation gvu patient parent marketing statistics digital technology record system ontology physiology information technology human rights by issue health sciences industry experience thing alombardo7 production economics childhood emotion family systems science communication medical treatments community hearing and uncertainty cybernetics learning systems theory electronic decision theory city management emergency medicine communication design question information science identity diagrams production and manufacturing sociology index diseases and disorders construction understand project management commerce educational psychology infographics developmental psychology engineering value theories youth record windows games behavior hippie movement pedagogy theoretical computer science health promotion motivation aesthetics nursing computing computer networks medical specialties health care cognitive science applied linguistics education technology information hospitals methodology socioeconomics computer science consultation scientific method computing terminology development social issues york presbyterian parenting types of organization n.y.p.d. data evaluation methods business law psychology information systems software engineering information theory computer programming mass media formal methods psychiatry large urban current project personal health From Alec Lombardo 7 plays 0
56:33 BB_2015_11_12 BB_2015_11_12	BB_2015_11_12 film editing performing arts ok. machine translation technical communication knowledge systems theory project management infographics ensemble learning social information processing photography computer file formats semiotics yahoo image a.p.i. bb_2015_11_12 animal anatomy graphic design yahoo labs. tasks of natural language processing vision h.c.i. television series by universal television close caption philosophical terminology minutes long. information retrieval original video design measurement saturday theory of probability distributions human communication psychology vast majority social networking services gvu data analysis web image t.v. deafness si base units visualization (graphic) pragmatics mechanical engineering video summarization geometry user generated scientific modeling logic probability theory behavioral and social facets of systemic risk computational science fifteen percent and uncertainty collective intelligence cybernetics video frame writing statistics summer interns internet search engines user interface techniques information science music joint representation video processing knowledge representation computational linguistics video content ensemble system tech summarization alombardo7 digital photography library science machine learning data set video theoretical computer science transcription (linguistics) speech recognition orthography thing called engineering self-censorship technology metaphysics film and video technology information t.v internet terminology formal methods video signal input/output computer science natural language processing social psychology collaboration high-definition television computer graphics application programming interfaces raw text video understanding acoustics york city c.v.a. search engine word error laboratories From Alec Lombardo 24 plays 0
58:12 BB_2014_10_23 BB_2014_10_23	BB_2014_10_23 formal sciences free software legal professions dollar portfolio. rooms portfolio market structure and pricing ok. shades of blue point companies listed on nasdaq theoretical computer science real property law infographics companies listed on the new york stock exchange types of marketing personhood finance computing terminology internet machine learning c.e.o. financial economics mathematical finance standards securities contract law real estate i.b.m. logistics financial markets people wills and trusts philosophical terminology actuarial science infrastructure pricing institutes strategic management investment e.t.s. theory of probability distributions psychology corporate finance forecast capital microeconomics gvu disasters data analysis statistical ratios business marketing u.s. statistical terminology component estimation theory unix software ontology individualism web colors industry thing metaphysical theories alombardo7 numismatics logic standard unix programs bb_2014_10_23 minute prices behavioral concepts systems science color communication labour law films about extraterrestrial life cybernetics learning civil law (common law) computer law macroeconomics management online companies strategy accountancy open methodologies company construction index numbers project management commerce georgia stock market supply chain management terms a.g.g. corporations law american brands economic anthropology property statistical deviation and dispersion sorting algorithms motivation legal entities personal life sales cloud computing providers engineering cognitive science education aging payment systems formal methods percent social sciences computer science income performance scientific method t.d. universities and colleges stock intellectual property law structural system generally accepted accounting principles entrepreneurship optical spectrum creativity neuroscience copyright law data business law software engineering academia computer programming e.t.f. From Alec Lombardo 45 plays 0
58:02 BB_2012_04_26 BB_2012_04_26	BB_2012_04_26 walking consciousness concepts in physics promotion and marketing communications sfox9 survey methodology networks ok. human behavior technical communication knowledge systems science software project management systems theory environment infographics geodesy signal processing finance industrial design computer systems graphic design set theory digital electronics activity mathematical logic sociology of culture control flow navigational equipment learning people philosophical terminology unsolved problems in neuroscience wireless locating scientific modeling software design design examples aware systems transport psychology multimedia research video internet electronics developer metadata noise transportation business marketing statistical terminology mathematical objects machines statistics visualization (graphic) interaction science and technology studies extension biology terminology thing length context logic theoretical computer science navigation facility communication and uncertainty g.p.s. problem solving writing telecommunications personal development arts management phonetics system user interface techniques information science kinematics sociological terminology artificial intelligence systems engineering mobile phone manufacturers construction understand project management electronic design automation digital photography educational psychology bb_2012_04_26 supply chain management terms matter data management situation pedagogy usability mechanics group theory process characteristics implementations engineering cognitive science research methods physical objects capture computer graphics participant formal methods social sciences application methodology social philosophy input/output computer science cybernetics information user interfaces original version data gvu architectural design software engineering acoustics display technology reasoning knowledge representation computer programming behaviorism elementary mathematics From Sarah Fox 5 plays 0
57:13 BB_2012_03_29 BB_2012_03_29	BB_2012_03_29 international relations visitor personhood concepts in physics day flood experiments greetings sfox9 computer data ok. visualization technical communication twelve days writing control theory data types signal processing social information processing photography internet computer networking bb_2012_03_29 artwork economic systems financial data analysis political culture social concepts artist network political philosophy constitutional law science sociology of culture vision leadership styles information technology management cartography problem solving creative collaboration people intelligence scientific modeling design virtual communities encodings software design patterns social sciences cross-platform software business software psychology military tactics multimedia business sociology index innovation electronics packaging materials leader gvu instant messaging linguistics marketing database theory statistical terminology roll calls nonverbal communication data structures leadership digital technology visualization (graphic) pragmatics pipeline electrical components video game development language educational psychology human resource management social change english soldiers virtual reality political science terms systems science color communication philosophical logic community graphic design aesthetics cybernetics learning linux systems theory image processing research methods french websites arts statistics open source papermaking creativity original data information science m.s.h. war operating systems group theory open methodologies continents landscape architecture infographics data table. evaluation methods knowledge representation spreadsheet software project management commerce american websites languages electronic circuits developmental psychology economies project puting blocks data management hippie movement pedagogy motivation groupware user interface techniques computer networks personal life cloud computing providers business intelligence cognitive science economics technology philosophy disambiguation learning curve design of experiments computer graphics telecommunications engineering internet terminology thing collaborative software formal methods free software member methodology input/output computer science twelve hour social psychology intellectual property law physical attractiveness user interfaces collaboration philosophy types of organization ottoman slaves data rural geography structure architectural design software engineering acoustics information theory analysis patterns computer programming databases management elementary mathematics From Sarah Fox 26 plays 0
59:32 BB_2011_04_21 BB_2011_04_21	BB_2011_04_21 consciousness personhood concepts in physics speed market structure and pricing geography human behavior technical communication speed test companies listed on nasdaq digital media sensory system systems industrial design memory processes american romance novels african american bb_2011_04_21 reading evaluation game team social networking services constitutional law demography project management software things people sociology of culture optics development h.c.i. ecology research methods people philosophical terminology computer design foreign direct investment freeware social sciences machines cross-platform software fiction playstation 3 games psychology broadband multimedia research internet microeconomics ok. packaging materials email gvu internet protocols windows live instant messaging marketing statistical terminology active reading digital technology systems theory pedagogy software development portable software video game development geometry social change thing monetary policy high school logic usability navigation family systems science communication e.a. community applied linguistics aesthetics cybernetics learning linux school terminology p.c. arts management papermaking computer law information science kinematics business law accountancy open methodologies sociology index relationship graphical user interfaces construction computer art african-american culture horror video games contemporary art educational stages semantics commerce sailing african-american software that uses qt value youth thing people windows games british novels problem single-player-only video games conformity theoretical computer science electronic engineering project management liquid text computing computer networks personal life cloud computing providers engineering cognitive science skype educational institutions education technology information participant humanities marxist theory socioeconomics computer science social psychology document intellectual property law students collaboration musical quartets generally accepted accounting principles dead space team dead space series annotation fluid mechanics architectural design dead space home videotelephony information theory deviance and social control consumer behaviour business terms materials computer programming writing formal methods data cracker From Sean Brennan 1 plays 0
50:11 BB_2011_02_24 BB_2011_02_24	BB_2011_02_24 human rights computer data clocks rooms happiness ok. xml visualization technical communication group knowledge scales systems theory optical devices sensory system computational science social groups political terminology data modeling social information processing industrial design photography real system computer file formats economic systems furniture scientific method signal teams stuff constitutional law formal specification languages real estate community organizing optics learning people philosophical terminology economies video encodings social sciences transport psychology military tactics cognitive psychology image processing video conferencing research office equipment structuralism film and video technology internet microeconomics electronics evaluation remote employees gvu internet protocols human behavior marketing a.j concepts in aesthetics visualization (graphic) manufacturing pragmatics home automation life balance sociology of culture interpersonal relationships industry human resource management bb_2011_02_24 social change thing emotion unmanned vehicles family systems science color communication robotics community and uncertainty measuring instruments communication theory cybernetics problem solving tools george research methods arts management eye intention digital television merchant marine negotiation nice thing information science right. english grammar work group visual analytics sociology index molecular biology infographics collaborators cloud computing providers index numbers project management educational psychology imagination science humanist sans-serif typefaces corporatism socialism behavior design pedagogy conformity labour relations usability production and manufacturing user interface techniques personal life watches talking cognitive science ergonomics technology transducers information angle economics terminology organizational behavior formal methods web colors methodology social psychology document memory processes kinds theatre user interfaces collaboration civil procedure law software engineering videotelephony display technology business terms computer programming From Sean Brennan 1 plays 0
59:26 catm-evening_keynote catm-evening_keynote	catm-evening_keynote multimedia international relations diplomacy geopolitics sociocultural globalization ethnicity planning national legislatures theories of history market structure and pricing geography linguistics knowledge i.c.t. writing program project management contextualization political geography transformation decentralization finance government millennium development goals evolution human geography community tourism geography terminology social concepts companies member states of the united nations political philosophy constitutional law auxiliary sciences of history demography western culture i.b.m. sociology of culture development research methods people public relations economic development computer programming elections culture cultural geography school types design country classifications institutes christian terms employment social sciences criminology anthropological categories of peoples school terminology psychology economic theories heads of state regions of africa reconstruction internet catm-evening_keynote gvu historiography infrastructure truth business marketing u.s. government of south sudan management poverty ecclesiastical titles pragmatics information technology chief executive officers interpersonal relationships public administration social economy educational stages country industry social change thing logic political science terms political science communication formal methods tools hearing and uncertainty beginners and newcomers meaning (philosophy of language) problem solving parties systems theory telecommunications organizational theory statistics industrial rock musical groups data creativity accountability intention information science types of university or college morality continents taxation construction minister united methodist ceremonies population nonviolence software engineering society challenge anti-corruption measures youth universe economic anthropology pedagogy property theoretical computer science aesthetics administrative law computing countries in africa personal life commerce engineering cognitive science politics education technology political engineering philosophy disambiguation sociology index information democracy humanities nationalism administration investment broadcasting computer science social psychology liberal democracies dispute resolution intellectual property law sociolinguistics students collaboration philosophy types of organization republics student president law opportunity business law architectural design philosophical concepts international development acoustics information theory forms of government academia responsibility mass media legislatures From Sean Brennan 0 plays 0
01:06:15 BB_2007_11_01 BB_2007_11_01	BB_2007_11_01 bb_2007_11_01 economic theories systems science communication personal life concepts in physics h.c.i. interrogative words and phrases approximation libertarian theory turing machine cognitive science g.p.s. rooms human neuroscience systems theory tools social sciences machines ok. human behavior law human communication psychology technology people question system computing study human machine computer vision scientific terminology systems sociological terminology physical sciences right. artificial intelligence computer science computer storage picture philosophical terminology interactive industrial design computer networking models of computation anthropology interaction understand social psychology open system classes of computers computability theory rural geography american rock music groups social concepts grammar educational psychology intimate relationships thing computer constitutional law formal methods cybernetics problem gvu physics theoretical computer science From Sean Brennan 0 plays 0
55:27 BB_2005_11_10 BB_2005_11_10	BB_2005_11_10 online worlds internet advertising low level earth geography long time video death interesting point communication. systems theory bb_2005_11_10 teaching military terminology finance pharmacology online active massively multiplayer online games worlds geography terminology political philosophy sociology of culture developmental biology people philosophical terminology game design design ghosts psychology multiplayer health human anatomy gvu biology marketing beverages resurrection physiology interaction video game development dead person biology terminology experience thing place military ranks systems science color communication i.t. community graphic design learning arts military life virtual reality question system fiction war life sociology index massively multiplayer online role-playing games horror anime and manga high level project management character food ingredients speculative fiction solvents structuralism hippie movement theoretical computer science aesthetics role-playing game terminology player continental philosophy psychoanalysis metaphysics game designers humanities technology mud terminology instance methodology computer science video game development companies knitting role-playing types of organization abuse law darkness computer programming formal methods elementary mathematics From Sean Brennan 0 plays 0
59:16 FC_03-28-05 FC_03-28-05	FC_03-28-05 represent deductive reasoning computer data formal sciences concepts in physics reasoning machine density time series analysis systems science systems theory systems physical sciences data structure signal processing cryptography observational astronomy computing terminology physical cosmology computability theory computational problems political culture set theory statistical inference gvu applied mathematics kernel numerical analysis research methods energy greek alphabet searching binary operations information retrieval approximation fc_03-28-05 design machine learning particle physics gravitation psychology programming languages statistical theory declarative programming languages evaluation method bounding box internet protocols triplet historical scientific instruments environmental science mathematical objects estimation theory astrophysicist project management telescopes topology geometry type theory thing length learning logic non-parametric statistics classification point communication number formal methods tools functional analysis summary statistics mathematical logic problem solving quality decision theory statistics general relativity creativity fiction information science microwave background approximation. astrophysics artificial intelligence accountancy group theory vowel letters philosophical terminology distribution order theory problem logical consequence classical mechanics semantics distance data collection linear algebra euclidean geometry developmental psychology estimation of densities pedagogy data management theory of computation theoretical computer science sorting algorithms approximation algorithms k.t. futurology generalization real analysis cognitive science technology physical objects design of experiments information spacecraft launched by delta ii rockets basic concepts in set theory forestry computer vision computer science cybernetics mathematical notation computer programming scientific method coordinate systems metric geometry theatre algebra structure databases space telescopes computational complexity theory radio astronomy neuroscience astronomy data covariance and correlation algorithm patterns algorithms correlation exponentials representation evaluation methods dimension From Sean Brennan 43 plays 0
01:09:09 BB_2004_06_06 BB_2004_06_06	BB_2004_06_06 dollar theories of history source movement market structure and pricing ok. linguistics technical communication retailing software project management user interface project management companies listed on the new york stock exchange social information processing industrial design usability data c.e.o. libertarian theory software industry d.h. social concepts distributed computing architecture companies standards constitutional law i.b.m. logistics h.c.i. research methods people cultural geography design strategic management investment transport g.v. borland military tactics people celebrated in the lutheran liturgical calendar marketing microeconomics gvu high-technology business districts business database theory t.v. h.t.m.l. manufacturing pragmatics database management systems industry thing usability i.t. c.e.o v.p. corporate governance management and wholesaling virtual reality computer law tax law types of university or college right. open methodologies company computer companies real property law supply chain management terms companies in the dow jones industrial average international trade product management distribution theoretical computer science aesthetics u.i. dairy products legal entities user interface techniques sales cloud computing providers bb_2004_06_06 documents billion dollars formal methods free software market research methodology html computer science taxation intellectual property law product b.m.w. user interfaces landscape architecture generally accepted accounting principles law rural geography architectural design software engineering sociocultural evolution legal terms business terms costs computer programming databases evaluation methods From Sean Brennan 1 plays 0
56:49 BB_2004_04_04 BB_2004_04_04	BB_2004_04_04 performing arts data types concepts in physics planning geography linguistics character writing control theory systems audio engineering micromanagement signal processing video game terminology industrial design memory processes conceptual art avant-garde art semiotics political ideologies poetics strategy game abstract strategy games mental structures experiments cybernetics sociology of culture logistics force intelligence philosophical terminology academic degrees n.p.c. society game design design e.g.l. social sciences mac os x games project psychology programming languages multimedia research religion scientific terminology real time gvu internet protocols human behavior marketing time game arts illustration water transport playing game systems theory manufacturing video game development educational stages industry experience thing games action emotion love systems science color communication time strategy game film production community educational assessment and evaluation ancient greek theatre learning bb_2004_04_04 school terminology p.c. story management virtual reality fiction information science identity operations research postmodernism unit type classical mechanics culture developmental psychology youth school types hippie movement pedagogy game theory sorting algorithms aesthetics role-playing game terminology neverwinter player engineering cognitive science film sociology index role playing business models formal methods web colors literary theory g.l literature role-playing theatre types of organization interactive achievement award winners business law architectural design consumer electronics educational psychology linux games entertainment l.c.c. business terms computer programming r.t.s. casual gamer From Sean Brennan 0 plays 0