Computer Sciences and Information Technology
Formal specification for secured software system
Design of a sciento-text computational framework of retrieval and contextual recommendations of high quality scholarly articles
Large-scale text analytics to identity temporal and medisspecific scopes of words
Verification of concurrent software
Algebraic and probabilistic combinatorics
Design of Multilingual Lexical knowledge network
Harmonic quasiconformal mappings
Nano-size materials anchored by metal complexes catalysts - synthesis and application in hydrocarbons oxidation (O2) and hydro- isomerization reactions
Knot invariants and Geometric manifolds
Computational aspects of Mathematical design and analysis of secure communication systems based on cryptographic primitives
Pages
