Abstract Elimination of unknowns in systems equations, starting with Gaussian elimination, is a problem general interest. The finding an priori upper bound for the number differentiations elimination system differential-algebraic equations (DAEs) important challenge, going back to Ritt (1932). first characterization this via asymptotic analysis due Grigoriev’s result (1989) on quantifier differ...

Ritt studied the functional decomposition of a univariate complex polynomial f into prime (indecomposable) polynomials, f = u1 ◦ u2 ◦ · · · ◦ ur. His main achievement was a procedure for obtaining any decomposition of f from any other by repeatedly applying certain transformations. However, Ritt’s results provide no control on the number of times one must apply the basic transformations, which ...

Seeds of the palm Attalea butyracea (formerly known as Scheelea zonensis in Panamá and Scheelea rostrata in Costa Rica—Bradford & Smith 1977, Forget et al. 1994, Henderson 1995) are contained within stony endocarps. For the purposes of this paper, individual fruits or their seed-bearing endocarps will be referred to as diaspores; all of the seeds of a given fruit are surrounded by the stony wal...

Different theories of bodily tides assume different forms of dependence of the angular lag 8 upon the tidal frequency %. In the old theory (Gerstenkorn 1955, MacDonald 1964, Kaula 1964) the geometric lag angle is assumed constant (i.e., 8 ~ x), while the new theory (Singer 1968; Mignard 1979, 1980) postulates constancy of the time lag At (which is equivalent to saying that 8 ~ j} ). Each partic...

The drying of hydrogel films formed by poly(ethylene oxide)-poly(propylene oxide) (PEO-PPO) block copolymers (Pluronic P105 and Pluronic L64) is investigated at various air relative humidity (RH) conditions in the range 11-94%. These amphiphilic block copolymers self-assemble to form a variety of ordered (lyotropic liquid crystalline) structures as the water content decreases. The amount of wat...

Recently researchers have shown interest in integrating Reconfigurable logic into conventional processors as a Reconfigurable Function Unit (RFU). A context-full RFU supports holding intermediate results inside itself, which eliminates some data movement overheads and has some other benefits. Most contemporary processors support out-of-order execution and speculation. When a context-full RFU is...