Pattern - PDFSEARCH.IO - Document Search Engine

Pattern
Results: 12809

#	Item
1	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
2	NEX_PATTERN_DARK_ALL_RGB-01 Add to Reading List Source URL: www.trioptima.com Language: English - Date: 2018-06-11 04:28:38 Economy Financial markets Finance Money Markets in Financial Instruments Directive Derivative Valuation
3	NEX_PATTERN_DARK_ALL_RGB-01 Add to Reading List Source URL: www.trioptima.com Language: English - Date: 2018-08-14 10:27:23 Economy Finance Money Financial law Mathematical finance Actuarial science Financial markets Monte Carlo methods in finance XVA Credit risk Margin FVA
4	Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Concurrency control Computing Computer architecture Computer programming Synchronization Linearizability Memory barrier Parallel computing Mutual exclusion Critical section Lock Thread
5	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional
6	NEX_PATTERN_DARK_ALL_RGB-01 Add to Reading List Source URL: www.trioptima.com Language: English - Date: 2017-10-26 09:52:32 Economy Finance Money Financial regulation Financial markets European Union directives Alternative Investment Fund Managers Directive Corporate law Funds International Financial Reporting Standards Markets in Financial Instruments Directive Accounting
7	NEX_PATTERN_DARK_ALL_RGB-01 Add to Reading List Source URL: www.trioptima.com Language: English - Date: 2018-08-27 15:54:22 Economy Finance Money Credit Financial law Collateral management Futures contract SIMM Margin Derivative
8	SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:02:19 Computing Computer architecture System software Recall Android Pattern Short-term memory Student's t-test
9	NEX_PATTERN_DARK_ALL_RGB-02 Add to Reading List Source URL: www.ebs.com Language: English - Date: 2018-09-20 04:23:21 Economy Financial markets Finance Money Last look Foreign exchange market Dark pool Transparency Markets in Financial Instruments Directive Price discovery
10	Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:13:43 Computer programming Declarative programming Software engineering Functional programming Type theory Predicate logic Monad Algebraic data type Conditional Expression Quantifier Standard ML