U s i n g a mode l f o r t h e e v o l u t i o n o f f i t n e s s , we s h o w how C o m p u t e r S i m u l a t i on c a n be u s e d to e x a m i n e w h e t h e r a t h e o r e t i c a l mode l c a n be t e s t e d b y e x p e r i m e n t a l d a t a . A m a x i m u m l i k e l i h o o d f i t o n s i m u l a t e d m e a s u r e m e n t s was a b l e to s e p a r a t e t h e p a r a m e t e...

A n e t w o r k c o n t r o l system o f T r a n s p o r t A u t o m a t i c I n t e g r a l Robot (TAIP) mot i o n i n t h e r e a l environment i s suggest e d . I n p u t d a t a and g e n e r a l s t r u c t u r e o f t h e network a r e d e s c r i b e d . A program i s r e p o r t e d o f f u r t h e r e f f o r t s t o i n v e s t i g a t e and r e f i n e t h e network c o n t r o l sys...

BEGIN l o w l e v e l t r a n s f o r m a t i o n s c a n r e q u i r e a l o t o f A I p l a n n i n g SUM:=1; TOP:=2*LN(X); TERM:=1; [Fickas85]. FOR I:=1 TO 20 DO BEGIN Now consider this same matrix multiply example in a language TERM:=(TOP/I)*TERM; SUM:=SUM+TERM; l i k e A P L t h a t e m b r a c e s t h e c o n c e p t o f m a t r i c e s a n d m a t r i x END; operations. This new language...

h a s b e e n t h e s u b j e c t o f n u m e r o u s r e s e a r c h e s a i m e d a t c o m p a r i n g i t w i t h t r a d i t i o n a l p e t r o l e u m b a s e d p o l y m e r s f o r m a n y p a c k a g i n g a p p l i ­ c a t i o n s . P L A i s b i o d e g r a d a b l e a n d d e r i v e d f r o m a g r i c u l t u r a l b y p r o d ­ u c t s s u c h a s c o r n s t a r c h o r o t h e...

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

The aim of t h i s paper is t o p r e s e n t t h e r e s u l t s o f a s t u d y which was performed t o a s s e s s t h e f e a s i b i l i t y of t h i n n i n g methods f o r document p r o c e s s i n g . A s a r e s u l t of t h e s e i n v e s t i g a t i o n s , b o t h t h e o r e t i c a l and numer ica l , a new t h i n n i n g method i s d e s c r i b e d and some of i t s p r o p e...

an e x p e r i m e n t a l f a c t o r y c a l l e d t h e Automated Manufacturing Research F a c i l i t y (AMRF'). The AMRF w i l l operate as a s m a l l batch machine shop and i s c u r r e n t l y c o n f i g u r e d with t h r e e machining w o r k s t a t i o n s , a c l e a n i n g and deburring w o r k s t a t i o n and an i n s p e c t i o n w o r k s t a t i o n. Each o f t h e s e w...

In t e l e o s t f i s h , G T H sécrétion is c o n t r o i l e d by a l a r g e n u m b e r o f n e u r o e n d o c r i n e f a c t o r s a t t h e c e n t r a l l eve l a n d s t e r o i d f e e d b a c k r e p r e s e n t s a n e f f i c i e n t p r o c e s s t o s y n c h r o n i z e t h e a c t i v i t y of a i l t h e Systems i n v o l v e d a l o n g t h e b r a i n p i t u i t a r y g o...

P r o t e i n i s o l a t e o b t a i n e d from g r e e n a l g a e ( S c e n e d e s m u s -_-I_ o b l i q u u s ) c u l t i v a t e d u n d e r c o n t r o l l e d c o n d i t i o n s w a s c h a r a c t e r i z e d . M o l e c u l a r w e i g h t d e t e r m i n a t i o n o f f r a c t i o n a t e d a l g a l p r o t e i n s u s i n g S D S p o l y a c r y l a m i d e g e l e l e c t r o p ...

D i s c o u r s e i s b o t h abou t t h e w o r l d and a n accomp l i shmen t i n t h e w o r l d . T h i s f a c t has l e d t o two approaches t o t h e s t u d y o f d i s c o u r s e I n a r t i f i c i a l i n t e l l i g e n c e , one i n v e s t i g a t i n g " t e x t p l a n s * ' , t h e o t h e r " w o r l d p l a n s " . By a n a l y z i n g a f r a g m e n t o f a n a r r a t i v...