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: Birmingham City University » Outputs

Outputs (REF2)

35 - Music, Drama, Dance and Performing Arts

Birmingham City University

1 2
> Last
Showing outputs 1 - 50 of 73
Output title
A Categorical Semantics for Inductive-Inductive Definitions
Output type
E - Conference contribution
Volume title
Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
Year
2011
DOI
10.1007/978-3-642-22944-2_6
Output title
Active Contouring Based on Gradient Vector Interaction and Constrained ...
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2010
DOI
10.1109/TIP.2009.2032891
Output title
An agile approach to language modelling and development
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2010
DOI
10.1007/s11334-009-0111-6
Output title
An Empirical Study on Using Visual Embellishments in Visuali ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.197
Output title
Angular Histograms: Frequency-Based Visualizations for Large, ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2011.166
Output title
Animation, Small Multiples, and the Effect of Mental Map Preservation ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2010.78
Output title
Automatic Bootstrapping and Tracking of Object Contours
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2012
DOI
10.1109/TIP.2011.2167343
Output title
Automatic Generation of 3D Caricatures Based on Artistic Deformation ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2010.76
Output title
Axiomatizing physical experiments as oracles to algorithms
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2012
DOI
10.1098/rsta.2011.0427
Output title
Canonical effective subalgebras of classical algebras as constructive ...
Output type
D - Journal article
Volume title
Journal of Universal Computer Science
Year
2010
DOI
10.3217/jucs-016-18-2496
Output title
Characterising definable search problems in bounded arithmetic ...
Output type
C - Chapter in book
Volume title
Ways of Proof Theory
Year
2010
DOI
10.1515/9783110324907.65
Output title
Compositional Modelling and Reasoning in an Institution for Processes ...
Output type
E - Conference contribution
Volume title
Recent Trends in Algebraic Development Techniques
Year
2012
DOI
10.1007/978-3-642-28412-0_16
Output title
Computational complexity with experiments as oracles
Output type
D - Journal article
Volume title
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2008
DOI
10.1098/rspa.2008.0085
Output title
Constraint satisfaction problems in clausal form I: Autarkies ...
Output type
D - Journal article
Volume title
Fundamenta Informaticae
Year
2011
DOI
10.3233/FI-2011-428
Output title
Copatterns: programming infinite structures by observations
Output type
E - Conference contribution
Volume title
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2013
DOI
10.1145/2429069.2429075
Output title
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Output type
E - Conference contribution
Volume title
Hardware and Software: Verification and Testing
Year
2011
DOI
10.1007/978-3-642-34188-5_8
Output title
Defining and Model Checking Abstractions of Complex Railway Models ...
Output type
E - Conference contribution
Volume title
Hardware and Software: Verification and Testing. 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers.
Year
2013
DOI
10.1007/978-3-642-39611-3_20
Output title
Domain representations of spaces of compact subsets
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2010
DOI
10.1017/S096012950999034X
Output title
Empathy, participatory design and people with dementia
Output type
E - Conference contribution
Volume title
CHI 2012: 30th ACM Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2207749
Output title
Evaluating the impact of task demands and block resolution on ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
DOI
10.1109/TVCG.2010.150
Output title
From coinductive proofs to exact real arithmetic: theory and ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
10.2168/LMCS-7(1:8)2011
Output title
From Web Data to Visualization via Ontology Mapping
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2008
DOI
10.1111/j.1467-8659.2008.01230.x
Output title
Generalising Unit-Refutation Completeness and SLUR via Nested ...
Output type
D - Journal article
Volume title
Journal of Automated Reasoning
Year
2013
DOI
10.1007/s10817-013-9275-8
Output title
Geometrically Induced Force Interaction for Three-Dimensional ...
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2011
DOI
10.1109/TIP.2010.2092434
Output title
GrouseFlocks: Steerable Exploration of Graph Hierarchy Space
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008
DOI
10.1109/TVCG.2008.34
Output title
Interval Domains and Computable Sequences: A Case Study of Domain ...
Output type
D - Journal article
Volume title
The Computer Journal
Year
2013
DOI
10.1093/comjnl/bxs121
Output title
Into the Blue: Better Caustics through Photon Relaxation
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2009
DOI
10.1111/j.1467-8659.2009.01371.x
Output title
Limits to measurement in experiments governed by algorithms
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2010
DOI
10.1017/S0960129510000356
Output title
Meadows and the equational specification of division
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2009
DOI
10.1016/j.tcs.2008.12.015
Output title
Mesh-Driven Vector Field Clustering and Visualization: An Image-Based ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2011.25
Output title
Mixing Monte Carlo and progressive rendering for improved global ...
Output type
D - Journal article
Volume title
The Visual Computer
Year
2012
DOI
10.1007/s00371-012-0703-2
Output title
Modular bisimulation theory for computations and values
Output type
E - Conference contribution
Volume title
FOSSACS: Foundations of Software Science and Computation Structures
Year
2013
DOI
10.1007/978-3-642-37075-5_7
Output title
Photon Parameterisation for Robust Relaxation Constraints
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2013
DOI
10.1111/cgf.12028
Output title
PicoTales: collaborative authoring of animated stories using ...
Output type
E - Conference contribution
Volume title
CSCW '12 Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
Year
2012
DOI
10.1145/2145204.2145306
Output title
Programs from proofs using classical dependent choice
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2008
DOI
10.1016/j.apal.2008.01.004
Output title
Realisability for Induction and Coinduction with Applications ...
Output type
D - Journal article
Volume title
Journal of Universal Computer Science
Year
2010
DOI
10.3217/jucs-016-18-2535
Output title
Reducibility of domain representations and Cantor–Weihrauch domain ...
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2008
DOI
10.1017/S0960129508007093
Output title
Reducing number entry errors: solving a widespread, serious ...
Output type
D - Journal article
Volume title
Journal of The Royal Society Interface
Year
2010
DOI
10.1098/rsif.2010.0112
Output title
Robustness of equations under operational extensions
Output type
E - Conference contribution
Volume title
Electronic Proceedings in Theoretical Computer Science
Year
2010
DOI
10.4204/EPTCS.41.8
Output title
Social gravity: a virtual elastic tether for casual, privacy-preserving ...
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '10)
Year
2010
DOI
10.1145/1753326.1753548
Output title
Stability of representations of effective partial algebras
Output type
D - Journal article
Volume title
Mathematical Logic Quarterly
Year
2011
DOI
10.1002/malq.200910133
Output title
StoryBank: mobile digital storytelling in a development cont ...
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '09).
Year
2009
DOI
10.1145/1518701.1518972
Output title
Sweep-shake: finding digital resources in physical environme ...
Output type
E - Conference contribution
Volume title
Mobile HCI 2009 Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services
Year
2009
DOI
10.1145/1613858.1613874
Output title
Temporal Visualization of Boundary-based Geo-information Using ...
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2011
DOI
10.1111/j.1467-8659.2011.01947.x
Output title
The Readability of Path-Preserving Clusterings of Graphs
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2010
DOI
10.1111/j.1467-8659.2009.01683.x
Output title
Towards Bialgebraic Semantics for the Linear Time – Branching ...
Output type
E - Conference contribution
Volume title
Recent Trends in Algebraic Development Techniques
Year
2012
DOI
10.1007/978-3-642-28412-0_14
Output title
User interface model discovery: towards a generic approach
Output type
E - Conference contribution
Volume title
EICS '10 Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Year
2010
DOI
10.1145/1822018.1822041
Output title
VDM semantics of programming languages: combinators and mona ...
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2010
DOI
10.1007/s00165-009-0145-4
Output title
Visualization and Computer Graphics on isotropically emissive ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2009
DOI
10.1109/TVCG.2008.99
Output title
Visualization of time-series data in parameter space for understanding ...
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2011
DOI
10.1111/j.1467-8659.2011.01939.x
1 2
> Last
Showing outputs 1 - 50 of 73