Zobrazeno 1 - 10
of 200
pro vyhledávání: '"Long, Derek"'
Autor:
Smith, Jonathan D., Hall, Samuel, Coombs, George, Byrne, James, Thorne, Michael A. S., Brearley, J. Alexander, Long, Derek, Meredith, Michael, Fox, Maria
We introduce a method for long-distance maritime route planning in polar regions, taking into account complex changing environmental conditions. The method allows the construction of optimised routes, describing the three main stages of the process:
Externí odkaz:
http://arxiv.org/abs/2209.02389
The continued development of robots has enabled their wider usage in human surroundings. Robots are more trusted to make increasingly important decisions with potentially critical outcomes. Therefore, it is essential to consider the ethical principle
Externí odkaz:
http://arxiv.org/abs/2206.10038
Autor:
Long, Derek, McMurdo, Cameron, Ferdian, Edward, Mauger, Charlene A., Marlevi, David, Young, Alistair A., Nash, Martyn P.
Changes in cardiovascular hemodynamics are closely related to the development of aortic regurgitation, a type of valvular heart disease. Metrics derived from blood flows are used to indicate aortic regurgitation onset and evaluate its severity. These
Externí odkaz:
http://arxiv.org/abs/2111.11660
There is an increasing demand for piloted autonomous underwater vehicles (AUVs) to operate in polar ice conditions. At present, AUVs are deployed from ships and directly human-piloted in these regions, entailing a high carbon cost and limiting the sc
Externí odkaz:
http://arxiv.org/abs/2111.00293
Automated planners are computer tools that allow autonomous agents to make strategies and decisions by determining a set of actions for the agent that to take, which will carry a system from a given initial state to the desired goal state. Many plann
Externí odkaz:
http://arxiv.org/abs/2106.07924
Temporal planning often involves numeric effects that are directly proportional to their action's duration. These include continuous effects, where a numeric variable is subjected to a rate of change while the action is being executed, and discrete d
Externí odkaz:
http://arxiv.org/abs/2105.10176
This paper introduces an approach to validate the functional equivalence of planning domain models. Validating the functional equivalence of planning domain models is the problem of formally confirming that two planning domain models can be used to s
Externí odkaz:
http://arxiv.org/abs/2104.14602
Autor:
Krarup, Benjamin, Krivic, Senka, Magazzeni, Daniele, Long, Derek, Cashmore, Michael, Smith, David E.
In automated planning, the need for explanations arises when there is a mismatch between a proposed plan and the user's expectation. We frame Explainable AI Planning in the context of the plan negotiation problem, in which a succession of hypothetica
Externí odkaz:
http://arxiv.org/abs/2103.15575
Publikováno v:
In Journal of Food Engineering February 2024 363
Publikováno v:
In Journal of Food Engineering January 2025 384