Showing 1–16 of 16 results for author: Krause, A

Using graph neural networks to reconstruct charged pion showers in the CMS High Granularity Calorimeter

Authors: M. Aamir, B. Acar, G. Adamov, T. Adams, C. Adloff, S. Afanasiev, C. Agrawal, C. Agrawal, A. Ahmad, H. A. Ahmed, S. Akbar, N. Akchurin, B. Akgul, B. Akgun, R. O. Akpinar, E. Aktas, A. AlKadhim, V. Alexakhin, J. Alimena, J. Alison, A. Alpana, W. Alshehri, P. Alvarez Dominguez, M. Alyari, C. Amendola , et al. (550 additional authors not shown)

Abstract: A novel method to reconstruct the energy of hadronic showers in the CMS High Granularity Calorimeter (HGCAL) is presented. The HGCAL is a sampling calorimeter with very fine transverse and longitudinal granularity. The active media are silicon sensors and scintillator tiles readout by SiPMs and the absorbers are a combination of lead and Cu/CuW in the electromagnetic section, and steel in the hadr… ▽ More A novel method to reconstruct the energy of hadronic showers in the CMS High Granularity Calorimeter (HGCAL) is presented. The HGCAL is a sampling calorimeter with very fine transverse and longitudinal granularity. The active media are silicon sensors and scintillator tiles readout by SiPMs and the absorbers are a combination of lead and Cu/CuW in the electromagnetic section, and steel in the hadronic section. The shower reconstruction method is based on graph neural networks and it makes use of a dynamic reduction network architecture. It is shown that the algorithm is able to capture and mitigate the main effects that normally hinder the reconstruction of hadronic showers using classical reconstruction methods, by compensating for fluctuations in the multiplicity, energy, and spatial distributions of the shower's constituents. The performance of the algorithm is evaluated using test beam data collected in 2018 prototype of the CMS HGCAL accompanied by a section of the CALICE AHCAL prototype. The capability of the method to mitigate the impact of energy leakage from the calorimeter is also demonstrated. △ Less

Submitted 30 June, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: Prepared for submission to JINST

EquiReact: An equivariant neural network for chemical reactions

Authors: Puck van Gerwen, Ksenia R. Briling, Charlotte Bunne, Vignesh Ram Somnath, Ruben Laplaza, Andreas Krause, Clemence Corminboeuf

Abstract: Equivariant neural networks have considerably improved the accuracy and data-efficiency of predictions of molecular properties. Building on this success, we introduce EquiReact, an equivariant neural network to infer properties of chemical reactions, built from three-dimensional structures of reactants and products. We illustrate its competitive performance on the prediction of activation barriers… ▽ More Equivariant neural networks have considerably improved the accuracy and data-efficiency of predictions of molecular properties. Building on this success, we introduce EquiReact, an equivariant neural network to infer properties of chemical reactions, built from three-dimensional structures of reactants and products. We illustrate its competitive performance on the prediction of activation barriers on the GDB7-22-TS, Cyclo-23-TS and Proparg-21-TS datasets with different regimes according to the inclusion of atom-map** information. We show that, compared to state-of-the-art models for reaction property prediction, EquiReact offers: (i) a flexible model with reduced sensitivity between atom-map** regimes, (ii) better extrapolation capabilities to unseen chemistries, (iii) impressive prediction errors for datasets exhibiting subtle variations in three-dimensional geometries of reactants/products, (iv) reduced sensitivity to geometry quality and (iv) excellent data efficiency. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 41 pages + SI (6 pages)

VisualPDE: rapid interactive simulations of partial differential equations

Authors: Benjamin J. Walker, Adam K. Townsend, Alexander K. Chudasama, Andrew L. Krause

Abstract: Computing has revolutionised the study of complex nonlinear systems, both by allowing us to solve previously intractable models and through the ability to visualise solutions in different ways. Using ubiquitous computing infrastructure, we provide a means to go one step further in using computers to understand complex models through instantaneous and interactive exploration. This ubiquitous infras… ▽ More Computing has revolutionised the study of complex nonlinear systems, both by allowing us to solve previously intractable models and through the ability to visualise solutions in different ways. Using ubiquitous computing infrastructure, we provide a means to go one step further in using computers to understand complex models through instantaneous and interactive exploration. This ubiquitous infrastructure has enormous potential in education, outreach and research. Here, we present VisualPDE, an online, interactive solver for a broad class of 1D and 2D partial differential equation (PDE) systems. Abstract dynamical systems concepts such as symmetry-breaking instabilities, subcritical bifurcations and the role of initial data in multistable nonlinear models become much more intuitive when you can play with these models yourself, and immediately answer questions about how the system responds to changes in parameters, initial conditions, boundary conditions or even spatiotemporal forcing. Importantly, VisualPDE is freely available, open source and highly customisable. We give several examples in teaching, research and knowledge exchange, providing high-level discussions of how it may be employed in different settings. This includes designing web-based course materials structured around interactive simulations, or easily crafting specific simulations that can be shared with students or collaborators via a simple URL. We envisage VisualPDE becoming an invaluable resource for teaching and research in mathematical biology and beyond. We also hope that it inspires other efforts to make mathematics more interactive and accessible. △ Less

Submitted 16 October, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

Comments: 19 pages, 7 figures. This is a companion paper to the website https://visualpde.com/

Tuning Particle Accelerators with Safety Constraints using Bayesian Optimization

Authors: Johannes Kirschner, Mojmir Mutný, Andreas Krause, Jaime Coello de Portugal, Nicole Hiller, Jochem Snuverink

Abstract: Tuning machine parameters of particle accelerators is a repetitive and time-consuming task that is challenging to automate. While many off-the-shelf optimization algorithms are available, in practice their use is limited because most methods do not account for safety-critical constraints in each iteration, such as loss signals or step-size limitations. One notable exception is safe Bayesian optimi… ▽ More Tuning machine parameters of particle accelerators is a repetitive and time-consuming task that is challenging to automate. While many off-the-shelf optimization algorithms are available, in practice their use is limited because most methods do not account for safety-critical constraints in each iteration, such as loss signals or step-size limitations. One notable exception is safe Bayesian optimization, which is a data-driven tuning approach for global optimization with noisy feedback. We propose and evaluate a step-size limited variant of safe Bayesian optimization on two research facilities of the Paul Scherrer Institut (PSI): a) the Swiss Free Electron Laser (SwissFEL) and b) the High-Intensity Proton Accelerator (HIPA). We report promising experimental results on both machines, tuning up to 16 parameters subject to 224 constraints. △ Less

Submitted 30 June, 2022; v1 submitted 25 March, 2022; originally announced March 2022.

A Novel Physics-Regularized Interpretable Machine Learning Model for Grain Growth

Authors: Weishi Yan, Joseph Melville, Vishal Yadav, Kristien Everett, Lin Yang, Michael S. Kesler, Amanda R. Krause, Michael R. Tonks, Joel B. Harley

Abstract: Experimental grain growth observations often deviate from grain growth simulations, revealing that the governing rules for grain boundary motion are not fully understood. A novel deep learning model was developed to capture grain growth behavior from training data without making assumptions about the underlying physics. The Physics-Regularized Interpretable Machine Learning Microstructure Evolutio… ▽ More Experimental grain growth observations often deviate from grain growth simulations, revealing that the governing rules for grain boundary motion are not fully understood. A novel deep learning model was developed to capture grain growth behavior from training data without making assumptions about the underlying physics. The Physics-Regularized Interpretable Machine Learning Microstructure Evolution (PRIMME) model consists of a multi-layer neural network that predicts the likelihood of a point changing to a neighboring grain. Here, we demonstrate PRIMME's ability to replicate two-dimensional normal grain growth by training it with Monte Carlo Potts simulations. The trained PRIMME model's grain growth predictions in several test cases show good agreement with analytical models, phase-field simulations, Monte Carlo Potts simulations, and results from the literature. Additionally, PRIMME's adaptability to investigate irregular grain growth behavior is shown. Important aspects of PRIMME like interpretability, regularization, extrapolation, and overfitting are also discussed. △ Less

Submitted 17 August, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: 31 pages, 12 figures. Accepted to Materials & Design. Code Available: https://github.com/EAGG-UF/PRIMME

Analog Computing for Molecular Dynamics

Authors: Sven Köppel, Alexandra Krause, Bernd Ulmann

Abstract: Modern analog computers are ideally suited to solving large systems of ordinary differential equations at high speed with low energy consumtion and limited accuracy. In this article, we survey N-body physics, applied to a simple water model inspired by force fields which are popular in molecular dynamics. We demonstrate a setup which simulate a single water molecule in time. To the best of our kno… ▽ More Modern analog computers are ideally suited to solving large systems of ordinary differential equations at high speed with low energy consumtion and limited accuracy. In this article, we survey N-body physics, applied to a simple water model inspired by force fields which are popular in molecular dynamics. We demonstrate a setup which simulate a single water molecule in time. To the best of our knowledge such a simulation has never been done on analog computers before. Important implementation aspects of the model, such as scaling, data range and circuit design, are highlighted. We also analyze the performance and compare the solution with a numerical approach. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 9 pages, 9 figures, submitted to Emerging Topics in Computing, IEEE Trans

MSC Class: 82M37 ACM Class: J.2; J.3; G.1.7

Journal ref: IJUC Volume 17, Number 4, p. 259-282 (2022)

Deep Learning for Climate Model Output Statistics

Authors: Michael Steininger, Daniel Abel, Katrin Ziegler, Anna Krause, Heiko Paeth, Andreas Hotho

Abstract: Climate models are an important tool for the assessment of prospective climate change effects but they suffer from systematic and representation errors, especially for precipitation. Model output statistics (MOS) reduce these errors by fitting the model output to observational data with machine learning. In this work, we explore the feasibility and potential of deep learning with convolutional neu… ▽ More Climate models are an important tool for the assessment of prospective climate change effects but they suffer from systematic and representation errors, especially for precipitation. Model output statistics (MOS) reduce these errors by fitting the model output to observational data with machine learning. In this work, we explore the feasibility and potential of deep learning with convolutional neural networks (CNNs) for MOS. We propose the CNN architecture ConvMOS specifically designed for reducing errors in climate model outputs and apply it to the climate model REMO. Our results show a considerable reduction of errors and mostly improved performance compared to three commonly used MOS approaches. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: Accepted for the Tackling Climate Change with Machine Learning Workshop at NeurIPS 2020

Unstaggered-staggered solitons on one- and two-dimensional two-component discrete nonlinear Schrödinger lattices

Authors: Robert A. Van Gorder, Andrew L. Krause, Boris A. Malomed, D. J. Kaup

Abstract: We study coupled unstaggered-staggered soliton pairs emergent from a system of two coupled discrete nonlinear Schrödinger (DNLS) equations with the self-attractive on-site self-phase-modulation nonlinearity, coupled by the repulsive cross-phase-modulation interaction, on 1D and 2D lattice domains. These mixed modes are of a "symbiotic" type, as each component in isolation may only carry ordinary u… ▽ More We study coupled unstaggered-staggered soliton pairs emergent from a system of two coupled discrete nonlinear Schrödinger (DNLS) equations with the self-attractive on-site self-phase-modulation nonlinearity, coupled by the repulsive cross-phase-modulation interaction, on 1D and 2D lattice domains. These mixed modes are of a "symbiotic" type, as each component in isolation may only carry ordinary unstaggered solitons. While most work on DNLS systems addressed symmetric on-site-centered fundamental solitons, these models give rise to a variety of other excited states, which may also be stable. The simplest among them are antisymmetric states in the form of discrete twisted solitons, which have no counterparts in the continuum limit. In the extension to 2D lattice domains, a natural counterpart of the twisted states are vortical solitons. We first introduce a variational approximation (VA) for the solitons, and then correct it numerically to construct exact stationary solutions, which are then used as initial conditions for simulations to check if the stationary states persist under time evolution. Two-component solutions obtained include (i) 1D fundamental-twisted and twisted-twisted soliton pairs, (ii) 2D fundamental-fundamental soliton pairs, and (iii) 2D vortical-vortical soliton pairs. We also highlight a variety of other transient dynamical regimes, such as breathers and amplitude death. The findings apply to modeling binary Bose-Einstein condensates, loaded in a deep lattice potential, with identical or different atomic masses of the two components, and arrays of bimodal optical waveguides. △ Less

Submitted 1 March, 2020; originally announced March 2020.

Comments: to be published in Communications in Nonlinear Science and Numerical Simulation

Journal ref: Communications in Nonlinear Science and Numerical Simulation 85 (2020) 105244

Non-classical correlations between single photons and phonons from a mechanical oscillator

Authors: Ralf Riedinger, Sungkun Hong, Richard A. Norte, Joshua A. Slater, Juying Shang, Alexander G. Krause, Vikas Anant, Markus Aspelmeyer, Simon Gröblacher

Abstract: Interfacing a single photon with another quantum system is a key capability in modern quantum information science. It allows quantum states of matter, such as spin states of atoms, atomic ensembles or solids, to be prepared and manipulated by photon counting and, in particular, to be distributed over long distances. Such light-matter interfaces have become crucial to fundamental tests of quantum p… ▽ More Interfacing a single photon with another quantum system is a key capability in modern quantum information science. It allows quantum states of matter, such as spin states of atoms, atomic ensembles or solids, to be prepared and manipulated by photon counting and, in particular, to be distributed over long distances. Such light-matter interfaces have become crucial to fundamental tests of quantum physics and realizations of quantum networks. Here we report non-classical correlations between single photons and phonons -- the quanta of mechanical motion -- from a nanomechanical resonator. We implement a full quantum protocol involving initialization of the resonator in its quantum ground state of motion and subsequent generation and read-out of correlated photonphonon pairs. The observed violation of a Cauchy-Schwarz inequality is clear evidence for the non-classical nature of the mechanical state generated. Our results demonstrate the availability of on-chip solid-state mechanical resonators as light-matter quantum interfaces. The performance we achieved will enable studies of macroscopic quantum phenomena as well as applications in quantum communication, as quantum memories and as quantum transducers. △ Less

Submitted 23 February, 2016; v1 submitted 16 December, 2015; originally announced December 2015.

Journal ref: Nature 530, 313-316 (2016)

Optical read out and feedback cooling of a nanostring optomechanical cavity

Authors: Alex G. Krause, Tim D. Blasius, Oskar Painter

Abstract: Optical measurement of the motion of a 940 kHz mechanical resonance of a silicon nitride nanostring resonator is demonstrated with a read out noise imprecision reaching 37 dB below that of the resonator's zero-point fluctuations. Via intensity modulation of the optical probe laser, radiation pressure feedback is used to cool and damp the mechanical mode from an initial room temperature occupancy o… ▽ More Optical measurement of the motion of a 940 kHz mechanical resonance of a silicon nitride nanostring resonator is demonstrated with a read out noise imprecision reaching 37 dB below that of the resonator's zero-point fluctuations. Via intensity modulation of the optical probe laser, radiation pressure feedback is used to cool and damp the mechanical mode from an initial room temperature occupancy of $\bar{n}_{b} = 6.5 \times 10^6$ ($T_{b}=295$K) down to a phonon occupation of $\langle n \rangle = 66 \pm 10$, representing a mode temperature of $T_{m} \approx 3$mK. The five decades of cooling is enabled by the system's large single-photon cooperativity $(C_{1} = 4)$ and high quantum efficiency of optical motion detection ($η_{t} = 0.27$). △ Less

Submitted 3 June, 2015; originally announced June 2015.

Comments: 13 pages, 13 figures

Nonlinear radiation pressure dynamics in an optomechanical crystal

Authors: Alex G. Krause, Jeff T. Hill, Max Ludwig, Amir H. Safavi-Naeini, Jasper Chan, Florian Marquardt, Oskar Painter

Abstract: Utilizing a silicon nanobeam optomechanical crystal, we investigate the attractor diagram arising from the radiation pressure interaction between a localized optical cavity at $λ= 1552$nm and a mechanical resonance at $ω/2π= 3.72$GHz. At a temperature of $T \approx 10$K, highly nonlinear driving of mechanical motion is observed via continuous wave optical pum**. Introduction of a time-dependent… ▽ More Utilizing a silicon nanobeam optomechanical crystal, we investigate the attractor diagram arising from the radiation pressure interaction between a localized optical cavity at $λ= 1552$nm and a mechanical resonance at $ω/2π= 3.72$GHz. At a temperature of $T \approx 10$K, highly nonlinear driving of mechanical motion is observed via continuous wave optical pum**. Introduction of a time-dependent (modulated) optical pump is used to steer the system towards an otherwise inaccessible dynamically stable attractor in which mechanical self-oscillation occurs for an optical pump red-detuned from the cavity resonance. An analytical model incorporating thermo-optic effects due to optical absorption heating is developed, and found to accurately predict the measured device behavior. △ Less

Submitted 27 April, 2015; v1 submitted 22 April, 2015; originally announced April 2015.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. Lett. 115, 233601 (2015)

65 nm CMOS Sensors Applied to Mathematically Exact Colorimetric Reconstruction

Authors: C. Mayr, S. Henker, A. Krause, J. -U. Schlüßler, R. Schüffny

Abstract: Extracting colorimetric image information from the spectral characteristics of image sensors is a key issue in accurate image acquisition. Technically feasible filter/sensor combinations usually do not replicate colorimetric responses with sufficient accuracy to be directly applicable to color representation. A variety of transformations have been proposed in the literature to compensate for this.… ▽ More Extracting colorimetric image information from the spectral characteristics of image sensors is a key issue in accurate image acquisition. Technically feasible filter/sensor combinations usually do not replicate colorimetric responses with sufficient accuracy to be directly applicable to color representation. A variety of transformations have been proposed in the literature to compensate for this. However, most of those rely on heuristics and/or introduce a reconstruction dependent on the composition of the incoming illumination. In this work, we present a spectral reconstruction method that is independent of illumination and is derived in a mathematically strict way. It provides a deterministic method to arrive at a least mean squared error approximation of a target spectral characteristic from arbitrary sensor response curves. Further, we present a new CMOS sensor design in a standard digital 65nm CMOS technology. Novel circuit techniques are used to achieve performance comparable with much larger-sized specialized photo-CMOS processes. The sensor is utilized as testbed for the spectral reconstruction method. △ Less

Submitted 8 August, 2014; originally announced August 2014.

Journal ref: Proceedings IASTED International Conference on Computer Graphics and Imaging 2008

Towards a living earth simulator

Authors: M. Paolucci, D. Kossman, R. Conte, P. Lukowicz, P. Argyrakis, A. Blandford, G. Bonelli, S. Anderson, S. de Freitas, B. Edmonds, N. Gilbert, M. Gross, J. Kohlhammer, P. Koumoutsakos, A. Krause, B. -O. Linnér, P. Slusallek, O. Sorkine, R. W. Sumner, D. Helbing

Abstract: The Living Earth Simulator (LES) is one of the core components of the FuturICT architecture. It will work as a federation of methods, tools, techniques and facilities supporting all of the FuturICT simulation-related activities to allow and encourage interactive exploration and understanding of societal issues. Society-relevant problems will be targeted by leaning on approaches based on complex sy… ▽ More The Living Earth Simulator (LES) is one of the core components of the FuturICT architecture. It will work as a federation of methods, tools, techniques and facilities supporting all of the FuturICT simulation-related activities to allow and encourage interactive exploration and understanding of societal issues. Society-relevant problems will be targeted by leaning on approaches based on complex systems theories and data science in tight interaction with the other components of FuturICT. The LES will evaluate and provide answers to real-world questions by taking into account multiple scenarios. It will build on present approaches such as agent-based simulation and modeling, multiscale modelling, statistical inference, and data mining, moving beyond disciplinary borders to achieve a new perspective on complex social systems. △ Less

Submitted 6 April, 2013; originally announced April 2013.

Journal ref: Eur. Phys. J. Special Topics vol. 214, pp. 77-108 (2012)

A microchip optomechanical accelerometer

Authors: Alexander G. Krause, Martin Winger, Tim D. Blasius, Qiang Lin, Oskar Painter

Abstract: The monitoring of accelerations is essential for a variety of applications ranging from inertial navigation to consumer electronics. The basic operation principle of an accelerometer is to measure the displacement of a flexibly mounted test mass; sensitive displacement measurement can be realized using capacitive, piezo-electric, tunnel-current, or optical methods. While optical readout provides s… ▽ More The monitoring of accelerations is essential for a variety of applications ranging from inertial navigation to consumer electronics. The basic operation principle of an accelerometer is to measure the displacement of a flexibly mounted test mass; sensitive displacement measurement can be realized using capacitive, piezo-electric, tunnel-current, or optical methods. While optical readout provides superior displacement resolution and resilience to electromagnetic interference, current optical accelerometers either do not allow for chip-scale integration or require bulky test masses. Here we demonstrate an optomechanical accelerometer that employs ultra-sensitive all-optical displacement read-out using a planar photonic crystal cavity monolithically integrated with a nano-tethered test mass of high mechanical Q-factor. This device architecture allows for full on-chip integration and achieves a broadband acceleration resolution of 10 μg/rt-Hz, a bandwidth greater than 20 kHz, and a dynamic range of 50 dB with sub-milliwatt optical power requirements. Moreover, the nano-gram test masses used here allow for optomechanical back-action in the form of cooling or the optical spring effect, setting the stage for a new class of motional sensors. △ Less

Submitted 26 March, 2012; originally announced March 2012.

Comments: 16 pages, 9 figures

Measurement of the quantum zero-point motion of a nanomechanical resonator

Authors: Amir H. Safavi-Naeini, Jasper Chan, Jeff T. Hill, T. P. Mayer Alegre, Alex Krause, Oskar Painter

Abstract: We present optical sideband spectroscopy measurements of a mesoscopic mechanical oscillator cooled near its quantum ground state. The mechanical oscillator, corresponding to a 3.99GHz acoustic mode of a patterned silicon nanobeam, is coupled via radiation pressure to a pair of co-localized 200THz optical modes. The mechanical mode is cooled close to its quantum ground state from a bath temperature… ▽ More We present optical sideband spectroscopy measurements of a mesoscopic mechanical oscillator cooled near its quantum ground state. The mechanical oscillator, corresponding to a 3.99GHz acoustic mode of a patterned silicon nanobeam, is coupled via radiation pressure to a pair of co-localized 200THz optical modes. The mechanical mode is cooled close to its quantum ground state from a bath temperature of 18K using radiation pressure back-action stemming from the optical pum** of one of the optical cavity resonances. An optical probe beam, resonant with the second optical cavity resonance, is used to transduce the mechanical motion and determine the phonon occupancy of the mechanical mode. Measurement of the asymmetry between up-converted and down-converted photons of the probe beam yields directly the displacement noise power associated with the quantum zero-point motion of the mechanical oscillator, and provides an absolute calibration of the average phonon occupancy of the mechanical mode. △ Less

Submitted 23 August, 2011; originally announced August 2011.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. Lett. 108, 033602 (2012)

Inferring Networks of Diffusion and Influence

Authors: Manuel Gomez-Rodriguez, Jure Leskovec, Andreas Krause

Abstract: Information diffusion and virus propagation are fundamental processes taking place in networks. While it is often possible to directly observe when nodes become infected with a virus or adopt the information, observing individual transmissions (i.e., who infects whom, or who influences whom) is typically very difficult. Furthermore, in many applications, the underlying network over which the diffu… ▽ More Information diffusion and virus propagation are fundamental processes taking place in networks. While it is often possible to directly observe when nodes become infected with a virus or adopt the information, observing individual transmissions (i.e., who infects whom, or who influences whom) is typically very difficult. Furthermore, in many applications, the underlying network over which the diffusions and propagations spread is actually unobserved. We tackle these challenges by develo** a method for tracing paths of diffusion and influence through networks and inferring the networks over which contagions propagate. Given the times when nodes adopt pieces of information or become infected, we identify the optimal network that best explains the observed infection times. Since the optimization problem is NP-hard to solve exactly, we develop an efficient approximation algorithm that scales to large datasets and finds provably near-optimal networks. We demonstrate the effectiveness of our approach by tracing information diffusion in a set of 170 million blogs and news articles over a one year period to infer how information flows through the online media space. We find that the diffusion network of news for the top 1,000 media sites and blogs tends to have a core-periphery structure with a small set of core media sites that diffuse information to the rest of the Web. These sites tend to have stable circles of influence with more general news media sites acting as connectors between them. △ Less

Submitted 23 October, 2011; v1 submitted 1 June, 2010; originally announced June 2010.

Comments: Short version appeared in ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), 2010. Long version submitted to ACM Transactions on Knowledge Discovery from Data (TKDD)

ACM Class: H.2.8