Home > Research > Computing and Communications > Publications & Outputs

Research

View graph of relations

Computing and Communications

8901 - 9000 out of 10,534Page size: 100
RSS feed of this list
  1. Published

    Remote Gaze and Gesture Tracking on the Microsoft Kinect: Investigating the Role of Feedback

    Carter, M., Newn, J., Velloso, E. & Vetere, F., 7/12/2015, OzCHI '15 Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction . New York: ACM, p. 167-176 10 p.

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

  2. Published

    InContext: Futuring User-Experience Design Tools

    Carter, A. R. L., Sturdee, M., Dix, A. J., Raju, D. K., Aldridge, M., Sari, E., Mackay, W. E. & Churchill, E. F., 27/04/2022, CHI EA '22: Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 95:1-95:6 6 p. 95. (Conference on Human Factors in Computing Systems - Proceedings).

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

  3. Published

    Prototyping InContext: Exploring New Paradigms in User Experience Tools

    Carter, A. R. L., Sturdee, M. & Dix, A., 20/06/2022, Proceedings of the Working Conference on Advanced Visual Interfaces, AVI 2022. Bottoni, P. & Panizzi, E. (eds.). New York: ACM, p. 22:1-22:5 5 p. 22. (ACM International Conference Proceeding Series).

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

  4. Published

    On the performance of iterative demapping and decoding techniques over quasi-static fading channels

    Carson, W. R., Chatzigeorgiou, I., Wassell, I. J., Rodrigues, M. R. D. & Carrasco, R., 2007, Personal, Indoor and Mobile Radio Communications, 2007. PIMRC 2007. IEEE 18th International Symposium on. New York: IEEE, p. 1522-1526 5 p.

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

  5. Published

    Mimicry in online conversations: an exploratory study of linguistic analysis techniques

    Carrick, T., Rashid, A. & Taylor, P. J., 18/08/2016, Advances in Social Networks Analysis and Mining (ASONAM), 2016 IEEE/ACM International Conference on. IEEE

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

  6. Published

    Geology: Modular Georecommendation In Gossip-Based Social Networks

    Carretero, J., Isaila, F., Kermarrec, A.-M., Taïani, F. & Tirado, J. M., 06/2012, Proceedings of the IEEE 32nd International Conference on Distributed Computing Systems (ICDCS 2012). IEEE, p. 637-646 10 p.

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

  7. Published

    Cutting out the middle wo(man) - the implications of co-design and digital fabrication for the design profession

    Carolan, N. & Cruickshank, L., 2010.

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

  8. Published

    Toyetic tooling: 3D printing and convergent media platforms

    Carolan, N., 30/09/2019, Lancaster University. 456 p.

    Research output: Thesis › Doctoral Thesis

  9. Published

    MCMC-Based Tracking and Identification of Leaders in Groups

    Carmi, A., Mihaylova, L., Septier, F., Pang, S. K. & Godsill, S., 7/11/2011, IEEE International Conference on Computer Vision Workshops (ICCV Workshops), 2011 . IEEE, p. 112-119 8 p.

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

  10. Published

    Unscented compression sensing

    Carmi, A., Mihaylova, L. & Kanevsky, D., 1/03/2012, Acoustics, Speech and Signal Processing (ICASSP), 2012 IEEE International Conference on. Kyoto, Japan: IEEE, p. 5249-5252 4 p.

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

  11. Published

    Compressed sensing and sparse filtering

    Carmi, A., Mihaylova, L. & Godsill, S., 30/06/2013, Springer. 526 p. (Signals and Communication Technology)

    Research output: Book/Report/Proceedings › Book

  12. Published

    Agile collaborative autonomous agents for robust underwater classification scenarios

    Carline, D., Angelov, P. & Clifford, R., 06/2005. 6 p.

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

  13. Published

    Agile collaborative agents for classification of underwater targets

    Carline, D., Angelov, P. & Clifford, R., 21/06/2005, Proceedings of the Undersea Defense Technology Conference 2005. Amsterdam, The Netherlands

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

  14. Published

    Sleep period optimization model for layered video service delivery over eMBMS networks

    Carlà, L., Chiti, F., Fantacci, R. & Tassi, A., 8/06/2015, 2015 IEEE International Conference on Communications (ICC) . London: IEEE, p. 198 - 203 6 p.

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

  15. Published

    Simple method to find the trace of an arbitrary element of a finite field

    Cardoso Da Rocha, V. & Markarian, G., 30/03/2006, In: Electronics Letters. 42, 7, p. 423-425 3 p.

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

  16. Published

    Algebraic properties of BCH codes useful for decoding

    Cardoso Da Rocha, V., Honary, B. & Bate, S. D., 1989, In: International Journal of Satellite Communications. 7, 3, p. 225-229 5 p.

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

  17. Published

    Automated Planning and BDI Agents: A Case Study

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 25/09/2021, Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection: 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings. Dignum, F., Corchado, J. M. & Prieta, F. D. L. (eds.). Cham: Springer, p. 52-63 12 p. (Lecture Notes in Computer Science ; vol. 12946).

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

  18. Published

    MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S. & Payne, T. R., 1/10/2021, The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausberg, T. (eds.). Cham: Springer, p. 82-107 27 p. (Lecture Notes in Computer Science; vol. 12947).

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

  19. Published

    LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 23/09/2020, The Multi-Agent Programming Contest 2019: Agents Assemble – Block by Block to Victory. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausburg, T. (eds.). Cham: Springer, p. 31-58 28 p. (Lecture Notes in Computer Science ; vol. 12381).

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

  20. Published

    LARA: a prototype system for supporting high performance active networking

    Cardoe, R., Finney, J., Scott, A. & Shepherd, W. D., 06/1999, Active Networks: First International Working Conference, IWAN’99, Berlin, Germany, June 30 - July 2, 1999. Proceedings. Covaci, S. (ed.). Berlin: Springer, p. 117-131 15 p. (Lecture Notes in Computer Science; vol. 1653).

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

  21. Published

    Exploiting reflection in mobile computing middleware

    Capra, L., Blair, G. S., Mascolo, C., Emmerich, W. & Grace, P., 2002, In: SIGMOBILE Mobile Computing and Communications Review. 6, 4, p. 34-44 11 p.

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

  22. Published

    Statistical CSIT Aided User Scheduling for Broadcast MU-MISO System

    Cao, Q., Sun, Y., Ni, Q., Li, S. & Tan, Z., 07/2017, In: IEEE Transactions on Vehicular Technology. 66, 7, p. 6102-6114 13 p.

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

  23. Published

    Optical identification using imperfections in 2D materials

    Cao, Y., Robson, A. J., Alharbi, A., Roberts, J., Woodhead, C., Noori, Y., Bernardo Gavito, R., Roedig, U., Falko, V. & Young, R. J., 28/09/2017, In: 2D Materials. 4, 4, 8 p., 045021.

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

  24. Published

    Hyperspectral Band Selection Using Improved Classification Map

    Cao, X., Wei, C., Han, J. & Jiao, L., 11/2017, In: IEEE Geoscience and Remote Sensing Letters. 14, 11, p. 2147-2151 5 p.

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

  25. Published

    Fast Hyperspectral Band Selection Based on Spatial Feature Extraction

    Cao, X., Ji, Y., Wang, L., Ji, B., Jiao, L. & Han, J., 10/2018, In: Journal of Real-Time Image Processing. 15, 3, p. 555-564 10 p.

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

  26. Published

    Toward Efficient Electric-Vehicle Charging Using VANET-Based Information Dissemination

    Cao, Y. & Wang, N., 04/2017, In: IEEE Transactions on Vehicular Technology. 66, 4, p. 2886-2901 16 p.

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

  27. Published

    An EV Charging Management System Concerning Drivers’ Trip Duration and Mobility Uncertainty

    Cao, Y., Wang, T., Kaiwartya, O., Min, G., Ahmad, N. & Abdullah, A. H., 1/04/2018, In: IEEE Transactions on Systems, Man, and Cybernetics: Systems. 48, 4, p. 596-607 12 p.

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

  28. Published

    Toward Distributed Battery Switch Based Electro-Mobility Using Publish/Subscribe System

    Cao, Y., Kaiwartya, O., Han, C., Wang, K., Song, H. & Aslam, N., 1/11/2018, In: IEEE Transactions on Vehicular Technology. 67, 11, p. 10204-10217 14 p.

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

  29. Published

    MEGEE: Mobile Edge computer Geared v2x for E-Mobility Ecosystem

    Cao, Y., Wu, C., Zhang, X., Liu, W., Peng, L. & Khalid, M., 15/04/2019, 2019 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, 6 p.

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

  30. Published

    Enhancing Video QoE Over High-speed Train Using Segment-based Prefetching and Caching

    Cao, Y., Wang, N., Wu, C. W., Zhang, X. & Suthaputchakun, C., 1/10/2019, In: IEEE MultiMedia. 26, 4, p. 55-66 12 p.

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

  31. Published

    Electric Vehicle Charging Reservation Under Preemptive Service

    Cao, Y., Liu, S., He, Z., Dai, X., Xie, X., Wang, R. & Yu, S., 30/09/2019, IEEE International Conference on Industrial Artificial Intelligence (IAI) Proceedings 2019. IEEE, 6 p.

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

  32. Published

    Guest Editorial Special Issue on Toward Securing Internet of Connected Vehicles (IoV) from Virtual Vehicle Hijacking

    Cao, Y., Kaiwartya, O., Ergen, S. C., Song, H., Lloret, J. & Ahmad, N., 1/08/2019, In: IEEE Internet of Things Journal. 6, 4, p. 5866-5869 4 p.

    Research output: Contribution to Journal/Magazine › Editorial

  33. Published

    Delay Tolerant Network Routing

    Cao, Y., 15/01/2020, Encyclopedia of Wireless Networks. Shen, X., Lin, X. & Zhang, K. (eds.). Cham: Springer, 5 p.

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

  34. Published

    A novel form of a pointing device

    Cantzler, H. & Hoile, C., 2003, p. 57-62. 6 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  54. Published

    Corecursion for Compositional Verification

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

    Research output: Other contribution

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

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

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

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

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

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

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

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

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

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

  65. Published

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

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

    Research output: Thesis › Doctoral Thesis

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  97. Unpublished

    Using AOP to Customize a Reflective Middleware

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

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

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

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

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

Previous 1...86 87 88 89 90 91 92 93 ...106 Next

Back to top