2,599 research outputs found
High performance subgraph mining in molecular compounds
Structured data represented in the form of graphs arises in
several fields of the science and the growing amount of available data makes distributed graph mining techniques particularly relevant. In this paper, we present a distributed approach to the frequent subgraph mining
problem to discover interesting patterns in molecular compounds. The problem is characterized by a highly irregular search tree, whereby no reliable workload prediction is available. We describe the three main
aspects of the proposed distributed algorithm, namely a dynamic partitioning of the search space, a distribution process based on a peer-to-peer communication framework, and a novel receiver-initiated, load balancing
algorithm. The effectiveness of the distributed method has been evaluated on the well-known National Cancer Instituteâs HIV-screening dataset, where the approach attains close-to linear speedup in a network
of workstations
Response of a marine-terminating Greenland outlet glacier to abrupt cooling 8200 and 9300 years ago
Long-term records of Greenland outlet-glacier change extending beyond the satellite era can inform future predictions of Greenland Ice Sheet behavior. Of particular relevance is elucidating the Greenland Ice Sheet's response to decadal- and centennial-scale climate change. Here, we reconstruct the early Holocene history of Jakobshavn IsbrĂŠ, Greenland's largest outlet glacier, using 10Be surface exposure ages and 14C-dated lake sediments. Our chronology of ice-margin change demonstrates that Jakobshavn IsbrĂŠ advanced to deposit moraines in response to abrupt cooling recorded in central Greenland ice cores ca. 8,200 and 9,300 years ago. While the rapid, dynamically aided retreat of many Greenland outlet glaciers in response to warming is well documented, these results indicate that marine-terminating outlet glaciers are also able to respond quickly to cooling. We suggest that short lag times of high ice flux margins enable a greater magnitude response of marine-terminating outlets to abrupt climate change compared to their land-terminating counterparts
Large centric diatoms allocate more cellular nitrogen to photosynthesis to counter slower RUBISCO turnover rates
© 2014 Wu, Jeans, Suggett, Finkel and Campbell. Diatoms contribute ~40% of primary production in the modern ocean and encompass the largest cell size range of any phytoplankton group. Diatom cell size influences their nutrient uptake, photosynthetic light capture, carbon export efficiency, and growth responses to increasing pCO2. We therefore examined nitrogen resource allocations to the key protein complexes mediating photosynthesis across six marine centric diatoms, spanning 5 orders of magnitude in cell volume, under past, current and predicted future pCO2 levels, in balanced growth under nitrogen repletion. Membrane bound photosynthetic protein concentrations declined with cell volume in parallel with cellular concentrations of total protein, total nitrogen and chlorophyll. Larger diatom species, however, allocated a greater fraction (by 3.5-fold) of their total cellular nitrogen to the soluble Ribulose-1,5-bisphosphate Carboxylase Oxygenase (RUBISCO) carbon fixation complex than did smaller species. Carbon assimilation per unit of RUBISCO large subunit (C RbcL-1 s-1) decreased with cell volume, from ~8 to ~2 C RbcL-1 s-1 from the smallest to the largest cells. Whilst a higher allocation of cellular nitrogen to RUBISCO in larger cells increases the burden upon their nitrogen metabolism, the higher RUBISCO allocation buffers their lower achieved RUBISCO turnover rate to enable larger diatoms to maintain carbon assimilation rates per total protein comparable to small diatoms. Individual species responded to increased pCO2, but cell size effects outweigh pCO2 responses across the diatom species size range examined. In large diatoms a higher nitrogen cost for RUBISCO exacerbates the higher nitrogen requirements associated with light absorption, so the metabolic cost to maintain photosynthesis is a cell size-dependent trait
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems
We prove a general finite convergence theorem for "upward-guarded" fixpoint
expressions over a well-quasi-ordered set. This has immediate applications in
regular model checking of well-structured systems, where a main issue is the
eventual convergence of fixpoint computations. In particular, we are able to
directly obtain several new decidability results on lossy channel systems.Comment: 16 page
Quasi-Exact Solvability and the direct approach to invariant subspaces
We propose a more direct approach to constructing differential operators that
preserve polynomial subspaces than the one based on considering elements of the
enveloping algebra of sl(2). This approach is used here to construct new
exactly solvable and quasi-exactly solvable quantum Hamiltonians on the line
which are not Lie-algebraic. It is also applied to generate potentials with
multiple algebraic sectors. We discuss two illustrative examples of these two
applications: an interesting generalization of the Lam\'e potential which
posses four algebraic sectors, and a quasi-exactly solvable deformation of the
Morse potential which is not Lie-algebraic.Comment: 17 pages, 3 figure
Structure of isobaric analog states in 91Nb populated by the 90Zr(a,t) reaction
Decay via proton emission of isobaric analog states (IAS's) in
was studied using the reaction at =180 MeV.
This study provides information about the damping mechanism of these states.
Decay to the ground state and low-lying phonon states in was
observed. The experimental data are compared with theoretical predictions
wherein the IAS `single-particle' proton escape widths are calculated in a
continuum RPA approach. The branching ratios for decay to the phonon states are
explained using a simple model.Comment: 3 figures. submitted to Phys. Lett.
Formats of Winning Strategies for Six Types of Pushdown Games
The solution of parity games over pushdown graphs (Walukiewicz '96) was the
first step towards an effective theory of infinite-state games. It was shown
that winning strategies for pushdown games can be implemented again as pushdown
automata. We continue this study and investigate the connection between game
presentations and winning strategies in altogether six cases of game arenas,
among them realtime pushdown systems, visibly pushdown systems, and counter
systems. In four cases we show by a uniform proof method that we obtain
strategies implementable by the same type of pushdown machine as given in the
game arena. We prove that for the two remaining cases this correspondence
fails. In the conclusion we address the question of an abstract criterion that
explains the results
How to Tackle Integer Weighted Automata Positivity
International audienceThis paper is dedicated to candidate abstractions to capture relevant aspects of the integer weighted automata. The expected effect of applying these abstractions is studied to build the deterministic reachability graphs allowing us to semi-decide the positivity problem on these automata. Moreover, the papers reports on the implementations and experimental results, and discusses other encodings
Solutions for the General, Confluent and Biconfluent Heun equations and their connection with Abel equations
In a recent paper, the canonical forms of a new multi-parameter class of Abel
differential equations, so-called AIR, all of whose members can be mapped into
Riccati equations, were shown to be related to the differential equations for
the hypergeometric 2F1, 1F1 and 0F1 functions. In this paper, a connection
between the AIR canonical forms and the Heun General (GHE), Confluent (CHE) and
Biconfluent (BHE) equations is presented. This connection fixes the value of
one of the Heun parameters, expresses another one in terms of those remaining,
and provides closed form solutions in terms of pFq functions for the resulting
GHE, CHE and BHE, respectively depending on four, three and two irreducible
parameters. This connection also turns evident what is the relation between the
Heun parameters such that the solutions admit Liouvillian form, and suggests a
mechanism for relating linear equations with N and N-1 singularities through
the canonical forms of a non-linear equation of one order less.Comment: Original version submitted to Journal of Physics A: 16 pages, related
to math.GM/0002059 and math-ph/0402040. Revised version according to
referee's comments: 23 pages. Sign corrected (June/17) in formula (79).
Second revised version (July/25): 25 pages. See also
http://lie.uwaterloo.ca/odetools.ht
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
We summarize the main results proved in recent work on the parameterized
verification of safety properties for ad hoc network protocols. We consider a
model in which the communication topology of a network is represented as a
graph. Nodes represent states of individual processes. Adjacent nodes represent
single-hop neighbors. Processes are finite state automata that communicate via
selective broadcast messages. Reception of a broadcast is restricted to
single-hop neighbors. For this model we consider a decision problem that can be
expressed as the verification of the existence of an initial topology in which
the execution of the protocol can lead to a configuration with at least one
node in a certain state. The decision problem is parametric both on the size
and on the form of the communication topology of the initial configurations. We
draw a complete picture of the decidability and complexity boundaries of this
problem according to various assumptions on the possible topologies.Comment: In Proceedings PACO 2011, arXiv:1108.145
- âŠ