_id,doi,title
866,10.1073/pnas.1511328112,"Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13"
784,10.1145/2785956.2790035,"A high-radix, low-latency optical switch for data centers"
924,10.1016/j.applthermaleng.2014.10.009,"Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop"
929,10.1073/pnas.1504762112,"Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes"
981,10.1038/nmat4215,"Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators"
99,10.1038/nphys3461,"Parity lifetime of bound states in a proximitized semiconductor nanowire"
5437,10.15479/AT:IST-2015-330-v2-1,"Faster algorithms for quantitative verification in constant treewidth graphs"
1606,10.1007/978-3-319-23820-3_19,"Runtime verification for hybrid analysis tools"
1670,,"PDDL+ planning with hybrid automata: Foundations of translating must behavior"
1810,10.1016/j.mib.2015.05.008,"Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution"
1839,10.1007/978-3-662-46681-0_12,"Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives"
2034,10.1016/j.ipl.2014.09.001,"Probabilistic opacity for Markov decision processes"
1694,10.1109/TAC.2015.2404612,"Quantitative temporal simulation and refinement distances for timed systems"
1656,10.1109/LICS.2015.72,"Nested weighted automata"
7457,10.1039/c5ra11347d,"Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors"
1512,10.4230/LIPIcs.SOCG.2015.507,"Bounding Helly numbers via Betti numbers"
1598,10.1016/j.tcs.2015.01.050,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
7767,10.1103/physreve.91.032706,"Collective dynamics of soft active particles"
7779,,"Unearthing the anticrystal: Criticality in the linear response of disordered solids"
1714,10.1109/RTSS.2014.9,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
1601,10.1007/978-3-319-21690-4_31,"The Hanoi omega-automata format"
1846,10.1007/s00236-015-0215-4,"Refinement checking on parametric modal transition systems"
1555,10.1137/140993934,"Rich bifurcation structure in a two patch vaccination model"
1311,10.1137/140960578,"Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach"
1316,10.1007/s00205-015-0866-x,"Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems"
1424,,"Statistical topological data analysis-A kernel perspective"
1544,10.1016/bs.mcb.2015.01.007,"Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins"
1549,10.1007/978-1-4939-2845-3_6,"Flipping the photoswitch: Ion channels under light control"
1551,10.1371/journal.pbio.1002169,"Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes"
1556,10.1093/jxb/erv230,"The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development"
1563,10.12775/TMNA.2015.014,"An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds"
1513,"10.1093/gbe/evv215 ","The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression"
1520,10.1145/2786784.2786803,"Computational design of walking automata"
1506,10.3150/14-BEJ615,"The logarithmic law of random determinant"
1570,10.1073/pnas.1508400112,"Novel plasticity rule can explain the development of sensorimotor intelligence"
1575,10.1038/ncomms8526,"Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells"
1582,10.1016/j.comgeo.2014.08.006,"Weighted straight skeletons in the plane"
1638,10.1038/nrm3997,"A giant molecular proton pump: structure and mechanism of respiratory complex I"
1645,10.1109/ITW.2015.7133163,"Secret-key cryptography from ideal primitives: A systematic verview"
1652,10.1145/2746539.2746622,"High parallel complexity graphs and memory-hard functions"
1626,10.1145/2766919,"OmniAD: Data-driven omni-directional aerodynamics"
1695,10.1002/pssb.201552082,"Evaluation techniques for Gutzwiller wave functions in finite dimensions"
1703,10.1071/BT15023,"An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas"
1669,10.1007/978-3-319-22174-8_5,"The chain rule for HILL pseudoentropy, revisited"
1671,10.1007/978-3-662-47989-6_18,"The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC"
1683,10.1016/j.sbi.2015.08.008,"Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions"
1688,10.1007/s00454-015-9720-z,"Bounds for Pach's selection theorem and for the minimum solid angle in a simplex"
1664,10.1038/nature15701,"The rise of fully turbulent flow"
1710,10.1137/140993843,"Minimal resistance of curves under the single impact assumption"
1676,10.1016/j.ceb.2015.09.004,"Editorial overview: Cell adhesion and migration"
1734,10.1111/cgf.12594,"Recent advances in facial appearance capture"
1789,10.1038/ejhg.2014.165,"Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome"
1830,10.1098/rstb.2014.0108,"Opposing effects of allogrooming on disease transmission in ant societies"
1809,10.1371/journal.pone.0126907,"Indirect genetic effects and the dynamics of social interactions"
1811,10.1063/1.4921227,"Analytical evaluation of atomic form factors: Application to Rayleigh scattering"
1804,10.1038/srep10781,"Transition to turbulence in Taylor-Couette ferrofluidic flow"
1859,10.1109/CVPR.2015.7298890,"A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle"
1861,10.1145/2688906,"Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks"
1866,10.1145/2701001,"The equivalence problem for finite automata: Technical perspective"
1873,10.1016/j.artint.2014.12.009,"POMDPs under probabilistic semantics"
1878,10.1007/s10265-014-0691-6,"Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula"
1880,10.1088/1367-2630/17/1/013022,"Superfluid behavior of a Bose-Einstein condensate in a random potential"
1885,10.1534/genetics.114.171850,"Positional information, positional error, and readout precision in morphogenesis: A mathematical framework"
1993,10.1098/rspb.2014.1976,"Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host"
1847,10.1016/j.molp.2014.12.013,"ABP1: Finally docking"
2030,10.1016/j.compfluid.2014.09.021,"A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow"
2035,10.1007/s10208-014-9223-y,"The persistent homology of a self-map"
2085,10.1007/s00205-014-0781-6,"Collective excitations of Bose gases in the mean-field regime"
259,10.1007/s00039-015-0328-5,"Rational points on cubic hypersurfaces over F_q(t) "
362,10.1021/la504906q,"Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties"
5440,10.15479/AT:IST-2015-323-v2-2,"The complexity of evolutionary games on graphs"
778,10.1007/978-3-662-48653-5_13,"Inherent limitations of hybrid transactional memory"
780,10.1007/978-3-662-47666-6_38,"Polylogarithmic-time leader election in population protocols"
886,10.1016/j.tig.2014.09.009,"Topological features of rugged fitness landscapes in sequence space"
906,10.1371/journal.pone.0125888,"Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer"
848,10.1093/molbev/msu318,"A model of substitution trajectories in sequence space and long-term protein evolution"
1633,10.1145/2766896,"High-resolution brittle fracture simulation with boundary elements"
982,10.1103/PhysRevX.5.041047,"Criterion for many-body localization-delocalization phase transition"
1498,10.4230/LIPIcs.SNAPL.2015.90,"The need for language support for fault-tolerant distributed systems"
1501,10.1007/s10703-015-0235-2,"CEGAR for compositional analysis of qualitative properties in Markov decision processes"
1594,10.1007/978-3-662-48899-7_12,"Controller synthesis for MDPs and frequency LTL\GU"
1537,10.1016/j.cell.2015.01.008,"Cortical contractility triggers a stochastic switch to fast amoeboid cell motility"
1640,10.1038/ncomms9717,"Cytokinin response factors regulate PIN-FORMED auxin transporters"
1614,10.1073/pnas.1412996112,"Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells"
1835,10.1007/978-3-662-46681-0_47,"Model checking gene regulatory networks"
1823,10.15252/msb.20156098,"Systematic discovery of drug interaction mechanisms"
1690,10.1145/2728606.2728630,"HYST: A source transformation and translation tool for hybrid automaton models"
1657,10.1109/LICS.2015.32,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5438,10.15479/AT:IST-2015-334-v1-1,"Edit distance for pushdown automata"
1602,10.1145/2676726.2676979,"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth"
1607,10.1007/978-3-319-21690-4_9,"Faster algorithms for quantitative verification in constant treewidth graphs"
1619,10.1371/journal.pbio.1002299,"Quantifying the determinants of evolutionary dynamics leading to drug resistance"
1828,10.1007/s10955-015-1238-5,"Invariant measures of genetic recombination process"
1481,,"Automatic generation of alternative starting positions for simple traditional board games"
1525,10.5281/zenodo.33178,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
1474,10.1109/CSF.2015.11,"Policy privacy in cryptographic access control"
1400,,"The subclonal evolution of cancer"
1587,10.1103/PhysRevA.92.062506,"Quantum interference shifts in laser spectroscopy with elliptical polarization"
1568,10.1109/SYNASC.2014.81,"The classification of endoscopy images with persistent homology"
1425,,"Lifelong learning with non-i.i.d. tasks"
1401,,"Learning with attributes for object recognition: Parametric and non-parametrics views"
1540,10.1093/jxb/erv256,"The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis"
1557,10.1002/cne.23774,"Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats"
1564,10.3389/fncom.2015.00145,"Editorial: Emergent neural computation from the interaction of different forms of plasticity"
1514,10.1093/cercor/bhu231,"Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission"
1519,10.1111/evo.12641,"The interpretation of selection coefficients"
1538,10.1073/pnas.1423947112,"Iterative experiment design guides the characterization of a light-inducible gene expression circuit"
1533,10.1109/TCSVT.2014.2379972,"Segmentation over detection via optimal sparse reconstructions"
1588,10.1103/PhysRevE.92.053018,"Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows"
1590,10.1007/978-3-319-27261-0_28,"Representing directed trees as straight skeletons"
1569,10.1073/pnas.1424856112,"An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana"
1571,10.1073/pnas.1510282112,"Breaking evolutionary constraint with a tradeoff ratchet"
1583,10.1016/j.ipl.2014.09.021,"A simple algorithm for computing positively weighted straight skeletons of monotone polygons"
1639,10.1051/m2an/2015043,"A generalized model for optimal transport of images including dissipation and density modulation"
1646,10.1007/978-3-662-46497-7_2,"Key-homomorphic constrained pseudorandom functions"
1660,10.1109/LICS.2015.15,"Long-run average behaviour of probabilistic vector addition systems"
1615,10.1016/j.celrep.2015.09.011,"Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism"
1627,10.1145/2766998,"Design and fabrication of flexible rod meshes"
1634,10.1145/2767003,"Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams"
1696,10.1103/PhysRevB.92.125135,"Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states"
1704,10.1007/s11005-015-0787-5,"Note on a family of monotone quantum relative entropies"
1730,10.1007/s00454-015-9679-9,"Discrete systolic inequalities and decompositions of triangulated surfaces"
1728,10.1038/ncomms7709,"Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms"
1684,10.1371/journal.pbio.1002078,"Numerous transitions of sex chromosomes in Diptera"
1677,10.1063/1.4932606,"The local semicircle law for random matrices with a fourfold symmetry"
1735,10.1111/cgf.12576,"A dimension-reduced pressure solver for liquid simulations"
1850,10.1016/j.jtbi.2015.02.018,"Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates"
1824,10.1038/ncomms7977,"Evolutionary games of condensates in coupled birth-death processes"
1831,10.1098/rstb.2014.0116,"Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies"
1817,10.1038/nature14215,"YAP is essential for tissue tension to ensure vertebrate 3D body shape"
1792,10.1016/j.jco.2015.06.002,"A Koksma-Hlawka inequality for general discrepancy systems"
1944,10.1016/j.pbi.2014.12.002,"Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants"
1867,10.1002/elps.201400451,"Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection"
1874,10.1002/hipo.22407,"A three-plane architectonic atlas of the rat hippocampal region"
1879,10.1111/jmi.12211,"Developing 3D SEM in a broad biological context"
1843,10.1016/j.jtbi.2015.03.013,"Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54]"
2271,10.1137/130945648,"The power of linear programming for general-valued CSPs"
1805,10.1016/j.comgeo.2014.08.010,"Homological reconstruction and simplification in R3"
5434,,"Optimal cost indefinite-horizon reachability in goal DEC-POMDPs"
5807,10.1016/j.tcs.2015.09.003,"On different topological classes of spherical geodesic paths and circles inZ3"
5749,10.1093/molbev/msv270,"Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria"
1576,10.1103/PhysRevLett.115.248101,"Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation"
6507,10.1182/blood-2015-08-667055,"Structural basis for collagen recognition by the immune receptor OSCAR"
779,10.1145/2755573.2755600,"ThreadScan: Automatic and scalable memory reclamation"
781,10.1145/2767386.2767429,"Fast and exact majority in population protocols"
832,10.21769/BioProtoc.1446,"Real time analysis of lateral root organogenesis in arabidopsis"
933,10.1073/pnas.1510973112,"Physics of active jamming during collective cellular motion in a monolayer"
1502,10.1145/2737166.2737175,"Complete composition operators for IOCO-testing theory"
1499,10.4230/LIPIcs.CONCUR.2015.142,"Polynomial time decidability of weighted synchronization under partial observability"
1689,10.1145/2728606.2728608,"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"
1691,10.1145/2728606.2728617,"Temporal logic motion planning using POMDPs with parity objectives: Case study paper"
1658,10.1007/978-3-319-23401-4_8,"Adaptive moment closure for parameter inference of biochemical reaction networks"
1836,10.1007/978-3-662-46669-8_5,"Segment abstraction for worst-case execution time analysis"
1610,10.1007/978-3-662-47666-6_10,"Edit distance for pushdown automata"
1603,10.1007/978-3-319-21690-4_10,"Counterexample explanation by learning small strategies in Markov decision processes"
1855,10.1111/1365-2656.12345,"A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees"
1812,10.1088/1367-2630/17/4/045005,"Exotic roton excitations in quadrupolar Bose–Einstein condensates "
5441,10.15479/AT:IST-2015-340-v1-1,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1595,10.1007/978-3-319-27261-0_9,"Hanani-Tutte for radial planarity"
1709,10.1098/rspb.2015.1041,"Biological auctions with multiple rewards"
1665,10.1038/nature15395,"Mutations driving CLL and their evolution in progression and relapse"
1848,10.1002/ijc.29498,"FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors"
1672,10.1007/978-3-662-48000-7_37,"Incoercible multi-party computation and universally composable receipt-free voting"
5439,10.15479/AT:IST-2015-335-v1-1,"The target discounted-sum problem"