To investigate the effects of carvacrol supplementation diets in rainbow trout induced by LPS, we measured gene expressions relative to pro-inflammatory and apoptosis in kidney and liver. Fish, which that were studied by four different treatments with three replicates each, was 44.71±1.33 gr. All fish were infected with E. coli LPS (25 µg ml-1) expect control and only carvacrol containing diet ...

We derived explicit symbolic expressions for the first, second, and third Lyapunov coefficients of the complex focus of a planar system modelling activity of a neural network. The analysis of these expressions allowed us to obtain new results about the number and location of limit cycles in the model. Introduction. In this paper we study the mathematical model which describe processes in a neur...

This paper enables symbolic simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variables used to characterize the initial state of the memory is proportional to the number of memory accesses. The memory state is represented by a list containing entries of the form 〈c, a, d〉, where c is a Boolean expression deno...

This paper enables symbolic simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variables used to characterize the initial state of the memory is proportional to the number of memory accesses. The memory state is represented by a list containing entries of the form 〈c, a, d〉, where c is a Boolean expression deno...

We present an algorithm for computing exact expressions for the distribution of the maximum or minimum of an arbitrary nite collection of linear combinations of spacings or exponential random variables with rational coeecients. These expressions can then be manipulated or evaluated using symbolic math packages such as MAPLE. As examples, we apply this algorithm to obtain the distributions of th...

It is well known that any elliptic integral can be transformed into a linear combination of elementary functions and Legendre’s three Elliptic functions. Methods for transforming these integrals to the Legendre form are described in numerous papers and textbooks. However, when it comes to actually designing and implementing such a reduction algorithm the existing methods require significant mod...