Search for tag: "tail"

9 Media

03:01 Efficient Propulsion of a Robotic Tuna, Agnes… Efficient Propulsion of a Robotic Tuna, Agnes Robang, UG '23 ( 2734812)	Efficient Propulsion of a Robotic Tuna, Agnes Robang, UG '23 ( 2734812) Most underwater vehicles today have spinning propellers, but designers of these vehicles are turning to nature for inspiration on improving the technology. Tuna are one of the most efficient… computational fluid dynamics (cfd) sweep angle strouhal number reduced frequency prd21 tail force fin angle water experiment frequency degrees sweep simulation channel dynamics geometry cruise vehicles internship strouhal condition bail cfd From Research Princeton Research Day on April 28th, 2021 2 likes 235 plays Speaker Agnes Robang, UG '23 Department MAE
05:54 Clerk's Tale-Sita's Ramayana Clerk's Tale-Sita's Ramayana	Clerk's Tale-Sita's Ramayana A video by Moira Fitzgibbons for use on the Middle Ages for Educators site. mafe medieval medieval meets modern sita ramayana chaucer image works translation tail clerks literature students petrarca century adaptation character interventions literatures images illustrations text reading From Jonathan Henry on January 25th, 2021 0 likes 21 plays Date January 25th, 2021 Speaker Moira Fitzgibbons
35:50 cos326-2020-16-02-laziness.mp4 cos326-2020-16-02-laziness.mp4	cos326-2020-16-02-laziness.mp4 Lazy Evaluation and Infinite Data cos326 stream cons unit function alpha head tail call suspension 2s arrow loop streams programming evaluation zip result expression fibs ink From Daniel Macleod on August 21st, 2020 0 likes 216 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
23:56 cos326-2020-08-03-induction-lists cos326-2020-08-03-induction-lists	cos326-2020-08-03-induction-lists Did I Get it Right? Part 3: Induction for Lists cos326 length induction tail proofs proof hand side theorem cat cases head hypothesis expression lists excess equation cons element access function From Daniel Macleod on August 16th, 2020 0 likes 195 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
36:57 cos326-2020-04-03-poly-ho cos326-2020-04-03-poly-ho	cos326-2020-04-03-poly-ho Polymorphism cos326 function alpha arrow beta mystery cons head int functions tail comp reduce elements comparison arguments lists fun argument return element From Daniel Macleod on August 16th, 2020 0 likes 268 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:03 cos326-2020-04-02-map-reduce-reasoning cos326-2020-04-02-map-reduce-reasoning	cos326-2020-04-02-map-reduce-reasoning Poly Ho! cos326 function argument functions square arrow arguments head ink times call parameter thing element cons fun tail programs sum lambda expression From Daniel Macleod on August 14th, 2020 1 likes 295 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:16 cos326-2020-04-01-c-rant cos326-2020-04-01-c-rant	cos326-2020-04-01-c-rant C Rant cos326 cons java tail vulnerabilities cases point head lists ml length ocaml thing programming lot induction values bit types pointers sell From Daniel Macleod on August 14th, 2020 0 likes 203 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:49 cos326-2020-03-03-insertion-sort cos326-2020-03-03-insertion-sort	cos326-2020-03-03-insertion-sort Insertion Sort cos326 function insertion loop portion head array tail arguments argument int setup rest insert functions lists element arrays call sort algorithm From Daniel Macleod on August 14th, 2020 0 likes 267 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
22:56 cos326-2020-03-02-lists cos326-2020-03-02-lists	cos326-2020-03-02-lists Thinking Inductively cos326 function cons cases lists pattern element int pair pairs zip result tail integers expression base match option excess argument pause From Daniel Macleod on August 14th, 2020 0 likes 342 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ