Register | Log in | FAQ      [?] 

Author Mcmillan [83 articles]

Recent papers posted to CiteULike by the author Mcmillan.
  • Self-paced working memory: Validation of verbal variations of the n-back paradigm
    Brain Research, Vol. 1139 (30 March 2007), pp. 133-142.
    by Kathryn M Mcmillan, Angela R Laird, Suzanne T Witt, Elizabeth M Meyerand
    posted to working watch self_paced route paradigm n-back memory brainres brain alternative by Harrie on 2008-08-06 19:18:56 as ** along with 1 person CharlesGaylord
  • Cadence Berkeley Labs.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L Mcmillan
    posted to model_checking abstraction by zuleger on 2008-08-06 13:01:58 as ****
  • An Image-Based Approach to Three-Dimensional Computer Graphics
    No. TR97-013. (Apr 1997)
    by Leonard Mcmillan
    posted to dibr by michaelfieseler on 2008-07-30 20:26:48 as **
  • Disassembling the Galaxy with angle-action coordinates
    (2 Jun 2008)
    by Paul J Mcmillan, James J Binney
    posted to theory galactic by stuartsale on 2008-07-28 15:49:49 as **
  • Symbolic Model Checking: $10^20$ States and Beyond
    (1990), pp. 1-33.
    by J Burch, E Clarke, K Mcmillan, D Dill, L Hwang
    posted to model_checking by zuleger on 2008-07-28 10:58:49 as ** along with 4 people mercutio Benet johannsen mccrimson
  • Deviant Democratization in India
    Democratization, Vol. 15, No. 4. (2008), pp. 733-749.
    by Alistair Mcmillan
    posted to india democratization democracy by tkosaka on 2008-07-22 02:05:29 as **
  • notes Image-based visual hulls
    (2000), pp. 369-374.
    by Wojciech Matusik, Chris Buehler, Ramesh Raskar, Steven J Gortler, Leonard Mcmillan
    posted to vision stereo hulls graphics geometry generals by iansimon on 2008-07-16 06:37:04 as *****
  • Genetic Stability of Newcastle Disease Virus CG179: A Strain Containing Only Clear Plaque Subpopulations
    Avian Diseases, Vol. 27, No. 3. (1983), pp. 787-791.
    by Blair C Mcmillan, RP Hanson
    posted to stability rate mutation genetic end by ucdmary on 2008-07-09 22:27:56 as *
  • Generalist genes and the Internet generation: etiology of learning abilities by web testing at age 10
    Genes, Brain & Behavior, Vol. 7, No. 4. (June 2008), pp. 455-462.
    by Davis, , Kovas, , Harlaar, , Busfield, , Mcmillan, , Frances, , Petrill, , Dale, , Plomin,
    posted to no-tag by Eugene on 2008-06-28 13:11:50 as **
  • Brain-computer interfaces based on the steady-state visual-evoked response
    Rehabilitation Engineering, IEEE Transactions on [see also IEEE Trans. on Neural Systems and Rehabilitation], Vol. 8, No. 2. (2000), pp. 211-214.
    by M Middendorf, G Mcmillan, G Calhoun, KS Jones
    posted to bci by alklazema on 2008-05-27 09:40:43 as ** along with 1 person breuderink
  • Ground State of Liquid He4
    Physical Review, Vol. 138, No. 2A. (19 April 1965), A442.
    by WL Mcmillan
    posted to qmc misc by pawelp on 2008-05-26 20:57:57 as **
  • Comparing mouse and steady-state visual evoked response-based control
    Interacting with Computers, Vol. 15, No. 4. (1 August 2003), pp. 603-621.
    by Keith S Jones, Matthew Middendorf, Grant R Mcmillan, Gloria Calhoun, Joel Warm
    posted to bci by alklazema on 2008-05-26 09:32:03 as **
  • Formal methods: state of the art and future directions
    ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing, Rajeev Alur, Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
    posted to formal-methods by jimburton on 2008-05-22 14:30:42 as *** along with 2 people and 1 group rgrig citeilike SRG_at_UCD
  • notes Crucial Conversations: Tools for Talking When Stakes are High
    (18 June 2002)
    by Kerry Patterson, Joseph Grenny, Ron Mcmillan, Al Switzler, Stephen R Covey
    posted to solutions resolution conflict communication by testbank on 2008-05-19 06:42:41 as **
  • Glycemic index and obesity
    Am J Clin Nutr, Vol. 76, No. 1. (1 July 2002), pp. 281S-285.
    by Janette C Brand-Miller, Susanna HA Holt, Dorota B Pawlak, Joanna Mcmillan
    posted to metabolism higea glycemic_load glycemic_index by Prodiana on 2008-05-02 07:25:24 as **
  • Relaxation in glassforming liquids and amorphous solids
    Journal of Applied Physics, Vol. 88, No. 6. (2000), pp. 3113-3157.
    by CA Angell, KL Ngai, GB Mckenna, PF Mcmillan, SW Martin
    posted to review relaxation glass angell by dchen on 2008-04-29 19:01:23 as ** along with 1 person weeks
  • Comparative physical mapping links conservation of microsynteny to chromosome structure and recombination in grasses
    Proceedings of the National Academy of Sciences, Vol. 102, No. 37. (13 September 2005), pp. 13206-13211.
    by John E Bowers, Miguel A Arias, Rochelle Asher, Jennifer A Avise, Robert T Ball, Gene A Brewer, Ryan W Buss, Amy H Chen, Thomas M Edwards, James C Estill, Heather E Exum, Valorie H Goff, Kristen L Herrick, Cassie L Steele, Santhosh Karunakaran, Gmerice K Lafayette, Cornelia Lemke, Barry S Marler, Shelley L Masters, Joana M Mcmillan, Lisa K Nelson, Graham A Newsome, Chike C Nwakanma, Rosana N Odeh, Cynthia A Phelps, Elizabeth A Rarick, Carl J Rogers, Sean P Ryan, Keimun A Slaughter, Carol A Soderlund, Haibao Tang, Rod A Wing, Andrew H Paterson
    posted to synteny sorghum rearrangement physical map heterochromatin grasses by tanghaibao on 2008-04-25 04:19:08 as **
  • Abstractions from proofs
    SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 232-244.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L Mcmillan
    posted to no-tag by yuichi0619 on 2008-04-15 11:59:36 as **
  • A procedural approach to authoring solid models
    Vol. 21, No. 3. (July 2002), pp. 302-311.
    by Barbara Cutler, Julie Dorsey, Leonard Mcmillan, Matthias M&\#252;ller, Robert Jagnow
    posted to procedural_modeling solid_models by sgroenewegen on 2008-04-10 11:06:45 as ** along with 1 person and 2 groups jessmartin unc_cs_eve UNC-EVE
  • Episodic-Like Memory in Rats: Is It Based on When or How Long Ago?
    Science, Vol. 320, No. 5872. (4 April 2008), pp. 113-115.
    by William A Roberts, Miranda C Feeney, Krista Macpherson, Mark Petter, Neil Mcmillan, Evanya Musolino
    posted to episodic memory by Lyngbya on 2008-04-10 11:03:18 as read along with 1 person nelmor
  • Bidding behavior in competing auctions: Evidence from eBay
    European Economic Review, Vol. 50, No. 2. (February 2006), pp. 307-322.
    by Sajid Anwar, Robert Mcmillan, Mingli Zheng
    posted to paper_01_internet_auctions multi_unit internet_auctions empirical auctions by Ubiquitousuk on 2008-04-07 16:16:58 as read
  • Manipulation of Allergen-Induced Airway Remodeling by Treatment with Anti-TGF-beta Antibody: Effect on the Smad Signaling Pathway
    J Immunol, Vol. 174, No. 9. (1 May 2005), pp. 5774-5780.
    by Sarah J Mcmillan, Georgina Xanthou, Clare M Lloyd
    posted to asthma chronic methods murine by nickpitman on 2008-03-26 14:33:48 as **
  • Selling Spectrum Rights
    The Journal of Economic Perspectives, Vol. 8, No. 3. (1994), pp. 145-162.
    by John Mcmillan
    posted to no-tag by axiomsofchoice on 2008-03-20 15:06:25 as *****
  • Symbolic model checking: 10<sup>20</sup> states and beyond
    Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 428-439.
    by JR Burch, EM Clarke, KL Mcmillan, DL Dill, LJ Hwang
    posted to bdd sat symbolicmodelchecking by voronov on 2008-02-10 21:36:53 as **
  • An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
    Correct Hardware Design and Verification Methods (2005), pp. 254-268.
    by Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P Kurshan, Kenneth L Mcmillan
    posted to binary-decision-diagrams bounded-model-checking model-checking sat-based-algorithms by tuncay on 2008-02-06 21:34:46 as **
  • Astronomy Today (6th Edition)
    (19 July 2007)
    by Eric Chaisson, Steve Mcmillan
    posted to astronomy by Sprudeldudel on 2008-01-30 15:33:31 as **
  • N-back working memory paradigm: A meta-analysis of normative functional neuroimaging studies
    Human Brain Mapping, Vol. 25, No. 1. (2005), pp. 46-59.
    by Adrian M Owen, Kathryn M Mcmillan, Angela R Laird, Ed Bullmore
    posted to fmri human metaanalysis nback workingmemory by dep on 2008-01-02 22:55:59 as **
  • Defining Interactivity: A Qualitative Identification of Key Dimensions
    New Media Society, Vol. 2, No. 2. (1 June 2000), pp. 157-179.
    by Edward J Downes, Sally J Mcmillan
    posted to avhandling deltagande by peefeeyatko on 2007-12-11 11:13:29 as *****
  • Continuous capture of skin deformation
    ACM Trans. Graph., Vol. 22, No. 3. (July 2003), pp. 578-586.
    by Peter Sand, Leonard Mcmillan, Jovan Popovic
    posted to deformation motion-capture surface-capture by hp2oo1 on 2007-12-10 16:55:55 as **
  • Interpolation and SAT-Based Model Checking
    : Computer Aided Verification (2003), pp. 1-13.
    by KL Mcmillan
    posted to no-tag by mccrimson on 2007-11-16 07:29:58 as ***** along with 1 person and 1 group pganty groupverif
  • An interpolating theorem prover
    Theor. Comput. Sci., Vol. 345, No. 1. (November 2005), pp. 101-121.
    by KL Mcmillan
    posted to prover model-checking by msakai on 2007-11-11 10:38:04 as read
  • A parallel gravitational N-body kernel
    (5 Nov 2007)
    by Simon P Zwart, Steve Mcmillan, Derek Groen, Alessia Gualandris, Michael Sipior, Willem Vermin
    posted to cosmo n-body numeric parallel by ansobol on 2007-11-08 07:14:18 as **
  • Frameless Rendering: Double Buffering Considered Harmful
    Computer Graphics, Vol. 28, No. Annual Conference Series. (1994), pp. 175-176.
    by Gary Bishop, Henry Fuchs, Leonard Mcmillan, Ellen
    posted to anti-aliasing graphics by conal on 2007-11-02 21:15:41 as **
  • Seasonal Abundance of Atlantic Croaker (Micropogonias undulatus) in Relation to Bottom Salinity and Temperature in South Carolina Estuaries
    Estuaries, Vol. 5, No. 3. (1982), pp. 216-223.
    by John V Miglarese, Courtney W Mcmillan, MH Shealy
    posted to croaker estuary fish population by eustatic on 2007-11-01 18:38:00 as ***
  • Daily global maps of carbon monoxide from NASA's Atmospheric Infrared Sounder
    Geophysical Research Letters, Vol. 32 (1 June 2005), L11801.
    by WW Mcmillan, C Barnet, L Strow, MT Chahine, ML Mccourt, JX Warner, PC Novelli, S Korontzi, ES Maddy, S Datta
    posted to no-tag by brianhkahn on 2007-10-27 19:48:20 as read along with 1 person loudbrain
  • Using the “blue spike” to characterize biomass-burning sites during Southern African Regional Science Initiative (SAFARI) 2000
    Journal of Geophysical Research, Vol. 109 (2004), D20307.
    by ML Mccourt, WW Mcmillan, S Ackerman, R Holz, HE Revercomb, D Tobin
    posted to no-tag by brianhkahn on 2007-10-27 09:44:09 as read
  • Verification of the Futurebus+ Cache Coherence Protocol
    (1993), pp. 5-20.
    by EM Clarke, O Grumberg, H Hiraishi, S Jha, DE Long, KL Mcmillan, LA Ness
    edited by D Agnew, L Claesen, R Camposano
    posted to no-tag by mccrimson on 2007-10-19 08:11:02 as **
  • Bidding Rings
    The American Economic Review, Vol. 82, No. 3. (1992), pp. 579-599.
    by Preston P Mcafee, John Mcmillan
    posted to 450-1 collusion by toomash on 2007-10-12 21:55:46 as ** along with 1 person gorm
  • Distributed N-body Simulation on the Grid Using Dedicated Hardware
    (28 Sep 2007)
    by Derek Groen, Simon P Zwart, Steve Mcmillan, Jun Makino
    posted to cosmo hpc n-body simulation by ansobol on 2007-10-02 06:48:34 as **
  • Stable real-time deformations
    (2002), pp. 49-54.
    by Matthias Müller, Julie Dorsey, Leonard Mcmillan, Robert Jagnow, Barbara Cutler
    posted to deformation modeling stability by ben500 on 2007-09-27 15:11:59 as read along with 1 person hdfy
  • Localization of Mullerian Mimicry Genes on a Dense Linkage Map of Heliconius erato
    Genetics, Vol. 173, No. 2. (1 June 2006), pp. 735-757.
    by Durrell D Kapan, Nicola S Flanagan, Alex Tobler, Riccardo Papa, Robert D Reed, Acevedo, Ramirez, Lournet Martinez, Karla Maldonado, Clare Ritschoff, David G Heckel, Owen W Mcmillan
    posted to butterfly_290 by dmets on 2007-09-25 23:19:51 as **
  • A Genetic Linkage Map of the Mimetic Butterfly Heliconius melpomene
    Genetics, Vol. 171, No. 2. (1 October 2005), pp. 557-570.
    by Chris D Jiggins, Jesus Mavarez, Margarita Beltran, Owen W Mcmillan, Spencer J Johnston, Eldredge Bermingham
    posted to butterfly_290 by dmets on 2007-09-25 23:17:00 as **
  • Symbolic Model Checking
    (1993)
    by Kenneth L Mcmillan
    posted to hardwareverification model-checking by lcigler on 2007-08-10 10:46:40 as **
  • Ordered nanoparticle arrays formed on engineered chaperonin protein templates
    Nat Mater, Vol. 1, No. 4. (December 2002), pp. 247-252.
    by Andrew R Mcmillan, Chad D Paavola, Jeanie Howard, Suzanne L Chan, Nestor J Zaluzec, Jonathan D Trent
    posted to chaperonin dot quantum by wduim on 2007-08-07 20:07:03 as ****
  • Complex larval connectivity patterns among marine invertebrate populations
    PNAS, Vol. 104, No. 9. (27 February 2007), pp. 3267-3272.
    by Bonnie J Becker, Lisa A Levin, Joel F Fodrie, Pat A Mcmillan
    posted to dispersal by iLL-Phil on 2007-06-14 16:20:19 as read along with 1 person jebyrnes
  • Compositional model checking
    (1989), pp. 353-362.
    by E Clarke, D Long, K Mcmillan
    posted to model_checking modularity by bfraser on 2007-06-06 00:40:32 as **
  • Circular Compositional Reasoning about Liveness
    (1999), pp. 342-345.
    by Kenneth L Mcmillan
    posted to assume_guarantee model_checking by bfraser on 2007-06-03 05:57:11 as **
  • Age-dependency in hunting ability among the Ache of Eastern Paraguay
    Journal of Human Evolution, Vol. 42, No. 6. (June 2002), pp. 639-657.
    by Robert Walker, Kim Hill, Hillard Kaplan, Garnett Mcmillan
    posted to ethnography hunter_gatherer juvenile by laharrin on 2007-05-21 23:42:48 as **
  • Application of laser spectroscopy for measurement of exhaled ethane in patients with lung cancer
    Respiratory Medicine, Vol. 100, No. 2. (February 2006), pp. 300-306.
    by KD Skeldon, LC Mcmillan, CA Wyse, SD Monk, G Gibson, C Patterson, T France, C Longbottom, MJ Padgett
    posted to breath-test laser-spectroscopy lung-cancer by hukrause on 2007-05-09 15:48:38 as ****
  • A selfreconfiguring platform
    (2003)
    by B Blodget, James P Roxby, E Kelle, S Mcmillan, P Sundararajan
    posted to self-reconfigurable reconfigurable paul matt gabe ee780 by peskin on 2007-04-27 16:30:36 as read
    • Note: You may cite this page as: http://www.citeulike.org/author/Mcmillan

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.