Search for tag: "specification languages"

12 Media

20 - Rolling (cont'd) Session 20 duration 48 minutes 30 seconds 20 - Rolling (cont'd) Session 20 20 - Rolling (cont'd) Session 20	20 - Rolling (cont'd) Session 20 2013-04-04 08:57:15+00 elementary algebra squared sliding dynamics topology energy economics algebra depend perpendicular diagrams chemical engineering rigid bodies k.. earth classical mechanics calculation force demonstration friction force block specification languages forms of energy particle physics thing thermodynamics simple machines mechanics statics minus energy m.r. acceleration answer statistical terminology bigger linear algebra length motion mass angle gyroscopes analytic geometry caption complete pendulums coefficient chemistry problem concepts in physics equation trigonometry kinetic neuroscience decision theory friction geography communication information science spring 2013 greek alphabet velocity question videonote matter materials science tribology kinematics mechanical engineering dynamical systems free body rotation computing terminology elementary geometry From mjp337@cornell.edu 17 plays
02 - Cross product dot product moment Session 2 duration 52 minutes 9 seconds 02 - Cross product dot product moment Session 2 02 - Cross product dot product moment Session 2	02 - Cross product dot product moment Session 2 2010-08-27 16:14:27+00 display technology latin alphabet mechanics dot product analytic geometry perpendicular reference point point picture symbols syntactic entities specification languages videonote information retrieval binary operations cross astrometry caption complete surfaces philosophical terminology elementary mathematics linear algebra rotation vector product algebra force euclidean geometry geometry arithmetic concepts in physics geography terminology thing cross product meaning (philosophy of language) fall 2010 syntax moment factor distributive graphic design scalar product geometric measurement vectors coordinate systems b.. magnitude question direction tendency virtual memory terms component mathematical logic classical mechanics moment vector materials length k.. factor mathematical notation elementary algebra greek alphabet philosophical logic writing media semantics equations moment From mjp337@cornell.edu 152 plays
CS2110-FA17-11 Session 11 duration 47 minutes 54 seconds CS2110-FA17-11 Session 11 CS2110-FA17-11 Session 11	CS2110-FA17-11 Session 11 2017-09-27 00:00:00+00 internet search engines linear algebra statistical terminology caption complete computational complexity theory thing postcondition semantics databases sorted order videonote syntactic entities algorithm sorting algorithms control flow application information retrieval sorting relative quicksort recursive latin alphabet merge recursion sorting algorithm programming language topics invariant n.. online sorts algorithms array formal methods unified modeling language precondition fall 2017 database management systems syntax fox searchlight pictures films character philosophical terminology operations research specification languages signal processing stuff computer programming place tradeoff mathematical logic internet terminology programming constructs element data structures start time slot space pivot philosophical logic From mjp337@cornell.edu 323 plays
CS2110-FA17-07 Session 07 duration 47 minutes 34 seconds CS2110-FA17-07 Session 07 CS2110-FA17-07 Session 07	CS2110-FA17-07 Session 07 2017-09-13 00:00:00+00 data structures computer file formats functions and mappings operations numbers structure element specification compilers egalitarianism theoretical computer science psychology semantics philosophical terminology implementation equal videonote dot rectangle design type theory difference educational psychology pedagogy information theory geometry implement aesthetics binary arithmetic computer science invasive mammal species abstract data types thing p.d.f. fall 2017 specification languages meaning (philosophy of language) teaching object write method computing terminology grammar data types elementary mathematics interface class cognitive science instance comparable circle sorting algorithms stack philosophical logic minute quadrilaterals linguistics abstract caption complete circles extend function shape geography length geometric algorithms From mjp337@cornell.edu 276 plays
CS2110-FA17-27 Session 27 duration 33 minutes 48 seconds CS2110-FA17-27 Session 27 CS2110-FA17-27 Session 27	CS2110-FA17-27 Session 27 2017-11-29 00:00:00+00 thing data structures cognitive science computer security evaluation computing operations research h.t.t.p. communication cryptographic computer systems application design wrong programming caption complete password authentication digital electronics computing terminology compiler construction specification languages information science mathematical optimization language accountability linux security secure cross-platform software computer security exploits programming language implementation sorting algorithms virtual memory program problem computer science computer programming computer memory operating systems systems engineering philosophical terminology computer hacking algorithms systems theory restrictions email software engineering theoretical computer science social sciences software bugs recitation system law specification object-oriented programming languages emotion programming languages internet protocols psychology free software programmed in c humanities called h.t.t.p. implementation race condition computer networks object people videonote law enforcement data management economic problems fall 2017 static program analysis tools internet cryptography vulnerability information theory recursion announcements architectural design copyright law political science terms computer social concepts From mjp337@cornell.edu 59 plays
CS2110-FA17-23 Session 23 duration 49 minutes 51 seconds CS2110-FA17-23 Session 23 CS2110-FA17-23 Session 23	CS2110-FA17-23 Session 23 2017-11-10 00:00:00+00 consumer programming constructs computer programming block thing fall 2017 multiplication communication producer staple foods distributed computing problems wait list rye pastry structure computing terminology algebra breads meat law baking operating systems videonote c.m.s. shelf synchronized synchronization specification languages method object bread space notify latin alphabet economics terminology concurrency (computer science) caption complete commerce counter q.. tuesday wait element digital electronics array packaging implementation synchronize queue thread computer science elementary number theory business ring theory From mjp337@cornell.edu 65 plays
CAM Colloquium: Hinke Osinga - Computing Global… duration 54 minutes 56 seconds CAM Colloquium: Hinke Osinga - Computing Global… CAM Colloquium: Hinke Osinga - Computing Global Invariant Manifolds: Techniques and Applications ,Version 2	CAM Colloquium: Hinke Osinga - Computing Global Invariant Manifolds: Techniques and Applications ,Version 2 Friday, October 24, 2014 at 3:30pm Global invariant manifolds play an important role in organizing the behavior of a dynamical system. Together with equilibria and periodic orbits, they form the… mechanical engineering computation algebra family evaluation building on premise system concepts in physics developmental psychology image processing research educational psychology data modeling females love start eng experiment interesting geometric topology systems science knowledge earthquake approximation transition mediasite sociology of culture geography aesthetics sex numerical analysis realization architectural elements mind social networking services equation childhood natural sciences solution elementary mathematics information theory conversation time series analysis anatomy topology mathematical analysis point emotion systems theory manifold picture problem solving communication perturbation information science personal life and uncertainty thing women interpersonal relationships dimension health geography terminology current specification languages cognitive science question earth force psychology fall 2014 concentration caption complete signal processing intelligence structural system integration analytic geometry philosophical terminology milliseconds medical terminology information trigonometry hinke osinga cornell cam colloquium From E. Cornelius 10 plays
CAM Colloquium - Raghu Pasupathy: Adaptive… duration 48 minutes 16 seconds CAM Colloquium - Raghu Pasupathy: Adaptive… CAM Colloquium - Raghu Pasupathy: Adaptive Sampling for Stochastic Recursions	CAM Colloquium - Raghu Pasupathy: Adaptive Sampling for Stochastic Recursions For roughly six decades since the seminal paper of Robbins and Monro (1951), Stochastic Approximation has dominated the landscape of algorithms for solving root finding and optimization problems with… fall 2014 concepts in physics personal life closer probability liberal democracies caption complete development philosophical terminology estimation theory sampling opposition record performance art emotions vitalism christian theology theology conference artistic techniques good reason regulation information theory distribution suffering difference human behavior specification languages approximation philosophy of religion on premise materials reason information science theory of probability distributions sequence book of genesis problem mediasite question painting techniques estimate sample thing dualism eng universe data analysis expectation numerical analysis reasoning convergence proclamation emotion statistical terminology communication thought interpersonal relationships islam estimation probability theory contribution From E. Cornelius 7 plays
ORIE Colloquium on 2/14/2012 - Pierre Patie: … duration 1 hour 9 minutes ORIE Colloquium on 2/14/2012 - Pierre Patie: … ORIE Colloquium on 2/14/2012 - Pierre Patie: Asian Options and Wiener-Hopf Type Factorization	ORIE Colloquium on 2/14/2012 - Pierre Patie: Asian Options and Wiener-Hopf Type Factorization Tuesday, February 14 at 4:15pm Frank H.T. Rhodes Hall, 253 Asian options are path-dependent contingent claims, whose payoff is a function of the average of underlying prices over a prescribed time… question political philosophy option data management commerce action eng economics terminology philosophical terminology physical exercise transformation situation films shot in new york city legal procedure concepts in physics human behavior marketing cultural conventions theory of probability distributions technique moment business law institutes density reason expression photography data types thought industry market structure and pricing specification languages accountancy program factorization virtue probability theory competition (economics) mediasite functional programming markets (customer bases) interpersonal relationships generalization interesting function financial markets contract law spring 2012 data modeling caption complete connection factorisation quality mathematical analysis price specific derivatives (finance) characterization force physical quantities corresponds semantics property b.s. interest anthropology court systems condition options philosophy disambiguation banking industrial processes representation on premise positive psychology process From E. Cornelius 8 plays
Ezra's Round Table/Systems Engineering… duration 1 hour 9 minutes Ezra's Round Table/Systems Engineering… Ezra's Round Table/Systems Engineering Seminar, 3/30/2012 - Leon McGinnis: Model Based Systems Development	Ezra's Round Table/Systems Engineering Seminar, 3/30/2012 - Leon McGinnis: Model Based Systems Development Friday, March 30 at 12:00pm Frank H.T. Rhodes Hall, 253 Those who design or manage large scale complex systems--such as the Mars orbiter, the Boeing 787, a global manufacturing system, a health… atlantic records albums embedded systems wind power software engineering unified modeling language diagrams fluid dynamics specification languages mediasite structure building engineering meaning (philosophy of language) mechanical engineering design caption complete ventilation philosophical terminology industry user interfaces domain specific model systems user interface techniques developmental psychology operations research aerodynamics educational psychology manufacturing model transformation auto parts environmental science technical communication scale modeling project eng producer diagrams mathematical terminology systems engineering cybernetics software design engineering cad knowledge language industrial engineering human behavior semantic problem solving radio electronics description stakeholder companies listed on the new york stock exchange system systems theory social philosophy based system thing parametric artificial intelligence vehicle braking technologies grammar engineering disciplines arena simulation systems science spring 2012 document theoretical computer science requirement electrical generators component production and manufacturing transformation diagram unified modeling language on premise neuropsychological assessment complex systems theory semantics mechanical power control computer data brake modulator computer programming scientific modeling supply chain management From E. Cornelius 24 plays
IES Migrations Series: Crossing the… duration 2 hours 29 minutes IES Migrations Series: Crossing the… IES Migrations Series: Crossing the Mediterranean: Migration, Death, and Culture	IES Migrations Series: Crossing the Mediterranean: Migration, Death, and Culture In AY 2017-2018, the Institute for European Studies launched the IES Migrations Series which conceptualizes the migration of not only people, but also images, words, ideas, technologies, objects,… europe european social issues antiquity charlemagne prize agricultural deities object member states of la francophonie ships country alpine countries organized crime cultural studies greek islands philosophy of law ancient roman art european union law refugees countries of the mediterranean sea migrant western europe specification languages number member states of the european union caption complete people north africa justice water transport law enforcement transitional justice member states of the union for the mediterranean political geography exhibitions museology countries in europe political systems g20 nations fertility goddesses continents criminal law political science immigration member states of the united nations liberal democracies organizations awarded nobel peace prizes turkish riviera nautical terms refugee population isis regions of africa geography terminology g8 nations nineteenth century social inequality demography social sciences years story ancient greece eastern mediterranean countries politics of the european union aftermath of war international relations thing human anatomy republics countries of the indian ocean border regions of asia international law epidemiology migration policy international organizations of europe sociological terminology c.n.n. government bicontinental countries u.n. french economic theories member states of nato question right of asylum human rights member states of the council of europe human geography forced migration france economics characterization ies ies migrations series institute for european studies From Pamela Hunsinger 85 plays
CAM Colloquium, 2014-01-31 - Guillaume Bal:… duration 57 minutes 56 seconds CAM Colloquium, 2014-01-31 - Guillaume Bal:… CAM Colloquium, 2014-01-31 - Guillaume Bal: High-contrast High-resolution Coupled Physics Imaging Modalities	CAM Colloquium, 2014-01-31 - Guillaume Bal: High-contrast High-resolution Coupled Physics Imaging Modalities ultrasound materials engineering radioactivity cam specification languages sound computer systems electromagnetic radiation symbols physical sciences systems science guillaume bal cornell p.d. mathematical objects natural sciences greek alphabet color interaction equations of physics vector calculus genetics image processing equation problem acoustics function communication control theory scientific method physical objects nuclear physics photometry caption complete idealism mechanics quantum electrodynamics sheer waste economic anthropology send light tissue information science metals imagination systems set theory seafood latin alphabet wireless linear operators in calculus evaluation personal life information theory statistical theory group theory logical consequence reasoning linear algebra mental structures religion polynomials forestry light statistical terminology interest hearing computing terminology u.t. m.r.i. high contrast medical terminology nuclear magnetic resonance meteorology light cone r.p.g elementary algebra natural resources measurement medical imaging organs mass determinants reconstruction photography banking partial differential equations condition structural system broadcasting health electronics occupational safety and health property computer programming algebra creativity computer graphics architectural elements optics particle physics knowledge representation low contrast reconstruct high resolution differential topology medical physics grammar inverse problem contrast vision food ingredients physics anatomy photon syntactic entities european space agency philosophy disambiguation continuum mechanics electromagnetism radio spectrum atomic physics universe value papermaking matter applied mathematics physical cosmology artificial satellites orbiting earth systems theory mathematical analysis force resolution business law accountancy scattering natural philosophy infinity applied and interdisciplinary physics existentialist concepts mechanical vibrations question aesthetics classical mechanics From E. Cornelius 23 plays