Editor - PDFSEARCH.IO - Document Search Engine

Editor
Results: 24638

#	Item
11	Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS Add to Reading List Source URL: www.haskell.org Language: English - Date: 2015-02-15 12:19:14 Software engineering Computer programming Declarative programming Type theory Functional programming Data types Type systems Functional languages Haskell Type class Monad Generic programming
12	北京大学基础医学院院长论坛报告题目： How to Publish High Quality Articles 报告人： Mirella Bucci, Ph.D. Senior Editor of Nature Chemical Biology 时 Add to Reading List Source URL: www.bjmu.edu.cn Language: English - Date: 2018-10-22 07:00:12 Nature Publishing
13	FROM THE EDITOR AI for All Part of the movement that will see AI add trillions to the world’s economy over the next decade or so, Intel offers courses for those seeking a deeper, or even Add to Reading List Source URL: eproductalert.com Language: English - Date: 2018-08-22 17:58:37 Computing Concurrent computing Parallel computing Intel Big data HPCC Computer cluster
14	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan · Add to Reading List Source URL: cakeml.org Language: English - Date: 2015-12-16 14:53:21 Mathematical logic Mathematics Logic Logic in computer science Proof assistants Model theory Proof theory Foundations of mathematics ZermeloFraenkel set theory HOL Gdel's completeness theorem Gdel's incompleteness theorems
15	Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor) Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Programming language theory Computer programming Functional languages Debugging Literate programming Haskell Program slicing Insertion sort
16	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 04:04:07 Markov processes Game theory Strategy Stochastic game Markov decision process Probability and statistics Probability Computability theory
17	Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-02 17:25:13 Electrical engineering Network flow problem Clock synchronization Clocks Synchronization Distributed computing Clock skew Time-Triggered Protocol Distributed algorithm Flow network Physics Electromagnetism
18	This PDF is a selection from an out-of-print volume from the National Bureau of Economic Research Volume Title: Innovation Policy and the Economy, Volume 1 Volume Author/Editor: Adam B. Jaffe, Josh Lerner and Scott Stern Add to Reading List Source URL: www.nber.org Language: English - Date: 2008-12-16 14:45:33 Economy Macroeconomics Innovation Economic growth Innovation economics
19	Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:57 Arithmetic Interval Bracket
20	Proceedings on Privacy Enhancing Technologies ; ):1–18 Chen Chen* and Adrian Perrig Keywords: Anonymity, path-hidden protocols DOI Editor to enter DOI Add to Reading List Source URL: www.netsec.ethz.ch Language: English Computing Routing Network architecture Data transmission Wireless networking Internet architecture Packet forwarding Internet Protocol Onion routing Dynamic Source Routing MORE protocol