Color Cherenkov imaging of clinical radiation therapy

Color vision is used throughout medicine to interpret the health and status of tissue. Ionizing radiation used in radiation therapy produces broadband white lig...     

Electrolyte/Structure?Dependent Cocktail Mediation Enabling High?Rate/Low?Plateau Metal Sulfide Anodes for Sodium Storage

As promising anodes for sodium-ion batteries, metal sulfides ubiquitously suffer from low-rate and high-plateau issues, greatly hindering their application in f...     

Observability problem for bearings-only tracking

The state-observability problem for bearings-only tracking of a constant velocity target by a moving observer in two spatial dimensions is analysed. Specifically, we establish general necessary and sufficient conditions for observability and characterize the class of observer motions for which the state remains unobservable. In the course of the analysis, previously developed observability criteria are identified as special cases of our results.     

On the formalization and reuse of scientific research

The reuse of scientific knowledge obtained from one investigation in another investigation is basic to the advance of science. Scientific investigations should therefore be recorded in ways that promote the reuse of the knowledge they generate. The use of logical formalisms to describe scientific knowledge has potential advantages in facilitating such reuse. Here, we propose a formal framework for using logical formalisms to promote reuse. We demonstrate the utility of this framework by using it in a worked example from biology: demonstrating cycles of investigation formalization [F] and reuse [R] to generate new knowledge. We first used logic to formally describe a Robot scientist investigation into yeast (Saccharomyces cerevisiae) functional genomics [f₁]. With Robot scientists, unlike human scientists, the production of comprehensive metadata about their investigations is a natural by-product of the way they work. We then demonstrated how this formalism enabled the reuse of the research in investigating yeast phenotypes [r₁ = R(f₁)]. This investigation found that the removal of non-essential enzymes generally resulted in enhanced growth. The phenotype investigation was then formally described using the same logical formalism as the functional genomics investigation [f₂ = F(r₁)]. We then demonstrated how this formalism enabled the reuse of the phenotype investigation to investigate yeast systems-biology modelling [r₂ = R(f₂)]. This investigation found that yeast flux-balance analysis models fail to predict the observed changes in growth. Finally, the systems biology investigation was formalized for reuse in future investigations [f₃ = F(r₂)]. These cycles of reuse are a model for the general reuse of scientific knowledge.     

Issues in the assimilation of the sources of a trace gas by inverse modelling

The problem of reconstructing the (otherwise unknown) source and sink field of a tracer in a fluid is studied by developing and testing a simple tracer transport model of a single-level global atmosphere and a dynamic data assimilation system. The source/sink field (taken to be constant over a 10-day assimilation window) and initial tracer field are analysed together by assimilating imperfect tracer observations over the window.Experiments show that useful information about the source/sink field may be determined from relatively few observations when the initial tracer field is known very accurately a-priori, even when a-priori source/sink information is biased (the source/sink a-priori is set to zero). In this case each observation provides information about the source/sink field at positions upstream and the assimilation of many observations together can reasonably determine the location and strength of a test source.     

Weighted argument systems: Basic definitions, algorithms, and complexity results

We introduce and investigate a natural extension of Dung's well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength of the attack. A key concept in our framework is the notion of an inconsistency budget, which characterises how much inconsistency we are prepared to tolerate: given an inconsistency budget β, we would be prepared to disregard attacks up to a total weight of β. The key advantage of this approach is that it permits a much finer grained level of analysis of argument systems than unweighted systems, and gives useful solutions when conventional (unweighted) argument systems have none. We begin by reviewing Dung's abstract argument systems, and motivating weights on attacks (as opposed to the alternative possibility, which is to attach weights to arguments). We then present the framework of weighted argument systems. We investigate solutions for weighted argument systems and the complexity of computing such solutions, focussing in particular on weighted variations of grounded extensions. Finally, we relate our work to the most relevant examples of argumentation frameworks that incorporate strengths.     

Patient-specific computer modeling of blood flow in cerebral arteries with aneurysm and stent

We present the special arterial fluid mechanics techniques we have developed for patient-specific computer modeling of blood flow in cerebral arteries with aneurysm and stent. These techniques are used in conjunction with the core computational technique, which is the space?Ctime version of the variational multiscale (VMS) method and is called ??DST/SST-VMST.?? The special techniques include using NURBS for the spatial representation of the surface over which the stent mesh is built, mesh generation techniques for both the finite- and zero-thickness representations of the stent, techniques for generating refined layers of mesh near the arterial and stent surfaces, and models for representing double stent. We compute the unsteady flow patterns in the aneurysm and investigate how those patterns are influenced by the presence of single and double stents. We also compare the flow patterns obtained with the finite- and zero-thickness representations of the stent.     

Development of an automated testing system for vehicle infotainment system

A current premium vehicle is implemented with a variety of information, entertainment, and communication functions, which are generally referred as an infotainment system. During vehicle development, testing of the infotainment system at an overall level is conventionally carried out manually by an expert who can observe at a customer level. This approach has significant limitations with regard to test coverage and effectiveness due to the complexity of the system functions and human’s capability. Hence, it is highly demanded by car manufacturers for an automated infotainment testing system, which replicates a human expert encompassing relevant sensory modalities relating to control (i.e., touch) and observation (i.e., sight and sound) of the system under test. This paper describes the design, development, and evaluation of such a system that consists of simulation of vehicle network, vision-based inspection, automated navigation of features, random cranking waveform generation, sound detection, and test automation. The system developed is able to: stimulate a vehicle system across a wide variety of initialisation conditions, exercise each function, check for system responses, and record failure situations for post-testing analysis.     

An analytical investigation of near-field plates

This paper describes an analytical approach to modeling near-field plates, which are non-periodic grating-like structures that can focus electromagnetic waves to subwavelength dimensions. The analysis provides additional insight into the operation and design of such plates that focus cylindrical waves to subwavelength resolutions. Explicit expressions for the current density induced on the plate and its impedance profile are derived. The analytical expressions are validated numerically.