Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

358 Publications


2015 | Conference Paper | IST-REx-ID: 1605
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1648   OA
G. Fuchsbauer, Z. Jafargholi, and K. Z. Pietrzak, “A quasipolynomial reduction for generalized selective decryption on trees,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2015, vol. 9215, pp. 601–620.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650   OA
M. Skórski, A. Golovnev, and K. Z. Pietrzak, “Condensed unpredictability ,” presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 1046–1057.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
G. S. Martius and E. Olbrich, “Quantifying emergent behavior of autonomous robots,” Entropy, vol. 17, no. 10, pp. 7266–7297, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
V. Kolmogorov, M. Rolinek, and R. Takhanov, “Effectiveness of structural restrictions for hybrid CSPs,” vol. 9472. Springer, pp. 566–577, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
P. Amaro et al., “Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3,” Physical Review A, vol. 92, no. 2, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Y. Velner, K. Chatterjee, L. Doyen, T. A. Henzinger, A. Rabinovich, and J. Raskin, “The complexity of multi-mean-payoff and multi-energy games,” Information and Computation, vol. 241, no. 4, pp. 177–196, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
G. Tkacik et al., “Thermodynamics and signatures of criticality in a network of neurons,” PNAS, vol. 112, no. 37, pp. 11508–11513, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
A. Pentina and S. Ben David, “Multi-task and lifelong learning of kernels,” presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada, 2015, vol. 9355, pp. 194–208.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679   OA
G. M. Lemoult, P. Maier, and B. Hof, “Taylor’s Forest,” Physics of Fluids, vol. 27, no. 9, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
T. Priklopil and K. Chatterjee, “Evolution of decisions in population games with sequentially searching individuals,” Games, vol. 6, no. 4, pp. 413–437, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
E. Kiermaier and M. K. Sixt, “Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection,” Science, vol. 349, no. 6252, pp. 1055–1056, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667   OA
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotny, and V. Řehák, “Optimizing performance of continuous-time stochastic systems using timeout synthesis,” vol. 9259. Springer, pp. 141–159, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1674   OA
J. Lee and K. Schnelli, “Edge universality for deformed Wigner matrices,” Reviews in Mathematical Physics, vol. 27, no. 8, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1807   OA
M. Goldman and J. Royo-Letelier, “Sharp interface limit for two components Bose-Einstein condensates,” ESAIM - Control, Optimisation and Calculus of Variations, vol. 21, no. 3, pp. 603–624, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1814   OA
S. Jeschke and C. J. Wojtan, “Water wave animation via wavefront parameter interpolation,” ACM Transactions on Graphics, vol. 34, no. 3, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1819
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, and J. Friml, “Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana,” Molecular Plant, vol. 8, no. 8, pp. 1175–1187, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1838   OA
R. Bloem, K. Chatterjee, S. Jacobs, and R. Könighofer, “Assume-guarantee synthesis for concurrent reactive programs with partial information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 2015, vol. 9035, pp. 517–532.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1840   OA
B. Geiger, T. Petrov, G. Kubin, and H. Koeppl, “Optimal Kullback-Leibler aggregation via information bottleneck,” IEEE Transactions on Automatic Control, vol. 60, no. 4, pp. 1010–1022, 2015.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1857   OA
A. Pentina, V. Sharmanska, and C. Lampert, “Curriculum learning of multiple tasks,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 5492–5500.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1864   OA
L. Erdös and A. Knowles, “The Altshuler–Shklovskii formulas for random band matrices II: The general case,” Annales Henri Poincare, vol. 16, no. 3, pp. 709–799, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871   OA
P. Grones and J. Friml, “Auxin transporters and binding proteins at a glance,” Journal of Cell Science, vol. 128, no. 1, pp. 1–7, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1883
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, and K. Klemm, “Anomalous scaling in an age-dependent branching model,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 2, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1845   OA
D. H. Vandael, C. M. Espinoza Martinez, and P. M. Jonas, “Excitement about inhibitory presynaptic terminals,” Neuron, vol. 85, no. 6, pp. 1149–1151, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2014   OA
A. Klimova, C. Uhler, and T. Rudas, “Faithfulness and learning hypergraphs from discrete distributions,” Computational Statistics & Data Analysis, vol. 87, no. 7, pp. 57–72, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1713
P. Dhonukshe et al., “Correction: Plasma membrane bound AGC3 kinases phosphorylate PIN auxin carriers at TPRXS N S motifs to direct apical PIN recycling,” Development, vol. 142, no. 13, pp. 2386–2387, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 473   OA
M. Lewin, N. Phan Thanh, and N. Rougerie, “Derivation of nonlinear gibbs measures from many-body quantum mechanics,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2, pp. 65–115, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 524
K. Chatterjee and R. Ibsen-Jensen, “Qualitative analysis of concurrent mean payoff games,” Information and Computation, vol. 242, no. 6, pp. 2–24, 2015.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1732
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Qualitative analysis of POMDPs with temporal logic specifications for robotics applications,” presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States, 2015, pp. 325–330.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5429
K. Chatterjee, Z. Komarkova, and J. Kretinsky, Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443   OA
K. Chatterjee, M. Chmelik, and J. Davies, A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431   OA
K. Chatterjee, R. Ibsen-Jensen, and K. Hansen, The patience of concurrent stochastic games with safety and reachability objectives. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436   OA
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2015.
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549   OA
A. Fellner, Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
R. Biswas and P. Bhowmick, “From prima quadraginta octant to lattice sphere through primitive integer operations,” Theoretical Computer Science, vol. 624, no. 4, pp. 56–72, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
J. Dereziński and M. M. Napiórkowski, “Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit,” Annales Henri Poincare, vol. 16, no. 7, pp. 1709–1711, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 476–490.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6737   OA
M. Mondelli, H. Hassani, I. Sason, and R. Urbanke, “Achieving Marton’s region for broadcast channels using polar codes,” IEEE Transactions on Information Theory, vol. 61, no. 2, pp. 783–800, 2015.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 815
F. Schur, R. Dick, W. Hagen, V. Vogt, and J. Briggs, “The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly,” Journal of Virology, vol. 89, no. 20, pp. 10294–10302, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 928   OA
I. Sehring et al., “Assembly and positioning of actomyosin rings by contractility and planar cell polarity,” eLife, vol. 4, 2015.
View | Files available | DOI
 

2015 | Book Review | IST-REx-ID: 1473   OA
T. Hausel and F. Rodríguez Villegas, “Cohomology of large semiprojective hyperkähler varieties,” Asterisque, vol. 2015, no. 370. Societe Mathematique de France, pp. 113–156, 2015.
View | Download (ext.)
 

2015 | Conference Poster | IST-REx-ID: 1500
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, Poster: HyRG: A random generation tool for affine hybrid automata. Springer, 2015, pp. 289–290.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1531
V. Zobel, J. Reininghaus, and I. Hotz, “Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature,” Mathematics and Visualization, vol. 40, pp. 257–267, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1788
A. Pitanti et al., “Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity,” Optics Express, vol. 23, no. 3, pp. 3196–3208, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1803
D. Rei et al., “Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a p25/Cdk5-dependent pathway,” PNAS, vol. 112, no. 23, pp. 7291–7296, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
T. D. Browning, R. Dietmann, and R. Heath Brown, “Erratum Rational points on intersections of cubic and quadric hypersurfaces,” Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
M. Ibanez et al., “Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement,” Journal of the American Chemical Society, vol. 137, no. 12, pp. 4046–4049, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
X. Yu et al., “Cu2ZnSnS4–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution,” Journal of Physical Chemistry C, vol. 119, no. 38, pp. 21882–21888, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 777
D. Alistarh, J. Iglesias, and M. Vojnović, “Streaming min-max hypergraph partitioning,” presented at the NIPS: Neural Information Processing Systems, 2015, vol. 2015–January, pp. 1900–1908.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 866
C. Kretz et al., “Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13,” PNAS, vol. 112, no. 30, pp. 9328–9333, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 924
R. Boubaker, V. Platel, A. Bergès, M. Bancelin, and E. Hannezo, “Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop,” Applied Thermal Engineering, vol. 76, pp. 1–8, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 929
E. Hannezo, B. Dong, P. Recho, J. Joanny, and S. Hayashi, “Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes,” PNAS, vol. 112, no. 28, pp. 8620–8625, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981   OA
I. Zeljkovic et al., “Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators,” Nature Materials, vol. 14, no. 3, pp. 318–324, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1106
M. Isrie et al., “Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type,” The American Journal of Human Genetics, vol. 97, no. 6, pp. 790–800, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 121   OA
S. R. Waitukaitis, R. Menaut, B. Chen, and M. Van Hecke, “Origami multistability: From single vertices to metasheets,” APS Physics, Physical Review Letters, vol. 114, no. 5, p. 055503, 2015.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1430   OA
T. Paixao, D. Sudholt, J. Heredia, and B. Trubenova, “First steps towards a runtime comparison of natural and artificial evolution,” in Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, Spain, 2015, pp. 1455–1462.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1517   OA
M. Erbar, J. Maas, and M. Renger, “From large deviations to Wasserstein gradient flows in multiple dimensions,” Electronic Communications in Probability, vol. 20, p. 89, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1497   OA
D. Andergassen et al., “Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data,” Nucleic Acids Research, vol. 43, no. 21, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505   OA
Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample covariance matrices with general population,” Annals of Statistics, vol. 43, no. 1, pp. 382–421, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1543
Y. Olvera Carrillo et al., “A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants,” Plant Physiology, vol. 169, no. 4, pp. 2684–2699, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1548   OA
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, and J. Kurtz, “Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination,” Applied and Environmental Microbiology, vol. 81, no. 23, pp. 8135–8144, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1550   OA
C. Mayer et al., “Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries,” Neuron, vol. 87, no. 5, pp. 989–998, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555
D. Knipl, P. Pilarczyk, and G. Röst, “Rich bifurcation structure in a two patch vaccination model,” SIAM Journal on Applied Dynamical Systems, vol. 14, no. 2, pp. 980–1017, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
P. Grones et al., “Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles,” Journal of Experimental Botany, vol. 66, no. 16, pp. 5055–5065, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1567
H. Edelsbrunner, “Shape, homology, persistence, and stability,” vol. 9411. Springer, 2015.
View
 

2015 | Journal Article | IST-REx-ID: 1574   OA
Q. Chen et al., “A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1536
J. Sasse et al., “Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport,” Current Biology, vol. 25, no. 5, pp. 647–655, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1601
T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1593   OA
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, and E. Benková, “Strategies of seedlings to overcome their sessile nature: Auxin in mobility control,” Frontiers in Plant Science, vol. 6, no. 4, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1579   OA
C. Brooks, A. Martin Del Campo Sanchez, and F. Sottile, “Galois groups of Schubert problems of lines are at least alternating,” Transactions of the American Mathematical Society, vol. 367, no. 6, pp. 4183–4206, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1581
M. T. Bollenbach and C.-P. J. Heisenberg, “Gradients are shaping up,” Cell, vol. 161, no. 3, pp. 431–432, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” vol. 9333. Springer, pp. 281–286, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1586
A. Angermayr, A. Gorchs, and K. Hellingwerf, “Metabolic engineering of cyanobacteria for the synthesis of commodity products,” Trends in Biotechnology, vol. 33, no. 6, pp. 352–361, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1618   OA
C. Veldkamp et al., “Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites,” Biochemistry, vol. 54, no. 27, pp. 4163–4166, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1625
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, and M. Gross, “Detailed spatio-temporal reconstruction of eyelids,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632   OA
R. Ando, N. Thuerey, and C. J. Wojtan, “A stream function solver for liquid simulations,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1644   OA
G. Demay, P. Gazi, U. Maurer, and B. Tackmann, “Query-complexity amplification for random oracles,” presented at the ICITS: International Conference on Information Theoretic Security, Lugano, Switzerland, 2015, vol. 9063, pp. 159–180.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1649   OA
F. Benhamouda, S. Krenn, V. Lyubashevsky, and K. Z. Pietrzak, “Efficient zero-knowledge proofs for commitments from learning with errors over rings,” vol. 9326. Springer, pp. 305–325, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
F. Baldimtsi, M. Chase, G. Fuchsbauer, and M. Kohlweiss, “Anonymous transferable e-cash,” presented at the PKC: Public Key Crypography, Gaithersburg, MD, USA, 2015, vol. 9020, pp. 101–124.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1694
K. Chatterjee and V. Prabhu, “Quantitative temporal simulation and refinement distances for timed systems,” IEEE Transactions on Automatic Control, vol. 60, no. 9, pp. 2291–2306, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1699   OA
H. Uecker, D. Setter, and J. Hermisson, “Adaptive gene introgression after secondary contact,” Journal of Mathematical Biology, vol. 70, no. 7, pp. 1523–1580, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682   OA
P. Franek and M. Krcál, “Robust satisfiability of systems of equations,” Journal of the ACM, vol. 62, no. 4, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1687   OA
M. Sarris and M. K. Sixt, “Navigating in tissue mazes: Chemoattractant interpretation in complex environments,” Current Opinion in Cell Biology, vol. 36, no. 10, pp. 93–102, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1668   OA
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, and S. Tessaro, “Relaxing full-codebook security: A refined analysis of key-length extension schemes,” vol. 9054. Springer, pp. 319–341, 2015.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1670
S. Bogomolov, D. Magazzeni, S. Minopoli, and M. Wehrle, “PDDL+ planning with hybrid automata: Foundations of translating must behavior,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel, 2015, pp. 42–46.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1663
K. Kovács, M. Steinmann, O. Halfon, P. Magistretti, and J. Cardinaux, “Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2,” Cellular Signalling, vol. 27, no. 11, pp. 2252–2260, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1858   OA
C. Lampert, “Predicting the future behavior of a time-varying probability distribution,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 942–950.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1860   OA
A. Royer and C. Lampert, “Classifier adaptation at prediction time,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 1401–1409.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1865
H. Robert et al., “Plant embryogenesis requires AUX/LAX-mediated auxin influx,” Development, vol. 142, no. 4, pp. 702–711, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1827   OA
T. Friedlander, A. Mayo, T. Tlusty, and U. Alon, “Evolution of bow-tie architectures in biology,” PLoS Computational Biology, vol. 11, no. 3, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834   OA
C. Chen et al., “Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats,” ASN Neuro, vol. 7, no. 2, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1846
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, and J. Srba, “Refinement checking on parametric modal transition systems,” Acta Informatica, vol. 52, no. 2–3, pp. 269–297, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1839   OA
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives,” vol. 9035. Springer, pp. 181–187, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1841   OA
V. Kolmogorov, “A new look at reweighted message passing,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, pp. 919–930, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1808
A. Gupta and T. A. Henzinger, “Guest editors’ introduction to special issue on computational methods in systems biology,” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1810   OA
M. T. Bollenbach, “Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution,” Current Opinion in Microbiology, vol. 27, pp. 1–9, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1992   OA
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta, and T. Tarrach, “Succinct representation of concurrent trace sets,” presented at the POPL: Principles of Programming Languages, Mumbai, India, 2015, pp. 433–444.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1997   OA
P. Noren, “The three-state toric homogeneous Markov chain model has Markov degree two,” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June, pp. 285–296, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2008   OA
A. Klimova and T. Rudas, “Iterative scaling in curved exponential families,” Scandinavian Journal of Statistics, vol. 42, no. 3, pp. 832–847, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2034   OA
B. Bérard, K. Chatterjee, and N. Sznajder, “Probabilistic opacity for Markov decision processes,” Information Processing Letters, vol. 115, no. 1, pp. 52–59, 2015.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed