Template dependencies (TD’s) are a class of data dependencies that include multivalued and join dependencies and embedded versions of these. A collection of techniques, examples and results about TD’s are presented. The principal results are: 1) Finite implication (implication over relations with a finite number of tuples) is distinct from unrestricted implication for TD’s. 2) There are, for TD...

We consider a discrete-time, linear time varying (LTV), multiple input, multiple output (MIMO) system with nu inputs and ny outputs. The system is known to be asymptotically stable, but the exact dynamics and the way they change over time are not known. We denote the vector of control inputs at time step t ∈ Z by u(t) = [u1(t), . . . , unu(t)] T , where ui(t) ∈ R, i = 1, . . . , nu are the indi...

A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas { 〈α, β〉 : T, α `S β and T, β `S α }, is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deduction theorem of the classical and intuitionistic proposi...

the largest class of algebraic hyper structures satisfying the module like axioms is the v h -module. in this paper, we consider the category of v h -modules and prove that the direct limit alwaysexists in this category. direct limits are defined by a universal property, and so are unique. the mostpowerful tool in order to obtain a module from a given v h - module is the quotient out procedure....

BACKGROUND An electrocardiogram (ECG) can provide information on subclinical myocardial damage. The presence, and more importantly, the quantity of coronary artery calcification (CAC), relates well with the overall severity of the atherosclerotic process. A strong relation has been demonstrated between coronary calcium burden and the incidence of myocardial infarction, a relation independent of...