En este trabajo se presentan las ventajas del uso del Modelo Orientado a Objetos para el modelado conceptual y la implementación de sistemas de información. La mayoría de las metodologías actuales [Rum91], [Boo94], [BRJ96] carecen de guías precisas y rigurosas (desde el punto de vista del proceso de especificación) que nos permitan obtener productos finales a partir de los modelos conceptuales ...

T h i s r e p o r t d e s c r i b e s r e s e a r c h done a t t h e A r t i f i c i a l I n t e l l i g e n c e L a b o r a t o r y o f t h e Massac h u s e t t s I n s t i t u t e o f T e c h n o l o g y . S u p p o r t f o r t h e l a b o r a t o r y ' s a r t i f i c i a l i n t e l l i g e n c e r e s e a r c h i s p r o v i d e d i n p a r t b y t h e Advanced Research P r o j e c t s Age...

E x p e r i e n c e w i t h t h e MYCIN [ 1 ] t h e r a p y s e l e c t o r shows t h a t a c l e a n l y s t r u c t u r e d a l g o r i t h m makes p o s s i b l e a s i . -np le , b u t u s e f u l e x p l a n a t i o n c a p a b i l i t y . The a l g o r i t h m uses t h e g e n e r a t e and t e s t method t o s e l e c t a s m a l l s e t o f d r u g s f o r a d m i n i s t r a t i o n t ...

1 . D i a g n o s i s : c . G r a n u l o m a o f t h e c o n j u n c t i v a f o l l o w i n g t r i c h i a s i s s u r g e r y . T h i s m a y o c c u r 6 w e e k s t o 6 m o n t h s a f t e r t h e o p e r a t i o n . 2 . R i s k f a c t o r s : c . T h e c o m m o n e s t c a u s e i s r e t e n t i o n o f a f r a g m e n t o f n o n a b s o r b a b l e s...

I n t e r n a t i o n a l I n s t i t u t e f o r E n v i r o n m e n t a n d D e v e l o p m e n t ( I I E D ) , L o n d o n , U K , s a l e e m u l . h u q @ i i e d . o r g 2 D e p t . o f E n v i r o n m e n t a l S c i e n c e a n d T e c h n o l o g y , F a c u l t y o f L i f e S c i e n c e s , L o n d o n , U K , m i c h a e l . g r u b b @ i c . a c . u k Scientific assessment of the ...

© Versita Sp. z o.o. Received 30 July 2010; Accepted 28 September 2010

Abstra t. The e e tive integration of de ision pro edures in formula simpli ation is a fundamental problem in me hani al veri ation. The main sour e of diÆ ulty o urs when the de ision pro edure is asked to solve goals ontaining symbols whi h are interpreted for the prover but uninterpreted for the de ision pro edure. To ope with the problem, Boyer & Moore proposed a te hnique, alled augmentati...

The Russian Academy of Sciences was established on the order of the Emperor Peter I by the Decree of the Ruling Senate dated January 28 (February 8), 1724. The Academy was reinstated by the Decree of the President of the Russian Federation dated November 21, 1991 as the supreme scientific institution of Russia (http://www. ras.ru). The Russian Academy of Sciences (RAS) is a civil self-governed ...

I t has been indicated that subboundaries apperar to have difficulty in sliding. This payer propose three mechanisms of the internal friction peak associated with subboundaries: diffusion ~ r e e p , ~ l i d e and climb of the jogged dislocations in subboundaries and the interaction of subboundaries and dislocations. We have analysed and calculated the internal friction