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
Biological water quality assessment in running water sites harbouring the endangered crayfish, Austropotamobius pallipes based on macroinvertebrates and its potential in habitat selection for restocking
Grandjean, F., Jouteux, R., Ropiquet, A., Bachelier, E. and Bramard, M. 2001. Biological water quality assessment in running water sites harbouring the endangered crayfish, Austropotamobius pallipes based on macroinvertebrates and its potential in habitat selection for restocking. in: Whisson, E. (ed.) Freshwater Crayfish.XIII Perth, Australia Freshwater Crayfish.XIII.Book chapter
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
Forte capacité de dispersion d’austropotamobius pallipes révélée par des marqueurs microsatellites dans un ruisseau français
Gouin, N., Souty-Grosset, C., Ropiquet, A. and Grandjean, F. 2002. Forte capacité de dispersion d’austropotamobius pallipes révélée par des marqueurs microsatellites dans un ruisseau français. Bulletin Français de la Pêche et de la Pisciculture. https://doi.org/10.1051/kmae:2002059Article
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
High dispersal ability of Austropotamobius pallipes revealed by microsatellite markers in a French brook
Gouin, N., Souty-Grosset, C., Ropiquet, A. and Grandjean, F. 2002. High dispersal ability of Austropotamobius pallipes revealed by microsatellite markers in a French brook. Bulletin Français de la Pêche et de la Pisciculture. https://doi.org/10.1051/kmae:2002059Article
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
Chromosome evolution in the subtribe Bovina (Mammalia, Bovidae): the karyotype of the Cambodian banteng (Bos javanicus birmanicus) suggests that Robertsonian translocations are related to interspecific hybridization
Ropiquet, A., Gerbault-Seureau, M., Deuve, J., Gilbert, C., Pagacova, E., Chai, N., Rubes, J. and Hassanin, A. 2008. Chromosome evolution in the subtribe Bovina (Mammalia, Bovidae): the karyotype of the Cambodian banteng (Bos javanicus birmanicus) suggests that Robertsonian translocations are related to interspecific hybridization. Chromosome Research. 16 (8), pp. 1107-1118. https://doi.org/10.1007/s10577-008-1262-2Article
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
A paradox revealed: karyotype evolution in the four-horned antelope occurs by tandem fusion (Mammalia, Bovidae, Tetracerus quadricornis)
Ropiquet, A., Hassanin, A., Pagacova, E., Gerbault-Seureau, M., Cernohorska, H., Kubickova, S., Bonillo, C., Rubes, J. and Robinson, T. 2010. A paradox revealed: karyotype evolution in the four-horned antelope occurs by tandem fusion (Mammalia, Bovidae, Tetracerus quadricornis). Chromosome Research. 18 (2), pp. 277-286. https://doi.org/10.1007/s10577-010-9115-1Article
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
A semantic approach to interpolation
Popescu, A., Şerbănuţă, T. and Roşu, G. 2009. A semantic approach to interpolation. Theoretical Computer Science. 410 (12-13), pp. 1109-1128. https://doi.org/10.1016/j.tcs.2008.09.038Article
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 (WFRN): 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
507112
total views137396
total downloads15910
views this month991
downloads this month