Home > Computer Science > Research > Profile > Publications

Department of Computer Science

Reset

to
301 - 400 out of 1739Page size: 100
RSS feed of this list
Sort by: Publication year
  1. 2011
  2. 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 proceeding › Other contribution

  3. 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  4. Published

    'Situating slums: Discourse, scale and place'

    Simon, D. 2011 In : City. p. 674-685

    Research output: Contribution to journal › Article

  5. 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 proceeding › Conference contribution

  6. Published

    Solving MAX-k-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A. 2011 In : Algorithmica. 61, p. 638--655

    Research output: Contribution to journal › Article

  7. 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 proceeding › Chapter

  8. Forthcoming

    Statistical Learning and Data Science

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

    Research output: Book/Report › Book

  9. 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 journal › Article

  10. 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 journal › Article

  11. 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 journal › Article

  12. Published

    The role of Geography and Geographers in policy and government departments

    Unwin, T. 2011 The Sage Handbook of Geographical Knowledge. Agnew, J. & Livingstone, D. (eds.). London: Sage, p. 271-284

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  13. Unpublished

    Theory and Applications of Competitive Prediction

    Zhdanov, F. 2011 225 p.

    Research output: Thesis › Doctoral Thesis

  14. Published

    Timing in plants - a rhythmic arrangement

    McWatters, H. & Devlin, P. 2011 In : FEBS Letters. 10, p. 1474-1484

    Research output: Contribution to journal › Scientific review

  15. Published

    Translator generation using ART

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

    Research output: Contribution to journal › Article

  16. 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 proceeding › Conference contribution

  17. 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 proceeding › Chapter

  18. 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 journal › Article

  19. 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 journal › Article

  20. Published

    What are the key lessons of ICT4D partnerships for poverty reduction?- A Systematic Review

    Geldof, M., Grimshaw, D., Kleine, D. & Unwin, T. 2011 London: UK Department for International Development. 76 p.

    Research output: Book/Report › Commissioned report

  21. 2010
  22. Unpublished

    Evaluating ICT for education in Africa

    Hollow, D. 17-Dec-2010

    Research output: Thesis › Doctoral Thesis

  23. 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 journal › Article

  24. 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 proceeding › Conference contribution

  25. 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 proceeding › Conference contribution

  26. Published

    Using Contextual Representations to Efficiently Learn Context-Free Languages

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

    Research output: Contribution to journal › Article

  27. Published

    The identification of Transcription Factor Binding Sites using string kernels

    Shanahan, H. 10-Sep-2010

    Research output: Contribution to conference › Other

  28. Published

    Arabidopsis S6 kinase mutants display chromosome instability and altered RBR1-E2F pathway activity

    Henriques, R., Magyar, Z., Monardes, A., Khan, S., Zalejski, C., Orellana, J., Szabados, L., de la Torre, C., Koncz, C. & Bogre, L. 1-Sep-2010 In : EMBO Journal . 29, 17, p. 2979-2993, 15 p.

    Research output: Contribution to journal › Article

  29. 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 proceeding › Conference contribution

  30. 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  31. Published

    An Apollonian appreciation of Google Earth

    Eades, G. Sep-2010 In : Geoforum. 41, 5, p. 671-673, 3 p.

    Research output: Contribution to journal › Scientific review

  32. Unpublished

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

    M. Koolen, W. & van Erven, T. 27-Aug-2010

    Research output: Working paper

  33. Published

    Switching between Hidden Markov Models using Fixed Share

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

    Research output: Working paper

  34. Published

    A SQUAMOSA MADS Box Gene Involved in the Regulation of Anthocyanin Accumulation in Bilberry Fruits

    Jaakola, L., Poole, M., Jones, M. O., Kamarainen-Karppinen, T., Koskimaki, J. J., Hohtola, A., Haggman, H., Fraser, P. D., Manning, K., King, G. J., Thomson, H. & Seymour, G. B. Aug-2010 In : Plant physiology. 153, 4, p. 1619-1629, 11 p.

    Research output: Contribution to journal › Article

  35. 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 journal › Article

  36. Published

    A Proteomic-Based Approach for Detection of Chicken in Meat Mixes

    Sentandreu, M. A., Fraser, P. D., Halket, J., Patel, R. & Bramley, P. M. Jul-2010 In : Journal of Proteome Research. 9, 7, p. 3374-3383, 10 p.

    Research output: Contribution to journal › Article

  37. 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 proceeding › Conference contribution

  38. 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 journal › Article

  39. 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 journal › Article

  40. Published

    Prediction with Advice of Unknown Number of Experts

    Chernov, A. & Vovk, V. 2-Jun-2010

    Research output: Working paper

  41. 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 proceeding › Conference contribution

  42. Published

    Carotenoids found in Bacillus

    Khaneja, R., Perez-Fons, L., Fakhry, S., Baccigalupi, L., Steiger, S., To, E., Sandmann, G., Dong, T. C., Ricca, E., Fraser, P. D. & Cutting, S. M. Jun-2010 In : Journal of applied microbiology. 108, 6, p. 1889-1902, 14 p.

    Research output: Contribution to journal › Article

  43. 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 journal › Article

  44. 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

  45. Published

    Rough paths in idealized financial markets

    Vovk, V. 3-May-2010

    Research output: Working paper

  46. 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 journal › Special issue

  47. Published

    Evolving critical systems

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

    Research output: Contribution to journal › Special issue

  48. 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 journal › Article

  49. Published

    Consequences of antisense down-regulation of a lignification-specific peroxidase on leaf and vascular tissue in tobacco lines demonstrating enhanced enzymic saccharification

    Kavousi, B., Daudi, A., Cook, C. M., Joseleau, J-P., Ruel, K., Devoto, A., Bolwell, P. & Blee, K. A. Apr-2010 In : Phytochemistry. 71, 5-6, p. 531-542, 12 p.

    Research output: Contribution to journal › Article

  50. Published

    Document Classification Models Based On Bayesian Networks

    Romero, A. E. Apr-2010 Granada: Editorial Universidad de Granada.

    Research output: Thesis › Doctoral Thesis

  51. Published

    Dr. Multicast: Rx for Data Center Communication Scalability

    Vigfusson, Y., Abu-Libdeh, H., Balakrishnan, M., Birman, K., Burgess, R., Chockler, G., Li, H. & Tock, Y. Apr-2010 Proceedings of the 5th European conference on Computer systems: EuroSys '10. Paris, France: ACM, p. 349-362 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  52. Published

    Integrative Transcript and Metabolite Analysis of Nutritionally Enhanced DE-ETIOLATED1 Downregulated Tomato Fruit

    Enfissi, E. M. A., Barneche, F., Ahmed, I., Lichtle, C., Gerrish, C., McQuinn, R. P., Giovannoni, J. J., Lopez Juez, E., Bowler, C., Bramley, P. M. & Fraser, P. D. Apr-2010 In : Plant Cell. 22, 4, p. 1190-1215, 26 p.

    Research output: Contribution to journal › Article

  53. Published

    Supermartingales in Prediction with Expert Advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V. 10-Mar-2010

    Research output: Working paper

  54. Published

    Clouds at the crossroads: research perspectives

    Vigfusson, Y. & Chockler, G. Mar-2010 In : Crossroads. 16, 3, p. 10-13 , 4 p.

    Research output: Contribution to journal › Article

  55. Published

    Evolutionary consequences of a search image

    van Leeuwen, E. & Jansen, V. A. A. 1-Feb-2010 In : Theoretical Population Biology. 77, 1, p. 49-55, 7 p.

    Research output: Contribution to journal › Article

  56. Published

    How to base probability theory on perfect-information games

    Shafer, G., Vovk, V. & Chychyla, R. Feb-2010 In : Bulletin of the European Association for Theoretical Computer Science. 100, p. 115-148, 34 p.

    Research output: Contribution to journal › Article

  57. Published

    A Formal Framework of Virtual Organisations as Agent Societies

    McGinnis, J., Stathis, K. & Toni, F. 25-Jan-2010 p. 1-14 14 p.

    Research output: Contribution to conference › Paper

  58. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J., Rajper, N. & Reiff-Marganiec, S. 25-Jan-2010 In : Electronic Proceedings in Theoretical Computer Science. 16

    Research output: Contribution to journal › Article

  59. Published

    Functional and evolutionary insights from the genomes of three parasitoid Nasonia species

    Solovyev, V. & 163 others Werren, J. H., Richards, S., Desjardins, C. A., Niehuis, O., Gadau, J., Colbourne, J. K., Werren, J. H., Richards, S., Desjardins, C. A., Niehuis, O., Gadau, J., Colbourne, J. K., Beukeboom, L. W., Desplan, C., Elsik, C. G., Grimmelikhuijzen, C. J. P., Kitts, P., Lynch, J. A., Murphy, T., Oliveira, D. C. S. G., Smith, C. D., van de Zande, L., Worley, K. C., Zdobnov, E. M., Aerts, M., Albert, S., Anaya, V. H., Anzola, J. M., Barchuk, A. R., Behura, S. K., Bera, A. N., Berenbaum, M. R., Bertossa, R. C., Bitondi, M. M. G., Bordenstein, S. R., Bork, P., Bornberg-Bauer, E., Brunain, M., Cazzamali, G., Chaboub, L., Chacko, J., Chavez, D., Childers, C. P., Choi, J-H., Clark, M. E., Claudianos, C., Clinton, R. A., Cree, A. G., Cristino, A. S., Dang, P. M., Darby, A. C., de Graaf, D. C., Devreese, B., Dinh, H. H., Edwards, R., Elango, N., Elhaik, E., Ermolaeva, O., Evans, J. D., Foret, S., Fowler, G. R., Gerlach, D., Gibson, J. D., Gilbert, D. G., Graur, D., Gründer, S., Hagen, D. E., Han, Y., Hauser, F., Hultmark, D., Hunter, H. C., Hurst, G. D. D., Jhangian, S. N., Jiang, H., Johnson, R. M., Jones, A. K., Junier, T., Kadowaki, T., Kamping, A., Kapustin, Y., Kechavarzi, B., Kim, J., Kim, J., Kiryutin, B., Koevoets, T., Kovar, C. L., Kriventseva, E. V., Kucharski, R., Lee, H., Lee, S. L., Lees, K., Lewis, L. R., Loehlin, D. W., Logsdon, J. M., Lopez, J. A., Lozado, R. J., Maglott, D., Maleszka, R., Mayampurath, A., Mazur, D. J., McClure, M. A., Moore, A. D., Morgan, M. B., Muller, J., Munoz-Torres, M. C., Muzny, D. M., Nazareth, L. V., Neupert, S., Nguyen, N. B., Nunes, F. M. F., Oakeshott, J. G., Okwuonu, G. O., Pannebakker, B. A., Pejaver, V. R., Peng, Z., Pratt, S. C., Predel, R., Pu, L-L., Ranson, H., Raychoudhury, R., Rechtsteiner, A., Reese, J. T., Reid, J. G., Riddle, M., Robertson, H. M., Romero-Severson, J., Rosenberg, M., Sackton, T. B., Sattelle, D. B., Schlüns, H., Schmitt, T., Schneider, M., Schüler, A., Schurko, A. M., Shuker, D. M., Simões, Z. L. P., Sinha, S., Smith, Z., Souvorov, A., Springauf, A., Stafflinger, E., Stage, D. E., Stanke, M., Tanaka, Y., Telschow, A., Trent, C., Vattathil, S., Verhulst, E. C., Viljakainen, L., Wanner, K. W., Waterhouse, R. M., Whitfield, J. B., Wilkes, T. E., Williamson, M., Willis, J. H., Wolschin, F., Wyder, S., Yamada, T., Yi, S. V., Zecher, C. N., Zhang, L., Gibbs, R. A. & Nasonia Genome Working Group 15-Jan-2010 In : Science. 327, 5963, p. 343-8, 6 p.

    Research output: Contribution to journal › Article

  60. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A. 1-Jan-2010 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285 LNCS, p. 70-85 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other contribution

  61. Published

    Link-based text classification using Bayesian networks

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Masegosa, A. R. & Romero, A. E. 1-Jan-2010 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6203 LNCS, p. 397-406 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other contribution

  62. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

    Schettini, A. M., Fiadeiro, J. L. & Gnesi, S. 1-Jan-2010

    Research output: Other contribution

  63. Published

    Recognition is not parsing - SPPF-style parsing from cubic recognisers

    Scott, E. & Johnstone, A. 1-Jan-2010 In : Science of Computer Programming. 75, 1-2, p. 55-70, 16 p.

    Research output: Contribution to journal › Article

  64. Published

    Special Issue on ETAPS 2006 and 2007 Workshops on Language Descriptions, Tools, and Applications (LDTA'06 and '07) Preface

    Johnstone, A., Sloane, A. & Boyland, J. T. 1-Jan-2010 In : Science of Computer Programming. 75, 1-2, p. 12, 2 p.

    Research output: Contribution to journal › Editorial

  65. Published

    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

    Adams, R. & Luo, Z. Jan-2010 In : ACM Transactions on Computational Logic. 11, 2, 31 p.

    Research output: Contribution to journal › Article

  66. Published

    A contract-based event driven model for collaborative security in financial information systems

    Baldoni, R., Lodi, G., Chockler, G., Dekel, E., Mulcahy, B. P. & Martufi, G. 2010 ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems. p. 147-153 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  67. Published

    A Memetic Algorithm for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D. 2010 In : Natural Computing. 9, p. 47--60

    Research output: Contribution to journal › Article

  68. Published

    A Service Oriented Approach for Ubiquitous Agents in AMI Systems Using EVATAR

    Dipsis, N. & Stathis, K. 2010 p. 213 220 p.

    Research output: Contribution to conference › Paper

  69. Published

    Accumulation of health promoting phytochemicals in wild relatives of tomato and their contribution to in vitro antioxidant activity

    Meléndez-Martínez, A. J., Fraser, P. D. & Bramley, P. M. 2010 In : Phytochemistry. 71, 10, p. 1104-1114, 11 p.

    Research output: Contribution to journal › Article

  70. Published

    Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem.

    Cohen, N., Fomin, F., Gutin, G., Kim, E. J., Saurabh, S. & Yeo, A. 2010 In : Journal of Computer and System Sciences. 76, p. 650-662

    Research output: Contribution to journal › Article

  71. Published

    Algorithmic construction of low-discrepancy point sets via dependent randomized rounding

    Doerr, B., Gnewuch, M. & Wahlström, M. 2010 In : Journal of Complexity. 26, 5, p. 490-507, 18 p.

    Research output: Contribution to journal › Article

  72. Published

    An agile approach to language modelling and development

    Johnstone, A., Mosses, P. D. & Scott, E. 2010 In : Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153, 9 p.

    Research output: Contribution to journal › Article

  73. Published

    An Identity for Kernel Ridge Regression

    Zhdanov, F. & Kalnishkan, Y. 2010 Learning Theory 21st International Conference, ALT 2010, Proceedings: volume 6331 of Lecture Notes in Computer Science. Springer, p. 405-419 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  74. Published

    Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)

    Hague, M. & Ong, C-H. L. 2010

    Research output: Contribution to conference › Paper

  75. Published

    Application of conformal predictors to tea classification based on electronic nose

    Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z. 2010 Artificial Intelligence Applications and Innovations. Springer, p. 303-310

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  76. Published

    Bacterial-type oxygen detoxification and iron-sulfur cluster assembly in amoebal relict mitochondria

    Maralikova, B., Ali, V., Nakada-Tsukui, K., Nozaki, T., van der Giezen, M., Henze, K. & Tovar, J. 2010 In : Cellular Microbiology. 12, 3, p. 331-42, 12 p.

    Research output: Contribution to journal › Article

  77. Published

    Betweenness Parameterized Above Tight Lower Bound

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

    Research output: Contribution to journal › Article

  78. Published

    BOOM: Taking boolean program model checking one step further

    Basler, G., Hague, M., Kroening, D., Ong, C-H. L., Wahl, T. & Zhao, H. 2010

    Research output: Contribution to conference › Paper

  79. Published

    Buffered Communication Analysis in Distributed Multiparty Sessions

    Denielou, P-M. & Yoshida, N. 2010 CONCUR 2010 - CONCURRENCY THEORY. Gastin, P. & Laroussinie, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 343-357 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  80. Published

    Clustering and Semantics Preservation in Cultural Heritage Information Spaces

    Murtagh, F., Pereira, J., Schmidt, F., Contreras Albornoz, P. & Astudillo, H. 2010 RIAO'2010 : Recherche d'Information Assistée par Ordinateur / Adaptivity, Personalization and Fusion of Heterogeneous Information. p. 100 105 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  81. Published

    Community-wide assessment of GPCR structure modelling and ligand docking

    Michino, M. & Solovyev, V. 2010 In : Nature Reviews. Drug Discovery. 8, p. 455-463

    Research output: Contribution to journal › Article

  82. Published

    Competitive online generalized linear regression under square loss

    Zhdanov, F. & Vovk, V. 2010 Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2010. Balcazar, J., Bonchi, F., Gionis, A. & Sebag, M. (eds.). Springer, p. 531-546 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  83. Published

    Cross-species approaches to seed dormancy and germination: Conservation and biodiversity of ABA-regulated mechanisms and the Brassicaceae DOG1 genes

    Graeber, K., Linkies, A., Müller, K., Wunchova, A., Rott, A. & Leubner-Metzger, G. 2010 In : Plant Molecular Biology. 73, p. 67-87, 21 p.

    Research output: Contribution to journal › Article

  84. Published

    Data caching as a cloud service

    Chockler, G., Laden, G. & Vigfusson, Y. 2010 Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS '10). ACM, p. 18-21 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  85. Published

    Detecting Exceptions in Commitment Protocols: Discovering Hidden States

    Kafali, O. & Yolum, P. 2010 Languages, Methodologies and Development Tools for Multi-Agent Systems. Vol. 6039, p. 112-127 16 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  86. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G. 2010 2nd ed. London: Springer-Verlag.

    Research output: Book/Report › Book

  87. Published

    Disposable blood potassium sensors based on screen-printed thick film electrodes

    Xu, H., Yang, X., Wang, Y., Zheng, J., Luo, Z. & Li, G. 2010 In : Measurement Science and Technology. 21, 5

    Research output: Contribution to journal › Article

  88. Published

    Dormancy in plant seeds: Dormancy and resistance in harsh environments

    Hilhorst, H. W. M., Finch-Savage, W. E., Buitink, J., Bolingue, W. & Leubner-Metzger, G. 2010 Dormancy and resistance in harsh environments. Lubzens, E., Cerda, J. & Clark, M. (eds.). Berlin Heidelberg: Springer, Vol. 21, p. 43-67 25 p. (Topics in Current Genetics).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  89. Published

    Editors' introduction

    Hutter, M., Stephan, F., Vovk, V. & Zeugmann, T. 2010 Proceedings of the Twentieth International Conference on Algorithmic Learning Theory. Berlin: Springer, Vol. 6331, p. 1-10 10 p. (Lecture Notes in Articial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

  90. Published

    Efficient, correct, unsupervised learning of context-sensitive languages

    Clark, A. 2010 Proceedings of the Fourteenth Conference on Computational Natural Language Learning. p. 28-37

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  91. Published

    E-government frameworks and opportunities towards better stakeholders’ engagement, World Summit on Information Society. ITU, UNDESA

    Kromidha, E. 2010

    Research output: Contribution to conference › Paper

  92. Published

    Electroantennogram obtained from honeybee antennae for odor detection

    Wang, Y., Zheng, Y., Luo, Z. & Li, G. 2010 Lecture Notes in Computer Science. Springer, Vol. 6063, p. 63-66

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  93. Published

    EVATAR - A Prototyping Middleware Embodying Virtual Agents to Autonomous Robots

    Dipsis, N. & Stathis, K. 2010 p. 167-175 9 p.

    Research output: Contribution to conference › Paper

  94. Published

    Extended Computation Tree Logic (Extended Abstract)

    Alexsson, R., Hague, M., Kreutzer, S., Lange, M. & Latte, M. 2010

    Research output: Contribution to conference › Paper

  95. Published

    FPT Algorithms and Kernels for the Directed k-Leaf Problem

    Daligault, J., Gutin, G., Kim, E. J. & Yeo, A. 2010 In : Journal of Computer and System Sciences. 76, 2, p. 144-152, 9 p.

    Research output: Contribution to journal › Article

  96. Published

    From Boundary Spanning to Creolization: Cross-cultural Strategies from the Offshore Provider’s Perspective

    Abbott, P., Zheng, Y., Du, R. & Willcocks, L. P. 2010 AmericasConference of Information Systems 2010.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  97. Published

    Genome sequence of the pea aphid Acyrthosiphon pisum

    Solovyev, V. & International Aphid Genomics Consortium 2010 In : PLoS Biology. 8, 2, p. e1000313

    Research output: Contribution to journal › Article

  98. Published

    Guiding Reification in OWL through Aggregation

    Severi, P., Fiadeiro, J. L. & Ekserdjian, D. 2010 Description Logics. CEUR-WS.org, Vol. 573, (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  99. Published

    Highly accurate detection of ovarian cancer using CA125 but limited improvement with serum MALDI-TOF MS profiling

    Tiss, A., Timms, J. F., Smith, C., Devetyarov, D., Gentry-Maharaj, A., Camuzeaux, S., Burford, B., Nouretdinov, I., Ford, J., Luo, Z., Jacobs, I., Menon, U., Gammerman, A. & Cramer, R. 2010 In : International Journal of Gynecological Cancer. 20, 9, p. 1518-1524

    Research output: Contribution to journal › Article

  100. Published

    iCampus: A Connected Campus in the Ambient Event Calculus

    Bromuri, S., Urovi, V. & Stathis, K. 2010 In : International Journal of Ambient Computing and Intelligence. 2, 1, p. 59-65

    Research output: Contribution to journal › Article

  101. Published

    ICTs, citizens and the state: moral philosophy and development practices

    Unwin, T. 2010 In : Electronic Journal on Information Systems in Developing Countries. 44, 1, p. 1-16

    Research output: Contribution to journal › Article

  102. Published

    In vivo 1H NMR microimaging during seed imbibition, germination and early growth: Methods in Molecular Biology: Seed Dormancy

    Terskikh, V., Müller, K., Kermode, A. R. & Leubner-Metzger, G. 2010 Methods in Molecular Biology: Seed Dormancy. Kermode, A. R. (ed.). Springer

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

Previous 1 2 3 4 5 6 7 8 ...18 Next

Find an expert

Department of Computer Science
Research
Profile
Researchers
Publications
Projects