1. 2021
  2. 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

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

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

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

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

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

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

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

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

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

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

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

  14. Unpublished
  15. 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

  16. Published

    Hamiltonicity, Pancyclicity and Full Cycle Extendability in Multipartite Tournaments

    Zhang, Z., Zhang, X., Gutin, G. & Lou, D., 2021, In: Journal of Graph Theory. 97, 2, p. 171-191 21 p.

    Research output: Contribution to journalArticlepeer-review

  17. Published
  18. 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

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

  20. Published

    Transformer-based conformal predictors for paraphrase detection

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

    Research output: Contribution to conferencePaperpeer-review

  21. 2020
  22. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  48. Published
  49. Published

    Evaluation and Extension of Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., Gammerman, J. & Rehal, D., 11 Sep 2020, 1 p. Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications.

    Research output: Other contribution

  50. Published

    Predicting the Frequencies of Drug Side effects

    Galeano, D., Li, S., Gerstein, M. & Paccanaro, A., 11 Sep 2020, In: Nature Communications. 11, p. 1-14 14 p., 4575.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    Evolving CNN-LSTM Models for Time Series Prediction Using Enhanced Grey Wolf Optimizer

    Xie, H., Zhang, L. & Lim, C. P., 3 Sep 2020, In: IEEE Access. 8, p. 161519-161541 23 p.

    Research output: Contribution to journalArticlepeer-review

  52. E-pub ahead of print

    Epidemic contact tracing with smartphone sensors

    Nguyen, D. K. A., Luo, Z. & Watkins, C., 1 Sep 2020, (E-pub ahead of print) In: Journal of Location Based Services. 37 p.

    Research output: Contribution to journalArticlepeer-review

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