Use of probability within event-B models. In this section, we are making a proposal for an approach to the modelling of probability classes in event-B models suitable for the purposes of the STS pilot study.
Use of probability within event-B models Sample Clauses
Related to Use of probability within event-B models
Withdrawal of Property from Market or Termination of Discussions Potential Investor acknowledges that the Property has been offered for sale subject to withdrawal of the Property from the market at any time or rejection of any offer because of the terms thereof, or for any other reason whatsoever, without notice, as well as the termination of discussions with any party at any time without notice for any reason whatsoever.
Additional Disruption Events Change in Law: Applicable; provided that Section 12.9(a)(ii) of the Equity Definitions is hereby amended by adding the words “(including, for the avoidance of doubt and without limitation, adoption or promulgation of new regulations authorized or mandated by existing statute)” after the word “regulation” in the second line thereof.
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.
Reportable Events Involving the Xxxxx Law Notwithstanding the reporting requirements outlined above, any Reportable Event that involves solely a probable violation of section 1877 of the Social Security Act, 42 U.S.C. §1395nn (the Xxxxx Law) should be submitted by Practitioner to CMS through the self-referral disclosure protocol (SRDP), with a copy to the OIG. If Practitioner identifies a probable violation of the Xxxxx Law and repays the applicable Overpayment directly to the CMS contractor, then Practitioner is not required by this Section III.G to submit the Reportable Event to CMS through the SRDP.
Other ISDA Events An Announcement Date occurs in respect of any Merger Event, Tender Offer, Nationalization, Insolvency, Delisting or the occurrence of any Hedging Disruption or Change in Law; provided that, in case of a Delisting, in addition to the provisions of Section 12.6(a)(iii) of the Equity Definitions, it will also constitute a Delisting if the Exchange is located in the United States and the Shares are not immediately re-listed, re-traded or re-quoted on any of the New York Stock Exchange, The NASDAQ Global Select Market or The NASDAQ Global Market (or their respective successors); provided, further, that (i) the definition of “Change in Law” provided in Section 12.9(a)(ii) of the Equity Definitions is hereby amended by (A) replacing the phrase “the interpretation” in the third line thereof with the phrase “or announcement or statement of the formal or informal interpretation” and (B) immediately following the word “Transaction” in clause (X) thereof, adding the phrase “in the manner contemplated by Dealer on the Trade Date” and (ii) any determination as to whether (A) the adoption of or any change in any applicable law or regulation (including, without limitation, any tax law) or (B) the promulgation of or any change in or announcement or statement of the formal or informal interpretation by any court, tribunal or regulatory authority with competent jurisdiction of any applicable law or regulation (including any action taken by a taxing authority), in each case, constitutes a “Change in Law” shall be made without regard to Section 739 of the Wall Street Transparency and Accountability Act of 2010 (the “WSTAA”) or any similar provision in any legislation enacted on or after the Trade Date; or
Adjustment for Certain Events The number and kind of securities purchasable upon the exercise of this Warrant and the Warrant Price shall be subject to adjustment from time to time upon the occurrence of certain events, as follows:
PROCEDURE FOR DEALING WITH SAFETY ISSUES OR INCIDENTS 11.1 The Employer, the Employees and the Union agree that for the purposes of s. 81 of the WHS Act matters about work health and safety arising at the workplace shall be resolved in accordance with this procedure. 11.2 The Parties agree that for the purposes of this procedure and s. 81(3) of the WHS Act the following persons shall be the representatives of the following parties: (a) the Principal Contractor (as defined in the WHS Act) - Site Manager or any other person nominated by the Principal Contractor (b) the Employers - the Site Manager or any other person nominated by the Employer(s) (c) The Employees - the Union or other representatives. (Collectively referred to as "Nominated Parties”) 11.3 The Nominated Parties agree that representatives shall be entitled to: (a) inspect any work system, plant, substance, structure, or other thing relevant to resolving the issue (b) consult with relevant Employees in relation to resolving the issue (c) consult with the relevant PCBU (as defined in the WHS Act) about resolving the issue (d) inspect and take copies of any document that is directly relevant to resolving the issue; and (e) advise any person whom the representative reasonably believes to be exposed to a serious risk to his or her health and safety, emanating from an immediate and imminent exposure to a hazard of that risk. 11.4 The Nominated Parties and/or their representatives may commence the procedure by informing, either by themselves or their representative, the other Parties and/or representatives that: (a) there is an issue to be resolved; and (b) the nature and scope of the issue. 11.5 As soon as the Parties and/or their representatives are informed of the issue, the Nominated Parties and/or their representatives must meet or communicate with each other to attempt to resolve the issue. 11.6 The Nominated Parties and/or their representatives must have regard to all relevant matters including: (a) the degree and imminent risk to the Employees or other persons affected by the issue. (b) the number and location of Employees and other persons affected by the issue. (c) the measures both temporary and permanent that must be implemented to resolve the issue. (d) who will be responsible for implementing the resolution measures. (e) whether the hazard or risk can be isolated; and (f) the time that may elapse before the hazard or risk is permanently corrected. 11.7 Once the issue is resolved details of the issue and its resolution must be set out in writing with all Nominated Parties and/or their representatives to be satisfied that the agreement reflects the resolution of the issue with a copy given to all Nominated Parties and/or their representatives to the issue. The issue, once resolved, shall be recorded in the next safety committee meeting minutes with the agreed resolution. 11.8 The Nominated Parties and/or their representatives must make reasonable efforts to achieve a timely and final resolution of the issue. If within a reasonable time there is still no resolution, any of the Nominated Parties attempting to resolve the issue may then ask Work Health and Safety Queensland, and/or the QBCC, where applicable, to arrange for an inspector to attend the workplace to assist in resolving the issue. 11.9 Direction to cease work (a) If - (i) an issue concerning health or safety arises at a workplace or from the conduct of the undertaking of the Employer; and (ii) the issue concerns work which involves an immediate threat to the health or safety of any person; and (iii) given the nature of the threat and degree of risk, it is not appropriate to adopt the processes set out in clause 11.7 above (b) the Employer and/or the health and safety representative for the designated work group in relation to which the issue has arisen may, after consultation between them, direct that the work is to cease. (c) During any period for which work has ceased in accordance with such a direction, the Employer may assign any Employees whose work is affected to suitable and safe alternative work. 11.10 Fundamental to this process is a standing invitation for Union representatives to attend site to assist with all matters relating to health and safety. 11.11 Employees are not required to work in circumstances where the employee or a Union representative reasonably believes a safety law is being, or will be, contravened. Consultation between the relevant parties will occur throughout this procedure including with senior representatives of the Employer and the Union.
Certain Events If any event occurs of the type contemplated by the adjustment provisions of this Paragraph 4 but not expressly provided for by such provisions, the Company will give notice of such event as provided in Paragraph 4(g) hereof, and the Company's Board of Directors will make an appropriate adjustment in the Exercise Price and the number of shares of Common Stock acquirable upon exercise of this Warrant so that the rights of the holder shall be neither enhanced nor diminished by such event.
Contact in Event of Unauthorized Transfer If you believe your Card and/or access code has been lost or stolen or that someone has transferred or may transfer money from your account without your permission, either call us immediately at:
Presentation of Potential Target Businesses The Company shall cause each of the Initial Shareholders to agree that, in order to minimize potential conflicts of interest which may arise from multiple affiliations, the Initial Shareholders will present to the Company for its consideration, prior to presentation to any other person or company, any suitable opportunity to acquire an operating business, until the earlier of the consummation by the Company of a Business Combination or the liquidation of the Company, subject to any pre-existing fiduciary obligations the Initial Shareholders might have.
