![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessAdductHunter: identifying protein-metal complex adducts in mass spectra
Mass spectrometry (MS) is an analytical technique for molecule identification that can be used for investigating protein-metal complex interactions. Once the MS data is collected, the mass spectra are usually ...
-
Article
Open AccessSuper-resolution 4D flow MRI to quantify aortic regurgitation using computational fluid dynamics and deep learning
Changes in cardiovascular hemodynamics are closely related to the development of aortic regurgitation (AR), a type of valvular heart disease. Metrics derived from blood flows are used to indicate AR onset and ...
-
Chapter
Variety’s Transformations: Digitizing and Analyzing the First 35 Years of the Canonical Trade Paper
In this chapter, Eric Hoyt discusses the efforts of his research team at the University of Wisconsin–Madison to, first, digitize Variety’s 1905–1940 run for open access and, second, employ computational analysis ...
-
Article
Open AccessCombining temporal planning with probabilistic reasoning for autonomous surveillance missions
It is particularly challenging to devise techniques for underpinning the behaviour of autonomous vehicles in surveillance missions as these vehicles operate in uncertain and unpredictable environments where th...
-
Article
Toward persistent autonomous intervention in a subsea panel
Intervention autonomous underwater vehicles (I-AUVs) have the potential to open new avenues for the maintenance and monitoring of offshore subsea facilities in a cost-effective way. However, this requires chal...
-
Article
Policy learning for autonomous feature tracking
We consider the problem of tracing the structure of oceanological features using autonomous underwater vehicles (AUVs). Solving this problem requires the construction of a control strategy that will determine ...
-
Article
Editorial for AI planning and scheduling
-
Chapter and Conference Paper
A New Empirical Study of Weak Backdoors
Work by Kilby, Slaney, Thiebaux and Walsh [1] showed that the backdoors and backbones of unstructured Random 3SAT instances are largely disjoint. In this work we extend this study to the consideration of backd...
-
Chapter and Conference Paper
A Meta-CSP Model for Optimal Planning
One approach to optimal planning is to first start with a sub- optimal solution as a seed plan, and then iteratively search for shorter plans. This approach inevitably leads to an increase in the size of the m...
-
Chapter and Conference Paper
Reformulation in Planning
Reformulation of a problem is intended to make the problem more amenable to efficient solution. This is equally true in the special case of reformulating a planning problem. This paper considers various ways i...
-
Chapter and Conference Paper
Multiple subarguments in logic, argumentation, rhetoric and text generation
A summary is provided of the problems of representing, determining generating and arranging disjunct multiple subarguments in several fields, including formal systems in uncertain domains, informal logic accou...
-
Chapter and Conference Paper
An architecture for argumentative dialogue planning
Argument represents an opportunity for a system to convince a possibly sceptical or resistant audience of the veracity of its own beliefs. This ability is a vital component of rich communication, facilitating ...
-
Chapter and Conference Paper
Alarms: An implementation of motivated agency
Autonomous agents in the real world must be capable of asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of goals, but only a small numb...
-
Chapter and Conference Paper
Goal creation in motivated agents
Goal creation is an important consideration for an agent that is required to behave autonomously in a real-world domain. This paper describes an agent that is directed, not by a conjunction of top level goals,...
-
Chapter and Conference Paper
A note on Chapman's Modal Truth Criterion
The formal statement of the Modal Truth Criterion presented by Chapman [1] is shown not to be necessary, in contradiction of Chapman's original claim that the criterion is both necessary and sufficient. This i...
-
Article
Book reviews
-
Chapter and Conference Paper
A model for learning by source control
The information we receive is often changing, inconsistent and incomplete, thus bound to generate contradictions. Clearly we must recover reasonably from inconsistencies if to make sense of the world. We intro...