DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-58771-4_19,646,VlKo,A novel convex relaxation for non binary discrete tomography
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1007/978-3-319-55911-7_43,648,KrPi,On the complexity of breaking pseudoentropy
10.1007/978-3-319-55911-7_42,650,KrPi,A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
10.4230/LIPICS.ISAAC.2017.34,6517,UlWa,Embedding graphs into embedded graphs
10.4230/LIPICS.CSL.2017.18,6519,KrCh,Improved set-based symbolic algorithms for parity games
10.1109/isit.2017.8006529,6526,KrPi,On the complexity of estimating Rènyi divergences
10.1145/3133956.3134031,6527,KrPi,Practical graphs for optimal side-channel resistant memory-hard functions
10.1038/ng.3764,653,KrCh,Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
10.1242/dev.144915,654,AnKi,"Creating to understand – developmental biology meets engineering in Paris"
10.7554/eLife.23136,655,CaGu,Bacterial flagella grow through an injection diffusion mechanism
10.1073/pnas.1616493114,657,JiFr,Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo
10.3389/fnbot.2017.00008,658,"ChLa,GaTk",Self organized behavior generation for musculoskeletal robots
10.1038/ncomms14832,659,MiSi,FMNL formins boost lamellipodial force generation
10.1073/pnas.1620274114,660,MaLo,Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation
10.1038/ncb3492,661,"CaHe,BjHo,Bio",Friction forces position the neural anlage
10.1063/1.4981525,662,BjHo,Hydrodynamic turbulence in quasi Keplerian rotating flows
10.1145/3049797.3049814,663,ToHe,Safety verification of nonlinear hybrid systems based on invariant clusters
10.1016/j.cels.2017.03.001,666,"ToBo,GaTk",Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
10.1109/glocom.2017.8254940,6679,,Partitioned list decoding of polar codes: Analysis and improvement of finite length performance