Stochastic Reasoning Sample Clauses

Stochastic Reasoning. ‌ The aim of work in Task 8.4 is to introduce the possibility of of stochas- tic and logical modelling and reasoning into Event-B. This would allow us to address several important challenges. First, it could be used to provide quan- titative assessment of such important system attributes as safety, reliability and availability. Second, it is needed for proving “almost certain” termination for a range of applications such as communication protocols. The work in the task has advanced in three main directions: • Extending Event-B to enable probabilistic discrete time-based reason- ing about dependability attributes; • Reasoning about almost certain termination; • Reasoning based on continuous time.
AutoNDA by SimpleDocs

Related to Stochastic Reasoning

  • Financial Hardship Must include verification appropriate to the circumstance and must demonstrate a loss of income that has occurred since the cancellation deadline as stated in Section III C. The Licensee must submit a copy of the current academic year financial aid award summary for evaluation. Students must show that they have exhausted all viable options, including taking out student loans before a consideration to cancel is made.

  • Disabled Employees' Preference Any employee covered by this Agreement who has given good and faithful service to the Employer and who, through advancing years or temporary disablement is unable to perform their regular duties, may be given the preference of any light work available at the salary payable at the time for the assigned position.

  • Child or Elder Care Emergencies Leave without pay, compensatory time or paid leave may be granted for child or elder care emergencies.

  • STATEWIDE ACHIEVEMENT TESTING When CONTRACTOR is an NPS, per implementation of Senate Bill 484, CONTRACTOR shall administer all Statewide assessments within the California Assessment of Student Performance and Progress (“CAASP”), Desired Results Developmental Profile (“DRDP”), California Alternative Assessment (“CAA”), achievement and abilities tests (using LEA-authorized assessment instruments), the Fitness Gram with the exception of the English Language Proficiency Assessments for California (“ELPAC”) to be completed by the LEA, and as appropriate to the student, and mandated by XXX xxxxxxxx to LEA and state and federal guidelines. CONTRACTOR is subject to the alternative accountability system developed pursuant to Education Code section 52052, in the same manner as public schools. Each LEA student placed with CONTRACTOR by the LEA shall be tested by qualified staff of CONTRACTOR in accordance with that accountability program. XXX shall provide test administration training to CONTRACTOR’S qualified staff. CONTRACTOR shall attend LEA test training and comply with completion of all coding requirements as required by XXX.

  • Illness or Disability If, because of Employee’s illness or other disability for a continuous period of more than 45 days, Employee is unable to render the services required by the Company as provided herein, the Company may terminate Employee’s employment hereunder by written notice to Employee at least 30 days in advance of such termination. Upon such termination Employee shall not be entitled to any further payments of any nature, except for payment of (a) any earned but unpaid Annual Base Salary, (b) any unpaid bonuses and (c) unreimbursed business expenses (collectively, “Payable Amounts”). All Payable Amounts shall become due and payable on the date of such termination.

  • Religious Objection Any employee who is a member of and adheres to established and traditional tenets or teachings of a bona fide religion, body, or sect which has historically held conscientious objections to joining or financially supporting labor organizations shall not be required to join or financially support the Union as a condition of employment. Such an employee shall, in lieu of dues and fees, pay sums equal to such dues and fees to a non-religious charitable fund. These religious objections and decisions as to which fund will be used must be documented and declared in writing to the Union. Any employee exercising their right of religious objection must provide the Union with a receipt of payment to an appropriate charity on a monthly basis.

  • Disabled Child A disabled dependent child is an eligible employee’s child or grandchild regardless of marital status, who was covered and then disabled prior to the limiting age or any other limiting term required for dependent coverage and who continues to be incapable of self-sustaining employment by reason of developmental disability, mental illness or disorder, or physical disability, and is chiefly dependent upon the employee for support and maintenance, provided proof of such incapacity and dependency must be furnished to the health carrier by the employee or enrollee within thirty one (31) days of the child’s attainment of the limiting age or any other limiting term required for dependent coverage. The disabled dependent is eligible to continue coverage as long as s/he continues to be disabled and dependent, unless coverage terminates under the contract.

  • Pre-Retirement Counseling Leave ‌ After reaching earliest retirement age, each employee shall be granted up to three and one-half (3-1/2) days leave with pay to pursue bona fide pre-retirement counseling programs. Employees shall request the use of leave provided in this Article at least five (5) days prior to the intended date of use. Authorization for use of pre-retirement counseling leave shall not be withheld unless the Appointing Authority determines that the use of such leave will handicap the efficiency of the employee's work unit. When the dates requested for pre-retirement leave cannot be granted for the above reason, the Agency shall offer the employee a choice from three (3) other sets of dates. The leave herein discussed may be used to investigate and assemble the employee's retirement program, including PERS, Social Security, insurance and other retirement income.

  • Duty Disability (1) For Calendar Year 2018, 2019, and 2020 Depending on the individual's single/family enrollment status, the cost of coverage for individuals receiving a duty disability retirement allowance shall be as provided in subsection 3.a.(1) of this Article, above.

  • Personal Illness or Disability The bargaining unit member may use all or any portion of his leave to recover from his/her own illness or disability.

Time is Money Join Law Insider Premium to draft better contracts faster.