VLDB 2026 Research / reviewers in the wild / expert
Josiah Jacobsen-Grocott
dblp:202/8360
· DBLP profile ↗
3ranked-venue papers
3as first author
2since 2021 · last 2024
0000-0001-8483-4050ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Strong minimal pairs in the enumeration degrees
Josiah Jacobsen-Grocott |
Ann. Pure Appl. Log. | 1 |
| 2022 | A Characterization of the Strongly 𝜼-Representable Many-One DegreesabstractAbstract $\eta $ -representations are a way of coding sets in computable linear orders that were first introduced by Fellner in his thesis. Limitwise monotonic functions have been used to characterize the sets with $\eta $ -representations, and give characterizations for several variations of $\eta $ -representations. The one exception is the class of sets with strong $\eta $ -representations, the only class where the order type of the representation is unique. We introduce the notion of a connected approximation of a set, a variation on $\Sigma ^0_2$ approximations. We use connected approximations to give a characterization of the many-one degrees of sets with strong $\eta $ -representations as well new characterizations of the variations of $\eta $ -representations with known characterizations. Josiah Jacobsen-Grocott |
J. Symb. Log. | 1 |
| 2017 | Evolving heuristics for Dynamic Vehicle Routing with Time Windows using genetic programmingabstractDynamic vehicle routing problem with time windows is an important combinatorial optimisation problem in many real-world applications. The most challenging part of the problem is to make real-time decisions (i.e. whether to accept the newly arrived service requests or not) during the execution of the routes. It is hardly applicable to use the optimisation methods such as mathematical programming and evolutionary algorithms that are competitive for static problems, since they are usually time-consuming, and cannot give real-time responses. In this paper, we consider solving this problem using heuristics. A heuristic gradually builds a solution by adding the requests to the end of the route one by one. This way, it can take advantage of the latest information when making the next decision, and give immediate response. In this paper, we propose a meta-algorithm to generate a solution given any heuristic. The meta-algorithm maintains a set of routes throughout the scheduling horizon. Whenever a new request arrives, it tries to re-generate new routes to include the new request by the heuristic. It accepts the new request if successful, and reject otherwise. Then we manually designed several heuristics, and proposed a genetic programming-based hyper-heuristic to automatically evolve heuristics. The results showed that the heuristics evolved by genetic programming significantly outperformed the manually designed heuristics. Josiah Jacobsen-Grocott, Yi Mei 0001, Gang Chen 0002, Mengjie Zhang 0001 |
CEC | 1 |