The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions.

This paper describes Ariadne, a Java tool for the Eclipse IDE, that links technical and social dependencies. Ariadne is based on the observation that technical dependencies among software components create social dependencies among the software developers implementing these components. We describe our approach for creating technical, socio-technical and social dependencies from a software proje...

We present an Approximate Dynamic Programming (ADP) approach for the multidimensional knapsack problem (MKP). We approximate the value function (a) using parametric and nonparametric methods and (b) using a base-heuristic. We propose a new heuristic which adaptively rounds the solution of the linear programming relaxation. Our computational study suggests: (a) the new heuristic produces high qu...

This paper uses the tools of information theory to examine and reason about the information content of the attributes within a relation instance. For two sets of attributes, an information dependency measure (InD measure) characterizes the uncertainty remaining about the values for the second set when the values for the rst set are known. A variety of arithmetic inequalities (InD inequalities) ...

Linear algebra plays a key role in the theory of dynamical systems, and concepts from dynamical systems allow the study, characterization and generalization of many objects in linear algebra, such as similarity of matrices, eigenvalues, and (generalized) eigenspaces. The most basic form of this interplay can be seen as a matrix A gives rise to a continuous time dynamical system via the linear o...

Analyzing the correlation between banks’ assets and liabilities after the financial crisis has been focused by many countries. As the banks in Iran have proved to be the biggest financer required for the production sector, investigating the asset and liability portfolio and their correlation appears to be very important. In this paper, there has been an attempt to patronize the Iranian banking ...

We construct the exponential graph of a proof in (second order) linear logic, an artefact displaying the interdependencies of ex-ponentials in. Within this graph superruous exponentials are deened, the removal of which is shown to yield a correct proof. with essentially the same set of reductions. Applications to intuitionistic and classical proofs are given by means of reduction-preserving emb...

Many nonlinear dynamical phenomena can be effectively modeled by a system that switches among a set of conditionally linear dynamical modes. We consider two such Markov jump linear systems: the switching linear dynamical system (SLDS) and the switching vector autoregressive (S-VAR) process. In this paper, we present a nonparametric Bayesian approach to identifying an unknown number of persisten...

We introduce both neural higher-order linear-chain conditional random fields (NHO-LC-CRFs) and a new structured regularizer for these sequence models. We show that this regularizer can be derived as lower bound from a mixture of models sharing parts of each other, e.g. neural sub-networks, and relate it to ensemble learning. Furthermore, it can be expressed explicitly as regularization term in ...

A standard system of interval linear equations is deened as Ax = b, where A is an m n coeecient matrix with (compact) intervals as entries, and b is an m?dimensional vector whose components are compact intervals. It is known that for systems of interval linear equations the solution set, i.e., the set of all vectors x for which Ax = b for some A 2 A and b 2 b, is a polyhedron. In some cases, it...