Christian - PDFSEARCH.IO - Document Search Engine

Christian
Results: 60168

#	Item
1	Relevant affiliations of the Bank Council members Christian Vitta, Member of the Bank Council Initial election 2016 Christian Vitta, Preonzo, born 1972, Swiss citizen Add to Reading List Source URL: www.snb.ch Language: English Geography of Europe Europe Cantons of the Helvetic Republic Cantons of Switzerland Canton of Ticino Switzerland Bellinzona
2	11 SeptemberData & Analytics in M&A The art of the possible Christian Westermann, Partner, Data & Analytics Leader Dev Singh, Director, Transaction Services and Deals Data Analytics Add to Reading List Source URL: www.fuw.ch Language: English - Date: 2018-09-19 08:17:48 Information technology management Business PricewaterhouseCoopers Business process management Automation Business process modeling Economy Management
3	Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Theoretical computer science Mathematics Algebra Formal methods Logic in computer science Computability theory Models of computation Lambda calculus Satisfiability modulo theories -ring De Bruijn index
4	arXiv:1512.02325v5 [cs.CV] 29 DecSSD: Single Shot MultiBox Detector Wei Liu1 , Dragomir Anguelov2 , Dumitru Erhan3 , Christian Szegedy3 , Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-12-29 20:22:56 Computational neuroscience Artificial intelligence Computer storage devices Computer data storage Vision Non-volatile memory Solid-state drive Convolutional neural network Object detection Artificial neural network
5	Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Mathematical logic Logic Mathematics Predicate logic Computability theory Models of computation First-order logic Lambda calculus Term Quantifier Natural deduction CurryHoward correspondence
6	Measuring Pay-per-Install: The Commoditization of Malware Distribution Juan Caballero† , Chris Grier∗‡ , Christian Kreibich∗‡ , Vern Paxson∗‡ † IMDEA Software Institute ∗ UC Berkeley ‡ ICSI juan.cabal Add to Reading List Source URL: www.usenix.org Language: English - Date: 2011-06-09 13:31:25 Security Security breaches Malware Computer network security Cybercrime Multi-agent systems Spamming Rogue software Botnet Antivirus software Rogue security software Computer virus
7	COUNCIL FOR CHRISTIAN COLLEGES & UNIVERSITIES ADVANCE MAGAZINEAdvertising Media Kit Add to Reading List Source URL: www.cccu.org Language: English - Date: 2018-07-17 10:30:41 Printing Council for Christian Colleges and Universities Bleed Dots per inch Q source CCCU
8	How to Make Causal Inferences Using Texts∗ Naoki Egami† Christian J. Fong‡ Margaret E. Roberts¶ Add to Reading List Source URL: scholar.princeton.edu Language: English - Date: 2018-10-15 15:48:28 Metaphysics Knowledge Scientific method Graphical models Inductive reasoning Philosophy of science Regression analysis Causal inference Causality Statistics Power Content analysis
9	Sandrine et Nicolas Matthey-Doret-Bolay, à Pully ; Jean-Pierre Bolay et famille ; Les familles parentes et alliées : Christian et Annelise Matthey-Doret-Gasser, à Meyrin et famille ; La famille de Claudine Verdon-M Add to Reading List Source URL: www.hommages.ch Language: French - Date: 2018-10-23 01:02:58
10	MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity Martin Albrecht1 , Lorenzo Grassi3 , Christian Rechberger2,3 , Arnab Roy2 , and Tyge Tiessen2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2017-01-05 05:07:13 Cryptography Block ciphers Data Encryption Standard Finite fields Feistel cipher ARIA Advanced Encryption Standard Differential cryptanalysis ICE Interpolation attack Stream cipher XTR

UPDATE