AC - PDFSEARCH.IO - Document Search Engine

AC
Results: 359273

#	Item
31	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
32	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
33	SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, Add to Reading List Source URL: scan2018.oishi.info.waseda.ac.jp Language: English - Date: 2018-09-08 22:45:08 Mathematics Computer arithmetic Numerical analysis Applied mathematics Arithmetic Interval arithmetic Computer-assisted proof Computational science Scan
34	MultiVAC: A High-Throughput Flexible Public Blockchain Based on Trusted Sharding Computation MultiVAC Foundation June, 2018, version 0.1 Abstract: MultiVAC is a next-generation high-performance public blockch Add to Reading List Source URL: www.mtv.ac Language: English - Date: 2018-10-22 10:30:36 Cryptocurrencies Blockchains Computing Concurrent computing Alternative currencies Data management Cross-platform software Ethereum Shard Smart contract Proof-of-stake Distributed ledger
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	BigDataBench: a Big Data Benchmark Suite from Internet Services Lei Wang1,7 , Jianfeng Zhan ∗1 , Chunjie Luo1 , Yuqing Zhu1 , Qiang Yang1 , Yongqiang He2 , Wanling Gao1 , Zhen Jia1 , Yingjie Shi1 , Shujie Zhang3 , Chen Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2017-06-12 05:31:23 Computing Data Data management Data modeling Apache Software Foundation Benchmark Big data Apache Hadoop Extract transform load Vertica Semi-structured data Oracle NoSQL Database
39	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
40	Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-03-04 09:24:11 Mathematics Mathematical analysis Distribution Functional analysis Parameter space Linear temporal logic BorelKolmogorov paradox

UPDATE