Algorithmic correspondence for intuitionistic modal mu-calculus Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh Abstract In the present paper, the algorithmic correspondence theory developed in (Conr

Source URL: www.appliedlogictudelft.nl

Algorithmic Correspondence and Canonicity for Distributive Modal Logic Willem Conradie and Alessandra Palmigiano Revised: 8 SeptemberAbstract

Source URL: www.appliedlogictudelft.nl

Research Statements Shang-Hua Teng Over the past two decades, I have been working on problems at the intersection of Algorithm Design, Optimization, Algorithmic Game and Economics Theories, Scientific Computation, and Pa

Source URL: www-bcf.usc.edu

arXiv:1503.01007v4 [cs.NE] 1 JunInferring Algorithmic Patterns with Stack-Augmented Recurrent Nets Tomas Mikolov

Source URL: arxiv.org

Algorithmic and Analysis Techniques in Property Testing Dana Ron∗ School of EE Tel-Aviv University Ramat Aviv, Israel

Source URL: www.eng.tau.ac.il

GRAD AND CLASSES WITH BOUNDED EXPANSION II. ALGORITHMIC ASPECTS ˇ RIL ˇ AND PATRICE OSSONA DE MENDEZ JAROSLAV NESET

Source URL: iti.mff.cuni.cz

Large-Treewidth Graph Decompositions and Applications Chandra Chekuri∗ ABSTRACT Treewidth is a graph parameter that plays a fundamental role in several structural and algorithmic results. We study

Source URL: ttic.uchicago.edu

The Sixth Lecture on Algorithmic Randomness∗ Rod Downey School of Mathematics, Statistics, and Computer Science Victoria University PO Box 600 Wellington New Zealand

Source URL: www.mcs.vuw.ac.nz

Cover Story ELECTRONIC TRADING FORCES COMPETITION ONTO EXCHANGES Seeing the end of a monopoly

Source URL: www.m-daq.com

• Finance
• Economy
• Money
• Financial markets
• Stock market
• Dark liquidity
• Electronic trading
• Alternative trading system
• Algorithmic trading
• High-frequency trading
• Instinet
• Australian Securities Exchange

TURING DEGREES OF REALS OF POSITIVE EFFECTIVE PACKING DIMENSION ROD DOWNEY AND NOAM GREENBERG Abstract. A relatively longstanding question in algorithmic randomness is Jan Reimann’s question whether there is a Turing c

Source URL: www.mcs.vuw.ac.nz