Faculty of Science, Computer Information Systems De partment, Bethlehem University, Palestine

Diagnosis of Leptomeningeal Metastases Disease in MRI Images by Using Image Enhancement

#Cerebrospinal Fluid (CSF) examination # Computed Tomography (CT) # Image Enhancement methods # Leptomeningeal Metastases # Magnetic Resonance Imaging (MRI)

Multiuser Detection with Neural Network MAI Detector in CDMA Systems for AWGN and

Necmi Taspinar1 and Yalcin Isik2 1Department of Electrical and Electronics Engineerin g, Erciyes University, Turkey 2Silifke"Tasucu Vocational School, Selcuk University , Turkey

#CDMA # multi5user detection # neural network # MAI det ector

Streaming Video Classification Using Machine Learning

Adnan Shaout and Brennan Crispin

#Machine Learning # Neural Networks # Deep Packet Inspection # MDP # Video Streaming # AI

Modeling and Formal Verification of IMPP

#Formal methods #verification of communication protocols #instant messaging systems #verification tools #spin #LTL #PROMELA