For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 35 - Music, Drama, Dance and Performing Arts » View submission: University of Kent » Outputs

Outputs (REF2)

35 - Music, Drama, Dance and Performing Arts

University of Kent

First <
1 2 3
> Last
Showing outputs 51 - 100 of 123
Output title
Exploring the Effects of Space and Place on Engagement with an ...
Output type
E - Conference contribution
Volume title
CHI '13 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
DOI
10.1145/2470654.2481306
Output title
Exploring uncertainty in geodemographics with interactive gr ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2011.197
Output title
Fast Relational Learning using Bottom Clause Propositionalization ...
Output type
D - Journal article
Volume title
Machine Learning
Year
2013
DOI
10.1007/s10994-013-5392-1
Output title
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation ...
Output type
D - Journal article
Volume title
IEEE Trans. Circuits and Systems
Year
2010
DOI
10.1109/TCSI.2009.2035418
Output title
From Agent Game Protocols to Implementable Roles
Output type
E - Conference contribution
Volume title
Sixth European Workshop on Multi-Agent Systems - EUMAS
Year
2008
DOI
Output title
From Exponential to Polynomial-Time Security Typing via Principal ...
Output type
E - Conference contribution
Volume title
Proceedings 20th European Symposium on Programming (ESOP 2011), Lecture Notes in Computer Science, Saarbruecken, Germany, March 2011. Springer-Verlag
Year
2011
DOI
10.1007/978-3-642-19718-5_16
Output title
How to discriminate between computer-aided and computer-hindered ...
Output type
D - Journal article
Volume title
Medical Decision Making
Year
2013
DOI
10.1177/0272989X12465490
Output title
How to Nudge in Situ: Designing Lambent Devices to Deliver Salient ...
Output type
E - Conference contribution
Volume title
UbiComp '11 Proceedings of the 13th international conference on Ubiquitous computing
Year
2011
DOI
10.1145/2030112.2030115
Output title
Human-centered approaches in geovisualization design: investigating ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2011.209
Output title
Identifying Place Histories from Activity Traces with an Eye ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2011.153
Output title
Improving Placeholders in Digital Documents
Output type
E - Conference contribution
Volume title
Proceedings of the 12th European Conference, ECDL 2008
Year
2008
DOI
10.1007/978-3-540-87599-4_1
Output title
Integrating Scale Out and Fault Tolerance in Stream Processing ...
Output type
E - Conference contribution
Volume title
ACM International Conference on Management of Data (SIGMOD), 2013.
Year
2013
DOI
10.1145/2463676.2465282
Output title
Interacting Meaningfully with Machine Learning Systems: Three ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2009
DOI
10.1016/j.ijhcs.2009.03.004
Output title
Inventing Requirements from Software: An Empirical Investigation ...
Output type
E - Conference contribution
Volume title
RE'08
Year
2008
DOI
10.1109/RE.2008.39
Output title
Joint Multi-Pitch Detection Using Harmonic Envelope Estimation ...
Output type
D - Journal article
Volume title
IEEE Journal of Selected Topics in Signal Processing
Year
2011
DOI
10.1109/JSTSP.2011.2162394
Output title
Just forget it: The semantics and enforcement of information ...
Output type
E - Conference contribution
Volume title
Proceedings 17th European Symposium on Programming (ESOP'08), volume 4960 of Lecture Notes in Computer Science, Budapest, Hungary, March 2008. Springer-Verlag
Year
2008
DOI
10.1007/978-3-540-78739-6_19
Output title
Keep in touch: channel, expectation and experience
Output type
E - Conference contribution
Volume title
CHI 2012: Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2207697
Output title
Learning and Representing Temporal Knowledge in Recurrent Ne ...
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2011
DOI
10.1109/TNN.2011.217018
Output title
LIDF: Layered Intrusion Detection Framework in Ad Hoc Networ ...
Output type
D - Journal article
Volume title
Ad Hoc Networks
Year
2009
DOI
10.1016/j.adhoc.2008.01.001
Output title
Logahedra: a New Weakly Relational Domain
Output type
E - Conference contribution
Volume title
Automated Technology for Verification and Analysis. Lecture Notes in Computer Science
Year
2009
DOI
10.1007/978-3-642-04761-9_23
Output title
Measures and Mechanisms for Process Monitoring in Evolving Business ...
Output type
D - Journal article
Volume title
Data & Knowledge Engineering
Year
2012
DOI
10.1016/j.datak.2011.07.004
Output title
Metazoa Ludens: Mixed-Reality Interaction and Play for Small ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans
Year
2011
DOI
10.1109/TSMCA.2011.2108998
Output title
MusicJacket - Combining Motion Capture and Vibrotactile Feedback ...
Output type
D - Journal article
Volume title
IEEE Transactions on Instrumentation and Measurement
Year
2011
DOI
10.1109/TIM.2010.2065770
Output title
NAVI: Novel Authentication with Visual Information
Output type
E - Conference contribution
Volume title
17th IEEE Symposium on Computers and Communications (ISCC)
Year
2012
DOI
10.1109/ISCC.2012.6249360
Output title
Neural-Symbolic Cognitive Reasoning
Output type
A - Authored book
Volume title
Year
2009
DOI
Output title
Non-interference for deterministic interactive programs
Output type
E - Conference contribution
Volume title
Proceedings 5th International Workshop on Formal Aspects in Security and Trust (FAST2008), Lecture Notes in Computer Science, Malaga, Spain, October 2008. Springer-Verlag
Year
2009
DOI
10.1007/978-3-642-01465-9_4
Output title
Optimized Cross-Organizational Business Process Monitoring: Design ...
Output type
D - Journal article
Volume title
Information Sciences
Year
2013
DOI
10.1016/j.ins.2013.04.036
Output title
Parametric datatype genericity
Output type
E - Conference contribution
Volume title
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Year
2009
DOI
10.1145/1596614.1596626
Output title
PKI security in large-scale healthcare networks.
Output type
D - Journal article
Volume title
Journal of Medical Systems
Year
2012
DOI
10.1007/s10916-010-9573-1
Output title
Polyhedral Analysis using Parametric Objectives
Output type
E - Conference contribution
Volume title
Static Analysis Symposium. Lecture Notes in Computer Science (ARCoSS)
Year
2012
DOI
10.1007/978-3-642-33125-1_6
Output title
Pricing the quality of differentiated services for media oriented ...
Output type
D - Journal article
Volume title
Computer Networks
Year
2008
DOI
10.1016/j.comnet.2008.09.003
Output title
Proactive and Reactive Runtime Service Discovery: A Framework ...
Output type
D - Journal article
Volume title
IEEE Transactions in Software Engineering
Year
2013
DOI
10.1109/TSE.2012.84
Output title
Probability of love between robots and humans
Output type
E - Conference contribution
Volume title
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Year
2010
DOI
10.1109/IROS.2010.5650886
Output title
Proofs for Free: parametricity for dependent types
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2012
DOI
10.1017/S0956796812000056
Output title
Quadtrees as an Abstract Domain
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2010
DOI
10.1016/j.entcs.2010.09.008
Output title
Reasoning about the Reliability Of Diverse Two-Channel Systems ...
Output type
D - Journal article
Volume title
IEEE Transactions in Software Engineering
Year
2012
DOI
10.1109/TSE.2011.80
Output title
Registration of the endoluminal surfaces of the colon derived ...
Output type
D - Journal article
Volume title
Medical Physics
Year
2011
DOI
10.1118/1.3577603
Output title
Representative Factor Generation for the Interactive Visual Analysis ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.256
Output title
Requirements Engineering as Creative Problem-Solving: A Research ...
Output type
E - Conference contribution
Volume title
Proceedings 18th IEEE International Requirements Engineering Conference
Year
2010
DOI
10.1109/RE.2010.16
Output title
Rethinking Map Legends with Visualization
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
DOI
10.1109/TVCG.2010.191
Output title
Scalable Analysis of Movement Data for Extracting and Exploring ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
DOI
10.1109/TVCG.2012.311
Output title
Secure and Trusted Communications in Emergency Situations
Output type
E - Conference contribution
Volume title
35th IEEE SARNOFF Symposium
Year
2012
DOI
10.1109/SARNOF.2012.6222751
Output title
Self-Adaptive and Self-Configured CPU Resource Provisioning for ...
Output type
E - Conference contribution
Volume title
ACM International Conference on Autonomic Computing (ICAC), 2009.
Year
2009
DOI
10.1145/1555228.1555261
Output title
Shape-based computer-aided detection of lung nodules in thoracic ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2009
DOI
10.1109/TBME.2009.2017027
Output title
Simple and Fast Calculation of Second Order Gradients for Globalized ...
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks and Learning Systems
Year
2012
DOI
10.1109/TNNLS.2012.2205268
Output title
Sketchy Rendering for Information Visualization
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.262
Output title
Space-in-Time and Time-in-Space Self-Organizing Maps for Exploring ...
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2010
DOI
10.1111/j.1467-8659.2009.01664.x
Output title
Spatial Generalization and Aggregation of Massive Movement D ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
DOI
10.1109/TVCG.2010.44
Output title
Spatially ordered treemaps
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008
DOI
10.1109/TVCG.2008.165
Output title
SQPR: Stream Query Planning with Reuse
Output type
E - Conference contribution
Volume title
IEEE International Conference on Data Engineering (ICDE), 2011.
Year
2011
DOI
10.1109/ICDE.2011.5767851
First <
1 2 3
> Last
Showing outputs 51 - 100 of 123