Please note that ISTA 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.
11697 Publications
2009 |
Published |
Conference Paper |
IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4544 |
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 21514
Sahli, M., et al. “Quality Assessment of Polymer Replication by Hot Embossing and Micro-Injection Moulding Processes Using Scanning Mechanical Microscopy.” Journal of Materials Processing Technology, vol. 209, no. 18–19, Elsevier, 2009, pp. 5851–61, doi:10.1016/j.jmatprotec.2009.06.011.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 21513
Sahli, Mohamed, et al. “Experimental Analysis and Numerical Modelling of the Forming Process of Polypropylene Replicas of Micro-Cavities Using Hot Embossing.” Microsystem Technologies, vol. 15, no. 6, Springer Nature, 2009, pp. 827–35, doi:10.1007/s00542-009-0813-6.
View
| DOI
2009 |
Published |
Book Chapter |
IST-REx-ID: 4137
Bridle, Jon, et al. “Limits to Adaptation and Patterns of Biodiversity.” Speciation and Patterns of Diversity, edited by J.R. R. K. Butlin et al., Cambridge University Press, 2009, pp. 77–101, doi:10.1017/CBO9780511815683.007.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 11878
Baykan, Eda, et al. “Web Page Language Identification Based on URLs.” Proceedings of the VLDB Endowment, vol. 1, no. 1, Association for Computing Machinery, 2008, pp. 176–87, doi:10.14778/1453856.1453880.
View
| DOI
2008 |
Published |
Book Review |
IST-REx-ID: 2674
Fukazawa, Yugo, et al. “ Ultrastructural Insights of Postsynaptic Glutamate Receptor Organization .” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme, vol. 53, no. 4 Suppl, Kyoritsu Shuppan, 2008, pp. 436–41.
View
2008 |
Published |
Journal Article |
IST-REx-ID: 2675
Endo, Toshiaki, et al. “Dendritic Ih Ensures High-Fidelity Dendritic Spike Responses of Motion-Sensitive Neurons in Rat Superior Colliculus.” Journal of Neurophysiology, vol. 99, no. 5, American Physiological Society, 2008, pp. 2066–76, doi:10.1152/jn.00556.2007.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2676
Kawakami, Ryosuke, et al. “Right Isomerism of the Brain in Inversus Viscerum Mutant Mice.” PLoS One, vol. 3, no. 4, Public Library of Science, 2008, doi:10.1371/journal.pone.0001945.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2677
Varga, Viktor, et al. “The Presence of Pacemaker HCN Channels Identifies Theta Rhythmic GABAergic Neurons in the Medial Septum.” Journal of Physiology, vol. 586, no. 16, Wiley-Blackwell, 2008, pp. 3893–915, doi:10.1113/jphysiol.2008.155242.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2678
Li, Xinbo, et al. “Connexin45-Containing Neuronal Gap Junctions in Rodent Retina Also Contain Connexin36 in Both Apposing Hemiplaques, Forming Bihomotypic Gap Junctions, with Scaffolding Contributed by Zonula Occludens-1.” Journal of Neuroscience, vol. 28, no. 39, Society for Neuroscience, 2008, pp. 9769–89, doi:10.1523/JNEUROSCI.2137-08.2008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2679
Antal, Miklós, et al. “Numbers, Densities, and Colocalization of AMPA- and NMDA-Type Glutamate Receptors at Individual Synapses in the Superficial Spinal Dorsal Horn of Rats.” Journal of Neuroscience, vol. 28, no. 39, Society for Neuroscience, 2008, pp. 9692–701, doi:10.1523/JNEUROSCI.1551-08.2008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2681
Shinohara, Yoshiaki, et al. “Left-Right Asymmetry of the Hippocampal Synapses with Differential Subunit Allocation of Glutamate Receptors.” PNAS, vol. 105, no. 49, National Academy of Sciences, 2008, pp. 19498–503, doi:10.1073/pnas.0807461105.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 2702 |
Erdös, László, et al. Feynman Graphs and Renormalization in Quantum Diffusion. World Scientific Publishing, 2008, pp. 167–82, doi:10.1142/9789812833556_0011.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2753
Erdös, László, et al. “Quantum Diffusion of the Random Schrödinger Evolution in the Scaling Limit.” Acta Mathematica, vol. 200, no. 2, Springer, 2008, pp. 211–77, doi:10.1007/s11511-008-0027-2.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2754
Adami, Riccardo, and László Erdös. “Rate of Decoherence for an Electron Weakly Coupled to a Phonon Gas.” Journal of Statistical Physics, vol. 132, no. 2, Springer, 2008, pp. 301–28, doi:10.1007/s10955-008-9561-8.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2755
Erdös, László, et al. “Ground-State Energy of a Low-Density Bose Gas: A Second-Order Upper Bound.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 78, no. 5, American Physical Society, 2008, doi:10.1103/PhysRevA.78.053627.
View
| DOI