statement of problem: low- fusing compound (type 1) is used for border molding and impressions. flow and reproducibility of surface detail are two important characteristics of these materials. there are no valid data available comparing domestic and imported brands. purpose: the purpose of this study was to evaluate these two properties of four different products including kerr (kerr manufactur...

While methods of code abstraction and reuse are widespread and well researched, methods of proof abstraction and reuse are still emerging. We consider the use of dependent types for this purpose, introducing a completely mechanical approach to proof composition. We show that common techniques for abstracting algorithms over data structures naturally translate to abstractions over proofs. We fir...

The problem considered in this paper is the single server bulk service queuing system characterized by (i) Hyper-Poisson arrival time distribution with k branches, the mean arrival rates depending upon the state of the system; (ii) first come, first served queue discipline; (iii) exponential service time distribution, the mean service rate depending upon the state of the system; and (iv) finite...

One of the new research fields in plasticity is related to choosing a proper non-associated flow rule (NAFR), instead of the associated one (AFR), to predict the experimental results more accurately. The idea of the current research is derived from combining von Mises and Tresca criteria in the places of yield and plastic potential surfaces in rate-independent plasticity.  This idea is implemen...