Search for tag: "integer"

15 Media

01:08:55 SOIL Seminar: An Indexed Type System for Fast and… SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly	SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly Title: An Indexed Type System for Fast and Safe WebAssembly Speaker: Adam Geller—University of British Columbia Summary: Often in low-level languages (i.e., assembly languages), potentially… assembly function constraint checks variable instruction language values types instructions memory integer constraints division precondition functions From Ross Tate on December 7th, 2020 14 plays Creation Date December 8th, 2020 Creator 1 First Name Adam Creator 1 Last Name Geller Creator 1 Role Presenter Language English Searchable Yes Searchable On Cornell Web Search Public Search Engines Landing Page http://soil-initiative.org/seminar/#20201207
53:21 Zoom Nov. 10. Operators and Abstraction Zoom Nov. 10. Operators and Abstraction	Zoom Nov. 10. Operators and Abstraction in this presentation we review the Python data model, showing off the various operators we can define in Python. This is an area where Python is much more advanced than older object-oriented… minutes class seconds degrees angle object string question times thing method lot exam division integer attributes angles things types multiplication From Hannah Lee on November 12th, 2020 3 plays Content Categories Instructional Recordings Creation Date November 12th, 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:04 Lesson 25.4 The raise Statement Lesson 25.4 The raise Statement	Lesson 25.4 The raise Statement Up until now, the only way that we knew how to create an error is with an assert statement. But these always create errors with the type AssertionError. In this video we show how to create errors… error statement object range integer errors precondition thing statements assertion function air custom expression rays bug enforcement foo preconditions division From Hannah Lee on November 12th, 2020 40 plays Content Categories Instructional Recordings Creation Date November 12th, 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
08:19 Lesson 23.5 Mixed-Type Operators Lesson 23.5 Mixed-Type Operators	Lesson 23.5 Mixed-Type Operators Operator overloading allows us to redefine the meaning of + or * on objects of our class. But sometimes we want to mix together types like a fraction and integer. In this video we show that it is… fraction fractions times multiplication method underscore int thing helper methods star left operation precondition integer definition expression p. multiply sense From Hannah Lee on November 8th, 2020 39 plays Content Categories Instructional Recordings Creation Date November 7th, 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
05:32 Lesson 16.2 For-Loop Design Lesson 16.2 For-Loop Design	Lesson 16.2 For-Loop Design In this video we show how to use for-loops in function definitions. In particular, we show that we go from a specification to code that uses a for-loop. loop result element answer function integers int body variable 4x alright pseudocode word practice statement lot integer values ints accumulator From Hannah Lee on October 19th, 2020 34 plays Content Categories Instructional Recordings Creation Date October 19th, 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
05:58 Lesson 14.4 Try-Except and Testing Lesson 14.4 Try-Except and Testing	Lesson 14.4 Try-Except and Testing We have a new control structure, so it is time once again to talk about testing. In this video we revisit the concept of code coverage and show testing a try-except is very similar to testing a… function test slash string precondition float cases branches frack statement problem division answer integer possibilities specification fraction works mind script From Hannah Lee on October 10th, 2020 19 plays Content Categories Instructional Recordings Creation Date October 10th, 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
52:44 Zoom Oct. 1. Objects Zoom Oct. 1. Objects	Zoom Oct. 1. Objects In this session we use the Python visualizer to help us better understand objects, a new type of data. For many students this is the first big difficulty jump in this course.This class is going to… assignment exam dot call question folder answer thing class 18th things majority person tutor lot rgb paper partner integer alright From Hannah Lee on October 2nd, 2020 5 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
05:53 Lesson 3.1 Built-In Functions Lesson 3.1 Built-In Functions	Lesson 3.1 Built-In Functions The easiest functions to use in Python are those that are built into it. They are listed on the Python Documentation page. In this video we examine some of these and show the syntax for how to use… function parentheses call functions expression python float int word arguments argument integer calls quit return expressions math webpage documentation answer From Hannah Lee on September 9th, 2020 13 plays Content Categories Instructional Recordings Creation Date September 9th, 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
04:33 Lesson 1.7 Mixed Expressions Lesson 1.7 Mixed Expressions	Lesson 1.7 Mixed Expressions For the most part, operations are used to combine two expressions of the same type. Adding together two ints is different from adding together two strings. In this video we see what happens when we… int python string float floats error integer types answer parentheses ent boolean expression quotes conversion reverse hand thing tool warning From Hannah Lee on September 4th, 2020 16 plays Content Categories Instructional Recordings Creation Date September 4th, 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
02:54 Lesson 1.2 Int Expressions Lesson 1.2 Int Expressions	Lesson 1.2 Int Expressions The most familiar type in Python is int, the set of integers. It supports all of the basic mathematical expressions that you expect, like addition, subtraction, multiplication, and division. However,… slash division integers operations operation remainder answer grade times things python numbers values floats aha percent ways integer thing multiplication From Hannah Lee on September 4th, 2020 23 plays Content Categories Instructional Recordings Creation Date September 4th, 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
51:31 30 - Determinants Part 2 Session 30 30 - Determinants Part 2 Session 30	30 - Determinants Part 2 Session 30 2009-04-03 09:07:28+00 basic concepts in set theory minus problem solving proof theory matrix theory number matrix terms equal question number theory egyptian artefact types determinant scientific method element ontology classes of computers communication metalogic triangular mathematical notation philosophical terminology combinatorics caption complete thing determinants linear pedagogy permutations understand abstract algebra integer sequences operation times chess expansion psychology geodesy numerical linear algebra column spring 2009 binary operations arithmetic logic permutation emotion multiplication set theory calculate videonote sparse matrices facts mathematical logic pattern elementary algebra functions and mappings real number elementary mathematics algebra factorial and binomial topics linguistics determine evaluation method formal sciences abstraction linear algebra minor grammar From mjp337@cornell.edu on June 26th, 2018 10 plays
41:36 20 - An example from vector spaces and… 20 - An example from vector spaces and orthogonality Session 20	20 - An example from vector spaces and orthogonality Session 20 2009-03-04 11:02:46+00 times integer sequences functions and mappings x.. differential videonote topology semantics lexicography concepts in physics triangles derivative solution thing group theory linear algebra w.. magnitude surfaces linear transformation spring 2009 philosophy disambiguation gate bridge grammar number elementary algebra geometry function differentiation coordinate randomness logical consequence multiplication logic mathematical analysis trigonometry meaning (philosophy of language) design of experiments matrix circles b.. elementary mathematics differential calculus acoustics elementary special functions geometric shapes mechanical vibrations one polynomials philosophical logic abstract algebra differential equations algebra calculation binary operations arithmetic songs written by tony banks (musician) caption complete transformation computer science vector functional analysis communication earthquake engineering coordinate systems numbers mathematical notation classical mechanics dimensions equation latin alphabet fourier analysis representation scripting languages product military ranks numerical linear algebra demonstration analytic geometry matrices data analysis software elementary geometry From mjp337@cornell.edu on June 26th, 2018 6 plays
56:49 CAM Colloquium - Mike Todd: Computation,… CAM Colloquium - Mike Todd: Computation, Multiplicity, and Comparative Statics of Cournot Equilibria in Integers	CAM Colloquium - Mike Todd: Computation, Multiplicity, and Comparative Statics of Cournot Equilibria in Integers We give an efficient algorithm for computing a Cournot equilibrium when the producers are confined to integers, the inverse demand function is linear, and costs are quadratic. The method also… minus business law accountancy elementary algebra creativity semantics computer algebra straightforward mathematical objects game theory macroeconomics c.i. positive logic total production integer case market structure and pricing spring 2015 algorithm real case analytic geometry characterization polynomials information retrieval conflict of laws statements function non-negative welfare state control flow mechanical engineering production economics higher education b.q. banking propositional calculus competition theoretical computer science microeconomics integer mathematical logic functional analysis family on premise numerical analysis production economic policy mathematical optimization education quadratic thing youth commerce engineering internet search engines marketing industry color operations research real analysis lower bound ring theory mechanics high school decision theory pricing upper bound bound economics mathematical analysis planning philosophical terminology order theory production and manufacturing concepts in physics republics markets (customer bases) eng liberal democracies set theory computability theory international trade non-cooperative games mathematical economics social policy generally accepted accounting principles statistical terminology producer environmental science fixed points (mathematics) e.j. topology biology terminology economies social psychology sorting algorithms theology minus side motivation mathematical notation infinity payoff function computer science produce quality mediasite caption complete types of functions arithmetic algorithms formal sciences From E. Cornelius on May 15th, 2018 4 plays
01:17:32 CAM Colloquium, 2014-04-11 - Steve Shaw: Coupled… CAM Colloquium, 2014-04-11 - Steve Shaw: Coupled Pendulums as Vibration Absorbers - How Nonlinear Dynamics Will Help Improve Automotive Fuel Economy	CAM Colloquium, 2014-04-11 - Steve Shaw: Coupled Pendulums as Vibration Absorbers - How Nonlinear Dynamics Will Help Improve Automotive Fuel Economy g.m. frequency physical quantities cornell people absorber nice thing companies listed on the new york stock exchange symmetry mac os x graphics software cam response problem thing interaction auto parts reprise records albums private equity portfolio companies picture american brands walls place motor vehicle companies mathematical notation graphic design company engine technology transformation former components of the dow jones industrial average medical terminology bifurcation geometry biology steve shaw point years caption complete technical communication tools graphics software horse management vehicle technology interesting electronic design automation parameter mathematical terminology essentially windows software car companies masculine given names amplitude turns nursing multinational companies integer sequences system order curves audio engineering engine From E. Cornelius on June 29th, 2017 4 plays
49:47 CAM Colloquium, 2016-01-29 - David Bindel:… CAM Colloquium, 2016-01-29 - David Bindel: Nonlinear Eigenvalue Problems: Theory and Applications	CAM Colloquium, 2016-01-29 - David Bindel: Nonlinear Eigenvalue Problems: Theory and Applications integer sequences systems science differential calculus computing terminology broadcasting elementary algebra boundary cam nasa space probes functional analysis problem solving aesthetics construction mathematical analysis logical consequence emotion theology numerical analysis spectral theory function climate change organizations personal life t.v. equation structure motivation reasoning philosophy of mathematics time series analysis conic sections data management chemical processes operator theory number coatings mass human behavior greek alphabet computer programming acoustics set theory ordinary differential equations law buy problem approximation ring theory semiconductor device fabrication infinity applied mathematics differential control theory concepts in physics higher dimensional numerical linear algebra food ingredients elementary geometry characteristic analytic functions tensors elementary mathematics formal sciences arithmetic engineering philosophy dynamical systems communication eigenvalue philosophical terminology mathematical concepts good times abstract algebra singular value decomposition differential equations hardware (mechanical) statistical terminology linear operators in calculus special functions signal processing component david bindel plants problem complex analysis caption complete mechanical vibrations architectural design condition plant morphology geometric measurement region mechanical engineering operator behavior functions and mappings exponentials classical mechanics meromorphic functions order system philosophical logic morality matrix inverse functions cornell types of functions determinants islam substrate telecommunications bit easier scientific terminology thing computational complexity theory mechanics linear algebra grammar cognitive science mathematical objects fiction topology industrial processes approximate psychology algebraic number theory vowel letters measurement inside transformation systems theory information science algebraic topology matrix theory elementary special functions polynomials algebraic varieties integral calculus algebra From E. Cornelius on June 27th, 2017 12 plays