No abstract available

We present algebraic techniques to analyze state space models in the areas of structural identifiability, observability, and indistinguishability. While the emphasis is on surveying existing algebraic tools for studying ODE systems, we also present a variety of new results. In particular: On structural identifiability, we present a method using linear algebra to find identifiable functions of t...

Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide means to integrate developers with the software process and the supporting technology. Since during software development many information resources are produced and used, it is very important to add semantics to them ...

Here we evaluated the anti-cancer activity of aqueous Oldenlandia diffusa (OD) extracts (ODE) in colorectal cancer (CRC) cells. We showed that ODE exerted potent anti-proliferative, cytotoxic and pro-apoptotic activities against a panel of established CRC lines (HCT-116, DLD-1, HT-29 and Lovo) and primary (patient-derived) human CRC cells. ODE activated AMP-activated protein kinase (AMPK) signa...

Hybrid systems are dynamical systems which exhibit both continuous flow and discrete jumps. They are natural modeling formalism for the systems composed of a discrete controller interacting with a physical environment. Since hybrid systems often appear in safetycritical situations, it is non-trivial to study their behavior. A typical way to do that is to explore the reachable state space of a h...