T h i s paper i s concerned w i t h a p l a n n i n g system f o r a r o b o t w i t h a hand and an eye w h i c h can m a n i p u l a t e b l o c k s . Two d i f f e r e n t k i n d s o f p r o b l e m s o l v e r s a r e used . One i s m a i n l y composed of a theorem p r o v e r based on t h e r e s o l u t i o n p r i n c i p l e , and the o t h e r c o n s i s t s o f a theorem p r o v e ...

P h y t o p l a n k t o n c o m p o s i t i o n a n d t h e r a n g e o f s e a s o n a l p a t t e r n s o f a b u n d a n c e a r e p r e s e n t e d f o r t h e t i d a l f r e s h w a t e r r e g i o n s i n t w o V i r g i n i a r i v e r s b a s e d o n d a t a a c c u m u l a t e d m o n t h l y f r o m 1 9 8 6 t h r o u g h 1 9 9 9 . D i a t o m s d o m i n a t e d t h e f l o r a d u r...

d a t a t y p e b o o l e a n _ b u s e s = ( * c o n s t r u c t o r s f o r e v e r y b u s t h a t s h o u l d b e a s s o c i a t e d w i t h t h e b o o l p r i m i t i v e t y p e * ) d a t a t y p e i n s _ c l a s s _ b u s e s = ( * c o n s t r u c t o r s f o r e v e r y b u s t h a t s h o u l d b e a s s o c i a t e d w i t h t h e c l a s s e s d a t a t y p e * ) d a t a t y p e i...

T h i s paper i s i n t e n d e d t o d raw a t t e n t i o n t o a l i t e r a t u r e i n P h i l o s o p h y t h a t w o u l d b e o f g r e a t use and i n t e r e s t t o r e s e a r c h e r s a t t e m p t i n g t o s i m u l a t e n o n d e d u c t i v e r e a s o n i n g . Two m o d e l s o f such r e a s o n i n g a r e d i s c u s s e d , and t h e k e r n e l r o l e o f t h e c o n ...

R e s u l t s o f p r e l i m i n a r y t e s t s t o measure i c e g r o w t h on an a i r f o i l d u r i n g f l i g h t i c i n g c o n d i t i o n s a r e p resen ted . U l t r a s o n i c pu lse-echo measurements o f i c e t h i c k n e s s a r e o b t a i n e d f rom an a r r a y o f e i g h t u l t r a s o n i c t r a n s d u c e r s mounted f l u s h w i t h t h e l e a d i n g edge o ...

Included amongst the i n t e n s i o n a l l o g i c s are those dea l i ng w i t h o b l i g a t i o n (deont ic l og i c ) , necess i ty (modal l o g i c ) , t ime (tense l o g i c ) , and var ious o ther i n t e n s i o n a l concepts. These l o g i c s were developed to fo rma l i ze the semantics o f n a t u r a l language d iscourses . The i n t e n s i o n a l l o g i c s s tud ied here ...

Researches on dialogue natural-language in te r a c t i o n w i t h i n t e l l e c t u a l " h u m a n c o m p u t e r " s y s t e m s a r e b a s e d on m o d e l s o f l a n g u a g e " h u m a n t o h u m a n " i n t e r a c t i o n , t h e s e m o d e l s r e p r e s e n t i n g d e s c r i p t i o n s o f c o m m u n i c a t i o n l a w s . An a s p e c t o f d e v e l o p i n g l a n g u...

conclusions igf-1 has the most significant effect on intrauterine growth. acylated ghrelin is detectable in cord blood and correlated with birth weight, suggesting a role in intrauterine development, but its level is not affected by intrauterine growth retardation. results no significant differences were observed in ghrelin and gh concentrations between sga and aga infants. however, igf-1 level...

As shown in [1], we examine s e a r c h as a s t a t i s t i c s a m p l i n g p r o c e s s . Based o n some s t a t i s t i c a l i n f e r e n c e method t h e p r o b a b i l i t y t h a t a s u b t r e e i n s e a r c h t r e e c o n t a i n s t h e g o a l can b e d e c i d e d . Thus some w e i g h t i s i n t e n t i o n a l y added t o t h e e v a l u a t i o n f u n c t i o n o f t h ...