The Analysis Component Sample Clauses

The Analysis Component. The analysis component currently consists of a logical analyser that is capable of checking properties against traces. To this end, the tool takes a dynamic property in TTL format and one or more traces as input, and checks whether the dynamic property holds for the traces. Traces are represented by sets of Prolog facts of the form holds(state(m1, t(2)), a, true) where m1 is the trace name, t(2) time point 2, and a is a state property as introduced in Section 2.1. The above example indicates that state formula a is true in trace m1 at time point 2. The Analysis Component basically uses Prolog rules for the predicate sat that reduce the satisfaction of the temporal formula finally to the satisfaction of atomic state formulae at certain time points, which can be read from the trace representation. Examples of such reduction rules are: sat(and(F,G)) :- sat(F), sat(G). sat(not(and(F,G))) :- sat(or(not(F), not(G))). sat(or(F,G)) :- sat(F). sat(or(F,G)) :- sat(G). sat(not(or(F,G))) :- sat(and(not(F), not(G))). In addition, if a dynamic property does not hold in a trace, then the software reports the places in the trace where the property failed.
View Source

Related to The Analysis Component

  • Investment Analysis and Implementation In carrying out its obligations under Section 1 hereof, the Advisor shall: (a) supervise all aspects of the operations of the Funds; (b) obtain and evaluate pertinent information about significant developments and economic, statistical and financial data, domestic, foreign or otherwise, whether affecting the economy generally or the Funds, and whether concerning the individual issuers whose securities are included in the assets of the Funds or the activities in which such issuers engage, or with respect to securities which the Advisor considers desirable for inclusion in the Funds' assets; (c) determine which issuers and securities shall be represented in the Funds' investment portfolios and regularly report thereon to the Board of Trustees; (d) formulate and implement continuing programs for the purchases and sales of the securities of such issuers and regularly report thereon to the Board of Trustees; and (e) take, on behalf of the Trust and the Funds, all actions which appear to the Trust and the Funds necessary to carry into effect such purchase and sale programs and supervisory functions as aforesaid, including but not limited to the placing of orders for the purchase and sale of securities for the Funds.

  • Quantitative Analysis Quantitative analysts develop and apply financial models designed to enable equity portfolio managers and fundamental analysts to screen potential and current investments, assess relative risk and enhance performance relative to benchmarks and peers. To the extent that such services are to be provided with respect to any Account which is a registered investment company, Categories 3, 4 and 5 above shall be treated as “investment advisory services” for purposes of Section 5(b) of the Agreement.”

  • Risk Analysis The Custodian will provide the Fund with a Risk Analysis with respect to Securities Depositories operating in the countries listed in Appendix B. If the Custodian is unable to provide a Risk Analysis with respect to a particular Securities Depository, it will notify the Fund. If a new Securities Depository commences operation in one of the Appendix B countries, the Custodian will provide the Fund with a Risk Analysis in a reasonably practicable time after such Securities Depository becomes operational. If a new country is added to Appendix B, the Custodian will provide the Fund with a Risk Analysis with respect to each Securities Depository in that country within a reasonably practicable time after the addition of the country to Appendix B.

  • Product Testing No later than [**] prior to a scheduled Delivery ARIAD US shall send to ARIAD SWISSCO the Delivery Documents for review. Following such review, unless within [**] of receipt of the Delivery Documents ARIAD SWISSCO gives written notice of rejection of the Product to be delivered, stating the reasons for such rejection, the Delivery shall proceed, and both Parties shall organize the same. Upon arrival at ARIAD SWISSCO nominated site it shall visually inspect the shipment of the Product to identify any damage to the external packaging. ARIAD SWISSCO may reject any shipment (or portion thereof) of the Product that is damaged by providing to ARIAD US reasonable evidence of damage within [**] after Delivery of such Product. If ARIAD SWISSCO does not so reject any shipment (or portion thereof) of the Product within [**] of Delivery of such Product, ARIAD SWISSCO shall be deemed to have accepted such shipment of the Product; provided, however, that in the case of the Product having any Latent Defect, ARIAD SWISSCO shall notify ARIAD US promptly once it becomes aware that a Product contains a Latent Defect and subsequently may reject such Product by giving written notice to ARIAD US of ARIAD SWISSCO’s rejection of such Product and shipping a representative sample of such Product or other evidence of Non-Conformance to ARIAD US within [**] after becoming aware of such Latent Defect, which notice shall include a description of the Latent Defect.

  • Laboratory Testing All laboratories selected by UPS Freight for analyzing Controlled Substances Testing will be HHS certified.