1. 2020
  2. Forthcoming

    Through the Lens of Sequence Submodularity

    Bernardini, S., Fagnani, F. & Piacentini, C., 20 Jan 2020, (Accepted/In press) Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS-20). AAAI Press

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

  3. Forthcoming

    A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms

    Bernardini, S., Jovan, F., Jiang, Z., Moradi, P., Richardson, T., Sadeghian, R., Sareh, S., Watson, S. & Weightman, A., 15 Jan 2020, (Accepted/In press) International Conference on Autonomous Agents and Multi-Agent Systems 2020 .

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

  4. Published

    From classical proof theory to P vs. NP: a guide to bounded theories

    Tzameret, I., 14 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. .

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

  5. Published

    E2FB Interacts with RETINOBLASTOMA RELATED and Regulates Cell Proliferation during Leaf Development

    Őszi, E., Papdi, C., Mohammed, B., Petkó-Szandtner, A., Leviczky, T., Molnár, E., Galvan-Ampudia, C., Safina, K., Lopez Juez, E., Horvath, B., Bogre, L. & Magyar, Z., 6 Jan 2020, In : Plant physiology. 182, 1, p. 518-533 16 p.

    Research output: Contribution to journalArticle

  6. Forthcoming

    Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs

    Gutin, G. & Sun, Y., 4 Jan 2020, (Accepted/In press) In : Discrete Mathematics.

    Research output: Contribution to journalArticle

  7. 2019
  8. Submitted

    Purely functional GLL parsing

    van Binsbergen, L. T., Scott, E. & Johnstone, A., 3 Dec 2019, (Submitted) In : Journal of Computer Languages.

    Research output: Contribution to journalArticle

  9. Published

    Tractability of König edge deletion problems

    Majumdar, D., Neogi, R., Raman, V. & Vaishali, S., 3 Dec 2019, In : Theoretical Computer Science. 796, p. 207-215 9 p.

    Research output: Contribution to journalArticle

  10. E-pub ahead of print

    Computationally efficient versions of conformal predictive distributions

    Vovk, V., Petej, I., Nouretdinov, I., Manokhin, V. & Gammerman, A., 2 Dec 2019, In : Neurocomputing. p. 1-17 17 p.

    Research output: Contribution to journalArticle

  11. Published

    A Categorical Account of Replicated Data Types

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

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

  12. E-pub ahead of print

    Multi-level conformal clustering: A distribution-free technique for clustering and anomaly detection

    Nouretdinov, I., Gammerman, J., Fontana, M. & Rehal, D., 28 Nov 2019, In : Neurocomputing. p. 1-13 13 p.

    Research output: Contribution to journalArticle

  13. E-pub ahead of print

    Universal algorithms for multinomial logistic regression under Kullback-Leibler game

    Dzhamtyrova, R. & Kalnishkan, Y., 28 Nov 2019, In : Neurocomputing. p. 1-12 12 p.

    Research output: Contribution to journalArticle

  14. E-pub ahead of print

    Preference-based interactive multi-document summarisation

    Gao, Y., 19 Nov 2019, In : Information Retrieval Journal. p. 1-31 31 p.

    Research output: Contribution to journalArticle

  15. Published
  16. Published

    Rapid Creation of an Online Discussion Space (r/nipah) During a Serious Disease Outbreak: Observational Study

    Cole, J., Ezziane, S. & Watkins, C., 13 Nov 2019, In : Journal of medical internet research: public health and surveillance. 5, 4, p. 1-8 8 p., e13753.

    Research output: Contribution to journalArticle

  17. Forthcoming

    Network modeling of patients’ biomolecular profiles for clinical phenotype/outcome prediction

    Paccanaro, A., Valentini, G., Re, M., Petrini, A., Grossi, G., Frasca, M., Vergani, E., Vallacchi, V., Casiraghi, E., Mesiti, M., Perlasca, P. & Gliozzo, J., 9 Nov 2019, (Accepted/In press) In : Scientific Reports.

    Research output: Contribution to journalArticle

  18. E-pub ahead of print

    Toward Cereceda's conjecture for planar graphs

    Eiben, E. & Feghali, C., 8 Nov 2019, In : Journal of Graph Theory. p. 1-11 11 p.

    Research output: Contribution to journalArticle

  19. Published

    22nd SIGLOG Newsletter, October 2019

    Hague, M., 6 Nov 2019, 22nd SIGLOG Newsletter, October 2019, 22, p. 4-22 19 p.

    Research output: Contribution to non-peer-reviewed publicationInternet publication

  20. Published

    Better Rewards Yield Better Summaries: Learning to Summarise Without References

    Böhm, F., Gao, Y., Meyer, C. M., Shapira, O., Dagan, I. & Gurevych, I., Nov 2019, Proceedings of 2019 Conference on Empirical Methods in Natural Language Processing (EMNLP 2019) . p. 3101–3111 11 p.

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

  21. Published

    MoverScore: Text Generation Evaluating with Contextualized Embeddings and Earth Mover Distance

    Zhao, W., Peyrard, M., Liu, F., Gao, Y., Meyer, C. M. & Eger, S., Nov 2019, Proceedings of 2019 Conference on Empirical Methods in Natural Language Processing (EMNLP 2019). p. 563-578 16 p.

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

  22. Forthcoming

    Combining p-values via averaging

    Vovk, V. & Wang, R., 30 Oct 2019, (Accepted/In press) In : Biometrika.

    Research output: Contribution to journalArticle

  23. Forthcoming

    Structuring Time Series Data to Gain Insight into Agent Behaviour

    Al-Baghdadi, N., Wisniewski, W., Lindsay, D., Lindsay, S., Kalnishkan, Y. & Watkins, C., 28 Oct 2019, (Accepted/In press) Proceedings of the 3rd International Workshop on Big Data for Financial News and Data. IEEE

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

  24. Published

    Multiple lexicalisation (a Java based study)

    Scott, E. & Johnstone, A., 20 Oct 2019, ACM Digital Library: Proceedings of Software Language Engineering 2019. ACM, p. 71-82 12 p.

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

  25. E-pub ahead of print

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 9 Oct 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Springer, p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).

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

  26. E-pub ahead of print

    Neural Predictive Monitoring

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 1 Oct 2019, Runtime Verification. p. 129-147 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Published

    Evaluating Machine Translation without Human References Using Cross-lingual Encoders

    Zhao, W., Gao, Y. & Eger, S., Oct 2019.

    Research output: Contribution to conferenceAbstract

  28. Published

    Realtime Tracking of Passengers on the London Underground Transport by Matching Smartphone Accelerometer Footprints

    Nguyen, K. A., Wang, Y., Li, G., Luo, Z. & Watkins, C., 26 Sep 2019, In : Sensors (Basel, Switzerland). 19, 19, p. 1-26 26 p., 4184.

    Research output: Contribution to journalArticle

  29. E-pub ahead of print

    Principled and Pragmatic Specification of Programming Languages

    Johnstone, A. & Scott, E., 23 Sep 2019, In : Lecture Notes in Computer Science. 11758, p. 165-180 16 p.

    Research output: Contribution to journalArticle

  30. E-pub ahead of print

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 23 Sep 2019, p. 300-316. 17 p.

    Research output: Contribution to conferencePaper

  31. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Springer, Vol. 11735. p. 341-360 20 p.

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

  32. Published

    The asymptotic number of prefix normal words

    Balister, P. & Gerke, S., 13 Sep 2019, In : Theoretical Computer Science. 784, p. 75-80 6 p.

    Research output: Contribution to journalArticle

  33. E-pub ahead of print

    A RESTful middleware for AI controlled sensors, actuators and smart devices

    Dipsis, N. & Stathis, K., 12 Sep 2019, In : Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.

    Research output: Contribution to journalArticle

  34. Published

    Conformal Anomaly Detection based on Association Rules

    Nouretdinov, I., Gammerman, J. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  35. Published

    Conformal clustering for functional variables, With application to electricity consumption curves

    Nouretdinov, I., Fontana, M., Gammerman, J., Shemilt, L. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  36. Published

    Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?

    Yaroslav, A., Grigoriev, D., Hirsch, E. & Tzameret, I., 10 Sep 2019, 56 p.

    Research output: Other contribution

  37. Published

    Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Parkes, A., Gutin, G. & Gagarin, A., 5 Sep 2019, In : Journal of Artificial Intelligence Research. 66, p. 1-38 38 p.

    Research output: Contribution to journalArticle

  38. Published

    Aggregating Algorithm for prediction of packs

    Adamskiy, D., Bellotti, T., Dzhamtyrova, R. & Kalnishkan, Y., Sep 2019, In : Machine Learning. 108, 8-9, p. 1231-1260 30 p.

    Research output: Contribution to journalArticle

  39. Published

    Competitive Online Regression under Continuous Ranked Probability Score

    Dzhamtyrova, R. & Kalnishkan, Y., Sep 2019, Conformal and Probabilistic Prediction and Applications, 9-11 September 2019, Golden Sands, Bulgaria. Proceedings of Machine Learning Research, Vol. 105. p. 178-195 18 p. (Proceedings of Machine Learning Research).

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

  40. Published

    Coreset-based Conformal Prediction for Large-scale Learning

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Sep 2019, Proceedings of Machine Learning Research: Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 105. p. 142-162 21 p.

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

  41. Published

    Towards automated reasoning in Herbrand structures

    Cohen, L., Rowe, R. & Zohar, Y., Sep 2019, In : Journal of Logic and Computation. 29, 5, p. 693-721 29 p.

    Research output: Contribution to journalArticle

  42. Published

    Domination Above r-Independence: Does Sparseness Help?

    Einarson, C. & Reidl, F., 30 Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 138. p. 40:1-40:13 13 p. 40. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  43. E-pub ahead of print

    Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes

    Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 29 Aug 2019, American Control Conference 2019. p. 4765-4772 8 p.

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

  44. Published

    Test statistics and p-values

    Gurevich, Y. & Vovk, V., 29 Aug 2019, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Smirnov, E. (eds.). Vol. 105. p. 89-104 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. Published

    Universally consistent conformal predictive distributions

    Vovk, V., 29 Aug 2019, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Smirnov, E. (eds.). Vol. 105. p. 105-122 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. Published

    Location Tracking Using Smartphone Accelerometer and Magnetometer Traces

    Nguyen, D. K. A., Akram, R. N., Markantonakis, K., Luo, Z. & Watkins, C., 26 Aug 2019, The First Location Privacy Workshop (LPW 2019), the 14th International Conference on Availability, Reliability and Security (ARES 2019). Association for Computing Machinery (ACM), p. 1-9 9 p. 96

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

  47. E-pub ahead of print

    Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases

    Moraru, I., Edelkamp, S., Franco Aixela, S. & Martinez, M., 24 Aug 2019, KI 2019: Advances in Artificial Intelligence. Benzmüller, C. & Stuckenschmidt, H. (eds.). Springer, p. 249-263 15 p. (Lecture Notes in Computer Science; vol. 11793).

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

  48. E-pub ahead of print

    Explaining Deep Learning Models with Constrained Adversarial Examples

    Moore, J., Hammerla, N. & Watkins, C., 23 Aug 2019, Pacific Rim International Conference on Artificial Intelligence. Springer, p. 43-56 14 p. (Lecture Notes in Computer Science; vol. 11670).

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

  49. E-pub ahead of print

    White-Box Atomic Multicast

    Gotsman, A., Lefort, A. & Chockler, G., 22 Aug 2019, 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019). p. 176-187 12 p.

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

  50. E-pub ahead of print

    A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

    Docherty, S. & Rowe, R., 14 Aug 2019, TABLEAUX 2019: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 335-352 18 p. (Lecture Notes in Computer Science; vol. 11714).

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

  51. E-pub ahead of print

    Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

    Gaina, D. & Tutu, I., 14 Aug 2019, The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Springer, p. 277-293 17 p. (Lecture Notes in Computer Science; vol. 11714).

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

  52. Forthcoming

    A Location-Aware Strategy for Agents Negotiating Load-balancing

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 13 Aug 2019, (Accepted/In press). 8 p.

    Research output: Contribution to conferencePaper

  53. Published

    Autonomous Target Search with Multiple Coordinated UAVs

    Piacentini, C., Bernardini, S. & Beck, C., 8 Aug 2019, In : Journal of Artificial Intelligence Research. 65, p. 1-50 50 p.

    Research output: Contribution to journalArticle

  54. E-pub ahead of print

    Parameterized Resiliency Problems

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R., 7 Aug 2019, In : Theoretical Computer Science. p. 1-14 14 p.

    Research output: Contribution to journalArticle

  55. E-pub ahead of print

    Multi-budgeted Directed Cuts

    Kratsch, S., Pilipczuk, M., Li, S., Marx, D. & Wahlström, M., 2 Aug 2019, In : Algorithmica. p. 1-21 21 p.

    Research output: Contribution to journalArticle

  56. Published

    Arc-disjoint strong spanning subdigraphs in compositions and products of digraphs

    Sun, Y., Gutin, G. & Ai, J., Aug 2019, In : Discrete Mathematics. 342, 8, p. 2297-2305 9 p.

    Research output: Contribution to journalArticle

  57. Published

    Clustering without replication in combinatorial circuits

    Donovan, Z., Gutin, G., Mkrtchyan, V. & Subramani, K., Aug 2019, In : Journal of Combinatorial Optimization. 38, 2, p. 481-501 21 p.

    Research output: Contribution to journalArticle

  58. Published

    Logics for Actor Networks: A two-stage constrained-hybridisation approach

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., Aug 2019, In : Journal of Logical and Algebraic Methods in Programming. 106

    Research output: Contribution to journalArticle

  59. Published

    Reward Learning for Efficient Reinforcement Learning in Extractive Document Summarisation

    Gao, Y., Meyer, C. M., Mesgar, M. & Gurevych, I., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). International Joint Conferences on Artificial Intelligence, p. 2350-2356 7 p.

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

  60. Published

    Statistical Guarantees for the Robustness of Bayesian Neural Networks

    Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A. & Wicker, M., Aug 2019, International Joint Conference on Artificial Intelligence (IJCAI 2019). International Joint Conferences on Artificial Intelligence, p. 1-8 8 p.

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

  61. Published

    Solving Integer Quadratic Programming via Explicit and Structural Restrictions

    Eiben, E., Ganian, R., Knop, D. & Ordyniak, S., 17 Jul 2019, p. 1477-1484. 8 p.

    Research output: Contribution to conferencePaper

  62. E-pub ahead of print

    Symbolic Register Automata

    D’Antoni, L., Ferreira, T., Sammartino, M. & Silva, A., 12 Jul 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer-Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

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

  63. Published

    Disease gene prediction for molecularly uncharacterized diseases

    Caceres Silva, J. & Paccanaro, A., 5 Jul 2019, In : PLoS Computational Biology. 15, 7, p. 1-14 14 p., e1007078.

    Research output: Contribution to journalArticle

  64. Published
  65. Published

    Parameterized Complexity of Conflict-Free Set Cover

    Jacob, A., Majumdar, D. & Raman, V., 1 Jul 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. Kucherov, G. & van Bevern, R. (eds.). Springer-Verlag, Vol. 11532 LNCS. p. 191-202 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11532 LNCS).

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

  66. Published

    Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P., Jul 2019, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). p. 1-14 14 p. 138

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

  67. Published

    CSS Minification via Constraint Solving

    Hague, M., Lin, A. & Hong, C-D., 21 Jun 2019, In : ACM Transactions on Programming Languages and Systems. 41, 2, p. 1-76 76 p., 12.

    Research output: Contribution to journalArticle

  68. Published

    MagnetDroid: security-oriented analysis for bridging privacy and law for Android applications

    Uliana, E., Stathis, K. & Jago, R., 17 Jun 2019, p. 123-132. 10 p.

    Research output: Contribution to conferencePaper

  69. Published

    Characterising renaming within OCaml's module system: theory and implementation

    Rowe, R., Férée, H., Thompson, S. & Owens, S., 8 Jun 2019, PLDI 2019 Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 950-965 16 p.

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

  70. Published

    Sound regular expression semantics for dynamic symbolic execution of JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.

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

  71. Published

    A (co)algebraic theory of succinct automata

    Heerdt, G. V., Moerman, J., Sammartino, M. & Silva, A., Jun 2019, In : Journal of Logical and Algebraic Methods in Programming. 105, p. 112-125 14 p.

    Research output: Contribution to journalArticle

  72. Published

    Crowdsourcing Lightweight Pyramids for Manual Summary Evaluation

    Shapira, O., Gabay, D., Gao, Y., Ronen, H., Pasunuru, R., Bansal, M., Amsterdamer, Y. & Dagan, I., Jun 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, Vol. 1. p. 682-687 6 p.

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

  73. Published

    Does My Rebuttal Matter? Insights from a Major NLP Conference

    Gao, Y., Eger, S., Kuznetsov, I., Gurevych, I. & Miyao, Y., Jun 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Minneapolis, Minnesota: Association for Computational Linguistics, Vol. 1. p. 1274–1290 17 p.

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

  74. Published

    PIRASA: strategic protocol selection for e-commerce agents

    Hopkins, J., Kafali, R., Alrayes, B. & Stathis, K., Jun 2019, In : Electronic Markets. 29, 2, p. 239-252 14 p.

    Research output: Contribution to journalArticle

  75. Published

    Quadri-Histogram Equalization for infrared images using cut-off limits based on the size of each histogram

    Medina Caballero, R. D., Brizuela Pineda, I. A., Mello Román, J. C., Vázquez Noguera, J. L. & Caceres Silva, J., Jun 2019, In : Infrared Physics & Technology. 99, p. 257-264 8 p.

    Research output: Contribution to journalArticle

  76. Published

    Tree Automata as Algebras: Minimisation and Determinisation

    van Heerdt, G., Kappé, T., Rot, J., Sammartino, M. & Silva, A., Jun 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-22 22 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

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

  77. Published

    Bounded and Approximate Strong Satisfiability in Workflows

    Crampton, J., Gutin, G. & Majumdar, D., 28 May 2019, Proceedings of ACM SACMAT 2019. ACM, p. 179-184 6 p.

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

  78. Published

    ROTOR: A Tool for Renaming Values in OCaml's Module System

    Rowe, R., Férée, H., Thompson, S. & Owens, S., 28 May 2019, IWOR '19 Proceedings of the 3rd International Workshop on Refactoring. IEEE Press, p. 27-30 4 p.

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

  79. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 23 May 2019, 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, p. 99-108 10 p.

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

  80. Published

    Binary Search in Graphs Revisited

    Deligkas, A., Mertzios, G. & Spirakis, P., 15 May 2019, In : Algorithmica. 81, p. 1757–1780 24 p.

    Research output: Contribution to journalArticle

  81. E-pub ahead of print

    Modelling the Privacy Impact of External Knowledge for Sensor Data in the Industrial Internet of Things

    Darwish, S., Nouretdinov, I. & Wolthusen, S., 14 May 2019, Security and Privacy Trends in the Industrial Internet of Things. p. 223-243 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. Forthcoming

    Sparsification of SAT and CSP Problems via Tractable Extensions

    Lagerkvist, V. & Wahlstrom, M., 10 May 2019, (Accepted/In press) In : ACM Transactions on Computation Theory (TOCT).

    Research output: Contribution to journalArticle

  83. Published

    Adaptive Multi-agent System for Situated Task Allocation

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 8 May 2019, p. 1790-1792. 3 p.

    Research output: Contribution to conferencePaper

  84. Submitted

    Teaching FAIR

    Shanahan, H., 4 May 2019, (Submitted) In : Data Intelligence.

    Research output: Contribution to journalArticle

  85. Published

    Path-contractions, edge deletions and connectivity preservation

    Gutin, Z., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., May 2019, In : Journal of Computer and System Sciences. 101, p. 1-20 20 p.

    Research output: Contribution to journalArticle

  86. E-pub ahead of print

    Data-Driven Robust Control for a Closed-Loop Artificial Pancreas

    Paoletti, N., Liu, K. S., Chen, H., Smolka, S. A. & Lin, S., 23 Apr 2019, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). p. 1-13 13 p.

    Research output: Contribution to journalArticle

  87. Submitted

    9 Simple recommendations for teaching data skills

    Shanahan, H., 16 Apr 2019, (Submitted) In : Data Science Journal.

    Research output: Contribution to journalArticle

  88. Published

    Synthesizing stealthy reprogramming attacks on cardiac devices

    Paoletti, N., Jiang, Z., Islam, M. A., Abbas, H., Mangharam, R., Lin, S., Gruber, Z. & Smolka, S. A., 16 Apr 2019, 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019). ACM, p. 13-22 10 p.

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

  89. Published

    Derivation representation using binary subtree sets

    Scott, E., Johnstone, A. & van Binsbergen, L. T., 15 Apr 2019, In : Science of Computer Programming. 175, p. 63-84 22 p.

    Research output: Contribution to journalArticle

  90. Published

    Counting Linear Extensions: Parameterizations by Treewidth

    Eiben, E., Ganian, R., Kangas, K. & Ordyniak, S., Apr 2019, In : Algorithmica. 81, 4, p. 1657-1683 27 p.

    Research output: Contribution to journalArticle

  91. Published

    On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

    Carbonnel, C., Cohen, D., Cooper, M. & Živný, S., Apr 2019, In : Algorithmica. 81, 4, p. 1699–1727 29 p.

    Research output: Contribution to journalArticle

  92. Published

    Quality of Service (QoS) Aware Workflow Scheduling (WFS) in Cloud Computing: A Systematic Review

    Kaur, S., Bagga, P., Hans, R. & Kaur, H., Apr 2019, In : Arabian Journal for Science and Engineering. 44, 4, p. 2867-2897 31 p.

    Research output: Contribution to journalArticle

  93. Published

    Distributed Methods for Computing Approximate Equilibria

    Czumaj, A., Deligkas, A., Fasoulakis, M., Fearnley, J., Jurdzinski, M. & Savani, R., 15 Mar 2019, In : Algorithmica. 81, p. 1205–1231 27 p.

    Research output: Contribution to journalArticle

  94. Published

    A probabilistic argumentation framework for reinforcement learning agents

    Riveret, R., Gao, Y., Governatori, G., Rotolo, A., Pitt, J. & Sartor, G., Mar 2019, In : Autonomous Agents and Multi-Agent Systems. 33, 1-2, p. 216-274 59 p.

    Research output: Contribution to journalArticle

  95. Published

    Combination of inductive mondrian conformal predictors

    Toccaceli, P. & Gammerman, A., Mar 2019, In : Machine Learning. 108, 3, p. 489–510 22 p.

    Research output: Contribution to journalArticle

  96. Published

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M., Mar 2019, In : Machine Learning. 108, 3, p. 445-474 30 p.

    Research output: Contribution to journalArticle

  97. Published

    Rethinking statistical learning theory: learning using statistical invariants

    Vapnik, V. & Izmailov, R., Mar 2019, In : Machine Learning. 108, 3, p. 381-423 43 p.

    Research output: Contribution to journalArticle

  98. In preparation

    An evolutionary model that satisfies detailed balance

    Lember, J. & Watkins, C., 27 Feb 2019, (In preparation) In : ArXiv.org.

    Research output: Contribution to journalArticle

  99. Published

    Discrimination of Different Species of Dendrobium with an Electronic Nose Using Aggregated Conformal Predictor

    Wang, Y., Wang, Z., Diao, J., Sun, X., Luo, Z. & Li, G., 25 Feb 2019, In : Sensors (Basel, Switzerland). 19, 4, p. 1-15 15 p., 964.

    Research output: Contribution to journalArticle

  100. Published

    Binary constraint satisfaction problems defined by excluded topological minors

    Cohen, D., Cooper, M. C., Jeavons, P. G. & Zivny, S., Feb 2019, In : Infor. and Computation. 264, p. 12-31 20 p.

    Research output: Contribution to journalArticle

  101. Published

    Executable component-based semantics

    van Binsbergen, L. T., Mosses, P. D. & Sculthorpe, N., Feb 2019, In : Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

    Research output: Contribution to journalArticle

  102. E-pub ahead of print

    Quadri-histogram equalization using cutoff limits based on the size of each histogram with preservation of average brightness

    Brizuela Pineda, I. A., Medina Caballero, R. D., Cáceres Silva, J. J., Mello Román, J. C. & Vázquez Noguera, J. L., 28 Jan 2019, In : Signal, Image and Video Processing. p. 1-9 9 p.

    Research output: Contribution to journalArticle

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