Search for tag: "algorithms"

68 Media

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 5 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 8 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 8 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 9 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 Theory Seminar - Fall 2020: Guy Blanc,… 11.2.20 Theory Seminar - Fall 2020: Guy Blanc, Stanford University	11.2.20 Theory Seminar - Fall 2020: 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 37 plays
59:16 Theory Seminar - Fall 2020: Darren Strash,… Theory Seminar - Fall 2020: Darren Strash, Hamilton College	Theory Seminar - Fall 2020: 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 16 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 19 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 8 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 10 plays
59:00 February 6 Brad Hayes February 6 Brad Hayes	February 6 Brad Hayes formal sciences personhood facial recognition reasoning concepts in ancient greek metaphysics idealism knowledge philosophy of logic companies listed on nasdaq concepts in ancient greek philosophy of mind computer science facial recognition technology signal processing digital life initiative national institute ongoing surveillance emergence recognition technology enable 3rd party companies in the prism network cognition real steps truth western culture democratic freedom nist business methods society consumer magazines tech sector human communication consumer reports instantaneous photographs evaluation hard questions emerging technologies facial recognition services 1st step problem solving skills ontology magazines published in new york american dance music groups metaphysics of mind logic digital life human rights indie rock musical groups from california theories of law philosophical logic supreme court cybernetics learning concepts in metaphilosophy privacy york times public safety english-language television programs sociological terminology rationalism artificial intelligence inductive reasoning recognition algorithms musical groups from san francisco virtue recognition services electrical engineering computational fields of study phone location electronic engineering legal entities facial recognition market law enforcement cloud computing providers tech company politics continental philosophy metaphysics caption complete concepts in the philosophy of science search warrant english-language television programming human beings philosophy entrepreneurship metaphilosophy abuse human head and neck 1st instance law mediasite meaningful human thought informed market concepts in the philosophy of mind error rate facial recognition algorithms legislatures From Jake Lopez on June 30th, 2020 7 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 5 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 122 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 6 plays
02:22:33 Young Researchers October 2019 (Not recorded… Young Researchers October 2019 (Not recorded correctly)	Young Researchers October 2019 (Not recorded correctly) linear program expected reward partial smoothness highest probability generalized equation geometric topology contemporary art specific bundle differential calculus salesman problem global convergence blue set general case elementary algebra classical deterministic poll numbers smooth functions higher degree cubic polynomial longer hold optimization algorithms and methods underlying structure function dimensional problem mathematical and quantitative methods (economics) smooth gradient squares polynomials minimal case stationary condition black box gradient descent expected number upper bound local min variational inequalities numerical analysis ejc85 lower dimensional deterministic algorithm linear convergence rate first order methods active manifold semi definite objective function chromatic number convex analysis local man statistical theory negative gradient direction original objective starting point convex problem north space wider search space high level idea complex form statistical methods statistical terminology linear approximation gradient approximation professor card single point performance profile bundle size traditional sort equations topology convex function conditional expectation function values optimal decisions classical case probability theory complicated manifold convergence rate reinforcement learning good quality elementary special functions primal dual optimality measure quality 1st order method types of functions local minima local minimum feasible region multivariable calculus differential geometry holds true operations research systems engineering smooth function statistical model natural question online algorithm constant rank manifolds dynamic programming competitive ratio type method high dimension quadratic approximation function evaluation intersection point regression analysis open question decomposable properties 2nd order special case 1st order caption complete design of experiments 1st time edge cost perfect graph algorithms north face 3rd condition hand side algebra mathematical analysis fast convergence mathematical optimization small probabilities adjacent vertices true gradient single edge sufficient decrease good conditioning strong perfect linear operators in calculus n.p. hard root-finding algorithms nonce move From E. Cornelius on October 5th, 2019 6 plays
01:23:44 Electron Tomography - Theory Electron Tomography - Theory	Electron Tomography - Theory 2017 PARADIM SUMMER SCHOOL Tomography Theory Ercius cartesian space dimensional space dimensional thing scale tomography dimensional reconstruction projection requirement solutions extremely high resolution original image physical science maximum tilting tilt series long time electron microscopy electron tomography compressed sensing inverse nanometers scientific techniques dimensional structure materials science equal angle signal processing concepts in physics photography low dose 1st thing point defect higher frequency single projection diffraction pattern pretty good microscopy needle sample big difference free transform original object spatial frequency vision carbon atom real space adam counting reciprocal space emerging technologies cat f.f.t. dimensional image perfect projections original projection atomic physics projected density experimental projections nano particles stem medical imaging high resolution carbon good reconstruction original projection direction unique object aberration corrected atomic scale beam electrons experimental data tilt axis original intensity nanometer depth pseudo polar microscopes reconstruction technique projection operation low frequency radio spectrum equally slope tomography quantum mechanics kinematics concentric squares cat scan higher dimensional quantum dot analytic geometry iterative loop entire image equal distance iterative algorithm classical mechanics digital photography called equally slope linear algebra grand challenge single particle simpler interpellation dimensional object geometry limitation high tilts nano scale phoria transform english alternative rock groups resolution tomography reconstruction packages building block caption complete digital geometry computer graphics free space reconstruction algorithm improve reconstructions high frequency atomic resolution projection image shell particle cohen resolution dimensional picture sine wave crystallographic defects t.m. advanced algorithms iterative process missing wedge information theory continuous function material science tomography experiment broadcasting mass sample things elementary mathematics chemistry electron microscope nanomaterials From James Overhiser on February 15th, 2019 25 plays