DOI,IST REx ID,Research Group,Title of publication
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
null,14205,FrLo,A unified optimization view on generalized matching pursuit and Frank-Wolfe
null,14206,FrLo,Greedy algorithms for cone constrained optimization with convergence guarantees
10.1016/j.jsc.2016.03.008,1433,HeEd,Phat - Persistent homology algorithms toolbox
10.1007/s00440-015-0692-y,1528,LaEr,Delocalization for a class of random block band matrices
10.1039/9781788010405-00025,444,LeSa,"Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions"
10.30757/ALEA.v14-17,447,"LaEr,JaMa",Fluctuations of the competition interface in presence of shocks
10.1145/3068766,452,BeBi,Spin it: Optimizing moment of inertia for spinnable objects
10.1016/j.bpj.2017.09.006,453,MaLo,Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
null,459,SyCr,Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
10.1063/1.5002771,463,BjHo,Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow
10.1145/3072959.3073678,470,ChWo,Water wave packets
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1142/S0218195916600050,481,HeEd,Planar matchings for weighted straight skeletons
10.1364/NLO.2017.NM3A.1,485,JoFi,Single sideband microwave to optical photon conversion-an-electro-optic-realization
10.1145/3130800.3130890,486,BeBi,Scattering-aware texture reproduction for 3D printing
10.1145/3143361.3143367,487,DaAl,Towards unlicensed cellular networks in TV white spaces
10.1038/s41598-017-00107-w,512,KrCh,Amplification on undirected population structures: Comets beat stars
10.1103/PhysRevFluids.2.043904,513,BjHo,Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence
10.1038/ncomms16032,514,JoCs,Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum