Artificial Intelligence group

TitleArtificial Intelligence group

Latest research outputs

Sort by Date Title
Embedded writing instruction in the first year curriculum
Bernaschina, P. and Smith, S. 2012. Embedded writing instruction in the first year curriculum. Journal of Learning Development in Higher Education. https://doi.org/10.47408/jldhe.v0i0.186

Article

Embedding information literacy skills as employability attributes
Smith, S. and Edwards, J. 2012. Embedding information literacy skills as employability attributes. ALISS Quarterly. 7 (4), pp. 22-27.

Article

Maximal connectivity and constraints in the human brain
Belavkin, R. 2012. Maximal connectivity and constraints in the human brain. in: Pardalos, P., Coleman, T. and Xanthopoulos, P. (ed.) Optimization and data analysis in biomedical informatics New York Springer.

Book chapter

On evolution of an information dynamic system and its generating operator
Belavkin, R. 2012. On evolution of an information dynamic system and its generating operator. Optimization Letters. 6 (5), pp. 827-840. https://doi.org/10.1007/s11590-011-0325-z

Article

Twenty five years of training and education in ICT Design for All and Assistive Technology.
Whitney, G., Keith, S., Bühler, C., Hewer, S., Lhotska, L., Miesenberger, K., Sandnes, F., Stephanidis, C. and Velasco, C. 2011. Twenty five years of training and education in ICT Design for All and Assistive Technology. Technology and Disability. 23 (3), pp. 163-170. https://doi.org/10.3233/TAD-2011-0324

Article

Survey of grid resource monitoring and prediction strategies.
Hu, L., Cheng, X. and Che, X. 2010. Survey of grid resource monitoring and prediction strategies. International Journal of Intelligent Information Processing. 1 (2).

Article

Efficient identity-based broadcast encryption without random oracles.
Hu, L., Liu, Z. and Cheng, X. 2010. Efficient identity-based broadcast encryption without random oracles. Journal of Computers. 5 (3), pp. 331-336.

Article

Solving job shop scheduling problem using genetic algorithm with penalty function
Sun, L., Cheng, X. and Liang, Y. 2010. Solving job shop scheduling problem using genetic algorithm with penalty function. International Journal of Intelligent Information Processing. 1 (2), pp. 65-77.

Article

eHealth: legal, ethical and governance challenges: an overview.
Whitehouse, D., George, C. and Duquenoy, P. 2011. eHealth: legal, ethical and governance challenges: an overview. Med-e-Tel 2011. Luxembourg 06 - 08 Apr 2011

Conference paper

Modelchecking non-functional requirements for interface specifications.
Kammueller, F. and Preibusch, S. 2008. Modelchecking non-functional requirements for interface specifications. European Joint Conference on Theory and Practice of Software, 2008, (Foundations of Interface technologies). Budapest 29 Mar - 06 Apr 2008

Conference paper

Compositionality of aspect weaving.
Kammueller, F. and Sudhof, H. 2008. Compositionality of aspect weaving. in: Mahr, B. and Sheng, H. (ed.) Autonomous systems: self-organisation, management, and control. Springer Verlag. pp. 87-96

Book chapter

Interactive theorem proving in software engineering.
Kammueller, F. 2008. Interactive theorem proving in software engineering. Saarbrücken, Germany VDM Verlag Dr. Mueller.

Book

Using functional active objects to enforce privacy
Kammueller, F. 2010. Using functional active objects to enforce privacy. 5th Conference on Network Architectures and Information Systems Security. Menton, France 18 - 21 May 2010

Conference paper

Enhancing privacy implementations of database enquiries
Kammueller, F. and Kammueller, R. 2009. Enhancing privacy implementations of database enquiries. IEEE. pp. 45-50 https://doi.org/10.1109/ICIMP.2009.15

Conference paper

Implementing privacy with Erlang active objects
Fleck, A. and Kammueller, F. 2010. Implementing privacy with Erlang active objects. International Conference on Internet Monitoring and Protection. Barcelona 09 - 15 May 2010 IEEE. pp. 141-146 https://doi.org/10.1109/ICIMP.2010.27

Conference paper

Mainstreaming accessibility? Multidisciplinary problems or technical solutions.
Keith, S. and Whitney, G. 2011. Mainstreaming accessibility? Multidisciplinary problems or technical solutions. International Journal of Knowledge and Web Intelligence. 2 (1), pp. 53-63. https://doi.org/10.1504/IJKWI.2011.038628

Article

Design for all in ICT training and education.
Keith, S. and Whitney, G. 2009. Design for all in ICT training and education. in: Lanyi, C. (ed.) Principles and practice in Europe for e-accessibility. Veszprém, Hungary Pannonian University Press. pp. 63-72

Book chapter

Genetic sequences: tracing the mutations of a disease.
Mitchell, I., Passmore, P. and Xu, K. 2010. Genetic sequences: tracing the mutations of a disease. IEEE VAST Symposium 2010 Challenge. Salt Lake City, Utah, USA 24 - 29 Oct 2010

Conference poster

Hospitalization records: characterization of pandemic spread.
Passmore, P., Zheng, Y., Rooney, C., Al-Sheikh, T. and Xu, K. 2010. Hospitalization records: characterization of pandemic spread. IEEE VAST Symposium 2010 Challenge. Salt Lake City, Utah, USA 24 - 29 Oct 2010

Conference poster

Functional active objects: typing and formalisation
Henrio, L. and Kammueller, F. 2009. Functional active objects: typing and formalisation. Elsevier. https://doi.org/10.1016/j.entcs.2009.10.026

Conference paper

Feature link propagation across variability representations with Isabelle/HOL
Kammueller, F., Rein, A. and Reiser, M. 2010. Feature link propagation across variability representations with Isabelle/HOL. Rubin, J., Botterweck, G., Mezini, M., Maman, I. and Lero, A. (ed.) New York Association for Computing Machinery (ACM). pp. 48-53

Conference paper

Sparse kernel learning with LASSO and Bayesian inference algorithm
Gao, J., Kwan, P. and Shi, D. 2010. Sparse kernel learning with LASSO and Bayesian inference algorithm. Neural Networks. 23 (2), pp. 257-264. https://doi.org/10.1016/j.neunet.2009.07.001

Article

Evolutionary FCMAC-BYY applied to stream data analysis
Shi, D., Loomes, M. and Nguyen, M. 2010. Evolutionary FCMAC-BYY applied to stream data analysis. Lecture Notes in Computer Science. 6457, pp. 187-194. https://doi.org/10.1007/978-3-642-17298-4_19

Article

Checking the TWIN elevator system by translating object-Z to SMV
Preibusch, S. and Kammueller, F. 2008. Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science. 4916, pp. 38-55. https://doi.org/10.1007/978-3-540-79707-4

Article

Composing safely: a type system for aspects
Kammueller, F. and Sudhof, H. 2008. Composing safely: a type system for aspects. Lecture Notes in Computer Science. 4954, pp. 231-247. https://doi.org/10.1007/978-3-540-78789-1_18

Article

Security analysis of private data enquiries in Erlang
Kammueller, F. and Kammueller, R. 2009. Security analysis of private data enquiries in Erlang. International Journal on Advances in Security. 2 (2&3), pp. 242-255.

Article

An asynchronous distributed component model and its semantics
Henrio, L., Kammueller, F. and Rivera, M. 2009. An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science. 5751, pp. 159-179. https://doi.org/10.1007/978-3-642-04167-9_9

Article

A framework for reasoning on component composition
Henrio, L., Kammueller, F. and Khan, M. 2010. A framework for reasoning on component composition. Lecture Notes in Computer Science. 6286, pp. 1-20. https://doi.org/10.1007/978-3-642-17071-3_1

Article

Formalizing non-interference for a simple bytecode language in Coq
Kammueller, F. 2008. Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects of Computing. 20 (3), pp. 259-275.

Article

Mechanical analysis of finite idempotent relations
Kammueller, F. 2011. Mechanical analysis of finite idempotent relations. Fundamenta Informaticae. 107 (1), pp. 43-65. https://doi.org/10.3233/FI-2011-392

Article

Privacy enforcement and analysis for functional active objects
Kammueller, F. 2011. Privacy enforcement and analysis for functional active objects. Lecture Notes in Computer Science. 6514, pp. 93-107. https://doi.org/10.1007/978-3-642-19348-4_8

Article

Content-based petrieval of 3D medical images
Qian, Y., Gao, X., Loomes, M., Comley, R., Barn, B., Hui, R. and Tian, Z. 2011. Content-based petrieval of 3D medical images. Gemert-Pijnen, L., Ossebaard, H. and Hämäläinen, P. (ed.) eTELEMED 2011: The Third International Conference on eHealth, Telemedicine, and Social Medicine. Gosier, Guadeloupe, France 23 - 28 Feb 2011 International Academy, Research, and Industry Association (IARIA). pp. 7-12

Conference paper

Cell assemblies for query expansion in information retrieval
Volpe, I., Moreira, V. and Huyck, C. 2011. Cell assemblies for query expansion in information retrieval. 2011 International Joint Conference on Neural Networks (IJCNN). San Jose, CA, USA 31 Jul - 05 Aug 2011 IEEE. pp. 551-558 https://doi.org/10.1109/IJCNN.2011.6033269

Conference paper

Retrieval of 3D medical images via their texture features
Gao, X., Qian, Y., Loomes, M., Barn, B., Comley, R., Chapman, A., Rix, J., Hui, R. and Tian, Z. 2011. Retrieval of 3D medical images via their texture features. International Journal on Advances in Software. 4 (3&4), pp. 499-509.

Article

The anatomy of teleneurosurgery in China
Gao, X. 2011. The anatomy of teleneurosurgery in China. International Journal of Telemedicine and Applications. 2011. https://doi.org/10.1155/2011/353405

Article

Theory and practice of optimal mutation rate control in Hamming spaces of DNA sequences
Belavkin, R., Channon, A., Aston, E., Aston, J. and Knight, C. 2011. Theory and practice of optimal mutation rate control in Hamming spaces of DNA sequences. Lenaerts, T., Giacobini, M., Bersini, H., Bourgine, P., Dorigo, M. and Doursat, R. (ed.) ECAL 2011: The 11th European Conference on Artificial Life. Paris, France 08 - 12 Aug 2011 The MIT Press. pp. 85-92 https://doi.org/10.7551/978-0-262-29714-1-ch017

Conference paper

Mutation and optimal search of sequences in nested Hamming spaces
Belavkin, R. 2011. Mutation and optimal search of sequences in nested Hamming spaces. IEEE Information Theory Workshop (ITW). Paraty, Brazil 16 - 20 Oct 2011 IEEE. pp. 90-94 https://doi.org/10.1109/ITW.2011.6089592

Conference paper

Conflict resolution and learning probability matching in a neural cell-assembly architecture
Belavkin, R. and Huyck, C. 2011. Conflict resolution and learning probability matching in a neural cell-assembly architecture. Cognitive Systems Research. 12 (2), pp. 93-101. https://doi.org/10.1016/j.cogsys.2010.08.003

Article

A Pong playing agent modelled with massively overlapping cell assemblies
Nadh, K. and Huyck, C. 2010. A Pong playing agent modelled with massively overlapping cell assemblies. Neurocomputing. 73 (16-18), pp. 2928-2934. https://doi.org/10.1016/j.neucom.2010.07.013

Article

Multi-associative memory in fLIF cell assemblies.
Huyck, C. and Nadh, K. 2009. Multi-associative memory in fLIF cell assemblies. 9th International Conference on Cognitive Modeling. Manchester 24 - 26 Jul 2009

Conference paper

«  Previous
Next  »
  • 0
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month