Multi-touch 3D Exploratory Analysis of Ocean Flow Models

Modern ocean flow simulations are generating increasingly complex, multi-layer 3D ocean flow models. However, most researchers are still using traditional 2D visualizations to visualize these models one slice at a time. Properly designed 3D visualization tools can be highly effective for revealing the complex, dynamic flow patterns and structures present in these models. However, the transition from visualizing ocean flow patterns in 2D to 3D presents many challenges, including occlusion and depth ambiguity. Further complications arise from the interaction methods required to navigate, explore, and interact with these 3D datasets. We present a system that employs a combination of stereoscopic rendering, to best reveal and illustrate 3D structures and patterns, and multi-touch interaction, to allow for natural and efficient navigation and manipulation within the 3D environment. Exploratory visual analysis is facilitated through the use of a highly-interactive toolset which leverages a smart particle system. Multi-touch gestures allow users to quickly position dye emitting tools within the 3D model. Finally, we illustrate the potential applications of our system through examples of real world significance

Assessment of Scale-Loss to Atlantic Salmon (Salmo Salar L.) Smolts from Passage Through an Archimedean Screw Turbine

The potential for external damage to Atlantic salmon (Salmo salar L.) smolts from passage through an Archimedean screw turbine was tested with controlled field trials at two turbine speeds. Change in external condition of smolts was measured by grading photographs of individual fish for scale-loss before and after the tests. Results were compared between turbine-passed and control smolts. There were no significant differences in proportions of fish with new scale-loss between treatment and control smolts. New scale-loss of between 4 and 30% was seen in 7.46% of turbine-passed smolts, exceeding the prevalence in control smolts by 2.46%. Of these, 1.49% had minor scale-loss of 5-9%. Minor scale-loss was more prevalent for both groups at the faster turbine speed, although differences between treatment and control groups were more apparent at the slower speed

An Approximate Shapley-Folkman Theorem

The Shapley-Folkman theorem shows that Minkowski averages of uniformly bounded sets tend to be convex when the number of terms in the sum becomes much larger than the ambient dimension. In optimization, Aubin and Ekeland [1976] show that this produces an a priori bound on the duality gap of separable nonconvex optimization problems involving finite sums. This bound is highly conservative and depends on unstable quantities, and we relax it in several directions to show that non convexity can have a much milder impact on finite sum minimization problems such as empirical risk minimization and multi-task classification. As a byproduct, we show a new version of Maurey's classical approximate Carath\'eodory lemma where we sample a significant fraction of the coefficients, without replacement, as well as a result on sampling constraints using an approximate Helly theorem, both of independent interest.Comment: Added constraint sampling result, simplified sampling results, reformat, et

Model Checking Synchronized Products of Infinite Transition Systems

Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of reachability properties. The present paper is a study on what can be achieved for infinite transition systems under these premises. As models we consider products of infinite transition systems with different synchronization constraints. We introduce finitely synchronized transition systems, i.e. product systems which contain only finitely many (parameterized) synchronized transitions, and show that the decidability of FO(R), first-order logic extended by reachability predicates, of the product system can be reduced to the decidability of FO(R) of the components. This result is optimal in the following sense: (1) If we allow semifinite synchronization, i.e. just in one component infinitely many transitions are synchronized, the FO(R)-theory of the product system is in general undecidable. (2) We cannot extend the expressive power of the logic under consideration. Already a weak extension of first-order logic with transitive closure, where we restrict the transitive closure operators to arity one and nesting depth two, is undecidable for an asynchronous (and hence finitely synchronized) product, namely for the infinite grid.Comment: 18 page

Semi-stable subcategories for Euclidean quivers

In this paper, we study the semi-stable subcategories of the category of representations of a Euclidean quiver, and the possible intersections of these subcategories. Contrary to the Dynkin case, we find out that the intersection of semi-stable subcategories may not be semi-stable. However, only a finite number of exceptions occur, and we give a description of these subcategories. Moreover, one can attach a simplicial fan in $\mathbb{Q}^n$ to any acyclic quiver $Q$, and this simplicial fan allows one to completely determine the canonical presentation of any element in $\mathbb{Z}^n$. This fan has a nice description in the Dynkin and Euclidean cases: it is described using an arrangement of convex codimension-one subsets of $\mathbb{Q}^n$, each such subset being indexed by a real Schur root or a set of quasi-simple objects. This fan also characterizes when two different stability conditions give rise to the same semi-stable subcategory.Comment: 39 page

Freshwater Pearl Mussel (Margaritifera Margaritifera) Host Choice and Behavioural Responses to Changes in Flow Regime

The endangered freshwater pearl mussel (Margaritifera margaritifera), one of the longest-lived invertebrates, are threatened globally. Scotland, UK, remains a stronghold, however even here the population is declining due to factors such as habitat degradation, pollution and pearl fishing. The study comprised two parts: field surveys of glochidia infection of host salmonid fish, and a novel laboratory flume based study of the mussel‟s behavioral responses to changes in flow regime. The intricate life cycle of M.margaritifera includes a parasitic stage as glochidia attached to gills of salmonids. The preferred host in Scotland is thought to be Salmo salar and Salmo trutta in the absence of S.salar. This has not, however, been empirically tested in the field. Eight rivers in NW Scotland were surveyed using standard electrofishing techniques and encysted glochidia counted. Results suggest S.trutta is the primary host fish for glochidia attachment in the rivers surveyed, which contradicts current accepted knowledge about host specificity of M.margaritifera. Mussel populations are often found in regulated rivers, however little data exists on response to changes in flow regime. The mussel's behavioral response to changes in flow were investigated in an experimental flume. Mussels buried significantly deeper in conditions of gradually increasing water velocity compared with rapid increases or where water velocity was constant. 68% of individual mussels washed out when the water velocity was rapidly increased. The findings are novel, provide initial recommendations for targeted management actions for the conservation of M.margaritifera both in Scotland and internationally, and highlight more research is required

On Superselection Rules in Bohm-Bell Theories

The meaning of superselection rules in Bohm-Bell theories (i.e., quantum theories with particle trajectories) is different from that in orthodox quantum theory. More precisely, there are two concepts of superselection rule, a weak and a strong one. Weak superselection rules exist both in orthodox quantum theory and in Bohm-Bell theories and represent the conventional understanding of superselection rules. We introduce the concept of strong superselection rule, which does not exist in orthodox quantum theory. It relies on the clear ontology of Bohm-Bell theories and is a sharper and, in the Bohm-Bell context, more fundamental notion. A strong superselection rule for the observable G asserts that one can replace every state vector by a suitable statistical mixture of eigenvectors of G without changing the particle trajectories or their probabilities. A weak superselection rule asserts that every state vector is empirically indistinguishable from a suitable statistical mixture of eigenvectors of G. We establish conditions on G for both kinds of superselection. For comparison, we also consider both kinds of superselection in theories of spontaneous wave function collapse.Comment: 20 pages LaTeX, no figures; v2 minor improvements, journal versio

Stable coronary syndromes: pathophysiology, diagnostic advances and therapeutic need

The diagnostic management of patients with angina pectoris typically centres on the detection of obstructive epicardial CAD, which aligns with evidence-based treatment options that include medical therapy and myocardial revascularisation. This clinical paradigm fails to account for the considerable proportion (approximately one-third) of patients with angina in whom obstructive CAD is excluded. This common scenario presents a diagnostic conundrum whereby angina occurs but there is no obstructive CAD (ischaemia and no obstructive coronary artery disease—INOCA). We review new insights into the pathophysiology of angina whereby myocardial ischaemia results from a deficient supply of oxygenated blood to the myocardium, due to various combinations of focal or diffuse epicardial disease (macrovascular), microvascular dysfunction or both. Macrovascular disease may be due to the presence of obstructive CAD secondary to atherosclerosis, or may be dynamic due to a functional disorder (eg, coronary artery spasm, myocardial bridging). Pathophysiology of coronary microvascular disease may involve anatomical abnormalities resulting in increased coronary resistance, or functional abnormalities resulting in abnormal vasomotor tone. We consider novel clinical diagnostic techniques enabling new insights into the causes of angina and appraise the need for improved therapeutic options for patients with INOCA. We conclude that the taxonomy of stable CAD could improve to better reflect the heterogeneous pathophysiology of the coronary circulation. We propose the term ‘stable coronary syndromes’ (SCS), which aligns with the well-established terminology for ‘acute coronary syndromes’. SCS subtends a clinically relevant classification that more fully encompasses the different diseases of the epicardial and microvascular coronary circulation