Refine by Content Type

  • Ico_delete_facetFunction

Refine by Product

Refine by Time Frame

image thumbnail

updated 2 days ago

ProgCertSOS by Victor Magron

Certified program analysis using Sum-of-Squares (SOS) programming (static analysis, abstract interpretati..., template abstract dom...)

plotcontour(Xit, Yit, nit, y1, y2, P, number, dirname);

templatedesignbound (x, gC, gT, T, degP, r, sdpsolver)

templatedesignout (x, gC, gT, T, degP, r, kappa, sdpsolver)

image thumbnail

updated 6 days ago

DBL CP- DBL SP by eliana *

modulacion doble banda lateral sin portadora /modulacion doble banda lateral con portadora (signal processing)

am_dbl.m

am_dbl_cp.m

Contact us