Back

Computer Science

  1. Home
  2. Portfolio
  3. Category: Computer Science
Cooperative and load-balancing auctions for heterogeneous multi-robot teams dealing with spatial and non-atomic tasks

Cooperative and load-balancing auctions for heterogeneous multi-robot teams dealing with spatial and non-atomic tasks

Computer Science
Show project
SMLtoCoq: Automated generation of Coq specifications from SML programs

SMLtoCoq: Automated generation of Coq specifications from SML programs

Computer Science
Show project
FemtoCOF: An offloading framework tailored for FemtoClouds

FemtoCOF: An offloading framework tailored for FemtoClouds

Computer Science
Show project
Deep learning of indoor radio link quality in wireless networks using floor plans

Deep learning of indoor radio link quality in wireless networks using floor plans

Computer Science
Show project
Computer Science

Cooperative and load-balancing auctions for heterogeneous multi-robot teams dealing with spatial and non-atomic tasks

  • Authors

    Abubakr Mohamed, Ishaq Ansari

  • Advisor

    Saquib Razak, Eduardo Feo-Flushing

View Project
Computer Science

SMLtoCoq: Automated generation of Coq specifications from SML programs

  • Authors

    Laila Elbeheiry, Ammar Karkour

  • Advisor

    Giselle Reis

View Project
Computer Science

FemtoCOF: An offloading framework tailored for FemtoClouds

  • Authors

    Laila Elbeheiry

  • Advisors

    Khaled Harras, Giselle Reis

View Project
Computer Science

Deep learning of indoor radio link quality in wireless networks using floor plans

  • Authors

    Yaqoob Ansari, Nouha Tiyal

  • Advisors

    Saquib Razak, Eduardo Feo-Flushing

View Project