1. 2022
  2. Published

    The CODATA-RDA Data Steward School

    Shanahan, H., 15 Jun 2022, INTERNATIONAL JOURNAL OF DIGITAL CURATION. 1 ed. Edinburgh University Press, Vol. 15.

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

  3. Forthcoming

    Universes in Type-Theoretical Semantics (paper accompanying an invited talk)

    Luo, Z., 15 Jun 2022, (Accepted/In press) LACompLing 2021. (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    A model of actors and grey failures

    Bocchi, L., Lange, J., Thompson, S. & Voinea, A. L., 13 Jun 2022, 24th International Conference on Coordination Models and Languages. Springer-Verlag

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

  5. Published

    A Network Flow Interpretation of Robust Goal Legibility in Path Finding

    Bernardini, S., Fagnani, F., Franco, S. & Neacsu, A., 13 Jun 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022). 1 ed. Vol. 32. p. 668 8 p.

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

  6. E-pub ahead of print

    Extended Path Partition Conjecture for Semicomplete and Acyclic Compositions

    Ai, J., Gutin, G., Gerke, S. & Zhou, Y., Nov 2022, In: Discrete Mathematics. 345, 11, 113019.

    Research output: Contribution to journalArticlepeer-review

  7. Forthcoming

    Rethinking the A in FAIR Data: Issues of Data Access and Accessibility in Research

    Shanahan, H. & Bezuidenhout, L., 7 Jun 2022, (Accepted/In press) In: Frontiers in Research Metrics and Analytics.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Generalized Noise Role Mining

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., Jun 2022, p. 91-102.

    Research output: Contribution to conferencePaperpeer-review

  9. Published

    Prediction with Expert Advice for a Finite Number of Experts: A Practical Introduction

    Kalnishkan, Y., Jun 2022, In: Pattern Recognition. 126, 108557.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Universal predictive systems

    Vovk, V., Jun 2022, In: Pattern Recognition. 126, 12 p., 108536.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Hack the Heap: Heap Layout Manipulation made Easy

    Gennissen, J. & O'Keeffe, D., 26 May 2022, Hack the Heap: Heap Layout Manipulation made Easy. 16th Workshop on Offensive Technologies (WOOT) 2022

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

  12. E-pub ahead of print

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 9 May 2022, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    A Feed-Forward Neural Network for Increasing the Hopfield-Network Storage Capacity

    Zhao, S., Chen, B., Wang, H., Luo, Z. & Zhang, T., 6 May 2022, In: International Journal of Neural Systems. 16 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Approximating the Existential Theory of the Reals

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2022, In: Journal of Computer and System Sciences. 125, p. 106-128 23 p.

    Research output: Contribution to journalArticlepeer-review

  15. Forthcoming

    Prediction as a Basis for Skilled Reading: Insights from Modern Language Models

    Cevoli, B., Watkins, C. & Rastle, K., 29 Apr 2022, (Accepted/In press) In: Royal Society Open Science. 9, 6

    Research output: Contribution to journalArticlepeer-review

  16. E-pub ahead of print

    Valued Authorization Policy Existence Problem: Theory and Experiments

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., 21 Apr 2022, (E-pub ahead of print) In: ACM Transactions on Privacy and Security.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    On d-panconnected tournaments with large semidegrees

    Darbinyan, S. & Gutin, G., 12 Apr 2022, In: Discrete Mathematics. 345, 8, 14 p., 112931.

    Research output: Contribution to journalArticlepeer-review

  18. E-pub ahead of print

    Directed Flow-Augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., 11 Apr 2022, (E-pub ahead of print) Proceedings of STOC 2022. Association for Computing Machinery (ACM)

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

  19. Published

    Multi-Quantile Recurrent Neural Network for Feeder-Level Probabilistic Energy Disaggregation Considering Roof-Top Solar Energy

    Zhang, X., Watkins, C. & Kuenzel, S., Apr 2022, In: Engineering Applications of Artificial Intelligence. 104707.

    Research output: Contribution to journalArticlepeer-review

  20. Forthcoming

    Equilibrium Resolution for Epoch Partitioning

    Wisniewski, W., Kalnishkan, Y., Lindsay, D. & Lindsay, S., 31 Mar 2022, (Accepted/In press) Proceedings of the 18th International Conference on Artificial Intelligence Applications and Innovations. Springer, (SPRINGER IFIP AICT).

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

  21. Published

    FAIR Principles for Research Software (FAIR4RS Principles)

    Shanahan, H., 16 Mar 2022

    Research output: Other contribution

  22. Forthcoming

    Optimizing Reachability Sets in Temporal Graphs by Delaying

    Deligkas, A. & Potapov, I., 6 Mar 2022, (Accepted/In press) In: Information and Computation. 104890.

    Research output: Contribution to journalArticlepeer-review

  23. Submitted

    Learning to Identify Perceptual Bugs in 3D Video Games

    Wilkins, B. & Stathis, K., 28 Feb 2022, (Submitted) In: ArXiv.org.

    Research output: Contribution to journalArticle

  24. Published

    Admissible ways of merging p-values under arbitrary dependence

    Vovk, V., Wang, B. & Wang, R., 17 Feb 2022, In: The Annals of Statistics. 50, 1, p. 351-375 25 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Sound classification using evolving ensemble models and Particle Swarm Optimization

    Zhang, L., Lim, C. P., Yu, Y. & Jiang, M., Feb 2022, In: Applied Soft Computing. 116, 108322.

    Research output: Contribution to journalArticlepeer-review

  26. Published

    An evolving ensemble model of multi-stream convolutional neural networks for human action recognition in still images

    Slade, S., Zhang, L., Yu, Y. & Lim, C. P., 30 Jan 2022, In: Neural Computing and Applications.

    Research output: Contribution to journalArticlepeer-review

  27. Forthcoming

    A Hybrid Short-Term Load Forecasting Method Based on Empirical Wavelet Transform and Bidirectional Long Short-Term Memory Neural Networks

    Zhang, X., Kuenzel, S., Colombo, N. & Watkins, C., 25 Jan 2022, (Accepted/In press) In: Journal of Modern Power Systems and Clean Energy.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    A Unifying Framework for Characterizing and Computing Width Measures

    Eiben, E., Ganian, R., Hamm, T., Jaffke, L. & Kwon, O. J., 25 Jan 2022, p. 63:1--63:23. 23 p.

    Research output: Contribution to conferencePaperpeer-review

  29. Published

    Twenty seconds of visual behaviour on social media gives insight into personality

    Woods, C., Luo, Z., Watling, D. & Durant, S., 21 Jan 2022, In: Scientific Reports. 12, 1, p. 1-11 11 p., 1178.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    Deep Learning Based Fault Prediction in Wireless Sensor Network Embedded Cyber-Physical Systems for Industrial Processes

    Ruan, H., Dorneanu, B., Mohamed, A., Arellano-Garcia, H., Xiao, P. & Zhang, L., 20 Jan 2022, In: IEEE Access.

    Research output: Contribution to journalArticlepeer-review

  31. Forthcoming

    Iterative Message Passing Algorithm for Vertex-disjoint Shortest Paths

    Dai, G., Gutin, G., Zhang, X. & Zhang, Z., 18 Jan 2022, (Accepted/In press) In: IEEE Transactions on Information Theory.

    Research output: Contribution to journalArticlepeer-review

  32. E-pub ahead of print

    Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

    Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45

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

  33. Forthcoming

    Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation

    Bagga, P., Paoletti, N. & Stathis, K., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  34. Forthcoming

    Heterogeneous Facility Location with Limited Resources

    Deligkas, A., Filos-Ratsikas, A. & Voudouris, A., 2022, (Accepted/In press) AAAI Conference on Artificial Intelligence, AAAI 2022.

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

  35. Published

    How to be FAIR with your data

    Shanahan, H., 2022, Göttingen: Göttingen University Press. 203 p.

    Research output: Book/ReportBook

  36. Published

    Malware in Motion

    Choudhury, R., Luo, Z. & Nguyen, K., 2022, p. 595-602.

    Research output: Contribution to conferencePaperpeer-review

  37. Forthcoming

    Modern Type Theories: Their Development and Applications

    Luo, Z., 2022, (Accepted/In press) Tsinghua University Press.

    Research output: Book/ReportBook

  38. Forthcoming

    Pizza Sharing is PPA-hard

    Deligkas, A., Fearnley, J. & Melissourgos, T., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  39. 2021
  40. Forthcoming

    Convergence and Correctness of Belief Propagation for Weighted Min-Max Flow

    Dai, G., Guo, L., Gutin, G., Zhang, X. & Zhang, Z., 27 Dec 2021, (Accepted/In press) In: Discrete Applied Mathematics.

    Research output: Contribution to journalArticlepeer-review

  41. Forthcoming

    Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

    Imai, K., Lange, J. & Neykova, R., 24 Dec 2021, (Accepted/In press) In: Lecture Notes in Computer Science. TACAS 2022

    Research output: Contribution to journalConference articlepeer-review

  42. Published

    Personalized Tag Recommendation via Denoising Auto-Encoder

    Zhao, W., Shang, L., Yu, Y., Zhang, L., Wang, C. & Chen, J., 20 Dec 2021, In: World Wide Web - Internet and Web Information Systems. 20 p.

    Research output: Contribution to journalArticlepeer-review

  43. E-pub ahead of print

    The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems

    Lagerkvist, V. & Wahlström, M., 15 Dec 2021, (E-pub ahead of print) In: ACM Transactions on Computation Theory (TOCT). 14, 1, p. 1-54 54 p., 2.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    Protein Function Prediction for newly sequenced organisms

    Torres, M., Yang, H., Romero, A. E. & Paccanaro, A., 9 Dec 2021, In: Nature Machine Intelligence.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Evolving Deep Architecture Generation with Residual Connections for Image Classification Using Particle Swarm Optimization

    Lawrence, T., Zhang, L., Rogage, K. & Lim, C. P., 28 Nov 2021, In: Sensors. 21, 23, 7936.

    Research output: Contribution to journalArticlepeer-review

  46. Forthcoming

    Quasipolynomial multicut-mimicking networks and kernels for multiway cut problems

    Wahlström, M., 16 Nov 2021, (Accepted/In press) In: ACM Transactions on Algorithms (TALG).

    Research output: Contribution to journalArticlepeer-review

  47. E-pub ahead of print

    Machine learning and network medicine approaches for drug repositioning for COVID-19

    de Siquiera Santos, S., Torres, M., Galeano Galeano, D., Sanchez, M. D. M., Cernuzzi, L. & Paccanaro, A., 9 Nov 2021, (E-pub ahead of print) In: Cell Patterns.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    Detecting Depression from Speech through an Attentive LSTM Network

    Zhao, Y., Xie, Y., LIANG, R., Zhang, L., Zhao, L. & Liu, C., 1 Nov 2021, In: IEICE Transactions on Information and Systems. E104.D, 11, p. 2019-2023 5 p.

    Research output: Contribution to journalArticlepeer-review

  49. Published

    Connected Subgraph Defense Games

    Akrida, E., Deligkas, A., Melissourgos, T. & Spirakis, P. G., Nov 2021, In: Algorithmica. 83, p. 3403-3431 29 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    Testing randomness online

    Vovk, V., Nov 2021, In: Statistical Science. 36, 4, p. 595-611 17 p.

    Research output: Contribution to journalArticlepeer-review

  51. E-pub ahead of print

    Constrained Hitting Set Problem with Intervals

    Acharyya, A., Keikha, V., Majumdar, D. & Pandit, S., 20 Oct 2021, (E-pub ahead of print) The 27th International Computing and Combinatorics Conference: COCOON 2021. Springer-Verlag, p. 604-616 13 p. (Lecture Notes in Computer Science).

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

  52. Published

    Role of miR-2392 in driving SARS-CoV-2 infection

    UNC COVID-19 Pathobiology Consortium, 19 Oct 2021, In: Cell Reports. 37, 3, 109839.

    Research output: Contribution to journalArticlepeer-review

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