Research Output 1970 2020

Filter
Chapter
Chapter

A pathwise version of Spitzer's law

Morters, P., 2002, Limit theorems in probability and statistics, Vol. II (Balatonlelle, 1999). Budapest: Janos Bolyai Math. Soc., p. 427--436 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

A perspective on current and future synthetic reflexive systems

Park, K., Yui, N. & Mrsny, R. J., 2004, Multi-Reflexive Polymers and Hydrogels: Understanding and Designing Fast-Responsive Polymeric Systems. Yui, N., Mrsny, R. & Park, K. (eds.). Boca Raton, Florida: CRC Press, p. 427-437 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Appendix F: Computer architecture, structures and languages

ffitch, J. P., 2010, The Audio Programming Book. Boulanger, R. & Lazzarini, V. (eds.). MIT Press, p. 797-823 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Appendix G: Glossary

ffitch, J. P., Dobson, R., Lazzarini, V. & Boulanger, R., 2010, The Audio Programming Book. Boulanger, R. & Lazzarini, V. (eds.). MIT Press, p. 823-854 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Appendix H: An audio programmer's guide to mathematical expressions

ffitch, J. P., 2010, The Audio Programming Book. Boulanger, R. & Lazzarini, V. (eds.). MIT Press, p. 855-868 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Application of a Bacillus subtilis whole-cell biosensor (PliaI-lux) for the identification of cell wall active antibacterial compounds

Kobras, C. M., Mascher, T. & Gebhard, S., 22 Nov 2016, Antibiotics: Methods and Protocols. Sass, P. (ed.). New York. U. S. A.: Springer Verlag, p. 121-131 7. (Methods in Molecular Biology; vol. 1520).

Research output: Chapter in Book/Report/Conference proceedingChapter

Application of Pharmacoepidemiology and Pharmacovigilance Studies

Nishtala, P., Nov 2019, Application of Pharmacoepidemiology and Pharmacovigilance Studies. Elsevier, p. 445-450 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Applying computer algebra

Fitch, J. P., Sep 1985, International Conference on Computer Algebra and its Application in Theoretical Physics, Dubna, USSR. Soviet Academy of Sciences, p. 262-275 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Applying incremental learning to parallel image segmentation

Charron, C., Hicks, Y. & Hall, P., 2009, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009. IEEE, p. 2064-2071 8 p. 5457535

Research output: Chapter in Book/Report/Conference proceedingChapter

Image segmentation
Data storage equipment
Learning algorithms
Experiments
19 Citations (Scopus)
63 Downloads (Pure)

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. & Bridge, J., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543. p. 92-107 16 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Learning systems
Decomposition
Computational geometry
Support vector machines
4 Citations (Scopus)

Approaches to define the involvement of reactive oxygen species and iron in Ultraviolet-A inducible gene expression

Pourzand, C., Reelfs, O. & Tyrrell, R., 2000, Stress Response: Methods and Protocols. Walker, J. M. & Keyse, S. M. (eds.). Springer, Vol. 99. p. 257-276 20 p. (Methods in Molecular Biology).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
77 Downloads (Pure)

Approaches to uncertain or imprecise rules: a survey

Nickles, M. & Sottara, D., 2009, Rule Interchange and Applications. Governatori, G., Hall, J. & Paschke, A. (eds.). Springer, Vol. 5858. p. 323-336 14 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Engines
Uncertainty

A Practical Sense of Knowing: Exploring Awareness Strategies in a Mobile Workplace

Orre, C. & Watts, L. A., 2006, Seamless Integration of Artifacts and Conversations- Enhanced Concepts of Infrastructure for Communication. Hassanaly, P., Herrmann, T., Kunau, G. & Zackland, M. (eds.). Amsterdam: IOS Press, Vol. 137. p. 239--254 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

workplace
worker
utilization
responsibility
16 Citations (Scopus)
31 Downloads (Pure)

A proof calculus which reduces syntactic bureaucracy

Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 6. p. 135-150 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Calculus
Sequent Calculus
Proof System
Cut-elimination
Propositional Logic

A quantum electrodynamical foundation for molecular photonics

Andrews, D. L. & Allcock, P., 2001, Modern Nonlinear Optics, Pt 1, Second Ed. Evans, M. W. (ed.). Chichester, U. K.: Wiley-Blackwell, p. 603-675 73 p. (Advances in Chemical Physics; vol. 119, no. Part 2).

Research output: Chapter in Book/Report/Conference proceedingChapter

Arbitrage bounds

Cox, A., 15 May 2010, Encyclopedia of Quantitative Finance. Cont, R. (ed.). Chichester, UK: John Wiley & Sons

Research output: Chapter in Book/Report/Conference proceedingChapter

Arbitrage
Exotic options
Market price
Barrier options
Pricing
1 Citation (Scopus)
70 Downloads (Pure)

ArgPROLEG: A normative framework for the JUF theory

Shams, Z., Vos, M. D. & Satoh, K., 6 Nov 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8417. p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8417).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
argumentation
decision making
popularity
flexibility
dialogue
1 Citation (Scopus)

Aromatic Oxidations

Leak, D. J., Yin, Y., Zhang, J. J. & Zhou, N. Y., 20 Apr 2012, Enzyme Catalysis in Organic Synthesis, Third Edition. Wiley-VCH, Vol. 3. p. 1487-1533 47 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)
135 Downloads (Pure)

Artificial intelligence and pro-social behaviour

Bryson, J., Oct 2015, Collective Agency and Cooperation in Natural and Artificial Systems: Explanation, Implementation and Simulation. Misselhorn, C. (ed.). Berlin: Springer, p. 281-306 15. (Philosophical Studies; vol. 122).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Artificial Intelligence
Prosocial Behavior
Reviewing
Hinge
Simulation
4 Citations (Scopus)
66 Downloads (Pure)

A scaling limit theorem for the parabolic Anderson model with exponential potential

Lacoin, H. & Morters, P., 2012, Probability in complex physical systems: In honour of Jürgen Gärtner and Erwin Bolthausen. Deuschel, J. D., Gentz, B., Konig, W., Von Reesse, M., Scheutzow, M. & Schmock, U. (eds.). Berlin: Springer, Vol. 11. p. 247-272 (Springer Proceedings in Mathematics; vol. 11).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Anderson Model
Scaling Limit
Limit Theorems
Almost Sure Limit Theorem
Random Potential
4 Citations (Scopus)

A schema for specifying computational autonomy

Nickles, M., Rovatsos, M. & Weiss, G., 2003, Engineering Societis in the Agents World Iii. Petta, P., Tolksdorf, R. & Zambonelli, F. (eds.). Vol. 2577. p. 82-95 14 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

Specifications
Ubiquitous computing
Telecommunication

Asexuality, polyploidy and the male function

Mogie, M., Britton, N. F. & Stewart-Cox, J. A., 2007, Apomixis: Evolution, Mechanisms and Perspectives . Hörandl, E., Grossniklaus, U., van Dijk, P. & Sharbel, T. (eds.). Ruggell, Liechtenstein: Gantner Verlag, p. 195-214 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Asking the Right Questions: What Can the Structure of the CCN Protein Domains Tell Us?

Holbourn, K. P., Perbal, B. & Acharya, K. R., 2010, CCN Proteins in Health and Disease: An Overview of the Fifth International Workshop on the CCN Family of Genes. Perbal, A., Takigawa, M. & Perbal, B. (eds.). Dordrecht: Springer, p. 15-40 26 p. (CCN Proteins in Health and Disease).

Research output: Chapter in Book/Report/Conference proceedingChapter

Insulin-Like Growth Factor Binding Protein 2
Cell Adhesion
Wound Healing
Cell Survival
Proteins

ASP: The future is bright a position paper

De Vos, M., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 625-627 3 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

9 Citations (Scopus)
84 Downloads (Pure)

A spatial preferential attachment model with local clustering

Morters, P. & Jacob, E., 2013, Algorithms and Models for the Web Graph.: Proceedings of the 10th International Workshop, WAW 2013, Cambridge, MA, USA.. Springer, Vol. 8305. p. 14-25 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

File

Aspects of composite manufacturing

Khanbareh, H., Topolov, V. Y. & Bowen, C. R., 26 May 2019, Piezo-Particulate Composites. Khanbareh, H., Topolov, V. Y. & Bowen, C. (eds.). Springer Verlag, p. 25-53 29 p. (Springer Series in Materials Science; vol. 283).

Research output: Chapter in Book/Report/Conference proceedingChapter

Aspects of host-pathogen interactions as applied in breeding for disease resistance against Ganoderma stem rots, Fusarium wilt, and spear/bud rots

Cooper, R., Aug 2017, Oil Palm Breeding, Genetics and Genomics.. Soh, A. C., Mayes, S. & Roberts, J. A. (eds.). CRC Press, p. 106-119 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

26 Citations (Scopus)

Assaying activity and assessing thermostability of hyperthermophilic enzymes

Daniel, R. M. & Danson, M. J., 2001, Methods in Enzymology: Hyperthermophilic Enzymes Part C. Adams, M. W. W. & Kelly, R. M. (eds.). Elsevier, Vol. 334. p. 283-293 11 p. (Methods in Enzymology).

Research output: Chapter in Book/Report/Conference proceedingChapter

Assessment Methodologies for Water Efficiency in Buildings

Robinson, D. & Adeyeye, K., 30 Dec 2013, Water Efficiency in Buildings: Theory and Practice. Wiley-Blackwell, p. 113-128 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Water
Economics
Ecology
Waste management
Water supply

Assessment of shielding performance of 69/138 kV transmission lines exposed to lightning strikes

Malcolm, N. & Aggarwal, R. K., 26 Jul 2015, IEEE Power & Energy Society General Meeting, 2015 . Denver, U. S. A.: IEEE, p. 1-5 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Flashover
Lightning
Shielding
Electric lines
Towers
83 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

A study of organo-metallic interfaces using DBAR

Tucker, C. E., Smith, F. A. & Coleman, P. G., 2001, Positron Annihilation - Icpa-12. Vol. 363-3. p. 457-459 3 p. (Materials Science Forum).

Research output: Chapter in Book/Report/Conference proceedingChapter

9 Citations (Scopus)

A taxonomy of autonomy in multiagent organisation

Schillo, M. & Fischer, K., 2004, Agents and Computational Autonomy: Potential, Risks, and Solutions. Nickles, M., Rovatsos, M. & Weiss, G. (eds.). Berlin, Germany: Springer, p. 68-82 15 p. (Lecture Notes in Computer Science; vol. 2969).

Research output: Chapter in Book/Report/Conference proceedingChapter

taxonomy
autonomy
1 Citation (Scopus)

A teamwork coordination strategy using hierarchical role relationship matching

Soon, S., Pearce, A. & Noble, M., 2004, Agents and Computational Autonomy: Potential, Risks, and Solutions. Nickles, M., Rovatsos, M. & Weiss, G. (eds.). Berlin, Germany: Springer, Vol. 2969. p. 249-260 12 p. (Lecture Notes in Computer Science; vol. 2969).

Research output: Chapter in Book/Report/Conference proceedingChapter

Communication

ATHON: Studying toxicity and transport of highly purified NDL-PCBs in a refined in vitro model of the human placental barrier

Carreira, S. C., Cartwright, L., Saunders, M. & Thawley, S., 2009, Toxicology Letters. Kehrer, J. P. (ed.). Supplement 1 ed. Elsevier, Vol. 189. p. S195-S195

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

A time travel journey through cancer therapies

Santos Cravo, A. & Mrsny, R. J., 2013, Cancer targeted drug delivery: an elusive dream. Bae, Y. H., Mrsny, R. J. & Park, K. (eds.). New York: Springer, p. 3-35 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Neoplasms
Therapeutics
Immunotoxins
Drug Therapy
Membrane Transport Proteins

Atomic polarization relaxation time measurement of Rb filled hypocycloidal core shape Kagome HC-PCF

Bradley, T. D., McFerran, J. J., Ilinova, E., Jouin, J., Thomas, P. & Benabid, F., 2013, 2013 Conference on Lasers and Electro-Optics, CLEO 2013. IEEE, p. 6833234

Research output: Chapter in Book/Report/Conference proceedingChapter

relaxation time
time measurement
polarization
rubidium
collisions

A Tutorial on Image Analysis

Hurn, M. A., Husby, O. & Rue, H., 2003, Spatial Staistics and Computational Methods. Moller, J. (ed.). New York: Springer, p. 87--141 55 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

A Tutorial on Proof Theoretic Foundations of Logic Programming

Bruscoli, P. & Guglielmi, A., 2003, Logic Programming, 19th International Conference - Lecture Notes in Computer Science. Springer, Vol. 2916. p. 109-127 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Logic programming
Computer programming languages
2 Citations (Scopus)

A two-level domain-decomposition preconditioner for the time-harmonic maxwell’s equations

Bonazzoli, M., Dolean, V., Graham, I. G., Spence, E. A. & Tournier, P. H., 1 Jan 2018, Domain Decomposition Methods in Science and Engineering XXIV. DD 2017. Bjorstad, P. (ed.). Cham, Switzerland: Springer Verlag, p. 149-157 9 p. (Lecture Notes in Computational Science and Engineering; vol. 125).

Research output: Chapter in Book/Report/Conference proceedingChapter

Auger processes in silicon nanocrystals assemblies

Kovalev, D. & Fujii, M., 2008, Silicon nanophotonics: Basic principles, current status and perspectives. Khriachtchev, L. (ed.). Singapore: Pan Stanford Publishing, p. 397-424

Research output: Chapter in Book/Report/Conference proceedingChapter

assemblies
nanocrystals
silicon
photoluminescence
decay

A unified category-theoretic approach to substitution in substructural logics

Tanaka, M. & Power, J., 2004, Proc. Workshop on Logics for Resources, Processes, and Programs.

Research output: Chapter in Book/Report/Conference proceedingChapter

10 Citations (Scopus)

A unified category theoretic approach to variable binding

Power, J., 2003, Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03. New York: Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingChapter

Substitution
Monads
Formulation
Distributive law
Logic
10 Citations (Scopus)

A unified category-theoretic formulation of typed binding signatures

Tanaka, M. & Power, J., 2005, MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. New York: Association for Computing Machinery, p. 13-24 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Signature
Formulation
Monads
Monoidal Category
Generalise
2 Citations (Scopus)

A universal embedding for the higher order structure of computational effects

Power, J., 2003, Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings. Berlin: Springer, Vol. 2701. p. 301-315 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Higher Order
Lambda Calculus
Fragment
Calculus
Enriched Category
5 Citations (Scopus)

Authenticating Public Wireless Networks with Physical Evidence

Kindberg, T., Mitchell, J., Grimmett, J., Bevan, C. & O'Neill, E., 2009, Wireless and Mobile Computing, Networking and Communications, 2009. IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB) 2009.. IEEE, p. 394-399 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Authenticating Ubiquitous Services: A study of wireless hotspot access

Kindberg, T., Bevan, C., O'Neill, E., Mitchell, J., Grimmett, J. & Woodgate, D., 2009, Ubicomp '09 Proceedings of the 11th International Conference on Ubiquitous Computing. New York, USA: Association for Computing Machinery, p. 115-124 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Automatic 3D face reconstruction from single images or video

Breuer, P., Kim, K. I., Kienzle, W., Blanz, V. & Schölkopf, B., 2007, Max Planck Institute for Biological Cybernetics Technical Reports. 12 p. 160

Research output: Chapter in Book/Report/Conference proceedingChapter

23 Citations (Scopus)
112 Downloads (Pure)

Automatic composition of melodic and harmonic music by answer set programming

Boenn, G., Brain, M., De Vos, M. & ffitch, J., Dec 2008, Logic Programming. Proceedings of the 24th International Conference, ICLP 2008. Garcia de la Banda, M. & Pontelli, E. (eds.). 5366 ed. Springer, p. 160-174 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Chemical analysis
Knowledge representation
Automation
Engines

AUTOMATIC multilevel form colour dropout using graph cuts

Balikai, A. A., Sundaram, S. & Hall, P. M., 2008, MCCSIS'08 - IADIS Multi Conference on Computer Science and Information Systems; Proceedings of Computer Graphics and Visualization 2008 and Gaming 2008: Design for Engaging Experience Soc. Interaction. IADIS, p. 127-133 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Color
Processing
Hardware