Defence and Peace Economics 1024-2694 (print)/1476-8267 (online) Original Articl 2 10 Taylor & Francis 0 0 JunZhuang jzhua g@buffalo. du In this work, we develop a game-theoretic model for whether and how a first mover should disclose her resource allocation. Our model allows us to explore whether the first mover should disclose correct information about her resource allocation, incorrect infor...

1476 The Disputed Birth of Buckyballs 1479 France Set to Reopen AIDS Pact? 1480 New Journal Will Publish Without Paper 1481 Why Bigger Isn't Better in Earth Observation 1482 Allocating the Pain in Energy Science 1483 Healy Uses Wit to Woo NIHers Another Sex Survey Bites the Dust 1484 Briefings: Shuttle Souvenirs a Ocean-Slick Yardstick a AIDS Parley Site Set A California v. Genetic Discriminati...

Fourth International Conference Artificial Intelligence and Symbolic Computation, Plattsburgh, NY, September 1998. LNAI 1476, pp. 247–258, Springer Verlag, 1998. Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in place of existentially quantified variables and combine...

1 2 Running Title: Visual reference frames in VIP 3 4 Xiaodong Chen, Gregory C DeAngelis and Dora E Angelaki 5 6 7 Affiliations: 8 1 Department of Neuroscience, Baylor College of Medicine, Houston, TX 9 2 Department of Brain and Cognitive Sciences, University of Rochester, Rochester, NY 10 11 12 Correspondence should be addressed to: Dora E Angelaki 13 E-MAIL: [email protected] 14 M...