1. 2022
  2. Forthcoming

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

    Paccanaro, A., Torres, M., Galeano Galeano, D., de Siquiera Santos, S., Sanchez, M. D. M. & Cernuzzi, L., 14 Jan 2022, (Accepted/In press) In: Cell Patterns.

    Research output: Contribution to journalArticlepeer-review

  3. 2021
  4. E-pub ahead of print

    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

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

  6. Forthcoming

    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., 9 Nov 2021, (Accepted/In press) Principles of Programming Languages 2022.

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

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

  8. Published

    Testing randomness online

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

    Research output: Contribution to journalArticlepeer-review

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

  10. Forthcoming

    Attention Guidance Agents with Eye-tracking: A use-case based on the MATBII cockpit task

    Durant, S., Wilkins, B., Woods, C., Uliana, E. & Stathis, K., 3 Oct 2021, (Accepted/In press) Post-Proceedings of EMAS'21. Springer, (LNCS).

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

  11. E-pub ahead of print

    Many-visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 30 Sep 2021, (E-pub ahead of print) In: Journal of Computer and System Sciences.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    An Interactive Evolution Strategy based Deep Convolutional Generative Adversarial Network for 2D Video Game Level Procedural Content Generation

    Jiang, M. & Zhang, L., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). IEEE

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

  13. Published

    Deep Recurrent Neural Networks with Attention Mechanisms for Respiratory Anomaly Classification

    Wall, C., Zhang, L., Yu, Y. & Mistry, K., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  14. Forthcoming

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

    Lagerkvist, V. & Wahlström, M., 20 Sep 2021, (Accepted/In press) In: ACM Transactions on Computation Theory (TOCT).

    Research output: Contribution to journalArticlepeer-review

  15. Forthcoming

    Game-theoretic Simulations with Cognitive Agents

    Shahid, N., O'Keeffe, D. & Stathis, K., 11 Sep 2021, (Accepted/In press) The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI). IEEE Computer Society, 6 p.

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

  16. Published

    Conformal Changepoint Detection in Continuous Model Situations

    Nouretdinov, I., Vovk, V. & Gammerman, A., 10 Sep 2021, 1 p. COPA 2021 : 10th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  17. E-pub ahead of print

    Faster FPT Algorithms for Deletion to Pairs of Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 9 Sep 2021, (E-pub ahead of print).

    Research output: Contribution to conferencePaperpeer-review

  18. Published

    A Lower Bound for a Prediction Algorithm under the Kullback-Leibler Game

    Dzhamtyrova, R. & Kalnishkan, Y., Sep 2021, Conformal and Probabilistic Prediction and Applications 2021. Carlsson, L., Luo, Z., Cherubin, G. & An Nguyen, K. (eds.). Proceedings of Machine Learning Research, Vol. 152. p. 39-51 13 p.

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

  19. Published

    Multi-Head Attention-Based Long Short-Term Memory for Depression Detection From Speech

    Zhao, Y., Liang, Z., Du, J., Zhang, L., Liu, C. & Zhao, L., 26 Aug 2021, In: Frontiers in Neurorobotics. 15, 684037.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis

    Crampton, J., Gutin, G. & Majumdar, D., 19 Aug 2021, In: ACM Transactions on Privacy and Security. 24, 3, p. 1-22 22 p., 21.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 18 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science: LIPIcs (Leibniz International Proceedings in Informatics). Schloss Dagstuhl –Leibniz Center for Informatics, p. 1-13 13 p. 54

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

  22. Published

    Ransomclave: Ransomware Key Management using SGX

    Bhudia, A., O'Keeffe, D., Sgandurra, D. & Hurley-Smith, D., 17 Aug 2021, 10th International Workshop on Cyber Crime (IWCC 2021): In proceedings of the International Conference on Availability, Reliability and Security (ARES 2021). p. 1-10 10 p. 58

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

  23. Published

    E-values: Calibration, combination, and applications

    Vovk, V. & Wang, R., 9 Aug 2021, In: The Annals of Statistics. 49, 3, p. 1736-1754 19 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Supporting Complaints Investigation for Nursing and Midwifery Regulatory Agencies

    Lertvittayakumjorn, P., Petej, I., Gao, Y., Krishnamurthy, Y., van der Gaag, A., Jago, R. & Stathis, K., 6 Aug 2021, p. 81-91. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  25. Published

    Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty

    Bagga, P., Paoletti, N. & Stathis, K., 5 Aug 2021, FUZZ-IEEE 2021. IEEE Xplore

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

  26. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, In: IEEE Robotics and Automation Letters.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, IEEE Xplore IROS 2021 Proceedings. IEEE Xplore, Vol. 6. p. 7957-7964 8 p.

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

  28. E-pub ahead of print

    Kings in Multipartite Hypertournaments

    Ai, J., Gerke, S. & Gutin, G., 2 Aug 2021, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  29. Forthcoming

    Use of Artificial Intelligence in Regulatory Decision-Making

    Jago, R., van der Gaag, A., Stathis, K., Petej, I., Lertvittayakumjorn, P., Krishnamurthy, Y., Gao, Y., Caceres Silva, J., Webster, M., Gallagher, A. & Austin, Z., 2 Aug 2021, (Accepted/In press) In: Journal of Nursing Regulation. 12, 3

    Research output: Contribution to journalArticlepeer-review

  30. Published

    A Unifying Look at Sequence Submodularity

    Bernardini, S., Fagnani, F. & Piacentini, C., Aug 2021, In: Artificial Intelligence. 297, 103486.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    The Parameterized Complexity of Connected Fair Division

    Deligkas, A., Eiben, E., Ganian, R., Hamm, T. & Ordyniak, S., Aug 2021, International Joint Conference on Artificial Intelligence: IJCAI 2021. p. 139-145 7 p.

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

  32. Published

    Two's Company, Three's a Crowd: Consensus-Halving for a Constant Number of Agents

    Deligkas, A., Filos-Ratsikas, A. & Hollender, A., 18 Jul 2021, ACM Conference on Economics and Computation: EC '21. p. 347-368 22 p.

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

  33. E-pub ahead of print

    Checking Data-Race Freedom of GPU Kernels, Compositionally

    Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 15 Jul 2021, (E-pub ahead of print) International Conference on Computer-Aided Verification. Springer-Verlag, Vol. 12759.

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

  34. E-pub ahead of print

    Privacy Boundary Determination of Smart Meter Data Using an Artificial Intelligence Adversary

    Zhang, X., Watkins, C., Cheong Took, C. & Kuenzel, S., 14 Jul 2021, (E-pub ahead of print) In: International Transactions on Electrical Energy Systems.

    Research output: Contribution to journalArticlepeer-review

  35. Forthcoming

    Automated Verification of Go Programs via Bounded Model Checking

    Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.

    Research output: Contribution to journalConference articlepeer-review

  36. E-pub ahead of print

    Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs

    He, Z., Li, J. & Wahlström, M., 3 Jul 2021, (E-pub ahead of print) Proceedings of ESA 2021. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 1-14 14 p. 52

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

  37. Published

    Ranking Bracelets in Polynomial Time

    Adamson, D., Gusev, V., Potapov, I. & Deligkas, A., 30 Jun 2021, Symposium on Combinatorial Pattern Matching: CPM 2021. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 191. p. 1-17 17 p.

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

  38. Forthcoming

    Admissible ways of merging p-values under arbitrary dependence

    Vovk, V., Wang, B. & Wang, R., 15 Jun 2021, (Accepted/In press) In: The Annals of Statistics.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    Strong Subgraph Connectivity of Digraphs: A Survey

    Sun, Y. & Gutin, G., 12 Jun 2021, In: Journal of Interconnection Networks.

    Research output: Contribution to journalArticlepeer-review

  40. Published

    ANEGMA: an automated negotiation model for e-markets

    Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., 7 Jun 2021, In: Autonomous Agents and Multi-Agent Systems. 35, 27.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Neural predictive monitoring and a comparison of frequentist and Bayesian approaches

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 24 May 2021, In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journalArticlepeer-review

  42. Published

    Intelligent human action recognition using an ensemble model of evolving deep networks with swarm-based optimization

    Zhang, L., Lim, C. P. & Yu, Y., 23 May 2021, In: Knowledge-Based Systems. 220, 106918.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    Autonomous Building of Structures in Unstructured Environments via AI Planning

    Roberts, J., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021).. 1 ed. Vol. 31. p. 491-499 9 p.

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

  44. Published

    vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems

    Roberts, J., Mastorakis, G., Lazaruk, B., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021). 1 ed. Vol. 31. p. 486-490 5 p.

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

  45. Forthcoming

    Universal predictive systems

    Vovk, V., 5 May 2021, (Accepted/In press) In: Pattern Recognition.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Vladimir Vovk’s contribution to the Discussion of ‘Testing by betting: A strategy for statistical and scientific communication’ by Glenn Shafer

    Vovk, V., 5 May 2021, In: Journal of the Royal Statistical Society: Series A (Statistics in Society). 184, 2, p. 445-446 2 p.

    Research output: Contribution to journalArticle

  47. Published
  48. Published

    Computing exact solutions of consensus halving and the Borsuk-Ulam theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2021, In: Journal of Computer and System Sciences. 117, p. 75-98 24 p.

    Research output: Contribution to journalArticlepeer-review

  49. Published

    Walrasian Equilibria in Markets with Small Demands

    Deligkas, A., Melissourgos, T. & Spirakis, P. G., May 2021, International Conference on Autonomous Agents and Multiagent Systems: AAMAS '21. p. 413-419 7 p.

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

  50. Forthcoming

    A Session Subtyping Tool

    Lange, J., Bravetti, M., Bacchiani, L. & Zavattaro, G., 21 Apr 2021, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  51. Published

    Spons & Shields: practical isolation for trusted execution

    Sartakov, V. A., O'Keeffe, D., Eyers, D. M., Vilanova, L. & Pietzuch, P. R., 16 Apr 2021, VEE 2021: Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. ACM, p. 186-200 15 p.

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

  52. E-pub ahead of print

    Modeling and dynamic analysis of spiral bevel gear coupled system of intermediate and tail gearboxes in a helicopter

    Zhu, H., Chen, W., Zhu, R., Zhang, L., Fu, B. & Lu, X., 13 Apr 2021, (E-pub ahead of print) In: Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science.

    Research output: Contribution to journalArticlepeer-review

  53. E-pub ahead of print

    An adaptive multi-agent system for task reallocation in a MapReduce job

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 1 Apr 2021, (E-pub ahead of print) In: Journal of Parallel and Distributed Computing.

    Research output: Contribution to journalArticlepeer-review

  54. E-pub ahead of print

    Parameterized Pre-coloring Extension and List Coloring Problems

    Gutin, G., Majumdar, D., Ordyniak, S. & Wahlström, M., 29 Mar 2021, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 35, 1, p. 575-596 22 p.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Strong subgraph connectivity of digraphs

    Sun, Y. & Gutin, G., 18 Mar 2021, In: Graphs and Combinatorics. 37, p. 951-970 20 p.

    Research output: Contribution to journalArticlepeer-review

  56. Published

    Feature Selection Using Enhanced Particle Swarm Optimisation for Classification Models

    Xie, H., Zhang, L., Lim, C. P., Yu, Y. & Liu, H., 5 Mar 2021, In: Sensors. 21, 5, 1816.

    Research output: Contribution to journalArticlepeer-review

  57. Published

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 4 Mar 2021, In: Logical Methods in Computer Science. 17, 1, p. 1-35 35 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    The Effect of Social Distancing on the Reach of an Epidemic in Social Network

    Gutin, G., Hirano, T., Hwang, S-H., Neary, P. & Toda, A. A., 3 Mar 2021, In: Journal of Economic Interaction and Coordination.

    Research output: Contribution to journalArticlepeer-review

  59. Published

    Proximity and Remoteness in Directed and Undirected Graphs

    Ai, J., Gerke, S., Gutin, G. & Mafunda, S., Mar 2021, In: Discrete Mathematics. 344, 3, 112252.

    Research output: Contribution to journalArticlepeer-review

  60. Published

    The Project Strategy Matrix: Systematizing the Design and Management of an Explicit Project Strategy

    Koutsoukos, G., Feb 2021, In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT. 68, 1, p. 249-264 16 p., 8809922.

    Research output: Contribution to journalReview articlepeer-review

  61. Published

    Particle Swarm Optimization for Automatically Evolving Convolutional Neural Networks for Image Classification

    Lawrence, T., Zhang, L., Lim, C. P. & Phillips, E-J., 18 Jan 2021, In: IEEE Access. 9, p. 14369-14386 18 p.

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Parameterized Complexity of Conflict-Free Set Cover

    Jacob, A., Majumdar, D. & Raman, V., 12 Jan 2021, In: Theory of Computing Systems. 26 p.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

    Part, F. & Tzameret, I., 8 Jan 2021, In: Computational Complexity. 30, 1, 2.

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Experimental and numerical investigation of rubber damping ring and its application in multi-span shafting

    Zhu, H., Chen, W., Li, M., Zhu, R., Zhang, L., Fu, B., Wang, S. & Lu, X., 3 Jan 2021, In: Journal of the Brazilian Society of Mechanical Sciences and Engineering. 43, 43.

    Research output: Contribution to journalArticlepeer-review

  65. Published

    Over-fitting suppression training strategies for deep learning-based atrial fibrillation detection

    Zhang, X., Li, J., Cai, Z., Zhang, L., Chen, Z. & Liu, C., 2 Jan 2021, In: Medical & Biological Engineering & Computing. 59, p. 165–173 9 p.

    Research output: Contribution to journalArticlepeer-review

  66. Published

    Actor-based model checking for Software-Defined Networks

    Albert, E., Gómez-Zamalloa, M., Isabel, M., Rubio, A., Sammartino, M. & Silva, A., Jan 2021, In: Journal of Logical and Algebraic Methods in Programming. 118, 25 p., 100617.

    Research output: Contribution to journalArticlepeer-review

  67. Published

    r-Simple k-Path and Related Problems Parameterized by k/r

    Gutin, G., Wahlström, M. & Zehavi, M., Jan 2021, In: ACM Transactions on Algorithms (TALG). 17, 1, p. 1-64 64 p., 10.

    Research output: Contribution to journalArticlepeer-review

  68. Published

    Solving hard cut problems via flow-augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., Jan 2021, Proceedings of SODA 2021. 20 p.

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

  69. Published

    Uniform, Integral, and Feasible Proofs for the Determinant Identities

    Tzameret, I. & Cook, S., Jan 2021, In: Journal of the ACM. 68, 2, 80 p., 12.

    Research output: Contribution to journalArticlepeer-review

  70. Unpublished
  71. Published

    Conformal testing in a binary model situation

    Vovk, V., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 131-150 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  72. Forthcoming

    Nonparametric fiducial prediction

    Vovk, V., 2021, (Accepted/In press) Handbook on BFF Inference. Berger, J., Meng, X-L., Reid, N. & Xie, M. (eds.). Chapman and Hall, 17 p.

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

  73. Forthcoming

    Protein Function Prediction for newly sequenced organisms

    Paccanaro, A., Yang, H., Torres, M. & Romero, A. E., 2021, (Accepted/In press) In: Nature Machine Intelligence.

    Research output: Contribution to journalArticlepeer-review

  74. Published

    Retrain or not retrain: Conformal test martingales for change-point detection

    Vovk, V., Petej, I., Nouretdinov, I., Ahlberg, E., Carlsson, L. & Gammerman, A., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 191-210 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  75. Published

    Transformer-based conformal predictors for paraphrase detection

    Giovannotti, P. & Gammerman, A., 2021, p. 243-265. 23 p.

    Research output: Contribution to conferencePaperpeer-review

  76. Forthcoming

    Valued Authorization Policy Existence Problem

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., 2021, (Accepted/In press) Proceedings of 26th ACM SACMAT.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  77. 2020
  78. Forthcoming

    Fair Refinement for Asynchronous Session Types

    Bravetti, M., Lange, J. & Zavattaro, G., 22 Dec 2020, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  79. Published

    Component Order Connectivity in Directed Graphs

    Bang-Jensen, J., Eiben, E., Gutin, G., Wahlström, M. & Yeo, A., 4 Dec 2020, Proceedings of IPEC 2020, LIPIcs . Vol. 180. p. 2:1-2:16 16 p.

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

  80. Published

    Parameterized Complexity of Deletion to Scattered Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 4 Dec 2020, The 15th International Symposium on Parameterized and Exact Computation. LIPIcs, Vol. 180. p. 1-17 17 p. 18

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

  81. Published

    Dynamic analysis of a flexible rotor supported by ball bearings with damping rings based on FEM and lumped mass theory

    Zhu, H., Chen, W., Zhu, R., Zhang, L., Gao, J. & Liao, M., Dec 2020, In: Journal of Central South University. 27, p. 3684–3701 18 p.

    Research output: Contribution to journalArticlepeer-review

  82. Published

    Enhanced factorization machine via neural pairwise ranking and attention networks

    Yu, Y., Jiao, L., Zhou, N., Zhang, L. & Yin, H., Dec 2020, In: Pattern Recognition Letters. 140, p. 348-357 10 p.

    Research output: Contribution to journalArticlepeer-review

  83. Published

    Randomized contractions meet lean decompositions

    Cygan, M., Komosa, P., Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S. & Wahlström, M., Dec 2020, In: ACM Transactions on Algorithms (TALG). 17, 1, 30 p., 6.

    Research output: Contribution to journalArticlepeer-review

  84. Published

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

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 29 Nov 2020, In: Journal of Artificial Intelligence Research. 69, p. 1077-1102 26 p., 12156.

    Research output: Contribution to journalArticlepeer-review

  85. E-pub ahead of print

    Implementation Correctness for Replicated Data Types, Categorically

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., 25 Nov 2020, (E-pub ahead of print) Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. Pun, V. K., Stolz, V. & Simao, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 283-303 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12545 LNCS).

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

  86. Published

    Neural Graph for Personalized Tag Recommendation

    Yu, Y., Chen, X., Zhang, L., Gao, R. & Gao, H., 24 Nov 2020, In: IEEE Intelligent Systems.

    Research output: Contribution to journalArticlepeer-review

  87. Published

    The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection

    Brown, L., Clarke, R., Akbari, A., Bhandari, U., Bernardini, S., Chhabra, P., Marjanovic, O., Richardson, T. & Watson, S., 18 Nov 2020, In: Robotics. 9 , 4, p. 1-21 21 p., 95.

    Research output: Contribution to journalArticlepeer-review

  88. Published

    Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 15 Nov 2020, In: Proceedings of the ACM on Programming Languages, OOPSLA. 4, 29 p., 149.

    Research output: Contribution to journalConference articlepeer-review

  89. Published

    An evolutionary model that satisfies detailed balance

    Lember, J. & Watkins, C., 9 Nov 2020, In: Methodology and Computing in Applied Probability. 37 p.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Evolving Deep DenseBlock Architecture Ensembles for Image Classification

    Fielding, B. & Zhang, L., 9 Nov 2020, In: Electronics. 9, 11, 1880.

    Research output: Contribution to journalArticlepeer-review

  91. E-pub ahead of print

    Fostering global data sharing: highlighting the recommendations of the Research Data Alliance COVID-19 working group

    Research Data Alliance & Shanahan, H., 9 Nov 2020, (E-pub ahead of print) In: Wellcome Open Research. 267.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Towards a Polynomial Kernel for Directed Feedback Vertex Set

    Bergougnoux, B., Eiben, E., Ganian, R., Ordyniak, S. & Ramanujan, M. S., 4 Nov 2020, In: Algorithmica. 21 p.

    Research output: Contribution to journalArticlepeer-review

  93. Published

    k-Ary spanning trees contained in tournaments

    Ai, J., Lei, H., Shi, Y., Yao, S. & Zhang, Z. B., 15 Oct 2020, In: Discrete Applied Mathematics. 285, p. 141-146 6 p.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    Detecting Spam Email With Machine Learning Optimized With Bio-Inspired Metaheuristic Algorithms

    Gibson, S., Issac, B., Zhang, L. & Jacob, S. M., 13 Oct 2020, In: IEEE Access. 8, p. 187914-187932 19 p.

    Research output: Contribution to journalArticlepeer-review

  95. Published

    Feeder-Level Deep Learning-based Photovoltaic Penetration Estimation Scheme

    Zhang, X., Kuenzel, S. & Watkins, C., 13 Oct 2020.

    Research output: Contribution to conferencePaperpeer-review

  96. E-pub ahead of print

    Successive shortest paths in complete graphs with random edge weights

    Gerke, S., Mezei, B. & Sorkin, G., 13 Oct 2020, (E-pub ahead of print) In: Random Structures and Algorithms. 57, 4, p. 1205-1247 43 p.

    Research output: Contribution to journalArticlepeer-review

  97. E-pub ahead of print

    A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

    Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.

    Research output: Contribution to conferencePaperpeer-review

  98. Published

    Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

    Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2 Oct 2020, In: IEEE Access. 8, p. 180825-180843 19 p., 3028476.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Target Search on Road Networks with Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles

    Booth, K. & Bernardini, S., Oct 2020, International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, p. 6702-6709 8 p. 3038

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

  100. Published

    A Multi-Population FA for Automatic Facial Emotion Recognition

    Mistry, K., Rizvi, B., Rook, C., Iqbal, S., Zhang, L. & Joy, C. P., 28 Sep 2020, A Multi-Population FA for Automatic Facial Emotion Recognition. International Joint Conference on Neural Networks (IJCNN): IEEE

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

  101. Published

    Graph Neural Networks Boosted Personalized Tag Recommendation Algorithm

    Chen, X., Yu, Y., Jiang, F., Zhang, L., Gao, R. & Gao, H., 28 Sep 2020, Graph Neural Networks Boosted Personalized Tag Recommendation Algorithm. Glasgow: IEEE

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

  102. Published

    Prediction with Expert Advice for Value at Risk

    Dzhamtyrova, R. & Kalnishkan, Y., 28 Sep 2020, Proceedings of The 2020 International Joint Conference on Neural Networks (IJCNN 2020). IEEE, 8 p.

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

  103. E-pub ahead of print

    Neural Pairwise Ranking Factorization Machine for Item Recommendation

    Jiao, L., Yu, Y., Zhou, N., Zhang, L. & Yin, H., 18 Sep 2020, (E-pub ahead of print) Neural Pairwise Ranking Factorization Machine for Item Recommendation. Proceedings, Part I. ed. Springer, [Cham], p. 680-688 9 p. (Lecture Notes in Computer Science (12112)).

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

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