Research Output 1964 2030

Filter
Chapter
2012

CO2 in the manufacturing of plastics

Jones, M., 18 Sep 2012, Materials for a Sustainable Future. M Letcher, T. & L Scott, J. (eds.). 1 ed. United Kingdom: Royal Society of Chemistry

Research output: Chapter in Book/Report/Conference proceedingChapter

9 Citations (Scopus)

Complexity of deep inference via atomic flows

Das, A., 2012, How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Cooper, S. B., Dawar, A. & Lowe, B. (eds.). Heidelberg, Germany: Springer, Vol. 7318 LNCS. p. 139-150 12 p. (Lecture Notes in Computer Science; vol. 7318).

Research output: Chapter in Book/Report/Conference proceedingChapter

Computational music theory

Boenn, G., Brain, M., De Vos, M. & Ffitch, J., 2012, Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), p. 27-34 8 p. (AAAI Technical Report; vol. WS-12-16).

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantics
Chemical analysis
11 Citations (Scopus)
61 Downloads (Pure)

Developing an embodied pedagogical agent with and for young people with autism spectrum disorder

Grawemeyer, B., Johnson, H., Brosnan, M., Ashwin, E. & Benton, L., 2012, Intelligent Tutoring Systems: 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings. Cerri, S. A., Clancey, W. J., Papadourakis, G. & Panourgia, K. (eds.). Springer, p. 262-267 6 p. (Lecture Notes in Computer Science; vol. 7315).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Visualization
Communication
Processing

Dimensional Analysis and Dimensional Reasoning

Bissell, J., 3 Feb 2012, Ways of Thinking, Ways of Seeing. Bissell, C. & Dillon, C. (eds.). Springer, Vol. 1. p. 29-45 Chapter 2. (Ways of Thinking, Ways of Seeing; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingChapter

Evolutionary genomics of the sperm proteome

Karr, T. L. & Dorus, S., 2012, Rapidly Evolving Genes and Genetic Systems. Singh, R. S., Xu, J. & Kulathinal, R. J. (eds.). Oxford, UK: Oxford University Press, p. 153-164 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Homogenisation techniques for periodic structures

Cherednichenko, K., Cooper, S., Antonakakis, T., Craster, R. & Guenneau, S., 2012, Gratings: Theory and Numeric Application. Popov, E. (ed.).

Research output: Chapter in Book/Report/Conference proceedingChapter

How cells change their phenotype

Tosh, D. & Horb, M. E., 2012, Handbook of Stem Cells: Volume 1: Pluripotent Stem Cells (2nd ed.). Atala, A. & Lanza, R. (eds.). Oxford, U. K.: Elsevier, p. 95-100 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Phenotype
Stem Cells
Research
Direction compound
2 Citations (Scopus)

Hydrogen: An end-state solution for transportation?

Sartbaeva, A., Wells, S., Kuznetsov, V. L. & Edwards, P. P., 2012, Energy, Transport, & the Environment. Inderwildi, O. & King, D. (eds.). London: Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

Induced pluripotent stem cells and the prospects for cardiac cell therapy.

Dutton, J. R. & Slack, J., 2012, Coronary Heart Disease: Clinical, Pathological, Imaging and Molecular Profiles. Vlodaver, Z., Wilson, R. F. & Garry, D. J. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

Induced Pluripotent Stem Cells
Cell- and Tissue-Based Therapy
Myocardial Ischemia
Coronary Disease
Atherosclerosis

Introduction

Brown, D. R., 31 Jul 2012, Brain Diseases and Metalloproteins . Brown, D. R. (ed.). Singapore: Pan Stanford Publishing, p. 1-10 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
60 Downloads (Pure)

Limitations of Scanned Human Copresence Encounters for Modelling Proximity-Borne Malware

Mitchell, J., O'Neill, E., Zyba, G., Voelker, G. M., Liljenstam, M., Mehes, A. & Johansson, P., 2012, 2012 4th International Conference on Communication Systems and Networks, COMSNETS 2012. IEEE

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Simulators
Malware

Methods to produce flexible and accessible learning resources in mathematics

Cliffe, E. H. & White, K., 2012, Student Centred Approaches. National HE STEM Programme: Mathematical Sciences HE Curriculum Innovation Project. Robinson, C. (ed.). p. 35-43

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)

New developments in the biomedical chemistry of metal complexes: from small molecules to nanotheranostic design

Arrowsmith, R. L., Pascu, S. I. & Smugowski, H. J., 2012, Organometallic Chemistry. Cambridge: RSC, (Organometallic Chemistry; vol. 38).

Research output: Chapter in Book/Report/Conference proceedingChapter

Coordination Complexes
Imaging techniques
Molecules
Organometallics
Magnetic resonance imaging
46 Downloads (Pure)

On Kahan's rules for determining branch cuts

Chyzak, F., Davenport, J. H., Koutschan, C. & Salvy, B., 2012, Proc. SYNASC '11. IEEE, 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Branch
Differential equation
Computer Algebra
Concepts
101 Citations (Scopus)

Patch based synthesis for single depth image super-resolution

Mac Aodha, O., Campbell, N. D. F., Nair, A. & Brostow, G. J., 2012, Computer Vision – ECCV 2012: Proceedings of 12th European Conference on Computer Vision, Part III. Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y. & Schmid, C. (eds.). Berlin, Germany: Springer, p. 71-84 14 p. (Lecture Notes in Computer Science; vol. 7574).

Research output: Chapter in Book/Report/Conference proceedingChapter

Labeling
Cameras
Sensors
Processing
Experiments
2 Citations (Scopus)
19 Downloads (Pure)

Patiency is not a virtue: suggestions for co-constructing an ethical framework including intelligent artefacts

Bryson, J. J., 2012, The machine question: AI, ethics and moral responsibility . Gunkel, D. J., Bryson, J. J. & Torrance, S. (eds.). Society for the Study of Artificial Intelligence and the Simulation of Behaviour, p. 73-77 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Ethical Framework
Artifact
Moral Agency
Morality

Practical Manual of In Vitro Fertilization: Livestock production via micromanipulation

Onishi, A. & Perry, T., 2012, Practical Manual of In Vitro Fertilization : Livestock production via micromanipulation . 7 ed. Springer, Vol. 41. p. 371 375 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Prion diseases, metals and antioxidants

Davies, P. & Brown, D. R., 31 Jul 2012, Brain Diseases and Metalloproteins . Brown, D. R. (ed.). Singapore: Pan Stanford Publishing, p. 249-293 45 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Prion Diseases
Antioxidants
Metals
Proteins
Metalloproteins
32 Citations (Scopus)

Recent developments in catalytic activation of renewable resources for polymer synthesis

Buchard, A., Bakewell, C., Weiner, J. & Williams, C., 2012, Organometallics and Renewables. Meier, M. A. R., Weckhuysen, B. M. & Bruijnincx, P. C. A. (eds.). Berlin: Springer, p. 175-224 50 p. (Topics in Organometallic Chemistry; vol. 39).

Research output: Chapter in Book/Report/Conference proceedingChapter

Polymers
Chemical activation
Ring opening polymerization
Polymerization
Copolymerization

SIR models

Stone, L., Hilker, F. & Katriel, G., May 2012, Encyclopedia of Theoretical Ecology. Hastings, A. & Gross, L. (eds.). Berkeley: University of California Press, p. 648-658

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Structuring intelligence: the role of hierarchy, modularity and learning in generating intelligent behaviour

Bryson, J. J., 2012, The complex mind. McFarland, D., Stenning, K. & McGonigle-Chalmers, M. (eds.). Basingstoke: Palgrave Macmillan, p. 126-143 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

The clinical aspects of autoantibodies

Paulin, J. D. & McHugh, N., 1 Jan 2012, Scleroderma: From Pathogenesis to Comprehensive Management. Varga, J., Denton, C. P. & Wigley, F. M. (eds.). New York: Springer, p. 209-225 17 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Autoantibodies
Systemic Scleroderma
Antibody Specificity
Biomarkers
Skin

The human microbiome co-evolutionary continuum

Jones, B., Ogilvie, L. & Overall, A., 2012, Microbial Ecological Theory: Current Perspectives. Ogilvie, L. & Hirsch, P. (eds.). Caister Academic Press, p. 25-42

Research output: Chapter in Book/Report/Conference proceedingChapter

The Human-Microbiome Coevolutionary Continuum

Jones, B., Ogilvie, L. & Overall, A., 2012, Microbial Ecological Theory. Ogilvie, L. & Hirsch, P. (eds.). Caister Academic Press, p. 25-42

Research output: Chapter in Book/Report/Conference proceedingChapter

Touching the micron: tactile interactions with an optical tweezer

Lamont, S., Bowman, R., Williamson, J., Rath, M., Murray-Smith, R. & Padgett, M., 2012, MobileHCI'12 - Proceedings of the 14th International Conference on Human Computer Interaction with Mobile Devices and Services. New York, U. S. A.: Association for Computing Machinery, p. 217-218 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Optical tweezers
Feedback
Mobile devices
Simulators
Testing
5 Citations (Scopus)

Transition-metal complexes in supported liquid phase and supercritical fluids: A beneficial combination for selective continuous-flow catalysis with integrated product separation

Hintermair, U., Chinnusamy, T. & Leitner, W., 17 Apr 2012, New Strategies in Synthesis and Catalysis. Pignataro, B. (ed.). Weinheim: Wiley-VCH, p. 273-297

Research output: Chapter in Book/Report/Conference proceedingChapter

Wet Age Related Macular Degeneration

Afshari, F., Jacobs, C., Fawcett, J. & Martin, K., 20 Jan 2012, Age Related Macular Degeneration: The Recent Advances in Basic Research and Clinical Care. Ying, G-S. (ed.). Rijeka, Croatia: InTech

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access

What triggers AGN? Results from host galaxy studies

Villforth, C., Hamann, F. & Koekemoer, A., 2012, American Astronomical Society Meeting Abstracts . Vol. 220. 408.05. (American Astronomical Society Meeting Abstracts).

Research output: Chapter in Book/Report/Conference proceedingChapter

2011
5 Citations (Scopus)
46 Downloads (Pure)

A distributed algorithm for wireless resource allocation using coalitions and the Nash Bargaining Solution

Vatsikas, S., Armour, S., De Vos, M. & Lewis, T., May 2011, 2011 IEEE 73rd Vehicular Technology Conference, VTC2011-Spring - Proceedings. Piscataway, NJ: IEEE, 5 p. 5956236. (IEEE Vehicular Technology Conference).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Parallel algorithms
Resource allocation

Aerogel-enhanced tapers and fibres

Wadsworth, W. J., Grogan, M. D. W., Xiao, L. M., Rollings, M. D., England, R. & Birks, T. A., 2011, 2011 IEEE Winter Topicals, WTM 2011. Piscataway, NJ: IEEE, p. 193-194 2 p. 5730113

Research output: Chapter in Book/Report/Conference proceedingChapter

aerogels
tapering
silicon dioxide
fibers
hollow
2 Citations (Scopus)

Agent-based models as scientific methodology: A case study analysing the DomWorld theory of primate social structure and female dominance

Bryson, J. J., Ando, Y. & Lehmann, H., 1 Jan 2011, Modelling Natural Action Selection. Seth, A. K., Prescott, T. J. & Bryson, J. J. (eds.). Cambridge University Press, p. 427-453 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Systems Analysis
Primates
Biological Science Disciplines
Social Behavior
Artificial Intelligence

AI robots should not be considered moral agents

Bryson, J., 2011, Artificial Intelligence. Berlatsky, N. (ed.). Detroit: Greenhaven Press, (Opposing Viewpoints Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

A laboratory of knowledge-making for personal inquiry learning

Sharples, M., Collins, T., Feit, M., Gaved, M., Mulholland, P., Paxton, M. & Wright, M., Jun 2011, Artificial Intelligence in Education - 15th International Conference, AIED 2011. Heidelberg: Springer, Vol. 6738 LNAI. p. 312-319 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

learning
learning environment
self-regulation
eating behavior
continuity

An agent-based model of the effects of a primate social structure on the speed of natural selection

Gluckman, G. M. & Bryson, J. J., Jul 2011, Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. New York: Association for Computing Machinery, p. 535-542 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Agent-based model
Social structure
Natural selection
Evolutionary
Ecology
29 Downloads (Pure)

Anton — A Rule-Based Composition System

Boenn, G., Brain, M., De Vos, M. & ffitch, J., 2011, Proceedings of ICMC 2011. University of Huddersfield and ICMA, p. 135-138 4 p. (ICMC).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
programming
logic programming
music
harmonics
64 Downloads (Pure)

ASTREA: Answer sets for a trusted reasoning environment for agents

Watson, R. & De Vos, M., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.. Heidelberg: Springer, p. 490-509 20 p. (Lecture Notes in Computer Science; vol. 6565).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Intelligent agents
Multi agent systems
28 Citations (Scopus)

Automatic object segmentation from calibrated images

Campbell, N. D. F., Vogiatzis, G., Hernández, C. & Cipolla, R., 2011, Proceedings - Conference for Visual Media Production (CVMP), 2011. IEEE, p. 126-137 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Textures
Cameras
Brushes
Cost functions
Color

Bench top milli-joule energy-level nanosecond pulse delivery through hollow-core fiber

Beaudou, B., Gerome, F., Gaborel, G., Humbert, G., Auguste, J. L., Cheng, Y., Blondy, J. M. & Benabid, F., 2011, Optics InfoBase Conference Papers. Piscataway, NJ: IEEE, 2 p. CThM2

Research output: Chapter in Book/Report/Conference proceedingChapter

seats
hollow
delivery
energy levels
silicon dioxide

Biologic Agents in Psoriasis: British Association of Dermatologists' Guidelines for Biologic Intervention for Psoriasis 2009

Smith, C. H., Anstey, A. V., Barker, J. N. W. N., Burden, A. D., Chalmers, R. J. G., Chandler, D. A., Finlay, A. Y., Griffiths, C. E. M., Jackson, K., McHugh, N. J., McKenna, K. E., Reynolds, N. J. & Ormerod, A. D., 21 Mar 2011, British Association of Dermatologists' Management Guidelines. Cox, N. H. & English, J. S. C. (eds.). Wiley-Blackwell, p. 230-262 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Azathioprine
Biological Factors
Psoriasis
Guidelines
Dermatology

Case studies illustrations of experimental settings issues in classrooms

Girard, S., Oct 2011, Proceedings 1st Workshop on Usability and Educational Technology, supplementary proceedings of the IHM 2011 conference, Sophie-Antipolis, France, October 24-27 2011. New York: Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingChapter

Cluster state generation using fibre sources

Clark, A., Bell, B., Halder, M., Fulconis, J., Tame, M. S., Kim, M. S., Wadsworth, W. J. & Rarity, J. G., 2011, 2011 Conference on Lasers and Electro-Optics Europe and 12th European Quantum Electronics Conference (CLEO EUROPE/EQEC). Piscataway, NJ: IEEE, 1 p. 5943444

Research output: Chapter in Book/Report/Conference proceedingChapter

fibers
photons
requirements
phase matching
four-wave mixing
11 Citations (Scopus)
20 Downloads (Pure)

Coalgebraic Derivations in Logic Programming

Komendantskaya, E. & Power, J., Sep 2011, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Bezem, M. (ed.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, p. 352-366 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Logic Programming
Soundness
Completeness
Coalgebra
Correctness
11 Citations (Scopus)
47 Downloads (Pure)

Coalgebraic semantics for derivations in logic programming

Komendantskaya, E. & Power, J., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings. Corradini, A., Kin, B. & Cirstea, C. (eds.). Heidelberg: Springer, p. 268-282 15 p. (Lecture Notes in Computer Science; vol. 6859).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Coalgebra
Logic Programming
Logic Programs
Ordered Categories
Semantics
9 Citations (Scopus)
54 Downloads (Pure)

Coalgebraic semantics for parallel derivation strategies in logic programming

Komendantskaya, E., McCusker, G. & Power, J., 2011, Algebraic Methodology and Software Technology. Johnson, M. & Pavlovic, D. (eds.). Springer, Vol. 6486. p. 111-127 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Logic programming
Semantics
Computer programming languages
Functional programming
1 Citation (Scopus)
46 Downloads (Pure)

Coherent widely tunable source of sub-picosecond pulses using all-normal dispersion fiber supercontinuum

Hooper, L. E., Mosley, P. J., Muir, A. C., Yu, F., Mangan, B. J., Wadsworth, W. J., Knight, J. C. & Dudley, J. M., Jul 2011, 2011 7th International Workshop on Fibre and Optical Passive Components, WFOPC2011. Piscataway, NJ: IEEE, 4 p. 6089676

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
picosecond pulses
fibers
tunable lasers
group velocity
low noise
3 Citations (Scopus)
39 Downloads (Pure)

Constructing differential categories and deconstructing categories of games

Laird, J., Manzonetto, G. & McCusker, G., 2011, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Aceto, L., Henzinger, M. & Sgall, J. (eds.). Heidelberg, Germany: Springer, p. 186-197 12 p. (Lecture Notes in Computer Science; vol. 6756).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Game
Resources
Definability
Cartesian
Model
1 Citation (Scopus)

Context Transitions: User identification and comparison of mobile device motion data

Lovett, T. & O'Neill, E., Aug 2011, Activity Context Representation: Techniques and Languages - Papers from the 2011 AAAI Workshop, Technical Report. El Segundo, CA.: AI Access Foundation, Vol. WS-11-04. p. 42-47 6 p. (AAAI Workshop - Technical Report).

Research output: Chapter in Book/Report/Conference proceedingChapter

Mobile devices
Sensors
Accelerometers
Data acquisition
Magnetic fields
4 Citations (Scopus)

Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering

Nieves, J. C., Padget, J., Vasconcelos, W., Staikopoulos, A., Cliffe, O., Dignum, F., Vazquez-Salceda, J., Clarke, S. & Reed, C., 2011, Services Engineering: European Research Results. Schahram, D. & Li, F. (eds.). Vienna, Austria: Springer, p. 85-115 31 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantics
Industry
Ecosystems

Designing affective animations with children as design partners using role-playing

Girard, S. & Johnson, H., 2011, IHM'11 - 23rd Conference Francophone sur l'Interaction Homme-Machine - 23rd French Speaking Conference on Human-Computer Interaction, IHM'11. New York: Association for Computing Machinery, 8 p. 26. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

Animation