For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Nottingham » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Nottingham

First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 153
Output title
Delay aware querying with seaweed
Output type
D - Journal article
Volume title
VLDB Journal
Year
2008
DOI
10.1007/s00778-007-0060-3
Output title
Deploying research technology in the home
Output type
E - Conference contribution
Volume title
CSCW '08: Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work
Year
2008
DOI
10.1145/1460563.1460662
Output title
Detection and characterization of single-trial fMRI bold responses: ...
Output type
D - Journal article
Volume title
Human Brain Mapping
Year
2011
DOI
10.1002/hbm.21116
Output title
Digging the crates: an ethnographic study of DJS' work
Output type
E - Conference contribution
Volume title
CHI '12: proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2208314
Output title
Digital plumbing: the mundane work of deploying Ubicomp in the ...
Output type
D - Journal article
Volume title
Personal and Ubiquitous Computing
Year
2010
DOI
10.1007/s00779-009-0260-5
Output title
Efficient and adaptive congestion control for heterogeneous delay-tolerant ...
Output type
D - Journal article
Volume title
Ad Hoc Networks
Year
2012
DOI
10.1016/j.adhoc.2012.03.013
Output title
Efficient location privacy-aware forwarding in opportunistic ...
Output type
D - Journal article
Volume title
IEEE Transactions on Vehicular Technology
Year
2013
DOI
10.1109/TVT.2013.2279671
Output title
Envisioning ubiquitous computing
Output type
E - Conference contribution
Volume title
CHI '12: proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2208278
Output title
Ethnography considered harmful
Output type
E - Conference contribution
Volume title
CHI '09: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
DOI
10.1145/1518701.1518835
Output title
Evaluating advanced search interfaces using established information-seeking ...
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2009
DOI
10.1002/asi.21080
Output title
Evaluating collaborative information-seeking interfaces with ...
Output type
D - Journal article
Volume title
Information Processing & Management
Year
2010
DOI
10.1016/j.ipm.2009.10.001
Output title
Evolutionary multi-objective simulated annealing with Aaaptive ...
Output type
E - Conference contribution
Volume title
2008 IEEE Congress on Evolutionary Computation (CEC 2008)
Year
2008
DOI
10.1109/CEC.2008.4631246
Output title
Evolutionary squeaky wheel optimization: a new framework for ...
Output type
D - Journal article
Volume title
Evolutionary Computation
Year
2011
DOI
10.1162/EVCO_a_00033
Output title
ExoBuilding: physiologically driven adaptive architecture
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2012
DOI
10.1145/2395131.2395132
Output title
EyeSpy: supporting navigation through play
Output type
E - Conference contribution
Volume title
CHI '09: proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2009
DOI
10.1145/1518701.1518723
Output title
Factorising folds for faster functions
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
DOI
10.1017/S0956796810000122
Output title
First-past-the-post games
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2013.07.007
Output title
From codes to patterns: designing interactive decoration for ...
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.2466119
Output title
From interaction to trajectories: designing coherent journeys ...
Output type
E - Conference contribution
Volume title
CHI '09: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2009
DOI
10.1145/1518701.1518812
Output title
From local pixel structure to global image super-resolution: ...
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2011
DOI
10.1109/TIP.2010.2063437
Output title
Fully automatic recognition of the temporal phases of facial ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics
Year
2012
DOI
10.1109/TSMCB.2011.2163710
Output title
Functional network construction in Arabidopsis using rule-based ...
Output type
D - Journal article
Volume title
The Plant Cell
Year
2011
DOI
10.1105/tpc.111.088153
Output title
Global histone modifications in breast cancer correlate with ...
Output type
D - Journal article
Volume title
Cancer Research
Year
2009
DOI
10.1158/0008-5472.CAN-08-3907
Output title
Great deluge with non-linear decay rate for solving course timetabling ...
Output type
E - Conference contribution
Volume title
4th International IEEE Conference on Intelligent Systems, 2008
Year
2008
DOI
10.1109/IS.2008.4670447
Output title
High throughput quantification of root growth using a novel image ...
Output type
D - Journal article
Volume title
Plant Physiology
Year
2009
DOI
10.1104/pp.109.140558
Output title
Higher-order abstract syntax in type theory
Output type
C - Chapter in book
Volume title
Logic Colloquium 2006
Year
2009
DOI
10.1017/CBO9780511605321.005
Output title
Higher-order non-causal modelling and simulation of structurally ...
Output type
E - Conference contribution
Volume title
7th International Modelica Conference
Year
2009
DOI
10.3384/ecp09430137
Output title
Homework: putting interaction into the infrastructure
Output type
E - Conference contribution
Volume title
UIST '12: Proceedings of the 25th annual ACM Symposium on User Interface Software and Technology
Year
2012
DOI
10.1145/2380116.2380143
Output title
Hybrid ecologies: understanding interaction in emerging digital-physical ...
Output type
D - Journal article
Volume title
Personal and Ubiquitous Computing
Year
2008
DOI
10.1007/s00779-007-0142-7
Output title
Hybridisations within a graph-based hyper-heuristic framework ...
Output type
D - Journal article
Volume title
Journal of the Operational Research Society
Year
2009
DOI
10.1057/jors.2008.102
Output title
In support of city exploration
Output type
E - Conference contribution
Volume title
CHI '09: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2009
DOI
10.1145/1518701.1518879
Output title
Indexed containers
Output type
E - Conference contribution
Volume title
24th Annual IEEE Symposium on Logic in Computer Science
Year
2009
DOI
10.1109/LICS.2009.33
Output title
Information fusion for anomaly detection with the dendritic cell ...
Output type
D - Journal article
Volume title
Information Fusion
Year
2010
DOI
10.1016/j.inffus.2009.04.006
Output title
Interval type-2 fuzzy logic congestion control for video streaming ...
Output type
D - Journal article
Volume title
IEEE Transactions On Fuzzy Systems
Year
2009
DOI
10.1109/TFUZZ.2009.2023325
Output title
Into the wild: challenges and opportunities for field trial ...
Output type
E - Conference contribution
Volume title
CHI '11: proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2011
DOI
10.1145/1978942.1979185
Output title
Investigating mathematical models of immuno-interactions with ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2013
DOI
10.1186/1471-2105-14-S6-S6
Output title
KEEL: a software tool to assess evolutionary algorithms for data ...
Output type
D - Journal article
Volume title
Soft Computing: A Fusion of Foundations, Methodologies and Applications
Year
2009
DOI
10.1007/s00500-008-0323-y
Output title
Keeping calm in the face of change: towards optimisation of FRP ...
Output type
D - Journal article
Volume title
Higher-Order and Symbolic Computation
Year
2010
DOI
10.1007/s10990-011-9068-x
Output title
Laying the table for HCI: uncovering ecologies of domestic food ...
Output type
E - Conference contribution
Volume title
CHI '12: proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2207694
Output title
Lessons from touring a location-based experience
Output type
C - Chapter in book
Volume title
Pervasive computing: 9th international conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011
Year
2011
DOI
10.1007/978-3-642-21726-5_15
Output title
Lightweight tagging expands information and activity management ...
Output type
E - Conference contribution
Volume title
CHI '09: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, April 2009, Boston, MA, USA
Year
2009
DOI
10.1145/1518701.1518746
Output title
Local evidence aggregation for regression based facial point ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
DOI
10.1109/TPAMI.2012.205
Output title
MobGeoSen: facilitating personal geosensor data collection and ...
Output type
D - Journal article
Volume title
Personal and Ubiquitous Computing
Year
2008
DOI
10.1007/s00779-007-0180-1
Output title
Monads need not be endofunctors
Output type
C - Chapter in book
Volume title
Foundations of software science and computational structures: 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
Year
2010
DOI
10.1007/978-3-642-12032-9_21
Output title
Motivating mobility: designing for lived motivation in stroke ...
Output type
E - Conference contribution
Volume title
CHI '11: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2011
DOI
10.1145/1978942.1979397
Output title
Network exception handlers: host-network control in enterprise ...
Output type
E - Conference contribution
Volume title
SIGCOMM '08: Proceedings of the ACM SIGCOMM 2008 conference on Data communication
Year
2008
DOI
10.1145/1402958.1402973
Output title
New geometric inference techniques for type-2 fuzzy sets
Output type
D - Journal article
Volume title
International Journal of Approximate Reasoning
Year
2008
DOI
10.1016/j.ijar.2008.03.001
Output title
Nonstationary fuzzy sets
Output type
D - Journal article
Volume title
IEEE Transactions on Fuzzy Systems
Year
2008
DOI
10.1109/TFUZZ.2008.917308
Output title
Object motion detection using information theoretic spatio-temporal ...
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2009
DOI
10.1016/j.patcog.2009.02.002
Output title
On constructing parsimonious type-2 fuzzy logic systems via influential ...
Output type
D - Journal article
Volume title
IEEE Transactions on Fuzzy Systems
Year
2009
DOI
10.1109/TFUZZ.2008.928597
First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 153