background & aim: in recent years using from plant product has been considered wildly as main factor for preventing pathogenic diseases cassed by attacking viruses, bacteria, fungi and parasites. there are some funguses which could be the factors for affliction of some diseases in human, plants and animals. plant extracts are those which could act and be used as preventing from these diseas...

Microgreens are receiving increasing attention due to their high content of bioactive components and importance human health. These emerging food products can be obtained from the seeds different plant species, including aromatic herbs. Aromatic microgreens gaining popularity as new functional products. In this study, we investigated effects light-emitting diode (LED) lamp spectra on growth, pi...

Ruta graveolens L. is a source of pharmacologically active molecules such as furocoumarins, furoquinolines and acridone alkaloids. A genetic transformation method using Agrobacterium tumefaciens was developed for this plant species. The conditions for an efficient regeneration of R. graveolens led us to retain hypocotyls among other explants tested. Subsequently, transformation was obtained by ...

This paper extends Burch and Dill’s pipeline verification method [4] to the bit level. We introduce the idea of memory shadowing, a new technique for providing on-the-fly identical initial memory state to two different memory execution sequences. We also present an algorithm which compares the final states of two memories for equality. Memory shadowing and the comparison algorithm build on the ...

Acknowledgements: Thank you to Dr. Jennifer Dill for her advice and encouragement throughout my MURP years. Dr. Dill and Dr. Irina Sharkova served as readers on this Field Area Paper. I must also thank my loving wife, who has supported me through the experience that was my FAP.