Manuscript - PDFSEARCH.IO - Document Search Engine

Manuscript
Results: 7361

#	Item
21	River Publishers Guidelines for Authors Submitting Journal Paper Action points before submission of final manuscript. Please use this list to ensure that your manuscript is complete. In case of any queries, please get in Add to Reading List Source URL: www.riverpublishers.com Language: English - Date: 2017-08-09 03:35:37 Academic publishing Publishing Public sphere Human behavior Manuscript Abstract
22	River Publishers Guidelines for Authors Submitting a Journal Paper Preparing your manuscript Please use these guidelines to ensure that your manuscript is complete prior to submission of your article. Add to Reading List Source URL: www.riverpublishers.com Language: English - Date: 2017-08-09 03:35:35 Academic publishing Knowledge Publishing Human behavior Intellectual property law Grey literature Manuscript Writing Electronic submission Copyright Book
23	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: homes.sice.indiana.edu Language: English - Date: 2013-08-15 14:47:07 Type theory Software engineering Programming language theory Computing Scheme System F Type system HindleyMilner type system Racket Boolean data type Macro Typing environment
24	Noname manuscript No. (will be inserted by the editor) arXiv:1209.5881v2 [physics.soc-ph] 14 JanAlessio Emanuele Biondo Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-01-14 21:58:02 Economy Probability and statistics Statistical theory Efficient-market hypothesis Financial markets Behavioral finance Stock market Monte Carlo method Randomness Statistical hypothesis testing Trading strategy
25	Author manuscript, published in "WEEDWorkshop on Energy-Efficient Design (2010)" The Search for Energy-Efficient Building Blocks for the Data Center inria, versionJun 2010 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:48 Computing Computer architecture Computer hardware Microprocessors Parallel computing Benchmark Opteron Advanced Micro Devices Multi-core processor Intel Atom Central processing unit Intel
26	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-04 14:48:40 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
27	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:44:06 Logic Mathematical logic Theoretical computer science FO Finite model theory Predicate transformer semantics Model theory Substitution
28	Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:15:26 Digital electronics Electronic engineering Electrical engineering Logic gates Electronics Digital systems Logic in computer science C-element Asynchronous circuit Chemical reaction network theory Flip-flop Sequential logic
29	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli` Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-08-11 12:58:04 Computing Software engineering Computer programming Functional languages Program analysis Data types Programming languages Object-oriented programming languages ANSI/ISO C Specification Language Runtime verification Benchmark KeY
30	Noname manuscript No. (will be inserted by the editor) Programming Discrete Distributions with Chemical Reaction Networks Luca Cardelli · Marta Kwiatkowska · Luca Laurenti Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-06 07:00:48 Mathematics Mathematical analysis Poisson distribution Distribution Markov chain Valuation Binomial distribution Probability distribution Random variable