Michael A. Forbes

Available identifiers

zbMath Open forbes.michael-aMaRDI QIDQ1690266

List of research outcomes

Publication	Date of Publication	Type
Ideals, determinants, and straightening: proving and using lower bounds for polynomial ideals	2023-12-08	Paper
Combining optimisation and simulation using logic-based Benders decomposition	2023-11-15	Paper
Logic-based Benders decomposition for wildfire suppression	2023-11-13	Paper
Active Set methods for solving large sample average approximations of chance constrained optimisation problems	2023-07-23	Paper
Spatial Isolation Implies Zero Knowledge Even in a Quantum World	2022-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5028363	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5002729	2021-07-28	Paper
A PSPACE construction of a hitting set for the closure of small algebraic circuits	2019-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4612482	2019-01-31	Paper
Zero knowledge protocols from succinct constraint detection	2018-01-19	Paper
Proof Complexity Lower Bounds from Algebraic Circuit Complexity	2017-10-10	Paper
Functional lower bounds for arithmetic circuits and connections to boolean circuit complexity	2017-10-10	Paper
Dimension Expanders via Rank Condensers	2017-08-31	Paper
Succinct hitting sets and barriers to proving algebraic circuits lower bounds	2017-08-17	Paper
Column Generation and Lazy Constraints for solving the Liner Ship Fleet Repositioning Problem with cargo flows	2016-03-08	Paper
Disaggregated Benders Decomposition for solving a Network Maintenance Scheduling Problem	2016-03-07	Paper
Hitting sets for multilinear read-once algebraic branching programs, in any order	2015-06-26	Paper
On identity testing of tensors, low-rank recovery and compressed sensing	2014-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q5414620	2014-05-07	Paper
On the locality of codeword symbols in non-linear codes	2014-03-20	Paper
Explicit Noether Normalization for Simultaneous Conjugation via Polynomial Identity Testing	2013-10-04	Paper
A survey of binary covering arrays	2011-06-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael A. Forbes