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
Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer Nature, 2018, doi:10.1007/978-3-319-10575-8.
View | DOI
 

2018 | Published | Book Chapter | IST-REx-ID: 37 | OA
Zagórski, Marcin P., and Anna Kicheva. “Measuring Dorsoventral Pattern and Morphogen Signaling Profiles in the Growing Neural Tube.” Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63, doi:10.1007/978-1-4939-8772-6_4.
[Submitted Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 398
Dodier, Philippe, 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, 2018, pp. e568–78, doi:10.1016/j.wneu.2018.02.096.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 407
Kubiasová, Karolina, et al. “Design, Synthesis and Perception of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry, vol. 150, Elsevier, 2018, pp. 1–11, doi:10.1016/j.phytochem.2018.02.015.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 425 | OA
Matoušek, Jiří, et al. “Embeddability in the 3-Sphere Is Decidable.” Journal of the ACM, vol. 65, no. 1, 5, ACM, 2018, doi:10.1145/3078632.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 433 | OA
Fulek, Radoslav, and János Pach. Thrackles: An Improved Upper Bound. Vol. 10692, Springer, 2018, pp. 160–66, doi:10.1007/978-3-319-73915-1_14.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 17575 | OA
McKernan, Barry, et al. “Constraining Stellar-Mass Black Hole Mergers in AGN Disks Detectable with LIGO.” The Astrophysical Journal, vol. 866, no. 1, 66, American Astronomical Society, 2018, doi:10.3847/1538-4357/aadae5.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 17640 | OA
Inayoshi, Kohei, et al. “Gravitational Waves from Supermassive Black Hole Binaries in Ultraluminous Infrared Galaxies.” The Astrophysical Journal Letters, vol. 863, no. 2, L36, American Astronomical Society, 2018, doi:10.3847/2041-8213/aad8ad.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 17679 | OA
Inayoshi, Kohei, et al. “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, 2018, pp. 1412–26, doi:10.1093/mnras/sty276.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 17687 | OA
Inayoshi, Kohei, et al. “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, 2018, pp. 4017–27, doi:10.1093/mnras/sty1720.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Conference Paper | IST-REx-ID: 18282
Qiu, Qiang, et al. “ForestHash: Semantic Hashing with Shallow Random Forests and Tiny Convolutional Networks.” European Conference on Computer Vision, vol. 11206, no. Part II, Springer Nature, 2018, doi:10.1007/978-3-030-01216-8_27.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18283
Senouf, Ortal, et al. “High Frame-Rate Cardiac Ultrasound Imaging with Deep Learning.” International Conference on Medical Image Computing and Computer Assisted Intervention, vol. 11070, no. Part 1, Springer Nature, 2018, pp. 126–34, doi:10.1007/978-3-030-00928-1_15.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18284
Vedula, Sanketh, et al. “High Quality Ultrasonic Multi-Line Transmission through Deep Learning.” First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, vol. 11074, Springer Nature, 2018, pp. 147–55, doi:10.1007/978-3-030-00129-2_17.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 18285
Haim, Harel, et al. “Deep Learned Phase Mask for Single Image Depth Estimation and 3D Scanning.” Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, PcAOP), vol. Part F99-COSI 2018, CW3B.3, OSA, 2018, doi:10.1364/cosi.2018.cw3b.3.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
View | DOI | WoS
 

earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 184 | OA
Goaoc, Xavier, et al. Shellability Is NP-Complete. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16, doi:10.4230/LIPIcs.SoCG.2018.41.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 76 | OA
Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing, Springer, 2018, doi:10.1007/s00446-018-0342-6.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 77 | OA
Watzinger, Hannes, et al. “A Germanium Hole Spin Qubit.” Nature Communications, vol. 9, no. 3902, Nature Publishing Group, 2018, doi:10.1038/s41467-018-06418-4.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 7715
Yengo, Loic, et al. “Imprint of Assortative Mating on the Human Genome.” Nature Human Behaviour, vol. 2, no. 12, Springer Nature, 2018, pp. 948–54, doi:10.1038/s41562-018-0476-3.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 78 | OA
Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata. Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.
[Submitted Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed