DEDICATION To my parents, Dr. Alfred and Kathleen Morrison, who taught me the most important values in life: work hard, have respect, do what is right, and treat others the way you want to be treated. ACKNOWLEDGEMENTS I would like to thank my major professor, Dr. Nagarajan Ranganathan, for his guidance and assistance during my academic career. I would like to thank my committee members, Dr. Sri...

BY ROGER A. PIELKE JR., JIM ABRAHAM, ELLIOT ABRAMS, JIM BLOCK, RICHARD CARBONE, DAVID CHANG, KELVIN DROEGEMEIER, KERRY EMANUEL, ELBERT W. (JOE) FRIDAY JR., ROBERT GALL, JOHN GAYNOR, RODGER R. GETZ, TODD GLICKMAN, BRADLEY HOGGATT, WILLIAM H. HOOKE, EDWARD R. JOHNSON, EUGENIA KALNAY, JAMES (JEFF) KIMPEL, PAUL KOCIN, BYRON MARLER, REBECCA MORSS, RAVI NATHAN, STEVE NELSON, ROGER PIELKE SR., MARIA P...

To examine the issue of whether attentional focus can split among noncontiguous locations, Wright and Richard (2003) used a multiple-cue display and found the validity effect for each of the multiple cues. However, they argued against the multiple foci account by claiming that the multiple-cue effect they obtained was stimulus-driven. We doubt whether their cues were indeed exogenous as they cl...

Laura A. Lewis,a,b,1 Krzysztof Polanski,a,1 Marta de Torres-Zabala,c Siddharth Jayaraman,c,2 Laura Bowden,b,3 Jonathan Moore,a Christopher A. Penfold,a Dafyd J. Jenkins,a Claire Hill,b Laura Baxter,a Satish Kulasekaran,c William Truman,c,4 George Littlejohn,c Justyna Prusinska,b AndrewMead,b,5 Jens Steinbrenner,b Richard Hickman,a,6 David Rand,a David L. Wild,a Sascha Ott,a Vicky Buchanan-Wolla...

Monas Shahzad, Gautam Medhi, Robert E. Peale, Walter R. Buchwald, Justin W. Cleary, Richard Soref, Glenn D. Boreman, and Oliver Edwards Department of Physics, University of Central Florida, Orlando, Florida 32816, USA Solid State Scientific Corporation, 27-2 Wright Road, Hollis, New Hampshire 03049, USA Sensors Directorate, Air Force Research Laboratory, Wright-Patterson Air Force Base, Ohio 45...

Hyoungki Park,1,* Michael R. Fellinger,1 Thomas J. Lenosky,2 William W. Tipton,3 Dallas R. Trinkle,4 Sven P. Rudin,5 Christopher Woodward,6 John W. Wilkins,1 and Richard G. Hennig1,3 1Department of Physics, The Ohio State University, Columbus, Ohio 43210, USA 21974 Kirby Way, San Jose, California 95124-1324, USA 3Department of Materials Science and Engineering, Cornell University, Ithaca, New Y...

The use of formal ADL like Wright is critically dependent on the tools that are made available to architects. The Wr2fdr tools accompanying the formal Wright ADL provides translation to Wright to CSP. Wr2fdr automates four standard properties concerning consistency Connectors (properties 2 and 3), Component (a property 1) and Configuration Management (Property 8) Wright using the model checker ...