@article{993,
  abstract     = {In real-world applications, observations are often constrained to a small fraction of a system. Such spatial subsampling can be caused by the inaccessibility or the sheer size of the system, and cannot be overcome by longer sampling. Spatial subsampling can strongly bias inferences about a system’s aggregated properties. To overcome the bias, we derive analytically a subsampling scaling framework that is applicable to different observables, including distributions of neuronal avalanches, of number of people infected during an epidemic outbreak, and of node degrees. We demonstrate how to infer the correct distributions of the underlying full system, how to apply it to distinguish critical from subcritical systems, and how to disentangle subsampling and finite size effects. Lastly, we apply subsampling scaling to neuronal avalanche models and to recordings from developing neural networks. We show that only mature, but not young networks follow power-law scaling, indicating self-organization to criticality during development.},
  author       = {Levina (Martius), Anna and Priesemann, Viola},
  issn         = {20411723},
  journal      = {Nature Communications},
  publisher    = {Nature Publishing Group},
  title        = {{Subsampling scaling}},
  doi          = {10.1038/ncomms15140},
  volume       = {8},
  year         = {2017},
}

@article{994,
  abstract     = {The formation of vortices is usually considered to be the main mechanism of angular momentum disposal in superfluids. Recently, it was predicted that a superfluid can acquire angular momentum via an alternative, microscopic route -- namely, through interaction with rotating impurities, forming so-called `angulon quasiparticles' [Phys. Rev. Lett. 114, 203001 (2015)]. The angulon instabilities correspond to transfer of a small number of angular momentum quanta from the impurity to the superfluid, as opposed to vortex instabilities, where angular momentum is quantized in units of ℏ  per atom. Furthermore, since conventional impurities (such as molecules) represent three-dimensional (3D) rotors, the angular momentum transferred is intrinsically 3D as well, as opposed to a merely planar rotation which is inherent to vortices. Herein we show that the angulon theory can explain the anomalous broadening of the spectroscopic lines observed for CH 3   and NH 3   molecules in superfluid helium nanodroplets, thereby providing a fingerprint of the emerging angulon instabilities in experiment.},
  author       = {Cherepanov, Igor and Lemeshko, Mikhail},
  journal      = {Physical Review Materials},
  number       = {3},
  publisher    = {American Physical Society},
  title        = {{Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules}},
  doi          = {10.1103/PhysRevMaterials.1.035602},
  volume       = {1},
  year         = {2017},
}

@article{995,
  abstract     = {Recently it was shown that an impurity exchanging orbital angular momentum with a surrounding bath can be described in terms of the angulon quasiparticle [Phys. Rev. Lett. 118, 095301 (2017)]. The angulon consists of a quantum rotor dressed by a many-particle field of boson excitations, and can be formed out of, for example, a molecule or a nonspherical atom in superfluid helium, or out of an electron coupled to lattice phonons or a Bose condensate. Here we develop an approach to the angulon based on the path-integral formalism, which sets the ground for a systematic, perturbative treatment of the angulon problem. The resulting perturbation series can be interpreted in terms of Feynman diagrams, from which, in turn, one can derive a set of diagrammatic rules. These rules extend the machinery of the graphical theory of angular momentum - well known from theoretical atomic spectroscopy - to the case where an environment with an infinite number of degrees of freedom is present. In particular, we show that each diagram can be interpreted as a 'skeleton', which enforces angular momentum conservation, dressed by an additional many-body contribution. This connection between the angulon theory and the graphical theory of angular momentum is particularly important as it allows to systematically and substantially simplify the analytical representation of each diagram. In order to exemplify the technique, we calculate the 1- and 2-loop contributions to the angulon self-energy, the spectral function, and the quasiparticle weight. The diagrammatic theory we develop paves the way to investigate next-to-leading order quantities in a more compact way compared to the variational approaches.},
  author       = {Bighin, Giacomo and Lemeshko, Mikhail},
  issn         = {24699950},
  journal      = {Physical Review B - Condensed Matter and Materials Physics},
  number       = {8},
  publisher    = {American Physical Society},
  title        = {{Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment}},
  doi          = {10.1103/PhysRevB.96.085410},
  volume       = {96},
  year         = {2017},
}

@article{996,
  abstract     = {Iodine (I 2  ) molecules embedded in He nanodroplets are aligned by a 160 ps long laser pulse. The highest degree of alignment, occurring at the peak of the pulse and quantified by ⟨cos 2 θ 2D ⟩ , is measured as a function of the laser intensity. The results are well described by ⟨cos 2 θ 2D ⟩  calculated for a gas of isolated molecules each with an effective rotational constant of 0.6 times the gas-phase value, and at a temperature of 0.4 K. Theoretical analysis using the angulon quasiparticle to describe rotating molecules in superfluid helium rationalizes why the alignment mechanism is similar to that of isolated molecules with an effective rotational constant. A major advantage of molecules in He droplets is that their 0.4 K temperature leads to stronger alignment than what can generally be achieved for gas phase molecules -- here demonstrated by a direct comparison of the droplet results to measurements on a ∼  1 K supersonic beam of isolated molecules. This point is further illustrated for more complex system by measurements on 1,4-diiodobenzene and 1,4-dibromobenzene. For all three molecular species studied the highest values of ⟨cos 2 θ 2D ⟩  achieved in He droplets exceed 0.96. },
  author       = {Shepperson, Benjamin and Chatterley, Adam and Søndergaard, Anders and Christiansen, Lars and Lemeshko, Mikhail and Stapelfeldt, Henrik},
  issn         = {00219606},
  journal      = {The Journal of Chemical Physics},
  number       = {1},
  publisher    = {AIP Publishing},
  title        = {{Strongly aligned molecules inside helium droplets in the near-adiabatic regime}},
  doi          = {10.1063/1.4983703},
  volume       = {147},
  year         = {2017},
}

@article{997,
  abstract     = {Recently it was shown that molecules rotating in superfluid helium can be described in terms of the angulon quasiparticles (Phys. Rev. Lett. 118, 095301 (2017)). Here we demonstrate that in the experimentally realized regime the angulon can be seen as a point charge on a 2-sphere interacting with a gauge field of a non-abelian magnetic monopole. Unlike in several other settings, the gauge fields of the angulon problem emerge in the real coordinate space, as opposed to the momentum space or some effective parameter space. Furthermore, we find a topological transition associated with making the monopole abelian, which takes place in the vicinity of the previously reported angulon instabilities. These results pave the way for studying topological phenomena in experiments on molecules trapped in superfluid helium nanodroplets, as well as on other realizations of orbital impurity problems.},
  author       = {Yakaboylu, Enderalp and Deuchert, Andreas and Lemeshko, Mikhail},
  issn         = {0031-9007},
  journal      = {Physical Review Letters},
  number       = {23},
  publisher    = {American Physical Society},
  title        = {{Emergence of non-abelian magnetic monopoles in a quantum impurity problem}},
  doi          = {10.1103/PhysRevLett.119.235301},
  volume       = {119},
  year         = {2017},
}

@inproceedings{998,
  abstract     = {A major open problem on the road to artificial intelligence is the development of incrementally learning systems that learn about more and more concepts over time from a stream of data. In this work, we introduce a new training strategy, iCaRL, that allows learning in such a class-incremental way: only the training data for a small number of classes has to be present at the same time and new classes can be added progressively. iCaRL learns strong classifiers and a data representation simultaneously. This distinguishes it from earlier works that were fundamentally limited to fixed data representations and therefore incompatible with deep learning architectures. We show by experiments on CIFAR-100 and ImageNet ILSVRC 2012 data that iCaRL can learn many classes incrementally over a long period of time where other strategies quickly fail. },
  author       = {Rebuffi, Sylvestre Alvise and Kolesnikov, Alexander and Sperl, Georg and Lampert, Christoph},
  isbn         = {978-153860457-1},
  location     = {Honolulu, HA, United States},
  pages        = {5533 -- 5542},
  publisher    = {IEEE},
  title        = {{iCaRL: Incremental classifier and representation learning}},
  doi          = {10.1109/CVPR.2017.587},
  volume       = {2017},
  year         = {2017},
}

@inproceedings{999,
  abstract     = {In multi-task learning, a learner is given a collection of prediction tasks and needs to solve all of them. In contrast to previous work, which required that annotated training data must be available for all tasks, we consider a new setting, in which for some tasks, potentially most of them, only unlabeled training data is provided. Consequently, to solve all tasks, information must be transferred between tasks with labels and tasks without labels. Focusing on an instance-based transfer method we analyze two variants of this setting: when the set of labeled tasks is fixed, and when it can be actively selected by the learner. We state and prove a generalization bound that covers both scenarios and derive from it an algorithm for making the choice of labeled tasks (in the active case) and for transferring information between the tasks in a principled way. We also illustrate the effectiveness of the algorithm on synthetic and real data. },
  author       = {Pentina, Anastasia and Lampert, Christoph},
  isbn         = {9781510855144},
  location     = {Sydney, Australia},
  pages        = {2807 -- 2816},
  publisher    = {ML Research Press},
  title        = {{Multi-task learning with labeled and unlabeled tasks}},
  volume       = {70},
  year         = {2017},
}

@article{1084,
  abstract     = {BceRS and PsdRS are paralogous two-component systems in Bacillus subtilis controlling the response to antimicrobial peptides. In the presence of extracellular bacitracin and nisin, respectively, the two response regulators (RRs) bind their target promoters, PbceA or PpsdA, resulting in a strong up-regulation of target gene expression and ultimately antibiotic resistance. Despite high sequence similarity between the RRs BceR and PsdR and their known binding sites, no cross-regulation has been observed between them. We therefore investigated the specificity determinants of PbceA and PpsdA that ensure the insulation of these two paralogous pathways at the RR–promoter interface. In vivo and in vitro analyses demonstrate that the regulatory regions within these two promoters contain three important elements: in addition to the known (main) binding site, we identified a linker region and a secondary binding site that are crucial for functionality. Initial binding to the high-affinity, low-specificity main binding site is a prerequisite for the subsequent highly specific binding of a second RR dimer to the low-affinity secondary binding site. In addition to this hierarchical cooperative binding, discrimination requires a competition of the two RRs for their respective binding site mediated by only slight differences in binding affinities.},
  author       = {Fang, Chong and Nagy-Staron, Anna A and Grafe, Martin and Heermann, Ralf and Jung, Kirsten and Gebhard, Susanne and Mascher, Thorsten},
  issn         = { 0950382X},
  journal      = {Molecular Microbiology},
  number       = {1},
  pages        = {16 -- 31},
  publisher    = {Wiley-Blackwell},
  title        = {{Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis}},
  doi          = {10.1111/mmi.13597},
  volume       = {104},
  year         = {2017},
}

@article{1085,
  abstract     = {Sex chromosomes evolve once recombination is halted between a homologous pair of chromosomes. The dominant model of sex chromosome evolution posits that recombination is suppressed between emerging X and Y chromosomes in order to resolve sexual conflict. Here we test this model using whole genome and transcriptome resequencing data in the guppy, a model for sexual selection with many Y-linked colour traits. We show that although the nascent Y chromosome encompasses nearly half of the linkage group, there has been no perceptible degradation of Y chromosome gene content or activity. Using replicate wild populations with differing levels of sexually antagonistic selection for colour, we also show that sexual selection leads to greater expansion of the non-recombining region and increased Y chromosome divergence. These results provide empirical support for longstanding models of sex chromosome catalysis, and suggest an important role for sexual selection and sexual conflict in genome evolution.},
  author       = {Wright, Alison and Darolti, Iulia and Bloch, Natasha and Oostra, Vicencio and Sandkam, Benjamin and Buechel, Séverine and Kolm, Niclas and Breden, Felix and Vicoso, Beatriz and Mank, Judith},
  issn         = {20411723},
  journal      = {Nature Communications},
  publisher    = {Nature Publishing Group},
  title        = {{Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation}},
  doi          = {10.1038/ncomms14251},
  volume       = {8},
  year         = {2017},
}

@article{1087,
  abstract     = {Using extensive direct numerical simulations, the dynamics of laminar-turbulent fronts in pipe flow is investigated for Reynolds numbers between and 5500. We here investigate the physical distinction between the fronts of weak and strong slugs both by analysing the turbulent kinetic energy budget and by comparing the downstream front motion to the advection speed of bulk turbulent structures. Our study shows that weak downstream fronts travel slower than turbulent structures in the bulk and correspond to decaying turbulence at the front. At the downstream front speed becomes faster than the advection speed, marking the onset of strong fronts. In contrast to weak fronts, turbulent eddies are generated at strong fronts by feeding on the downstream laminar flow. Our study also suggests that temporal fluctuations of production and dissipation at the downstream laminar-turbulent front drive the dynamical switches between the two types of front observed up to.},
  author       = {Song, Baofang and Barkley, Dwight and Hof, Björn and Avila, Marc},
  issn         = {00221120},
  journal      = {Journal of Fluid Mechanics},
  pages        = {1045 -- 1059},
  publisher    = {Cambridge University Press},
  title        = {{Speed and structure of turbulent fronts in pipe flow}},
  doi          = {10.1017/jfm.2017.14},
  volume       = {813},
  year         = {2017},
}

@article{1089,
  abstract     = {We discuss properties of distributions that are multivariate totally positive of order two (MTP2) related to conditional independence. In particular, we show that any independence model generated by an MTP2 distribution is a compositional semigraphoid which is upward-stable and singleton-transitive. In addition, we prove that any MTP2 distribution satisfying an appropriate support condition is faithful to its concentration graph. Finally, we analyze factorization properties of MTP2 distributions and discuss ways of constructing MTP2 distributions; in particular we give conditions on the log-linear parameters of a discrete distribution which ensure MTP2 and characterize conditional Gaussian distributions which satisfy MTP2.},
  author       = {Fallat, Shaun and Lauritzen, Steffen and Sadeghi, Kayvan and Uhler, Caroline and Wermuth, Nanny and Zwiernik, Piotr},
  issn         = {00905364},
  journal      = {Annals of Statistics},
  number       = {3},
  pages        = {1152 -- 1184},
  publisher    = {Institute of Mathematical Statistics},
  title        = {{Total positivity in Markov structures}},
  doi          = {10.1214/16-AOS1478},
  volume       = {45},
  year         = {2017},
}

@article{1104,
  abstract     = {In the early visual system, cells of the same type perform the same computation in different places of the visual field. How these cells code together a complex visual scene is unclear. A common assumption is that cells of a single-type extract a single-stimulus feature to form a feature map, but this has rarely been observed directly. Using large-scale recordings in the rat retina, we show that a homogeneous population of fast OFF ganglion cells simultaneously encodes two radically different features of a visual scene. Cells close to a moving object code quasilinearly for its position, while distant cells remain largely invariant to the object's position and, instead, respond nonlinearly to changes in the object's speed. We develop a quantitative model that accounts for this effect and identify a disinhibitory circuit that mediates it. Ganglion cells of a single type thus do not code for one, but two features simultaneously. This richer, flexible neural map might also be present in other sensory systems.},
  author       = {Deny, Stephane and Ferrari, Ulisse and Mace, Emilie and Yger, Pierre and Caplette, Romain and Picaud, Serge and Tkacik, Gasper and Marre, Olivier},
  issn         = {20411723},
  journal      = {Nature Communications},
  number       = {1},
  publisher    = {Nature Publishing Group},
  title        = {{Multiplexed computations in retinal ganglion cells of a single type}},
  doi          = {10.1038/s41467-017-02159-y},
  volume       = {8},
  year         = {2017},
}

@inproceedings{1108,
  abstract     = {In this work we study the learnability of stochastic processes with respect to the conditional risk, i.e. the existence of a learning algorithm that improves its next-step performance with the amount of observed data. We introduce a notion of pairwise discrepancy between conditional distributions at different times steps and show how certain properties of these discrepancies can be used to construct a successful learning algorithm. Our main results are two theorems that establish criteria for learnability for many classes of stochastic processes, including all special cases studied previously in the literature.},
  author       = {Zimin, Alexander and Lampert, Christoph},
  location     = {Fort Lauderdale, FL, United States},
  pages        = {213 -- 222},
  publisher    = {ML Research Press},
  title        = {{Learning theory for conditional risk minimization}},
  volume       = {54},
  year         = {2017},
}

@article{1109,
  abstract     = {Rotation of molecules embedded in He nanodroplets is explored by a combination of fs laser-induced alignment experiments and angulon quasiparticle theory. We demonstrate that at low fluence of the fs alignment pulse, the molecule and its solvation shell can be set into coherent collective rotation lasting long enough to form revivals. With increasing fluence, however, the revivals disappear -- instead, rotational dynamics as rapid as for an isolated molecule is observed during the first few picoseconds. Classical calculations trace this phenomenon to transient decoupling of the molecule from its He shell. Our results open novel opportunities for studying non-equilibrium solute-solvent dynamics and quantum thermalization. },
  author       = {Shepperson, Benjamin and Søndergaard, Anders and Christiansen, Lars and Kaczmarczyk, Jan and Zillich, Robert and Lemeshko, Mikhail and Stapelfeldt, Henrik},
  journal      = {Physical Review Letters},
  number       = {20},
  publisher    = {American Physical Society},
  title        = {{Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free}},
  doi          = {10.1103/PhysRevLett.118.203203},
  volume       = {118},
  year         = {2017},
}

@article{1110,
  abstract     = {The phytohormone auxin is a major determinant and regulatory component important for plant development. Auxin transport between cells is mediated by a complex system of transporters such as AUX1/LAX, PIN, and ABCB proteins, and their localization and activity is thought to be influenced by phosphatases and kinases. Flavonols have been shown to alter auxin transport activity and changes in flavonol accumulation in the Arabidopsis thaliana rol1-2 mutant cause defects in auxin transport and seedling development. A new mutation in ROOTS CURL IN NPA 1 (RCN1), encoding a regulatory subunit of the phosphatase PP2A, was found to suppress the growth defects of rol1-2 without changing the flavonol content. rol1-2 rcn1-3 double mutants show wild type-like auxin transport activity while levels of free auxin are not affected by rcn1-3. In the rol1-2 mutant, PIN2 shows a flavonol-induced basal-to-apical shift in polar localization which is reversed in the rol1-2 rcn1-3 to basal localization. In vivo analysis of PINOID action, a kinase known to influence PIN protein localization in a PP2A-antagonistic manner, revealed a negative impact of flavonols on PINOID activity. Together, these data suggest that flavonols affect auxin transport by modifying the antagonistic kinase/phosphatase equilibrium.},
  author       = {Kuhn, Benjamin and Nodzyński, Tomasz and Errafi, Sanae and Bucher, Rahel and Gupta, Shibu and Aryal, Bibek and Dobrev, Petre and Bigler, Laurent and Geisler, Markus and Zažímalová, Eva and Friml, Jirí and Ringli, Christoph},
  issn         = {20452322},
  journal      = {Scientific Reports},
  publisher    = {Nature Publishing Group},
  title        = {{Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity}},
  doi          = {10.1038/srep41906},
  volume       = {7},
  year         = {2017},
}

@article{1111,
  abstract     = {Adaptation depends critically on the effects of new mutations and their dependency on the genetic background in which they occur. These two factors can be summarized by the fitness landscape. However, it would require testing all mutations in all backgrounds, making the definition and analysis of fitness landscapes mostly inaccessible. Instead of postulating a particular fitness landscape, we address this problem by considering general classes of landscapes and calculating an upper limit for the time it takes for a population to reach a fitness peak, circumventing the need to have full knowledge about the fitness landscape. We analyze populations in the weak-mutation regime and characterize the conditions that enable them to quickly reach the fitness peak as a function of the number of sites under selection. We show that for additive landscapes there is a critical selection strength enabling populations to reach high-fitness genotypes, regardless of the distribution of effects. This threshold scales with the number of sites under selection, effectively setting a limit to adaptation, and results from the inevitable increase in deleterious mutational pressure as the population adapts in a space of discrete genotypes. Furthermore, we show that for the class of all unimodal landscapes this condition is sufficient but not necessary for rapid adaptation, as in some highly epistatic landscapes the critical strength does not depend on the number of sites under selection; effectively removing this barrier to adaptation.},
  author       = {Heredia, Jorge and Trubenova, Barbora and Sudholt, Dirk and Paixao, Tiago},
  issn         = {00166731},
  journal      = {Genetics},
  number       = {2},
  pages        = {803 -- 825},
  publisher    = {Genetics Society of America},
  title        = {{Selection limits to adaptive walks on correlated landscapes}},
  doi          = {10.1534/genetics.116.189340},
  volume       = {205},
  year         = {2017},
}

@inproceedings{1112,
  abstract     = {There has been renewed interest in modelling the behaviour of evolutionary algorithms by more traditional mathematical objects, such as ordinary differential equations or Markov chains. The advantage is that the analysis becomes greatly facilitated due to the existence of well established methods. However, this typically comes at the cost of disregarding information about the process. Here, we introduce the use of stochastic differential equations (SDEs) for the study of EAs. SDEs can produce simple analytical results for the dynamics of stochastic processes, unlike Markov chains which can produce rigorous but unwieldy expressions about the dynamics. On the other hand, unlike ordinary differential equations (ODEs), they do not discard information about the stochasticity of the process. We show that these are especially suitable for the analysis of fixed budget scenarios and present analogs of the additive and multiplicative drift theorems for SDEs. We exemplify the use of these methods for two model algorithms ((1+1) EA and RLS) on two canonical problems(OneMax and LeadingOnes).},
  author       = {Paixao, Tiago and Pérez Heredia, Jorge},
  booktitle    = {Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms},
  isbn         = {978-145034651-1},
  location     = {Copenhagen, Denmark},
  pages        = {3 -- 11},
  publisher    = {ACM},
  title        = {{An application of stochastic differential equations to evolutionary algorithms}},
  doi          = {10.1145/3040718.3040729},
  year         = {2017},
}

@article{1113,
  abstract     = {A drawing of a graph G is radial if the vertices of G are placed on concentric circles C 1 , . . . , C k with common center c , and edges are drawn radially : every edge intersects every circle centered at c at most once. G is radial planar if it has a radial embedding, that is, a crossing-free radial drawing. If the vertices of G are ordered or partitioned into ordered levels (as they are for leveled graphs), we require that the assignment of vertices to circles corresponds to the given ordering or leveling. We show that a graph G is radial planar if G has a radial drawing in which every two edges cross an even number of times; the radial embedding has the same leveling as the radial drawing. In other words, we establish the weak variant of the Hanani-Tutte theorem for radial planarity. This generalizes a result by Pach and Toth.},
  author       = {Fulek, Radoslav and Pelsmajer, Michael and Schaefer, Marcus},
  journal      = {Journal of Graph Algorithms and Applications},
  number       = {1},
  pages        = {135 -- 154},
  publisher    = {Brown University},
  title        = {{Hanani-Tutte for radial planarity}},
  doi          = {10.7155/jgaa.00408},
  volume       = {21},
  year         = {2017},
}

@article{1114,
  abstract     = {Nonequilibrium phase transitions exist in damped-driven open quantum systems when the continuous tuning of an external parameter leads to a transition between two robust steady states. In second-order transitions this change is abrupt at a critical point, whereas in first-order transitions the two phases can coexist in a critical hysteresis domain. Here, we report the observation of a first-order dissipative quantum phase transition in a driven circuit quantum electrodynamics system. It takes place when the photon blockade of the driven cavity-atom system is broken by increasing the drive power. The observed experimental signature is a bimodal phase space distribution with varying weights controlled by the drive strength. Our measurements show an improved stabilization of the classical attractors up to the millisecond range when the size of the quantum system is increased from one to three artificial atoms. The formation of such robust pointer states could be used for new quantum measurement schemes or to investigate multiphoton phases of finite-size, nonlinear, open quantum systems.},
  author       = {Fink, Johannes M and Dombi, András and Vukics, András and Wallraff, Andreas and Domokos, Peter},
  issn         = {21603308},
  journal      = {Physical Review X},
  number       = {1},
  publisher    = {American Physical Society},
  title        = {{Observation of the photon blockade breakdown phase transition}},
  doi          = {10.1103/PhysRevX.7.011012},
  volume       = {7},
  year         = {2017},
}

@inproceedings{1116,
  abstract     = {Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictability. 

We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. For a given network with a forwarding scheme and a constant ℓ, we compute the {\em score} of the scheme, namely the probability (induced by faults) that at least ℓ messages arrive on time. We reduce the scoring problem to a reachability problem on a Markov chain with a &quot;product-like&quot; structure. Its special structure allows us to reason about it symbolically, and reduce the scoring problem to #SAT. Our solution is generic and can be adapted to different networks and other contexts. Also, we show the computational complexity of the scoring problem is #P-complete, and we study methods to estimate the score. We evaluate the effectiveness of our techniques with an implementation. },
  author       = {Avni, Guy and Goel, Shubham and Henzinger, Thomas A and Rodríguez Navas, Guillermo},
  issn         = {03029743},
  location     = {Uppsala, Sweden},
  pages        = {169 -- 187},
  publisher    = {Springer},
  title        = {{Computing scores of forwarding schemes in switched networks with probabilistic faults}},
  doi          = {10.1007/978-3-662-54580-5_10},
  volume       = {10206},
  year         = {2017},
}

