Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Items where Subject is "Q Science > QA Mathematics > QA75 (Please use QA76 Electronic Computers. Computer Science)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
  • Subject Classification [Library of Congress, Moys] (35226)
    • Q Science (15443)
      • QA Mathematics (5732)
        • QA75 (Please use QA76 Electronic Computers. Computer Science) (40)
Group by: Item Type | Author | No Grouping
Number of items at this level: 40.

Ahmadi-Assalemi, Gabriela, al-Khateeb, Haider M., Maple, Carsten, Epiphaniou, Gregory, Hammoudeh, Mohammad, Jahankhani, Hamid and Pillai, Prashant (2021) Optimising driver profiling through behaviour modelling of in-car sensor and global positioning system data. Computers and Electrical Engineering, 91 . 107047. doi:10.1016/j.compeleceng.2021.107047

Allafi, Walid, zajic, Ivan, Uddin, Kotub, Zhonghua, Shen, Marco, James and Burnham, Keith (2018) Design of delayed fractional state variable filter for parameter estimation of fractional nonlinear models. Nonlinear Dynamics . pp. 1-17. doi:10.1007/s11071-018-4519-0

Asante, Mary, Epiphaniou, Gregory, Maple, Carsten, Al-Khateeb, Haider, Bottarelli, Mirko and Zrar Ghafoor, Kayhan (2021) Distributed ledger technologies in supply chain security management : a comprehensive survey. IEEE Transactions on Engineering Management . doi:10.1109/TEM.2021.3053655 (In Press)

Azhar, Faisal (2015) Marker-less human body part detection, labelling and tracking for human activity recognition. PhD thesis, University of Warwick.

Böhm, Martin, Jeż, Łukasz, Sgall, Jiří and Veselý, Pavel (2021) On packet scheduling with adversarial jamming and speedup. Annals of Operations Research , 298 . pp. 7-42. doi:10.1007/s10479-019-03153-x

Chistikov, Dmitry, Czerwiński, Wojciech , Hofman, Piotr , Pilipczuk, Michał and Wehar, Michael (2019) Shortest paths in one-counter systems. Logical Methods in Computer Science, 15 (1). 19:1-19:28. doi:10.23638/LMCS-15(1:19)2019

Chistikov, Dmitry, Dimitrova, Rayna and Majumdar, Rupak (2017) Approximate counting in SMT and value estimation for probabilistic programs. ACTA Informatica, 54 (8). pp. 729-764. doi:10.1007/s00236-017-0297-2

Colcombet, Thomas , Jurdzinski, Marcin, Lazic, Ranko and Schmitz, Sylvain (2017) Perfect half space games. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 20-23 Jun 2017. Published in: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ISBN 9781509030187. doi:10.1109/LICS.2017.8005105

Crellen, Thomas, Pi, Li, Davis, Emma L., Pollington, Timothy M., Lucas, Tim C. D., Ayabina, Diepreye, Borlase, Anna, Toor, Jaspreet, Prem, Kiesha, Medley, Graham F., Klepac, Petra and Hollingsworth, T. Déirdre (2021) Dynamics of SARS-CoV-2 with waning immunity in the UK population. Philosophical Transactions of the Royal Society B: Biological Sciences, 376 (1829). doi:10.1098/rstb.2020.0274

Czumaj, Artur, Kontogeorgiou, George and Paterson, Michael S. (2021) Haystack hunting hints and locker room communication. In: 48th International Colloquium on Automata, Languages and Programming (ICALP 2021), Virtual, Scotland, 12-16 Jul 2021. Published in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 198 58 : 1-58: 20. ISBN 9783959771955. ISSN 1868-8969. doi:10.4230/LIPIcs.ICALP.2021.58

Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S. and Walukiewicz, Igor (2021) Verifying higher-order concurrency with data automata. In: ACM/IEEE LICS 2021 : 36th Annual Symposium on Logic in Computer Science, Virtual conference, 29 Jun - 2 Jul 2021. Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ISBN 9781665448963. doi:10.1109/LICS52264.2021.9470691

Englert, Matthias, Mezlaf, David and Westermann, Matthias (2018) Online makespan scheduling with job migration on uniform machines. In: 26th Annual European Symposium on Algorithms (ESA 2018), Helsinki, Finland, 20-24 Aug 2018. Published in: 26th Annual European Symposium on Algorithms (ESA 2018), 112 pp. 1-14. ISBN 9783959770811. ISSN 1868-8969. doi:10.4230/LIPIcs.ESA.2018.26

Ernst, Philip A., Kendall, W. S., Roberts, Gareth O. and Rosenthal, Jeff S. (2019) MEXIT : Maximal un-coupling times for stochastic processes. Stochastic Processes and their Applications, 129 (2). pp. 355-380. doi:10.1016/j.spa.2018.03.001

Fairbrother, Jake and Leeke, Matthew (2018) On basis variables for efficient error detection. In: 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'17), Florida, USA, 6-10 Nov 2017. Published in: 2017 IEEE 15th International Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence & Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech) ISBN 9781538619568. doi:10.1109/DASC-PICom-DataCom-CyberSciTec.2017.82

Glebov, Roman, Králʼ, Daniel and Volec, Jan (2019) Compactness and finite forcibility of graphons. Journal of the European Mathematical Society, 21 (10). pp. 3199-3223. doi:10.4171/JEMS/901

Jacomin, Anne-Claire, Gul, Lejla, Sudhakar, Padhmanand, Korcsmaros, Tamas and Nezis, Ioannis P. (2018) What we learned from big data for autophagy research. Frontiers in Cell and Developmental Biology, 6 . 92. doi:10.3389/fcell.2018.00092

Jurdzinski, Marcin and Lazic, Ranko (2017) Succinct progress measures for solving parity games. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 20-23 Jun 2017. Published in: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) pp. 1-9. ISBN 9781509030187. doi:10.1109/LICS.2017.8005092

Kamalakkannan, Kamalavasan, Mudalige, Gihan R., Reguly, Istvan Z. and Fahmy, Suhaib A. (2022) High throughput multidimensional tridiagonal system solvers on FPGAs. In: ACM International Conference on Supercomputing, Virtual, 28-30 Jun 2022. Published in: 2022 International Conference on Supercomputing (ICS ’22) doi:10.1145/3524059.3532371 (In Press)

Kestner, Simon (1974) The information rate and other parameters of probabilistic context free grammars and their parsers. PhD thesis, University of Warwick.

Kochina, Elena, Liakata, Maria and Zubiaga, Arkaitz (2018) All-in-one : multi-task learning for rumour verification. In: 27th International Conference on Computational Linguistics , Santa Fe, New Mexico, USA, 20-26 Aug 2018. Published in: Proceedings of the 27th International Conference on Computational Linguistics pp. 3402-3413. ISBN 9781948087506.

Kulkarni, Vishwesh V. and Raman, Karthik (2016) Fast identification of synthetic lethals using quadratic programming. In: Synthetic Biology UK 2016, Edinburgh, 14-16 Nov 2016. Published in: Synthetic Biology UK 2016

Le, Anhtuan and Maple, Carsten (2019) A simplified approach for dynamic security risk management in connected and autonomous vehicles. In: Living in the Internet of Things (IoT 2019), London, 1-2 May 2019. Published in: Living in the Internet of Things (IoT 2019) ISBN 9781839530890. doi:10.1049/cp.2019.0140

Lu, Zhen Jian, Oliveira, Igor C. and Santhanam, Rahul (2021) Pseudodeterministic lagorithms and the structure of probabilistic time. In: STOC 2021: 53rd Annual ACM Symposium on Theory of Computing, Virtual conference, 21-25 Jun 2021. Published in: STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing pp. 303-316. ISBN 9781450380539. doi:10.1145/3406325.3451085

Lusczek, Elizabeth R., Vincente, Tyrone, Lexcen, Daniel, Kulkarni, Vishwesh V., Mulier, Kristine and Beilman, Greg (2015) Metabolic networks in a porcine model of trauma and hemorrhagic shock demonstrate different control mechanism with carbohydrate pre-feed. BMC Emergency Medicine, 15 (13). pp. 1-7. doi:10.1186/s12873-015-0038-1

Marchant, James M. and Griffiths, Nathan (2017) Convention emergence in partially observable topologies. In: International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@AAMAS 2017), Sao Paulo, Brazil, 8-9 May 2017. Published in: Proceedings of the International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@AAMAS 2017), 10642 pp. 187-202. ISBN 9783319716817. doi:10.1007/978-3-319-71682-4_12

Marchant, James M., Griffiths, Nathan and Leeke, Matthew (2015) Convention emergence and influence in dynamic topologies. In: 14th International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4-8 May 2015. Published in: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems pp. 1785-1786.

Marchant, James M., Griffiths, Nathan, Leeke, Matthew and Franks, Henry P. W. (2015) Destabilising conventions using temporary interventions. In: The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014) , Paris, France, 6 May 2014, 9372 pp. 148-163. ISBN 9783319254203. doi:10.1007/978-3-319-25420-3_10

Miles, Simon and Griffiths, Nathan (2015) Accounting for circumstances in reputation assessment. In: 14th International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4-8 May 2015. Published in: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems pp. 1653-1654.

Mukhopadhyay, Arpan, Hegde, Nidhi and Lelarge, Marc (2019) Asymptotics of replication and matching in large caching systems. IEEE/ACM Transactions on Networking, 27 (4). pp. 1657-1668. doi:10.1109/TNET.2019.2926235

Mukhopadhyay, Arpan, Karthik, A., Mazumdar, Ravi R. and Guillemin, Fabrice (2015) Mean field and propagation of chaos in multi-class heterogeneous loss models. Performance Evaluation, 91 . pp. 117-131. doi:10.1016/j.peva.2015.06.008

Nguyen, Phong H., Turkay, Cagatay, Andrienko, Gennady, Andrienko, Natalia, Thonnard, Olivier and Zouaoui, Jihane (2019) Understanding user behaviour through action sequences : from the usual to the unusual. IEEE Transactions on Visualization and Computer Graphics, 25 (9). doi:10.1109/TVCG.2018.2859969

Pilgram, Paul Theo (1983) Translating lucid data flow into message passing actors. PhD thesis, University of Warwick.

Pizzoferrato, Andrea (2018) Large scale dynamics and fluctuations in non-equilibrium stochastic particle systems. PhD thesis, University of Warwick.

Qin, Min, Chen, Li, Zhao, Nan, Chen, Yunfei, Yu, F. Richard and Wei, Guo (2019) Power-constrained edge computing with maximum processing capacity for IoT networks. IEEE Internet of Things Journal, 6 (3). pp. 4330-4343. doi:10.1109/JIOT.2018.2875218

Smith, Christopher Matthew, Wilson, Mark H., Hartley-Sharpe, Christopher, Gwinnutt, Carl, Dicker, Bridget and Perkins, Gavin D. (2017) The use of trained volunteers in the response to out-of-hospital cardiac arrest – the GoodSAM Experience. Resuscitation, 121 . pp. 123-126. doi:10.1016/j.resuscitation.2017.10.020

Spina, Sandro (2015) Graph-based segmentation and scene understanding for context-free point clouds. PhD thesis, University of Warwick.

Thomason, Alasdair, Griffiths, Nathan and Sanchez Silva, Victor (2015) Parameter optimisation for location extraction and prediction applications. In: 13th IEEE International Conference on Pervasive Intelligence and Computing, Liverpool, UK, 26-28 Oct 2015. Published in: 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing pp. 2173-2180. ISBN 9781509001545. doi:10.1109/CIT/IUCC/DASC/PICOM.2015.322

Wandelt, Sebastian, Wang, Jiaying, Leser, Ulf, Deng, Dong, Gerdjikov, Stefan, Mishra, Shashwat, Mitankin, Petar, Patil, Manish, Siragusa, Enrico, Tiskin, Alexander and Wang, Wei (2014) State-of-the-art in string similarity search and join. SIGMOD Record, Volume 43 (Number 1). pp. 64-76. doi:10.1145/2627692.2627706

Wang, Yiran, Noel, Adam and Yang, Nan (2018) A new simulation algorithm for absorbing receiver in molecular communication. In: IEEE International Conference on Sensing, Communication and Networking (SECON) Workshops 2018, Hong Kong, China, 11-13 Jun 2018. Published in: 2018 IEEE International Conference on Sensing, Communication and Networking (SECON Workshops) ISSN 2155-5494. doi:10.1109/SECONW.2018.8396342

Zhao, Wayne Xin, Li, Sui, He, Yulan, Chang, Edward Y., Wen, Ji-Rong and Li, Xiaoming (2016) Connecting social media to e-commerce : cold-start product recommendation using microblogging information. IEEE Transactions on Knowledge and Data Engineering, 28 (5). pp. 1147-1159. doi:10.1109/TKDE.2015.2508816

This list was generated on Sat May 28 03:53:48 2022 BST.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us