8 resultados para LEE-YANG THEOREM

em Brock University, Canada


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The x-ray crystal structure of thiamine hydroiodide,C1ZH18N40S12' has been determined. The unit cell parameters are a = 13.84 ± 0.03, o b = 7.44 ± 0.01, c = 20.24 ± 0.02 A, 8 = 120.52 ± 0.07°, space group P2/c, z = 4. A total of 1445 reflections having ,2 > 2o(F2), 26 < 40° were collected on a Picker four-circle diffractometer with MoKa radiation by the 26 scan technique. The structure was solved by the heavy atom method. The iodine and sulphur atoms were refined anisotropically; only the positional parameters were refined for the hydrogen atoms. Successive least squares cycles yielded an unweighted R factor of 0.054. The site of protonation of the pyrimidine ring is the nitrogen opposite the amino group. The overall structure conforms very closely to the structures of other related thiamine compounds. The bonding surrounding the iodine atoms is distorted tetrahedral. The iodine atoms make several contacts with surrounding atoms most of them at or near the van der Waal's distances A thiaminium tetrachlorocobaltate salt was produced whose molecular and crystal structure was j~dged to be isomorphous to thiaminium tetrachlorocadmate.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work consists of a theoretical part and an experimental one. The first part provides a simple treatment of the celebrated von Neumann minimax theorem as formulated by Nikaid6 and Sion. It also discusses its relationships with fundamental theorems of convex analysis. The second part is about externality in sponsored search auctions. It shows that in these auctions, advertisers have externality effects on each other which influence their bidding behavior. It proposes Hal R.Varian model and shows how adding externality to this model will affect its properties. In order to have a better understanding of the interaction among advertisers in on-line auctions, it studies the structure of the Google advertisements networ.k and shows that it is a small-world scale-free network.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A photograph of J. Diefenbaker, Keith Marten, Sean O'Sullivan and Lee Richardson. The photograph is undated. It is included in a photo book in honour of John G. Diefenbaker's 80th birthday.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The wrestler's name is Lee Henning and the number stamped on the reverse is 764.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The wrestler's name is H.I. Lee and the number stamped on the reverse is 599. The second card is stamped 051.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Letter to Mr. Lee who was clerk of the Heir Devisee Committee in Toronto from Samuel D. Woodruff. [The Heir and Devisee Committee was formed to clarify the titles to land of heirs of people who had been assigned Crown lands before 1795. Many of the original grantees had not taken out patents to confirm their legal right to the land.] This letter confirms that steps have been taken to issue the patent, July 19, 1847.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Letter to Mr. Lee from Samuel D. Woodruff which states that in July the affidavits were sent for the purpose of getting the patent for Lot no.30, Concession 2 in Enniskillen. Mr. Woodruff requests a receipt of that information and he would like to know about the progress on the patent. The left hand of the letter is completely burned away although most of the text is still intact, Feb. 21, 1848.