Propositions Clause Samples

Propositions. The absence of amorphous silicate features in the observed spectrum implies the presence of large disk gaps at temperatures above ∼ 150 K. (Chapters 2, 3 & 4 )

Propositions. ▇▇▇▇▇’▇ apparent lack of interest in the sublime needs to be understood as a rejection of the art of sublimity, or what ▇▇▇▇▇ calls die heilige Poesie (the Judaic Psalms).

Propositions. Will this project receive (or has it received) any funding from Proposition 84 (The Safe Drinking Water, Water Quality and Supply, Flood Control, No River and Coastal Protection Bond Act of 2006)? Will this project receive (or has it received) any funding from Proposition No 39 (California Clean Energy Jobs Act of 2012)?

Propositions. The evidence from the metrological analysis of eighteen Pompeian atrium houses, presented in this research, confirms that the layout of these houses was the result of a deliberate design that formed part of a longstanding Italic architectural tradition with its own sets of rules and schemes of measures and proportions.

Propositions. At the Election there shall be submitted to the resident, qualified electors of the District the following propositions (each, a “Proposition” and collectively, the “Propositions”):

Propositions. Propositions relating to the subject of the thesis “Central European Constitutional Courts in the Face of EU Membership: The Influence of the German Model in Hungary and Poland” by ▇▇▇▇▇ ▇▇▇▇▇▇▇ ▇▇▇▇▇▇.

Propositions. This section follows the example in the Models for Change Information Sharing Toolkit under the Purposes section. It serves as a preamble to the MOU to signify, among other things, that it is a legal document carrying with it the burden of responsibility by signatories. In addition, this section serves as a preliminary introduction of the document and summarizes its intent. This section

Propositions. Computational tree logic (CTL), a temporal logic, is used to express properties of a system. In CTL formulas are composed of path quantifiers, E and A, and temporal operators, X, F, G, and U21. In this section the claims of agreement at the good nodes and at the end of the third round is examined. The node-fault and link-fault models are model checked separately for F = 1, 2, and 3, while the same CTL proposition is used to verify agreement has been reached at all good nodes for both models. For model checking of each scenario, a particular node is instructed to be the source and scheduled to initiate broadcast of a Sync message at a particular time. Since the 3ROM is deterministic, the final vote time, VotingResultTime, is set to the end of the 3rd round after the broadcast of the initial Sync message. Validation of the CTL proposition requires examination of an underlying proposition. In particular, the variable VoteTime is used in these properties and is defined here. The GlobalClock is a measure of elapsed time from the beginning of the operation with respect to the real time, i.e., external view. The VoteTime is indicative of the GlobalClock reaching its target value of VotingResultTime and the GlobalAgreement is defined as the conjunction of voting results at all good nodes. Proposition SystemLiveness: AF (VoteTime) This property addresses the liveness property of the system and whether time advances and the amount of time elapsed, VoteTime, has advanced beyond the broadcast of the message and the three rounds to reach agreement on that message.

Propositions. As a result, the Board of Governors is requested: to give a mandate to the Secretary-General to sign a Contribution Agreement concerning the financing of the European Schools of Luxembourg I and Luxembourg II with the European Investment Bank represented by its President, ▇▇ ▇▇▇▇▇▇ ▇▇▇▇▇, who also represents for the purpose of this agreement the European Investment Fund being the EIB and EIF collectively referred as "the EIB Group", and the European Commission represented for the purpose of the present Agreement by its Vice-President, Ms ▇▇▇▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇. to give a mandate to the Secretary-General to sign a Participation Agreement, based on Article 28 of the Convention defining the Statute of the European Schools of 21 June 1994, with the European Investment Bank represented by its President, ▇▇ ▇▇▇▇▇▇ ▇▇▇▇▇, which also represents for the purpose of this agreement the European Investment Fund, being the EIB and the EIF collectively referred to as "the EIB Group". The European Schools, whose seat is located at ▇▇▇ ▇▇▇▇▇▇ ▇▇, 30, B-1049 Brussels, represented by the Board of Governors, itself represented, with a view to the signing of this participation agreement, by ▇▇ ▇▇▇▇ ▇▇▇▇▇▇▇, Secretary-General; hereinafter referred to as "the European Schools", on the one hand, The European Investment Bank (hereinafter "the EIB"), represented by its President, ▇▇ ▇▇▇▇▇▇ ▇▇▇▇▇, which also represents for the purpose of this agreement the European Investment Fund (hereinafter "the EIF"),being the EIB and the EIF collectively referred to as "the EIB Group", on the other, Whereas there are in Luxembourg two European Schools: the European School of Luxembourg I and the European School of Luxembourg II, located respectively ▇▇▇▇▇▇▇▇▇ ▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇, 23 in L-1115 Luxembourg and Rue ▇▇▇▇▇▇ ▇▇▇▇▇, 6 in L-8268 Bertrange; Whereas the EIB Group has an interest in the operation of the European Schools of Luxembourg I and Luxembourg II, since they provide schooling to the children of their staff who are entitled to attend these Schools as pupils of category I, Whereas pursuant to the Joint Declaration signed on 26 October 2015 with the European Commission (hereinafter "the Joint Declaration", annex 1), the EIB Group committed to contribute directly and significantly to the financing of the European Schools of Luxembourg I and II and signed with the European Commission and the European Schools, represented by the Secretary-General, on behalf of the Board of Governors, a Contribu...