Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 801 to 900 of 2339

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)

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)

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)

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


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)

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


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)

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


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)

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)

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


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


Conference Paper (published)

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. In: volume 78. 6th International Building Physics Conference. Amsterdam: Elsevier, pp. 854-859. http://www.sciencedirect.com/science/article/pii/S1876610215017397; https://doi.org/10.1016/j.egypro.2015.11.007


Conference Paper (published)

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 Paper (published)

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 Paper (published)

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


Conference Paper (published)

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 Paper (published)

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 Paper (published)

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