The model checking problem for open systems (called module checking) has been intensively studied in the literature, both for finite–state and infinite–state systems. In this paper, we focus on pushdown module checking with respect to decidable fragments of the fully enriched μ–calculus. We recall that finite–state module checking with respect to fully enriched μ–calculus is undecidable and hen...

In this paper, I will describe a completely new 3D module which can be called from within the well known ANTHEPROT program devoted to protein sequences analysis. This module allows fully interactive handling of high-quality 3D structures with various modes of representation (CA sticks, wireframe, ball and sticks, spacefill models as well as surface, ribbons, Ramachandran plots). Alternatively, ...

We introduce the dune-curvilineargrid module. The module provides the self-contained, parallel grid manager dune-curvilineargrid, as well as the underlying elementary curvilinear geometry module dune-curvilineargeometry. Both modules are developed as extension of the DUNE [3] project, and conform to the generic dune-grid and dune-geometry interfaces respectively. We expect the reader to be at l...

The aim of the present study was to evaluate the strong or weak aspects of an interactive study module introduced during the "Cardiovascular and Respiratory Systems Subject Committee" in the second year of the medical program. Five study groups consisting of 25 students attended two-hour module sessions for six weeks with the same tutor. According to the module assessment questionnaire, the maj...

Microglia is considered the only cell population of mesodermal origin, which comprises 10% of the cells in brain parenchyma. Recent neural stem cell (NSC) studies demonstrate that the brain has regenerative potential. NSCs do not give rise to microglial cells, however indicating that NSCs alone cannot complete the regenetion of the brain. Although the role of microglia is not fully understood, ...

A combinational module is a combinational circuit that can be used under any arrival time condition. In 8] we showed that exact false-path-aware delay characterization of a com-binational module can be reduced to functional required time analysis 6] of the module. This reduction makes it possible to detect false paths of a combinational module without assuming any speciic arrival time condition...

We discuss a novel method for identifying test requirements of modules in a hierarchical design in order to facilitate the construction of cost-effective hierarchical test paths. Unlike current practices, which construct very general paths capable of justifying all vectors and propagating all responses to and from each module in the design, test requirements in our method are defined as a set o...

we state several conditions under which comultiplication and weak comultiplication modulesare cyclic and study strong comultiplication modules and comultiplication rings. in particular,we will show that every faithful weak comultiplication module having a maximal submoduleover a reduced ring with a finite indecomposable decomposition is cyclic. also we show that if m is an strong comultiplicati...

in this paper, we show that every element of a discrete module is a sum of two units if and only if its endomorphism ring has no factor ring isomorphic to $z_{2}$. we also characterize unit sum number equal to two for the endomorphism ring of quasi-discrete modules with finite exchange property.

in this paper we introduce the concept of dirac structures on (hermitian) modules and vectorbundles and deduce some of their properties. among other things we prove that there is a one to onecorrespondence between the set of all dirac structures on a (hermitian) module and the group of allautomorphisms of the module. this correspondence enables us to represent dirac structures on (hermitian)mod...