tomato fusarium wilt, caused by fusarium oxysporum f. sp. lycopersici (fol), is one of the most important diseases of tomato in iran and in the whole world. recently, in order to reduce hazardous effects of chemical pesticides, these days, attempts have been made to use safer methods for controlling plant pathogens. therefore, using antifungal plant materials has been highly regarded during pas...

in this study, the folate decorated biodegradable poly (lactide-co-glycolide) (plga) nanoparticles were developed for tumor targeting of anticancer agents. due to the overexpression of the folate receptor on tumor surface, the folate has been efficiently employed as a targeting moiety for various anticancer agents to avoid their non-specific attacks on normal tissues and also to increase their ...

The aim of this study is to test the hypothesis that the newly synthesized poly(δ-valerolactone)/poly(ethylene glycol)/poly(δ-valerolactone) (VEV) copolymer grafted with folic acid would impart targetability and further enhance the anti-tumor efficacy of doxorubicin (DOX). Here, folic acid conjugated VEV (VEV-FOL) was synthesized by a modified esterification method and characterized using IR an...

Temporal knowledge representation and reasoning methods require expressive power — which ensures usefulness in non-trivial applications as well as reasonable complexity, which guarantees efficient implementation. The temporal language LH [7, 4, 8, 5] is an attempt to find a balance between expressive power and complexity. LH serves as a means for expressing temporal constraints over the propert...

Many efforts have been made in recent years to construct formal systems for mechanizing general mathematical reasoning. Most of these systems are based on logics which are stronger than first-order logic (FOL). However, there are good reasons to avoid using full second-order logic (SOL) for this task. In this work we investigate a logic which is intermediate between FOL and SOL, and seems to be...

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is co...

A target-specific delivery system of green fluorescent protein (GFP) small interfering RNA (siRNA) plasmid DNA was developed by using folate-modified cationic polyethylenimine (PEI). A GFP siRNA plasmid vector (pSUPER-siGFP), which inhibits the synthesis of GFP, was constructed and used for suppressing GFP expression in folate receptor over-expressing cells (KB cells) in a target-specific manne...

A ‘hybridisation’ of a logic, referred to as the base logic, consists of developing the characteristic features of hybrid logic on top of the respective base logic, both at the level of syntax (i.e. modalities, nominals, etc.) and of the semantics (i.e. possible worlds). By ‘hybridised institutions’ we mean the result of this process when logics are treated abstractly as institutions (in the se...

The use of conventional non-monotonic reasoning tools in real-sized knowledge-based applications is hindered by the fact that the knowledge acquisition phase cannot be accomplished in the incremental way that is instead typical of knowledge base management systems based on monotonic logics. As a result, some researchers have departed from orthodox non-monotonic formalisms and proposed languages...