Order matching system - PDFSEARCH.IO - Document Search Engine

Order matching system
Results: 11

#	Item
1	Matching, Cardinal Utility, and Social Welfare ELLIOT ANSHELEVICH Rensselaer Polytechnic Institute and SANMAY DAS Rensselaer Polytechnic Institute Add to Reading List Source URL: www.sigecom.org Language: English - Date: 2010-06-09 05:10:16 Combinatorics Matching Game theory Welfare economics Stable marriage problem Utility Cardinal utility CC Social welfare function Order matching system
2	Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-24 05:23:23 Functional programming Data types Type theory Higher-order functions Adjoint functors Monad Pattern matching Type system List Software engineering Declarative programming Computing
3	Efficient Rule-Matching for Automated Coherent Logic Bjarne Holen, Dag Hovland , and Martin Giese, Department of Informatics, University of Oslo, Norway Abstract Coherent logic is a syntactically defined fragment of firs Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 07:43:26 Automated theorem proving Rules of inference Logic programming Predicate logic Rete algorithm First-order logic Resolution Production system Admissible rule Logic Mathematics Mathematical logic
4	Glossary AMS/3 The Third Generation Automatic Order Matching and Execution System Board Board of HKEx CAS Add to Reading List Source URL: www.hkex.com.hk Language: English - Date: 2009-12-03 01:55:22 Hong Kong Exchanges and Clearing CCASS Hong Kong Stock Exchange Securities and Futures Commission Hang Seng Index Stock exchange Nanjing Sample Technology Company Limited Hong Kong Mercantile Exchange Economy of Hong Kong Financial economics Economy of Asia
5	AUTOMATED MATCHING SYSTEMS EXCHANGE S!JBMITTEp VIA WWW.SEQ.QOV February 8, 2015 Paul G. Alvarez Senior Counsel Add to Reading List Source URL: www.sec.gov Language: English - Date: 2015-02-12 14:43:29 Financial system Securities Exchange Act U.S. Securities and Exchange Commission Self-regulatory organization Open outcry Stock exchange Order Stock market Financial economics Investment
6	Matching Rules for the quote-driven part of the Exchange System Add to Reading List Source URL: www.six-swiss-exchange.com Language: English - Date: 2007-11-07 07:00:05 Economics Business Order Market maker Financial quote Electronic communication network Stock market Financial markets Finance
7	AVAILABLE FOR ORDER NOW! April 2012 RapidVet®-H IC for determination of Feline A, B and AB blood is available for order now in kits of 5 or 10 tests, with the kit for determination of Canine DEA 1.1 positive or negativ Add to Reading List Source URL: www.rapidvet.com Language: English - Date: 2012-04-18 15:16:51 Biology Blood type Cross-matching ABO blood group system Agglutination Blood Hematology Anatomy Medicine
8	Address Matching System Application Programming Interface Order Form Customer Information (Please PRINT clearly) Primary Contact Name Add to Reading List Source URL: ribbs.usps.gov Language: English - Date: 2014-09-19 09:27:55 Application programming interface Technology OpenSolaris Oracle Corporation Solaris
9	MATCH Now SM Continuous, price-improved matching TriAct Canada Marketplace LP offers Add to Reading List Source URL: www.triactcanada.com Language: English - Date: 2012-11-05 16:08:26 Finance Financial system Dark liquidity Order Market impact Market liquidity MT4 ECN Bridge Electronic communication network Financial markets Financial economics Stock market
10	Matching concepts across HOL libraries ⋆ arXiv:1405.3906v1 [cs.LO] 15 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-15 21:22:55 Logic in computer science Automated theorem proving HOL Isabelle Proof assistant First-order logic Higher-order logic Function L-system Mathematical logic Mathematics Theoretical computer science