Calculating Symmetry Sample Clauses

Calculating Symmetry. An important procedure in our work is one that calculates the symmetries of clausal formula. We implemented several software packages that can solve this problem in the form of a graph automorphism but there are cases where this trans- formation is detrimental to the speed of the symmetry calculations. For example, when converting a formula to a graph there must be a node for every clause. In some cases there could be many more models than there are literals (in the worst case, exponentially more). This extra burden can be costly. The size and structure of the formula will be significantly different for local symmetry, and there will be times when it is necessary to call the symmetry find- ing procedure over a million times within several minutes, so we need a tool that performs well under all circumstances and with minimal overhead.
Sample 1
AutoNDA by SimpleDocs

Related to Calculating Symmetry

  • Measurement Should the State terminate this contract as herein provided, no fees other than fees due and payable at the time of termination shall thereafter be paid to the Engineer. In determining the value of the work performed by the Engineer prior to termination, the State shall be the sole judge. Compensation for work at termination will be based on a percentage of the work completed at that time. Should the State terminate this contract under paragraph (4) or (5) above, the Engineer shall not incur costs during the thirty-day notice period in excess of the amount incurred during the preceding thirty days.

  • Adjusted EBITDA The 2019 adjusted EBITDA for the Affiliated Club Sellers shall total an aggregate of not less than $10,700,000.

  • Minimum Consolidated EBITDA The Borrower will not permit Modified Consolidated EBITDA, for any Test Period ending at the end of any fiscal quarter of the Borrower set forth below, to be less than the amount set forth opposite such fiscal quarter: Fiscal Quarter Amount September 30, 1997 $36,000,000 December 31, 1997 $36,000,000 March 31, 1998 $36,000,000 June 30, 1998 $37,000,000 September 30, 1998 $37,000,000 December 31, 1998 $38,000,000 March 31, 1999 $38,000,000 June 30, 1999 $39,000,000 September 30, 1999 $40,000,000 December 31, 1999 $41,000,000 March 31, 2000 $41,000,000 June 30, 2000 $42,000,000 September 30, 2000 $43,000,000 December 31, 2000 $44,000,000 March 31, 2001 $44,000,000 June 30, 2001 $45,000,000 September 30, 2001 $46,000,000 December 31, 2001 $47,000,000 March 31, 2002 $47,000,000

  • Portfolio Accounting Services (1) Maintain portfolio records on a trade date+1 basis using security trade information communicated from the Fund’s investment adviser. (2) For each valuation date, obtain prices from a pricing source approved by the board of trustees of the Trust (the “Board of Trustees”) and apply those prices to the portfolio positions. For those securities where market quotations are not readily available, the Board of Trustees shall approve, in good faith, procedures for determining the fair value for such securities. (3) Identify interest and dividend accrual balances as of each valuation date and calculate gross earnings on investments for each accounting period. (4) Determine gain/loss on security sales and identify them as short-term or long-term; account for periodic distributions of gains or losses to shareholders and maintain undistributed gain or loss balances as of each valuation date. (5) On a daily basis, reconcile cash of the Fund with the Fund’s custodian. (6) Transmit a copy of the portfolio valuation to the Fund’s investment adviser daily. (7) Review the impact of current day’s activity on a per share basis, and review changes in market value.

  • Measuring EPP parameters Every 5 minutes, EPP probes will select one “IP address” of the EPP servers of the TLD being monitored and make an “EPP test”; every time they should alternate between the 3 different types of commands and between the commands inside each category. If an “EPP test” result is undefined/unanswered, the EPP service will be considered as unavailable from that probe until it is time to make a new test.

  • Acceptable Accounting System The Contractor shall maintain the acceptable/approved status of their Accounting System and submit updates to the current status

  • Mileage Measurement Where required, the mileage measurement for LIS rate elements is determined in the same manner as the mileage measurement for V&H methodology as outlined in NECA Tariff No. 4.

  • EBITDA The term “EBITDA” shall mean, with respect to any fiscal period, “Consolidated EBITDA” as defined in the Credit Agreement, provided that the following should also be excluded from the calculation of EBITDA to the extent not already excluded from the calculation of Consolidated EBITDA under the Credit Agreement: (i) Non-Cash Charges (as defined in the Credit Agreement) related to any issuances of equity securities; (ii) fees and expenses relating to the Acquisition; (iii) financing fees (both cash and non-cash) relating to the Acquisition; (iv) covenant-not-to-compete payments to certain members of the Company’s senior management and related expenses; (v) expenses (or any portion thereof) incurred outside of the ordinary course of business that are approved by the Board which the Board determines in its good faith discretion are in the best interest of the Company but which will have a disproportionately adverse impact on the Company’s short term financial performance, affecting the Company’s ability to achieve financial targets related to the vesting of the Class C Units under the Incentive Unit Subscription Agreements or the Company’s annual bonus plan; (vi) costs and expenses incurred in connection with evaluating and consummating acquisitions not contemplated by the Company’s annual plan, as such plan is approved by the Board in good faith; (vii) related party expenditures that are subject to the prior written consent of the Majority Executives pursuant to Section 2.3(a) of the Securityholders Agreement but have failed to receive such consent; (viii) advisors’ fees and expenses incurred outside the ordinary course of business related solely to Vestar’s activities that are unrelated to the Company; (ix) costs associated with any put option or call option contemplated by any Rollover Subscription Agreement or Incentive Unit Subscription Agreement; (x) costs associated with any proposed initial Public Offering or Sale of the Company (as such terms are defined in the Securityholders Agreement); (xi) expenses related to any litigation arising from the Acquisition; (x) management fees and costs related to the activities giving rise to such fees that are paid to, paid for or reimbursed to Vestar and its Affiliates; and (xii) material expenditures or incremental expenditures inconsistent with prior practice (to the extent that prior practice is relevant) required by Board (where Management Managers (as defined in the Securityholders Agreement) unanimously dissent) unless such expenditures are reasonably likely to result in any benefit (whether economic or non-economic) to the Company as determined by the Board in its good faith discretion.

  • Consolidated Net Leverage Ratio Permit the Consolidated Net Leverage Ratio as of the end of any fiscal quarter of the Borrower to be greater than 4.50:1.00.

  • Acceptable Estimating System The Contractor shall maintain the acceptable status of their Estimating System and submit updates to the current status, if applicable

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!