in this paper, we introduce $p$-semilinear transformations for linear algebras over a field ${bf f}$ of positive characteristic $p$, discuss initially the elementary properties of $p$-semilinear transformations, make use of it to give some characterizations of linear algebras over a field ${bf f}$ of positive characteristic $p$. moreover, we find a one-to-one correspondence between $p$-semiline...

In this paper, we introduce $p$-semilinear transformations for linear algebras over a field ${bf F}$ of positive characteristic $p$, discuss initially the elementary properties of $p$-semilinear transformations, make use of it to give some characterizations of linear algebras over a field ${bf F}$ of positive characteristic $p$. Moreover, we find a one-to-one correspondence between $p$-semiline...

We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are specified by a contextfree graph grammar. The technique is based on the approximation of graph transformation systems by Petri nets and on semilinear sets of markings. Especially we exploit Parikh’s theorem which says that...

We introduce an analysis method that checks for the absence of (Euler) paths or cycles in the set of graphs reachable from a start graph via graph transformation rules. This technique is based on the approximation of graph transformation systems by Petri nets and on semilinear sets of markings. An important application is deadlock analysis in distributed systems.

Abstract We obtain new concavity results, up to a suitable transformation, for class of quasi-linear equations in convex domain involving the p -Laplace operator and general nonlinearity satisfying concavity-type assumptions. This provides an extension results previously known literature only torsion first eigenvalue equations. In semilinear case <m:math xmlns:m="http://www.w3.org/1998/Math/Mat...

The paper introduces a new way to construct dissipative solutions to a second order variational wave equation. By a variable transformation, from the nonlinear PDE one obtains a semilinear hyperbolic system with sources. In contrast with the conservative case, here the source terms are discontinuous and the discontinuities are not always crossed transversally. Solutions to the semilinear system...

The solutions of a family of semilinear stochastic equations in a Hilbert space with a fractional Brownian motion are investigated. The nonlinear term in these equations has primarily only a growth condition assumption. An arbitrary member of the family of fractional Brownian motions can be used in these equations. Existence and uniqueness for both weak and mild solutions are obtained for some ...

We study several controllability properties for some semilinear parabolic PDE with a quadratic gradient term. For internal distributed controls, it is shown that the system is approximately and null controllable. The proof relies on the Cole-Hopf transformation. The same approach is used to deal with initial controls.

This report analyzes the behavior of three variants of the dual-weighted residual (DWR) error estimates applied to the p-dependent discretization that results from the BR2 discretization of a second-order PDE. Three error estimates are assessed using two metrics: local effectivities and global effectivity. A priori error analysis is carried out to study the convergence behavior of the local and...

In this paper, we show that the dimension function of every semilinear G-sphere is equal to that of a linear G-sphere for finite nilpotent groups G of order pnqm, where p, q are primes. We also show that there exists a semilinear G-sphere whose dimension function is not virtually linear for an arbitrary nonsolvable compact Lie group G.