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
It came up to here: learning from children's flood narratives
Walker, M., Whittle, R., Medd, W., Burningham, K., Moran-Ellis, J. and Tapsell, S. 2012. It came up to here: learning from children's flood narratives. Children's Geographies. 10 (2), pp. 135-150. https://doi.org/10.1080/14733285.2012.667916Article
A security model for functional active objects
Kammueller, F. 2012. A security model for functional active objects. Francisco, C., Kim, V., Miguel, C. and Andreas, K. (ed.) First International Symposium Communicability, Computer Graphics and Innovative Design for Interactive Systems (CCGIDIS 2011). Berlin Springer. https://doi.org/10.1007/978-3-642-33760-4_4Conference paper
Integrating biological conservation into management: community adaptive learning in the wetlands of Bangladesh
Thompson, P., Sultana, P. and Arthur, R. 2010. Integrating biological conservation into management: community adaptive learning in the wetlands of Bangladesh. Biodiversity. 11 (1-2), pp. 31-38.Article
On knowledge and obligation
Baskent, C., Olde Loohuis, L. and Parikh, R. 2012. On knowledge and obligation. Episteme. 9 (2), pp. 171-188. https://doi.org/10.1017/epi.2012.7Article
Looking to score: the dissociation of goal influence on eye movement and meta-attentional allocation in a complex dynamic natural scene
Taya, S., Windridge, D. and Osman, M. 2012. Looking to score: the dissociation of goal influence on eye movement and meta-attentional allocation in a complex dynamic natural scene. PLoS ONE. 7 (6). https://doi.org/10.1371/journal.pone.0039060Article
Dyslexie, Legasthenie, Ordblindhed: Dyslexia in different languages
Brunswick, N. 2012. Dyslexie, Legasthenie, Ordblindhed: Dyslexia in different languages. in: Everatt, J. (ed.) Dyslexia, languages and multilingualism Bracknell, UK British Dyslexia Association.Book chapter
The perceptual foundations of drawing ability
Chamberlain, R., Riley, H., McManus, C., Rankin, Q. and Brunswick, N. 2011. The perceptual foundations of drawing ability. in: Kantrowitz, A., Brew, A. and Fava, M. (ed.) Thinking through drawing: practice into knowledge: proceedings of an interdisciplinary symposium on drawing, cognition and education New York, NY, USA Teachers College Columbia University. pp. 95-102Book chapter
Conversational spaces for learning and designing
Fields, B., Bardill, A. and Jones, S. 2010. Conversational spaces for learning and designing. CHI2010 Workshop on New Generation of HCI and Education. Atlanta, GA, USA 10 - 15 Apr 2010Conference paper
Exploiting location and contextual information to develop a comprehensive framework for proactive handover in heterogeneous environments
Mapp, G., Katsriku, F., Aiash, M., Chinnam, N., Lopes, R., Moreira, E., Vanni, R., Augusto, M., Middlesex University and University of Sao Paulo 2012. Exploiting location and contextual information to develop a comprehensive framework for proactive handover in heterogeneous environments. Journal of Computer Networks and Communications. https://doi.org/10.1155/2012/748163Article
Maximum likelihood solution for the linear structural relationship with three parameters known
Michaeloudis, A. 2012. Maximum likelihood solution for the linear structural relationship with three parameters known. Journal of Modern Applied Statistical Methods. 10 (1), pp. 313-321.Article
Interactive visualization for low literacy users: from lessons learnt to design
Kodagoda, N., Wong, B., Rooney, C. and Khan, N. 2012. Interactive visualization for low literacy users: from lessons learnt to design. CHI '12 Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems. New York, NY, USA Association for Computing Machinery (ACM). pp. 1159-1168 https://doi.org/10.1145/2207676.2208565Conference paper
A security model for functional active objects with an implementation in Erlang
Fleck, A. and Kammueller, F. 2011. A security model for functional active objects with an implementation in Erlang. in: Ficarra, F., Kratky, A., Veltman, K., Ficarra, M., Nicol, E. and Brie, M. (ed.) Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion Bergamo, Italy Blue Herons.Book chapter
Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol.
Kammueller, F., Mapp, G., Patel, S. and Sani, A. 2012. Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. International Conference on Internet Monitoring and Protection (ICIMP 2012). Stuttgart, Germany 27 May - 01 Jun 2012 Xpert Publishing Service.Conference paper
A formally verified device authentication protocol using Casper/FDR
Aiash, M., Mapp, G., Phan, R., Lasebae, A. and Loo, J. 2012. A formally verified device authentication protocol using Casper/FDR. Min, G., Wu, Y., Liu, L., Jin, X., Jarvis, S. and Al-Dubai, A. (ed.) 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012). Liverpool, UK 25 - 27 Jun 2012 IEEE. pp. 1293-1298 https://doi.org/10.1109/TrustCom.2012.27Conference paper
Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011
Kammueller, F. 2012. Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011. Mathematical Reviews.Article
Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010.
Kammueller, F. 2012. Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. Mathematical Reviews.Article
Gene expression profiling of Mycobacterium avium subsp. paratuberculosis in simulated multi-stress conditions and within THP-1 cells reveals a new kind of interactive intramacrophage behaviour
Cossu, A., Sechi, L., Zanetti, S. and Rosu, V. 2012. Gene expression profiling of Mycobacterium avium subsp. paratuberculosis in simulated multi-stress conditions and within THP-1 cells reveals a new kind of interactive intramacrophage behaviour. BMC Microbiology. 12. https://doi.org/10.1186/1471-2180-12-87Article
Do challenge, task experience or computer familiarity influence the learning of historical chronology from virtual environments in 8–9 year old children?
Korallo, L., Foreman, N., Boyd Davis, S., Moar, M. and Coulson, M. 2012. Do challenge, task experience or computer familiarity influence the learning of historical chronology from virtual environments in 8–9 year old children? Computers and Education. 58 (4), pp. 1106-1116. https://doi.org/10.1016/j.compedu.2011.12.011Article
Real feelings for virtual people: emotional attachments and interpersonal attraction in video games
Coulson, M., Barnett, J., Ferguson, C. and Gould, R. 2012. Real feelings for virtual people: emotional attachments and interpersonal attraction in video games. Psychology of Popular Media Culture. 1 (3), pp. 176-184. https://doi.org/10.1037/a0028192Article
A locally nameless theory of objects
Henrio, L., Kammueller, F., Lutz, B. and Sudhof, H. 2010. A locally nameless theory of objects. SAFA Annual Workshop on Formal Techniques (SAFA’2010). 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, FranceConference paper
Locally nameless sigma calculus
Henrio, L., Kammueller, F., Lutz, B. and Sudhof, H. 2010. Locally nameless sigma calculus. Archive of Formal Proof.Article
Formalizing statecharts using hierarchical automata
Helke, S. and Kammueller, F. 2010. Formalizing statecharts using hierarchical automata. Archive of Formal Proof.Article
Radius-SHA256 – verified remote authentication with secure hashing.
Kammueller, F. and Patel, S. 2011. Radius-SHA256 – verified remote authentication with secure hashing. First Global Conference on Communication, Science and Information Engineering, CCSIE’11. Middlesex University 25 - 27 Jul 2011Conference paper
ASPfun: a typed functional active object calculus
Henrio, L., Kammueller, F. and Lutz, B. 2012. ASPfun: a typed functional active object calculus. Science of Computer Programming. 77 (7-8), pp. 823-847. https://doi.org/10.1016/j.scico.2010.12.008Article
Application of verification techniques to security: model checking insider attacks
Kammueller, F., Probst, C. and Raimondi, F. 2012. Application of verification techniques to security: model checking insider attacks. 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability. Venice, Italy 28 - 29 Mar 2012 Blue Herons editions.Conference paper
Emission control strategies for short-chain chloroparaffins in two semi-hypothetical case cities
Eriksson, E., Revitt, D., Holten Lützhøft, H., Viavattene, C., Lundy, L. and Steen Mikkelsen, P. Rauch, S. and Morrison, G. (ed.) 2012. Emission control strategies for short-chain chloroparaffins in two semi-hypothetical case cities. Springer.Book
A software based solution to facilitate end to end information supply chain visibility
Khan, N., Silva, S. and Kandl, T. 2012. A software based solution to facilitate end to end information supply chain visibility. Chen, J. and Su, Q. (ed.) 9th IEEE International Conference on Service System and Service Management (ICSSSM, 2012). Shanghai, China IEEE. pp. 850-855 https://doi.org/10.1109/ICSSSM.2012.6252359Conference paper
A survey of potential architectures for communication in heterogeneous networks
Aiash, M., Mapp, G., Lasebae, A., Loo, J., Sardis, F., Phan, R., Augusto, M., Moreira, E. and Vanni, R. 2012. A survey of potential architectures for communication in heterogeneous networks. IEEE Wireless Telecommunications Symposium (WTS 2012). London 18 - 20 Apr 2012 IEEE. pp. 1-6 https://doi.org/10.1109/WTS.2012.6266121Conference paper
Characteristics of a population-wide sample of smokers recruited proactively for the ESCAPE trial
Gilbert, H., Sutton, S., Leurent, B., Alexis-Garsee, C., Morris, R. and Nazareth, I. 2012. Characteristics of a population-wide sample of smokers recruited proactively for the ESCAPE trial. Public Health. 126 (4), pp. 308-316. https://doi.org/10.1016/j.puhe.2011.11.010Article
Certification or conformance: making a successful commitment to WCAG 2.0
Keith, S., Floratos, N. and Whitney, G. 2012. Certification or conformance: making a successful commitment to WCAG 2.0. Vigo, M., Abascal, J., Lopes, R. and Salomoni, P. (ed.) 9th International Cross-Disciplinary Conference on Web Accessibility. Lyon, France 16 - 17 Apr 2012 New York Association for Computing Machinery (ACM). https://doi.org/10.1145/2207016.2207029Conference paper
A model of the interpretation process and perceived uncertainty in a specific issue context.
Sund, K. and Hearne, G. 2011. A model of the interpretation process and perceived uncertainty in a specific issue context. British Academy of Management 2011 Conference. Birmingham, UK 13 - 15 Sep 2011Conference paper
Integrating sciences to sustain urban ecosystem services
Lundy, L. and Wade, R. 2011. Integrating sciences to sustain urban ecosystem services. Progress in Physical Geography. 35 (5), pp. 653-669. https://doi.org/10.1177/0309133311422464Article
Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems
Rajan, A., Bavan, A. and Abeysinghe, G. 2010. Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems. in: Sobh, T. and Elleithy, K. (ed.) Innovations in computing science and software engineering Netherlands Springer. pp. 23-28Book chapter
An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS)
Rajan, A., Bavan, A. and Abeysinghe, G. 2010. An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS). in: Elleithy, K. (ed.) Advanced techniques in computing sciences and software engineering London, UK Springer. pp. 491-496Book chapter
The co-design experience: conceptual models and design tools for mass customisation
Herd, K., Bardill, A. and Karamanoglu, M. 2009. The co-design experience: conceptual models and design tools for mass customisation. in: Piller, F. and Tseng, M. (ed.) Advances in mass customization and personalization London, UK World Scientific Publishing Co. Pte Ltd.Book chapter
Mediation role of boundary objects in articulating common information spaces.
Selvaraj, N. and Fields, B. 2010. Mediation role of boundary objects in articulating common information spaces. Workshop held in conjunction with the 9th International Conference on the Designing Cooperative Systems (COOP 2010). Aix-en-Provence, France 18 - 21 May 2010Conference paper
Qualitative research methods in psychology: combining core approaches
Frost, N. 2011. Qualitative research methods in psychology: combining core approaches. Open University Press.Book
Fuel from Waste Network hub
Griffiths, W. Fuel from Waste Network hub.Design
Le paradoxe de l’incertitude, quand moins signifie plus
Dalcher, D. 2009. Le paradoxe de l’incertitude, quand moins signifie plus. Génie Logiciel.Article
La paradoja de la incertidumbre: ¿cuándo menos significa más?
Dalcher, D. 2011. La paradoja de la incertidumbre: ¿cuándo menos significa más? Novatica. XXXVII (209), pp. 49-55.Article
1496996
total views367927
total downloads61526
views this month13536
downloads this month