.uk - PDFSEARCH.IO - Document Search Engine

.uk
Results: 509634

#	Item
31	How to set up a Workers’ Co-op Fourth edition - Summer 2015 www.RadicalRoutes.org.uk Add to Reading List Source URL: www.radicalroutes.org.uk Language: English - Date: 2017-02-28 18:06:11 Business models Market socialism Structure Economy Cooperatives Business Consumers' co-operative Worker cooperative The Co-operative brand The Co-operative Group Rochdale Principles Housing cooperative
32	PDF Document Add to Reading List Source URL: distribution.nbni.co.uk - Date: 2017-09-05 08:24:46
33	The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:08:44 Software engineering Mathematical logic Theoretical computer science Formal methods Logic in computer science Model theory Computability theory Procedural programming languages First-order logic Automated theorem proving ALGOL 68 Let expression
34	A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-10-27 05:19:34 Formal languages Nested word Words
35	Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:32 Theoretical computer science Formal methods Mathematical logic Logic in computer science Mathematics Constraint programming Automated theorem proving Satisfiability modulo theories Formal verification Type theory First-order logic Vampire
36	Microsoft Word - Category representation and response location shifts in category learning.psych research.r1.submitted Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2014-01-17 10:18:12 Neuroscience Neuropsychology Psychology Cognitive science Educational psychology Intelligence Learning Neuropsychological assessment Systems science Salience
37	Microsoft Word - peers_JOLE_May2009.doc Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2009-05-25 06:05:53 Analysis of variance Design of experiments Causal inference Knowledge Metaphysics Scientific method Sampling Survey methodology Confounding Fixed effects model Statistics G factor
38	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
39	A year in numbers Who we are Number of staff Add to Reading List Source URL: www.uclh.nhs.uk Language: English - Date: 2018-08-23 05:46:26 University College London Hospitals NHS Foundation Trust Health Royal National Throat Nose and Ear Hospital National Hospital for Neurology and Neurosurgery England Royal Victoria Eye and Ear Hospital
40	When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-04-03 02:53:51 Security engineering Biometrics Cryptography Prevention Surveillance Security Identification Authentication Facial recognition system Password Computer security Replay attack