DOI,IST REx ID,Research Group,Title of publication
10.2174/138920311798841753,3287,"CaHe,MiSi",What can we learn from single molecule trajectories?
10.1371/journal.pone.0022458,3288,CaHe,Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
10.1534/genetics.111.129569,3290,NiBa,A general method for calculating likelihoods under the coalescent process
10.1145/2037636.2037644,3297,ChWo,Liquid simulation with mesh-based surface tracking
10.1145/2019406.2019411,3298,ChWo,Hybrid smoothed particle hydrodynamics
10.1145/2037509.2037510,3299,ToHe,Propagation models for computing biochemical reaction networks
null,3301,ToHe,Tail approximation for the chemical master equation
null,3302,ToHe,Static scheduling in clouds
null,3311,HeEd,Alpha shapes - a survey
10.1109/ICCV.2011.6126475,3312,HeEd,Detailed reconstruction of 3D plant root shape
10.1109/ICCV.2011.6126271,3313,HeEd,Diffusion runs low on persistence fast
10.2168/LMCS-7(4:8)2011,3315,"KrCh,ToHe",Timed parity games: Complexity and robustness
10.1109/SIES.2011.5953660,3316,"KrCh,ToHe",Specification-centered robustness
10.1038/nn.3002,3318,PeJo,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
null,3319,ChLa,Learning multi-view neighborhood preserving projections
10.1561/0600000033,3320,ChLa,Structured learning and prediction in computer vision
null,3322,ChLa,Maximum margin multi label structured prediction
10.1007/978-3-642-22438-6_36,3323,ToHe,An efficient decision procedure for imperative tree data structures
10.1007/978-3-642-18275-4_26,3324,ToHe,Decision procedures for automating termination proofs
10.1145/1926385.1926454,3325,ToHe,Streaming transducers for algorithmic verification of single pass list processing programs