Phuong Nguyen

Odalric-Ambrym Maillard, Phuong Nguyen, Ronald Ortner, Daniil Ryabko: Optimal Regret Bounds for Selecting the State Representation in Reinforcement Learning. CoRR abs/1302.2553 (2013)

Phuong Nguyen, Stephen A. Cook: The Complexity of Proving the Discrete Jordan Curve Theorem. ACM Trans. Comput. Log. 13(1): 9 (2012)

Anil Ada, Arkadev Chattopadhyay, Omar Fawzi, Phuong Nguyen: The NOF Multiparty Communication Complexity of Composed Functions. ICALP (1) 2012: 13-24

Phuong Nguyen, David Chapman, Milton Halem, Jeff Avery: A near fundamental decadal data record of airs infrared surface brightness temperatures. IGARSS 2012: 3708-3711

David Chapman, Milton Halem, Phuong Nguyen, Jeff Avery: Noise reduction in gridded airs brightness temperature grids using the MODIS Obscov algorithm. IGARSS 2012: 4742-4745

Phuong Nguyen, Tyler Simon, Milton Halem, David Chapman, Quang Le: A Hybrid Scheduling Algorithm for Data Intensive Workloads in a MapReduce Environment. UCC 2012: 161-167

Klaus Aehlig, Stephen A. Cook, Phuong Nguyen: Relativizing Small Complexity Classes and their Theories. CoRR abs/1204.5508 (2012)

Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen: The provably total NP search problems of weak second order bounded arithmetic. Ann. Pure Appl. Logic 162(6): 419-446 (2011)

Emil Jerábek, Phuong Nguyen: Simulating non-prenex cuts in quantified propositional calculus. Math. Log. Q. 57(5): 524-532 (2011)

Phuong Nguyen, Volkmar Schau, Wilhelm Rossak: Performance Comparison of some Message Transport Protocol Implementations for Agent Community Communication. IICS 2011: 193-204

Matei David, Phuong Nguyen, Periklis A. Papakonstantinou, Anastasios Sidiropoulos: Computationally Limited Randomness. ICS 2011: 522-536

Anil Ada, Arkadev Chattopadhyay, Omar Fawzi, Phuong Nguyen: The NOF Multiparty Communication Complexity of Composed Functions. Electronic Colloquium on Computational Complexity (ECCC) 18: 155 (2011)

Diem Tran, Thi To, Thuan Huynh, Phuong Nguyen: Designing a Harware Accelerator for Face Recognition Using Vector Quantization and Principal Component Analysis as a Component of SoPC. DELTA 2010: 82-86

Phuong Nguyen, Stephen A. Cook: The Complexity of Proving the Discrete Jordan Curve Theorem. CoRR abs/1002.2954 (2010)

Phuong Nguyen: The equivalence of theories that characterize ALogTime. Arch. Math. Log. 48(6): 523-549 (2009)

Milton Halem, Neal Most, Curt Tilmes, Kevin Stewart, Yelena Yesha, David Chapman, Phuong Nguyen: Service-Oriented Atmospheric Radiances (SOAR): Gridding and Analysis Services for Multisensor Aqua IR Radiance Data for Climate Studies. IEEE T. Geoscience and Remote Sensing 47(1-1): 114-122 (2009)

Alan Messer, Anugeetha Kunjithapatham, Phuong Nguyen, Priyang Rathod, Mithun Sheshagiri, Doreen Cheng, Simon Gibbs: SeeNSearch: A context directed search facilitator for home entertainment devices. Pervasive and Mobile Computing 4(6): 871-888 (2008)

Duc A. Tran, S. R. Pamidimukkala, Phuong Nguyen: Relevance-Feedback Image Retrieval Based on Multiple-Instance Learning. ACIS-ICIS 2008: 597-602

Phuong Nguyen: Proving Infinitude of Prime Numbers Using Binomial Coefficients. CSL 2008: 184-198

Milton Halem, Curt Tilmes, Yelena Yesha, David Chapman, Phuong Nguyen: Providing Gridded Atmospheric Radiance Products and Services from MODIS and AIRS Instruments on NASA's Aqua Satellite. IGARSS (4) 2008: 127-128

Milton Halem, David Chapman, Phuong Nguyen: A Semi-Decadal Multi-Sensor Gridded Data Record of Outgoing Longwave Radiation (OLR) from Aqua. IGARSS (3) 2008: 334-337

Anthony J. Maeder, Jason Dowling, Anthony Nguyen, Emma Brunton, Phuong Nguyen: Assuring Authenticity of Digital Mammograms by Image Watermarking. Digital Mammography / IWDM 2008: 204-211

Alan Messer, Anugeetha Kunjithapatham, Phuong Nguyen, Priyang Rathod, Mithun Sheshagiri, Doreen Cheng, Simon Gibbs: SeeNSearch: A Context Directed Search Facilitator for Home Entertainment Devices. PerCom 2008: 20-29

Klaus Aehlig, Stephen A. Cook, Phuong Nguyen: Relativizing Small Complexity Classes and Their Theories. CSL 2007: 374-388

Phuong Nguyen: Separating DAG-Like and Tree-Like Proof Systems. LICS 2007: 235-244

Phuong Nguyen, Stephen A. Cook: The Complexity of Proving the Discrete Jordan Curve Theorem. LICS 2007: 245-256

Phuong Nguyen, Stephen A. Cook: Theories for TC0 and Other Small Complexity Classes. Logical Methods in Computer Science 2(1) (2006)

Kun Liu, Kanishka Bhaduri, Kamalika Das, Phuong Nguyen, Hillol Kargupta: Client-side web mining for community formation in peer-to-peer environments. SIGKDD Explorations 8(2): 11-20 (2006)

Alan Messer, Anugeetha Kunjithapatham, Mithun Sheshagiri, Henry Song, Praveen Kumar, Phuong Nguyen, Kyoung Hoon Yi: InterPlay: A Middleware for Seamless Device Integration and Task Orchestration in a Networked Home. PerCom 2006: 296-307

Phuong Nguyen: Simulating User Behaviour For Improving Web Information Systems. ISTA 2005: 191-195

Phuong Nguyen, Sergiy Zlatkin: Towards Using Simulation for Enhancing Web Information Systems' Utility. WISE Workshops 2005: 33-42

Phuong Nguyen, Stephen A. Cook: Theories for TC0 and Other Small Complexity Classes. CoRR abs/cs/0505013 (2005)

Phuong Nguyen: Two-Sorted Theories for L, SL, NL and P. Electronic Colloquium on Computational Complexity (ECCC)(017) (2005)

Phuong Nguyen, Stephen A. Cook: VTC ^circ: A Second-Order Theory for TC^circ. LICS 2004: 378-387

Boualem Benatallah, Mehregan Mahdavi, Phuong Nguyen, Quan Z. Sheng, Lionel Port, Bill McIver: An Adaptive Document Version Management Scheme. CAiSE 2003: 46-62

Liangzhao Zeng, Boualem Benatallah, Phuong Nguyen, Anne H. H. Ngu: AgFlow: Agent-based Cross-Enterprise Workflow Management System. VLDB 2001: 697-698