Learn More
Double-stranded RNAs (dsRNAs) targeted against essential genes can trigger a lethal RNA interference (RNAi) response in insect pests. The application of this concept in plant protection is hampered by the presence of an endogenous plant RNAi pathway that processes dsRNAs into short interfering RNAs. We found that long dsRNAs can be stably produced in(More)
Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different(More)
Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Modeling of a reliable interlocking has become a challenging problem due to its inherent complexity and introduction of new technologies. In this paper, formal analysis of safety properties of moving block interlocking is presented preventing(More)
This paper presents a novel content-based image retrieval technique based on Gaussian mixture probability model. The proposed technique provides the solution toward matching arbitrary images based on color, shape and texture. Glyph structure of the image, which inclines on the shape and texture attributes, is modeled and used for content matching. Gaussian(More)
Proteins are the executants of biological functions in living organisms. Comprehension of protein structure is a challenging problem in the era of proteomics, computational biology, and bioinformatics because of its pivotal role in protein folding patterns. Owing to the large exploration of protein sequences in protein databanks and intricacy of protein(More)
Railway interlocking system is a distributed, safety, monetary and environmentally critical system and its failure may cause the loss of human life, severe injuries, loss of money and environmental damages. The complexity of this system requires formal modeling and step by step refinement for its construction and development. The formal specification-based(More)
The most expedient unit of the human body is its cell. Encapsulated within the cell are many infinitesimal entities and molecules which are protected by a cell membrane. The proteins that are associated with this lipid based bilayer cell membrane are known as membrane proteins and are considered to play a significant role. These membrane proteins exhibit(More)
In recent years, the volume of air traffic has increased dramatically which caused for unwanted delay in flights at the airports during the departure and arrival process of aircrafts. In this paper we have proposed step by step modeling process for the departure of the aircraft with the coordination of the air traffic controllers. These controllers are(More)