This paper concerns computational methods for verifying properties of polyhedral invariant hybrid automata (PIHA), which are hybrid automata with discrete transitions governed by polyhedral guards. To verify properties of the state trajectories for PIHA, the planar switching surfaces are partitioned to define a finite set of discrete states in an approximate quotient transition system (AQTS). S...

The paper proposes a new translation algorithm that translates a hybrid system described as a discrete hybrid automaton (DHA) into an equivalent piecewise affine (PWA) system. The translation algorithm exploits, among others, a new technique for cell enumeration in hyperplane arrangement, all proposed in this paper. The new translation technique enables the transfer of several analysis and synt...

The Hybrid Functional Petri Nets (HFPN) formalism has already shown its convenience for modelling biological systems. This class of models have been fruitfully applied in biology but the remarkable expressiveness of HFPN often leads to incomplete formal validations. In this paper, we propose a formal logical framework for Timed Hybrid Petri Nets (THPN), a sub-class of HFPN. We propose an extens...

The performance of 44 density functionals used in conjunction with the correlation consistent basis sets (cc-pVnZ where n = T and Q) has been assessed for the gas-phase enthalpies of formation at 298.15 K of 3d transition metal (TM) containing systems. Nineteen molecules were examined: ScS, VO, VO(2), Cr(CO)(6), MnS, MnCl(2), Mn(CO)(5)Cl, FeCl(3), Fe(CO)(5), CoH(CO)(4), NiCl(2), Ni(CO)(4), CuH,...

The yeast two-hybrid assay revealed that Bacillus subtilis DnaD, a possible component of the primosome and required for replication initiation, interacted with DnaA and DnaD itself. The mutant DnaD23 was incapable of interacting with DnaA but retained interaction with the wild-type DnaD. These results suggest that interaction between DnaD and DnaA is important for replication initiation.

Measurement of beta-galactosidase (beta-gal) activity is an important step in every yeast two-hybrid assay, yet many commonly used methods have distinct disadvantages, such as being only qualitative, time-consuming, and cumbersome when processing large numbers of samples. To overcome these drawbacks, we have implemented a novel technique, termed pellet X-gal assay, that allows simultaneous quan...

Repairable standby system’s study and analysis is an important topic in reliability. Analytical techniques become very complicated and unrealistic especially for modern complex systems. There have been attempts in the literature to evolve more realistic techniques using simulation approach for reliability analysis of systems. This paper proposes a hybrid approach called as Markov system ...

We present a simple model for the underlying structure of protein-protein pairwise interaction graphs that is based on the way in which proteins attach to each other in experiments such as yeast two-hybrid assays. We show that data on the interactions of human proteins lend support to this model. The frequency of the number of connections per protein under this model does not follow a power law...

Posttranslational microtubule modifications (PTMs) are numerous; however, the biochemical and cell biological roles of those modifications remain mostly an enigma. The Aspergillus nidulans kinesin-3 UncA uses preferably modified microtubules (MTs) as tracks for vesicle transportation. Here, we show that a positively charged region in the tail of UncA (amino acids 1316 to 1402) is necessary for ...