‎in this paper, based on [a. razani, v. rako$check{c}$evi$acute{c}$ and z. goodarzi, nonself mappings in modular spaces and common fixed point theorems, cent. eur. j. math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $t$ in the modular space $x_rho$ is presented. moreover, we study a new version of krasnoseleskii's fixed point theorem for $s+t$, where $t$ is a cont...

This work presents a modular technique for minimizing a deterministic nite state ma chine FSM while preserving its equivalence to the original system Being modular the minimization technique should consume less time and space Preserving equivalence the resulting minimized model can be employed in both temporal logic model checking and sequential equivalence checking thus reducing their time and...

The formal development method of VSE (Veriication Support Environment) for state-based systems is based on a variant of TLA. VSE supports structured speciications, modular reenements, and also modular proofs. There are applications where one wants (or has) to consider an indeenite number of processes or even processes that are created and deleted dynamically. The general problem that arises in ...

The new R package flirt is introduced for flexible item response theory (IRT) modeling of psychological, educational, and behavior assessment data. flirt integrates a generalized linear and nonlinear mixed modeling framework with graphical model theory. The graphical model framework allows for efficient maximum likelihood estimation. The key feature of flirt is its modular approach to facilitat...

Compendium. The primary objective of my research is to enhance the mathematical and scientific foundations of network modeling and system analysis of complex physical systems. The central avenue of my research is a differential geometry-based approach to computational modeling and structure-preserving discretization of distributed-parameter systems. The driving idea behind this work is the need...

Modular neural networks structured as associative memories are capable of processing inputs built from tensorial products of vectors. In this context, the operators of propositional and modal logic can be represented as modular distributed memories that can process not only classical Boolean but also fuzzy evaluations of truth-values of sentences. Furthermore, projecting memory outputs onto uni...

Transcriptional regulatory circuits provide only a fraction of the signaling pathways and regulatory mechanisms that control the bacterial cell cycle. The CtrA regulatory network, important in control of the Caulobacter cell cycle, illustrates the critical role of nontranscriptional pathways and temporally and spatially localized regulatory proteins. The system architecture of Caulobacter cell-...

OBJECTIVE The goal of this study was to develop a physiologically plausible, computationally robust model for muscle activation dynamics (A(t)) under physiologically relevant excitation and movement. APPROACH The interaction of excitation and movement on A(t) was investigated comparing the force production between a cat soleus muscle and its Hill-type model. For capturing A(t) under excitatio...

The problem of histogram thresholding is tackled using a modular expert network. The modular expert network is a network of expert modules modulated by a gating network. The expert modules incorporate individual experts’ opinions on the thresholding problem. The difficult task of integration of conflicting experts’ opinions is achieved through a training of the gating network using backpropagat...

Simulations of ground vehicles are extensively used by military and commercial vehicle developers to aid in the design process. In the past, ground vehicle simulations have focused on non-real-time models. However with the advancement of computers and modeling methodologies, real-time multi-body models have become one of the standard tools used by vehicle developers. Multi-body models are compo...