We propose a new method f o r automated theorem p r o v i n g i n f i r s t o r d e r modal l o g i c . E s s e n t i a l l y , the method c o n s i s t s i n a t r a n s l a t i o n o f modal l o g i c i n t o a s p e c i a l l y des igned t y p e d f i r s t o r d e r l o g i c c a l l e d Path L o g i c , such t h a t c l a s s i c a l modal systems ( f i r s t o r d e r Q, T , 0 4 , S4, S5)...

in order to study the complementary effects of application time of two herbicides sulfosulfuron 75% wg (apyrus) and 75% sulfosulfuron + 5% metsulfuron-methyl (total) and planting wheat density on wild barley (hordeum spontaneum koch.) control, an experiment was conducted in randomized complete blocks design with two-factors during 2012-2013 growing season in zarghan (fars). the first factor was...

to study the effects of biofertilizers on physiological and morphological characteristics, as well on essential oil content in dragonhead (dracocephalum moldavica), an experiment was conducted at tarbiat modares university in 2009. the studied factors were: vermicompost (0, 15, 30% v/pot), azotobacter (inoculated and non-inoculated), and phosphatic biofertilizer (inoculated and non-inoculated)....

calla lily, an ornamental bulbous plant from araceae family (consisting of seven species) is characterized by spadix inflorescence and utilized for cut flower as well as for pot plant. a greenhouse study was conducted in university college of agriculture and nature resources of tehran university, to evaluate the quantitative and qualitative characteristics of pot plant of calla lily. the type o...

The c o n t r o l s t r u c t u r e o f a q u e s t i o n a n s w e r i n g s y s t e m i s d e r i v e d f r o m a s e t o f b a s i c a s s u m p t i o n s . F o r i t s d e s i g n and i m p l e m e n t a t i o n , a n o r m a l a l g o r i t h m i c l a n g u a g e i s u s e d . The d e s i g n l e a d s t o " s y m m e t r i c " p r o c e d u r e s , t h e r e s u l t i n g p r o g r a m s...

background and objectives: soybean (glycine max l.) is the most important oil crop having the largest area under cultivation in the world. every year, water stress causes great damages on crops in the world, particularly in iran with arid and semi-arid climate so application of materials such as zeolite in soil can reduce the adverse effects of water stress. however, the effect of zeolite in in...

S y n t a c t i c a n a l y s i s i n o u r t e r m s means t o c o n s t r u c t a d e s c r i p t i o n o f t h e s y n t a c t i c s t r u c t u r e s o f a g i v e n s e n t e n c e , s t a r t i n g f r o m a f o r m a l d e s c r i p t i o n o f t h e s y n t a c t i c f e a t u r e s o f . t h e w o r d f o ~ ( t h e r e s u l t o f a p r e c e d i n g w o r d f o r m a n e . l y s l s )...

in general, spring cultivation of sugar beet is prevalent, but nowadays because of water sources limitation and also plants low water use efficiency in this time of cultivation, autumn cultivation is growing up. several assessments also have showed that in compare with spring cultivation, autumn cultivation of sugar beet has other benefits including reducing the likelihood of plant disease and ...

abstract:â green spaces, especially urban gardens have been a subject of study in many countries for a long time, but the subject has been mostly overlooked in iran. therefore, this study tries to analyze the changes in land use and how we can protect green spaces (gardens) in jahrom in line with sustainable development in 1996-2006. the data in this study were collected through local investiga...

in this study two intelligent systems, based on adaptive neuro-fuzzy inference systems (anfis) and artificial neural networks (anns) of forecasting municipal solid wastes (msw) generation has been proposed. anfis and anns as an intelligent tool compared with together was used to monthly prediction of msw generated in tehran. monthly amount of solid wastes (sw), total monthly precipitation, mont...