Many transcription factors repress transcription of their own genes. Negative autoregulation has been shown to reduce cell-cell variation in regulatory protein levels and speed up the response time in gene networks. In this work we examined transcription regulation of the galS gene and the function of its product, the GalS protein. We observed a unique operator preference of the GalS protein ch...

Starting with modules described in Signal synchronous programming language, we present an approach to verification of GALS systems. Since asynchronous parts of a GALS system can not be described in Signal, we use a mixture of synchronous descriptions in Signal and asynchronous descriptions in Promela. Promela is the input language to the SPIN asynchronous model checker. This allows us to achiev...

In order to identify giant ancient landslides more effectively and quantify the risk of landslides, this study takes a Lengqu River section located on Qinghai–Tibet Plateau as an example then uses red relief image map (RRIM) method enhance digital elevation model (DEM) for topographic 2D visualization landslides. Then, relationships between (GALs), resurgent GALs, deposition inactive GALs exces...

In order to further improve the performance of current genetic algorithms aiming at discovering communities, a local search based genetic algorithm (GALS) is here proposed. The core of GALS is a local search based mutation technique. In order to overcome the drawbacks of traditional mutation methods, the paper develops the concept of marginal gene and then the local monotonicity of modularity f...

On the basis of a tight binding model we reveal how the bandgap in bilayer graphene antidot lattices (GALs) follows a different scaling law than in monolayer GALs and we provide an explanation using the Dirac model. We show that previous findings regarding the criteria for the appearance of a bandgap in monolayer GALs are equally applicable to the bilayer case. Furthermore, we briefly investiga...

A GALS (Globally Asynchronous, Locally Synchronous) system consists of several synchronous subsystems that evolve concurrently and interact with each other asynchronously. Most formalisms and design tools support either the synchronous paradigm or the asynchronous paradigm but rarely combine both, which requires an intricate modeling of GALS systems. In this paper, we present a new language, ca...

This paper shows a methodology for Globally-AsynchronousLocally-Synchronous (GALS) systems specification and verification. The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model. These modules are represented using IOPT (Input-Output Place-Transition) Petri net models, communicating through dedicated communication chan...