Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

88901 - 89000 out of 105,984Page size: 100
  1. Published

    Preliminaries to classical first order model theory

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 155-167

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    First order languages: Further syntax and semantics

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 179-192

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Budget imbalance criteria for auctions: a formalized theorem

    Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  5. Published

    Problem set for first order theorem provers in the TPTP format

    Caminati, M. B., Kerber, M. & Rowat, C., 2015

    Research output: Exhibits, objects and web-based outputs › Software

  6. Published

    Sound auction specification and implementation

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 15/06/2015, Proceedings of the Sixteenth ACM Conference on Economics and Computation (EC '15). ACM, p. 547-564

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Corecursion for Compositional Verification

    Caminati, M. B. & Kerber, M., 14/01/2016

    Research output: Other contribution

  8. Published

    Einstein Podolsky Rosen correlations involving mesoscopic quantum systems

    Caminati, M., De Martini, F. & Sciarrino, F., 10/07/2006, AIP Conference Proceedings. 1 ed. American Institute of Physics, Vol. 844.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    An upper bound on the number of zeros of a piecewise polinomial function

    Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

    Research output: Working paper › Preprint

  10. Published

    Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning

    Caminati, M. M., Sciarrino, F. & Caminati, M. B., 2006, In: Laser physics. 16, 11, p. 1551–1556

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    Vickrey-clarke-groves (vcg) auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 2015, In: College Inf. Sci. Technol., Pennsylvania State Univ., State College, PA, USA.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  12. Published

    A contribution to an Auction Theory Toolbox through code and discussion

    Caminati, M. B., 30/04/2013, 39th Annual Convention of The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (SSAISB).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  13. Published

    A simplified framework for first-order languages and its formalization in Mizar

    Caminati, M. B., 19/05/2012

    Research output: Thesis › Doctoral Thesis

  14. Published

    Pseudo-Canonical Formulae are Classical

    Caminati, M. B. & Kornilowicz, A., 30/06/2014, In: Formalized Mathematics.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Published

    Basic first-order model theory in Mizar

    Caminati, M. B., 17/12/2010, In: Journal of Formalized Reasoning. 3, 1

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Yet another proof of Goedel's completeness theorem for first-order classical logic

    Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

    Research output: Working paper › Preprint

  17. Published

    Nonseparable Werner states in spontaneous parametric down-conversion

    Caminati, M., De Martini, F., Perris, R., Sciarrino, F. & Secondi, V., 14/03/2006, In: Physical review a. 73, 032312 .

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  18. Published

    Reasoning about Dynamic Auctions

    Caminati, M., Kerber, M. & Rowat, C., 30/04/2015.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  19. Published

    Custom automations in Mizar

    Caminati, M. B. & Rosolini, G., 1/11/2012, In: Journal of Automated Reasoning. 50, p. 147–160

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  20. Published

    VCG-combinatorial Vickrey-clarke-groves auctions

    Caminati, M. B., Kerber, M., Lange-Bever, C. & Rowat, C., 30/04/2015, In: Archive of Formal Proofs.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  21. Forthcoming

    Representation Theorems Obtained by Mining across Web Sources for Hints

    Caminati, M. & Bowles, J., 30/12/2022, (Accepted/In press) 2023 6th International Conference on Information and Computer Technologies (ICICT). IEEE, 8 p. (2023 6th International Conference on Information and Computer Technologies (ICICT)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  22. Published

    Proving soundness of combinatorial Vickrey auctions and generating verified executable code

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

    Research output: Working paper › Preprint

  23. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  24. Published

    Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 169-178

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  25. Published

    Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 193-203

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  26. Published

    Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  27. Published

    PART A-Quantum information-Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification

    Caminati, M., Martini, F. D., Perris, R., Sciarrino, F. & Secondi, V., 7/12/2006, In: Physical Review-Section A-Atomic Molecular and Optical Physics. 74, 062304.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  28. Published

    Securing Aspect Composition

    Camilleri, A., Blair, L. & Coulson, G., 2008, Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM, p. 278-279 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  29. Published

    CIF: A Framework for Managing Integrity in Aspect-Oriented Composition

    Camilleri, A., Coulson, G. & Blair, L., 2009, Objects, Components, Models and Patterns. Oriol, M. & Meyer, B. (eds.). Berlin: Springer Verlag, p. 18-36 19 p. (Lecture Notes in Business Information Processing; vol. 33, no. 2).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  30. Published

    Investigating the impact/role of the interactive whiteboard on teaching practices in Maltese kindergarten classrooms through an activity theory approach

    Camilleri, R.-A., 2019, Lancaster University. 208 p.

    Research output: Thesis › Doctoral Thesis

  31. Published

    The Lived Experience of Residential Home Care: An Interpretative Phenomenological Analysis study of the experiences of young adults who reside in therapeutic residential care in Denmark

    Cameron-Mathiassen, J., 14/07/2023, Lancaster University. 208 p.

    Research output: Thesis › Doctoral Thesis

  32. Published

    What was care like for me? A systematic review of the experiences of young people living in residential care

    Cameron-Mathiassen, J., Simpson, J., Leiper, J. & McDermott, E., 31/07/2022, In: Children and Youth Services Review. 138, 10 p., 106524.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  33. E-pub ahead of print

    “… I still need to learn some things”: an interpretative phenomenological analysis of the lived experience of extended residential youth care in Denmark

    Cameron-Mathiassen, J. & Simpson, J., 21/09/2024, (E-pub ahead of print) In: Residential Treatment For Children & Youth. 21 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  34. Published

    Domestic play during a Day in the Life of toddlers in diverse family communities

    Cameron., C. A., Pinto, G., Hancock, R., Accorti Gamannossi, B. & Gillen, J., 09/2011.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  35. Published

    Two-year-olds' use of playful language and humour in three family contexts. Paper presented in a symposium: A 'Day in the Life': Studying strong children in diverse global communities: An ecological approach.

    Cameron, L., Accorti Gamannossi, B., Gillen, J. & Cameron, C. A., 2007.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper

  36. Published

    An evaluation of three stochastic rainfall models.

    Cameron, D., Beven, K. J. & Tawn, J. A., 2000, In: Journal of Hydrology. 228, 1-2, p. 130-149 20 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  37. Published

    Modelling extreme rainfalls using a modified random pulse Bartlett-Lewis stochastic rainfall model (with uncertainty).

    Cameron, D., Beven, K. J. & Tawn, J. A., 2000, In: Advances in Water Resources. 24, 2, p. 203-211 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  38. Published

    Regulation of plant growth in container-grown ornamentals through the use of irrigation.

    Cameron, R. W. F., Wilkinson, S., Davies, W. J., Harrison-Murray, R. S., Dunstan, D. & Burgess, C., 2003, In: Acta Horticulturae. 630, p. 305-312 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  39. Published

    Flood frequency estimation by continuous simulation for gauged upland catchment (with uncertainty).

    Cameron, D. S., Beven, K. J., Tawn, J. A., Blazkova, S. & Nadan, P., 8/07/1999, In: Journal of Hydrology. 219, 3-4, p. 169-187 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  40. Published

    Swings, Hammocks, and Rocking Chairs as Secure Bases during A Day in the Life in Diverse Cultures.

    Cameron, C. A., Tapanya, S. & Gillen, J., 06/2006, In: Child and Youth Care Forum. 35, 3, p. 231-247 17 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  41. Published

    Decomposition of snarks.

    Cameron, P. J., Cheywynd, A. G. & Watkins, J. J., 1987, In: Journal of Graph Theory. 11, 1, p. 13-19 7 p.

    Research output: Contribution to Journal/Magazine › Journal article

  42. Published

    Flood frequency estimation by continuous simulation (with likelihood based uncertainty estimation).

    Cameron, D., Beven, K. J., Tawn, J. A. & Naden, P., 2000, In: Hydrology and Earth System Sciences. 4, 1, p. 23-34 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  43. Published

    Flood frequency estimation under climate change (with uncertainty).

    Cameron, D., Beven, K. J. & Naden, P., 2000, In: Hydrology and Earth System Sciences. 4, 3, p. 393-405 13 p.

    Research output: Contribution to Journal/Magazine › Journal article

  44. Published

    'Joint meaning making: recontextualizing language to accommodate communicative distance'.

    Cameron, C. A. & Gillen, J., 2006.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper

  45. Published

    Co-constructing family identities through telephone-mediated narrative exchanges

    Cameron, C. A. & Gillen, J., 05/2012. 0 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  46. Published

    Co-constructing family identities through young children’s telephone-mediated narrative exchanges

    Cameron, C. A. & Gillen, J., 06/2013, In: First Language. 33, 3, p. 246-267 22 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  47. Published

    Detecting colorectal cancer using infrared spectroscopy

    Cameron, D., Talari, A., Rehman, I., Mitchell, P. & Parkin, E., 15/03/2022, In: The British journal of surgery. 109, 4, p. e61-e62 2 p.

    Research output: Contribution to Journal/Magazine › Letter › peer-review

  48. Published

    Understanding the transmission dynamics of Leishmania donovani to provide robust evidence for interventions to eliminate visceral leishmaniasis in Bihar, India the LCNTDR Collection: Advances in scientific research for NTD control

    Cameron, M. M., Acosta-Serrano, A., Bern, C., Boelaert, M., Den Boer, M., Burza, S., Chapman, L. A. C., Chaskopoulou, A., Coleman, M., Courtenay, O., Croft, S., Das, P., Dilger, E., Foster, G., Garlapati, R., Haines, L., Harris, A., Hemingway, J., Hollingsworth, T. D. & Jervis, S. & 11 others, Medley, G., Miles, M., Paine, M., Picado, A., Poché, R., Ready, P., Rogers, M., Rowland, M., Sundar, S., De Vlas, S. J. & Weetman, D., 27/01/2016, In: Parasites and Vectors. 9, 1, 25.

    Research output: Contribution to Journal/Magazine › Review article › peer-review

  49. Published

    Flood frequency estimation by continuous simulation (with uncertainty).

    Cameron, D., Beven, K. J., Tawn, J. A. & Naden, P., 01/2002, Continuous river flow simulation: methods, applications and uncertainties. Wallingford: British Hydrological Society, p. 53-58 6 p. (BHS Occasional Paper; no. 13).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  50. Published

    NHS SUSTAINABILITY AND TRANSFORMATION PLANS Missing men when transforming healthcare

    Cameron, I., White, A., Seims, A. L. & Taylor, T., 4/04/2017, In: BMJ-BRITISH MEDICAL JOURNAL. 2017, 357.

    Research output: Contribution to Journal/Magazine › Letter › peer-review

  51. Published

    When removing an independent set is optimal for reducing the chromatic number

    Cambie, S., Haslegrave, J. & Kang, R., 31/01/2024, In: European Journal of Combinatorics. 115, 113781.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  52. Published

    'Reading, family religion, and evangelical identity in late Stuart England'.

    Cambers, A. & Wolfe, M., 1/12/2004, In: The Historical Journal. 47, 4, p. 875-896 22 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  53. Published

    Reading, the godly, and self-writing in England, circa.1580-1720.

    Cambers, A., 1/10/2007, In: Journal of British Studies. 46, 4, p. 796-825 30 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  54. Published

    Subset moves based simulated annealing applied to the one-dimensional layout problem

    Camatta, A., Wright, M. B. & Amaral, A. R. S., 2005, Lancaster University: The Department of Management Science, (Management Science Working Paper Series).

    Research output: Working paper

  55. Published

    Periodic Fable Augmenting Chemistry with Technology, Characters and Storytelling

    Câmara Olim, S. M., Nisi, V. & Rubegni, E., 27/06/2022, Proceedings of Interaction Design and Children, IDC 2022. New York: ACM, p. 123-136 14 p. (Proceedings of Interaction Design and Children, IDC 2022).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  56. Published

    Cost-effectiveness of structured group psychoeducation versus unstructured group support for bipolar disorder: results from a multi-centre pragmatic randomised controlled trial

    Camacho, E. M., Ntais, D., Jones, S., Riste, L., Morriss, R., Lobban, F. & Davies, L. M., 15/03/2017, In: Journal of Affective Disorders. 211, p. 27-36 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  57. Published

    Exploring the use of recombinant inbred lines in combination with beneficial microbial inoculants (AM fungus and PGPR) to improve drought stress tolerance in tomato

    Calvo-Polancoa, M., Sánchez-Romera, B., Aroca, R., Asins, M. J., Declerck, S., Dodd, I. C., Martinez-Andujar, C., Albacete, A. & Manuel Ruiz-Lozano, J., 11/2016, In: Environmental and Experimental Botany. 131, p. 47-57 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  58. Published

    Redistribution of FLAgellar Member 8 during the trypanosome life cycle: Consequences for cell fate prediction

    Calvo-Álvarez, E., Bonnefoy, S., Salles, A., Benson, F. E., McKean, P. G., Bastin, P. & Rotureau, B., 30/09/2021, In: Cellular Microbiology. 23, 9, e13347.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  59. Published

    The principle of balanced contributions and hierarchies of cooperation

    Calvo, E., Lasaga, J. J. & Winter, E., 06/1996, In: Mathematical Social Sciences. 31, 3, p. 171-182 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  60. Published

    Reconciling modeled and observed temperature trends over Antarctica

    Calvo, N., Garcia, R. R., Marsh, D. R., Mills, M. J., Kinnison, D. E. & Young, P. J., 28/08/2012, In: Geophysical Research Letters. 39, 16, 6 p., L16803.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  61. Published

    My Mainway Consultancy Report

    Calvo, M., Perez Ojeda, D. & Cruickshank, L., 31/03/2021, Lancaster: Lancaster University. 56 p.

    Research output: Book/Report/Proceedings › Commissioned report

  62. Published

    Rowing Together, Learning Between: Visualising Boundary Spaces in Community Codesign

    Calvo, M., 23/02/2019.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper

  63. Published

    Reflective drawing as a tool for reflection in design research

    Calvo, M., 31/10/2017, In: International Journal of Art and Design Education. 36, 3, p. 261-272 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  64. Published

    Growth and inflationary finance: variations on a Mundellian theme

    Calvo, G. & Peel, D., 10/1983, In: Journal of Political Economy. 91, 5, p. 880-887 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  65. Published

    Cultural-Historical Activity Theory and Informal Learning as a key component of co-design practice in a community initiative

    Calvo, M., Sclater, M. & Smith, P., 11/09/2016.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  66. Published

    Design for social sustainability: A reflection on the role of the physical realm in facilitating community co-design

    Calvo, M. & De Rosa, A., 6/09/2017, In: The Design Journal. 20, Suppl. 1, p. s1705-s1724 20 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  67. Published

    Co-design for social Innovation and organisational change: Developing horizontal relationships in a social enterprise through walking

    Calvo, M. & Sclater, M., 1/11/2020, In: International Journal of Design for Social Change, Sustainable Innovation and Entrepreneurship. 1, 1, p. 78-98 20 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  68. Published

    Creating Spaces for Collaboration in Community Co-design

    Calvo, M. & Sclater, M., 28/02/2021, In: International Journal of Art and Design Education. 40, 1, p. 232-250 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  69. Published

    Short Report: Walking Workshops: Mapping Values: Co-constructing understandings of the good city in pursuit of new models of urban governance

    Calvo, M. & Vivier, E., 21/07/2022, British Academy. 37 p.

    Research output: Book/Report/Proceedings › Commissioned report

  70. E-pub ahead of print

    Strategies and Tactics of Participatory Architecture

    Calvo, M., Galabo, R., Owen, V., Cruickshank, L. & Sara, R., 17/06/2022, (E-pub ahead of print) DRS2022 Bilbao: Design Research Society Conference 2022. 19 p. 141

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  71. Published

    Exploring Mutual Learning in Co-design

    Calvo, M., Cruickshank, L. & Sclater, M., 6/11/2022, In: International Journal of Design for Social Change, Sustainable Innovation and Entrepreneurship. 3, 2, p. 79-96 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  72. Published

    Co-design and Informal-Mutual Learning: A Context-Based Study Demystified Using Cultural-Historical Activity Theory

    Calvo, M., 15/09/2019, 1 ed. Glasgow: The Glasgow School of Art Press. 300 p.

    Research output: Thesis › Doctoral Thesis

  73. Published

    Embedded Intelligent Empathy in Design: Participatory Design Phase Short Report

    Calvo, M., 15/12/2021, Lancaster . 37 p.

    Research output: Book/Report/Proceedings › Commissioned report

  74. Published

    Does Participatory Architecture Work?

    Calvo, M., Cruickshank, L., Galabo, R. & Perez Ojeda, D., 20/03/2020.

    Research output: Contribution to conference - Without ISBN/ISSN › Abstract › peer-review

  75. Published

    Towards a Participatory Architecture

    Calvo, M. & Fabregat-Nodar, C., 22/12/2023, Future Home: Trends, Innovations and Disruptors in Housing Design. Moreno-Rangel, A. & Conroy Dalton, R. (eds.). 1st ed. Abingdon: Routledge, p. 127-140 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  76. Published

    Short Report: Placemaking with Young Adults: Youth, Democracy and Sustainable Citizenship: Reimagining the City and Empowering Young People through Engagement with Policy-Makers

    Calvo, M., Dart, S., Hatch, P., Dobson, G. & Chekansky, K., 15/02/2024, Lancaster: Lancaster University. 31 p.

    Research output: Book/Report/Proceedings › Commissioned report

  77. Published

    alpha-Acyloxynitroso dienophiles in [4+2] hetero Diels-Alder cycloadditions: mechanistic insights

    Calvet, G., Coote, S. C., Blanchard, N. & Kouklovsky, C., 17/04/2010, In: Tetrahedron. 66, 16, p. 2969-2980 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  78. Published

    Clifford algebras, symmetric spaces and cohomology rings of Grassmannians

    Calvert, K., Nishiyama, K. & Pandžić, P., 7/10/2023.

    Research output: Working paper › Preprint

  79. Published

    Dirac Operators for the Dunkl Angular Momentum Algebra

    Calvert, K. & De Martino, M., 1/06/2022, In: SIGMA (Symmetry, Integrability and Geometry: Methods and Applications). 18, 18 p., 040.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  80. Published

    Two families of Dirac-like operators for Drinfeld's Hecke algebra

    Calvert, K., 23/12/2022.

    Research output: Working paper › Preprint

  81. Published

    ‘… This is my home and my neighbourhood with my very good and not so good memories’: The story of autobiographical place-making and a recent life with dementia

    Calvert, L., Keady, J., Khetani, B., Riley, C. & Swarbrick, C., 1/01/2020, In: Dementia. 19, 1, p. 111-128 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  82. Published

    Compact Schur-Weyl duality: Real Lie groups and the cyclotomic Brauer algebra

    Calvert, K., 30/11/2022, In: Journal of Pure and Applied Algebra. 226, 11, 107082.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  83. Published

    The centre of the Dunkl total angular momentum algebra

    Calvert, K., Martino, M. D. & Oste, R., 22/07/2022, Arxiv.

    Research output: Working paper › Preprint

  84. Published

    The centre of the Dunkl total angular momentum algebra

    Calvert, K., Oste, R. & De Martino, M., 15/11/2024, In: Journal of Algebra. 658, p. 198-226 29 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  85. Published

    Compact Schur-Weyl duality and the Type B/C VW-algebra

    Calvert, K., 8/10/2022, In: Advances in Mathematics. 407, 108575.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  86. Published

    Dirac cohomology of the Dunkl-Opdam subalgebra via inherited Drinfeld properties

    Calvert, K., 2/04/2020, In: Communications in Algebra. 48, 4, p. 1476-1498

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  87. Published

    Dirac cohomology, the projective supermodules of the symmetric group and the Vogan morphism

    Calvert, K., 13/06/2019, In: The Quarterly Journal of Mathematics. 70, 2, p. 535-563

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  88. Published

    Clifford algebras and Littlewood-Richardson coefficients

    Calvert, K., Grizelj, K., Krutov, A. & Pandžić, P., 18/11/2024, Arxiv, 10 p.

    Research output: Working paper › Preprint

  89. Published

    Inhaled corticosteroids prevent treatment failure in COPD.

    Calverley, P. M., Spencer, S., Willits, L., Burge, P. S. & Jones, P. W., 2002. 0 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Poster › peer-review

  90. Published

    Bronchodilator reversibility testing in chronic obstructive pulmonary disease.

    Calverley, P. M., Burge, P. S., Spencer, S., Anderson, J. A. & Jones, P. W., 08/2003, In: Thorax. 58, 8, p. 659-664 5 p., 12885978.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  91. Published

    Withdrawal from treatment as an outcome in the ISOLDE study of COPD

    Calverley, P. M., Spencer, S., Willits, L., Burge, P. S. & Jones, P. W., 10/2003, In: Chest. 124, 4, p. 1350-1356 6 p., 14555565.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  92. Published

    River flood frequency estimation using continuous runoff modelling

    Calver, A., Lamb, R. & Morris, S. E., 12/1999, In: Proceedings of the ICE - Water and Maritime Engineering. 136, 4, p. 225-234 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  93. Published

    Lava tube morphology on Etna : insights for lava flow emplacement mechanisms.

    Calvari, S., Pinkerton, H., Guest, J. E. & Duncan, A., 1999, In: Geophysical Research Abstracts. 1, 4, p. 862-862 1 p.

    Research output: Contribution to Journal/Magazine › Journal article

  94. Published

    Formation of lava tubes and extensive flow field during the 1991 - 93 eruption of Mount Etna.

    Calvari, S. & Pinkerton, H., 1998, In: Journal of Geophysical Research: Solid Earth. 103, B11, p. 27291-27301 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  95. Published

    Lava tube morphology on Etna and evidence for lava flow emplacement mechanisms.

    Calvari, S. & Pinkerton, H., 06/1999, In: Journal of Volcanology and Geothermal Research. 90, 3-4, p. 263-280 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  96. Published

    Birth, growth and morphologic evolution of the ‘larghetto’ cinder cone during the 2001 Etna eruption.

    Calvari, S. & Pinkerton, H., 30/04/2004, In: Journal of Volcanology and Geothermal Research. 132, 2-3, p. 225-239 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  97. Published

    MIDA, a distributed hydrological model: Its behavior under some different parameter and data discretization conditions.

    Calore, C., Parodi, U. G., Labarbera, P., Binley, A. M. & Buckley, K., 1995, In: Physics and Chemistry of the Earth. 20, 3-4, p. 403-414 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  98. Published

    The influence of spatial structure and configuration on behaviour: case study of a complex school environment

    Calogero, E. & Dalton, R., 1/09/2009, In: Cognitive Processing. 10, 2, p. S136 1 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  99. Published

    Medicine's next goldmine? : The implications of the new genetic health technologies for the health service.

    Calnan, M., Wainwright, D., Glasner, P., Newbury-Ecob, R. & Ferlie, E., 03/2006, In: Medicine, Health Care and Philosophy. 9, 1, p. 33-41 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  100. Published

    Imprints of quantum gravity in the cosmic microwave background

    Calmet, X., Edholm, J. & Kuntz, I., 15/03/2019, In: European Physical Journal B. 79, 3, 5 p., 238.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...886 887 888 889 890 891 892 893 ...1060 Next

Back to top