Search for tag: "algorithms"

70 Media

01:08:14 ORIE Colloquium: Volkan Cevher (Swiss Federal… ORIE Colloquium: Volkan Cevher (Swiss Federal Institute of Technology Lausanne), April 20, 2021	ORIE Colloquium: Volkan Cevher (Swiss Federal Institute of Technology Lausanne), April 20, 2021 “Limits of Robbins-Monro-type algorithms: From minimization to minimax optimization” Compared to ordinary function minimization problems, min-max optimization algorithms encounter… gradient problem max min things point sets function schemes sense step problems bit descent dynamics bias term size points algorithms From Henry Lam on April 20th, 2021 2 plays
57:25 CIDA Spring 2021 Seminar - Denis Willett: Early… CIDA Spring 2021 Seminar - Denis Willett: Early Pest Detection with the Applied Chemical Ecology Technology Program	CIDA Spring 2021 Seminar - Denis Willett: Early Pest Detection with the Applied Chemical Ecology Technology Program Zoom Recording ID: 94133933183 UUID: ErQAwniQTdevm3rcAYUYPA== Meeting Time: 2021-04-12T15:48:30Z Cornell Institute for Digital Agriculture - Spring 2021 Seminar: Digital Agriculture for Sustainable… soil ground organisms compounds question questions air sample plant lab pests end sort algorithms profiles pest instrument organism flow season From Gabriela Cestero on April 12th, 2021 3 plays
01:04:16 ORIE Colloquium: Daniela Saban (Stanford… ORIE Colloquium: Daniela Saban (Stanford University), March 16, 2021	ORIE Colloquium: Daniela Saban (Stanford University), March 16, 2021 “Online Assortment Optimization for Two-sided Matching Platforms” Motivated by online labor markets, we consider the online assortment optimization problem faced by a two-sided… suppliers customer customers supplier probability preferences function problem ratio algorithm request requests question thing setting side algorithms choice platform fact From Henry Lam on March 16th, 2021 3 plays
01:04:12 SOIL Seminar: Project Everest: Verified Secure… SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly	SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly Title: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build a stack of formally verified… crypto memory compiler stack instance implementation performance algorithms specification protocol assembly proposal From Ross Tate on February 1st, 2021 8 plays Creation Date February 1st, 2021 Creator 1 First Name Jonathan Creator 1 Last Name Protzenko Creator 1 Role Presenter Language English Searchable Yes Searchable On Cornell Web Search Public Search Engines Landing Page http://soil-initiative.org/seminar/#20210201
06:18 Lesson 30.8 Quicksort Performance Lesson 30.8 Quicksort Performance	Lesson 30.8 Quicksort Performance It looks like quicksort has solved our performance problems. However, we should not be so hasty. In this video, we look at the real performance for quicksort, and why it is not perfect. We also talk… quicksort pivot algorithm partition sort problem merge mergesort lot element beginning insertion ways things algorithms java sorting randomness deal reason From Hannah Lee on December 10th, 2020 10 plays Content Categories Instructional Recordings Creation Date December 11th, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
06:09 Lesson 30.5 Selection Sort Lesson 30.5 Selection Sort	Lesson 30.5 Selection Sort In the previous video we saw that insertion sort is not an ideal sorting algorithm. In this video we try our hand at another algorithm: selection sort. This is another simple algorithm that may be… region loop algorithm hand selection swap elements swaps loops problem checks module element 7s beginning algorithms sort insertion min alright From Hannah Lee on December 10th, 2020 11 plays Content Categories Instructional Recordings Creation Date December 11th, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
11:41 Lesson 30.4 Sorting Performance Lesson 30.4 Sorting Performance	Lesson 30.4 Sorting Performance Through the course, we have only cared about specifications, and not performance. But as we see in this video, sorting is an application where performance really matters. Little changes to the size… algorithm elements insertion swaps computer linear steps algorithms thing magnitude function factor performance log numbers swap loop element operations instep From Hannah Lee on December 10th, 2020 11 plays Content Categories Instructional Recordings Creation Date December 11th, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
01:11:14 Cornell IS Colloquium with Nathan Matias Cornell IS Colloquium with Nathan Matias	Cornell IS Colloquium with Nathan Matias Zoom Recording ID: 98959768127 UUID: cBYuzdmaRhO+l/JVxTmx5w== Meeting Time: 2020-12-03T20:45:43Z question algorithm behavior knowledge enforcement algorithms things kind science study systems companies law communities idea computer effects fact problem recommender From Wendy Ju on December 3rd, 2020 9 plays
51:27 11.2.20 Guy Blanc, Stanford University 11.2.20 Guy Blanc, Stanford University	11.2.20 Guy Blanc, Stanford University Zoom Recording ID: 97470844866 UUID: 3hqHxajDSomZ2NVBOUSyXg== Meeting Time: 2020-11-02T21:03:05Z tree function decision functions algorithms variable size impurity algorithm variance questions practice quantity monotone correlation log leaf guarantees progress epsilon From Jordan Staiti on November 2nd, 2020 50 plays
59:16 10.5.20 Darren Strash, Hamilton College 10.5.20 Darren Strash, Hamilton College	10.5.20 Darren Strash, Hamilton College Zoom Recording ID: 97470844866 UUID: kIjfyxrnQl6pa9G6/BwJEQ== Meeting Time: 2020-10-05T19:59:36Z cut algorithm minimum edges graph vertices edge algorithms cuts graphs practice vertex blocks problem times cactus contractions log block things From Jordan Staiti on October 5th, 2020 17 plays
05:18 Lesson 10.1 Algorithms Lesson 10.1 Algorithms	Lesson 10.1 Algorithms In this video we introduce the notion of an algorithm, which is an is a way of describing code (or any process) that is not limited to a specific programming language. You should always develop an… errors function python step error specification syntax problem algorithm functions cases test definition testing implementation idea algorithms programmers outline class From Hannah Lee on October 2nd, 2020 29 plays Content Categories Instructional Recordings Creation Date October 1st, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
01:19:20 Milstein Invited Lecture - Phil Zimmermann Milstein Invited Lecture - Phil Zimmermann	Milstein Invited Lecture - Phil Zimmermann Zoom Recording ID: 96610307248 UUID: mZ1ztoAtR22wXeIQs0Cm0g== Meeting Time: 2020-07-30T23:46:15Z bicycle shop international relations investigative journalist discrete logarithms money top level legal professions american television news programs rooms cryptographic attacks academic terminology major governments top-level domains glass production long time rights applications criminal law legal doctrines and principles monetary economics big fan teaching cryptographic puzzles criminal investigation political terminology labor laws cryptography elliptic curve business partner opposite direction bad guy semiotics classes of computers emergence g.p.s. receivers crypto currency federal prosecutor grammar digital currencies public key contractual obligation mail server human rights groups american inventors dead body business model climate change society strategic management chaos theory rights project money supply complex systems theory palm os devices oral communication year criminal investigation social networks certificate authority urban studies and planning terminology pretty good email emerging technologies solve double spending real money discrete log problem forward secrecy great deal single point human rights abuses cryptocurrencies domain name system double spend iranian government quantum cryptography national security trust model monetary policy monetizing customer data legal environment signature big question wallet human rights historical record quantum computers theories of law internet connection funny thing currency threat model quantum algorithms financial cryptography quantum key exchange metaphysics of mind historical archives management public-key cryptography dear friend york times bit coin inflation technical detail seal team middle attack money works people elect future historians public key cryptography post quantum scoutcraft computer security american male singer-songwriters private industry town square people trust phone calls emergent properties town remote attacks first-person shooters culture stable currency big question encryption software encrypted form analytic capability global conflicts politics central bank trade center big point theoretical computer science group theory computing cold war law enforcement internet slang math problem tech company electronic money strong encryption long term public policy issues morse code cryptographic software economics terminology quantum computer entire computer computer security exploits caption complete personhood strong encryption software transport layer security philosophy top level signing abuse prevent double spending bank robbers law digital signature legal team observation educational psychology american guitarists forms of government nuclear warfare western democracy private key key management authoritarian regime fiber optic cable banks human rights project From Tapan Parikh on July 31st, 2020 9 plays
01:54:32 Milstein Invited Lecture - Lilly Irani Milstein Invited Lecture - Lilly Irani	Milstein Invited Lecture - Lilly Irani Zoom Recording ID: 96610307248 UUID: F3+SQojeRSGtvEt1fB/oiQ== Meeting Time: 2020-07-09T23:12:10Z recommender algorithms takes power frame ethical legal professions future making practices tech worker webcomics in print long time surveillance capitalism big data justice started paying user interface 1st responder short term human-based computation alphabet inc. teaching community building tech industry social information processing cryptography good work social inequality google services tech pro natural evolution generate profit human–computer interaction grammar mirror lessons android (operating system) software paying attention trauma center solitary position comedy webcomics google search ethical framework google earth security natural resource venture capital tech work software that uses qt great success security engineers machine learning mutual aid traumatology ethically trained mechanical turk programming languages making profit cloud services mechanical turk platform identifying points technical skill political coalition programming language influence technology people talk multilingual websites marginalized people key decision maker entire business model secondarily legal softer engineers national security amazon (company) social change long history public opinion shades of red software engineer people kind google software amazon.com community monica idea minimum wage learning kill people open source making people virtual reality american business pioneers crime prevention internet search engines crowdsourcing sociological terminology social consciousness operations research artificial intelligence amazon mechanical turk build relationships data processing political science terminology watch t.v. church workers face recognition american websites change harmful structures independent contractors social movement military contract collective action public interest public safety rural area social resources red engineers computing user interface techniques law enforcement 4000 people tech company health care television team long term ios software caption complete software project notation business models user experience san diego surveillance market research community organization computer science social movements liberal arts human computer interaction user interfaces people community medics entrepreneurship types of organization middle east human communication internalize ideas public interest technology movement organization web mapping social justice capitalism business terms concluded webcomics big tech companies labor relations small business From Tapan Parikh on July 10th, 2020 11 plays
01:03:46 BEE 3600 Lecture 23 Video BEE 3600 Lecture 23 Video	BEE 3600 Lecture 23 Video Zoom Recording ID: 596257102 UUID: z2fO8Qu+SQ+er7SCuIKMYw== Meeting Time: 2020-04-30T18:42:35Z selection sweeteners human engineer maximal steady microbiology biological systems solutions concentration evolutionary biology caption complete dna world health organization essential medicines breads american rhythm and blues musical groups system oral communication metabolites mutation alchemical processes metric matrix gene expression extracellular growth rate systems nutrition cellular respiration metabolic network regulator sequence physical quantities aerobic organisms anatomy chemistry bioinformatics number connects physiology condition flux distribution reaction genetic algorithms substrate constraint fitness function american dance music groups solution metabolism matter optimization key metric distribution physical chemistry expression reaction flux From Buz Barstow on April 30th, 2020 8 plays
54:48 ORIE Colloquium, 3/18/2020 - Ashia Wilson ORIE Colloquium, 3/18/2020 - Ashia Wilson	ORIE Colloquium, 3/18/2020 - Ashia Wilson “Variational Perspectives on Machine Learning: Algorithms, Inference, and Fairness”Machine learning plays a key role in shaping the decisions made by a growing number of institutions.… numerical analysis force incredibly hard machine learning model convergence rate continuous time forms of energy cybernetics 2nd order learning measurement ejc85 systems theory objective function caption complete differential calculus predictive model properly formulate statistics university of colorado at boulder dynamical system approximate proselytisation length fiction approximate cross elevation large consensus systems 2nd order approximation ventilating approximate proselytes scientific method faster rate cross elevation procedure theatre statistical classification optimization algorithms and methods collaboration learning algorithms approximate cross-pollination african-american music good sense nice result dynamic systems statistical theory functional analysis cell phone narratology model selection commerce approximate proselytisation procedure physical geography futurology chemical processes heating application areas machine learning data set gradient descent and air conditioning error functional derivative excel aeration statistical models model selected statistical error statistical deviation and dispersion From E. Cornelius on March 17th, 2020 137 plays
54:43 20191030_CIDA_Industry-Ag Analytics Panel_The… 20191030_CIDA_Industry-Ag Analytics Panel_The Connected Farm_Opportunities and Challenges of Improving Productivity Through Connectivity.mp4	20191030_CIDA_Industry-Ag Analytics Panel_The Connected Farm_Opportunities and Challenges of Improving Productivity Through Connectivity.mp4 supply chain complex systems theory intermittently connected model development feed solutions data sets survey methodology networks data pipeline real problem systems theory engineering vehicles companies listed on the new york stock exchange social information processing key things variable rate commercial item transport and distribution geography terminology plan ahead demography ecology business model validation process general manager agriculture sociology genetics private company human habitats mesh network microeconomics data scientists social networking services real time business environmental science marketing statistical terminology lawrence wang retailing management digital agriculture single answer train algorithms coffee shop industry cloud connectivity production economics data privacy types of business entity data science peer communication communication theory cybernetics learning genomic tuesday information science statistics open source and wholesaling privacy university relations sociological terminology data management microsoft application programming interfaces production and manufacturing open methodologies differential privacy white space commerce data collection 1st question genealogy supply chain management terms machine learning companies in the dow jones industrial average rural area distribution climatology artificial intelligence connected edge private sector business intelligence technology caption complete data sharing economics terminology computer vision design of experiments gene editing collaboration scientific classification cell phone data sharing side rural geography open data popular culture business terms microsoft From Matt Gorney on November 7th, 2019 7 plays