Zobrazeno 1 - 10 of 12 pro vyhledávání: '"WILLIAM F. WILSON"'
1
Stochastic preemptive goal programming of Air Force weapon systems mix
Autor: Donald B Hale, Zachary E Butcher, Emmie K Swize, Emily S Graves, Benjamin D Huffman, Justin L Anderson, Camero Song, Marcelo Zawadzki, Nicholas A Pollack, Jr Kylie E Wooten, Jr Kimberly G Holland, John C Goodwill, James B Crumpacker, Jesse G Wales, Mark A. Gallagher, Julius C Walker, Nathaniel C Dennie, Alex R Gaines, Michelle McGee, Andrew B Wilson, Matthew D Cornman, Erick A Tello, Jessica M Astudillo, William F Wilson, Rachel C Ramirez, Anthony J Correale
Publikováno v: The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology. 20:147-158
We demonstrate a new approach to conducting a military force structure study under uncertainty. We apply the stochastic preemptive goal program approach, described by Ledwith et al., to balance probabilistic goals for military force effectiveness and
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::597bbf0f505eb62dbe5127f353afe73b
https://doi.org/10.1177/15485129211051751
Zobrazit plný text záznamu
3
Isomerism and fluxional behaviour in η2 -vinyl complexes resulting in inversion of configuration at an asymmetric carbon atom. The crystal and molecular structures of two isomeric forms of [MoCl{η2 -C(CF3)C(CF3)(PEt3)} (CF3CCCF3)(η5 -C5H5)]
Autor: Kenneth W. Muir, Ljubica Manojlović-Muir, William F. Wilson, Jack L. Davidson
Publikováno v: Journal of Organometallic Chemistry. 254:C6-C10
η 2 -Vinyl complexes [MCl{η 2 -C(CF 3 )C(CF 3 )L} (CF 3 CCCF 3 )(η 5 -C 5 H 5 )] (M = Mo, W: L = tertiary phosphine or phosphite or pyridine) have been shown by NMR and X-ray diffraction studies to exist in two distinct isomeric forms which exh
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ccd99a7759f34e8a90e205e8ee3bb955
https://doi.org/10.1016/0022-328x(83)85127-4
Zobrazit plný text záznamu
4
Muse—A Computer Assisted Verification System
Autor: Norman Proctor, William F. Wilson, Sam Owre, J.D. Halpern
Publikováno v: IEEE Transactions on Software Engineering. :151-156
Muse is a verification system which extends the collection of tools developed by SRI International for their Hierarchical Development Methodology (HDM). It enhances the SRI system by providing a capability for proving invariants and constraints for t
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1a0ac895c149ed0967f3b4d3a3fa43da
https://doi.org/10.1109/tse.1987.226477
Zobrazit plný text záznamu
5
Cyclo-oligomerisation reactions of bis(alkyne) and η2-vinyl complexes of molybdenum and tungsten with t-butyl isocyanide leading to iminocyclopentadiene derivatives
Autor: Jack L. Davidson, William F. Wilson
Publikováno v: J. Chem. Soc., Dalton Trans.. :27-34
Reactions of t-butyl isocyanide with bis(alkyne) complexes [M(SR)(CF3CCCF3)2(η5-C5H5)](M = Mo, R = C6F5; M = W, R = C6H4Me-4) and isomeric η2-vinyl complexes [W{C(CF3)C(CF3)SR}(CF3CCCF3)(η5-C5H5)](R = Me, Pri, or But) give bis(isocyanide)-metallac
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::38202dee38b2cbfd3a366caad30adae5
https://doi.org/10.1039/dt9880000027
Zobrazit plný text záznamu
7
The mechanism of metal-promoted alkyne cyclo-oligomerisation with isocyanides leading to cyclopentadiene derivatives. The crystal and molecular structure of [WSPri(CNBut){η2-C4(CF3)4CNBut}(η5-C5H5)] containing an η2-tetrakis(trifluoromethyl)cyclopentadienimine ligand
Autor: Kenneth W. Muir, William F. Wilson, Jack L. Davidson
Publikováno v: J. Chem. Soc., Chem. Commun.. :460-462
Reaction of t-butyl isocyanide with the two co-ordinated alkynes in [MSR′(CF3CCCF3)2(η5-C5H5)](M = Mo, R′= C6F5; M = W, R′=p-tolyl) has been shown to involve initial attack at the alkyne followed by transfer of CNBut to the metal with concomit
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::986a469f1fe9b193b2ef69fe2b8b6a14
https://doi.org/10.1039/c39850000460
Zobrazit plný text záznamu
8
Muse - A Computer Assisted Verification System
Autor: Sam Owre, William F. Wilson, Norman Proctor, J. Daniel Halpern
Publikováno v: IEEE Symposium on Security and Privacy
Muse is a verification system which extends the collection of tools developed by SRI for their Hierarchical Development Methodology (HDM). It enhances the SRI system by providing a capability for proving invariants and constraints for the state machi
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::01eb2efcb7377dcca6420cf0618659ce
https://doi.org/10.1109/sp.1986.10011
Zobrazit plný text záznamu
9
Uric acid excretion: quantitative assessment from spot, midmorning serum and urine samples
Autor: Patricia L. Hoover, Charles S. Paxson, William F. Wilson, Peter A. Simkin
Publikováno v: Annals of internal medicine. 91(1)
Uric acid excretion can be measured in milligrams of urinary uric acid per decilitre of glomerular filtrate by obtaining the product of urinary uric acid and serum creatinine concentrations and dividing by the urine creatinine (all concentrations in
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c03acb0999ecc444c85167787916d163
https://pubmed.ncbi.nlm.nih.gov/464453
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje