|
espace at MMU >
Faculties >
Faculty of Science and Engineering >
Department of Computing and Mathematics >
Browsing e-space
Browsing "Department of Computing and Mathematics" by Issue Date
Showing results 1 to 20 of 126
| Issue Date | Title | Author(s) | Feb-2010 | Business information query expansion through semantic network | Gong, Zhiguo; Muyeba, Maybin; Guo, Jingzhi |
2010 | Computational modelling and social theory – the dangers of numerical representation | Edmonds, Bruce |
2010 | Modelling of chance discovery in variations of linear temporal logic implementing agents' interaction | Rybakov, Vladimir V. |
Dec-2009 | Linear temporal logic LTLK extended by multi-agent logic Kn with interacting agents | Rybakov, Vladimir V. |
Dec-2009 | Advances in games technology: software, models, and intelligence | Prakash, Edmond C.; Brindle, Geoff; Jones, Kevin; Zhou, Suiping; Chaudhari, Narendra S.; Wong, Kok-Wai |
Dec-2009 | Neuronal computers | Borresen, Jon; Lynch, Stephen |
Sep-2009 | Logics of Kripke meta-models | Babenyshev, Sergey; Rybakov, Vladimir V. |
Jun-2009 | Novel moving target search algorithms for computer gaming | Loh, Peter K. K.; Prakash, Edmond C. |
May-2009 | Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements | Rybakov, Vladimir V. |
2009 | Temporal logic for modeling discovery and logical uncertainty | Babenyshev, Sergey; Rybakov, Vladimir V. |
2009 | Face to face: anthropometry-based interactive face shape modeling using model priors | Zhang, Yu; Prakash, Edmond C. |
2009 | Performance simulations of moving target search algorithms | Loh, Peter K. K.; Prakash, Edmond C. |
2009 | DNA hash pooling and its applications | Shasha, Dennis; Amos, Martyn |
2009 | Fuzzification of discrete attributes from financial data in fuzzy classification trees | Crockett, Keeley; Bandar, Zuhair A.; O'Shea, James |
2009 | Elgasir: an algorithm for creating fuzzy regression trees | Gasir, Fathi; Bandar, Zuhair A.; Crockett, Keeley |
2009 | Describing evolutions of multi-agent systems | Babenyshev, Sergey; Rybakov, Vladimir V. |
Aug-2008 | Linear temporal logic with until and next, logical consecutions | Rybakov, Vladimir V. |
Aug-2008 | Branching time logics BTL, U,S , N,N −1(Z)α with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms | Rybakov, Vladimir V. |
Aug-2008 | Multi-modal and temporal logics with universal formula—reduction of admissibility to validity and unification | Rybakov, Vladimir V. |
Mar-2008 | Database systems: design, implementation & management - international edition | Rob, Peter; Coronel, Carlos; Crockett, Keeley |
Showing results 1 to 20 of 126
|
