Extended Example Sample Clauses

Extended Example. List Forwarding
Sample 1Sample 2Sample 3See All (4)
AutoNDA by SimpleDocs
Extended Example. In this section we will present a small but realistic example on a breast can- cer dataset. The dataset contains nodes about x-ray properties and is intended for diagnostic purposes. The focus in this paper concentrates on explaining an MPE, therefore we will not discuss the medical background or how the BN was created. For further information to the data set, see [1]. However, it is notable that this network contains 16 nodes, which means that MPEs are quite hard to comprehend. To compute an exemplary MPE, we choose the scenario that no imag- ing has been done yet, and select a number of observations that can be done in clinical practice, in particular, we take the observations that Age(35–49), SkinRetract(Yes), NippleDischarge(No) and Location(UpInQuad). Given this evidence, the MPE solution that we find is: AD(No), BC(No), BreastDensity(medium), FibrTissue-Dev (Yes), LymphNodes(no), Margin(Ill- defined ), Mass(No), MC(No), Metastasis-(no), Shape(Other), Size(1 cm), Spic- ulation(Yes). The explanation with our method is: “The observed evidence age 35–49 and no nipple discharge is best explained by no architectural distortions. Given age 35–49, no nipple discharge and no architectural distortions, no metas- tasis is very likely. With the description of the previous sentence no lymph nodes will most probable be highly likely. Since no lymph nodes is highly likely and age 35–49 and no nipple discharge is given, no microcalcifications is very likely. Given age 35–49, no nipple discharge, no architectural distortions, no metasta- sis, no lymph nodes and no microcalcifications, breast cancer is very unlikely. With the description of the previous sentence size smaller than 1 cm will most probable be highly likely. In the pre-established combination other shape is highly likely. With the prior explanation no mass will most probable be highly likely. Given skin retract and UpInQuad location, fibrous tissue development is likely. Since fibrous tissue development is likely and skin retract and UpInQuad loca- tion is given, ill-defined margin is likely. With the description of the previous sentence spiculation is highly likely. Given no architectural distortions, no nip- ple discharge, size smaller than 1 cm, other shape and medium breast density is plausible”. We believe that this is a reasonable explanation that could be understandable for physician, although clearly not trivial. The explanation shows, which other nodes are important for the explanation of a node, ...
Sample 1
Extended Example. List Forwarding‌ In this section we present a final example that illustrates all the features of the OCaml implementation of λCoS, including dependent contracts. We also take advantage of OCaml’s support for parametric polymorphism and recursive types, which we have omitted in the formal model of λCoS for the sake of simplicity. The following function 1 let forwarder_body x = 2 let rec aux y = 3 function 4 | [] → close (right y) 5 | v :: l → aux (send v (left y)) l in 6 let l, x = receive x in (* receive the elements to be forwarded *) 7 let y, x = receive x in (* receive the destination endpoint *) 8 close x; aux y l models the body of a forwarding service that delivers a list of elements to a given recipient, one element at a time. The service interacts with the client using the endpoint x, from which it receives a list l of elements (line 6) and another endpoint y on which the elements of the list should be forwarded (line 7). The main loop of the service (lines 2–5) iterates over the list: when the list is empty (line 4), the service selects the “right” branch of the protocol and closes the endpoint; when the list contains at least one element v, the service selects the “left” branch of the protocol, it sends v on y, and then iterates over the tail of the list (line 5). OCaml infers for forwarder_body the signature val forwarder_body : ?(α list).?(rec A.(!α .A) ⊕ end).end mt → unit where rec A.(!α .A) ⊕ end stands for the equi-recursive session type T that satisfies the equation T = (!α .T ) ⊕ end.1 As the type suggests, forwarder_body performs an arbitrary number of outputs on the delegated endpoint y, and by parametricity we also deduce that the elements being sent in these outputs must come from the list l. However, we do not know whether the number of forwarded elements actually matches the length of the list. The service can advertise this guarantee by means of the following contract: 1 let forwarder_c = 3 if n > 0 then (* more list elements *)
Sample 1
Extended Example. List Forwarding‌ In this section we present a final example that illustrates all the features of the OCaml imple- mentation of λCoS, including dependent contracts. We also take advantage of OCaml’s support for parametric polymorphism and recursive types, which we have omitted in the formal model of λCoS for the sake of simplicity. The following function 2 let rec aux y = 3 function
Sample 1

Related to Extended Example

  • Enhanced Extended Links (EELs) 5.3.1 EELs are combinations of Loops and Dedicated Transport as defined in this Attachment, together with any facilities, equipment, or functions necessary to combine those Network Elements. BellSouth shall provide CCI with EELs where the underlying Network Element are available and are required to be provided pursuant to this Agreement and in all instances where the requesting carrier meets the eligibility requirements, if applicable. 5.3.2 High-capacity EELs are (1) combinations of Loop and Dedicated Transport, (2) Dedicated Transport commingled with a wholesale loop, or (3) a loop commingled with wholesale transport at the DS1 and/or DS3 level as described in 47 C.F.R. § 51.318(b). 5.3.3 By placing an order for a high-capacity EEL, CCI thereby certifies that the service eligibility criteria set forth herein are met for access to a converted high-capacity EEL, a new high-capacity EEL, or part of a high-capacity commingled EEL as a UNE. BellSouth shall have the right to audit CCI’s high-capacity EELs as specified below.

  • Extended Local Calling Scope Arrangement An arrangement that provides a Customer a local calling scope (Extended Area Service, “EAS”), outside of the Customer’s basic exchange serving area.

  • EXTENDED SERVICE 156 Upon application, a military leave of absence (without pay) will be granted to employees who are employed in other than temporary positions. This applies to employees who are inducted through a selective service system or voluntary enlistment, or if the employee is called through membership in the National Guard or reserve component into the Armed Forces of the United States.

  • Extended Illness Sick leave for extended illness (5 or more days) will be paid only during the time period in which a physician certifies the employee to be physically or mentally disabled, and only to the extent of the number of days accumulated.

  • Extended Sick Leave When sick leave extends for more than 25 consecutive working days, the appointing authority shall initiate the following procedure:

  • Provisioning Line Splitting and Splitter Space 3.8.1 The Data LEC, Voice CLEC or BellSouth may provide the splitter. When Southern Telecom or its authorized agent owns the splitter, Line Splitting requires the following: a non-designed analog Loop from the serving wire center to the NID at the End User’s location; a collocation cross connection connecting the Loop to the collocation space; a second collocation cross connection from the collocation space connected to a voice port; the high frequency spectrum line activation, and a splitter. The Loop and port cannot be a Loop and port combination (i.e. UNE-P), but must be individual stand-alone Network Elements. When BellSouth owns the splitter, Line Splitting requires the following: a non designed analog Loop from the serving wire center to the NID at the End User’s location with CFA and splitter port assignments, and a collocation cross connection from the collocation space connected to a voice port. 3.8.2 An unloaded 2-wire copper Loop must serve the End User. The meet point for the Voice CLEC and the Data LEC is the point of termination on the MDF for the Data LEC's cable and pairs. 3.8.3 The foregoing procedures are applicable to migration to Line Splitting Service from a UNE-P arrangement, BellSouth Retail Voice Service, BellSouth High Frequency Spectrum (CO Based) Line Sharing. 3.8.4 For other migration scenarios to line splitting, BellSouth will work cooperatively with CLECs to develop methods and procedures to develop a process whereby a Voice CLEC and a Data LEC may provide services over the same Loop.

  • Additional Coverage To the extent that insurance coverage provided by Consultant maintains higher limits than the minimums appearing in Exhibit B, City requires and shall be entitled to coverage for higher limits maintained.

  • Extended Tours Where the Hospital and the Union agree, subject to the approval of the Ministry of Labour, other arrangements regarding hours of work may be entered into between the parties on a local level with respect to tours beyond the normal or standard work day. The model agreement with respect to extended tour arrangements is set out below: This Model Agreement shall be part of the Collective Agreement between the parties herein, and shall apply to the employees described in Article 1 of the Model Agreement.

  • Service Level Commitment IBM provides the following service level commitment (“SLA”) for the Cloud Service, after IBM makes the Cloud Service available to you.

  • Initial Term Loan The Borrower shall give the Administrative Agent an irrevocable Notice of Borrowing prior to 11:00 a.m. on the Closing Date requesting that the Term Loan Lenders make the Initial Term Loan as a Base Rate Loan on such date (provided that the Borrower may request, no later than three (3) Business Days prior to the Closing Date, that the Lenders make the Initial Term Loan as a LIBOR Rate Loan if the Borrower has delivered to the Administrative Agent a letter in form and substance reasonably satisfactory to the Administrative Agent indemnifying the Lenders in the manner set forth in Section 5.9 of this Agreement). Upon receipt of such Notice of Borrowing from the Borrower, the Administrative Agent shall promptly notify each Term Loan Lender thereof. Not later than 1:00 p.m. on the Closing Date, each Term Loan Lender will make available to the Administrative Agent for the account of the Borrower, at the Administrative Agent’s Office in immediately available funds, the amount of such Initial Term Loan to be made by such Term Loan Lender on the Closing Date. The Borrower hereby irrevocably authorizes the Administrative Agent to disburse the proceeds of the Initial Term Loan in immediately available funds by wire transfer to such Person or Persons as may be designated by the Borrower in writing.

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