Core Calculus Sample Clauses

Core Calculus. ‌ Hybrid relations are used to describe the assumptions and guarantees associated with hybrid reactive designs by constraining the possible evolutions of continuous variables. A hybrid relation is a form of reactive relation where the underlying trace model is (TT, ^, s). Thus, the trace contribution (tt ) refers to a particular evolution of the continuous state space Σc, which is a topological (Hausdorff) space. We introduce the syntax A ¾ end(tt ) which refers to the length of the present evolution. ⇒ Variables in the timed trace model are projections of the continuous state space Σ, which is a topological space. Technically, we uses lenses [16, 21] to model these projects, such that each continuous variable x identifies a region of Σc, such that x : R = Σc. Actually, the source type of each lens is not limited to R but can also be any topological space. We introduce the syntax s:x to project the part of state space s described by lens x. A continuous variable expression x(t) can then be defined as follows. Definition 4.1 (Continuous Variable Expression). x(t) ¾ tt (t):x A continuous variable x is a function that obtains the continuous state space at time t and then projects the corresponding region. ⇒ ⇒ For the sake of generality, we split the overall state space of a hybrid relation Σ, described by observational variable st, into both a discrete state space (Σd) and a continuous state space (Σc). We therefore introduce lenses d : Σd = Σ and c : Σc = Σ that refer to these sub-regions of the state space, respectively. As in our previous work [19], we unify continuous variable assignment and evolution such that c is tied to the evolution in the trace (tt ). Nevertheless to avoid confusion, it is important to distinguish continuous state variables, that is the valuation of the continuous variables at the beginning or end of a computation, from continuous trajectory variables, which are functions on the timed trace. These quantities are linked, but are not identical. We also note that the discrete variables within d are not precisely the same concept as discrete variables in the Modelica sense. They are variables that are not represented in the trajectory and exist only as imperative assignable variables. For the most part such variables are useful to store temporary local variables used in imperative program fragments. In contrast, for Modelica, discrete variables are really a subclass of continuous variable that remain constant over a trajectory evolution...
Sample 1
AutoNDA by SimpleDocs

Related to Core Calculus

  • Schedule Updates the Contractor agrees to maintain the Work duration schedule updates on an ongoing basis and, when the County requests it, include the updates in its payment request. The Contractor may be required to submit a narrative report with each monthly update which shall include a description of current and anticipated problem areas, delaying factors and their impact, and an explanation of corrective action taken or proposed. Failure to do so may be considered a material breach of the Contract. Any additional or unanticipated costs or expense required to maintain the schedules shall be solely the Contractor’s obligation and Contractor agrees not to charge the County.

  • Progress Update Information included with the annual Data Access Request (DAR) renewal or Closeout summarizing the analysis of controlled-access datasets obtained through the DAR and any publications and presentations derived from the work.

  • Alternative Calculations and Payment on Early Termination and on Certain Extraordinary Events If (a) an Early Termination Date (whether as a result of an Event of Default or a Termination Event) occurs or is designated with respect to the Transaction or (b) the Transaction is cancelled or terminated upon the occurrence of an Extraordinary Event (except as a result of (i) a Nationalization, Insolvency or Merger Event in which the consideration to be paid to holders of Shares consists solely of cash, (ii) a Merger Event or Tender Offer that is within Counterparty’s control, or (iii) an Event of Default in which Counterparty is the Defaulting Party or a Termination Event in which Counterparty is the Affected Party other than an Event of Default of the type described in Section 5(a)(iii), (v), (vi), (vii) or (viii) of the Agreement or a Termination Event of the type described in Section 5(b) of the Agreement, in each case that resulted from an event or events outside Counterparty’s control), and if Dealer would owe any amount to Counterparty pursuant to Section 6(d)(ii) of the Agreement or any Cancellation Amount pursuant to Article 12 of the Equity Definitions (any such amount, a “Payment Obligation”), then Dealer shall satisfy the Payment Obligation by the Share Termination Alternative (as defined below), unless (a) Counterparty gives irrevocable telephonic notice to Dealer, confirmed in writing within one Scheduled Trading Day, no later than 12:00 p.m. (New York City time) on the Merger Date, Tender Offer Date, Announcement Date (in the case of a Nationalization, Insolvency or Delisting), Early Termination Date or date of cancellation, as applicable, of its election that the Share Termination Alternative shall not apply, (b) Counterparty remakes the representation set forth in Section 8(f) as of the date of such election and (c) Dealer agrees, in its sole discretion, to such election, in which case the provisions of Section 12.7 or Section 12.9 of the Equity Definitions, or the provisions of Section 6(d)(ii) of the Agreement, as the case may be, shall apply.

  • RDDS update time Refers to the time measured from the reception of an EPP confirmation to a transform command on a domain name, host or contact, up until the servers of the RDDS services reflect the changes made.

  • THE FOURTH SCHEDULE ABOVE REFERRED TO (Common Expenses)

  • Certain Calculations Unless otherwise specified herein, the following provisions shall apply: (a) All calculations of interest with respect to the Mortgage Loans shall be made in accordance with the terms of the related Note and Mortgage. (b) For purposes of distribution of Yield Maintenance Charges pursuant to Section 4.01(d) of this Agreement on any Distribution Date, the Class of Non-Vertically Retained Principal Balance Certificates as to which the Non-Vertically Retained Percentage of any prepayment shall be deemed to be distributed shall be determined on the assumption that the portion of the Principal Distribution Amount paid to the Non-Vertically Retained Principal Balance Certificates on such Distribution Date in respect of principal shall consist first of the Non-Vertically Retained Percentage of scheduled payments included in the definition of Principal Distribution Amount and second of the Non-Vertically Retained Percentage of prepayments included in such definition. (c) Any Mortgage Loan payment is deemed to be received by the Trust Fund on the date such payment is actually received by the Master Servicer, the Special Servicer or the Certificate Administrator; provided, however, that for purposes of calculating distributions on the Certificates, Principal Prepayments with respect to any Mortgage Loan are deemed to be received on the date they are applied in accordance with Section 3.01(b) of this Agreement to reduce the outstanding principal balance of such Mortgage Loan on which interest accrues. (d) For purposes of calculating distributions on the Certificates and the Uncertificated VRR Interest and, in the absence of express provisions in the related Loan Documents (and/or, with respect to each Outside Serviced Mortgage Loan, the related Outside Servicing Agreement) to the contrary, for purposes of otherwise collecting amounts due under a Mortgage Loan, all amounts collected by or on behalf of the Trust in respect of any Mortgage Loan in the form of payments from the related Mortgagor, Liquidation Proceeds, Condemnation Proceeds or Insurance Proceeds (excluding, if applicable, in the case of each Serviced Loan Combination, any amounts payable to the holder(s) of the related Companion Loan(s) pursuant to the related Co-Lender Agreement) shall be deemed to be allocated in the following order of priority: (i) as a recovery of any unreimbursed Advances (including any Workout-Delayed Reimbursement Amount) with respect to the related Mortgage Loan, and unpaid interest at the Advance Rate on such Advances and, if applicable, unreimbursed and unpaid expenses of the Trust with respect to the related Mortgage Loan; (ii) as a recovery of Nonrecoverable Advances with respect to the related Mortgage Loan and any interest on those Nonrecoverable Advances at the Advance Rate, to the extent previously paid or reimbursed from principal collections on the Mortgage Pool (as described in the first proviso in the definition of “Aggregate Principal Distribution Amount”); (iii) to the extent not previously so allocated pursuant to clause (i) or (ii) above, as a recovery of accrued and unpaid interest on such Mortgage Loan (exclusive of Default Interest and Excess Interest) to the extent of the excess of (A) all unpaid interest (exclusive of Default Interest and Excess Interest) accrued on such Mortgage Loan at the related Mortgage Rate in effect from time to time through the end of the applicable Mortgage Loan interest accrual period, over (B) after taking into account any allocations pursuant to clause (v) below on earlier dates, the aggregate portion of the accrued and unpaid interest described in subclause (A) of this clause (iii) that either (1) was not advanced because of the reductions (if any) in the amount of related P&I Advances for such Mortgage Loan that have theretofore occurred under Section 4.06(a) of this Agreement in connection with related Appraisal Reduction Amounts or (2) accrued at the related Net Mortgage Rate on the portion of the Stated Principal Balance of such Mortgage Loan equal to any related Collateral Deficiency Amount in effect from time to time and as to which no P&I Advance was made; (iv) to the extent not previously so allocated pursuant to clause (i) or (ii) above, as a recovery of principal of such Mortgage Loan then due and owing, including by reason of acceleration of such Mortgage Loan following a default thereunder (or, if the Mortgage Loan has been liquidated, as a recovery of principal to the extent of its entire remaining unpaid principal balance); (v) as a recovery of accrued and unpaid interest on such Mortgage Loan (exclusive of Default Interest and Excess Interest) to the extent of the sum of (A) the cumulative amount of the reductions (if any) in the amount of related P&I Advances for such Mortgage Loan that have theretofore occurred under Section 4.06(a) of this Agreement in connection with related Appraisal Reduction Amounts, plus (B) any unpaid interest (exclusive of Default Interest and Excess Interest) that accrued at the related Net Mortgage Rate on the portion of the Stated Principal Balance of such Mortgage Loan equal to any related Collateral Deficiency Amount in effect from time to time and as to which no P&I Advance was made (to the extent that collections have not been allocated as recovery of such accrued and unpaid interest pursuant to this clause (v) on earlier dates); (vi) as a recovery of amounts to be currently allocated to the payment of, or escrowed for the future payment of, real estate taxes, assessments and insurance premiums and similar items relating to such Mortgage Loan; (vii) as a recovery of any other reserves to the extent then required to be held in escrow with respect to such Mortgage Loan; (viii) as a recovery of any Yield Maintenance Charge then due and owing under such Mortgage Loan; (ix) as a recovery of any late payment charges and Default Interest then due and owing under such Mortgage Loan; (x) as a recovery of any Assumption Fees, assumption application fees and Modification Fees then due and owing under such Mortgage Loan; (xi) as a recovery of any other amounts then due and owing under such Mortgage Loan other than remaining unpaid principal and other than, if applicable, accrued and unpaid Excess Interest (and, if both Consent Fees and Operating Advisor Consulting Fees are due and owing, first, allocated to Consent Fees and, then, allocated to Operating Advisor Consulting Fees); (xii) as a recovery of any remaining principal of such Mortgage Loan to the extent of its entire remaining unpaid principal balance; and (xiii) in the case of an ARD Mortgage Loan after the related Anticipated Repayment Date, as a recovery of any accrued but unpaid Excess Interest; provided that, to the extent required under the REMIC Provisions, payments or proceeds received (or receivable by exercise of the lender’s rights under the related Loan Documents) with respect to any partial release of a Mortgaged Property (including following a condemnation) at a time when the loan-to-value ratio of the related Mortgage Loan or Serviced Loan Combination, as applicable, exceeds 125%, or would exceed 125% following any partial release (based solely on the value of the real property and excluding personal property and going concern value, if any) must be collected and allocated to reduce the principal balance of the Mortgage Loan or the related Serviced Loan Combination in the manner permitted by the REMIC Provisions. (e) Collections by or on behalf of the Trust in respect of any REO Property (exclusive of amounts to be allocated to the payment of the costs of operating, managing, leasing, maintaining and disposing of such REO Property and, if applicable, in the case of each Serviced Loan Combination, exclusive of any amounts payable to the holder(s) of the related Companion Loan(s) pursuant to the related Co-Lender Agreement) shall be deemed to be allocated for purposes of calculating distributions on the Certificates and (subject to any related Co-Lender Agreement and/or Outside Servicing Agreement) for purposes of otherwise collecting amounts due under the Mortgage Loan in the following order of priority: (i) as a recovery of any unreimbursed Advances (including any Workout-Delayed Reimbursement Amount) with respect to the related REO Mortgage Loan and interest at the Advance Rate on all Advances and, if applicable, unreimbursed and unpaid expenses of the Trust with respect to the related REO Mortgage Loan; (ii) as a recovery of any Nonrecoverable Advances with respect to the related REO Mortgage Loan and any interest on those Nonrecoverable Advances at the Advance Rate, to the extent previously paid or reimbursed from principal collections on the Mortgage Loans (as described in the first proviso in the definition of “Aggregate Principal Distribution Amount”); (iii) to the extent not previously so allocated pursuant to clause (i) or (ii) above, as a recovery of accrued and unpaid interest on the related REO Mortgage Loan (exclusive of Default Interest and Excess Interest) to the extent of the excess of (A) all unpaid interest (exclusive of Default Interest and Excess Interest) accrued on such REO Mortgage Loan at the applicable Mortgage Rate in effect from time to time through the end of the applicable Mortgage Loan interest accrual period, over (B) after taking into account any allocations pursuant to clause (v) below or clause (v) of Section 1.02(d) above on earlier dates, the aggregate portion of the accrued and unpaid interest described in subclause (A) of this clause (iii) that either (1) was not advanced because of the reductions (if any) in the amount of related P&I Advances for the related REO Mortgage Loan that have theretofore occurred under Section 4.06(a) of this Agreement in connection with Appraisal Reduction Amounts or (2) accrued at the applicable Net Mortgage Rate on the portion of the Stated Principal Balance of such REO Mortgage Loan equal to any related Collateral Deficiency Amount in effect from time to time and as to which no P&I Advance was made; (iv) to the extent not previously so allocated pursuant to clause (i) or (ii) above, as a recovery of principal of the related REO Mortgage Loan to the extent of its entire unpaid principal balance; (v) as a recovery of accrued and unpaid interest on the related REO Mortgage Loan (exclusive of Default Interest and Excess Interest) to the extent of the sum of (A) the cumulative amount of the reductions (if any) in the amount of related P&I Advances for such REO Mortgage Loan that have theretofore occurred under Section 4.06(a) of this Agreement in connection with related Appraisal Reduction Amounts, plus (B) any unpaid interest (exclusive of Default Interest and Excess Interest) that accrued at the applicable Net Mortgage Rate on the portion of the Stated Principal Balance of such REO Mortgage Loan equal to any related Collateral Deficiency Amount in effect from time to time and as to which no P&I Advance was made (to the extent that collections have not theretofore been allocated as a recovery of such accrued and unpaid interest on earlier dates pursuant to this clause (v) or clause (v) of Section 1.02(d) above); (vi) as a recovery of any Yield Maintenance Charge then due and owing under the related REO Mortgage Loan; (vii) as a recovery of any late payment charges and Default Interest then due and owing under the related REO Mortgage Loan; (viii) as a recovery of any Assumption Fees, assumption application fees and Modification Fees then due and owing under the related REO Mortgage Loan; (ix) as a recovery of any other amounts then due and owing under the related REO Mortgage Loan other than, if applicable, accrued and unpaid Excess Interest (and, if both Consent Fees and Operating Advisor Consulting Fees are due and owing, first, allocated to Consent Fees and, then, allocated to Operating Advisor Consulting Fees); and (x) in the case of an ARD Mortgage Loan after the related Anticipated Repayment Date, as a recovery of any accrued but unpaid Excess Interest. (f) The applications of amounts received in respect of any Mortgage Loan pursuant to paragraph (d) of this Section 1.02 shall be determined by the Master Servicer in accordance with the Servicing Standard. The applications of amounts received in respect of any Mortgage Loan or any REO Property pursuant to paragraph (e) of this Section 1.02 shall be determined by the Special Servicer (unless such Mortgage Loan is, or such REO Property relates to, an Outside Serviced Mortgage Loan, in which case such applications shall be determined by the Master Servicer) in accordance with the Servicing Standard. (g) All net present value calculations and determinations made hereunder with respect to the Mortgage Loans, the Serviced Companion Loans or a Mortgaged Property or REO Property (including for purposes of the definition of “Servicing Standard”, and including, if and when applicable, with respect to an Outside Serviced Mortgage Loan or the related Mortgaged Property or any related REO Property) shall be made using the Calculation Rate. (h) For purposes of calculating Pass-Through Rates (where applicable) and distributions on, and allocations of applicable Realized Losses (where applicable) to, the Certificates and the Uncertificated VRR Interest, as well as for purposes of calculating the Servicing Fee, the Trustee/Certificate Administrator Fee, the Operating Advisor Fee and the Asset Representations Reviewer Ongoing Fee payable each month, each REO Property (including any REO Property with respect to an Outside Serviced Mortgage Loan held pursuant to an Outside Servicing Agreement) will be treated as if the related Mortgage Loan and any related Companion Loan(s) had remained outstanding and the related Loan Documents continued in full force and effect; and all references to “Mortgage Loan,” “Mortgage Loans” or “Mortgage Pool” (or any other capitalized terms of which such terms are a part) in this Agreement, when used in that context, will be deemed to also be references to or to also include, as the case may be, any related REO Mortgage Loan, and all references to “Companion Loan” or “Companion Loans” (or any other capitalized terms of which such terms are a part) in this Agreement, when used in that context, will be deemed to also be references to or to also include, as the case may be, any related REO Companion Loan. Each REO Loan will generally be deemed to have the same characteristics as its actual predecessor Mortgage Loan or Companion Loan, as applicable, including the same fixed Mortgage Rate (and, accordingly, the same Net Mortgage Rate) and the same unpaid principal balance and Stated Principal Balance. Amounts due on the predecessor Mortgage Loan or Companion Loan, as applicable, including any portion of those amounts payable or reimbursable to the Master Servicer, the Special Servicer, the Operating Advisor, the Asset Representations Reviewer, the Certificate Administrator or the Trustee, as applicable, will continue to be “due” in respect of the REO Loan; and amounts received in respect of the related REO Property, net of payments to be made, or reimbursements to the Master Servicer or Special Servicer for payments previously advanced, in connection with the operation and management of that property, generally will be applied by the Master Servicer as if received on the predecessor Mortgage Loan or Companion Loan, as applicable.

  • Adjustment of Assigned Time Any employee in the bargaining unit who works an average of thirty (30) minutes or more per day in excess of his/her regular part-time assignment for a period of twenty (20) consecutive working days or more shall have his/her regular assignment adjusted upward to reflect the longer hours, effective with the next pay period.

  • Auction Schedule; Method of Submission of Orders (a) The Funds and the Auction Agent shall conduct Auctions for each series of Preferred Shares in accordance with the schedule set forth below. Such schedule may be changed at any time by the Auction Agent with the consent of the Fund, which consent shall not be withheld unreasonably. The Auction Agent shall give notice of any such change to BD. Such notice shall be received prior to the first Auction Date on which any such change shall be effective. Time Event ---- ----- By 9:30 A.M. Auction Agent advises the Funds and the Broker-Dealers of the Maximum Rate as set forth in Section 3.2(a) hereof.

  • Certain Calculations and Tests (a) Notwithstanding anything to the contrary herein, but subject to Sections 1.10(b) and (c) and Section 1.11, all financial ratios and tests (including the Total Leverage Ratio, the First Lien Leverage Ratio, the Secured Leverage Ratio, the Interest Coverage Ratio and the amount of Consolidated Total Assets and Consolidated Adjusted EBITDA) contained in this Agreement that are calculated with respect to any Test Period during which any Subject Transaction occurs shall be calculated with respect to such Test Period and each such Subject Transaction on a Pro Forma Basis. Further, if since the beginning of any such Test Period and on or prior to the date of any required calculation of any financial ratio or test (i) any Subject Transaction has occurred or (ii) any Person that subsequently became a Restricted Subsidiary or was merged, amalgamated or consolidated with or into the Borrower or any of its Restricted Subsidiaries or any joint venture since the beginning of such Test Period has consummated any Subject Transaction, then, in each case, any applicable financial ratio or test shall be calculated on a Pro Forma Basis for such Test Period as if such Subject Transaction had occurred at the beginning of the applicable Test Period (it being understood, for the avoidance of doubt, that solely for purposes of (x) calculating compliance with Section 6.12(a) and (y) calculating the First Lien Leverage Ratio for purposes of the definitions of “Applicable Rate” and “Commitment Fee Rate”, in each case, no Subject Transaction occurring after the end of the relevant Test Period shall be taken into account). (b) For purposes of determining the permissibility of any action, change, transaction or event that requires a calculation of any financial ratio or test (including, without limitation, Section 6.12(a), any First Lien Leverage Ratio test, any Secured Leverage Ratio test, any Total Leverage Ratio test and/or any Interest Coverage Ratio test, the amount of Consolidated Adjusted EBITDA and/or Consolidated Total Assets), such financial ratio or test shall be calculated at the time such action is taken (subject to Section 1.11), such change is made, such transaction is consummated or such event occurs, as the case may be, and no Default or Event of Default shall be deemed to have occurred solely as a result of a change in such financial ratio or test occurring after the time such action is taken, such change is made, such transaction is consummated or such event occurs, as the case may be. (c) Notwithstanding anything to the contrary herein, with respect to any amounts incurred or transactions entered into (or consummated) in reliance on a provision of this Agreement (including any covenant or the definition of “Incremental Cap”) that does not require compliance with a financial ratio or test (including, without limitation, Section 6.12(a), any First Lien Leverage Ratio test, any Secured Leverage Ratio test, any Total Leverage Ratio test and/or any Interest Coverage Ratio test) (any such amounts, the “Fixed Amounts”) substantially concurrently with any amounts incurred or transactions entered into (or consummated) in reliance on a provision of this Agreement (including any covenant or the definition of “Incremental Cap”) that requires compliance with a financial ratio or test (including, without limitation, Section 6.12(a), any First Lien Leverage Ratio test, any Secured Leverage Ratio test, any Total Leverage Ratio test and/or any Interest Coverage Ratio test) (any such amounts, the “Incurrence-Based Amounts”), it is understood and agreed that the Fixed Amounts shall be disregarded in the calculation of the financial ratio or test applicable to the Incurrence-Based Amounts.

  • DNS update time Refers to the time measured from the reception of an EPP confirmation to a transform command on a domain name, until the name servers of the parent domain name answer “DNS queries” with data consistent with the change made. This only applies for changes to DNS information.

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