---
_id: '3300'
abstract:
- lang: eng
text: "This book first explores the origins of this idea, grounded in theoretical
work on temporal logic and automata. The editors and authors are among the world's
leading researchers in this domain, and they contributed 32 chapters representing
a thorough view of the development and application of the technique. Topics covered
include binary decision diagrams, symbolic model checking, satisfiability modulo
theories, partial-order reduction, abstraction, interpolation, concurrency, security
protocols, games, probabilistic model checking, and process algebra, and chapters
on the transfer of theory to industrial practice, property specification languages
for hardware, and verification of real-time systems and hybrid systems.\r\n\r\nThe
book will be valuable for researchers and graduate students engaged with the development
of formal methods and verification tools."
article_processing_charge: No
author:
- first_name: Edmund M.
full_name: Clarke, Edmund M.
last_name: Clarke
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Helmut
full_name: Veith, Helmut
last_name: Veith
- first_name: Roderick
full_name: Bloem, Roderick
last_name: Bloem
citation:
ama: 'Clarke EM, Henzinger TA, Veith H, Bloem R. Handbook of Model Checking.
1st ed. Cham: Springer Nature; 2018. doi:10.1007/978-3-319-10575-8'
apa: 'Clarke, E. M., Henzinger, T. A., Veith, H., & Bloem, R. (2018). Handbook
of Model Checking (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-10575-8'
chicago: 'Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem.
Handbook of Model Checking. 1st ed. Cham: Springer Nature, 2018. https://doi.org/10.1007/978-3-319-10575-8.'
ieee: 'E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model
Checking, 1st ed. Cham: Springer Nature, 2018.'
ista: 'Clarke EM, Henzinger TA, Veith H, Bloem R. 2018. Handbook of Model Checking
1st ed., Cham: Springer Nature, XLVIII, 1212p.'
mla: Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer
Nature, 2018, doi:10.1007/978-3-319-10575-8.
short: E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking,
1st ed., Springer Nature, Cham, 2018.
date_created: 2018-12-11T12:02:32Z
date_published: 2018-06-08T00:00:00Z
date_updated: 2021-12-21T10:49:36Z
day: '08'
department:
- _id: ToHe
doi: 10.1007/978-3-319-10575-8
edition: '1'
language:
- iso: eng
month: '06'
oa_version: None
page: XLVIII, 1212
place: Cham
publication_identifier:
eisbn:
- 978-3-319-10575-8
isbn:
- 978-3-319-10574-1
publication_status: published
publisher: Springer Nature
publist_id: '3340'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Handbook of Model Checking
type: book
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
_id: '37'
abstract:
- lang: eng
text: Developmental processes are inherently dynamic and understanding them requires
quantitative measurements of gene and protein expression levels in space and time.
While live imaging is a powerful approach for obtaining such data, it is still
a challenge to apply it over long periods of time to large tissues, such as the
embryonic spinal cord in mouse and chick. Nevertheless, dynamics of gene expression
and signaling activity patterns in this organ can be studied by collecting tissue
sections at different developmental stages. In combination with immunohistochemistry,
this allows for measuring the levels of multiple developmental regulators in a
quantitative manner with high spatiotemporal resolution. The mean protein expression
levels over time, as well as embryo-to-embryo variability can be analyzed. A key
aspect of the approach is the ability to compare protein levels across different
samples. This requires a number of considerations in sample preparation, imaging
and data analysis. Here we present a protocol for obtaining time course data of
dorsoventral expression patterns from mouse and chick neural tube in the first
3 days of neural tube development. The described workflow starts from embryo dissection
and ends with a processed dataset. Software scripts for data analysis are included.
The protocol is adaptable and instructions that allow the user to modify different
steps are provided. Thus, the procedure can be altered for analysis of time-lapse
images and applied to systems other than the neural tube.
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
author:
- first_name: Marcin P
full_name: Zagórski, Marcin P
id: 343DA0DC-F248-11E8-B48F-1D18A9856A87
last_name: Zagórski
orcid: 0000-0001-7896-7762
- first_name: Anna
full_name: Kicheva, Anna
id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
last_name: Kicheva
orcid: 0000-0003-4509-4998
citation:
ama: 'Zagórski MP, Kicheva A. Measuring dorsoventral pattern and morphogen signaling
profiles in the growing neural tube. In: Morphogen Gradients . Vol 1863.
MIMB. Springer Nature; 2018:47-63. doi:10.1007/978-1-4939-8772-6_4'
apa: Zagórski, M. P., & Kicheva, A. (2018). Measuring dorsoventral pattern and
morphogen signaling profiles in the growing neural tube. In Morphogen Gradients
(Vol. 1863, pp. 47–63). Springer Nature. https://doi.org/10.1007/978-1-4939-8772-6_4
chicago: Zagórski, Marcin P, and Anna Kicheva. “Measuring Dorsoventral Pattern and
Morphogen Signaling Profiles in the Growing Neural Tube.” In Morphogen Gradients
, 1863:47–63. MIMB. Springer Nature, 2018. https://doi.org/10.1007/978-1-4939-8772-6_4.
ieee: 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.
ista: 'Zagórski MP, Kicheva A. 2018.Measuring dorsoventral pattern and morphogen
signaling profiles in the growing neural tube. In: Morphogen Gradients . Methods
in Molecular Biology, vol. 1863, 47–63.'
mla: 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.
short: M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018,
pp. 47–63.
date_created: 2018-12-11T11:44:17Z
date_published: 2018-10-16T00:00:00Z
date_updated: 2025-04-14T07:27:29Z
day: '16'
ddc:
- '570'
department:
- _id: AnKi
doi: 10.1007/978-1-4939-8772-6_4
ec_funded: 1
file:
- access_level: open_access
checksum: 2a97d0649fdcfcf1bdca7c8ad1dce71b
content_type: application/pdf
creator: dernst
date_created: 2020-10-13T14:20:37Z
date_updated: 2020-10-13T14:20:37Z
file_id: '8656'
file_name: 2018_MIMB_Zagorski.pdf
file_size: 4906815
relation: main_file
success: 1
file_date_updated: 2020-10-13T14:20:37Z
has_accepted_license: '1'
intvolume: ' 1863'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 47 - 63
project:
- _id: B6FC0238-B512-11E9-945C-1524E6697425
call_identifier: H2020
grant_number: '680037'
name: Coordination of Patterning And Growth In the Spinal Cord
publication: 'Morphogen Gradients '
publication_identifier:
isbn:
- 978-1-4939-8771-9
issn:
- 1064-3745
publication_status: published
publisher: Springer Nature
publist_id: '8018'
quality_controlled: '1'
scopus_import: '1'
series_title: MIMB
status: public
title: Measuring dorsoventral pattern and morphogen signaling profiles in the growing
neural tube
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1863
year: '2018'
...
---
_id: '398'
abstract:
- lang: eng
text: 'Objective: To report long-term results after Pipeline Embolization Device
(PED) implantation, characterize complex and standard aneurysms comprehensively,
and introduce a modified flow disruption scale. Methods: We retrospectively reviewed
a consecutive series of 40 patients harboring 59 aneurysms treated with 54 PEDs.
Aneurysm complexity was assessed using our proposed classification. Immediate
angiographic results were analyzed using previously published grading scales and
our novel flow disruption scale. Results: According to our new definition, 46
(78%) aneurysms were classified as complex. Most PED interventions were performed
in the paraophthalmic and cavernous internal carotid artery segments. Excellent
neurologic outcome (modified Rankin Scale 0 and 1) was observed in 94% of patients.
Our data showed low permanent procedure-related mortality (0%) and morbidity (3%)
rates. Long-term angiographic follow-up showed complete occlusion in 81% and near-total
obliteration in a further 14%. Complete obliteration after deployment of a single
PED was achieved in all standard aneurysms with 1-year follow-up. Our new scale
was an independent predictor of aneurysm occlusion in a multivariable analysis.
All aneurysms with a high flow disruption grade showed complete occlusion at follow-up
regardless of PED number or aneurysm complexity. Conclusions: Treatment with the
PED should be recognized as a primary management strategy for a highly selected
cohort with predominantly complex intracranial aneurysms. We further show that
a priori assessment of aneurysm complexity and our new postinterventional angiographic
flow disruption scale predict occlusion probability and may help to determine
the adequate number of per-aneurysm devices.'
article_processing_charge: No
author:
- first_name: Philippe
full_name: Dodier, Philippe
last_name: Dodier
- first_name: Josa
full_name: Frischer, Josa
last_name: Frischer
- first_name: Wei
full_name: Wang, Wei
last_name: Wang
- first_name: Thomas
full_name: Auzinger, Thomas
id: 4718F954-F248-11E8-B48F-1D18A9856A87
last_name: Auzinger
orcid: 0000-0002-1546-3265
- first_name: Ammar
full_name: Mallouhi, Ammar
last_name: Mallouhi
- first_name: Wolfgang
full_name: Serles, Wolfgang
last_name: Serles
- first_name: Andreas
full_name: Gruber, Andreas
last_name: Gruber
- first_name: Engelbert
full_name: Knosp, Engelbert
last_name: Knosp
- first_name: Gerhard
full_name: Bavinzski, Gerhard
last_name: Bavinzski
citation:
ama: Dodier P, Frischer J, Wang W, et al. Immediate flow disruption as a prognostic
factor after flow diverter treatment long term experience with the pipeline embolization
device. World Neurosurgery. 2018;13:e568-e578. doi:10.1016/j.wneu.2018.02.096
apa: Dodier, P., Frischer, J., Wang, W., Auzinger, T., Mallouhi, A., Serles, W.,
… Bavinzski, G. (2018). Immediate flow disruption as a prognostic factor after
flow diverter treatment long term experience with the pipeline embolization device.
World Neurosurgery. Elsevier. https://doi.org/10.1016/j.wneu.2018.02.096
chicago: Dodier, Philippe, Josa Frischer, Wei Wang, Thomas Auzinger, Ammar Mallouhi,
Wolfgang Serles, Andreas Gruber, Engelbert Knosp, and Gerhard Bavinzski. “Immediate
Flow Disruption as a Prognostic Factor after Flow Diverter Treatment Long Term
Experience with the Pipeline Embolization Device.” World Neurosurgery.
Elsevier, 2018. https://doi.org/10.1016/j.wneu.2018.02.096.
ieee: 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.
ista: Dodier P, Frischer J, Wang W, Auzinger T, Mallouhi A, Serles W, Gruber A,
Knosp E, Bavinzski G. 2018. Immediate flow disruption as a prognostic factor after
flow diverter treatment long term experience with the pipeline embolization device.
World Neurosurgery. 13, e568–e578.
mla: 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.
short: P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A.
Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
date_created: 2018-12-11T11:46:15Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-09-11T14:12:33Z
day: '01'
department:
- _id: BeBi
doi: 10.1016/j.wneu.2018.02.096
external_id:
isi:
- '000432942700070'
intvolume: ' 13'
isi: 1
language:
- iso: eng
month: '05'
oa_version: None
page: e568-e578
publication: World Neurosurgery
publication_status: published
publisher: Elsevier
publist_id: '7431'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Immediate flow disruption as a prognostic factor after flow diverter treatment
long term experience with the pipeline embolization device
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13
year: '2018'
...
---
_id: '407'
abstract:
- lang: eng
text: Isoprenoid cytokinins play a number of crucial roles in the regulation of
plant growth and development. To study cytokinin receptor properties in plants,
we designed and prepared fluorescent derivatives of 6-[(3-methylbut-2-en-1-yl)amino]purine
(N6-isopentenyladenine, iP) with several fluorescent labels attached to the C2
or N9 atom of the purine moiety via a 2- or 6-carbon linker. The fluorescent labels
included dansyl (DS), fluorescein (FC), 7-nitrobenzofurazan (NBD), rhodamine B
(RhoB), coumarin (Cou), 7-(diethylamino)coumarin (DEAC) and cyanine 5 dye (Cy5).
All prepared compounds were screened for affinity for the Arabidopsis thaliana
cytokinin receptor (CRE1/AHK4). Although the attachment of the fluorescent labels
to iP via the linkers mostly disrupted binding to the receptor, several fluorescent
derivatives interacted well. For this reason, three derivatives, two rhodamine
B and one 4-chloro-7-nitrobenzofurazan labeled iP were tested for their interaction
with CRE1/AHK4 and Zea mays cytokinin receptors in detail. We further showed that
the three derivatives were able to activate transcription of cytokinin response
regulator ARR5 in Arabidopsis seedlings. The activity of fluorescently labeled
cytokinins was compared with corresponding 6-dimethylaminopurine fluorescently
labeled negative controls. Selected rhodamine B C2-labeled compounds 17, 18 and
4-chloro-7-nitrobenzofurazan N9-labeled compound 28 and their respective negative
controls (19, 20 and 29, respectively) were used for in planta staining experiments
in Arabidopsis thaliana cell suspension culture using live cell confocal microscopy.
acknowledgement: "This work was supported by the Ministry of Education Youth and Sports,
Czech Republic (grant LO1204 from the National Program of Sustainability I and Agricultural
Research ) and by Czech Science Foundation grants 16-04184S , 501/10/1450 and 13-39982S
and by IGA projects IGA_PrF_2018_033 and IGA_PrF_2018_023 . We would like to thank
Jarmila Balonová, Olga Hustáková and Miroslava Šubová for their skillful technical
assistance and Mgr. Tomáš Pospíšil, Ph.D. for his measurement of 1 H NMR and analysis
of some 2D NMR spectral data. \r\n"
article_processing_charge: No
author:
- first_name: Karolina
full_name: Kubiasová, Karolina
last_name: Kubiasová
- first_name: Václav
full_name: Mik, Václav
last_name: Mik
- first_name: Jaroslav
full_name: Nisler, Jaroslav
last_name: Nisler
- first_name: Martin
full_name: Hönig, Martin
last_name: Hönig
- first_name: Alexandra
full_name: Husičková, Alexandra
last_name: Husičková
- first_name: Lukáš
full_name: Spíchal, Lukáš
last_name: Spíchal
- first_name: Zuzana
full_name: Pěkná, Zuzana
last_name: Pěkná
- first_name: Olga
full_name: Šamajová, Olga
last_name: Šamajová
- first_name: Karel
full_name: Doležal, Karel
last_name: Doležal
- first_name: Ondřej
full_name: Plíhal, Ondřej
last_name: Plíhal
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Miroslav
full_name: Strnad, Miroslav
last_name: Strnad
- first_name: Lucie
full_name: Plíhalová, Lucie
last_name: Plíhalová
citation:
ama: Kubiasová K, Mik V, Nisler J, et al. Design, synthesis and perception of fluorescently
labeled isoprenoid cytokinins. Phytochemistry. 2018;150:1-11. doi:10.1016/j.phytochem.2018.02.015
apa: Kubiasová, K., Mik, V., Nisler, J., Hönig, M., Husičková, A., Spíchal, L.,
… Plíhalová, L. (2018). Design, synthesis and perception of fluorescently labeled
isoprenoid cytokinins. Phytochemistry. Elsevier. https://doi.org/10.1016/j.phytochem.2018.02.015
chicago: Kubiasová, Karolina, Václav Mik, Jaroslav Nisler, Martin Hönig, Alexandra
Husičková, Lukáš Spíchal, Zuzana Pěkná, et al. “Design, Synthesis and Perception
of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry. Elsevier,
2018. https://doi.org/10.1016/j.phytochem.2018.02.015.
ieee: K. Kubiasová et al., “Design, synthesis and perception of fluorescently
labeled isoprenoid cytokinins,” Phytochemistry, vol. 150. Elsevier, pp.
1–11, 2018.
ista: Kubiasová K, Mik V, Nisler J, Hönig M, Husičková A, Spíchal L, Pěkná Z, Šamajová
O, Doležal K, Plíhal O, Benková E, Strnad M, Plíhalová L. 2018. Design, synthesis
and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry.
150, 1–11.
mla: 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.
short: K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná,
O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry
150 (2018) 1–11.
date_created: 2018-12-11T11:46:18Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-11T12:53:11Z
day: '01'
department:
- _id: EvBe
doi: 10.1016/j.phytochem.2018.02.015
external_id:
isi:
- '000435623400001'
intvolume: ' 150'
isi: 1
language:
- iso: eng
month: '06'
oa_version: None
page: 1-11
publication: Phytochemistry
publication_status: published
publisher: Elsevier
publist_id: '7422'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 150
year: '2018'
...
---
_id: '425'
abstract:
- lang: eng
text: 'We show that the following algorithmic problem is decidable: given a 2-dimensional
simplicial complex, can it be embedded (topologically, or equivalently, piecewise
linearly) in R3? By a known reduction, it suffices to decide the embeddability
of a given triangulated 3-manifold X into the 3-sphere S3. The main step, which
allows us to simplify X and recurse, is in proving that if X can be embedded in
S3, then there is also an embedding in which X has a short meridian, that is,
an essential curve in the boundary of X bounding a disk in S3 \ X with length
bounded by a computable function of the number of tetrahedra of X.'
article_number: '5'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jiří
full_name: Matoušek, Jiří
last_name: Matoušek
- first_name: Eric
full_name: Sedgwick, Eric
last_name: Sedgwick
- first_name: Martin
full_name: Tancer, Martin
id: 38AC689C-F248-11E8-B48F-1D18A9856A87
last_name: Tancer
orcid: 0000-0002-1191-6714
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
citation:
ama: Matoušek J, Sedgwick E, Tancer M, Wagner U. Embeddability in the 3-Sphere is
decidable. Journal of the ACM. 2018;65(1). doi:10.1145/3078632
apa: Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2018). Embeddability
in the 3-Sphere is decidable. Journal of the ACM. ACM. https://doi.org/10.1145/3078632
chicago: Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Embeddability
in the 3-Sphere Is Decidable.” Journal of the ACM. ACM, 2018. https://doi.org/10.1145/3078632.
ieee: 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.
ista: Matoušek J, Sedgwick E, Tancer M, Wagner U. 2018. Embeddability in the 3-Sphere
is decidable. Journal of the ACM. 65(1), 5.
mla: 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.
short: J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
date_created: 2018-12-11T11:46:24Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2025-06-11T07:59:02Z
day: '01'
department:
- _id: UlWa
doi: 10.1145/3078632
ec_funded: 1
external_id:
arxiv:
- '1402.0815'
isi:
- '000425685900006'
intvolume: ' 65'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1402.0815
month: '01'
oa: 1
oa_version: Preprint
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Journal of the ACM
publication_status: published
publisher: ACM
publist_id: '7398'
quality_controlled: '1'
related_material:
record:
- id: '2157'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Embeddability in the 3-Sphere is decidable
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 65
year: '2018'
...
---
_id: '433'
abstract:
- lang: eng
text: 'A thrackle is a graph drawn in the plane so that every pair of its edges
meet exactly once: either at a common end vertex or in a proper crossing. We prove
that any thrackle of n vertices has at most 1.3984n edges. Quasi-thrackles are
defined similarly, except that every pair of edges that do not share a vertex
are allowed to cross an odd number of times. It is also shown that the maximum
number of edges of a quasi-thrackle on n vertices is 3/2(n-1), and that this bound
is best possible for infinitely many values of n.'
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Radoslav
full_name: Fulek, Radoslav
id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
last_name: Fulek
orcid: 0000-0001-8485-1774
- first_name: János
full_name: Pach, János
last_name: Pach
citation:
ama: 'Fulek R, Pach J. Thrackles: An improved upper bound. In: Vol 10692. Springer;
2018:160-166. doi:10.1007/978-3-319-73915-1_14'
apa: 'Fulek, R., & Pach, J. (2018). Thrackles: An improved upper bound (Vol.
10692, pp. 160–166). Presented at the GD: Graph Drawing and Network Visualization,
Boston, MA, United States: Springer. https://doi.org/10.1007/978-3-319-73915-1_14'
chicago: 'Fulek, Radoslav, and János Pach. “Thrackles: An Improved Upper Bound,”
10692:160–66. Springer, 2018. https://doi.org/10.1007/978-3-319-73915-1_14.'
ieee: '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.'
ista: 'Fulek R, Pach J. 2018. Thrackles: An improved upper bound. GD: Graph Drawing
and Network Visualization, LNCS, vol. 10692, 160–166.'
mla: '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.'
short: R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
conference:
end_date: 2017-09-27
location: Boston, MA, United States
name: 'GD: Graph Drawing and Network Visualization'
start_date: 201-09-25
corr_author: '1'
date_created: 2018-12-11T11:46:27Z
date_published: 2018-01-21T00:00:00Z
date_updated: 2026-04-16T09:48:11Z
day: '21'
department:
- _id: UlWa
doi: 10.1007/978-3-319-73915-1_14
external_id:
arxiv:
- '1708.08037'
intvolume: ' 10692'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1708.08037
month: '01'
oa: 1
oa_version: Submitted Version
page: 160 - 166
publication_status: published
publisher: Springer
publist_id: '7390'
quality_controlled: '1'
related_material:
record:
- id: '5857'
relation: later_version
status: public
scopus_import: '1'
status: public
title: 'Thrackles: An improved upper bound'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10692
year: '2018'
...
---
_id: '17575'
abstract:
- lang: eng
text: Black hole (BH) mergers detectable with the Laser Interferometer Gravitational-wave
Observatory (LIGO) can occur in active galactic nucleus (AGN) disks. Here we parameterize
the merger rates, the mass spectrum, and the spin spectrum of BHs in AGN disks.
The predicted merger rate spans ∼10−3–104 Gpc−1 yr−1, so upper limits from LIGO
(<212 Gpc−1 yr−1) already constrain it. The predicted mass spectrum has the form
of a broken power law, consisting of a pre-existing BH power-law mass spectrum
and a harder power-law mass spectrum resulting from mergers. The predicted spin
spectrum is multipeaked with the evolution of retrograde spin BHs in the gas disk
playing a key role. We outline the large uncertainties in each of these LIGO observables
for this channel and we discuss ways in which they can be constrained in the future.
article_number: '66'
article_processing_charge: No
article_type: original
author:
- first_name: Barry
full_name: McKernan, Barry
last_name: McKernan
- first_name: K. E.
full_name: Saavik Ford, K. E.
last_name: Saavik Ford
- first_name: J.
full_name: Bellovary, J.
last_name: Bellovary
- first_name: N. W. C.
full_name: Leigh, N. W. C.
last_name: Leigh
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: B.
full_name: Kocsis, B.
last_name: Kocsis
- first_name: W.
full_name: Lyra, W.
last_name: Lyra
- first_name: M.-M.
full_name: Mac Low, M.-M.
last_name: Mac Low
- first_name: B.
full_name: Metzger, B.
last_name: Metzger
- first_name: M.
full_name: O’Dowd, M.
last_name: O’Dowd
- first_name: S.
full_name: Endlich, S.
last_name: Endlich
- first_name: D. J.
full_name: Rosen, D. J.
last_name: Rosen
citation:
ama: McKernan B, Saavik Ford KE, Bellovary J, et al. Constraining stellar-mass black
hole mergers in AGN disks detectable with LIGO. The Astrophysical Journal.
2018;866(1). doi:10.3847/1538-4357/aadae5
apa: McKernan, B., Saavik Ford, K. E., Bellovary, J., Leigh, N. W. C., Haiman, Z.,
Kocsis, B., … Rosen, D. J. (2018). Constraining stellar-mass black hole mergers
in AGN disks detectable with LIGO. The Astrophysical Journal. American
Astronomical Society. https://doi.org/10.3847/1538-4357/aadae5
chicago: McKernan, Barry, K. E. Saavik Ford, J. Bellovary, N. W. C. Leigh, Zoltán
Haiman, B. Kocsis, W. Lyra, et al. “Constraining Stellar-Mass Black Hole Mergers
in AGN Disks Detectable with LIGO.” The Astrophysical Journal. American
Astronomical Society, 2018. https://doi.org/10.3847/1538-4357/aadae5.
ieee: 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.
ista: McKernan B, Saavik Ford KE, Bellovary J, Leigh NWC, Haiman Z, Kocsis B, Lyra
W, Mac Low M-M, Metzger B, O’Dowd M, Endlich S, Rosen DJ. 2018. Constraining stellar-mass
black hole mergers in AGN disks detectable with LIGO. The Astrophysical Journal.
866(1), 66.
mla: 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.
short: B. McKernan, K.E. Saavik Ford, J. Bellovary, N.W.C. Leigh, Z. Haiman, B.
Kocsis, W. Lyra, M.-M. Mac Low, B. Metzger, M. O’Dowd, S. Endlich, D.J. Rosen,
The Astrophysical Journal 866 (2018).
date_created: 2024-09-05T12:18:19Z
date_published: 2018-10-15T00:00:00Z
date_updated: 2024-09-19T07:49:42Z
day: '15'
doi: 10.3847/1538-4357/aadae5
extern: '1'
intvolume: ' 866'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/aadae5
month: '10'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
issn:
- 0004-637X
- 1538-4357
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 866
year: '2018'
...
---
_id: '17640'
abstract:
- lang: eng
text: Gravitational waves (GWs) in the nano-hertz band are great tools for understanding
the cosmological evolution of supermassive black holes (SMBHs) in galactic nuclei.
We consider SMBH binaries in high-z ultra-luminous infrared galaxies (ULIRGs)
as sources of a stochastic GW background (GWB). ULIRGs are likely associated with
gas-rich galaxy mergers containing SMBHs that possibly occur at most once in the
life of galaxies, unlike multiple dry mergers at low redshift. Adopting a well-established
sample of ULIRGs, we study the properties of the GWB due to coalescing binary
SMBHs in these galaxies. Since the ULIRG population peaks at z>1.5, the amplitude
of the GWB is not affected even if BH mergers are delayed by as long as ∼ 10 Gyrs.
Despite the rarity of the high-z ULIRGs, we find a tension with the upper limits
from Pulsar Timing Array (PTA) experiments. This result suggests that if a fraction
fm,gal of ULIRGs are associated with SMBH binaries, then no more than 20fm,gal(λEdd/0.3)5/3(tlife/30
Myr) % of the binary SMBHs in ULIRGs can merge within a Hubble time, for plausible
values of the Eddington ratio of ULIRGs (λEdd) and their lifetime (tlife).
article_number: L36
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Kohei
full_name: Inayoshi, Kohei
last_name: Inayoshi
- first_name: Kohei
full_name: Ichikawa, Kohei
last_name: Ichikawa
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: Inayoshi K, Ichikawa K, Haiman Z. Gravitational waves from supermassive black
hole binaries in ultraluminous infrared galaxies. The Astrophysical Journal
Letters. 2018;863(2). doi:10.3847/2041-8213/aad8ad
apa: Inayoshi, K., Ichikawa, K., & Haiman, Z. (2018). Gravitational waves from
supermassive black hole binaries in ultraluminous infrared galaxies. The Astrophysical
Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/aad8ad
chicago: Inayoshi, Kohei, Kohei Ichikawa, and Zoltán Haiman. “Gravitational Waves
from Supermassive Black Hole Binaries in Ultraluminous Infrared Galaxies.” The
Astrophysical Journal Letters. American Astronomical Society, 2018. https://doi.org/10.3847/2041-8213/aad8ad.
ieee: 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.
ista: Inayoshi K, Ichikawa K, Haiman Z. 2018. Gravitational waves from supermassive
black hole binaries in ultraluminous infrared galaxies. The Astrophysical Journal
Letters. 863(2), L36.
mla: 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.
short: K. Inayoshi, K. Ichikawa, Z. Haiman, The Astrophysical Journal Letters 863
(2018).
date_created: 2024-09-06T07:18:03Z
date_published: 2018-08-20T00:00:00Z
date_updated: 2024-09-24T11:47:28Z
day: '20'
doi: 10.3847/2041-8213/aad8ad
extern: '1'
external_id:
arxiv:
- '1805.05334'
intvolume: ' 863'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1805.05334
month: '08'
oa: 1
oa_version: Preprint
publication: The Astrophysical Journal Letters
publication_identifier:
issn:
- 2041-8205
- 2041-8213
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Gravitational waves from supermassive black hole binaries in ultraluminous
infrared galaxies
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 863
year: '2018'
...
---
_id: '17679'
abstract:
- lang: eng
text: We study low-density axisymmetric accretion flows onto black holes (BHs) with
two-dimensional hydrodynamical simulations, adopting the α-viscosity prescription.
When the gas angular momentum is low enough to form a rotationally supported disk
within the Bondi radius (RB), we find a global steady accretion solution. The
solution consists of a rotational equilibrium distribution at r∼RB, where the
density follows ρ∝(1+RB/r)^3/2, surrounding a geometrically thick and optically
thin accretion disk at the centrifugal radius, where thermal energy generated
by viscosity is transported via strong convection. Physical properties of the
inner solution agree with those expected in convection-dominated accretion flows
(CDAF; ρ∝r^−1/2). In the inner CDAF solution, the gas inflow rate decreases towards
the center due to convection (M˙∝r), and the net accretion rate (including both
inflows and outflows) is strongly suppressed by several orders of magnitude from
the Bondi accretion rate M˙B The net accretion rate depends on the viscous strength,
following M˙/M˙B∝(α/0.01)^0.6. This solution holds for low accretion rates of
M˙B/M˙Edd<10^−3 having minimal radiation cooling, where M˙Edd is the Eddington
rate. In a hot plasma at the bottom (r<10^−3 RB), thermal conduction would dominate
the convective energy flux. Since suppression of the accretion by convection ceases,
the final BH feeding rate is found to be M˙/M˙B∼10^−3−10^−2. This rate is as low
as M˙/M˙Edd∼10^−7−10^−6 inferred for SgrA∗ and the nuclear BHs in M31 and M87,
and can explain the low luminosities in these sources, without invoking any feedback
mechanism.
article_processing_charge: No
article_type: original
author:
- first_name: Kohei
full_name: Inayoshi, Kohei
last_name: Inayoshi
- first_name: Jeremiah P
full_name: Ostriker, Jeremiah P
last_name: Ostriker
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Rolf
full_name: Kuiper, Rolf
last_name: Kuiper
citation:
ama: Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. Low-density, radiatively inefficient
rotating-accretion flow on to a black hole. Monthly Notices of the Royal Astronomical
Society. 2018;476(1):1412-1426. doi:10.1093/mnras/sty276
apa: Inayoshi, K., Ostriker, J. P., Haiman, Z., & Kuiper, R. (2018). Low-density,
radiatively inefficient rotating-accretion flow on to a black hole. Monthly
Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty276
chicago: Inayoshi, Kohei, Jeremiah P Ostriker, Zoltán Haiman, and Rolf Kuiper. “Low-Density,
Radiatively Inefficient Rotating-Accretion Flow on to a Black Hole.” Monthly
Notices of the Royal Astronomical Society. Oxford University Press, 2018.
https://doi.org/10.1093/mnras/sty276.
ieee: 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.
ista: Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. 2018. Low-density, radiatively
inefficient rotating-accretion flow on to a black hole. Monthly Notices of the
Royal Astronomical Society. 476(1), 1412–1426.
mla: 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.
short: K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the
Royal Astronomical Society 476 (2018) 1412–1426.
date_created: 2024-09-06T08:05:18Z
date_published: 2018-02-01T00:00:00Z
date_updated: 2024-09-25T08:57:35Z
day: '01'
doi: 10.1093/mnras/sty276
extern: '1'
intvolume: ' 476'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/sty276
month: '02'
oa: 1
oa_version: Published Version
page: 1412-1426
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Low-density, radiatively inefficient rotating-accretion flow on to a black
hole
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 476
year: '2018'
...
---
_id: '17687'
abstract:
- lang: eng
text: We propose the formation of massive pristine dark-matter (DM) halos with masses
of ∼10^8 M⊙, due to the dynamical effects of frequent mergers in rare regions
of the Universe with high baryonic streaming velocity relative to DM. Since the
streaming motion prevents gas collapse into DM halos and delays prior star formation
episodes, the gas remains metal-free until the halo virial temperatures ≳2×10^4
K. The minimum cooling mass of DM halos is boosted by a factor of ∼10−30 because
frequent major mergers of halos further inhibit gas collapse. We use Monte Carlo
merger trees to simulate the DM assembly history under a streaming velocity of
twice the root-mean-square value, and estimate the number density of massive DM
halos containing pristine gas as ≃10^−4 cMpc^−3. When the gas infall begins, efficient
Lyα cooling drives cold streams penetrating inside the halo and feeding a central
galactic disk. When one stream collides with the disk, strong shock forms a dense
and hot gas cloud, where the gas never forms H2 molecules due to effective collisional
dissociation. As a result, a massive gas cloud forms by gravitational instability
and collapses directly into a massive black hole (BH) with M∙∼10^5 M⊙. Almost
simultaneously, a galaxy with M⋆,tot∼10^6 M⊙ composed of Population III stars
forms in the nuclear region. If the typical stellar mass is as high as ∼100 M⊙,
the galaxy could be detected with the James Webb Space Telescope even at z≳15.
These massive seed BHs would be fed by continuous gas accretion from the host
galaxy, and grow to be bright quasars observed at z≳6.
article_processing_charge: No
article_type: original
author:
- first_name: Kohei
full_name: Inayoshi, Kohei
last_name: Inayoshi
- first_name: Miao
full_name: Li, Miao
last_name: Li
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: Inayoshi K, Li M, Haiman Z. Massive black hole and Population III galaxy formation
in overmassive dark-matter haloes with violent merger histories. Monthly Notices
of the Royal Astronomical Society. 2018;479(3):4017-4027. doi:10.1093/mnras/sty1720
apa: Inayoshi, K., Li, M., & Haiman, Z. (2018). Massive black hole and Population
III galaxy formation in overmassive dark-matter haloes with violent merger histories.
Monthly Notices of the Royal Astronomical Society. Oxford University Press.
https://doi.org/10.1093/mnras/sty1720
chicago: Inayoshi, Kohei, Miao Li, and Zoltán 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. Oxford University Press,
2018. https://doi.org/10.1093/mnras/sty1720.
ieee: 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.
ista: Inayoshi K, Li M, Haiman Z. 2018. Massive black hole and Population III galaxy
formation in overmassive dark-matter haloes with violent merger histories. Monthly
Notices of the Royal Astronomical Society. 479(3), 4017–4027.
mla: 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.
short: K. Inayoshi, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical
Society 479 (2018) 4017–4027.
date_created: 2024-09-06T08:22:23Z
date_published: 2018-06-30T00:00:00Z
date_updated: 2024-09-25T09:46:30Z
day: '30'
doi: 10.1093/mnras/sty1720
extern: '1'
intvolume: ' 479'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/sty1720
month: '06'
oa: 1
oa_version: Published Version
page: 4017-4027
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Massive black hole and Population III galaxy formation in overmassive dark-matter
haloes with violent merger histories
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 479
year: '2018'
...
---
_id: '18282'
abstract:
- lang: eng
text: In this paper, we introduce a random forest semantic hashing scheme that embeds
tiny convolutional neural networks (CNN) into shallow random forests. A binary
hash code for a data point is obtained by a set of decision trees, setting ‘1’
for the visited tree leaf, and ‘0’ for the rest. We propose to first randomly
group arriving classes at each tree split node into two groups, obtaining a significantly
simplified two-class classification problem that can be a handled with a light-weight
CNN weak learner. Code uniqueness is achieved via the random class grouping, whilst
code consistency is achieved using a low-rank loss in the CNN weak learners that
encourages intra-class compactness for the two random class groups. Finally, we
introduce an information-theoretic approach for aggregating codes of individual
trees into a single hash code, producing a near-optimal unique hash for each class.
The proposed approach significantly outperforms state-of-the-art hashing methods
for image retrieval tasks on large-scale public datasets, and is comparable to
image classification methods while utilizing a more compact, efficient and scalable
representation. This work proposes a principled and robust procedure to train
and deploy in parallel an ensemble of light-weight CNNs, instead of simply going
deeper.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Qiang
full_name: Qiu, Qiang
last_name: Qiu
- first_name: José
full_name: Lezama, José
last_name: Lezama
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Guillermo
full_name: Sapiro, Guillermo
last_name: Sapiro
citation:
ama: 'Qiu Q, Lezama J, Bronstein AM, Sapiro G. ForestHash: Semantic hashing with
shallow random forests and tiny convolutional networks. In: European Conference
on Computer Vision. Vol 11206. Springer Nature; 2018. doi:10.1007/978-3-030-01216-8_27'
apa: 'Qiu, Q., Lezama, J., Bronstein, A. M., & Sapiro, G. (2018). ForestHash:
Semantic hashing with shallow random forests and tiny convolutional networks.
In European Conference on Computer Vision (Vol. 11206). Munich, Germany:
Springer Nature. https://doi.org/10.1007/978-3-030-01216-8_27'
chicago: 'Qiu, Qiang, José Lezama, Alex M. Bronstein, and Guillermo Sapiro. “ForestHash:
Semantic Hashing with Shallow Random Forests and Tiny Convolutional Networks.”
In European Conference on Computer Vision, Vol. 11206. Springer Nature,
2018. https://doi.org/10.1007/978-3-030-01216-8_27.'
ieee: '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.'
ista: 'Qiu Q, Lezama J, Bronstein AM, Sapiro G. 2018. ForestHash: Semantic hashing
with shallow random forests and tiny convolutional networks. European Conference
on Computer Vision. ECCV: European Conference on Computer Vision, LNCS, vol. 11206.'
mla: '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.'
short: Q. Qiu, J. Lezama, A.M. Bronstein, G. Sapiro, in:, European Conference on
Computer Vision, Springer Nature, 2018.
conference:
end_date: 2018-09-14
location: Munich, Germany
name: 'ECCV: European Conference on Computer Vision'
start_date: 2018-09-08
date_created: 2024-10-09T07:47:30Z
date_published: 2018-10-09T00:00:00Z
date_updated: 2025-01-23T13:25:18Z
day: '09'
doi: 10.1007/978-3-030-01216-8_27
extern: '1'
intvolume: ' 11206'
issue: Part II
language:
- iso: eng
month: '10'
oa_version: None
publication: European Conference on Computer Vision
publication_identifier:
eisbn:
- '9783030012168'
eissn:
- 1611-3349
isbn:
- '9783030012151'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'ForestHash: Semantic hashing with shallow random forests and tiny convolutional
networks'
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 11206
year: '2018'
...
---
_id: '18283'
abstract:
- lang: eng
text: Cardiac ultrasound imaging requires a high frame rate in order to capture
rapid motion. This can be achieved by multi-line acquisition (MLA), where several
narrow-focused received lines are obtained from each wide-focused transmitted
line. This shortens the acquisition time at the expense of introducing block artifacts.
In this paper, we propose a data-driven learning-based approach to improve the
MLA image quality. We train an end-to-end convolutional neural network on pairs
of real ultrasound cardiac data, acquired through MLA and the corresponding single-line
acquisition (SLA). The network achieves a significant improvement in image quality
for both 5- and 7-line MLA resulting in a decorrelation measure similar to that
of SLA while having the frame rate of MLA.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ortal
full_name: Senouf, Ortal
last_name: Senouf
- first_name: Sanketh
full_name: Vedula, Sanketh
last_name: Vedula
- first_name: Grigoriy
full_name: Zurakhov, Grigoriy
last_name: Zurakhov
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Michael
full_name: Zibulevsky, Michael
last_name: Zibulevsky
- first_name: Oleg
full_name: Michailovich, Oleg
last_name: Michailovich
- first_name: Dan
full_name: Adam, Dan
last_name: Adam
- first_name: David
full_name: Blondheim, David
last_name: Blondheim
citation:
ama: 'Senouf O, Vedula S, Zurakhov G, et al. High frame-rate cardiac ultrasound
imaging with deep learning. In: International Conference on Medical Image Computing
and Computer Assisted Intervention. Vol 11070. Springer Nature; 2018:126-134.
doi:10.1007/978-3-030-00928-1_15'
apa: 'Senouf, O., Vedula, S., Zurakhov, G., Bronstein, A. M., Zibulevsky, M., Michailovich,
O., … Blondheim, D. (2018). High frame-rate cardiac ultrasound imaging with deep
learning. In International Conference on Medical Image Computing and Computer
Assisted Intervention (Vol. 11070, pp. 126–134). Granada, Spain: Springer
Nature. https://doi.org/10.1007/978-3-030-00928-1_15'
chicago: Senouf, Ortal, Sanketh Vedula, Grigoriy Zurakhov, Alex M. Bronstein, Michael
Zibulevsky, Oleg Michailovich, Dan Adam, and David Blondheim. “High Frame-Rate
Cardiac Ultrasound Imaging with Deep Learning.” In International Conference
on Medical Image Computing and Computer Assisted Intervention, 11070:126–34.
Springer Nature, 2018. https://doi.org/10.1007/978-3-030-00928-1_15.
ieee: 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.
ista: 'Senouf O, Vedula S, Zurakhov G, Bronstein AM, Zibulevsky M, Michailovich
O, Adam D, Blondheim D. 2018. High frame-rate cardiac ultrasound imaging with
deep learning. International Conference on Medical Image Computing and Computer
Assisted Intervention. MICCAI: Medical Image Computing and Computer Assisted Intervention,
LNCS, vol. 11070, 126–134.'
mla: 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.
short: O. Senouf, S. Vedula, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich,
D. Adam, D. Blondheim, in:, International Conference on Medical Image Computing
and Computer Assisted Intervention, Springer Nature, 2018, pp. 126–134.
conference:
end_date: 2018-09-20
location: Granada, Spain
name: 'MICCAI: Medical Image Computing and Computer Assisted Intervention'
start_date: 2018-09-16
date_created: 2024-10-09T07:47:49Z
date_published: 2018-09-14T00:00:00Z
date_updated: 2025-01-23T13:13:01Z
day: '14'
doi: 10.1007/978-3-030-00928-1_15
extern: '1'
intvolume: ' 11070'
issue: Part 1
language:
- iso: eng
month: '09'
oa_version: None
page: 126 - 134
publication: International Conference on Medical Image Computing and Computer Assisted
Intervention
publication_identifier:
eisbn:
- '9783030009281'
eissn:
- 1611-3349
isbn:
- '9783030009274'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: High frame-rate cardiac ultrasound imaging with deep learning
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 11070
year: '2018'
...
---
_id: '18284'
abstract:
- lang: eng
text: Frame rate is a crucial consideration in cardiac ultrasound imaging and 3D
sonography. Several methods have been proposed in the medical ultrasound literature
aiming at accelerating the image acquisition. In this paper, we consider one such
method called multi-line transmission (MLT), in which several evenly separated
focused beams are transmitted simultaneously. While MLT reduces the acquisition
time, it comes at the expense of a heavy loss of contrast due to the interactions
between the beams (cross-talk artifact). In this paper, we introduce a data-driven
method to reduce the artifacts arising in MLT. To this end, we propose to train
an end-to-end convolutional neural network consisting of correction layers followed
by a constant apodization layer. The network is trained on pairs of raw data obtained
through MLT and the corresponding single-line transmission (SLT) data. Experimental
evaluation demonstrates significant improvement both in the visual image quality
and in objective measures such as contrast ratio and contrast-to-noise ratio,
while preserving resolution unlike traditional apodization-based methods. We show
that the proposed method is able to generalize well across different patients
and anatomies on real and phantom data.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sanketh
full_name: Vedula, Sanketh
last_name: Vedula
- first_name: Ortal
full_name: Senouf, Ortal
last_name: Senouf
- first_name: Grigoriy
full_name: Zurakhov, Grigoriy
last_name: Zurakhov
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Michael
full_name: Zibulevsky, Michael
last_name: Zibulevsky
- first_name: Oleg
full_name: Michailovich, Oleg
last_name: Michailovich
- first_name: Dan
full_name: Adam, Dan
last_name: Adam
- first_name: Diana
full_name: Gaitini, Diana
last_name: Gaitini
citation:
ama: 'Vedula S, Senouf O, Zurakhov G, et al. High quality ultrasonic multi-line
transmission through deep learning. In: First International Workshop, MLMIR
2018, Held in Conjunction with MICCAI 2018. Vol 11074. Springer Nature; 2018:147-155.
doi:10.1007/978-3-030-00129-2_17'
apa: 'Vedula, S., Senouf, O., Zurakhov, G., Bronstein, A. M., Zibulevsky, M., Michailovich,
O., … Gaitini, D. (2018). High quality ultrasonic multi-line transmission through
deep learning. In First International Workshop, MLMIR 2018, Held in Conjunction
with MICCAI 2018 (Vol. 11074, pp. 147–155). Granada, Spain: Springer Nature.
https://doi.org/10.1007/978-3-030-00129-2_17'
chicago: Vedula, Sanketh, Ortal Senouf, Grigoriy Zurakhov, Alex M. Bronstein, Michael
Zibulevsky, Oleg Michailovich, Dan Adam, and Diana Gaitini. “High Quality Ultrasonic
Multi-Line Transmission through Deep Learning.” In First International Workshop,
MLMIR 2018, Held in Conjunction with MICCAI 2018, 11074:147–55. Springer Nature,
2018. https://doi.org/10.1007/978-3-030-00129-2_17.
ieee: 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.
ista: 'Vedula S, Senouf O, Zurakhov G, Bronstein AM, Zibulevsky M, Michailovich
O, Adam D, Gaitini D. 2018. High quality ultrasonic multi-line transmission through
deep learning. First International Workshop, MLMIR 2018, Held in Conjunction with
MICCAI 2018. MLMIR: Workshop on Machine Learning for Medical Image Reconstruction,
LNCS, vol. 11074, 147–155.'
mla: 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.
short: S. Vedula, O. Senouf, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich,
D. Adam, D. Gaitini, in:, First International Workshop, MLMIR 2018, Held in Conjunction
with MICCAI 2018, Springer Nature, 2018, pp. 147–155.
conference:
end_date: 2018-09-16
location: Granada, Spain
name: 'MLMIR: Workshop on Machine Learning for Medical Image Reconstruction'
start_date: 2018-09-16
date_created: 2024-10-09T07:48:06Z
date_published: 2018-09-12T00:00:00Z
date_updated: 2025-01-23T12:53:22Z
day: '12'
doi: 10.1007/978-3-030-00129-2_17
extern: '1'
intvolume: ' 11074'
language:
- iso: eng
month: '09'
oa_version: None
page: 147 - 155
publication: First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI
2018
publication_identifier:
eisbn:
- '9783030001292'
eissn:
- 1611-3349
isbn:
- '9783030001285'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: High quality ultrasonic multi-line transmission through deep learning
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 11074
year: '2018'
...
---
_id: '18285'
abstract:
- lang: eng
text: Single image depth estimation is achieved using computational imaging and
Deep Learning (DL). Imaging with phase-mask is also modeled as a DL-layer, and
the mask and DL parameters are jointly designed using labeled data.
article_number: CW3B.3
article_processing_charge: No
author:
- first_name: Harel
full_name: Haim, Harel
last_name: Haim
- first_name: Shay
full_name: Elmalem, Shay
last_name: Elmalem
- first_name: Raja
full_name: Giryes, Raja
last_name: Giryes
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
- first_name: Emanuel
full_name: Marom, Emanuel
last_name: Marom
citation:
ama: 'Haim H, Elmalem S, Giryes R, Bronstein AM, Marom E. 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). Vol
Part F99-COSI 2018. OSA; 2018. doi:10.1364/cosi.2018.cw3b.3'
apa: 'Haim, H., Elmalem, S., Giryes, R., Bronstein, A. M., & Marom, E. (2018).
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) (Vol. Part F99-COSI 2018). Orlando, FL, United States: OSA. https://doi.org/10.1364/cosi.2018.cw3b.3'
chicago: Haim, Harel, Shay Elmalem, Raja Giryes, Alex M. Bronstein, and Emanuel
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), Vol. Part F99-COSI 2018. OSA, 2018. https://doi.org/10.1364/cosi.2018.cw3b.3.
ieee: 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.
ista: 'Haim H, Elmalem S, Giryes R, Bronstein AM, Marom E. 2018. 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). COSI: Computational
Optical Sensing and Imaging vol. Part F99-COSI 2018, CW3B.3.'
mla: 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.
short: H. Haim, S. Elmalem, R. Giryes, A.M. Bronstein, E. Marom, in:, Imaging and
Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, PcAOP),
OSA, 2018.
conference:
end_date: 2018-06-28
location: Orlando, FL, United States
name: 'COSI: Computational Optical Sensing and Imaging'
start_date: 2018-06-25
date_created: 2024-10-09T07:48:24Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2025-01-23T12:42:46Z
day: '01'
doi: 10.1364/cosi.2018.cw3b.3
extern: '1'
language:
- iso: eng
month: '06'
oa_version: None
publication: Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C,
MATH, pcAOP)
publication_identifier:
isbn:
- '9781943580446'
publication_status: published
publisher: OSA
quality_controlled: '1'
scopus_import: '1'
status: public
title: Deep learned phase mask for single image depth estimation and 3D scanning
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: Part F99-COSI 2018
year: '2018'
...
---
_id: '183'
abstract:
- lang: eng
text: 'Fault-localization is considered to be a very tedious and time-consuming
activity in the design of complex Cyber-Physical Systems (CPS). This laborious
task essentially requires expert knowledge of the system in order to discover
the cause of the fault. In this context, we propose a new procedure that AIDS
designers in debugging Simulink/Stateflow hybrid system models, guided by Signal
Temporal Logic (STL) specifications. The proposed method relies on three main
ingredients: (1) a monitoring and a trace diagnostics procedure that checks whether
a tested behavior satisfies or violates an STL specification, localizes time segments
and interfaces variables contributing to the property violations; (2) a slicing
procedure that maps these observable behavior segments to the internal states
and transitions of the Simulink model; and (3) a spectrum-based fault-localization
method that combines the previous analysis from multiple tests to identify the
internal states and/or transitions that are the most likely to explain the fault.
We demonstrate the applicability of our approach on two Simulink models from the
automotive and the avionics domain.'
acknowledgement: This work was partially supported by the Austrian Science Fund (FWF)
under grants S11402-N23 and S11405-N23 (RiSE/SHiNE), the CPS/IoT project (HRSM),
the EU ICT COST Action IC1402 on Run-time Verification beyond Monitoring (ARVI),
the AMASS project (ECSEL 692474), and the ENABLE-S3 project (ECSEL 692455). The
CPS/IoT project receives support from the Austrian government through the Federal
Ministry of Science, Research and Economy (BMWFW) in the funding program Hochschulraum-Strukturmittel
(HRSM) 2016. The ECSEL Joint Undertaking receives support from the European Union’s
Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland,
Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands,
United Kingdom, Slovakia, Norway.
alternative_title:
- HSCC Proceedings
article_processing_charge: No
author:
- first_name: Ezio
full_name: Bartocci, Ezio
last_name: Bartocci
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Niveditha
full_name: Manjunath, Niveditha
last_name: Manjunath
- first_name: Dejan
full_name: Nickovic, Dejan
last_name: Nickovic
citation:
ama: 'Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow
models with STL. In: Association for Computing Machinery; 2018:197-206. doi:10.1145/3178126.3178131'
apa: 'Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing
faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC:
Hybrid Systems - Computation and Control, Porto, Portugal: Association for Computing
Machinery. https://doi.org/10.1145/3178126.3178131'
chicago: Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic.
“Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association
for Computing Machinery, 2018. https://doi.org/10.1145/3178126.3178131.
ieee: '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.'
ista: 'Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in
simulink/stateflow models with STL. HSCC: Hybrid Systems - Computation and Control,
HSCC Proceedings, , 197–206.'
mla: 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.
short: E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for
Computing Machinery, 2018, pp. 197–206.
conference:
end_date: 2018-04-13
location: Porto, Portugal
name: 'HSCC: Hybrid Systems - Computation and Control'
start_date: 2018-04-11
date_created: 2018-12-11T11:45:04Z
date_published: 2018-04-11T00:00:00Z
date_updated: 2025-07-10T11:51:22Z
day: '11'
department:
- _id: ToHe
doi: 10.1145/3178126.3178131
external_id:
isi:
- '000474781600022'
isi: 1
language:
- iso: eng
month: '04'
oa_version: None
page: 197 - 206
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Association for Computing Machinery
publist_id: '7738'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Localizing faults in simulink/stateflow models with STL
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '184'
abstract:
- lang: eng
text: We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial
complex is shellable is NP-hard, hence NP-complete. This resolves a question raised,
e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d
≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable
is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible
pure d-dimensional complexes.
acknowledgement: 'Partially supported by the project EMBEDS II (CZ: 7AMB17FR029, FR:
38087RM) of Czech-French collaboration.'
alternative_title:
- Leibniz International Proceedings in Information, LIPIcs
author:
- first_name: Xavier
full_name: Goaoc, Xavier
last_name: Goaoc
- first_name: Pavel
full_name: Paták, Pavel
last_name: Paták
- first_name: Zuzana
full_name: Patakova, Zuzana
id: 48B57058-F248-11E8-B48F-1D18A9856A87
last_name: Patakova
orcid: 0000-0002-3975-1683
- first_name: Martin
full_name: Tancer, Martin
id: 38AC689C-F248-11E8-B48F-1D18A9856A87
last_name: Tancer
orcid: 0000-0002-1191-6714
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
citation:
ama: 'Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete.
In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:41:1-41:16.
doi:10.4230/LIPIcs.SoCG.2018.41'
apa: 'Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2018). Shellability
is NP-complete (Vol. 99, p. 41:1-41:16). Presented at the SoCG: Symposium on Computational
Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.SoCG.2018.41'
chicago: Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner.
“Shellability Is NP-Complete,” 99:41:1-41:16. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.41.
ieee: '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.'
ista: 'Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2018. Shellability is NP-complete.
SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in
Information, LIPIcs, vol. 99, 41:1-41:16.'
mla: 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.
short: X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
conference:
end_date: 2018-06-14
location: Budapest, Hungary
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2018-06-11
date_created: 2018-12-11T11:45:04Z
date_published: 2018-06-11T00:00:00Z
date_updated: 2025-06-04T07:49:02Z
day: '11'
ddc:
- '516'
- '000'
department:
- _id: UlWa
doi: 10.4230/LIPIcs.SoCG.2018.41
file:
- access_level: open_access
checksum: d12bdd60f04a57307867704b5f930afd
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:35:02Z
date_updated: 2020-07-14T12:45:18Z
file_id: '5725'
file_name: 2018_LIPIcs_Goaoc.pdf
file_size: 718414
relation: main_file
file_date_updated: 2020-07-14T12:45:18Z
has_accepted_license: '1'
intvolume: ' 99'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 41:1 - 41:16
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7736'
quality_controlled: '1'
related_material:
record:
- id: '7108'
relation: later_version
status: public
scopus_import: 1
status: public
title: Shellability is NP-complete
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 99
year: '2018'
...
---
_id: '76'
abstract:
- lang: eng
text: 'Consider a fully-connected synchronous distributed system consisting of n
nodes, where up to f nodes may be faulty and every node starts in an arbitrary
initial state. In the synchronous C-counting problem, all nodes need to eventually
agree on a counter that is increased by one modulo C in each round for given C>1.
In the self-stabilising firing squad problem, the task is to eventually guarantee
that all non-faulty nodes have simultaneous responses to external inputs: if a
subset of the correct nodes receive an external “go” signal as input, then all
correct nodes should agree on a round (in the not-too-distant future) in which
to jointly output a “fire” signal. Moreover, no node should generate a “fire”
signal without some correct node having previously received a “go” signal as input.
We present a framework reducing both tasks to binary consensus at very small cost.
For example, we obtain a deterministic algorithm for self-stabilising Byzantine
firing squads with optimal resilience f<n/3, asymptotically optimal stabilisation
and response time O(f), and message size O(log f). As our framework does not restrict
the type of consensus routines used, we also obtain efficient randomised solutions.'
article_processing_charge: Yes (via OA deal)
author:
- first_name: Christoph
full_name: Lenzen, Christoph
last_name: Lenzen
- first_name: Joel
full_name: Rybicki, Joel
id: 334EFD2E-F248-11E8-B48F-1D18A9856A87
last_name: Rybicki
orcid: 0000-0002-6432-6646
citation:
ama: Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads.
Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
apa: Lenzen, C., & Rybicki, J. (2018). Near-optimal self-stabilising counting
and firing squads. Distributed Computing. Springer. https://doi.org/10.1007/s00446-018-0342-6
chicago: Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting
and Firing Squads.” Distributed Computing. Springer, 2018. https://doi.org/10.1007/s00446-018-0342-6.
ieee: C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing
squads,” Distributed Computing. Springer, 2018.
ista: Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing
squads. Distributed Computing.
mla: Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting
and Firing Squads.” Distributed Computing, Springer, 2018, doi:10.1007/s00446-018-0342-6.
short: C. Lenzen, J. Rybicki, Distributed Computing (2018).
corr_author: '1'
date_created: 2018-12-11T11:44:30Z
date_published: 2018-09-12T00:00:00Z
date_updated: 2025-04-15T06:53:15Z
day: '12'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1007/s00446-018-0342-6
external_id:
isi:
- '000475627800005'
file:
- access_level: open_access
checksum: 872db70bba9b401500abe3c6ae2f1a61
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T14:21:22Z
date_updated: 2020-07-14T12:48:01Z
file_id: '5711'
file_name: 2018_DistributedComputing_Lenzen.pdf
file_size: 799337
relation: main_file
file_date_updated: 2020-07-14T12:48:01Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Distributed Computing
publication_status: published
publisher: Springer
publist_id: '7978'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Near-optimal self-stabilising counting and firing squads
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '77'
abstract:
- lang: eng
text: Holes confined in quantum dots have gained considerable interest in the past
few years due to their potential as spin qubits. Here we demonstrate two-axis
control of a spin 3/2 qubit in natural Ge. The qubit is formed in a hut wire double
quantum dot device. The Pauli spin blockade principle allowed us to demonstrate
electric dipole spin resonance by applying a radio frequency electric field to
one of the electrodes defining the double quantum dot. Coherent hole spin oscillations
with Rabi frequencies reaching 140 MHz are demonstrated and dephasing times of
130 ns are measured. The reported results emphasize the potential of Ge as a platform
for fast and electrically tunable hole spin qubit devices.
acknowledged_ssus:
- _id: M-Shop
- _id: NanoFab
article_processing_charge: Yes
article_type: original
author:
- first_name: Hannes
full_name: Watzinger, Hannes
id: 35DF8E50-F248-11E8-B48F-1D18A9856A87
last_name: Watzinger
- first_name: Josip
full_name: Kukucka, Josip
id: 3F5D8856-F248-11E8-B48F-1D18A9856A87
last_name: Kukucka
- first_name: Lada
full_name: Vukusic, Lada
id: 31E9F056-F248-11E8-B48F-1D18A9856A87
last_name: Vukusic
orcid: 0000-0003-2424-8636
- first_name: Fei
full_name: Gao, Fei
last_name: Gao
- first_name: Ting
full_name: Wang, Ting
last_name: Wang
- first_name: Friedrich
full_name: Schäffler, Friedrich
last_name: Schäffler
- first_name: Jian
full_name: Zhang, Jian
last_name: Zhang
- first_name: Georgios
full_name: Katsaros, Georgios
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
orcid: 0000-0001-8342-202X
citation:
ama: Watzinger H, Kukucka J, Vukušić L, et al. A germanium hole spin qubit. Nature
Communications. 2018;9(3902). doi:10.1038/s41467-018-06418-4
apa: Watzinger, H., Kukucka, J., Vukušić, L., Gao, F., Wang, T., Schäffler, F.,
… Katsaros, G. (2018). A germanium hole spin qubit. Nature Communications.
Nature Publishing Group. https://doi.org/10.1038/s41467-018-06418-4
chicago: Watzinger, Hannes, Josip Kukucka, Lada Vukušić, Fei Gao, Ting Wang, Friedrich
Schäffler, Jian Zhang, and Georgios Katsaros. “A Germanium Hole Spin Qubit.” Nature
Communications. Nature Publishing Group, 2018. https://doi.org/10.1038/s41467-018-06418-4.
ieee: H. Watzinger et al., “A germanium hole spin qubit,” Nature Communications,
vol. 9, no. 3902. Nature Publishing Group, 2018.
ista: Watzinger H, Kukucka J, Vukušić L, Gao F, Wang T, Schäffler F, Zhang J, Katsaros
G. 2018. A germanium hole spin qubit. Nature Communications. 9(3902).
mla: 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.
short: H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang,
G. Katsaros, Nature Communications 9 (2018).
date_created: 2018-12-11T11:44:30Z
date_published: 2018-09-25T00:00:00Z
date_updated: 2026-04-08T07:27:13Z
day: '25'
ddc:
- '530'
department:
- _id: GeKa
doi: 10.1038/s41467-018-06418-4
ec_funded: 1
external_id:
isi:
- '000445560800010'
file:
- access_level: open_access
checksum: e7148c10a64497e279c4de570b6cc544
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T10:28:30Z
date_updated: 2020-07-14T12:48:02Z
file_id: '5687'
file_name: 2018_NatureComm_Watzinger.pdf
file_size: 1063469
relation: main_file
file_date_updated: 2020-07-14T12:48:02Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '3902 '
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 25517E86-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '335497'
name: Towards Spin qubits and Majorana fermions in Germanium self assembled hut-wires
- _id: 2552F888-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Y00715
name: Loch Spin-Qubits und Majorana-Fermionen in Germanium
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
related_material:
record:
- id: '7977'
relation: popular_science
- id: '7996'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: A germanium hole spin qubit
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 9
year: '2018'
...
---
_id: '7715'
abstract:
- lang: eng
text: Preference for mates with similar phenotypes; that is, assortative mating,
is widely observed in humans1,2,3,4,5 and has evolutionary consequences6,7,8.
Under Fisher's classical theory6, assortative mating is predicted to induce a
signature in the genome at trait-associated loci that can be detected and quantified.
Here, we develop and apply a method to quantify assortative mating on a specific
trait by estimating the correlation (θ) between genetic predictors of the trait
from single nucleotide polymorphisms on odd- versus even-numbered chromosomes.
We show by theory and simulation that the effect of assortative mating can be
quantified in the presence of population stratification. We applied this approach
to 32 complex traits and diseases using single nucleotide polymorphism data from
~400,000 unrelated individuals of European ancestry. We found significant evidence
of assortative mating for height (θ = 3.2%) and educational attainment (θ = 2.7%),
both of which were consistent with theoretical predictions. Overall, our results
imply that assortative mating involves multiple traits and affects the genomic
architecture of loci that are associated with these traits, and that the consequence
of mate choice can be detected from a random sample of genomes.
article_processing_charge: No
article_type: original
author:
- first_name: Loic
full_name: Yengo, Loic
last_name: Yengo
- first_name: Matthew Richard
full_name: Robinson, Matthew Richard
id: E5D42276-F5DA-11E9-8E24-6303E6697425
last_name: Robinson
orcid: 0000-0001-8982-8813
- first_name: Matthew C.
full_name: Keller, Matthew C.
last_name: Keller
- first_name: Kathryn E.
full_name: Kemper, Kathryn E.
last_name: Kemper
- first_name: Yuanhao
full_name: Yang, Yuanhao
last_name: Yang
- first_name: Maciej
full_name: Trzaskowski, Maciej
last_name: Trzaskowski
- first_name: Jacob
full_name: Gratten, Jacob
last_name: Gratten
- first_name: Patrick
full_name: Turley, Patrick
last_name: Turley
- first_name: David
full_name: Cesarini, David
last_name: Cesarini
- first_name: Daniel J.
full_name: Benjamin, Daniel J.
last_name: Benjamin
- first_name: Naomi R.
full_name: Wray, Naomi R.
last_name: Wray
- first_name: Michael E.
full_name: Goddard, Michael E.
last_name: Goddard
- first_name: Jian
full_name: Yang, Jian
last_name: Yang
- first_name: Peter M.
full_name: Visscher, Peter M.
last_name: Visscher
citation:
ama: Yengo L, Robinson MR, Keller MC, et al. Imprint of assortative mating on the
human genome. Nature Human Behaviour. 2018;2(12):948-954. doi:10.1038/s41562-018-0476-3
apa: Yengo, L., Robinson, M. R., Keller, M. C., Kemper, K. E., Yang, Y., Trzaskowski,
M., … Visscher, P. M. (2018). Imprint of assortative mating on the human genome.
Nature Human Behaviour. Springer Nature. https://doi.org/10.1038/s41562-018-0476-3
chicago: Yengo, Loic, Matthew Richard Robinson, Matthew C. Keller, Kathryn E. Kemper,
Yuanhao Yang, Maciej Trzaskowski, Jacob Gratten, et al. “Imprint of Assortative
Mating on the Human Genome.” Nature Human Behaviour. Springer Nature, 2018.
https://doi.org/10.1038/s41562-018-0476-3.
ieee: 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.
ista: Yengo L, Robinson MR, Keller MC, Kemper KE, Yang Y, Trzaskowski M, Gratten
J, Turley P, Cesarini D, Benjamin DJ, Wray NR, Goddard ME, Yang J, Visscher PM.
2018. Imprint of assortative mating on the human genome. Nature Human Behaviour.
2(12), 948–954.
mla: 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.
short: L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski,
J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J.
Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
date_created: 2020-04-30T10:42:12Z
date_published: 2018-11-26T00:00:00Z
date_updated: 2021-01-12T08:15:03Z
day: '26'
doi: 10.1038/s41562-018-0476-3
extern: '1'
intvolume: ' 2'
issue: '12'
language:
- iso: eng
month: '11'
oa_version: None
page: 948-954
publication: Nature Human Behaviour
publication_identifier:
issn:
- 2397-3374
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Imprint of assortative mating on the human genome
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2018'
...
---
_id: '78'
abstract:
- lang: eng
text: We provide a procedure for detecting the sub-segments of an incrementally
observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern
specification language, we use timed regular expressions, a formalism well-suited
for expressing properties of concurrent asynchronous behaviors embedded in metric
time. We construct a timed automaton accepting the timed language denoted by ϕ
and modify it slightly for the purpose of matching. We then apply zone-based reachability
computation to this automaton while it reads ω, and retrieve all the matching
segments from the results. Since the procedure is automaton based, it can be applied
to patterns specified by other formalisms such as timed temporal logics reducible
to timed automata or directly encoded as timed automata. The procedure has been
implemented and its performance on synthetic examples is demonstrated.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Alexey
full_name: Bakhirkin, Alexey
last_name: Bakhirkin
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Dejan
full_name: Nickovic, Dejan
last_name: Nickovic
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Eugene
full_name: Asarin, Eugene
last_name: Asarin
citation:
ama: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern
matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:10.1007/978-3-030-00151-3_13'
apa: 'Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & Asarin, E. (2018).
Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented
at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China:
Springer. https://doi.org/10.1007/978-3-030-00151-3_13'
chicago: Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene
Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer,
2018. https://doi.org/10.1007/978-3-030-00151-3_13.
ieee: '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.'
ista: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed
pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed
Systems, LNCS, vol. 11022, 215–232.'
mla: 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.
short: A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer,
2018, pp. 215–232.
conference:
end_date: 2018-09-06
location: Bejing, China
name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-26T00:00:00Z
date_updated: 2025-04-15T06:26:03Z
day: '26'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-00151-3_13
external_id:
isi:
- '000884993200013'
file:
- access_level: open_access
checksum: 436b7574934324cfa7d1d3986fddc65b
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T11:34:34Z
date_updated: 2020-07-14T12:48:03Z
file_id: '7831'
file_name: 2018_LNCS_Bakhirkin.pdf
file_size: 374851
relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: ' 11022'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 215 - 232
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication_identifier:
isbn:
- 978-3-030-00150-6
publication_status: published
publisher: Springer
publist_id: '7976'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Online timed pattern matching using automata
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11022
year: '2018'
...