Faculty of Science and Technology
| Title | Faculty of Science and Technology |
|---|---|
| Alternative | S&T |
| University | Middlesex University London |
| Campus | London |
Latest research outputs
Sort by Date Title
Personalised learning materials based on dyslexia types: ontological approach
Alsobhi, A., Khan, N. and Rahanu, H. 2015. Personalised learning materials based on dyslexia types: ontological approach. 19th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2015). Singapore Elsevier. pp. 113-121Conference paper
DAEL framework: a new adaptive e-learning framework for students with dyslexia
Alsobhi, A., Khan, N. and Rahanu, H. 2015. DAEL framework: a new adaptive e-learning framework for students with dyslexia. International Conference On Computational Science, ICCS 2015 — Computational Science at the Gates of Nature. Reykjavík, Iceland 01 - 03 Jun 2015 pp. 1947-1956Conference paper
Combining multiple autosomal introns for studying shallow phylogeny and taxonomy of Laurasiatherian mammals: application to the tribe Bovini (Cetartiodactyla, Bovidae)
Hassanin, A., An, J., Ropiquet, A., Nguyen, T. and Couloux, A. 2013. Combining multiple autosomal introns for studying shallow phylogeny and taxonomy of Laurasiatherian mammals: application to the tribe Bovini (Cetartiodactyla, Bovidae). Molecular Phylogenetics and Evolution. 66 (3), pp. 766-775. https://doi.org/10.1016/j.ympev.2012.11.003Article
Has the kouprey (Bos Sauveli Urbain, 1937) been domesticated in Cambodia? = Le kouprey (Bos sauveli Urbain, 1937) a-t-il été domestiqué au Cambodge?
Hassanin, A., Ropiquet, A., Cornette, R., Tranier, M., Pfeffer, P., Candegabe, P. and Lemaire, M. 2006. Has the kouprey (Bos Sauveli Urbain, 1937) been domesticated in Cambodia? = Le kouprey (Bos sauveli Urbain, 1937) a-t-il été domestiqué au Cambodge? Comptes Rendus Biologies. 329 (2), pp. 124-135. https://doi.org/10.1016/j.crvi.2005.11.003Article
What is the taxonomic status of the Cambodian banteng and does it have close genetic links with the kouprey?
Hassanin, A. and Ropiquet, A. 2006. What is the taxonomic status of the Cambodian banteng and does it have close genetic links with the kouprey? Journal of Zoology. 271 (3), pp. 246-252. https://doi.org/10.1111/j.1469-7998.2006.00272.xArticle
Molecular phylogeny of the tribe Bovini (Bovidae, Bovinae) and the taxonomic status of the Kouprey, Bos Sauveli Urbain 1937
Hassanin, A. and Ropiquet, A. 2004. Molecular phylogeny of the tribe Bovini (Bovidae, Bovinae) and the taxonomic status of the Kouprey, Bos Sauveli Urbain 1937. Molecular Phylogenetics and Evolution. 33 (3), pp. 896-907. https://doi.org/10.1016/j.ympev.2004.08.009Article
Molecular phylogeny of caprines (Bovidae, Antilopinae): the question of their origin and diversification during the Miocene
Ropiquet, A. and Hassanin, A. 2005. Molecular phylogeny of caprines (Bovidae, Antilopinae): the question of their origin and diversification during the Miocene. Journal of Zoological Systematics and Evolutionary Research. 43 (1), pp. 49-60. https://doi.org/10.1111/j.1439-0469.2004.00290.xArticle
Molecular evidence for the polyphyly of the genus Hemitragus (Mammalia, Bovidae)
Ropiquet, A. and Hassanin, A. 2005. Molecular evidence for the polyphyly of the genus Hemitragus (Mammalia, Bovidae). Molecular Phylogenetics and Evolution. 36 (1), pp. 154-168. https://doi.org/10.1016/j.ympev.2005.01.002Article
Mitochondrial and nuclear phylogenies of Cervidae (Mammalia, Ruminantia): systematics, morphology, and biogeography
Gilbert, C., Ropiquet, A. and Hassanin, A. 2006. Mitochondrial and nuclear phylogenies of Cervidae (Mammalia, Ruminantia): systematics, morphology, and biogeography. Molecular Phylogenetics and Evolution. 40 (1), pp. 101-117. https://doi.org/10.1016/j.ympev.2006.02.017Article
Hybrid origin of the Pliocene ancestor of wild goats
Ropiquet, A. and Hassanin, A. 2006. Hybrid origin of the Pliocene ancestor of wild goats. Molecular Phylogenetics and Evolution. 41 (2), pp. 395-404. https://doi.org/10.1016/j.ympev.2006.05.033Article
Resolving a zoological mystery: the kouprey is a real species
Hassanin, A. and Ropiquet, A. 2007. Resolving a zoological mystery: the kouprey is a real species. Proceedings of the Royal Society B: Biological Sciences. 274 (1627), pp. 2849-2855. https://doi.org/10.1098/rspb.2007.0830Article
Mitochondrial DNA variability in Giraffa Camelopardalis: consequences for taxonomy, phylogeography and conservation of giraffes in West and Central Africa
Hassanin, A., Ropiquet, A., Gourmand, A., Chardonnet, B. and Rigoulet, J. 2007. Mitochondrial DNA variability in Giraffa Camelopardalis: consequences for taxonomy, phylogeography and conservation of giraffes in West and Central Africa. Comptes Rendus Biologies. 330 (3), pp. 265-274. https://doi.org/10.1016/j.crvi.2007.02.008Article
Low genetic variability of the white-clawed crayfish in the Iberian Peninsula: its origin and management implications
Diéguez-Uribeondo, J., Royo, F., Souty-Grosset, C., Ropiquet, A. and Grandjean, F. 2008. Low genetic variability of the white-clawed crayfish in the Iberian Peninsula: its origin and management implications. Aquatic Conservation: Marine and Freshwater Ecosystems. 18 (1), pp. 19-31. https://doi.org/10.1002/aqc.811Article
SuperTRI: a new approach based on branch support analyses of multiple independent data sets for assessing reliability of phylogenetic inferences
Ropiquet, A., Li, B. and Hassanin, A. 2009. SuperTRI: a new approach based on branch support analyses of multiple independent data sets for assessing reliability of phylogenetic inferences. Comptes Rendus Biologies. 332 (9), pp. 832-847. https://doi.org/10.1016/j.crvi.2009.05.001Article
Evolution of the mitochondrial genome in mammals living at high altitude: new insights from a study of the tribe Caprini (Bovidae, Antilopinae)
Hassanin, A., Ropiquet, A., Couloux, A. and Cruaud, C. 2009. Evolution of the mitochondrial genome in mammals living at high altitude: new insights from a study of the tribe Caprini (Bovidae, Antilopinae). Journal of Molecular Evolution. 68 (4), pp. 293-310. https://doi.org/10.1007/s00239-009-9208-7Article
Genetic variability of Austropotamobius Italicus in the Marches region: implications for conservation
Cataudella, R., Paolucci, M., Delaunay, C., Ropiquet, A., Hassanin, A., Balsamo, M. and Grandjean, F. 2010. Genetic variability of Austropotamobius Italicus in the Marches region: implications for conservation. Aquatic Conservation: Marine and Freshwater Ecosystems. 20 (3), pp. 261-268. https://doi.org/10.1002/aqc.1099Article
Pattern and timing of diversification of Cetartiodactyla (Mammalia, Laurasiatheria), as revealed by a comprehensive analysis of mitochondrial genomes = Histoire évolutive des Cetartiodactyla (Mammalia, Laurasiatheria) racontée par l’analyse des génomes mitochondriaux
Hassanin, A., Delsuc, F., Ropiquet, A., Hammer, C., Jansen van Vuuren, B., Matthee, C., Ruiz-Garcia, M., Catzeflis, F., Areskoug, V., Nguyen, T. and Couloux, A. 2012. Pattern and timing of diversification of Cetartiodactyla (Mammalia, Laurasiatheria), as revealed by a comprehensive analysis of mitochondrial genomes = Histoire évolutive des Cetartiodactyla (Mammalia, Laurasiatheria) racontée par l’analyse des génomes mitochondriaux. Comptes Rendus Biologies. 335 (1), pp. 32-50. https://doi.org/10.1016/j.crvi.2011.11.002Article
Cryptic speciation and chromosomal repatterning in the South African climbing mice Dendromus (Rodentia, Nesomyidae)
Solano, E., Taylor, P., Rautenbach, A., Ropiquet, A. and Castiglia, R. 2014. Cryptic speciation and chromosomal repatterning in the South African climbing mice Dendromus (Rodentia, Nesomyidae). PLoS ONE. 9 (2), pp. 1-9. https://doi.org/10.1371/journal.pone.0088799Article
The development of specialist support services for young people who have offended and who have also been victims of crime, abuse and/or violence: final report
Porteous, D., Adler, J. and Davidson, J. 2015. The development of specialist support services for young people who have offended and who have also been victims of crime, abuse and/or violence: final report. London MOPAC.Project report
Weak bisimilarity coalgebraically
Popescu, A. 2009. Weak bisimilarity coalgebraically. Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Udine, Italy 07 - 10 Sep 2009 Springer. pp. 157-172Conference paper
Evaluation of colour appearances displaying on smartphones
Gao, X., Khodamoradi, E., Guo, L., Yang, X., Tang, S., Guo, W. and Wang, Y. 2015. Evaluation of colour appearances displaying on smartphones. Yaguchi, H., Okajima, K., Ishida, T., Araki, K., Doi, M. and Manabe, Y. (ed.) AIC 2015, Color and Image, Midterm meeting of the International Colour Association (AIC). Tokyo, Japan 19 - 22 May 2015 The Color Science Association of Japan. pp. 539-544Conference poster
Incremental pattern-based coinduction for process algebra and its Isabelle formalization
Popescu, A. and Gunter, E. 2010. Incremental pattern-based coinduction for process algebra and its Isabelle formalization. Foundations of Software Science and Computation Structures (FOSSACS). Paphos, Cyprus 20 - 28 Mar 2010 Springer. pp. 109-127Conference paper
More SPASS with Isabelle: superposition with hard sorts and configurable simplification
Blanchette, J., Popescu, A., Wand, D. and Weidenbach, C. 2012. More SPASS with Isabelle: superposition with hard sorts and configurable simplification. Interactive Theorem Proving (ITP), Third International Conference. Princeton, New Jersey, US 13 - 15 Aug 2012 Springer. pp. 345-360Conference paper
Proving concurrent noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2012. Proving concurrent noninterference. 2nd International Conference on Certified Programs and Proofs (CPP 2012). Kyoto, Japan 13 - 15 Dec 2012 Springer. pp. 109-125Conference paper
Formal verification of language-based concurrent noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2013. Formal verification of language-based concurrent noninterference. Journal of Formalized Reasoning. 6 (1), pp. 1-30. https://doi.org/10.6092/issn.1972-5787/3690Article
Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2013. Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference. 5th Conference on Algebra and Coalgebra in Computer Science (CALCO). Warsaw, Poland 03 - 06 Sep 2013 Springer. pp. 236-252Conference paper
Mechanizing the metatheory of sledgehammer
Blanchette, J. and Popescu, A. 2013. Mechanizing the metatheory of sledgehammer. 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013). Nancy, France 18 - 20 Sep 2013 Springer. pp. 245-260Conference paper
Formalizing probabilistic noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2013. Formalizing probabilistic noninterference. 3rd International Conference on Certified Programs and Proofs (CPP 2013). Melbourne, VIC, Australia 11 - 13 Dec 2013 Springer International Publishing. pp. 259-275Conference paper
Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory
Schropp, A. and Popescu, A. 2013. Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory. Certified Programs and Proofs (CPP). Melbourne, Australia 11 - 13 Dec 2013 Springer. pp. 114-130 https://doi.org/10.1007/978-3-319-03545-1_8Conference paper
Witnessing (co)datatypes
Blanchette, J., Popescu, A. and Traytel, D. 2015. Witnessing (co)datatypes. 24th European Symposium on Programming (ESOP 2015). London, UK 11 - 18 Apr 2015 Springer. pp. 359-382Conference paper
Sense of entitlement to workplace support for infertility treatment
Payne, N., Lewis, S., Constantinou, C. and van den Akker, O. 2014. Sense of entitlement to workplace support for infertility treatment. Work and Family Researchers Network Conference 2014: Changing Work and Family Relationships in a Global Economy. New York, USA 19 - 21 Jun 2014Conference paper
Work-life balance and medically assisted reproduction (MAR): MAR uses experiences of workplace support
Payne, N., van den Akker, O., Constantinou, C. and Lewis, S. 2014. Work-life balance and medically assisted reproduction (MAR): MAR uses experiences of workplace support. 11th Conference of the European Academy of Occupational Health Psychology. London, United Kingdom 14 - 16 Apr 2014Conference paper
Experiences of combining work and infertility treatment
Payne, N., van den Akker, O., Lewis, S. and Constantinou, C. 2015. Experiences of combining work and infertility treatment. BICA Journal/Journal of Fertility Counselling. 22 (1), pp. 13-16.Article
A comparison of simple agents implemented in simulated neurons
Huyck, C., Evans, C. and Mitchell, I. 2015. A comparison of simple agents implemented in simulated neurons. Biologically Inspired Cognitive Architectures. 12, pp. 9-19. https://doi.org/10.1016/j.bica.2015.03.001Article
Alcohol use and crime
Horvath, M. and Le Boutillier, N. 2014. Alcohol use and crime. in: Albanese, J. (ed.) The Encyclopedia of Criminology and Criminal Justice West Sussex, UK WileyBlackwell.Book chapter
Automatic semantic priming: the contribution of lexical and semantic level processes
De Mornay Davies, P. 1998. Automatic semantic priming: the contribution of lexical and semantic level processes. European Journal of Cognitive Psychology. 10 (4), pp. 389-412. https://doi.org/10.1080/713752286Article
Emotional and psychosocial risk associated with fertility treatment
van den Akker, O. and Springer-Verlag 2015. Emotional and psychosocial risk associated with fertility treatment. in: Mathur, R. (ed.) Reducing Risk in Fertility Treatment London Springer Verlag. pp. 79-96Book chapter
A systematic review of changes in women’s physical activity before and during pregnancy and the postnatal period
Abbasi, M. and van den Akker, O. 2015. A systematic review of changes in women’s physical activity before and during pregnancy and the postnatal period. Journal of Reproductive and Infant Psychology. 33 (4), pp. 325-358. https://doi.org/10.1080/02646838.2015.1012710Article
Learning to perceive: informing pedagogic practice through the empirical study of drawing
Rankin, Q., Riley, H., Chamberlain, R., McManus, C. and Brunswick, N. 2014. Learning to perceive: informing pedagogic practice through the empirical study of drawing. TRACEY: Drawing and Visualisation Research. 9 (2), pp. 128-136.Article
Will ToR achieve its goals in the "future internet"? : an empirical study of using ToR with cloud computing
Carnielli, A. and Aiash, M. 2015. Will ToR achieve its goals in the "future internet"? : an empirical study of using ToR with cloud computing. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015). Gwangju, Korea 24 - 27 Mar 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 135-140Conference paper
1492334
total views367369
total downloads56864
views this month12978
downloads this month