t i o n s h i p , a s i n , t h e p o o l ' s c l a r i t y o r t h e c l a r i t y o f t h e p o o l . A n d f i n a l l y , o b E X P R E S S I O N O F P O S S E S S I O N B Y L A T I N O C H I L D R E N 1 6 7 j e c t i v e p o s s e s s i v e s d o n o t s i g n a l a c t u a l p o s s e s s i o n , b u t t h e t w o n o u n s a r e n o n e t h e l e s s c l o s e l y r e l a t e d , a s i n...

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 ...

The paper desc r ibes an a l g o r i t h m f o r i d e n t i f i c a t i o n o f areas o f u n i f o r m t e x t u re in a n a i f t o n e image of a t h r e e d i m e n -

S i m i a n V i r u s 4 0 ( S V 4 0 ) l a r g e T a n t i g e n i s a D N A b i n d i n g p r o t e i n w i t h h i g h a f f i n i t y f o r s e g m e n t s o f t h e v i r a l g e n o m e . T o f i n d o u t w h e t h e r T a n t i g e n a l s o b i n d s t o s e q u e n c e s o f g e n o m i c c e l l u l a r D N A w e m i x e d T a n t i g e n a n d S A U 3 A r e s t r i c t e d m o u s e D...

T h i s paper d e s c r i b e s a d e d u c t i v e q u e s t i o n a n s w e r i n g comp u t e r program t h a t uses the Robinson r e s o l u t i o n p rocedu re t o p e r f o r m l o g i c a l i n f e r e n c e s and r e t r i e v e f a c t s o n the b a s i s o f a f a i r l y l a r g e body o f s t o r e d d a t a . I r r e l e v a n t searches and i n f e r e n c e s a r e k e p t to a m...

Let P be a compact n-dimensional convex polyhedron in R n containing the origin in its interior and let e H(t) = Z 1 0 Z vP e 2it ddv, t2 R n ;where vP is the characteristic function of the dilated polyhedron vP. Let H N (t) = X m2Z n e H 1 N+1 (t+m), t 2 T n , where e H " (t) = " ?n e H(t="). We prove that (e H " f)(t) ! f(t) a.e., as " ! 0, for any f 2 L 1 (R n), and that (H N f)(t) ! f(t) a....

As one aspect of the endeavor to c r e a te new i n t e l l e c t u a l t o o l s f o r mankind, we w ish to enable computers to p rove , and t o a s s i s t i n the p roo f s o f , theorems o f mathematics and ( e v e n t u a l l y ) o t h e r d i s c i p l i n e s which have ach ieved the r e q u i s i t e l o g i c a l p r e c i s i o n . For t h i s purpose, a p a r t i c u l a r l y s u i ...

A computer p rogram w h i c h s o l v e s p h y s i c s p r o b lems s t a t e d i n E n g l i s h i s d e s c r i b e d i n terms o f t h e knowledge w h i c h i s used t o t r a n s f o r m one t y p e o f r e p r e s e n t a t i o n i n t o a n o t h e r . The E n g l i s h s e n t e n c e s o f t h e p r o b l e m s t a t e m e n t a re p r o g r e s s i v e l y t r a n s f o r m e d i n t ...

S e v e r a l r e c e n t r e s e a r c h r e p o r t s have f o c u s s e d o n t h e r e p r e s e n t a t i o n and s o l u t i o n o f p rob lems i n s e m a n t i c a l l y r i c h domains ( 1 ) , ( 2 ) , ( 3 ) , ( 4 ) . These i n c l u d e a n a l y s i s o f a l g e b r a word p r o b l e m s a s w e l l as p r o b l e m s in mechan ics and t he rmodynamics . The t e r m " s e m a n t i ...

Humans can r e c o v e r t h e shape o f a s u r f a c e f r o m i t s image b o u n d a r y . The a u t h o r s have p r e s e n t e d a new a p p r o a c h t o shape f r o m b o u n d a r y [ 4 ] . I t i n c l u d e s t h r e e p o i n t s : t h e l i n e o f c u r v a t u r e (LOC) r e g u l a r i t y , a n a l g o r i t h m f o r c o n s t r u c t i n g LOC net f r o m b o u n d a r y , and...