Cyclic diguanylate (c-di-GMP) affects bacterial physiological and biochemical functions like biofilm, motility, virulence, secretion systems. GGDEF/EAL-domain proteins, participating in c-di-GMP synthesis degradation, are widely present Pseudomonas, with various structures functions. Pseudomonas glycinae MS82 is a rhizosphere bacterium that protects mushroom against the pathogenic fungi. Althou...

Plan synthesis approaches in AI fall into two categories: domain-independent and domain-dependent. The domainindependent approaches are applicable across a variety of domains, but may not be very efficient in any one given domain. The domain-dependent approaches can be very efficient for the domain for which they are designed, but would need to be written separately for each domain of interest....

objective: angiogenesis a process that results in neo-vascularization is an essential stage in growth of solid tumors and the formation of metastases. vascular endothelial growth factor (vegf) and its receptors, vegfr1 (flt-1) and vegfr2 (kdr/flk-1), are the major regulators for tumor angiogenesis. recent studies showed that second domain of vegfr-1is a key factor for vegf/vegfr-1 interaction. ...

introduction: recent studies suggest that endocytosis of romk channels is important for regulation of k+ secretion in cortical collecting ducts. in this study the effect of v364d mutation is examined on the membrane turnover and stability of romk2 channel when expressing in xenopus laevis oocytes. materials and methods: in this experimental study, oocytes were isolated by standard protocols usi...

This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesis. A declarative domain theory defines the semantics of a domain-oriented specification language and its relationship to implementation-level subroutines. Formal specification development and reuse is made accessible t...

Microscopy images from different imaging conditions, organs, and tissues often have numerous cells with various shapes on a range of backgrounds. As result, designing deep learning model to count in source domain becomes precarious when transferring them new target domain. To address this issue, manual annotation costs are typically the norm training learning-based cell counting models across d...

Reversible logic circuit is a necessary construction for achieving ultra low power dissipation as well as for prominent post-CMOS computing technologies such as Quantum computing. Consequently automatic synthesis of a Boolean function using elementary reversible logic gates has received significant research attention in recent times, creating the domain of reversible logic synthesis. In this pa...

Synthesis approaches involve deriving a program from a high-level speciication. This can be accomplished by using synthesis algorithms that are well adapted to a particular application domain. EEciency of synthesis algorithms may be demonstrated by experiments done in diierent settings. Such experiments help to bridge the gap between empirical practices and formal methods. We present an academi...

BACKGROUND More than in other domains the heterogeneous services world in bioinformatics demands for a methodology to classify and relate resources in a both human and machine accessible manner. The Semantic Web, which is meant to address exactly this challenge, is currently one of the most ambitious projects in computer science. Collective efforts within the community have already led to a bas...