Home > Research > Computing and Communications > Publications & Outputs

Research

View graph of relations

Computing and Communications

1501 - 1600 out of 10,531Page size: 100
RSS feed of this list
  1. Published

    Intelligent Mobility Systems: Some Socio-technical Challenges and Opportunities

    Buscher, M., Coulton, P., Efstratiou, C., Gellersen, H., Hemment, D., Mehmood, R. & Sangiorgi, D., 2009, Communications Infrastructure: Systems and Applications in Europe. Mehmood, R., Cerqueira, E., Piesiewicz, R. & Chlamtac, I. (eds.). Berlin: Springer, p. 140-152 13 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 16, no. 3).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  2. Published

    Configuring user-designer relations: interdisciplinary perspectives

    Buscher, M. (Editor), Slack, R. (Editor), Rouncefield, M. (Editor), Procter, R. (Editor), Hartswood, M. (Editor) & Voss, A. (Editor), 2008, London: Springer Verlag. 235 p. (Computer Supported Cooperative Work)

    Research output: Book/Report/Proceedings › Book

  3. Published

    Periphere Kooperation am Beispiel der Anschläge in Norwegen 2011

    Buscher, M., Weise, S. & Perng, S.-Y., 04/2014, In: i-com. 13, 1, p. 12-19 8 p.

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

  4. Published

    Collective intelligence in crises

    Buscher, M., Liegl, M. & Thomas, V., 2014, Social collective intelligence: combining the powers of humans and machines to build a smarter society. Miorandi, D., Maltese, V., Rovatsos, M., Nijholt, A. & Stewart, J. (eds.). Springer, p. 243-265 23 p. (Computational Social Sciences Series).

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

  5. Published

    Connected, computed, collective: Smart mobilities

    Büscher, M., Coulton, P., Efstratiou, C., Gellersen, H. & Hemment, D., 28/11/2011, Mobilities: New Perspectives on Transport and Society. Urry, J. & Grieco, M. (eds.). Ashgate Publishing Ltd., p. 135-157 23 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  6. Published

    A novel approach to estimating current and future states of technical systems: Proc. of the International Conference on Computing, Networking and Communications (ICNC)

    Bushminkin, K., Kolev, D., Rodionov, D., Mihaylova, L. & Vikhoreva, A., 2012, International Conference on Computing, Networking and Communications (ICNC), 2012. IEEE, p. 512-516 5 p.

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

  7. Published

    Computer Security for Small Modular Reactors and Microreactors

    Busquim e Silva, R., Anderson, R., Smith, P. & St. John-Green, M., 22/05/2023. 8 p.

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

  8. Published

    Simulator of Small Modular Reactor for Cyber Security Assessment

    Busquim e Silva, R., Rowland, M., Berman, G., Smith, P. & Paulino Marques, R., 22/05/2024.

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

  9. Published

    Transparency and simplification of rule-based models for on-line adaptation.

    Buswell, R., Angelov, P. & Wright, J., 2001, Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, Leicester, United Kingdom, September 5-7, 2001.. Garibaldi, J. M. & John, R. I. (eds.). Eusflat, p. 324-327 4 p.

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

  10. Published

    Decentralized ad-hoc groupware API and framework for mobile collaboration

    Buszko, D., Lee, W.-H. & Helal, S., 2001, GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work. Ellis, S., Rodden, T. & Zigurs, I. (eds.). New York: ACM, p. 5-14 10 p.

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

  11. Published

    Vermeer: direct interaction with a 360176; viewable 3D display

    Butler, A., Hilliges, O., Izadi, S., Hodges, S., Molyneaux, D., Kim, D. & Kong, D., 2011, UIST '11 Proceedings of the 24th annual ACM symposium on User interface software and technology. New York, NY, USA: ACM, p. 569-576 8 p.

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

  12. Published

    Shake'n'sense: reducing interference for overlapping structured light depth cameras

    Butler, D. A., Izadi, S., Hilliges, O., Molyneaux, D., Hodges, S. & Kim, D., 2012, Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems. New York, NY, USA: ACM, p. 1933-1936 4 p. (CHI '12).

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

  13. Published

    Vermeer: Direct interaction with a 360° viewable 3D display

    Butler, A., Hilliges, O., Izadi, S., Hodges, S., Molyneaux, D., Kim, D. & Kong, D., 16/10/2011, UIST '11: Proceedings of the 24th annual ACM symposium on User interface software and technology. ACM, p. 569-576 8 p.

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

  14. Published

    Presenting the past: a case study of innovation opportunities for knowledge dissemination to the general public through pervasive technology

    Butterworth, C., Kershaw, D., Devine, J., Gallagher, J. & Croft, J., 07/2015, p. 391-392. 2 p.

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

  15. Published

    Data sharing policy and organisational legitimacy in the publicly funded arts sector

    Butterworth, C., Fahy, K. M. & Whitham, R. D. R., 2016.

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

  16. Published

    "We can't data everything": What do formalised data sharing policies mean for the publicly funded, UK arts sector?

    Butterworth, C., Fahy, K. M. & Whitham, R. D. R., 15/10/2016.

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

  17. Published

    “Stuck in the middle”: Satisfying the divergent legitimacy demands of Data Sharing Policy.

    Butterworth, C., Whitham, R. & Fahy, K., 2017.

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

  18. Published

    Data-centric policies and practice: implications for publicly funded arts and cultural organisations in England

    Butterworth, C., 03/2020, Lancaster University. 297 p.

    Research output: Thesis › Doctoral Thesis

  19. Published

    Deconstructing ethnography: towards a social methodology for ubiquitous computing and interactive systems design

    Button, G., Crabtree, A., Rouncefield, M. F. & Tolmie, P., 10/2015, Springer. (Human–Computer Interaction Series)

    Research output: Book/Report/Proceedings › Book

  20. Published

    The relevance of 'work-practice' for design

    Button, G. & Harper, R., 12/1995, In: Computer Supported Cooperative Work. 4, 4, p. 263-280 18 p.

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

  21. Published

    Vision based human activity recognition: a review

    Bux, A., Angelov, P. P. & Habib, Z., 7/09/2016, Advances in Computational Intelligence Systems: Contributions Presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK. Angelov, P., Gegov, A., Jayne, C. & Shen, Q. (eds.). Springer, p. 341-371 30 p. (Advances in Intelligent Systems and Computing; vol. 513).

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

  22. Published

    Human action recognition from multiple views based on view-invariant feature descriptor using support vector machines

    Bux, A., Angelov, P. P. & Habib, Z., 21/10/2016, In: Applied Sciences. 6, 10, 14 p., 309.

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

  23. Published

    A comprehensive review on handcrafted and learning-based action representation approaches for human activity recognition

    Bux, A., Angelov, P. P. & Habib, Z., 23/01/2017, In: Applied Sciences. 7, 1, 37 p., 110.

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

  24. Published

    Human action recognition using transfer learning with deep representations

    Bux, A., Wang, X., Angelov, P. P. & Habib, Z., 3/07/2017, 2017 International Joint Conference on Neural Networks (IJCNN). IEEE

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

  25. Published

    Vision-based human action recognition using machine learning techniques

    Bux, A., 2017, Lancaster University. 173 p.

    Research output: Thesis › Doctoral Thesis

  26. Published

    Human action recognition using deep rule-based classifier

    Bux, A., Gu, X., Angelov, P. & Habib, Z., 1/11/2020, In: Multimedia Tools and Applications. 79, 41-42, p. 30653-30667 15 p.

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

  27. Published

    Ontology Design and Implementation for RFID services

    Byun, Y.-C., Kang, M.-S. & Helal, S., 2012, 25th International Conference on Computer Applications in Industry and Engineering, CAINE 2012 and the 4th International Symposium on Sensor Network and Application, SNA 2012. Curran Associates, Inc. , p. 47-50 4 p.

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

  28. Published

    A performance comparative study on the implementation methods for OFDMA cross-layer optimization

    C. Zarakovitis, C. & Ni, Q., 06/2012, In: Future Generation Computer Systems. 28, 6, p. 923-929 7 p.

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

  29. Published

    Power-Efficient Cross-Layer Design for OFDMA Systems With Heterogeneous QoS, Imperfect CSI, and Outage Considerations

    C. Zarakovitis, C., Ni, Q., Skordoulis, D. E. & Hadjinicolaou, M. G., 02/2012, In: IEEE Transactions on Vehicular Technology. 61, 2, p. 781-798 18 p.

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

  30. Published

    Novel Game-Theoretic Cross-Layer Scheduling for Single-Cell OFDMA Systems with Heterogeneous QoS and Partial CSIT

    C. Zarakovitis, C. & Ni, Q., 06/2010, SED Research Conference. Vol. 3. p. 425-431 7 p.

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

  31. Published

    Novel Cross-Layer Scheduling for Single-Cell OFDMA Systems with Heterogeneous QoS and Partial CSIT

    C. Zarakovitis, C. & Ni, Q., 06/2009, SED Research Conference. Vol. 2. p. 86-92 7 p.

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

  32. Published

    A Comparative Study on Iterative Methods Regarding Cross-Layer Optimization for OFDMA Systems

    C. Zarakovitis, C., Nikolaros, I., Skordoulis, D., Hadjinicolaou, M. & Ni, Q., 08/2010, IEEE International Conference on Computer and Information Technology (CIT), 10.1109/CIT.2010.98. IEEE, p. 420-425 6 p.

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

  33. Published

    Firmware design approach for a mobile terminal embedded system of a Hiperlan2 Wireless Local Area Network

    C. Zarakovitis, C., Blionas, S., Antonidakis, E. & Hadjinicolaou, M., 06/2005, Proceedings of the Annual Conference on Telecommunication and Multimedia, TEMU 2005. Crete, 6 p.

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

  34. Published

    New energy efficiency metric with imperfect channel considerations for OFDMA systems

    C. Zarakovitis, C., Ni, Q. & Spiliotis, J., 9/10/2014, In: IEEE Wireless Communications Letters. 3, 5, p. 473-476 4 p.

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

  35. Published

    Ubicomp systems at 20: progress, opportunities, and challenges

    Caceres, R. & Friday, A., 01/2012, In: IEEE Pervasive Computing. 11, 1, p. 14-21 8 p.

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

  36. Published

    A Lua-based AOP infrastructure

    Cacho, N., Batista, T. & Fernandes, F., 10/2005, In: Journal of the Brazilian Computer Society. 11, 3, p. 7-20 14 p.

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

  37. Unpublished

    AspectLua - A Dynamic AOP Approach

    Cacho, N., Batista, T. & Fernandes, F., 01/2005, (Unpublished) In: Journal of Universal Computer Science.

    Research output: Contribution to Journal/Magazine › Journal article

  38. Unpublished

    Using AOP to Customize a Reflective Middleware

    Cacho, N. & Batista, T., 11/2005, (Unpublished).

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

  39. Unpublished

    Aspects and Exceptions: The Devil is in the Details

    Cacho, M., Figueiredo, M. & Filho, A., 08/2006, (Unpublished) p. 152-162. 11 p.

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

  40. Published

    Improving modularity of reflective middleware with aspect-oriented programming

    Cacho, N., Batista, T., Garcia, A., Sant'Anna, C. & Blair, G. S., 2006, Proceedings of the 6th international workshop on Software engineering and middleware. p. 31-38 8 p.

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

  41. Published

    Exploiting visual quasi-periodicity for real-time chewing event detection using active appearance models and support vector machines

    Cadavid, S., Abdel-Mottaleb, M. & Helal, S., 08/2012, In: Personal and Ubiquitous Computing. 16, 6, p. 729-739 11 p.

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

  42. Published

    Inferring test results for dynamic software product lines

    Cafeo, B., Noppen, J., Ferrari, F., Chitchyan, R. & Rashid, A., 2011, ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. New York: ACM Press, p. 500-503 4 p.

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

  43. Published

    Feature dependencies as change propagators: an exploratory study of software product lines

    Cafeo, B., Cirilo, E., Garcia, A., Dantas, F. & Lee, J., 1/01/2016, In: Information and Software Technology. 69, p. 37-49 13 p.

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

  44. Published

    Segregating feature interfaces to support software product line maintenance

    Cafeo, B., Hunsen, C., Garcia, A., Apel, S. & Lee, J., 14/03/2016, MODULARITY 2016 Proceedings of the 15th International Conference on Modularity. New York: ACM, p. 1-12 12 p.

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

  45. Published

    The Gridkit distributed resource management framework

    Cai, W., Coulson, G., Grace, P., Blair, G., Mathy, L. & Yeung, W. K., 2005, Advances in Grid Computing - EGC 2005. Sloot, P. M. A., Hoekstra, A. G., Priol, T., Reinefeld, A. & Bubak, M. (eds.). Berlin: Springer Verlag, p. 341-342 2 p. (Lecture Notes in Computer Science; vol. 3470).

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

  46. Published

    Modulation and Multiple Access for 5G Networks

    Cai, Y., Qin, Z., Cui, F., Li, G. & McCann, J., 02/2018, In: Communications Surveys and Tutorials, IEEE Communications Society. 20, 1, p. 629-646 18 p.

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

  47. Published

    Exploiting spatial-temporal relationships for 3D pose estimation via graph convolutional networks

    Cai, Y., Ge, L., Liu, J., Cai, J., Cham, T.-J., Yuan, J. & Thalmann, N. M., 2/11/2019, Proceedings of the IEEE International Conference on Computer Vision. IEEE, p. 2272-2281 9 p.

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

  48. Published

    Learning Progressive Joint Propagation for Human Motion Prediction

    Cai, Y., Huang, L., Wang, Y., Cham, T.-J., Cai, J., Yuan, J., Liu, J., Yang, X., Zhu, Y., Shen, X., Liu, D., Liu, J. & Thalmann, N. M., 9/11/2020, Computer Vision – ECCV 2020. Springer, Cham, p. 226-242 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

  49. Published

    A Unified 3D Human Motion Synthesis Model via Conditional Variational Auto-Encoder

    Cai, Y., Wang, Y., Zhu, Y., Cham, T. J., Cai, J., Yuan, J., Liu, J., Zheng, C., Yan, S., Ding, H., Shen, X., Liu, D. & Thalmann, N. M., 28/02/2022, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 11625-11635 11 p. (Proceedings of the IEEE International Conference on Computer Vision).

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

  50. Published

    RED: a framework for prototyping multi-display applications using web technologies

    Calderon, R., Blackstock, M., Lea, R., Fels, S., de Oliveira Bueno, A. & Anacleto, J., 3/06/2014, PerDis '14 Proceedings of the International Symposium on Pervasive Displays. New York: Association for Computing Machinery (ACM) Press, p. 148-153 6 p.

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

  51. Published

    Evaluation of the Chief Nursing Officer's Review of Mental Health Nursing in England

    Callahan, P., Repper, J., Lovell, K., Playle, J., Baker, J., Clifton, A., Shaw, T., Stacey, G., Nelson, P., Minshull, S., Swarbrick, C., Schneider, J. & Watkins, M., 2009, University of Nottingham.

    Research output: Book/Report/Proceedings › Other report

  52. 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

  53. 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

  54. 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

  55. Published

    Corecursion for Compositional Verification

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

    Research output: Other contribution

  56. 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

  57. 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

  58. 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

  59. 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

  60. 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

  61. 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

  62. 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

  63. 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

  64. 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

  65. 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

  66. Published

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

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

    Research output: Thesis › Doctoral Thesis

  67. 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

  68. 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

  69. 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

  70. 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

  71. 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

  72. 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

  73. 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

  74. 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

  75. 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

  76. 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

  77. 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

  78. 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

  79. 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

  80. 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

  81. 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

  82. Published

    Transporting QoS adaptive flows

    Campbell, A. T., Coulson, G. & Hutchison, D., 05/1998, In: Multimedia Systems. 6, 3, p. 167-178 12 p.

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

  83. Published

    Implementation and evaluation of the QoS-A transport system

    Campbell, A. & Coulson, G., 1997, Protocols for High-Speed Network V. Dabbous, W. & Diot, C. (eds.). London: Chapman & Hall, p. 201-218 18 p. (IFIP Advances in Information and Communication Technology).

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

  84. Published

    QoS adaptive transports: Delivering scalable media to the desktop

    Campbell, A. & Coulson, G., 1997, In: IEEE Network. 11, 2, p. 18-27 10 p.

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

  85. Published

    Integrated quality of service for multimedia communications

    Campbell, A., COULSON, G., GARCIA, F., HUTCHISON, D. & LEOPOLD, H., 1993, INFOCOM '93. Proceedings.Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking: Foundation for the Future. IEEE . Los Alamitos: IEEE Computer Society, p. 732-739 8 p.

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

  86. Published

    A QoS adaptive multimedia transport system: design, implementation and experiences

    Campbell, A. & Coulson, G., 03/1997, In: Distributed Systems Engineering. 4, 1, p. 48-58 11 p.

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

  87. Published

    Dynamic QoS management for scalable video flows

    Campbell, A., Hutchison, D. & Aurrecoechea, C., 1/01/1995, NOSSDAV 1995: Network and Operating Systems Support for Digital Audio and Video. Little, T. D. C. & Gusella, R. (eds.). Springer, p. 101-112 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1018).

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

  88. Published

    A multimedia enhanced transport service in a quality of service architecture

    Campbell, A., Coulson, G. & Hutchison, D., 1/01/1994, NOSSDAV 1993: Network and Operating System Support for Digital Audio and Video. Shepherd, D., Blair, G., Coulson, G., Davies, N. & Garcia, F. (eds.). Springer, p. 124-137 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 846 LNCS).

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

  89. Published

    Continuous media transport and orchestration service

    Campbell, A., Coulson, G., Garcia, F. & Hutchison, D., 1/12/1992, SIGCOMM '92: Conference proceedings on Communications architectures & protocols. ACM, p. 99-110 12 p.

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

  90. Published

    183 How are specialist palliative care units using ranitidine in the medical management of adults with malignant bowel obstruction? A survey of UK hospices

    Campbell, A., Rawlinson, F. & Gadoud, A., 1/03/2020, In: BMJ Supportive and Palliative Care. 10, Suppl 1, p. A73-A73

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

  91. Published

    Flow Management in a Quality of Service Architectures

    CAMPBELL, A., COULSON, G. & HUTCHISON, D., 1994, High Performance Networking V: Proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June - 1 July, 1994. Fdida, S. (ed.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 201-218 18 p.

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

  92. Published

    Orchestration Services for Distributed Multimedia Synchronization

    CAMPBELL, A., COULSON, G., GARCIA, F. & HUTCHISON, D., 1993, High Performance Networking, IV. Danthine, A. & Spaniol, O. (eds.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 153-168 16 p.

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

  93. Published

    Resource management in multimedia communication stacks

    CAMPBELL, A., COULSON, G., GARCIA, F. & HUTCHISON, D., 1993, 4th IEE Conference on Telecommunications, 1993. Stevenage, Herts.: IEE, p. 287-295 9 p.

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

  94. Published

    Locality level mortality and socio-economic change in Britain since 1920: First steps towards analysis of infant mortality variation.

    Campos, R. M., Congdon, P., Curtis, S. E., Gregory, I. N., Jones, I. R. & Southall, H. R., 2004, The Geography of Health Inequalities in the Developed World. Boyle, P., Curtis, S. E., Graham, E. & Moore, E. (eds.). Aldershot: Ashgate, p. 53-75 23 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  95. Published

    A probabilistic hypothesis density filter for traffic flow estimation in the presence of clutter

    Canaud, M., Mihaylova, L., El Faouzi, N.-E., Billot, R. & Sau, J., 4/09/2012, Sensor Data Fusion: Trends, Solutions, Applications (SDF), 2012 Workshop on. IEEE, p. 31-36 6 p.

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

  96. Published

    Probability hypothesis density filtering for real-time traffic state estimation and prediction

    Canaud, M., Mihaylova, L., Sau, J. & El Faouzi, N.-E., 09/2013, In: Network and Heterogeneous Media. 8, 3, p. 825-842 18 p.

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

  97. Published

    Extreme space weather: impacts on engineered systems and infrastructure

    Cannon, P., Angling, M., Barclay, L., Curry, C., Dyer, C., Edwards, R., Greene, G., Hapgood, M., Horne, R. B., Jackson, D., Mitchell, C. N., Owen, J., Richards, A., Rodgers, C., Ryden, K., Saunders, S., Sweeting, M., Tanner, R., Thomson, A. & Underwood, C., 02/2013, London: Royal Academy of Engineering. 70 p.

    Research output: Book/Report/Proceedings › Monograph

  98. Published

    Harnessing linked knowledge source for topic classification in social media

    Cano, A., Varga, A., Rowe, M. & Ciravegna, F., 2013.

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

  99. Published

    Proceedings of the Concept Extraction Challenge at the Workshop on Making Sense of Microposts 2013 (#MSM2013)

    Cano, A. (Editor), Rowe, M. (Editor), Stankovic, M. (Editor) & Dadzie, A.-S. (Editor), 2013, CEUR Workshop Proceedings.

    Research output: Book/Report/Proceedings › Proceedings

  100. Published

    Performance analysis under finite load and improvements for multirate 802.11

    Cantieni, G. R., Ni, Q., Barakat, C. & Turletti, T., 16/06/2005, In: Computer Communications. 28, 10, p. 1095-1109 15 p.

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

Previous 1...12 13 14 15 16 17 18 19 ...106 Next

Back to top