.uk

Results: 509634



#Item
221Computing / Cross-platform software / Logic in computer science / Runtime verification / Benchmark / Standard Performance Evaluation Corporation / Computer performance / Java

Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 13:08:19
222Mathematical analysis / Probability and statistics / Probability theory / Machine learning / Computational neuroscience / Computational statistics / Artificial neural networks / Bayesian statistics / Gaussian function / Mixture model / Mixture distribution / Joint probability distribution

Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University

Add to Reading List

Source URL: publications.aston.ac.uk

Language: English - Date: 2017-02-05 19:13:20
223120-cell

Motivation Edits Better than Verdicts Adding Labels

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 13:09:06
    224Fellows of the Econometric Society / Economics / Economy / Joshua Angrist / Daron Acemoglu / IZA Institute of Labor Economics / National Bureau of Economic Research / Schools of economic thought / Pol Antrs / David Autor

    Microsoft Word - CV_jsp.DOC

    Add to Reading List

    Source URL: econ.lse.ac.uk

    Language: English - Date: 2018-10-02 04:24:27
    225Entertainment / British Youth Opera / Music / Performing arts / BYO Records / Opera

    BYO FRIENDS ONLINE APPLICATION FORM

    Add to Reading List

    Source URL: www.byo.org.uk

    Language: English - Date: 2018-09-17 08:57:07
    226Music Day UK / Fte de la Musique / World music / Music

    FREE MUSIC ON THE STREETS 21 JUNE every year

    Add to Reading List

    Source URL: www.musicday.org.uk

    Language: English - Date: 2013-09-03 04:02:44
    227Education / Human behavior / Behavior modification / Tertiary education / Vocational education / Apprenticeship / Training / Labour economics / Workplace

    Microsoft Word - Discussion of Bassanini by Pischke.doc

    Add to Reading List

    Source URL: econ.lse.ac.uk

    Language: English - Date: 2005-06-30 10:20:47
    228Computing / Computer programming / Binary trees / Information science / Knowledge representation / Tree / Finger tree / B-tree / 23 tree / Double-ended queue / Search tree

    Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure

    Add to Reading List

    Source URL: www.staff.city.ac.uk

    Language: English - Date: 2014-10-28 05:49:57
    229Linear temporal logic / Temporal logic / Symbol / FO / Differential topology / operator

    Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2012-06-29 07:04:13
    230Security engineering / Electromagnetism / Computer engineering / Computer science / Electrical engineering / Electronic engineering / Computer security / Computing / Carnegie Mellon School of Computer Science / University of Colombo School of Computing

    SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2017-04-10 06:51:54
    UPDATE