Bryan W. Shaw, Ph.D., P.E., Chairman Toby Baker, Commissioner Zak Covar, Commissioner Richard A. Hyde, P.E., Executive Director TEXAS COMMISSION ON ENVIRONMENTAL QUALITY

Source URL: www.tceq.texas.gov

• Water
• Texas Commission on Environmental Quality
• Effluent
• Stormwater
• Water quality
• Water pollution
• Environment
• Earth

Analogical Proof Planning Toby Walsh Department of Articial Intelligence Edinburgh University 80 South Bridge, Edinburgh

Source URL: www.cse.unsw.edu.au

• Integration by parts
• Mathematical proof
• Integral
• Series
• Operator theory
• Spectral method
• Product rule
• Mathematics
• Mathematical analysis
• Integral calculus

Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study Jeremy Franky and Ian P. Gentz and Toby Walshz August 15, 1997 analysis of algorithms, computational complexity, phase tra

Source URL: www.cse.unsw.edu.au

• NP-complete problems
• Hamiltonian path
• Shortest path problem
• NP-complete
• Asymptotic analysis
• Graph coloring
• Graph
• Computational complexity theory
• Random graph
• Graph theory
• Theoretical computer science
• Mathematics

1 Symmetry-breaking Answer Set Solving ∗ Christian Drescher a , Oana Tifrea b and Toby Walsh a a

Source URL: www.cse.unsw.edu.au

• Physics
• Answer set programming
• Stable model semantics
• Geometry
• Permutation pattern
• Symmetry
• Logic programming
• Theoretical physics

Microsoft PowerPoint - Toby_Creek_mtg_GIS watershed conceptsBruns.ppt [Read-Only]

Source URL: www.bfenvironmental.com

• Environment
• Environmental soil science
• Fluvial landforms
• Geomorphology
• Hydraulic engineering
• Surface runoff
• Floodplain
• Drainage basin
• Erosion
• Water
• Earth
• Hydrology

Université Saint-Joseph de Beyrouth Maquette et mise en page : Murielle Chahine Toby, Service des publications et de la communication (Spcom) Imprimé à Beyrouth, 2014, Byblos © Tous droits réservés au Rectorat -

Source URL: www.usj.edu.lb

Journal of Artificial Intelligence Research[removed]Submitted 11/10; published[removed]Where Are the Hard Manipulation Problems? Toby Walsh

Source URL: www.cse.unsw.edu.au

• Voting
• Social choice theory
• Single winner electoral systems
• Mathematical optimization
• NP-hard
• NP-complete
• NP
• Computational complexity theory
• Instant-runoff voting
• Complexity classes
• Single Transferable Vote
• Political philosophy

AI @ NICTA Nick Barnes, Peter Baumgartner, Tiberio Caetano, Hugh Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter Stuckey, Sylvie Thiebaux, Pascal Van Hentenryck, Toby Walsh Abstract NICTA is Australi

Source URL: www.cse.unsw.edu.au

• Mathematics
• NICTA
• Formal methods
• Constraint programming
• Operations research
• Solver
• Formal verification
• Open Kernel Labs
• Isabelle
• Applied mathematics
• Theoretical computer science
• Logic in computer science

120 STAT[removed]PUBLIC LAW 109–404—DEC. 18, 2006 Public Law 109–404 109th Congress

Source URL: www.gpo.gov

• United States Postal Service
• Stavisky
• Toby Ann Stavisky

Artificial Intelligence[removed]–156 Decomposable constraints ✩ Ian Gent a , Kostas Stergiou b,∗ , Toby Walsh c a APES Research Group, School of Computer Science, University of St Andrews, Scotland, UK b APE

Source URL: www.cse.unsw.edu.au

• Artificial intelligence
• Local consistency
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint inference
• Decomposition method
• Complexity of constraint satisfaction
• Constraint programming
• Software engineering
• Computer programming