Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 801 to 900 of 2375

Conference Paper (published)

Scott E, Hoyle A & Shankland C (2016) Process Algebra with Layers: A Language for Multi-scale Integration Modelling, Illustrated by a Cell Cycle and DNA Damage Case Study. In: Bracciali A & Caravagna G (eds.) Proceedings of Computational Intelligence Methods for Bioinformatics and Biostatistics. 13th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Stirling, 01.09.2016-03.09.2016. Stirling: University of Stirling, pp. 240-246. http://www.cs.stir.ac.uk/events/cibb2016/index.html


Article

Mort A, Eadie L, Regan L, Macaden A, Heaney D, Bouamrane M, Rushworth G & Wilson P (2016) Combining transcranial ultrasound with intelligent communication methods to enhance the remote assessment and management of stroke patients: Framework for a technology demonstrator. Health Informatics Journal, 22 (3), pp. 691-701. https://doi.org/10.1177/1460458215580353


Conference Paper (published)

Yang X, Huang K, Zhang R & Hussain A (2016) Learning latent features with infinite non-negative binary matrix tri-factorization. In: Hirose A, Ozawa S, Doya K, Ikeda K, Lee M & Liu D (eds.) Neural Information Processing: 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part I. Lecture Notes in Computer Science, 9947. ICONIP 2016: 23rd International Conference on Neural Information Processing, Kyoto, Japan, 16.10.2016-21.10.2016. Cham, Switzerland: Springer, pp. 587-596. https://doi.org/10.1007/978-3-319-46687-3_65


Conference Paper (published)

Bracciali A, Aldinucci M, Patterson M, Marschall T, Pisanti N, Merelli I & Torquati M (2016) PWHATSHAP: efficient haplotyping for future generation sequencing. In: Nonis A, Di Serio C, Lio' P, Tagliaferri R & Rizzo R (eds.) volume 17. 11th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2014), Cambridge, UK, 26.06.2014-28.06.2014. BioMed Central. http://www.cussb.unisr.it/cibb2014/; https://doi.org/10.1186/s12859-016-1170-y


Conference Paper (published)

Adair J, Brownlee A & Ochoa G (2016) Evolutionary Algorithms with Linkage Information for Feature Selection in Brain Computer Interfaces. In: Angelov P, Gegov A, Jayne C & Shen Q (eds.) Advances in Computational Intelligence Systems: Contributions Presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK. Advances in Intelligent Systems and Computing, 513. UKCI 2016 - 16th UK Workshop on Computational Intelligence, Lancaster, 07.09.2016-09.09.2016. London: Springer, pp. 287-307. https://doi.org/10.1007/978-3-319-46562-3_19


Conference Paper (published)

Veerapen N, Ochoa G, Tinós R & Whitley D (2016) Tunnelling Crossover Networks for the Asymmetric TSP. In: Handl J, Hart E, Lewis P, Lopez-Ibanez M, Ochoa G & Paechter B (eds.) Parallel Problem Solving from Nature – PPSN XIV: 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings. Lecture Notes in Computer Science, 9921. PPSN2016 - 14th International Conference on Parallel Problem Solving from Nature, Edinburgh, 17.09.2016-21.09.2016. Cham, Switzerland: Springer, pp. 994-1003. https://doi.org/10.1007/978-3-319-45823-6_93


Conference Paper (published)

Brownlee A, Woodward J & Swan J (2016) Metaheuristic Design Pattern: Surrogate Fitness Functions. In: Silva S (ed.) GECCO Companion '15 Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO 2015: Annual Conference on Genetic and Evolutionary Computation, Madrid, Spain, 11.07.2015-15.07.2015. New York: ACM, pp. 1261-1264. https://doi.org/10.1145/2739482.2768499


Conference Paper (published)

Herrmann S, Ochoa G & Rothlauf F (2016) Communities of Local Optima as Funnels in Fitness Landscapes. In: Friedrich T (ed.) Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20 - 24, 2016. GECCO 16: Genetic and Evolutionary Computation Conference 2016, Denver, CO, USA, 20.07.2016-24.07.2016. New York: ACM, pp. 325-331. https://doi.org/10.1145/2908812.2908818


Conference Paper (published)

Alwadani D, Kolberg M & Buford J (2016) Opportunistic native multicast under churn. In: Proceedings of 2016 SAI Computing Conference, SAI 2016. 2016 SAI Computing Conference (SAI), London, 13.07.2016-15.07.2016. Piscataway, NJ, USA: IEEE, pp. 644-648. https://doi.org/10.1109/SAI.2016.7556050


Conference Paper (published)

Gromova E, Gromov D, Timonin N, Kirpichnikova A & Blakeway S (2016) A Dynamic Game of Mobile Agent Placement in a MANET. In: 2016 International Conference on Systems Informatics, Modelling and Simulation (SIMS). 2016 International Conference on Systems Informatics, Modelling and Simulation (SIMS), Riga, Latvia, 01.06.2016-03.06.2016. unpublished: IEEE. https://doi.org/10.1109/sims.2016.25


Conference Paper (published)

Walton J, Blakeway S & Kirpichnikova A (2016) An Analysis of MANET Routing Protocol Performance for an Interactive User Engaging Quiz. In: 2016 International Conference on Systems Informatics, Modelling and Simulation (SIMS). 2016 International Conference on Systems Informatics, Modelling and Simulation (SIMS), Riga, Latvia, 01.06.2016-03.06.2016. Piscataway, NJ, USA: IEEE, pp. 147-152. https://doi.org/10.1109/sims.2016.24


Presentation / Talk

Maharaj S, Jones G, Greene P & Docherty C (2016) Gamification for public engagement with invasive tree pests and diseases. First International European Citizen Science Association (ESCA) Conference 2016: Citizen Science - Innovation in Open Science, Society and Policy, Berlin, 19.05.2016-21.05.2016.


Other

Farkas JZ, Gourley S, Liu R & Yakubu A (2016) Using mathematics at AIM to outwit mosquitoes. Notices of the American Mathematical Society, 63 (3), pp. 292-293. http://www.ams.org/journals/notices/201603/201603-full-issue.pdf


Conference Paper (published)

Ochoa G & Veerapen N (2016) Deconstructing the Big Valley Search Space Hypothesis. In: Chicano F, Hu B & García-Sánchez P (eds.) Evolutionary Computation in Combinatorial Optimization: 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings. Lecture Notes in Computer Science, 9595. 16th European Conference on Evolutionary Computation in Combinatorial Optimisation, EvoCOP 2016, Porto, Portugal, 30.03.2016-01.04.2016. Cham, Switzerland: Springer International Publishing, pp. 58-73. http://link.springer.com/chapter/10.1007%2F978-3-319-30698-8_5; https://doi.org/10.1007/978-3-319-30698-8_5


Article

Devlin AM, McGee-Lennon M, O’Donnell CA, Bouamrane M, Agbakoba R, O’Connor S, Grieve E, Finch T, Wyke S, Watson N, Browne S, Mair FS & the “dallas” evaluation team (2016) Delivering digital health and well-being at scale: lessons learned during the implementation of the dallas program in the United Kingdom. JAMIA, Journal of the American Medical Informatics Association, 23 (1), pp. 48-59. https://doi.org/10.1093/jamia/ocv097


Conference Paper (published)

Burles N, Swan J, Bowles E, Brownlee A, Attila Kocsis Z & Veerapen N (2015) Embedded Dynamic Improvement. In: Silva S (ed.) GECCO Companion '15 Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference. GECCO '15 Genetic and Evolutionary Computation Conference 2015, Madrid, Spain, 11.07.2015-15.07.2015. New York: ACM, pp. 831-832. https://doi.org/10.1145/2739482.2768423


Conference Paper (published)

Epitropakis M, Yoo S, Harman M & Burke E (2015) Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation. In: International Symposium on Software Testing and Analysis (ISSTA'15). International Symposium on Software Testing and Analysis (ISSTA'15), Baltimore, MD, USA, 12.07.2015-17.07.2015. New York, NY, USA: ACM, pp. 234-245. https://doi.org/10.1145/2771783.2771788


Conference Paper (published)

Abidin AF & Kolberg M (2015) Towards Improved Vehicle Arrival Time Prediction in Public Transportation: Integrating SUMO and Kalman Filter Models. In: 2015 17th UKSIM-AMSS International Conference on Modelling and Simulation. 17th Intl Conference on Modelling and Simulation, UKSim 2015, IEEE, March 2015, Cambridge, 25.03.2015-27.03.2015. Washington DC, USA: IEEE Computer Society, pp. 147-152. http://uksim2015.info/


Conference Paper (published)

Alwadani D, Kolberg M & Buford J (2015) An Evaluation of Opportunistic Native Multicast. In: IEEE CAMAD 2015: Proceedings of the 20th IEEE Workshop on Computer Aided Modelling and Design of Communication Links and Networks. 20th IEEE Workshop on Computer Aided Modelling and Design of Communication Links and Networks (IEEE CAMAD) 2015, 07.09.2015-09.09.2015. Piscataway, NJ, USA: IEEE, pp. 170-174. https://doi.org/10.1109/CAMAD.2015.7390503


Conference Paper (published)

Al Mojamed M & Kolberg M (2015) Performance evaluation of OnehopMANET. In: 2015 Science and Information Conference (SAI). 2015 Science and Information Conference (SAI), London, 28.07.2015-30.07.2015. Washington DC, USA: IEEE Computer Society, pp. 1028-1032. https://doi.org/10.1109/SAI.2015.7237268


Book Chapter

Abidin AF, Kolberg M & Hussain A (2015) Integrating Twitter Traffic Information with Kalman Filter Models for Public Transportation Vehicle Arrival Time Prediction. In: Trovati M, Hill R, Anjum A, Zhu S & Liu L (eds.) Big-Data Analytics and Cloud Computing: Theory, Algorithms and Applications. Cham, Switzerland: Springer, pp. 67-82. https://doi.org/10.1007/978-3-319-25313-8_5


Conference Paper (published)

McCall J, Christie LA & Brownlee A (2015) Generating Easy and Hard Problems using the Proximate Optimality Principle. In: Silva S (ed.) Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, Spain, 11.07.2015-15.07.2015. New York: ACM, pp. 767-768. http://dl.acm.org/citation.cfm?id=2764890; https://doi.org/10.1145/2739482.2764890


Conference Paper (published)

Aldinucci M, Bracciali A, Marschall T, Patterson M, Pisanti N & Torquati M (2015) High-Performance Haplotype Assembly. In: Serio C, Lio P, Nonis A & Tagliaferri R (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics: 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers. Lecture Notes in Computer Science, 8623. 11th International Meeting, CIBB 2014, Cambridge, 26.06.2014-28.06.2014. Cham, Switzerland: Springer, pp. 245-258. https://doi.org/10.1007/978-3-319-24462-4_21


Conference Paper (published)

Alharbi H & Hussain A (2015) An Agent-Based Approach for Modelling Peer to Peer Networks. In: Proceedings - UKSim-AMSS 17th International Conference on Computer Modelling and Simulation, UKSim 2015. UKSim-AMSS 17th International Conference on Computer Modelling and Simulation, UKSim 2015, Cambridge, UK, 25.03.2017-27.03.2017. New York: IEEE, pp. 532-537. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7576597; https://doi.org/10.1109/UKSim.2015.47


Conference Paper (published)

Attila Kocsis Z, Brownlee A, Swan J & Senington R (2015) Haiku - a Scala combinator toolkit for semi-automated composition of metaheuristics. In: Barros M & Labiche Y (eds.) Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings. Lecture Notes in Computer Science, 9275. 7th International Symposium, SSBSE 2015, Bergamo, Italy, 05.09.2015-07.09.2015. Cham, Switzerland: Springer, pp. 125-140. https://doi.org/10.1007/978-3-319-22183-0_9


Conference Paper (published)

He M, Brownlee A, Wright JA & Taylor S (2015) Multi-dwelling Refurbishment Optimization: Problem Decomposition, Solution, and Trade-off Analysis. In: Proceedings of BS2015: 14th Conference of International Building Performance Simulation Association, Hyderabad, India, Dec. 7-9, 2015. 4th International Conference of the International Building Performance Simulation Association (BS2015), Hyderabad, India, 07.12.2015-09.12.2015. International Building Performance Simulation Association (IBPSA), pp. 2066-2072. http://www.ibpsa.org/proceedings/BS2015/p2364.pdf


Book Chapter

Bigi G, Bracciali A, Meacci G & Tuosto E (2015) Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. In: Bodei C, Ferrari G & Priamo C (eds.) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, 9465. Cham, Switzerland: Springer, pp. 142-161. http://link.springer.com/chapter/10.1007/978-3-319-25527-9_11


Conference Paper (published)

Cui T, Bai R, Parkes AJ, He F, Qu R & Li J (2015) A Hybrid Genetic Algorithm for a Two-Stage Stochastic Portfolio Optimization With Uncertain Asset Prices. In: 2015 IEEE Congress on Evolutionary Computation (CEC). 2015 IEEE Congress on Evolutionary Computation (CEC2015), Sendai, Japan. Piscataway, NJ, USA: IEEE, pp. 2518-2525. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7257198&tag=1; https://doi.org/10.1109/CEC.2015.7257198


Conference Paper (published)

Peng K, Shen Y & Li J (2015) A Multi-Objective Simulated Annealing for Bus Driver Rostering. In: Gong M, Pan L, Song T, Tang K & Zhang X (eds.) Bio-Inspired Computing -- Theories and Applications: 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings. Communications in Computer and Information Science, 562. 2015 International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA2015), Hefei, China, 25.09.2015-28.09.2015. Berlin: Springer, pp. 315-330. http://link.springer.com/chapter/10.1007/978-3-662-49014-3_29; https://doi.org/10.1007/978-3-662-49014-3_29


Conference Paper (published)

Dividino R, Gottron T & Scherp A (2015) Strategies for efficiently keeping local linked open data caches up-to-date. In: Simperl E, Arenas M, Corcho O, Strohmaier M, d'Aquin M, Srinivas K, Groth P, Dumontier M, Heflin J, Thirunarayan K & Staab S (eds.) The Semantic Web - ISWC 2015. ISWC 2015. Lecture Notes in Computer Science, 9367. 14th International Semantic Web Conference, ISWC 2015, Bethlehem, PA, USA, 11.10.2015-15.10.2015. Cham, Switzerland: Springer Verlag, pp. 356-373. https://doi.org/10.1007/978-3-319-25010-6_24


Conference Paper (published)

Opitz B, Sztyler T, Jess M, Knip F, Bikar C, Pfister B & Scherp A (2015) On-the-fly entity resolution from distributed social media sources for mobile search and exploration. In: Roland M (ed.) Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia (MUM '15), volume 30-November-2015. 14th International Conference on Mobile and Ubiquitous Multimedia, Linz, Austria, 30.11.2015-02.12.2015. New York: ACM, pp. 14-24. https://doi.org/10.1145/2836041.2836043


Conference Paper (unpublished)

Scherp A, Mezaris V, Ionescu B & De Natale F (2015) HuEvent 2015 chairs' welcome. 2nd ACM International Workshop on Human-centered Event Understanding from Multimedia, HuEvent 2015, Brisbane, 26.10.2015-30.10.2015. https://dl.acm.org/citation.cfm?id=2815244


Conference Paper (published)

Nishioka C, Große-Bölting G & Scherp A (2015) Influence of time on user profiling and recommending researchers in social media. In: Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business (i-KNOW '15), volume 21-22-October-2015. 15th International Conference on Knowledge Technologies and Data-driven Business, Graz, Austria, 21.10.2015-22.10.2015. New York: ACM, p. Article 9. https://doi.org/10.1145/2809563.2809601


Conference Paper (published)

Scherp A, Mezaris V, Ionescu B & De Natale F (2015) About events, objects, and their relationships: Human-centered event understanding from multimedia. In: Proceedings of the 23rd ACM international conference on Multimedia (MM '15). 23rd ACM international conference on Multimedia, Brisbane, Australia, 26.10.2015-30.10.2015. New York: ACM, pp. 1345-1346. https://doi.org/10.1145/2733373.2806413


Conference Paper (published)

Große-Bölting G, Nishioka C & Scherp A (2015) A comparison of different strategies for automated semantic document annotation. In: Proceedings of the 8th International Conference on Knowledge Capture (K-Cap 2015). 8th International Conference on Knowledge Capture (K-Cap '15), Palisades, NY, USA, 07.10.2015-10.10.2015. New York: ACM. https://doi.org/10.1145/2815833.2815838


Conference Paper (published)

Prange A, Windrich M, Grevismühl D, Böschen F & Scherp A (2015) Linked open data visualization with state hopper: Learning about Europe and its countries. In: Proceedings of the 8th International Conference on Knowledge Capture (K-Cap 2015). 8th International Conference on Knowledge Capture (K-Cap 2015), Palisades, NY, USA, 07.10.2015-10.10.2015. New York: ACM. https://doi.org/10.1145/2815833.2816952


Conference Paper (published)

Böschen F & Scherp A (2015) Multi-oriented text extraction from information graphics. In: Proceedings of the 2015 ACM Symposium on Document Engineering (DocEng '15). 2015 ACM Symposium on Document Engineering, Lausanne, Switzerland, 08.09.2015-11.09.2015. New York: ACM, pp. 35-38. https://doi.org/10.1145/2682571.2797092


Conference Paper (published)

Böschen F & Scherp A (2015) Formalization and preliminary evaluation of a pipeline for text extraction from infographics. In: Görg S, Bergmann R & Müller G (eds.) Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, volume 1458. CEUR Workshop Proceedings, 1458. LWA 2015 Workshops: KDML, FGWM, IR, FGD, Trier, Germany, 07.10.2015-09.10.2015. Aachen, Germany: CEUR Workshop Proceedings, pp. 20-31. http://ceur-ws.org/Vol-1458/D03_CRC13_Boeschen.pdf


Conference Paper (published)

Kilian T, Scherp A & Hammes E (2015) Social media in journalistic inquiry - Requirements for a search system incorporating journalistic quality criteria. In: ECIS 2015 Completed Research Papers, volume 2015-May. 23rd European Conference on Information Systems (ECIS 2015), Munster, Germany, 26.05.2015-29.05.2015. Atlanta, Georgia: Association for Information Systems. http://www.ecis2015.eu/conference/program.html


Conference Paper (published)

Große-Bölting G, Nishioka C & Scherp A (2015) Generic process for extracting user profiles from social media using hierarchical knowledge bases. In: Proceedings of the 2015 IEEE 9th International Conference on Semantic Computing. 2015 IEEE 9th International Conference on Semantic Computing (IEEE ICSC 2015), Anaheim, CA, USA, 07.02.2015-09.02.2015. Piscataway, NJ, USA: Institute of Electrical and Electronics Engineers, pp. 197-200. https://doi.org/10.1109/ICOSC.2015.7050806


Conference Paper (published)

Enright J & Meeks K (2015) Deleting Edges to Restrict the Size of an Epidemic: A New Application for Treewidth. In: Lu Z, Kim D, Wu W, Li W & Du D-Z D (eds.) Combinatorial Optimization and Applications: 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings. Lecture Notes in Computer Science, 0302-9743. Combinatorial Optimization and Applications - 9th International Conference, Houston, Texas, 18.12.2015-20.12.2015. Cham, Switzerland: Springer, pp. 574-585. https://doi.org/10.1007/978-3-319-26626-8_42


Edited Proceedings

Amato G, Connor R, Falchi F & Gennaro C (eds.) (2015) Similarity search and applications: 8th International Conference, SISAP 2015 Glasgow, UK, October 12-14, 2015 Proceedings. Lecture Notes in Computer Science, 9371. Similarity Search and Applications: 8th International Conference, SISAP 2015, Glasgow, 12.10.2015-14.10.2015. Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-25087-8


Book Chapter

Agbakoba R, McGee-Lennon M, Bouamrane M, Watson N & Mair F (2015) Implementing a National Scottish Digital Health & Wellbeing Service at Scale: A Qualitative Study of Stakeholders' Views. In: Sarkar IN, Georgiou A & Mazzoncini de Azevedo Marques P (eds.) MEDINFO 2015: eHealth-enabled Health. Studies in Health Technology and Informatics, Volume 216. IOS Press, pp. 487 - 491. https://doi.org/10.3233/978-1-61499-564-7-487


Book Chapter

O'Connor S, Mair FS, McGee-Lennon M, Bouamrane M & O'Donnell K (2015) Engaging in large-scale digital health technologies and services. What factors hinder recruitment?. In: Cornet R, Stoicu-Tivadar L, Horbst A, Parra Calderon CL, Andersen SK & Hercigonja M (eds.) Digital Healthcare Empowering Europeans. Studies in Health Technology and Informatics, vol 210. IOS Press, pp. 306 - 310. https://doi.org/10.3233/978-1-61499-512-8-306