Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 701 to 800 of 2243

Conference Proceeding

Langdon WB & Ochoa G (2016) Genetic improvement: A key challenge for evolutionary computation. In: 2016 IEEE Congress on Evolutionary Computation, CEC 2016. 2016 IEEE Congress on Evolutionary Computation (CEC), Vancouver, Canada, 24.07.2016-29.07.2016. Piscataway, NJ, USA: IEEE, pp. 3068-3075. https://doi.org/10.1109/CEC.2016.7744177


Conference Proceeding

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


Conference Proceeding

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

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


Conference Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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


Lecture

Maharaj S, Jones G, Greene P & Docherty C (2016) Gamification for public engagement with invasive tree pests and diseases (Presentation) 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 Proceeding

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


Conference Proceeding

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

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

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 Proceeding

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

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

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

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

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

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

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

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

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

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

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

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 Proceeding

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

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

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

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

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