Devotional exercises : chiefly designed for the use of families on the Sabbath, and other opportunities, varying expressions as occasion and circumstances require: selected partly from the Episcopal service: also an address, by the ministers on Piscataqua river, recommending forms in worship: and from sundry public papers, the propriety of keeping the advent of Christ: likewise, a serious address to the spectators on the execution of the pirates, Feb. 18, 1819: to which is added Meditations selected from the works of the Rev. John Flavel, Husbandry and Navigation spiritualized with abridgments and variations: and likewise prayers on the various seasons of the year, selected from the Christian monitor: also, a short abridgment of the book of Job; with poetry on the subject /

Mode of access: Internet.

The Massacre of Glenco : being a true narrative of the barbarous murther of the Glenco-men, in the Highlands of Scotland, by way of military execution, on the 13th of Feb. 1692.

The t.p. is a type-facsimile of the original ed.

Leading American cases and notes upon the law of wills : embracing testamentary capacity, undue influence, the admission of oral testimony in aid of the construction of wills, the execution of wills, &c. /

"A supplement to the author's work on wills, and arranged in a similar manner." --T.p.

Common command language for file manipulation and network job execution : an example /

Includes bibliographical references (p. 27).

Review of the proposed measures for the practical execution of the industrial survey of India.

"The papers [appendices] ... form the enclosures to the Despatch in the Financial department, no. 322, dated 22nd August 1872. "--[pt. 1] p.1.

A description of Ithiel Town's improvement in the principle, construction, and practical execution of bridges, for roads, railroads, and aqueducts ... also critical remarks ... with practical and scientific remarks and observations.

Binder's title: Improvement in bridges.

A note on execution costs for stock index futures: Information versus liquidity effects

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.

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

On the execution of collaborative business processes

Management of collaborative business processes that span multiple business entities has emerged as a key requirement for business success. These processes are embedded in sets of rules describing complex message-based interactions between parties such that if a logical expression defined on the set of received messages is satisfied, one or more outgoing messages are dispatched. The execution of these processes presents significant challenges since each contentrich message may contribute towards the evaluation of multiple expressions in different ways and the sequence of message arrival cannot be predicted. These challenges must be overcome in order to develop an efficient execution strategy for collaborative processes in an intensive operating environment with a large number of rules and very high throughput of messages. In this paper, we present a discussion on issues relevant to the evaluation of such expressions and describe a basic query-based method for this purpose, including suggested indexes for improved performance. We conclude by identifying several potential future research directions in this area. © 2010 IEEE. All rights reserved

Implementation of a triple modular redundant FPGA based safety critical system for reliable software execution

This paper describes the implementation of a TMR (Triple Modular Redundant) microprocessor system on a FPGA. The system exhibits true redundancy in that three instances of the same processor system (both software and hardware) are executed in parallel. The described system uses software to control external peripherals and a voter is used to output correct results. An error indication is asserted whenever two of the three outputs match or all three outputs disagree. The software has been implemented to conform to a particular safety critical coding guideline/standard which is popular in industry. The system was verified by injecting various faults into it.

Intelligent execution monitoring and error analysis in planning involving processes

An intelligent agent, operating in an external world which cannot be fully described in its internal world model, must be able to monitor the success of a previously generated plan and to respond to any errors which may have occurred. The process of error analysis requires the ability to reason in an expert fashion about time and about processes occurring in the world. Reasoning about time is needed to deal with causality. Reasoning about processes is needed since the direct effects of a plan action can be completely specified when the plan is generated, but the indirect effects cannot. For example, the action `open tap' leads with certainty to `tap open', whereas whether there will be a fluid flow and how long it might last is more difficult to predict. The majority of existing planning systems cannot handle these kinds of reasoning, thus limiting their usefulness. This thesis argues that both kinds of reasoning require a complex internal representation of the world. The use of Qualitative Process Theory and an interval-based representation of time are proposed as a representation scheme for such a world model. The planning system which was constructed has been tested on a set of realistic planning scenarios. It is shown that even simple planning problems, such as making a cup of coffee, require extensive reasoning if they are to be carried out successfully. The final Chapter concludes that the planning system described does allow the correct solution of planning problems involving complex side effects, which planners up to now have been unable to solve.

Prior action execution has no effect on corticospinal facilitation during action observation

Transcranial magnetic stimulation (TMS) has been used widely in research investigating corticospinal (CS) excitability during action observation. Generally, this work has shown that observation of an action performed by others, in the absence of overt movement, modulates the excitability of the CS pathway in humans. Despite the extent of the literature exploring action observation effects, however, there has been little research to date that has compared observation with the combination of observation and execution directly. Here, we report a single-pulse TMS study that investigated whether CS excitability during action observation was modulated by actions performed by the observers prior to viewing a ball pinching action. The results showed that CS excitability during action observation increased when compared to observation of a static hand, but that there was no additional motor facilitation when participants performed the same action prior to observing it. Our findings highlight the importance of action observation and its consequences on the CS system, whilst also illustrating the limited effect of prior action execution on the CS pathway for a simple action task.