The breadth and depth of heap properties that can be inferred by the union of today’s shape analyses is quite astounding. Yet, achieving scalability while supporting a wide range of complex data structures in a generic way remains a long-standing challenge. In this paper, we propose a way to side-step this issue by defining a generic abstract domain combinator for combining memory abstractions ...

Many hospitals struggle with insufficient capacity for their inpatients. As a result, may benefit from an approach that evaluates the occupancy of inpatient wards. In this study, we approximate distributions wards, accounting cases where patients relocate due to shortage beds. The approximation employs homogeneous continuous-time Markov chain evaluate each ward as queue containing multiple clas...

Hydrogels have been used for biomedical applications in recent decades. They are a perfect candidate for regenerative medicine as they resemble the extracellular matrix of native tissues. In addition, their highly hydrated structure makes them a suitable choice for drug and other therapeutics delivery. Injectable hydrogels have increasingly gained attention due to their capability for homogeneo...

Methods are proposed that allow one to determine the special forms of polynomials and power series used in solving a number practical problems. The most important them construction necessary sufficient conditions for an extremum series, as well checking matrices D -stability arising study ecosystem stability. This (the so-called main quasi-homogeneous polynomial forms) generalizations concept h...

We consider a class of discrete time, dynamic decision-making models which we refer to as Periodically Time-Inhomogeneous Markov Decision Processes (PTMDPs). In these models, the decision-making horizon can be partitioned into intervals, called slow scale cycles, of N +1 epochs. The transition law and reward function are time-homogeneous over the first N epochs of each slow scale cycle, but dis...

aim : to investigate if hepatic iron content influences the response to therapy in patients with chronic hepatitis c or b. background : it seems that the presence of elevated body iron stores and, in particular, elevated hepatic iron levels, is one of the strongest predictors of resistance to interferon treatment for chronic hepatitis c or b. patients and methods : two hundred and one patients ...