Computing Science & Mathematics

See full division overview

Outputs related to Computing Science & Mathematics

Showing 801 to 900 of 2296

Article

Delivering digital health and well-being at scale: lessons learned during the implementation of the dallas program in the United Kingdom

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://academic.oup.com/jamia/article/23/1/48/2379990; https://doi.org/10.1093/jamia/ocv097

Conference Proceeding

Towards Improved Vehicle Arrival Time Prediction in Public Transportation: Integrating SUMO and Kalman Filter Models

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 Proceeding

An Evaluation of Opportunistic Native Multicast

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 Proceeding

Performance evaluation of OnehopMANET

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

Integrating Twitter Traffic Information with Kalman Filter Models for Public Transportation Vehicle Arrival Time Prediction

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 Proceeding

Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation

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 Proceeding

Embedded Dynamic Improvement

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 Proceeding

A Hybrid Genetic Algorithm for a Two-Stage Stochastic Portfolio Optimization With Uncertain Asset Prices

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

Book Chapter

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

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 Proceeding

Haiku - a Scala combinator toolkit for semi-automated composition of metaheuristics

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 Proceeding

A Multi-Objective Simulated Annealing for Bus Driver Rostering

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 Proceeding

Multi-dwelling Refurbishment Optimization: Problem Decomposition, Solution, and Trade-off Analysis

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

Conference Proceeding

Generating Easy and Hard Problems using the Proximate Optimality Principle

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 Proceeding

High-Performance Haplotype Assembly

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 Proceeding

An Agent-Based Approach for Modelling Peer to Peer Networks

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 Proceeding

Strategies for efficiently keeping local linked open data caches up-to-date

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 Proceeding

On-the-fly entity resolution from distributed social media sources for mobile search and exploration

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)

HuEvent 2015 chairs' welcome

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 Proceeding

Influence of time on user profiling and recommending researchers in social media

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 Proceeding

About events, objects, and their relationships: Human-centered event understanding from multimedia

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 Proceeding

A comparison of different strategies for automated semantic document annotation

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 Proceeding

Linked open data visualization with state hopper: Learning about Europe and its countries

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 Proceeding

Multi-oriented text extraction from information graphics

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 Proceeding

Formalization and preliminary evaluation of a pipeline for text extraction from infographics

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 Proceeding

Social media in journalistic inquiry - Requirements for a search system incorporating journalistic quality criteria

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 Proceeding

Generic process for extracting user profiles from social media using hierarchical knowledge bases

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 Proceeding

Deleting Edges to Restrict the Size of an Epidemic: A New Application for Treewidth

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

Conference Proceeding

Similarity search and applications: 8th International Conference, SISAP 2015 Glasgow, UK, October 12-14, 2015 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

Conference Paper

Multi-objective optimization for a large scale retrofit program for the housing stock in the North East of England

He M, Brownlee A, Lee T, Wright JA & Taylor S (2015) Multi-objective optimization for a large scale retrofit program for the housing stock in the North East of England. 6th International Building Physics Conference. Energy Procedia, 78, pp. 854-859. http://www.sciencedirect.com/science/article/pii/S1876610215017397; https://doi.org/10.1016/j.egypro.2015.11.007

Conference Proceeding

A Comparison of Learning Rules for Mixed Order Hyper Networks

Swingler K (2015) A Comparison of Learning Rules for Mixed Order Hyper Networks. In: Proceedings of the 7th International Joint Conference on Computational Intelligence. NCTA (IJCCI). Setubal, Portugal: Science and Technology Publications, pp. 17-27. http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220%2f0005588000170027; https://doi.org/10.5220/0005588000170027

Conference Proceeding

Characterising information correlation in a stochastic Izhikevich neuron

Yang Z, Gandhi VS, Karamanoglu M & Graham B (2015) Characterising information correlation in a stochastic Izhikevich neuron. In: Proceedings of the International Joint Conference on Neural Networks 2015. 2015. 2015 International Joint Conference on Neural Networks (IJCNN), Killarney, Ireland, 12.07.2015-17.07.2015. New York: IEEE. https://doi.org/10.1109/IJCNN.2015.7280534

Conference Proceeding

A biologically inspired onset and offset speech segmentation approach

Abel A, Hunter D & Smith L (2015) A biologically inspired onset and offset speech segmentation approach. In: 2015 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks, Killarney, Ireland, 12.07.2015-17.07.2105. Washington DC, USA: IEEE Computer Society. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7280347&tag=1; https://doi.org/10.1109/IJCNN.2015.7280347

Book Chapter

Agbakoba EtAl-Medinfo-2015

Bouamrane M (2015) Agbakoba EtAl-Medinfo-2015. In: in Proceedings of MEDINFO 2015: eHealth-enabled Health. Studies in Health Technology and Informatics, Volume 216. IOS Press, pp. 487 - 491. https://ebooks.iospress.nl/doi/10.3233/978-1-61499-564-7-487; https://doi.org/10.3233/978-1-61499-564-7-487

Conference Proceeding

Activity-dependent regulation decreases metabolic cost in the auditory brainstem

Michel C & Graham B (2015) Activity-dependent regulation decreases metabolic cost in the auditory brainstem. In: 2015 7th International IEEE/EMBS Conference on Neural Engineering (NER 2015): Proceedings of a meeting held 22-24 April 2015, Montpellier, France. 2015 7th International IEEE/EMBS Conference on Neural Engineering (NER 2015), Montpellier, France, 22.04.2015-24.04.2015. New York: IEEE, pp. 312-315. https://ieeexplore.ieee.org/abstract/document/7146622/; https://doi.org/10.1109/NER.2015.7146622

Conference Proceeding

Genetic Improvement of Energy Usage is only as Reliable as the Measurements are Accurate

Haraldsson S & Woodward J (2015) Genetic Improvement of Energy Usage is only as Reliable as the Measurements are Accurate. In: Silva S (ed.) GECCO Companion '15: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO 2015: Genetic and Evolutionary Computation Conference, Madrid, Spain, 11.07.2015-15.07.2015. New York: ACM, pp. 821-822. http://dl.acm.org/citation.cfm?id=2768421; https://doi.org/10.1145/2739482.2768421

Conference Proceeding

Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava

Burles N, Bowles E, Brownlee A, Attila Kocsis Z, Swan J & Veerapen N (2015) Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava. In: Barros M & Labiche Y (eds.) Search-Based Software Engineering. Lecture Notes in Computer Science, 9275. Symposium on Search-Based Software Engineering (SSBSE 2015), Bergamo, Italy, 05.09.2015-07.09.2015. Switzerland: Springer International Publishing, pp. 255-261. http://dx.doi.org/10.1007/978-3-319-22183-0_20; https://doi.org/10.1007/978-3-319-22183-0_20

Conference Proceeding

Do deep features generalize from everyday objects to remote sensing and aerial scenes domains?

Penatti OAB, Nogueira K & dos Santos JA (2015) Do deep features generalize from everyday objects to remote sensing and aerial scenes domains?. In: 2015 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). The IEEE Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, 2015, Boston, MA, USA, 07.06.2015-12.06.2015. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/cvprw.2015.7301382

Article

Reverse engineering of biochar

Morales VL, Pérez-Reche FJ, Hapca SM, Hanley KL, Lehmann J & Zhang W (2015) Reverse engineering of biochar. Bioresource Technology, 183, pp. 163-174. https://doi.org/10.1016/j.biortech.2015.02.043

Conference Proceeding

Structural Coherence of Problem and Algorithm: An Analysis for EDAs on all 2-bit and 3-bit Problems

Brownlee A, McCall J & Christie LA (2015) Structural Coherence of Problem and Algorithm: An Analysis for EDAs on all 2-bit and 3-bit Problems. In: Proceedings of the 2015 IEEE Congress on Evolutionary Computation. IEEE Congress on Evolutionary Computation 2015, Sendai, Japan, 25.05.2015-28.05.2015. Piscataway, NJ, USA: IEEE Press, pp. 2066-2073. https://doi.org/10.1109/CEC.2015.7257139

Conference Proceeding

Strategic Interactions and Information Exchange on Networks: An Agent Based Simulation Model of Landowner Behavior in Conservation Incentive Schemes

Banerjee S & Maharaj S (2015) Strategic Interactions and Information Exchange on Networks: An Agent Based Simulation Model of Landowner Behavior in Conservation Incentive Schemes. In: Miguel F, Amblard F, Barcelo J & Madella M (eds.) Advances in Computational Social Science and Social Simulation: Proceedings of the Social Simulation Conference 2014 Barcelona, Catalunya (Spain), September 15. Social Simulation Conference, Universitat Autonoma Barcelona, 01.09.2014-05.09.2014. Barcelona: Universitat Autònoma de Barcelona Press, pp. 42-46. http://ddd.uab.cat/pub/poncom/2014/125597/advcomsocsci_a2014.pdf