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 Sheffield » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Sheffield

First <
1 2 3
> Last
Showing outputs 51 - 100 of 109
Output title
Getting More Out of Biomedical Documents with GATE's Full Lifecycle ...
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2013
DOI
10.1371/journal.pcbi.1002854
Output title
Graph-based Word Sense Disambiguation of biomedical document ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2010
DOI
10.1093/bioinformatics/btq555
Output title
High performance cellular level agent-based simulation with FLAME ...
Output type
D - Journal article
Volume title
Briefings in Bioinformatics
Year
2010
DOI
10.1093/bib/bbp073
Output title
HOW TO SYNCHRONIZE THE ACTIVITY OF ALL COMPONENTS OF A P SYS ...
Output type
E - Conference contribution
Volume title
International Journal of Foundations of Computer Science
Year
2008
DOI
10.1142/S0129054108006224
Output title
Human Ventricular Fibrillation During Global Ischemia and Reperfusion: ...
Output type
D - Journal article
Volume title
Circulation: Arrhythmia and Electrophysiology
Year
2011
DOI
10.1161/CIRCEP.110.961284
Output title
Hybrid Search: Effectively Combining Keywords and Semantic S ...
Output type
E - Conference contribution
Volume title
The Semantic Web: Research and Applications. Lecture Notes in Computer Science Volume 5021
Year
2008
DOI
10.1007/978-3-540-68234-9_41
Output title
Improving habitability of natural language interfaces for querying ...
Output type
D - Journal article
Volume title
Web Semantics: Science, Services and Agents on the World Wide Web
Year
2013
DOI
10.1016/j.websem.2013.02.002
Output title
Incompleteness of relational simulations in the blocking par ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2010
DOI
10.1016/j.scico.2010.07.003
Output title
Increasing Functional Coverage by Inductive Testing: A Case ...
Output type
E - Conference contribution
Volume title
Testing Software and Systems. Lecture Notes in Computer Science
Year
2010
DOI
10.1007/978-3-642-16573-3_10
Output title
Inducing Tree-Substitution Grammars
Output type
D - Journal article
Volume title
Journal of Machine Learning Research
Year
2010
DOI
Output title
Inferring Finite-State Models with Temporal Constraints
Output type
E - Conference contribution
Volume title
Automated Software Engineering
Year
2008
DOI
10.1109/ASE.2008.35
Output title
Input Domain Reduction through Irrelevant Variable Removal and ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.18
Output title
Internal axioms for domain semirings
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2011
DOI
10.1016/j.scico.2010.05.007
Output title
Joint Modelling of Confounding Factors and Prominent Genetic ...
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2012
DOI
10.1371/journal.pcbi.1002330
Output title
Locating acoustic emission sources in complex structures using ...
Output type
D - Journal article
Volume title
Mechanical Systems and Signal Processing
Year
2010
DOI
10.1016/j.ymssp.2009.05.018
Output title
Machine translation evaluation versus quality estimation
Output type
D - Journal article
Volume title
Machine Translation
Year
2010
DOI
10.1007/s10590-010-9077-2
Output title
Mammalian choices: combining fast-but-inaccurate and slow-but-accurate ...
Output type
D - Journal article
Volume title
Proceedings of the Royal Society B: Biological Sciences
Year
2008
DOI
10.1098/rspb.2008.0417
Output title
Mask estimation and imputation methods for missing data speech ...
Output type
D - Journal article
Volume title
Computer Speech & Language
Year
2013
DOI
10.1016/j.csl.2012.06.005
Output title
Mechanically verified proof obligations for linearizability
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2011
DOI
10.1145/1889997.1890001
Output title
Mining clinical relationships from patient narratives
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2008
DOI
10.1186/1471-2105-9-S11-S3
Output title
Model transformations across views
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2010
DOI
10.1016/j.scico.2009.11.004
Output title
Model-based method for transcription factor target identification ...
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences
Year
2010
DOI
10.1073/pnas.0914285107
Output title
Modelling the growth and stabilization of cerebral aneurysms
Output type
D - Journal article
Volume title
Mathematical Medicine and Biology
Year
2009
DOI
10.1093/imammb/dqp001
Output title
MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USING P SYST ...
Output type
E - Conference contribution
Volume title
International Journal of Foundations of Computer Science
Year
2009
DOI
10.1142/S0129054109006668
Output title
Multi Visualization and Dynamic Query for Effective Exploration ...
Output type
E - Conference contribution
Volume title
The Semantic Web - ISWC 2009. Lecture Notes in Computer Science
Year
2009
DOI
10.1007/978-3-642-04930-9_32
Output title
Mutation-Driven Generation of Unit Tests and Oracles
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.93
Output title
On locality and the exchange law for concurrent processes
Output type
E - Conference contribution
Volume title
CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science Volume 6901
Year
2011
DOI
10.1007/978-3-642-23217-6_17
Output title
On optimal decision-making in brains and social insect colon ...
Output type
D - Journal article
Volume title
Journal of The Royal Society Interface
Year
2009
DOI
10.1098/rsif.2008.0511
Output title
Organization of ventricular fibrillation in the human heart: ...
Output type
D - Journal article
Volume title
Experimental Physiology
Year
2009
DOI
10.1113/expphysiol.2008.044065
Output title
Reactive speech synthesis: actively managing phonetic contrast ...
Output type
E - Conference contribution
Volume title
17th International Congress of Phonetics Sciences (ICPhS)
Year
2011
DOI
Output title
Resources for turn competition in overlapping talk
Output type
D - Journal article
Volume title
Speech Communication
Year
2013
DOI
10.1016/j.specom.2012.10.002
Output title
Search-based system testing: high coverage, no false alarms
Output type
E - Conference contribution
Volume title
2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings
Year
2012
DOI
10.1145/2338965.2336762
Output title
Sentence Compression as Tree Transduction
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2009
DOI
10.1613/jair.2655
Output title
Simplified Drift Analysis for Proving Lower Bounds in Evolutionary ...
Output type
D - Journal article
Volume title
Algorithmica
Year
2010
DOI
10.1007/s00453-010-9387-z
Output title
Sound empirical evidence in software testing
Output type
E - Conference contribution
Volume title
Proceedings - International Conference on Software Engineering
Year
2012
DOI
Output title
Source-Language Entailment Modeling for Translating Unknown ...
Output type
E - Conference contribution
Volume title
Proceedings of the 47th Annual Meeting of the ACL and the 4th IJCNLP of the AFNLP
Year
2009
DOI
Output title
Spike-Based Reinforcement Learning in Continuous State and Action ...
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2009
DOI
10.1371/journal.pcbi.1000586
Output title
STAMINA: a competition to encourage the development and assessment ...
Output type
D - Journal article
Volume title
Empirical Software Engineering
Year
2012
DOI
10.1007/s10664-012-9210-3
Output title
Stop Signals Provide Cross Inhibition in Collective Decision-Making ...
Output type
D - Journal article
Volume title
Science
Year
2011
DOI
10.1126/science.1210361
Output title
Storing the Web in Memory: Space Efficient Language Models with ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing
Year
2010
DOI
Output title
Structured total least norm and approximate GCDs of inexact ...
Output type
D - Journal article
Volume title
Journal of Computational and Applied Mathematics
Year
2007
DOI
10.1016/j.cam.2007.03.018
Output title
Summarizing Online Reviews Using Aspect Rating Distributions ...
Output type
D - Journal article
Volume title
IEEE Intelligent Systems
Year
2013
DOI
10.1109/MIS.2013.36
Output title
Tag-Trigger-Consolidation: A Model of Early and Late Long-Term-Potentiation ...
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2008
DOI
10.1371/journal.pcbi.1000248
Output title
Temporal-logic property preservation under Z refinement
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2011
DOI
10.1007/s00165-011-0177-4
Output title
Test generation from P systems using model checking
Output type
D - Journal article
Volume title
Journal of Logic and Algebraic Programming
Year
2010
DOI
10.1016/j.jlap.2010.03.007
Output title
The application of multiscale modelling to the process of development ...
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2008
DOI
10.1098/rsta.2008.0081
Output title
The calculation of the degree of an approximate greatest common ...
Output type
D - Journal article
Volume title
Journal of Computational and Applied Mathematics
Year
2011
DOI
10.1016/j.cam.2010.08.034
Output title
The computation of multiple roots of a polynomial
Output type
D - Journal article
Volume title
Journal of Computational and Applied Mathematics
Year
2012
DOI
10.1016/j.cam.2012.02.018
Output title
The foreign language cocktail party problem: Energetic and informational ...
Output type
D - Journal article
Volume title
The Journal of the Acoustical Society of America
Year
2008
DOI
10.1121/1.2804952
Output title
The modulatory effect of cell-cell contact on the tumourigenic ...
Output type
D - Journal article
Volume title
Journal of The Royal Society Interface
Year
2012
DOI
10.1098/rsif.2012.0703
First <
1 2 3
> Last
Showing outputs 51 - 100 of 109