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

f o r m e d t h e o p e r a t i o n a l f o u n d a t i o n s o f s c i e n c e , t h a t w e r e l a r g e l y t h e h e r i t a g e f r o m t h e t i m e o f A r i s t o t l e , i n t o i t s m o d e r n f o r m . T h e s e n e w f o u n d a t i o n s c o n s i s t e d o f t h e u s e o f ( 1 ) P h y s i c a l E x p e r i m e n t s a n d t h e u s e o f ( 2 ) M a t h e m a t i c a l M o d e l...

o b e c o m e f u l l y l i t e r a t e i n t o d a y ’ s world, students must become proficient i n t h e n e w l i t e r a c i e s o f 2 1 s t c e n t u ry technologies. As a result, literacy e d u c a t o r s h a v e a r e s p o n s i b i l i t y t o e f f e c tively integrate these new technologies i n t o t h e c u r r i c u l u m , p r e p a r i n g s t u d e n t s for...

I n t h i s p a p e r , w e w i l l d e s c r i b e a g e n e r a l m e t h o d o l o g y w h i c h c a n b e u t i l i z e d i n t h e g e n e r a t i o n o f i m a g e r e c o g n i t i o n b e n c h m a r k p r o b l e m s , w h i c h c a n b e u s e d t o v a l i d a t e a n d v e r i f y l e a r n i n g a l g o r i t h m s f o r d a t a s t r u c t u r e s . T h i s m e t h o d o l o g y i...

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

T h e p a p e r i s a i m e d a t e x a m i n i n g t h e r e l a t i o n s h i p b e t w e e n t h e t h r e e t o p i c s o f t h e w o r k s h o p s t h a t g a v e r i s e t o t h i s b o o k : s e c u r i t y , f a u l t t o l e r a n c e , a n d s o f t w a r e a s s u r a n c e . T h o s e t h r e e t o p i c s c a n b e v i e w e d a s d i f f e r e n t f a c e t s o f d e p e n d a b i...

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

d e v e l o p m e n t p r o c e s s . A n u n d e r l y i n g a s p e c t i s t h e e f f e c t i v e n e s s o f f i x e s : i f a f a i r n u m b e r o f f i x e d b u g s a r e r e o p e n e d , i t c o u l d i n d i c a t e i n s t a b i l i t y i n t h e s o f t w a r e s y s t e m . T o t h e b e s t o f o u r k n o w l e d g e t h e r e h a s b e e n o n l i t t l e p r i o r w o r k o n...

I n d i v i d u a l s w h o m a s t e r s o m e t h i n g t h a t t h e y p e r c e i v e a s d i f f i c u l t ( e x e r c i s i n g r e g u l a r l y ) m a y e x p e r i e n c e a p o s i t i v e c h a n g e i n t h e i r p s y c h o l o g i c a l h e a l t h m a n i f e s t e d b y i n c r e a s e d s e l f c o n f i d e n c e , i m p r o v e d s e l f e f f i c a c y ( a n “ I c a n d o i t...

T h e p r o b l e m of e f f i c i e n t l y s t o r i n g and r e t r i e v i n g a s p e c i a l c l a s s of k n o w l e d g e d a t a b a s e s , n a m e l y s t a t e s p a c e n e t w o r k s , is t a c k l ed . Th i s p r o b l e m has m a n y s i m i l a r i t i e s w i t h t h e s t o r a g e a n d r e t r i e v a l of p r o g r a m c o d e and d a t a in v i r t u a l m e m o r y s y ...