Find link

language:

Find link is a tool written by Edward Betts.

searching for S-procedure 6 found (8 total)

Bar (law) (824 words) [view diff] no match in snippet view article

In law, the bar is the legal profession as an institution. The term is a metonym for the line (or "bar") that separates the parts of a courtroom reserved

Procedural parameter (2,299 words) [view diff] no match in snippet view article find links to article

zprec and zswap are defined as procedure zprec(r, s): return (z[r] < z[s]); procedure zswap(r, s): float t; t ← z[r]; z[r] ← z[s]; z[s] ← t For another example

Kalman–Yakubovich–Popov lemma (694 words) [view diff] exact match in snippet view article find links to article

and Likhtarnikov A. L. (2006). "Kalman-Popov-Yakubovich lemma and the S-procedure: A historical essay". Automation and Remote Control. 67 (11): 1768–1810

Class invariant (1,587 words) [view diff] no match in snippet view article find links to article

=> not Is_Full(S) and then I /= Invalid_Value, Post => not Is_Empty(S); procedure Pop(S : in out Stack; I : out Item) with Pre => not Is_Empty(S), Post

Walking subcaucus (1,079 words) [view diff] no match in snippet view article find links to article

used to break the tie. The winner(s) will keep the additional delegate(s). Procedure requires to make sure every viable candidate has at least one delegate

Sergei Treil (690 words) [view diff] case mismatch in snippet view article find links to article

at the Mathematics Genealogy Project Megretski, A.; Treil, S. (1990). S-Procedure and Power Distribution Inequalities: A New Method in Optimization and