For finitely generated subgroups W 1 , … t <mml:annotation encoding="applica...

Abstract We consider the problem of covering multiple submodular constraints. Given a finite ground set N , weight function $$w: \rightarrow \mathbb {R}_+$$ w : N → R + r monotone...

protocol : THEORY BEGIN File : TYPE = fNONE,ONE,MANYg Msg : TYPE = [# first: bool, last: bool, toggle: bool #] State : TYPE = [# file : File, rn : bool, afile : bool, ... #] The automaton speci cation also changes but this is acceptable since Theorem 1 admits an abstract property pa distinct from the concrete property pc. We omit the details of this new automaton speci cation. In the abstract v...

Short summary of most important research results that explain why the work was done, what was accomplished, and how it pushed scientific frontiers or advanced the field. This summary will be used for archival purposes and will be added to a searchable DoD database. We obtained our main research results on four new approaches, 1) to rank items based on the MTDF (Multinomial with Trust Discount F...