Obtaining enough labeled data to robustly train complex discriminative models is a major bottleneck in the machine learning pipeline. A popular solution is combining multiple sources of weak supervision using generative models. The structure of these models affects training label quality, but is difficult to learn without any ground truth labels. We instead rely on these weak supervision source...

The problem of stable exact model matching of linear systems by static state feedback is considered. Based on the effect that a static state feedback produces on the unobservable/controllable part of the closed-loop system, we provide the set of all static state feedback control laws that solve the exact model matching. Moreover, necessary and sufficient conditions for the existence of static s...

MOTIVATION Understanding the transcriptional regulation of a gene in detail is a crucial step towards uncovering and ultimately utilizing the regulatory grammar of the genome. Modeling transcriptional regulation using thermodynamic equations has become an increasingly important approach towards this goal. Here, we present stream, the first publicly available framework for modeling, visualizing ...

The Global Trade Analysis Project (GTAP) is a research program initiated in 1992 to provide the economic research community with a global economic dataset for use in the quantitative analyses of international economic issues. The project’s objectives include the provision of a documented, publicly available, global, general equilibrium data base, and to conduct seminars on a regular basis to in...

Adoption of the Model-Driven Architecture approach is increasing each day. As any other software development project, a MDA-based project is constantly evolving given that software requirements change along their lifecycle. Thus, changes in MDA transformations are also frequent. These changes are hard and error-prone tasks when manually accomplished. We propose a static analyzer for inspecting ...

Model transformation is seen as a promising approach to automate software development and verification, thus improving quality and reducing production costs significantly. However, errors of transformation programs can propagate into the generated artifacts complicating the detection of errors. The current paper proposes a static type checking approach for early detection of typing errors of pa...

The static model was introduced to generate a scale-free network. In the model, N number of vertices are present from the beginning. Each vertex has its own weight, representing how much the vertex is influential in a system. The static model, however, is not relevant, when a complex network is composed of many modules such as communities in social networks. An individual may belong to more tha...

Pneumatic actuators convert pneumatic energy into mechanical motion. This motion can be linear or rotary. Linear motion is feasible with pneumatic cylinders (e. g. single-acting cylinder, double-acting cylinder, rodless cylinder) and pneumatic artificial muscles (PAMs). Pneumatic artificial muscle is the newest and most promising type of pneumatic actuators. PAM is a membrane that expands radia...

We study static timing analysis of programs running on GPU accelerators. Such programs follow a data parallel programming model that allows massive parallelism on manycore processors. Data parallel programming and GPUs as accelerators have received wide use during the recent years. The timing analysis of programs running on single core machines is well known and applied also in practice. Howeve...