#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1987

2015

- This year (0)
- Last five years (3)

#### Publication Type

#### Co-author

#### Publication Venue

Learn More

- Phuong Nguyen
- 2007

Bounded Reverse Mathematics 2008 First we provide a unified framework for developing theories of Bounded Arithmetic that are associated with uniform classes inside polytime (P) in the same way that Buss's theory S 1 2 is associated with P. We obtain finitely axiomatized theories many of which turn out to be equivalent to a number of existing systems. By… (More)

We present a general method for introducing finitely axiomatizable " minimal " second-order theories for various subclasses of P. We show that our theory VTC 0 for the complexity class TC 0 is RSUV isomorphic to the first-order theory ∆ b 1-CR of Johannsen and Pollett, thus showing that the latter theory is finitely axiomatizable.

- Phuong Nguyen, S. Cook
- Proceedings of the 19th Annual IEEE Symposium on…
- 2004

We introduce a finitely axiomatizable second-order theory, which is VTC/sup 0/ associated with the class FO-uniform TC/sup 0/. It consists of the base theory V/sup 0/ for AC/sup 0/ reasoning together with the axiom NUMONES, which states the existence of a "counting array" Y for any string X: the ith row of Y contains only the number of 1 bits up to… (More)

- Binh Lam Hoang, Duy Nguyen Tien, Fei Luo, Phuong Huy Nguyen
- 2014 7th International Conference on Biomedical…
- 2014

As being known, it is difficult for the activated sludge wastewater treatment process to be controlled due to its complex, time-varying and non-linear behavior. During this process, the control of the dissolved oxygen (DO) concentration in the reactors is very essential in the operation of the facility. In addition to evaluating some controllers for DO such… (More)

We show that the quantified propositional proof systems G i are polynomially equivalent to their restricted versions that require all cut formulas to be prenex Σ

- Phuong Nguyen
- 2007

Thesis Proposal: Bounded Arithmetic for Small Complexity Classes 2007 First we provide a unified framework for developing theories of Bounded Arithmetic that are associated with uniform classes inside polytime (P) in the same way that Buss's theory S 1 2 is associated with P. We obtain finitely axiomatized theories many of which turn out to be equivalent to… (More)

- Phuong Huy Nguyen, Ba Dung Le
- 2012 5th International Conference on BioMedical…
- 2012

Active Queue Management algorithms (AQM) are setup in routers on telecommunication networks in order to provide a mechanism to mark or discard packets in an appropriate way so as not to cause congestion on network and maintain the best quality of services with different traffic flows. Previous methods of AQM are designed with fixed parameters so It should… (More)

The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded arithmetic that correspond to small complexity classes. The theory V 0 (2) (corresponding to AC 0 (2)) proves that any… (More)