Search for tag: "constraints"

3 Media

43:06 cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 function arrow constraints int types algorithm solution inference expression argument bool equations variables substitution equation result constraint unification term schemes From Daniel Macleod on August 16th, 2020 0 likes 141 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
04:54 Probing the diffusional enhancements of mesopores… Probing the diffusional enhancements of mesopores in hierarchical zeolites during liquid-phase Friedel-Crafts alkylation of 1,3,5-trimethylbenzene with benzyl alcohol	Probing the diffusional enhancements of mesopores in hierarchical zeolites during liquid-phase Friedel-Crafts alkylation of 1,3,5-trimethylbenzene with benzyl alcohol Zeolites are crystalline, solid Brønsted acid catalysts with tunable micropore (< 2 nm diameters) networks that act as molecular sieves by selectively accommodating molecules based on size.… prd20 reaction zeolite alcohol diffusion molecules structures zeolites selectivity pencil pore pathway energy pores crystal chemical crystals constraints activation size catalysts From Research Day on April 29th, 2020 0 likes 23 plays Date April 29th, 2020 Speaker Hayat Adawi, GS Department Chemical and Biological Engineering
50:11 Goldfarb, Donald "ADMM for Multiaffine… Goldfarb, Donald "ADMM for Multiaffine Constrained Optimization: Theory and Applications" May 15, 2018	Goldfarb, Donald "ADMM for Multiaffine Constrained Optimization: Theory and Applications" May 15, 2018 PCTS "Bridging Mathematical Optimization, Information Theory and Data Science" pcts bridging mathematical optimization information theory and data science donald goldfarb captions_12_17_2020 problem variables problems function convex solution lagrangian admm star term method assumptions form theory transpose rank thing blocks lagrange constraints From Broadcast Broadcast Center Staff on May 23rd, 2018 0 likes 64 plays Date May 15th, 2018 Speaker Donald Goldfarb Department PCTS Location 407 Jadwin Hall