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.

2079 Publications


2018 | Published | Book | IST-REx-ID: 3300
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 1st ed. Cham: Springer Nature, 2018.
View | DOI
 

2018 | Published | Book Chapter | IST-REx-ID: 37 | OA
M. P. Zagórski and A. Kicheva, “Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube,” in Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63.
[Submitted Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 398
P. Dodier et al., “Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device,” World Neurosurgery, vol. 13. Elsevier, pp. e568–e578, 2018.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 407
K. Kubiasová et al., “Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins,” Phytochemistry, vol. 150. Elsevier, pp. 1–11, 2018.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 425 | OA
J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Embeddability in the 3-Sphere is decidable,” Journal of the ACM, vol. 65, no. 1. ACM, 2018.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 433 | OA
R. Fulek and J. Pach, “Thrackles: An improved upper bound,” presented at the GD: Graph Drawing and Network Visualization, Boston, MA, United States, 2018, vol. 10692, pp. 160–166.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 17575 | OA
B. McKernan et al., “Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO,” The Astrophysical Journal, vol. 866, no. 1. American Astronomical Society, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 17640 | OA
K. Inayoshi, K. Ichikawa, and Z. Haiman, “Gravitational waves from supermassive black hole binaries in ultraluminous infrared galaxies,” The Astrophysical Journal Letters, vol. 863, no. 2. American Astronomical Society, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 17679 | OA
K. Inayoshi, J. P. Ostriker, Z. Haiman, and R. Kuiper, “Low-density, radiatively inefficient rotating-accretion flow on to a black hole,” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 1. Oxford University Press, pp. 1412–1426, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 17687 | OA
K. Inayoshi, M. Li, and Z. Haiman, “Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories,” Monthly Notices of the Royal Astronomical Society, vol. 479, no. 3. Oxford University Press, pp. 4017–4027, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Conference Paper | IST-REx-ID: 18282
Q. Qiu, J. Lezama, A. M. Bronstein, and G. Sapiro, “ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks,” in European Conference on Computer Vision, Munich, Germany, 2018, vol. 11206, no. Part II.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18283
O. Senouf et al., “High frame-rate cardiac ultrasound imaging with deep learning,” in International Conference on Medical Image Computing and Computer Assisted Intervention, Granada, Spain, 2018, vol. 11070, no. Part 1, pp. 126–134.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18284
S. Vedula et al., “High quality ultrasonic multi-line transmission through deep learning,” in First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, 2018, vol. 11074, pp. 147–155.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18285
H. Haim, S. Elmalem, R. Giryes, A. M. Bronstein, and E. Marom, “Deep learned phase mask for single image depth estimation and 3D scanning,” in Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, pcAOP), Orlando, FL, United States, 2018, vol. Part F99-COSI 2018.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 183
E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems - Computation and Control, Porto, Portugal, 2018, pp. 197–206.
View | DOI | WoS
 

earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 184 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 41:1-41:16.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 76 | OA
C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 77 | OA
H. Watzinger et al., “A germanium hole spin qubit,” Nature Communications, vol. 9, no. 3902. Nature Publishing Group, 2018.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 7715
L. Yengo et al., “Imprint of assortative mating on the human genome,” Nature Human Behaviour, vol. 2, no. 12. Springer Nature, pp. 948–954, 2018.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 78 | OA
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.
[Submitted Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed