Computing and Communications

View graph of relations

Faculty of Science and Technology

Show 12 centres, groups and clusters

Hide 12 centres, groups and clusters

6601 - 6700 out of 9,881Page size: 100

10
25
50
100
500

RSS feed of this list

Sort by: Author last name

Published
Multichannel Touch Sensors
Oppenheim, M., 01/2010, In: Circuit Cellar - The Magazine For Computer Applications. 1, 234, p. 46-53 8 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Speech and touch enhanced interface for visually impaired users
Oppenheim, M., 3/09/2013, In: Journal of Assistive Technologies. 7, 3, p. 149-159 11 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
HeadBanger: tracking head position as a controller
Oppenheim, M. & Sly, Z., 08/2014, In: Communication Matters. 28, 2, p. 34-36 3 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
PVDF phased-array analog front end
Oppenheim, M., 11/2010, In: Circuit Cellar - The Magazine For Computer Applications. 244, p. 20-25 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Audio-enhanced touch sensors
Oppenheim, M., 05/2012, In: Circuit Cellar - The Magazine For Computer Applications. 262, p. 20-29 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A palaeointensity study of lower carboniferous transitional geomagnetic field directions: the Cockermouth lavas, northern England
Oppenheim, M., Piper, J. & Rolph, T., 01/1994, In: Physics of the Earth and Planetary Interiors. 82, 1, p. 65-74 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
HeadBanger: controlling switchable software with head gesture
Oppenheim, M. J., 10/03/2016, In: Journal of Assistive Technologies. 10, 1, p. 2-10 9 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Full Stack Python: Micropython and Python for rapid embedded hardware and GUI development
Oppenheim, M., 28/02/2017, In: Circuit Cellar - The Magazine For Computer Applications. 1, 319, p. 17-25 9 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
HandShake – Using Hand Motion Recognition to Enable Communication
Oppenheim, M. & McIntyre, F., 30/04/2020, In: Communication Matters. 34, 1, p. 19-21 3 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Give Me a Minute – visual indication of message creation
Oppenheim, M. & McIntyre, F., 30/11/2019, In: Communication Matters. 33, 3, p. 35-36 2 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Using the BBC micro:bit as AAC – Three Solutions
Oppenheim, M., 30/11/2020, In: Communication Matters. 34, 3, p. 13-15 3 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Devices Aid Speech for People with Disabilities
Oppenheim, M., 21/06/2021, In: Circuit Cellar - The Magazine For Computer Applications. 1, 372, p. 30-37 8 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A Versatile Assistive Technology Interface
Oppenheim, M. & Hodges, S., 1/09/2023, In: Circuit Cellar. 1, 398, p. 24-29 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Create 3D Models of Components and Board Outlines in KiCad: Using the CadQuery Library for Python
Oppenheim, M., 1/03/2024, In: Circuit Cellar. 1, 404, p. 4-9 6 p., 1.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Building and Restructuring Social Media Platforms for Non-Binary Users: Pilot Survey of Non-Binary Social Media Users
O'Reilly-Kime, M., 19/09/2023, ECCE '23: Proceedings of the European Conference on Cognitive Ergonomics 2023. New York: ACM, p. 11:1-11:3 3 p. 28
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Doing ethnography and experiments together to explore collaborative photograph handling.
Ormerod, T. C., Morley, N., Mariani, J., Lewis, K., Hitch, G., Mathrick, J. & Rodden, T., 09/2004, In: Design For Life. 2, p. 81-84 4 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Mixing Research Methods in HCI: Ethnography Meets Experimentation in Image Browser Design.
Ormerod, T. C., Mariani, J., Moreley, N. J., Rodden, T., Crabtree, A., Mathrick, J., Hitch, G. & Lewis, K., 2004, Hamburg, Germany, 16 p.
Research output: Working paper
Published
Desperado: three-in-one indexing for innovative design
Ormerod, T. C., Mariani, J., Ball, L. J. & Lambell, N., 1999. 10 p.
Research output: Contribution to conference - Without ISBN/ISSN › Other
Published
HCI and Creative Problem-Solving at Lancaster
Ormerod, T., Ball, L., Dix, A. & Sas, C., 2007, BCS-HCI '07 21st British HCI Group Annual Conference on People and Computers. BCS, p. 191-192 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
BGPStream: A software framework for live and historical BGP data analysis
Orsini, C., King, A., Giordano, D., Giotsas, V. & Dainotti, A., 14/11/2016, IMC '16 Proceedings of the 2016 Internet Measurement Conference. New York: Association for Computing Machinery, Inc, p. 429-444 16 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Mining communication patterns in software development: A GitHub analysis
Ortu, M., Hall, T., Marchesi, M., Tonelli, R., Bowes, D. & Destefanis, G., 10/10/2018, PROMISE'18 Proceedings of the 14th International Conference on Predictive Models and Data Analytics in Software Engineering. New York: ACM, p. 70-79 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Angry-Builds: An empirical study of affect metrics and builds success on GitHub ecosystem
Ortu, M., Pinna, A., Tonelli, R., Marchesi, M., Bowes, D. & Destefanis, G., 21/05/2018, XP '18: Proceedings of the 19th International Conference on Agile Software Development: Companion. New York: Association for Computing Machinery (ACM), 2 p. a35
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Fault-insertion and fault-fixing behavioural patterns in Apache Software Foundation Projects
Ortu, M., Destefanis, G., Hall, T. & Bowes, D., 30/06/2023, In: Information and Software Technology. 158, 21 p., 107187.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Sociomateriality and design
Østerlund, C., Bjørn, P., Dourish, P., Harper, R. & Rosner, D. K., 14/03/2015, CSCW'15 Companion Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing. New York: ACM, p. 126-130 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
E-pub ahead of print
OFLOPS-SUME and the art of switch characterization
Oudin, R., Antichi, G., Rotsos, C., Moore, A. W. & Uhlig, S., 27/09/2018, (E-pub ahead of print) In: IEEE Journal on Selected Areas in Communications. 9 p.
Research output: Contribution to Journal/Magazine › Special issue › peer-review
Published
An approach for modeling and ranking node-level stragglers in cloud datacenters
Ouyang, X., Garraghan, P., Wang, C., Townend, P. & Xu, J., 1/09/2016, 2016 IEEE International Conference on Services Computing (SCC) . IEEE, p. 673-680 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Reducing late-timing failure at scale: straggler root-cause analysis in cloud datacenters
Ouyang, X., Garraghan, P., Yang, R., Townend, P. & Xu, J., 18/08/2016. 2 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Straggler detection in parallel computing systems through dynamic threshold calculation
Ouyang, X., Garraghan, P., McKee, D., Townend, P. & Xu, J., 23/05/2016, 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA) . IEEE, p. 414-421 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Adaptive Speculation for Efﬁcient Internetware Application Execution in Clouds
Ouyang, X., Garraghan, P., Primas, B., McKee, D., Townend, P. & Xu, J., 01/2018, In: ACM Transactions on Internet Technology. 18, 2, 22 p., 15.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Persistent enhancement of the HF pump-induced plasma line measured with a UHF diagnostic radar at HAARP
Oyama, S., Watkins, B. J., Djuth, F. T., Kosch, M. J., Bernhardt, P. A. & Heinselman, C. J., 06/2006, In: Journal of Geophysical Research. 111, A6, p. A06309
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Unpublished
Term Extraction for Automatic Abstracting
Paice, C. & Oakes, M. P., 01/1998, (Unpublished)
Research output: Other contribution
Unpublished
Evaluation of an Automatic Abstracting System
Paice, C. & Oakes, M. P., 01/1998, (Unpublished).
Research output: Contribution to conference - Without ISBN/ISSN › Other
Unpublished
The Automatic Generation of Templates for Automatic Abstracting
Paice, C. & Oakes, M. P., 04/1999, (Unpublished)
Research output: Other contribution
Unpublished
A three-pronged approach to the extraction of key terms and semantic roles
Paice, C. & Black, W. J., 09/2003, (Unpublished)
Research output: Other contribution
Published
Trust-based specification of sociotechnical systems
Paja, E., Chopra, A. K. & Giorgini, P., 2013, In: Data and Knowledge Engineering.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Tending a virtual garden: exploring connectivity between cities
Pakanen, M., Polli, A. M., Lee, S., Lindley, J. & Goncalves, J., 2013, UbiComp Adjunct '13. New York: Association for Computing Machinery (ACM), p. 761-764 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Human values and digital citizen science interactions
Palacin, V., Ferrario, M. A., Hsieh, G., Knutas, A., Wolff, A. & Porras, J., 1/05/2021, In: International Journal of Human-Computer Studies. 149, 14 p., 102605.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Translational Decoding for Adaptive Trellis Coded Modulation
Palacios, L., Edwards, R. & Honary, B., 07/2001, Proceedings of the 6th International Symposium on Communication Theory and Applications. Lancaster: HW Communications Limited, p. 164–168 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
En-face analysis of the human limbal lymphatic vasculature
Palme, C., Ahmad, S., Romano, V., Seifarth, C., Williams, B., Parekh, M., Kaye, S. B. & Steger, B., 31/12/2020, In: Experimental Eye Research. 201, 5 p., 108278.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A comparison of MANET emulation techniques for the production of a realistic testbed with global communication capabilities
Palmer, W., McCarthy, B. & Edwards, C., 04/2009, Wireless Telecommunications Symposium, 2009. WTS 2009. IEEE, p. 1-8 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Machiavelli as a poker mate: a naturalistic behavioural study on strategic deception
Palomäki, J., Yan, J. & Laakasuo, M., 08/2016, In: Personality and Individual Differences. 98, p. 266-271 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
"To bluff like a man or fold like a girl?": gender biased deceptive behavior in online poker
Palomäki, J., Yan, J., Modic, D. & Laakasuo, M., 6/07/2016, In: PLoS ONE. 11, 7, 13 p., e0157838.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
On Secrecy Performance of MISO SWIPT Systems With TAS and Imperfect CSI
Pan, G., Lei, H., Deng, Y., Fan, L., Yang, J., Chen, Y. & Ding, Z., 09/2016, In: IEEE Transactions on Communications. 64, 9, p. 3831-3843 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
3-D Hybrid VLC-RF Indoor IoT Systems with Light Energy Harvesting
Pan, G., Lei, H., Ding, Z. & Ni, Q., 1/09/2019, In: IEEE Transactions on Green Communications and Networking. 3, 3, p. 853 - 865 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
GradAuto: Energy-oriented Attack on Dynamic Neural Networks
Pan, J., Zheng, Q., Fan, Z., Rahmani, H., Ke, Q. & Liu, J., 28/10/2022, European Conference on Computer Vision (ECCV). Avidan, S., Brostow, G., Cissé, M., Farinella, G. M. & Hassner, T. (eds.). Springer, p. 637-653 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13664).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Vector-valued Privacy-Preserving Average Consensus
Pan, L., Shao, H., Lu, Y., Mesbahi, M., Li, D. & Xi, Y., 22/09/2022, In: arXiv.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
GradMDM: Adversarial Attack on Dynamic Networks
Pan, J., Foo, L. G., Zheng, Q., Fan, Z., Rahmani, H., Ke, Q. & Liu, J., 1/09/2023, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 45, 9, p. 11374-11381 8 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Progressive Channel-Shrinking Network
Pan, J., Yang, S., Foo, L. G., Ke, Q., Rahmani, H., Fan, Z. & Liu, J., 1/02/2024, In: IEEE Transactions on Multimedia. 26, p. 2016-2026 11 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Performance evaluation of smart metering infrastructure using simulation tool
Panchadcharam, S., Taylor, G. A., Ni, Q., Pisica, I. & Fateri, S., 2012, Universities Power Engineering Conference (UPEC), 2012 47th International. London: IEEE, p. 1-6 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Evaluation of Throughput and Latency Performance for Medium Voltage and Low Voltage Communication Infrastructures
Panchadcharam, S., Ni, Q., Taylor, GA., Irving, MR., Gershinsky, G., Lewin-Eytan, L. & Shagin, K., 2011, Universities' Power Engineering Conference (UPEC), Proceedings of 2011 46th International. Soest, Germany: IEEE, p. 1-6 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Evaluation of QoS Parameters for Real-time Rich Media Applications Using a Test-bed Implementation
Panchadcharam, S., Ni, Q. & Taylor, G. A., 2010, Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on. IEEE, p. 343-348 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Test suit generation for object oriented programs: A hybrid firefly and differential evolution approach
Panda, M., Dash, S., Nayyar, A., Bilal, M. & Mehmood, R. M., 2020, In: IEEE Access. 8, p. 179167-179188 22 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Novel Class Detection Using Hybrid Ensemble
PANDIT, DIPTANGSHU., ZHANG, LI., MISTRY, KAMLESH. & JIANG, RICHARD., 2/12/2020, 2020 International Conference on Machine Learning and Cybernetics (ICMLC). IEEE, p. 267-272 6 p. 9469587. (Proceedings - International Conference on Machine Learning and Cybernetics; vol. 2020-December).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Low-complexity decoding of LDPC codes
Pandya, N. & Honary, B., 08/2007, In: Electronics Letters. 43, 18, p. 990-991 2 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Variable-Rate Capacity-Approaching LDPC Codes for HF Communications
Pandya, N. & Honary, B., 07/2006, The 10th Institution of Engineering and Technology International Conference on Ionospheric Radio Systems & Techniques (IRST 2006). London, UK : IET Press, p. 123-127 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Variable-Rate LDPC Codes based on structured matrices for DVB-S2 Applications
Pandya, N. & Honary, B., 07/2005, 8th International Symposium on Communication Theory and Applications. Lancaster: HW Communications Limited, p. 368-373 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Development of Well-Structured Variable-Rate Quasi-Cyclic LDPC codes
Pandya, N., Moinian, A. & Honary, B., 12/2004, First International Symposium on Broadband Communications. Harrogate, p. 39-40 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Variable-Rate Low-Density Parity Check Codes For DVB-S2 Applications
Pandya, N. & Honary, B., 4/12/2006, IET Seminar on Digital Video Broadcasting over Satellite: Present and Future. London: IET Press, p. 15-19 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Separating Interaction Concerns from Distributed Feature Components
Pang, J. & Blair, L., 01/2003. 8 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper
Published
Reﬁning Feature Driven Development: A Methodology For Early Aspects
Pang, J. & Blair, L., 2004, Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design. Tekinerdogan, B., Clements, P., Moreira, A. & Araujo, J. (eds.). p. 86-91 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features.
Pang, J. & Blair, L., 2002, Distributed Computing Systems Workshops, 2002. Proceedings. 22nd International Conference on. IEEE, Vol. 2. p. 445-450 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Identification of benzo[a]pyrene-induced cell cycle-associated alterations in MCF-7 cells using infrared spectroscopy with computational analysis
Pang, W., Li, J., Ahmadzai, A. A., Heppenstall, L. D., Llabjani, V., Trevisan, J., Qiu, X. & Martin, F. L., 16/08/2012, In: Toxicology. 298, 1-3, p. 24-29 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
AURA framework for designing effective accessible websites
Paolini, P., Rubegni, E., Terragni, A. & Vaghi, S., 2010, 2010 IEEE International Professional Comunication Conference. IEEE, p. 199-202 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Scenarios and use cases in Tweether: W-band for Internet Everywhere
Paoloni, C., Letizia, R., Ni, Q., Krozer, V., Andre, F., Magne, F., Marilier, M., Zimmerman, R., Ramirez, A., Vilar, R. & Burciu, I., 2015.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Horizon 2020 TWEETHER project for W-band high data rate wireless communications
Paoloni, C., Letizia, R., Napoli, F., Ni, Q., Rennie, A., Zimmerman, R., Andre, F., Pham, K., Krozer, V., Magne, F., Burciu, I., Ramirez, A., Rocchi, M., Marilier, M. & Vilar, R., 2015, Vacuum Electronics Conference (IVEC), 2015 IEEE International . IEEE, 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Long range millimeter wave wireless links enabled by traveling wave tubes and resonant tunnelling diodes
Paoloni, C., Basu, R., Billa, L., Mahadev Rao, J., Letizia, R., Ni, Q., Wasige, E., Al-Khalidi, A. & Wang, J., 27/02/2020, 2019 12th UK-Europe-China Workshop on Millimeter Waves and Terahertz Technologies (UCMMT). IEEE, p. 1-3 3 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Long-range millimetre wave wireless links enabled by travelling wave tubes and resonant tunnelling diodes
Paoloni, C., Basu, R., Billa, L., Mahadev Rao, J., Letizia, R., Ni, Q., Wasige, E., Al-Khalidi, A., Wang, J. & Morariu, R., 30/11/2020, In: IET Microwaves, Antennas and Propagation. 14, 15, p. 2110 - 2114 5 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Bringing Semantic Services to Real World Objects
Paolucci, M., Broll, G., Hamard, J., Rukzio, E., Wagner, M. & Schmidt, A., 2008, In: International Journal on Semantic Web and Information Systems.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Efficient Local Reductions to Basic Modal Logic
Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 7/07/2021, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Cham: Springer, p. 76-92 17 p. (Lecture Notes in Computer Science ; vol. 12699).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A Van Benthem Theorem for Horn Description and Modal Logic
Papacchini, F. & Wolter, F., 2018, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Minimal model reasoning for modal logic
Papacchini, F., 2015, University of Manchester. 170 p.
Research output: Thesis › Doctoral Thesis
Published
Terminating Minimal Model Generation Procedures for Propositional Modal Logics
Papacchini, F. & Schmidt, R. A., 22/07/2014, Automated Reasoning - 7th International Joint Conference, IJCAR . Cham: Springer, Vol. 8562. p. 381-395 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Computing Minimal Models Modulo Subset-Simulation for Modal Logics
Papacchini, F. & Schmidt, R. A., 18/09/2013, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer, Vol. 8152. p. 279-294 16 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A Tableau Calculus for Minimal Modal Model Generation
Papacchini, F. & Schmidt, R. A., 3/11/2011, In: Electronic Notes in Theoretical Computer Science. 278, p. 159-172 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Local is Best: Efficient Reductions to Modal Logic K
Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A model for active object coordination and its use for distributed multimedia applications
Papathomas, M., Blair, G. & Coulson, G., 1994, Object-based models and languages for concurrent systems. Berlin: Springer Verlag, p. 162-175 14 p. (Lecture Notes in Computer Science; vol. 924).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Addressing the real-time synchronization requirements of multimedia in an object-oriented framework
PAPATHOMAS, M., Blair, G., COULSON, G. & ROBIN, P., 1995, Multimedia Computing and Networking 1995. Rodriguez, A. A. & Maitan, J. (eds.). Bellingham, Wash.: SPIE - INT SOC OPTICAL ENGINEERING, p. 190-201 12 p. (Proceedings; vol. 2417).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Extraction of multi-word units from EFL and native English corpora: the phraseology of the verb 'make'
Paquot, M., Granger, S., Rayson, P. & Fairon, C., 08/2004.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Guest editors' introduction: smart energy systems
Paradiso, J., Dutta, P., Gellersen, H. & Schooler, E., 01/2011, In: IEEE Pervasive Computing. 10, 1, p. 11-12 2 p.
Research output: Contribution to Journal/Magazine › Editorial › peer-review
Published
The Futures of Computing and Wisdom
Pargman, D., Kirman, B., Eriksson, E., Bates, O. & Comber, R., 29/09/2018, NORDICHI'18: PROCEEDINGS OF THE 10TH NORDIC CONFERENCE ON HUMAN-COMPUTER INTERACTION. New York: ASSOC COMPUTING MACHINERY, p. 960-963 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The Future of Computing and Wisdom: Insights from Human-Computer Interaction
Pargman, D., Eriksson, E., Bates, O., Kirman, B., Comber, R., Hedman, A. & van den Broeck, M., 1/10/2019, In: Futures. 113, 10 p., 102434.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Locating car license plates using neural networks
Park, S. H., Kim, K. I., Jung, K. & Kim, H. J., 1999, In: Electronics Letters. 35, 17, p. 1475-1477 3 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Celebratory health technology
Parker, A. G., Harper, R. & Grinter, R. E., 2011, In: Journal of Diabetes Science and Technology. 5, 2, p. 319-324 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Unpublished
Computer-assisted dance teaching via multiple representations
Parkes, A. & Kolleros, L., 11/2002, (Unpublished)
Research output: Other contribution
Published
Interhemispheric asymmetries in the occurrence of magnetically conjugate sub-auroral polarisation streams
Parkinson, M. L., Pinnock, M., Wild, J. A., Lester, M., Yeoman, T. K., Milan, S. E., Ye, H., Devlin, J. C., Dyson, P. L. & Kikuchi, T., 06/2005, In: Annales Geophysicae. 23, 4, p. 1371-1390 20 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
An auroral westward flow channel (AWFC) and its relationship to field-aligned current, ring current, and plasmapause location determined using multiple spacecraft observations
Parkinson, M. L., Wild, J. A., Waters, C. L., Lester, M., Lucek, E. & Décréau, P. M. E., 02/2007, In: Annales Geophysicae. 25, 1, p. 59-76 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Unpublished
The Role of Reflective Middleware in Supporting the Engineering of Complex Applications
Parlavantzas, N., Saikoski, K., Blair, G. S., Coulson, G. & Duran, H., 11/1999, (Unpublished)
Research output: Other contribution
Unpublished
Applying Component Frameworks to Develop Flexible Middleware
Parlavantzas, N., Coulson, G. & Blair, G. S., 04/2000, (Unpublished).
Research output: Contribution to conference - Without ISBN/ISSN › Other
Unpublished
Towards a Reflective Component-Based Middleware Architecture
Parlavantzas, N., Coulson, G., Blair, G. S. & Clarke, M., 06/2000, (Unpublished).
Research output: Contribution to conference - Without ISBN/ISSN › Other
Unpublished
A resource adaptation framework for reflective middleware
Parlavantzas, N., Blair, G. S. & Coulson, G., 06/2003, (Unpublished)
Research output: Other contribution
Published
Designing and Constructing Modifiable Middleware using Component Frameworks
Parlavantzas, N. & Coulson, G., 08/2007, In: IET Software. 1, 4, p. 113-126 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
An extensible binding framework for component-based middleware
Parlavantzas, N., Coulson, G. & Blair, G., 2003, 7th IEEE International Enterprise Distributed Object Computing Conference, Proceedings. Los Alamitos: IEEE COMPUTER SOC, p. 252-263 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An architectural pattern for designing component-based application frameworks
Parsons, D., Rashid, A., Telea, A. & Speck, A., 2006, In: Software: Practice and Experience. 36, 2, p. 157-190 34 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A “framework” for object oriented frameworks design
Parsons, D., Rashid, A., Speck, A. & Telea, A., 1999, Technology of Object-Oriented Languages and Systems, 1999. Proceedings of. Washington, DC, USA: IEEE Computer Society, p. 141-151 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Middleware for distributed multimedia (panel): need a new direction?
Parulkar, G., Rowe, L. A., Hutchison, D., Walpole, J. & Yavatkar, R., 1997, MULTIMEDIA '97: Proceedings of the fifth ACM international conference on Multimedia. New York: ACM, p. 347 1 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Anytime anywhere learning pilot programme: a Microsoft UK supported programme in 28 pilot schools
Passey, D., Steadman, S., Forsyth, K., Hutchison, D. & Scott, A., 1999, Reading: Microsoft UK, 16 p.
Research output: Working paper
Published
Anytime, Anywhere Learning Pilot Programme: A Microsoft UK Supported Programme in 28 Pilot Schools – End of First Phase Implementation (September 1998 – December 1999) Summary Report.
Passey, D., Hutchinson, D., Scott, A., Steadman, S. & Forsyth, K., 2000, Reading: Microsoft UK.
Research output: Book/Report/Proceedings › Book
Published
Summary: Group D - Home-School Links.
Passey, D., Forsyth, K., Hutchison, D., Scott, A. & Williams, N., 1997, Preparing for the Information Age: Synoptic Report of the Education Departments' Superhighways Initiative. London, Cardiff, Belfast and Edinburgh: Welsh Office, Department of Education Northern Ireland, The Scottish Office and Department for Education and Employment, 101 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Comparação de modelos acústicos usando HTK e o corpus Spoltech para o português brasileiro
Passos, Y. T., Pimentel Filho, C. A. F., Bispo, U. M. C. & Matos, L. N., 10/2009, Proceedings of the XV Brazilian Symposium on Multimedia and the Web. New York, NY, USA: Association for Computing Machinery (ACM), p. 1-4 4 p. 37. (WebMedia ’09).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the Throughput of the Common Target Area for Robotic Swarm Strategies
Passos, Y. T., Duquesne, X. & Soriano Marcolino, L., 16/07/2022, In: Mathematics. 10, 14, 2482.
Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...63 64 65 66 67 68 69 70 ...99 Next

Research

Computing and Communications

Quick Links

Connect With Us