1. 2011
  2. Published

    Automatically generating stories from sensor data

    Reddington, J. & Tintarev, N., 1 Jan 2011, p. 407-410. 4 p.

    Research output: Contribution to conferencePaper

  3. Published

    Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6568 LNCS. p. 225-236 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  4. Published

    The SENSORIA reference modelling language

    Fiadeiro, J., Bocchi, L., Lopes, A. & Abreu, J., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6582. p. 61-114 54 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  5. Published

    Insuring against loss of evidence in game-theoretic probability

    Dawid, A. P., de Rooij, S., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., Jan 2011, In : Statistics and Probability Letters. 81, 1, p. 157-162 6 p.

    Research output: Contribution to journalArticle

  6. Published

    “Hands Busy, Eyes Busy”: Generating Stories from Sensor Data for Automotive applications

    Tintarev, N., Reddington, J., Reiter, E., Black, R. & Waller, A., 2011.

    Research output: Contribution to conferencePaper

  7. Published

    A characterization of horizontal visibility graphs and combinatorics on words

    Gutin, G., Mansour, T. & Severini, S., 2011, In : Physica A: Statistical Mechanics and its Applications . 390, p. 2421-2428

    Research output: Contribution to journalArticle

  8. Published

    A Comparison of Venn Machine with Platt's Method in Probabilistic Outputs

    Zhou, C., Nouretdinov, I., Luo, Z., Adamskiy, M., Coldham, N. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15-18, 2011, Proceedings , Part II. . p. 483-

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    A Distributed Treatment of Exceptions in Multiagent Contracts (Preliminary Report)

    Kafali, O. & Yolum, P., 2011, Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    A mobile phone based personal narrative system

    Black, R., Waller, A., Tintarev, N., Reiter, E. & Reddington, J., 2011, The proceedings of the 13th international ACM SIGACCESS conference on Computers and accessibility. p. 171-178 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Forthcoming

    A New Approach to Population Sizing for Memetic Algorithms: A Case Study for the Multidimensional Assignment Problem

    Karapetyan, D. & Gutin, G., 2011, (Accepted/In press) In : Evolutionary Computation. in press

    Research output: Contribution to journalArticle

  12. Published

    A new bound on the domination number of graphs with minimum degree two

    Henning, M., Schiermeyer, I. & Yeo, A., 2011, In : The Electronic Journal of Combinatorics. 18, 1

    Research output: Contribution to journalArticle

  13. Published

    A novel high-throughput in vivo molecular screen for shade avoidance mutants identifies a novel phyA mutation

    Wang, X., Roig-Villanova, I., Khan, S., Shanahan, H., Quail, P. H., Martinez-Garcia, J. F. & Devlin, P. F., 2011, In : Journal of Experimental Botany. 62, 8, p. 2973-2987 15 p.

    Research output: Contribution to journalArticle

  14. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2011, In : Information and Computation. 209, 10, p. 1269-1292 24 p.

    Research output: Contribution to journalArticle

  15. Published

    Algorithms for hierarchical clustering: An Overview

    Murtagh, F. & Contreras Albornoz, P., 2011, Data Mining and Knowledge Discovery, Wiley Interdisciplinary Reviews (WIRES). John Wiley & Sons, 12 p. (Wiley Interdisciplinary Reviews).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  16. Forthcoming

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Vertices

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2011, (Accepted/In press) In : Journal of Computer and System Sciences. in press

    Research output: Contribution to journalArticle

  17. Published

    An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection

    Cohen, D. A., Creed, P., Jeavons, P. G. & Živný, S., 2011, Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011: Proceedings. Springer, p. 231-242 (Lecture Notes in Computer Science; vol. 6907).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Published

    An intuitive graphical visualization technique for the interrogation of transcriptome data

    Bushati, N., Smith, J., Briscoe, J. & Watkins, C., 2011, In : Nucleic Acids Research. 39, 17, p. 7380-7389

    Research output: Contribution to journalArticle

  19. Published

    Applying Conformal Prediction to the Bovine TB Diagnosing

    Adamskiy, M., Nouretdinov, I., Mitchell, A., Coldham, N. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15--18, 2011, Proceedings , Part II. . p. 449-

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Published

    Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract)

    Kafali, O., Toni, F. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1167-1168 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Published

    Complexity of Computing Convex Subgraphs in Custom Instruction Synthesis

    Reddington, J. & Atasu, K., 2011, In : IEEE Transactions on Very Large Scale Integration (VLSI) Systems. p. 1-5

    Research output: Contribution to journalArticle

  22. Unpublished

    Confidence and Venn Machines and Their Applications to Proteomics

    Devetyarov, D., 2011, (Unpublished) 219 p.

    Research output: ThesisDoctoral Thesis

  23. Forthcoming

    Conformal prediction in semi-supervised case

    Adamskiy, M., Nouretdinov, I. & Gammerman, A., 2011, (Accepted/In press) Post-Symposium book 'Statistical learning and Data Science'. Paris: Chapman and Hall

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Forthcoming

    Conformal predictions for electronic nose system: an application to tea classification

    Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z., 2011, (Accepted/In press) In : International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 10 p.

    Research output: Contribution to journalArticle

  25. Forthcoming

    Conformal predictions for reliable machine learning: Theory and applications

    Balasubramanian, V., Ho, S-S., Panchanathan, S. & Vovk, V., 2011, (Accepted/In press).

    Research output: Contribution to conferenceOther

  26. Published

    Contextual analysis of word meanings in type-theoretical semantics

    Luo, Z., 2011, Logical Aspects of Computational Linguistics:6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011: Proceedings. Pogodalla, S. & Prost, J-P. (eds.). Springer, p. 159-174 16 p. (Lecture Notes in Computer Science; vol. 6736).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Published
  28. Published

    Dependent Randomized Rounding: The Bipartite Case

    Doerr, B., Künnemann, M. & Wahlström, M., 2011, 2011 Proceedings of the Thirteenth Workshop on Algorithm Engineering and Experiments (ALENEX). Müller-Hannemann, M. & Werneck, R. (eds.). San Francisco, California, USA: SIAM, p. 96-106 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Published

    Design and implementation of caching services in the cloud

    Chockler, G., Laden, G. & Vigfusson, Y., 2011, In : IBM Journal of Research and Development. 55, 6, 11 p., 9.

    Research output: Contribution to journalArticle

  30. Published

    Diagnosing Commitments: Delegation Revisited (Extended Abstract)

    Kafali, O. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1175-1176 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Published

    Dynamic Multirole Session Types

    Denielou, P-M. & Yoshida, N., 2011, POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. NEW YORK: ACM, p. 435-446 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Published

    Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems

    Biely, M., Robinson, P. & Schmid, U., 2011, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. p. 299-312 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Published

    Efficient model checking of fault-tolerant distributed protocols

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 41st Int Conf. Dependable Systems and Networks (DSN-DCCS 2011). IEEE, p. 73-84

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Published

    Feature Selection by Conformal Predictor

    Yang, M., Nouretdinov, I., Luo, Z. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15-18, 2011, Proceedings, Part II. . p. 449-

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Unpublished

    Hierarchies of Inefficient Kernelizability

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 2011, (Unpublished) In : ArXiv.org. CoRR:abs/1110.0976

    Research output: Contribution to journalArticle

  36. Published

    Image zooming based on sampling theorems

    Romero, A. E., 2011, In : Materials Matemàtics. 2011, 11, p. 1 22 p., 1.

    Research output: Contribution to journalArticle

  37. Published

    Kernels for Below-Upper-Bound Parameterizations of the Hitting Set and Directed Dominating Set Problems

    Gutin, G., Jones, M. & Yeo, A., 2011, In : Theoretical Computer Science. 412, p. 5744--5751

    Research output: Contribution to journalArticle

  38. Forthcoming

    Lambda-Free Logical Frameworks

    Adams, R., 2011, (Accepted/In press) In : Annals of Pure and Applied Logic.

    Research output: Contribution to journalArticle

  39. Published

    LDT: a language definition technique

    Johnstone, A., Scott, E. & van den Brand, M., 2011, LDTA '11 Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications. ACM, p. Art. no. 9

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Published

    Legacy transformations for extracting service components

    Matos, C. & Heckel, R., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hölz, M. (eds.). Springer-Verlag, p. 604-621 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Published

    Linguistic Nativism and the Poverty of the Stimulus

    Clark, A. & Lappin, S., 2011, Wiley-Blackwell.

    Research output: Book/ReportBook

  42. Published

    Lin-Kernighan Heuristic Adaptations for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D., 2011, In : European Journal of Operational Research. 208, p. 221-232

    Research output: Contribution to journalArticle

  43. Forthcoming

    Local Search Heuristics for the Multidimensional Assignment Problem

    Gutin, G. & Karapetyan, D., 2011, (Accepted/In press) In : Journal of Heuristics. 17, 3

    Research output: Contribution to journalArticle

  44. Published

    Looking at clouds from both sides: The advantages and disadvantages of placing personal narratives in the cloud

    Coles-Kemp, L., Reddington, J. & Williams, P. A. H., 2011, In : Information Security Technical Report. 16, 3-4, p. 115-122

    Research output: Contribution to journalArticle

  45. Published

    Malware Detection

    Katzenbeisser, S., Kinder, J. & Veith, H., 2011, Encyclopedia of Cryptography and Security, 2nd Ed.. van Tilborg, H. & Jajodia, S. (eds.). Springer, p. 752-755

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  46. Published

    Methods of Hierarchical Clustering

    Murtagh, F. & Contreras, P., 2011, Data Mining and Knowledge Discovery. Wiley-Interscience

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. Published

    Model Checking Recursive Programs with Numeric Data Types

    Hague, M. & Lin, A., 2011, CAV: Computer Aided Verification.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Published

    Modelling GLL parser implementations

    Johnstone, A. & Scott, E., 2011, Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Malloy, B., Staab, S. & van den Brand, M. (eds.). Springer, p. 42-61 (Lecture Notes in Computer Science; vol. 6563).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Published

    New Methods of Analysis of Narrative and Semantics in Support of Interactivity

    Murtagh, F., Ganz, A. & Reddington, J., 2011, In : Entertainment Computing. 2, p. 115-121

    Research output: Contribution to journalArticle

  50. Published

    New Plain-Exponential Time Classes for Graph Homomorphism

    Wahlström, M., 2011, In : Theory of Computing Systems. 49, 2, p. 273-282 10 p.

    Research output: Contribution to journalArticle

  51. Published

    On guaranteeing polynomially-bounded search tree size

    Cohen, D., Cooper, M., Green, M. J. & Marx, D., 2011.

    Research output: Contribution to conferencePaper

  52. Published

    On the algebra of structured specifications

    Diaconescu, R. & Tutu, I., 2011, In : Theoretical Computer Science. 412, p. 3145-3174 28.

    Research output: Contribution to journalArticle

  53. Published

    Optimal regional consecutive leader election in mobile ad-hoc networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2011, FOMC'11, The Seventh ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing (part of FCRC 2011), San Jose, CA, USA, June 9, 2011, Proceedings. p. 52-61 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. Published

    Parameterised Pushdown Systems with Non‐Atomic Writes

    Hague, M., 2011, FSTTCS: Foundations of Software Technology and Theoretical Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. Published

    Parameterized Two-Player Nash Equilibrium

    Hermelin, D., Huang, C-C., Kratsch, S. & Wahlström, M., 2011, Graph-Theoretic Concepts in Computer Science : 37th International Workshop, WG 2011. Kolman, P. & Kratochvíl, J. (eds.). Teplá Monastery, Czech Republic: Springer, Vol. 6986. p. 215-226 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. Published

    Pervasive Healthcare Using Self-Healing Agent Environments

    Bromuri, S., Ignaz Schumacher, M. & Stathis, K., 2011, HIGHLIGHTS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS. Perez, JB., Corchado, JM., Moreno, MN., Julian, V., Mathieu, P., CanadaBago, J., Ortega, A. & Caballero, AF. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 159-166 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. Published

    Reasoning About Exceptions to Contracts

    Kafali, O., Toni, F. & Torroni, P., 2011, Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814. p. 225-242 18 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Unpublished

    Robot-based Evaluation of Bluetooth Fingerprinting: M.Phil (Cantab)

    Nguyen, K., 2011, (Unpublished)

    Research output: ThesisMaster's Thesis

  59. Published

    Rough paths in idealized financial markets

    Vovk, V., 2011, In : Lithuanian Mathematical Journal. 51, 2, p. 274 - 285 12 p.

    Research output: Contribution to journalArticle

  60. Published

    Semantics from narrative: state of the art and future perspectives

    Murtagh, F., Ganz, A. & Reddington, J., 2011, Statistical Learning and Data Science. Summa, M. G., Bottou, L., Goldfarb, B., Murtagh, F., Pardoux, C. & Touati, M. (eds.). Taylor and Francis, (Computer Science and Data Analysis).

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  61. Published

    Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average

    Crowston, R., Fellows, M., Gutin, G., Jones, M., Rosamond, F., Thomasse, S. & Yeo, A., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. p. 229--240 (LIPICS - Leibniz International Proceedings in Informatics; vol. 13).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Published

    Social Commitment Delegation and Monitoring

    Kafali, O. & Torroni, P., 2011, Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814. p. 171-189 19 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Published

    Solving k-Set Agreement with Stable Skeleton Graphs

    Biely, M., Robinson, P. & Schmid, U., 2011, 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. p. 1488-1495 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. Published

    Starlet Transform in Astronomical Data Processing: Application to Source Detection and Image Deconvolution

    Murtagh, F., Starck, J-L. & Bertero, M., 2011, Handbook of Mathematical Methods in Imaging. Scherzer, O. (ed.). Springer, p. 1489-1531 43 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  65. Forthcoming

    Statistical Learning and Data Science

    Murtagh, F., Summa, M. (ed.), Bottou, L. (ed.), Goldfarb, B. (ed.), Pardoux, C. (ed.) & Touati, M. (ed.), 2011, (Accepted/In press) Bocca Raton: Chapman and Hall/CRC Press. (Computer Science and Data Analysis)

    Research output: Book/ReportBook

  66. Published

    Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011). p. 113-122

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. Published

    Synthesis of flowerlike nano-SnO2 and the study on the gas sensing response

    Fan, G., Wang, Y., Hu, M., Luo, Z. & Li, G., 2011, In : Measurement Science and Technology. 22, 4

    Research output: Contribution to journalArticle

  68. Published

    Test martingales, Bayes factors, and p-values

    Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 2011, In : Statistical Science. 26, p. 84 - 101 17 p.

    Research output: Contribution to journalArticle

  69. Published

    The Asynchronous Bounded-Cycle model

    Robinson, P. & Schmid, U., 2011, In : Theoretical Computer Science. 412, 40, p. 5580-5601 22 p.

    Research output: Contribution to journalArticle

  70. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 2011, In : Annals of the Institute of Statistical Mathematics. 63, 5, p. 873 - 885 13 p.

    Research output: Contribution to journalArticle

  71. Unpublished

    Theory and Applications of Competitive Prediction

    Zhdanov, F., 2011, (Unpublished) 225 p.

    Research output: ThesisDoctoral Thesis

  72. Published

    Translator generation using ART

    Johnstone, A. & Scott, E., 2011, In : Lecture Notes in Computer Science. 6563, p. 306-315

    Research output: Contribution to journalArticle

  73. Published

    Typed Operational Semantics for Dependent Record Types

    Feng, Y. & Luo, Z., 2011, Proceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Published

    Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis

    Murtagh, F., 2011, Horizons in Computer Science Research. Clary, T. (ed.). Vol. 2.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  75. Published

    Ultrametric Wavelet Regression of Multivariate Time Series: Application to Colombian Conflict Analysis

    Murtagh, F., Spagat, M. & A. Restrepo, J., 2011, In : IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 41, 2, p. 254-263 10 p.

    Research output: Contribution to journalArticle

  76. Published

    Vertex Cover Problem Parameterized Above and Below Tight Bounds

    Gutin, G., Kim, E. J., Lampis, M. & Mitsou, V., 2011, In : Theory of Computing Systems. 48, p. 402-410

    Research output: Contribution to journalArticle

  77. 2010
  78. Published

    Betweenness parameterized above tight lower bound

    Gutin, G., Kim, E. J., Mnich, M. & Yeo, A., Dec 2010, In : Journal of Computer and System Sciences. 76, 8, p. 872-878

    Research output: Contribution to journalArticle

  79. Published

    Weak aggregating algorithm for the distribution-free perishable inventory problem

    Levina, T., Levin, Y., McGill, J., Nediak, M. & Vovk, V., Nov 2010, In : Operations Research Letters. 38, 6, p. 516-521 6 p.

    Research output: Contribution to journalArticle

  80. Published

    Switching Investments

    Koolen, W. M. & Rooij, S. D., 1 Oct 2010, Proceedings of the 21st International Conference on Algorithmic Learning Theory (ALT 2010). Hutter, M., Stephan, F., Vovk, V. & Zeugman, T. (eds.). Springer Berlin / Heidelberg, p. 239-254 16 p. (LNAI 6331).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  81. Published

    Towards General Algorithms for Grammatical Inference

    Clark, A., 1 Oct 2010, Algorithmic Learning Theory, 21st International Conference. Hutter, M., Stephan, F., Vovk, V. & Zeugmann, T. (eds.). Springer, p. 11-30

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Published

    Using Contextual Representations to Efficiently Learn Context-Free Languages

    Clark, A., Eyraud, R. & Habrard, A., 1 Oct 2010, In : Journal of Machine Learning Research. 11, p. 2707-2744 38 p.

    Research output: Contribution to journalArticle

  83. Published

    Proactive Detection of Computer Worms Using Model Checking

    Kinder, J., Katzenbeisser, S., Schallhart, C. & Veith, H., Oct 2010, In : IEEE Transactions on Dependable and Secure Computing. 7, 4, p. 424-438

    Research output: Contribution to journalArticle

  84. Published

    The identification of Transcription Factor Binding Sites using string kernels

    Shanahan, H., 10 Sep 2010.

    Research output: Contribution to conferenceOther

  85. Published

    Distributional Learning of some Context-free Languages with a Minimally Adequate Teacher

    Clark, A., 1 Sep 2010, Grammatical Inference: Theoretical Results and Applications. p. 24-37

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  86. Published

    Learning Context Free Grammars with the Syntactic Concept Lattice

    Clark, A., 1 Sep 2010, Grammatical Inference: Theoretical Results and Applications. Sempere, J. & Garcia, P. (eds.). Springer-Verlag, Vol. 6339. p. 38-51 (Lecture Notes in Computer Science; vol. 6339).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  87. Unpublished

    Freezing and Sleeping: Tracking Experts that Learn by Evolving Past Posteriors

    M. Koolen, W. & van Erven, T., 27 Aug 2010, (Unpublished).

    Research output: Working paper

  88. Published

    Switching between Hidden Markov Models using Fixed Share

    M. Koolen, W. & van Erven, T., 26 Aug 2010.

    Research output: Working paper

  89. Published

    Classical Predicative Logic-Enriched Type Theories

    Adams, R. & Luo, Z., Aug 2010, In : Annals of Pure and Applied Logic. 161, 11, p. 1315-1345 31 p.

    Research output: Contribution to journalArticle

  90. Published

    Open Access, Intellectual Property, and How Biotechnology Becomes a New Software Science

    Murtagh, F., Aug 2010, In : UPGRADE: The European journal for the informatics professional. XI , 4, p. 50-64

    Research output: Contribution to journalArticle

  91. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

  92. Published

    Magnet: Practical Subscription Clustering for Internet-Scale Publish/Subscribe

    Girdzijauskas, S., Chockler, G., Vigfusson, Y., Melamed, R. & Tock, Y., Jul 2010, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS '10). Cambridge, UK: ACM, p. 172-183 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. Published

    Prequential randomness and probability

    Vovk, V. & Shen, A., 17 Jun 2010, In : Theoretical Computer Science. 411, 29-30, p. 2632-2646 15 p.

    Research output: Contribution to journalArticle

  94. Published

    Supermartingales in prediction with expert advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V., 17 Jun 2010, In : Theoretical Computer Science. 411, 29-30, p. 2647-2669 23 p.

    Research output: Contribution to journalArticle

  95. Published
  96. Published

    Hedging Structured Concepts

    Koolen, W. M., Warmuth, M. K. & Kivinen, J., 1 Jun 2010, Proceedings of the 23rd Annual Conference on Learning Theory (COLT 2010). p. 93-105 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  97. Published

    Note on Max Lin-2 above Average

    Crowston, R., Gutin, G. & Jones, M., 16 May 2010, In : Information Processing Letters. 110, 11, p. 451-454 4 p.

    Research output: Contribution to journalArticle

  98. Published

    Insuring against loss of evidence in game-theoretic probability

    Philip Dawid, A., de Rooij, S., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 11 May 2010.

    Research output: Working paper

  99. Published

    Rough paths in idealized financial markets

    Vovk, V., 3 May 2010.

    Research output: Working paper

  100. Published

    Special issue dedicated to FASE'08

    Fiadeiro, J. L., Inverardi, P. & Maibaum, T., 1 May 2010, In : Formal Aspects of Computing. 22, 3-4

    Research output: Contribution to journalSpecial issue

  101. Published

    Evolving critical systems

    Coyle, L., Hinchey, M., Nuseibeh, B. & Fiadeiro, J. L., May 2010, In : IEEE Computer. 43, 5

    Research output: Contribution to journalSpecial issue

  102. Published

    Bulletin Board: A scalable and robust eventually consistent shared memory over a peer-to-peer overlay

    Bortnikov, V., Chockler, G., Roytman, A. & Spreitzer, M., 14 Apr 2010, In : Operating Systems Review. 44, 2, p. 64-70 7 p.

    Research output: Contribution to journalArticle

Previous 1...4 5 6 7 8 9 10 11 ...21 Next