950 resultados para Symbolic Execution
Resumo:
Mode of access: Internet.
Resumo:
Edited by M. Greenewalt.
Resumo:
Photocopy.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
The t.p. is a type-facsimile of the original ed.
Resumo:
"A supplement to the author's work on wills, and arranged in a similar manner." --T.p.
Resumo:
Includes bibliographical references (p. 27).
Resumo:
"The papers [appendices] ... form the enclosures to the Despatch in the Financial department, no. 322, dated 22nd August 1872. "--[pt. 1] p.1.
Resumo:
Binder's title: Improvement in bridges.
Resumo:
This paper examines execution costs and the impact of trade size for stock index futures using price-volume transaction data from the London International Financial Futures and Options Exchange. Consistent with Subrahmanyam [Rev. Financ. Stud. 4 (1991) 11] we find that effective half spreads in the stock index futures market are small compared to stock markets, and that trades in stock index futures have only a small permanent price impact. This result is important as it helps to better understand the success of equity index products such as index futures and Exchange Traded Funds. We also find that there is no asymmetry in the post-trade price reaction between purchases and sales for stock index futures across various trade sizes. This result is consistent with the conjecture in Chan and Lakonishok [J. Financ. Econ. 33 (1993) 173] that the asymmetry surrounding block trades in stock markets is due to the high cost of short selling and the general reluctance of traders to short sell on stock markets. (C) 2004 Elsevier B.V. All rights reserved.
Resumo:
Generalization performance in recurrent neural networks is enhanced by cascading several networks. By discretizing abstractions induced in one network, other networks can operate on a coarse symbolic level with increased performance on sparse and structural prediction tasks. The level of systematicity exhibited by the cascade of recurrent networks is assessed on the basis of three language domains. (C) 2004 Elsevier B.V. All rights reserved.