Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. In...

The floor plate is one of the major organizers of the developing nervous system through its secretion of sonic hedgehog (Shh). Although the floor plate is located within the neural tube, the derivation of the floor plate during development is still debatable and some studies suggest that floor plate cells are specified by Shh in a temporarily restricted window different to neuroepithelial cells...

The floor plate is one of the major organizers of the developing nervous system through its secretion of sonic hedgehog (Shh). Although the floor plate is located within the neural tube, the derivation of the floor plate during development is still debatable and some studies suggest that floor plate cells are specified by Shh in a temporarily restricted window different to neuroepithelial cells...

natural vibration analysis of plates represents an important issue in engineering applications. in this paper, a new and simplify method for vibration analysis of circular and rectangular plates is presented. the design of an effective robust controller, which consistently attenuates transverse vibration of the plate caused by an external disturbance force, is given. the dynamics of the plate i...

The voltage-dependent K+ channel Kv1.3 (also known as KCNA3), which plays crucial roles in leukocytes, physically interacts with KCNE4. This interaction inhibits the K+ currents because the channel is retained within intracellular compartments. Thus, KCNE subunits are regulators of K+ channels in the immune system. Although the canonical interactions of KCNE subunits with Kv7 channels are under...

In this article I will prove undecidability results for elementary object net systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the “nets-within-nets” paradigm. Eos are special object net system which have a two leveled structure.

One of the central issues in vehicle license recognition is designing a detector to localize license plates which are fast and accurate. We present a new approach for vehicle license plate detection using a fusion of unigram and bigram model with Speeded Up Robust Features (SURF). SURF descriptor is obtained from each keypoint to build the unigram model while difference-of-SURF for each doublet...

We show that a new subduction zone can initiate at a preexisting dipping fault zone with reasonable plate forces, consistent with what is observed in the western Pacific. The dynamics of subduction initiation within a viscoelastic medium has been systematically explored with the finite element method. We investigate the compression of oceanic lithosphere with hoth force and velocity boundary co...