This paper addresses the problem of automatically generating quantified invariants for programs that manipulate singly and doubly linked-list data structures. Our algorithm is property-directed—i.e., its choices are driven by the properties to be proven. The algorithm is able to establish that a correct program has no memory-safety violations—e.g., null-pointer dereferences, double frees—and th...

for high-throughput production of recombinant protein in escherichia coli ( e. coli ), besides important parameters such as efficient vector with strong promoter and compatible host, other important issues including codon usage, rare codons, and gc content specially at n-terminal region should be considered. in the current study, the effect of decreasing the percentage of gc nucleotides and opt...

background and objective: garlic, in different types, is a very common food ingredient all over the world. traditionally, garlic is fermented in grape vinegar to produce garlic pickles; in this study, to produce a novel fermented food, garlic was fermented in kombucha beverage; then, antibacterial and chemical properties and color changes of garlics fermented in kombucha and vinegar were compar...

The paper proposes a new metadata model (VandA) directed to support innovative exploitation of Historical AV Archives content. After an analysis of the needs of traditional and potential users, the model is illustrated through running examples to show at what extent the new usages can be supported.

Background: Infants are regarded as a vulnerable group in need of nursing care, particularly during NICU admission. Parents of these infants often experience emotional, psychological and physical upheavals. Therefore, nurses can be of great help to the parents and facilitate a healthy transition from this period. Improper communication with parents, who seek information on their infant’s condit...

Background: Pregnancy and birth are very important for the most communities and childbearing women make decisions depends on their context during pregnancy. Aim: The aim of this study was to explore the perception and inner experiences of Iranian pregnant women. Methods: A qualitative content analysis was conducted in 2013. Participants consisted of 18 mothers who had experienced pregnancy in T...

This paper presents a standards-based architecture for a complex and generic distributed multimedia scenario, which combines content search and retrieval, DRM, and context-based content adaptation together. It is an innovative and totally generic approach trying to narrow the semantic-gap by integrating a fl exible language for multimedia search based on MPEG Query Format (MPQF) standard with t...

Lateral gene transfer (LGT) plays a major role in prokaryote evolution with only a few genes that are resistant to it; yet the nature and magnitude of barriers to lateral transfer are still debated. Here, we implement directed networks to investigate donor-recipient events of recent lateral gene transfer among 657 sequenced prokaryote genomes. For 2,129,548 genes investigated, we detected 446,8...