---
_id: '6493'
abstract:
- lang: eng
text: We present two algorithmic approaches for synthesizing linear hybrid automata
from experimental data. Unlike previous approaches, our algorithms work without
a template and generate an automaton with nondeterministic guards and invariants,
and with an arbitrary number and topology of modes. They thus construct a succinct
model from the data and provide formal guarantees. In particular, (1) the generated
automaton can reproduce the data up to a specified tolerance and (2) the automaton
is tight, given the first guarantee. Our first approach encodes the synthesis
problem as a logical formula in the theory of linear arithmetic, which can then
be solved by an SMT solver. This approach minimizes the number of modes in the
resulting model but is only feasible for limited data sets. To address scalability,
we propose a second approach that does not enforce to find a minimal model. The
algorithm constructs an initial automaton and then iteratively extends the automaton
based on processing new data. Therefore the algorithm is well-suited for online
and synthesis-in-the-loop applications. The core of the algorithm is a membership
query that checks whether, within the specified tolerance, a given data set can
result from the execution of a given automaton. We solve this membership problem
for linear hybrid automata by repeated reachability computations. We demonstrate
the effectiveness of the algorithm on synthetic data sets and on cardiac-cell
measurements.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Miriam
full_name: Garcia Soto, Miriam
id: 4B3207F6-F248-11E8-B48F-1D18A9856A87
last_name: Garcia Soto
orcid: 0000−0003−2936−5719
- 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: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
- first_name: Luka
full_name: Zeleznik, Luka
id: 3ADCA2E4-F248-11E8-B48F-1D18A9856A87
last_name: Zeleznik
citation:
ama: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis
of linear hybrid automata. In: 31st International Conference on Computer-Aided
Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16'
apa: 'Garcia Soto, M., Henzinger, T. A., Schilling, C., & Zeleznik, L. (2019).
Membership-based synthesis of linear hybrid automata. In 31st International
Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York
City, NY, USA: Springer. https://doi.org/10.1007/978-3-030-25540-4_16'
chicago: Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka
Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International
Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019.
https://doi.org/10.1007/978-3-030-25540-4_16.
ieee: M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based
synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided
Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
ista: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based
synthesis of linear hybrid automata. 31st International Conference on Computer-Aided
Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.'
mla: Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.”
31st International Conference on Computer-Aided Verification, vol. 11561,
Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
short: M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International
Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
conference:
end_date: 2019-07-18
location: New York City, NY, USA
name: 'CAV: Computer-Aided Verification'
start_date: 2019-07-15
corr_author: '1'
date_created: 2019-05-27T07:09:53Z
date_published: 2019-07-12T00:00:00Z
date_updated: 2025-04-15T06:26:13Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-25540-4_16
ec_funded: 1
external_id:
isi:
- '000491468000016'
file:
- access_level: open_access
checksum: 1f1d61b83a151031745ef70a501da3d6
content_type: application/pdf
creator: dernst
date_created: 2019-08-14T11:05:30Z
date_updated: 2020-07-14T12:47:32Z
file_id: '6817'
file_name: 2019_CAV_GarciaSoto.pdf
file_size: 674795
relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
intvolume: ' 11561'
isi: 1
keyword:
- Synthesis
- Linear hybrid automaton
- Membership
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 297-314
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _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: 31st International Conference on Computer-Aided Verification
publication_identifier:
isbn:
- '9783030255398'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Membership-based synthesis of linear hybrid automata
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11561
year: '2019'
...
---
_id: '65'
abstract:
- lang: eng
text: We provide an entropy formulation for porous medium-type equations with a
stochastic, non-linear, spatially inhomogeneous forcing. Well-posedness and L1-contraction
is obtained in the class of entropy solutions. Our scope allows for porous medium
operators Δ(|u|m−1u) for all m∈(1,∞), and Hölder continuous diffusion nonlinearity
with exponent 1/2.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Konstantinos
full_name: Dareiotis, Konstantinos
last_name: Dareiotis
- first_name: Mate
full_name: Gerencser, Mate
id: 44ECEDF2-F248-11E8-B48F-1D18A9856A87
last_name: Gerencser
- first_name: Benjamin
full_name: Gess, Benjamin
last_name: Gess
citation:
ama: Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media
equations. Journal of Differential Equations. 2019;266(6):3732-3763. doi:10.1016/j.jde.2018.09.012
apa: Dareiotis, K., Gerencser, M., & Gess, B. (2019). Entropy solutions for
stochastic porous media equations. Journal of Differential Equations. Elsevier.
https://doi.org/10.1016/j.jde.2018.09.012
chicago: Dareiotis, Konstantinos, Mate Gerencser, and Benjamin Gess. “Entropy Solutions
for Stochastic Porous Media Equations.” Journal of Differential Equations.
Elsevier, 2019. https://doi.org/10.1016/j.jde.2018.09.012.
ieee: K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic
porous media equations,” Journal of Differential Equations, vol. 266, no.
6. Elsevier, pp. 3732–3763, 2019.
ista: Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous
media equations. Journal of Differential Equations. 266(6), 3732–3763.
mla: Dareiotis, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media
Equations.” Journal of Differential Equations, vol. 266, no. 6, Elsevier,
2019, pp. 3732–63, doi:10.1016/j.jde.2018.09.012.
short: K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266
(2019) 3732–3763.
date_created: 2018-12-11T11:44:26Z
date_published: 2019-03-05T00:00:00Z
date_updated: 2025-04-22T13:48:09Z
day: '05'
department:
- _id: JaMa
doi: 10.1016/j.jde.2018.09.012
external_id:
arxiv:
- '1803.06953'
isi:
- '000456332500026'
intvolume: ' 266'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1803.06953
month: '03'
oa: 1
oa_version: Preprint
page: 3732-3763
publication: Journal of Differential Equations
publication_status: published
publisher: Elsevier
publist_id: '7989'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Entropy solutions for stochastic porous media equations
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 266
year: '2019'
...
---
_id: '6504'
abstract:
- lang: eng
text: "Root gravitropism is one of the most important processes allowing plant adaptation
to the land environment. Auxin plays a central role in mediating root gravitropism,
but how auxin contributes to gravitational perception and the subsequent response
is still unclear.\r\n\r\nHere, we showed that the local auxin maximum/gradient
within the root apex, which is generated by the PIN directional auxin transporters,
regulates the expression of three key starch granule synthesis genes, SS4, PGM
and ADG1, which in turn influence the accumulation of starch granules that serve
as a statolith perceiving gravity.\r\n\r\nMoreover, using the cvxIAA‐ccvTIR1 system,
we also showed that TIR1‐mediated auxin signaling is required for starch granule
formation and gravitropic response within root tips. In addition, axr3 mutants
showed reduced auxin‐mediated starch granule accumulation and disruption of gravitropism
within the root apex.\r\n\r\nOur results indicate that auxin‐mediated statolith
production relies on the TIR1/AFB‐AXR3‐mediated auxin signaling pathway. In summary,
we propose a dual role for auxin in gravitropism: the regulation of both gravity
perception and response."
article_processing_charge: No
article_type: original
author:
- first_name: Yuzhou
full_name: Zhang, Yuzhou
id: 3B6137F2-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
orcid: 0000-0003-2627-6956
- first_name: P
full_name: He, P
last_name: He
- first_name: X
full_name: Ma, X
last_name: Ma
- first_name: Z
full_name: Yang, Z
last_name: Yang
- first_name: C
full_name: Pang, C
last_name: Pang
- first_name: J
full_name: Yu, J
last_name: Yu
- first_name: G
full_name: Wang, G
last_name: Wang
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: G
full_name: Xiao, G
last_name: Xiao
citation:
ama: Zhang Y, He P, Ma X, et al. Auxin-mediated statolith production for root gravitropism.
New Phytologist. 2019;224(2):761-774. doi:10.1111/nph.15932
apa: Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated
statolith production for root gravitropism. New Phytologist. Wiley. https://doi.org/10.1111/nph.15932
chicago: Zhang, Yuzhou, P He, X Ma, Z Yang, C Pang, J Yu, G Wang, Jiří Friml, and
G Xiao. “Auxin-Mediated Statolith Production for Root Gravitropism.” New Phytologist.
Wiley, 2019. https://doi.org/10.1111/nph.15932.
ieee: Y. Zhang et al., “Auxin-mediated statolith production for root gravitropism,”
New Phytologist, vol. 224, no. 2. Wiley, pp. 761–774, 2019.
ista: Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019.
Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2),
761–774.
mla: Zhang, Yuzhou, et al. “Auxin-Mediated Statolith Production for Root Gravitropism.”
New Phytologist, vol. 224, no. 2, Wiley, 2019, pp. 761–74, doi:10.1111/nph.15932.
short: Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao,
New Phytologist 224 (2019) 761–774.
date_created: 2019-05-28T14:33:26Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2023-08-28T08:40:13Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1111/nph.15932
external_id:
isi:
- '000487184200024'
pmid:
- '31111487'
file:
- access_level: open_access
checksum: 6488243334538f5c39099a701cbf76b9
content_type: application/pdf
creator: dernst
date_created: 2020-10-14T08:59:33Z
date_updated: 2020-10-14T08:59:33Z
file_id: '8661'
file_name: 2019_NewPhytologist_Zhang_accepted.pdf
file_size: 1099061
relation: main_file
success: 1
file_date_updated: 2020-10-14T08:59:33Z
has_accepted_license: '1'
intvolume: ' 224'
isi: 1
issue: '2'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 761-774
pmid: 1
publication: New Phytologist
publication_identifier:
eissn:
- 1469-8137
issn:
- 0028-646x
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin-mediated statolith production for root gravitropism
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 224
year: '2019'
...
---
_id: '6506'
abstract:
- lang: eng
text: How does environmental complexity affect the evolution of single genes? Here,
we measured the effects of a set of Bacillus subtilis glutamate dehydrogenase
mutants across 19 different environments—from phenotypically homogeneous single-cell
populations in liquid media to heterogeneous biofilms, plant roots and soil populations.
The effects of individual gene mutations on organismal fitness were highly reproducible
in liquid cultures. However, 84% of the tested alleles showed opposing fitness
effects under different growth conditions (sign environmental pleiotropy). In
colony biofilms and soil samples, different alleles dominated in parallel replica
experiments. Accordingly, we found that in these heterogeneous cell populations
the fate of mutations was dictated by a combination of selection and drift. The
latter relates to programmed prophage excisions that occurred during biofilm development.
Overall, for each condition, a wide range of glutamate dehydrogenase mutations
persisted and sometimes fixated as a result of the combined action of selection,
pleiotropy and chance. However, over longer periods and in multiple environments,
nearly all of this diversity would be lost—across all the environments and conditions
that we tested, the wild type was the fittest allele.
article_processing_charge: No
article_type: original
author:
- first_name: Lianet
full_name: Noda-García, Lianet
last_name: Noda-García
- first_name: Dan
full_name: Davidi, Dan
last_name: Davidi
- first_name: Elisa
full_name: Korenblum, Elisa
last_name: Korenblum
- first_name: Assaf
full_name: Elazar, Assaf
last_name: Elazar
- first_name: Ekaterina
full_name: Putintseva, Ekaterina
id: 2EF67C84-F248-11E8-B48F-1D18A9856A87
last_name: Putintseva
- first_name: Asaph
full_name: Aharoni, Asaph
last_name: Aharoni
- first_name: Dan S.
full_name: Tawfik, Dan S.
last_name: Tawfik
citation:
ama: Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate
genetic diversity in complex bacterial environments. Nature Microbiology.
2019;4(7):1221–1230. doi:10.1038/s41564-019-0412-y
apa: Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni,
A., & Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity
in complex bacterial environments. Nature Microbiology. Springer Nature.
https://doi.org/10.1038/s41564-019-0412-y
chicago: Noda-García, Lianet, Dan Davidi, Elisa Korenblum, Assaf Elazar, Ekaterina
Putintseva, Asaph Aharoni, and Dan S. Tawfik. “Chance and Pleiotropy Dominate
Genetic Diversity in Complex Bacterial Environments.” Nature Microbiology.
Springer Nature, 2019. https://doi.org/10.1038/s41564-019-0412-y.
ieee: L. Noda-García et al., “Chance and pleiotropy dominate genetic diversity
in complex bacterial environments,” Nature Microbiology, vol. 4, no. 7.
Springer Nature, pp. 1221–1230, 2019.
ista: Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik
DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial
environments. Nature Microbiology. 4(7), 1221–1230.
mla: Noda-García, Lianet, et al. “Chance and Pleiotropy Dominate Genetic Diversity
in Complex Bacterial Environments.” Nature Microbiology, vol. 4, no. 7,
Springer Nature, 2019, pp. 1221–1230, doi:10.1038/s41564-019-0412-y.
short: L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni,
D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.
date_created: 2019-05-29T13:03:30Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2023-08-28T08:39:47Z
day: '01'
department:
- _id: FyKo
doi: 10.1038/s41564-019-0412-y
external_id:
isi:
- '000480348200017'
intvolume: ' 4'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.biorxiv.org/content/10.1101/340828v2
month: '07'
oa: 1
oa_version: Preprint
page: 1221–1230
publication: Nature Microbiology
publication_identifier:
issn:
- 2058-5276
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Chance and pleiotropy dominate genetic diversity in complex bacterial environments
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 4
year: '2019'
...
---
_id: '6511'
abstract:
- lang: eng
text: Let U and V be two independent N by N random matrices that are distributed
according to Haar measure on U(N). Let Σ be a nonnegative deterministic N by N
matrix. The single ring theorem [Ann. of Math. (2) 174 (2011) 1189–1217] asserts
that the empirical eigenvalue distribution of the matrix X:=UΣV∗ converges weakly,
in the limit of large N, to a deterministic measure which is supported on a single
ring centered at the origin in ℂ. Within the bulk regime, that is, in the interior
of the single ring, we establish the convergence of the empirical eigenvalue distribution
on the optimal local scale of order N−1/2+ε and establish the optimal convergence
rate. The same results hold true when U and V are Haar distributed on O(N).
article_processing_charge: No
arxiv: 1
author:
- first_name: Zhigang
full_name: Bao, Zhigang
id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
last_name: Bao
orcid: 0000-0003-3036-1475
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Kevin
full_name: Schnelli, Kevin
id: 434AD0AE-F248-11E8-B48F-1D18A9856A87
last_name: Schnelli
orcid: 0000-0003-0954-3231
citation:
ama: Bao Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. Annals
of Probability. 2019;47(3):1270-1334. doi:10.1214/18-AOP1284
apa: Bao, Z., Erdös, L., & Schnelli, K. (2019). Local single ring theorem on
optimal scale. Annals of Probability. Institute of Mathematical Statistics.
https://doi.org/10.1214/18-AOP1284
chicago: Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem
on Optimal Scale.” Annals of Probability. Institute of Mathematical Statistics,
2019. https://doi.org/10.1214/18-AOP1284.
ieee: Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,”
Annals of Probability, vol. 47, no. 3. Institute of Mathematical Statistics,
pp. 1270–1334, 2019.
ista: Bao Z, Erdös L, Schnelli K. 2019. Local single ring theorem on optimal scale.
Annals of Probability. 47(3), 1270–1334.
mla: Bao, Zhigang, et al. “Local Single Ring Theorem on Optimal Scale.” Annals
of Probability, vol. 47, no. 3, Institute of Mathematical Statistics, 2019,
pp. 1270–334, doi:10.1214/18-AOP1284.
short: Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
date_created: 2019-06-02T21:59:13Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2025-07-10T11:53:28Z
day: '01'
department:
- _id: LaEr
doi: 10.1214/18-AOP1284
ec_funded: 1
external_id:
arxiv:
- '1612.05920'
isi:
- '000466616100003'
intvolume: ' 47'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1612.05920
month: '05'
oa: 1
oa_version: Preprint
page: 1270-1334
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Annals of Probability
publication_identifier:
issn:
- 0091-1798
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local single ring theorem on optimal scale
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2019'
...
---
_id: '6513'
abstract:
- lang: eng
text: Adult intestinal stem cells are located at the bottom of crypts of Lieberkühn,
where they express markers such as LGR5 1,2 and fuel the constant replenishment
of the intestinal epithelium1. Although fetal LGR5-expressing cells can give rise
to adult intestinal stem cells3,4, it remains unclear whether this population
in the patterned epithelium represents unique intestinal stem-cell precursors.
Here we show, using unbiased quantitative lineage-tracing approaches, biophysical
modelling and intestinal transplantation, that all cells of the mouse intestinal
epithelium—irrespective of their location and pattern of LGR5 expression in the
fetal gut tube—contribute actively to the adult intestinal stem cell pool. Using
3D imaging, we find that during fetal development the villus undergoes gross remodelling
and fission. This brings epithelial cells from the non-proliferative villus into
the proliferative intervillus region, which enables them to contribute to the
adult stem-cell niche. Our results demonstrate that large-scale remodelling of
the intestinal wall and cell-fate specification are closely linked. Moreover,
these findings provide a direct link between the observed plasticity and cellular
reprogramming of differentiating cells in adult tissues following damage5,6,7,8,9,
revealing that stem-cell identity is an induced rather than a hardwired property.
article_processing_charge: No
article_type: original
author:
- first_name: Jordi
full_name: Guiu, Jordi
last_name: Guiu
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Shiro
full_name: Yui, Shiro
last_name: Yui
- first_name: Samuel
full_name: Demharter, Samuel
last_name: Demharter
- first_name: Svetlana
full_name: Ulyanchenko, Svetlana
last_name: Ulyanchenko
- first_name: Martti
full_name: Maimets, Martti
last_name: Maimets
- first_name: Anne
full_name: Jørgensen, Anne
last_name: Jørgensen
- first_name: Signe
full_name: Perlman, Signe
last_name: Perlman
- first_name: Lene
full_name: Lundvall, Lene
last_name: Lundvall
- first_name: Linn Salto
full_name: Mamsen, Linn Salto
last_name: Mamsen
- first_name: Agnete
full_name: Larsen, Agnete
last_name: Larsen
- first_name: Rasmus H.
full_name: Olesen, Rasmus H.
last_name: Olesen
- first_name: Claus Yding
full_name: Andersen, Claus Yding
last_name: Andersen
- first_name: Lea Langhoff
full_name: Thuesen, Lea Langhoff
last_name: Thuesen
- first_name: Kristine Juul
full_name: Hare, Kristine Juul
last_name: Hare
- first_name: Tune H.
full_name: Pers, Tune H.
last_name: Pers
- first_name: Konstantin
full_name: Khodosevich, Konstantin
last_name: Khodosevich
- first_name: Benjamin D.
full_name: Simons, Benjamin D.
last_name: Simons
- first_name: Kim B.
full_name: Jensen, Kim B.
last_name: Jensen
citation:
ama: Guiu J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem
cells. Nature. 2019;570:107-111. doi:10.1038/s41586-019-1212-5
apa: Guiu, J., Hannezo, E. B., Yui, S., Demharter, S., Ulyanchenko, S., Maimets,
M., … Jensen, K. B. (2019). Tracing the origin of adult intestinal stem cells.
Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1212-5
chicago: Guiu, Jordi, Edouard B Hannezo, Shiro Yui, Samuel Demharter, Svetlana Ulyanchenko,
Martti Maimets, Anne Jørgensen, et al. “Tracing the Origin of Adult Intestinal
Stem Cells.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1212-5.
ieee: J. Guiu et al., “Tracing the origin of adult intestinal stem cells,”
Nature, vol. 570. Springer Nature, pp. 107–111, 2019.
ista: Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen
A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen
LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin
of adult intestinal stem cells. Nature. 570, 107–111.
mla: Guiu, Jordi, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” Nature,
vol. 570, Springer Nature, 2019, pp. 107–11, doi:10.1038/s41586-019-1212-5.
short: J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets,
A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y.
Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B.
Jensen, Nature 570 (2019) 107–111.
date_created: 2019-06-02T21:59:14Z
date_published: 2019-06-06T00:00:00Z
date_updated: 2025-07-10T11:53:29Z
day: '06'
department:
- _id: EdHa
doi: 10.1038/s41586-019-1212-5
external_id:
isi:
- '000470149000048'
pmid:
- '31092921'
intvolume: ' 570'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6986928
month: '06'
oa: 1
oa_version: Submitted Version
page: 107-111
pmid: 1
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tracing the origin of adult intestinal stem cells
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 570
year: '2019'
...
---
_id: '6515'
abstract:
- lang: eng
text: We give non-degeneracy criteria for Riemannian simplices based on simplices
in spaces of constant sectional curvature. It extends previous work on Riemannian
simplices, where we developed Riemannian simplices with respect to Euclidean reference
simplices. The criteria we give in this article are in terms of quality measures
for spaces of constant curvature that we develop here. We see that simplices in
spaces that have nearly constant curvature, are already non-degenerate under very
weak quality demands. This is of importance because it allows for sampling of
Riemannian manifolds based on anisotropy of the manifold and not (absolute) curvature.
author:
- first_name: Ramsay
full_name: Dyer, Ramsay
last_name: Dyer
- first_name: Gert
full_name: Vegter, Gert
last_name: Vegter
- first_name: Mathijs
full_name: Wintraecken, Mathijs
id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
last_name: Wintraecken
orcid: 0000-0002-7472-2220
citation:
ama: Dyer R, Vegter G, Wintraecken M. Simplices modelled on spaces of constant curvature.
Journal of Computational Geometry . 2019;10(1):223–256. doi:10.20382/jocg.v10i1a9
apa: Dyer, R., Vegter, G., & Wintraecken, M. (2019). Simplices modelled on spaces
of constant curvature. Journal of Computational Geometry . Carleton University.
https://doi.org/10.20382/jocg.v10i1a9
chicago: Dyer, Ramsay, Gert Vegter, and Mathijs Wintraecken. “Simplices Modelled
on Spaces of Constant Curvature.” Journal of Computational Geometry . Carleton
University, 2019. https://doi.org/10.20382/jocg.v10i1a9.
ieee: R. Dyer, G. Vegter, and M. Wintraecken, “Simplices modelled on spaces of constant
curvature,” Journal of Computational Geometry , vol. 10, no. 1. Carleton
University, pp. 223–256, 2019.
ista: Dyer R, Vegter G, Wintraecken M. 2019. Simplices modelled on spaces of constant
curvature. Journal of Computational Geometry . 10(1), 223–256.
mla: Dyer, Ramsay, et al. “Simplices Modelled on Spaces of Constant Curvature.”
Journal of Computational Geometry , vol. 10, no. 1, Carleton University,
2019, pp. 223–256, doi:10.20382/jocg.v10i1a9.
short: R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10
(2019) 223–256.
date_created: 2019-06-03T09:35:33Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2021-01-12T08:07:50Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.20382/jocg.v10i1a9
ec_funded: 1
file:
- access_level: open_access
checksum: 57b4df2f16a74eb499734ec8ee240178
content_type: application/pdf
creator: mwintrae
date_created: 2019-06-03T09:30:01Z
date_updated: 2020-07-14T12:47:32Z
file_id: '6516'
file_name: mainJournalFinal.pdf
file_size: 2170882
relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
intvolume: ' 10'
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 223–256
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: 'Journal of Computational Geometry '
publication_identifier:
issn:
- 1920-180X
publication_status: published
publisher: Carleton University
quality_controlled: '1'
scopus_import: 1
status: public
title: Simplices modelled on spaces of constant curvature
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2019'
...
---
_id: '6521'
abstract:
- lang: eng
text: Microglia have emerged as a critical component of neurodegenerative diseases.
Genetic manipulation of microglia can elucidate their functional impact in disease.
In neuroscience, recombinant viruses such as lentiviruses and adeno-associated
viruses (AAVs) have been successfully used to target various cell types in the
brain, although effective transduction of microglia is rare. In this review, we
provide a short background of lentiviruses and AAVs, and strategies for designing
recombinant viral vectors. Then, we will summarize recent literature on successful
microglial transductions in vitro and in vivo, and discuss the current challenges.
Finally, we provide guidelines for reporting the efficiency and specificity of
viral targeting in microglia, which will enable the microglial research community
to assess and improve methodologies for future studies.
article_number: '134310'
article_processing_charge: No
article_type: original
author:
- first_name: Margaret E
full_name: Maes, Margaret E
id: 3838F452-F248-11E8-B48F-1D18A9856A87
last_name: Maes
orcid: 0000-0001-9642-1085
- first_name: Gloria
full_name: Colombo, Gloria
id: 3483CF6C-F248-11E8-B48F-1D18A9856A87
last_name: Colombo
orcid: 0000-0001-9434-8902
- first_name: Rouven
full_name: Schulz, Rouven
id: 4C5E7B96-F248-11E8-B48F-1D18A9856A87
last_name: Schulz
orcid: 0000-0001-5297-733X
- first_name: Sandra
full_name: Siegert, Sandra
id: 36ACD32E-F248-11E8-B48F-1D18A9856A87
last_name: Siegert
orcid: 0000-0001-8635-0877
citation:
ama: 'Maes ME, Colombo G, Schulz R, Siegert S. Targeting microglia with lentivirus
and AAV: Recent advances and remaining challenges. Neuroscience Letters.
2019;707. doi:10.1016/j.neulet.2019.134310'
apa: 'Maes, M. E., Colombo, G., Schulz, R., & Siegert, S. (2019). Targeting
microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience
Letters. Elsevier. https://doi.org/10.1016/j.neulet.2019.134310'
chicago: 'Maes, Margaret E, Gloria Colombo, Rouven Schulz, and Sandra Siegert. “Targeting
Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.”
Neuroscience Letters. Elsevier, 2019. https://doi.org/10.1016/j.neulet.2019.134310.'
ieee: 'M. E. Maes, G. Colombo, R. Schulz, and S. Siegert, “Targeting microglia with
lentivirus and AAV: Recent advances and remaining challenges,” Neuroscience
Letters, vol. 707. Elsevier, 2019.'
ista: 'Maes ME, Colombo G, Schulz R, Siegert S. 2019. Targeting microglia with lentivirus
and AAV: Recent advances and remaining challenges. Neuroscience Letters. 707,
134310.'
mla: 'Maes, Margaret E., et al. “Targeting Microglia with Lentivirus and AAV: Recent
Advances and Remaining Challenges.” Neuroscience Letters, vol. 707, 134310,
Elsevier, 2019, doi:10.1016/j.neulet.2019.134310.'
short: M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
corr_author: '1'
date_created: 2019-06-05T13:16:24Z
date_published: 2019-08-10T00:00:00Z
date_updated: 2025-03-31T16:01:17Z
day: '10'
ddc:
- '570'
department:
- _id: SaSi
doi: 10.1016/j.neulet.2019.134310
ec_funded: 1
external_id:
isi:
- '000486094600037'
pmid:
- '31158432'
file:
- access_level: open_access
checksum: 553c9dbd39727fbed55ee991c51ca4d1
content_type: application/pdf
creator: dernst
date_created: 2019-06-08T11:44:20Z
date_updated: 2020-07-14T12:47:33Z
file_id: '6551'
file_name: 2019_Neuroscience_Maes.pdf
file_size: 1779287
relation: main_file
file_date_updated: 2020-07-14T12:47:33Z
has_accepted_license: '1'
intvolume: ' 707'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 25D4A630-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715571'
name: Microglia action towards neuronal circuit formation and function in health
and disease
- _id: 267F75D8-B435-11E9-9278-68D0E5697425
name: Modulating microglia through G protein-coupled receptor (GPCR) signaling
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Targeting microglia with lentivirus and AAV: Recent advances and remaining
challenges'
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 707
year: '2019'
...
---
_id: '6528'
abstract:
- lang: eng
text: We construct a verifiable delay function (VDF) by showing how the Rivest-Shamir-Wagner
time-lock puzzle can be made publicly verifiable. Concretely, we give a statistically
sound public-coin protocol to prove that a tuple (N,x,T,y) satisfies y=x2T (mod
N) where the prover doesn’t know the factorization of N and its running time is
dominated by solving the puzzle, that is, compute x2T, which is conjectured to
require T sequential squarings. To get a VDF we make this protocol non-interactive
using the Fiat-Shamir heuristic.The motivation for this work comes from the Chia
blockchain design, which uses a VDF as akey ingredient. For typical parameters
(T≤2 40, N= 2048), our proofs are of size around 10K B, verification cost around
three RSA exponentiations and computing the proof is 8000 times faster than solving
the puzzle even without any parallelism.
alternative_title:
- LIPIcs
article_number: '60'
article_processing_charge: No
author:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Pietrzak KZ. Simple verifiable delay functions. In: 10th Innovations in
Theoretical Computer Science Conference. Vol 124. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik; 2019. doi:10.4230/LIPICS.ITCS.2019.60'
apa: 'Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations
in Theoretical Computer Science Conference (Vol. 124). San Diego, CA, United
States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ITCS.2019.60'
chicago: Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” In 10th
Innovations in Theoretical Computer Science Conference, Vol. 124. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.ITCS.2019.60.
ieee: K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations
in Theoretical Computer Science Conference, San Diego, CA, United States,
2019, vol. 124.
ista: 'Pietrzak KZ. 2019. Simple verifiable delay functions. 10th Innovations in
Theoretical Computer Science Conference. ITCS: Innovations in Theoretical Computer
Science, LIPIcs, vol. 124, 60.'
mla: Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” 10th Innovations
in Theoretical Computer Science Conference, vol. 124, 60, Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.ITCS.2019.60.
short: K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference,
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
conference:
end_date: 2019-01-12
location: San Diego, CA, United States
name: 'ITCS: Innovations in Theoretical Computer Science'
start_date: 2019-01-10
date_created: 2019-06-06T14:12:36Z
date_published: 2019-01-10T00:00:00Z
date_updated: 2025-07-10T11:53:29Z
day: '10'
ddc:
- '000'
department:
- _id: KrPi
doi: 10.4230/LIPICS.ITCS.2019.60
ec_funded: 1
file:
- access_level: open_access
checksum: f0ae1bb161431d9db3dea5ace082bfb5
content_type: application/pdf
creator: dernst
date_created: 2019-06-06T14:22:04Z
date_updated: 2020-07-14T12:47:33Z
file_id: '6529'
file_name: 2019_LIPIcs_Pietrzak.pdf
file_size: 558770
relation: main_file
file_date_updated: 2020-07-14T12:47:33Z
has_accepted_license: '1'
intvolume: ' 124'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2018/627
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: 10th Innovations in Theoretical Computer Science Conference
publication_identifier:
isbn:
- 978-3-95977-095-8
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Simple verifiable delay functions
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: 124
year: '2019'
...
---
_id: '6552'
abstract:
- lang: eng
text: 'When animals become sick, infected cells and an armada of activated immune
cells attempt to eliminate the pathogen from the body. Once infectious particles
have breached the body''s physical barriers of the skin or gut lining, an initially
local response quickly escalates into a systemic response, attracting mobile immune
cells to the site of infection. These cells complement the initial, unspecific
defense with a more specialized, targeted response. This can also provide long-term
immune memory and protection against future infection. The cell-autonomous defenses
of the infected cells are thus aided by the actions of recruited immune cells.
These specialized cells are the most mobile cells in the body, constantly patrolling
through the otherwise static tissue to detect incoming pathogens. Such constant
immune surveillance means infections are noticed immediately and can be rapidly
cleared from the body. Some immune cells also remove infected cells that have
succumbed to infection. All this prevents pathogen replication and spread to healthy
tissues. Although this may involve the sacrifice of some somatic tissue, this
is typically replaced quickly. Particular care is, however, given to the reproductive
organs, which should always remain disease free (immune privilege). '
article_processing_charge: No
article_type: original
author:
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Cremer S. Social immunity in insects. Current Biology. 2019;29(11):R458-R463.
doi:10.1016/j.cub.2019.03.035
apa: Cremer, S. (2019). Social immunity in insects. Current Biology. Elsevier.
https://doi.org/10.1016/j.cub.2019.03.035
chicago: Cremer, Sylvia. “Social Immunity in Insects.” Current Biology. Elsevier,
2019. https://doi.org/10.1016/j.cub.2019.03.035.
ieee: S. Cremer, “Social immunity in insects,” Current Biology, vol. 29,
no. 11. Elsevier, pp. R458–R463, 2019.
ista: Cremer S. 2019. Social immunity in insects. Current Biology. 29(11), R458–R463.
mla: Cremer, Sylvia. “Social Immunity in Insects.” Current Biology, vol.
29, no. 11, Elsevier, 2019, pp. R458–63, doi:10.1016/j.cub.2019.03.035.
short: S. Cremer, Current Biology 29 (2019) R458–R463.
date_created: 2019-06-09T21:59:10Z
date_published: 2019-06-03T00:00:00Z
date_updated: 2023-08-28T09:38:00Z
day: '03'
department:
- _id: SyCr
doi: 10.1016/j.cub.2019.03.035
external_id:
isi:
- '000470902000023'
pmid:
- '31163158'
intvolume: ' 29'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cub.2019.03.035
month: '06'
oa: 1
oa_version: Published Version
page: R458-R463
pmid: 1
publication: Current Biology
publication_identifier:
issn:
- '09609822'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Social immunity in insects
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 29
year: '2019'
...
---
_id: '6554'
abstract:
- lang: eng
text: Due to the importance of zero-shot learning, i.e. classifying images where
there is a lack of labeled training data, the number of proposed approaches has
recently increased steadily. We argue that it is time to take a step back and
to analyze the status quo of the area. The purpose of this paper is three-fold.
First, given the fact that there is no agreed upon zero-shot learning benchmark,
we first define a new benchmark by unifying both the evaluation protocols and
data splits of publicly available datasets used for this task. This is an important
contribution as published results are often not comparable and sometimes even
flawed due to, e.g. pre-training on zero-shot test classes. Moreover, we propose
a new zero-shot learning dataset, the Animals with Attributes 2 (AWA2) dataset
which we make publicly available both in terms of image features and the images
themselves. Second, we compare and analyze a significant number of the state-of-the-art
methods in depth, both in the classic zero-shot setting but also in the more realistic
generalized zero-shot setting. Finally, we discuss in detail the limitations of
the current status of the area which can be taken as a basis for advancing it.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yongqin
full_name: Xian, Yongqin
last_name: Xian
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0002-4561-241X
- first_name: Bernt
full_name: Schiele, Bernt
last_name: Schiele
- first_name: Zeynep
full_name: Akata, Zeynep
last_name: Akata
citation:
ama: Xian Y, Lampert C, Schiele B, Akata Z. Zero-shot learning - A comprehensive
evaluation of the good, the bad and the ugly. IEEE Transactions on Pattern
Analysis and Machine Intelligence. 2019;41(9):2251-2265. doi:10.1109/tpami.2018.2857768
apa: Xian, Y., Lampert, C., Schiele, B., & Akata, Z. (2019). Zero-shot learning
- A comprehensive evaluation of the good, the bad and the ugly. IEEE Transactions
on Pattern Analysis and Machine Intelligence. Institute of Electrical and
Electronics Engineers. https://doi.org/10.1109/tpami.2018.2857768
chicago: Xian, Yongqin, Christoph Lampert, Bernt Schiele, and Zeynep Akata. “Zero-Shot
Learning - A Comprehensive Evaluation of the Good, the Bad and the Ugly.” IEEE
Transactions on Pattern Analysis and Machine Intelligence. Institute of Electrical
and Electronics Engineers, 2019. https://doi.org/10.1109/tpami.2018.2857768.
ieee: Y. Xian, C. Lampert, B. Schiele, and Z. Akata, “Zero-shot learning - A comprehensive
evaluation of the good, the bad and the ugly,” IEEE Transactions on Pattern
Analysis and Machine Intelligence, vol. 41, no. 9. Institute of Electrical
and Electronics Engineers, pp. 2251–2265, 2019.
ista: Xian Y, Lampert C, Schiele B, Akata Z. 2019. Zero-shot learning - A comprehensive
evaluation of the good, the bad and the ugly. IEEE Transactions on Pattern Analysis
and Machine Intelligence. 41(9), 2251–2265.
mla: Xian, Yongqin, et al. “Zero-Shot Learning - A Comprehensive Evaluation of the
Good, the Bad and the Ugly.” IEEE Transactions on Pattern Analysis and Machine
Intelligence, vol. 41, no. 9, Institute of Electrical and Electronics Engineers,
2019, pp. 2251–65, doi:10.1109/tpami.2018.2857768.
short: Y. Xian, C. Lampert, B. Schiele, Z. Akata, IEEE Transactions on Pattern Analysis
and Machine Intelligence 41 (2019) 2251–2265.
date_created: 2019-06-11T14:05:59Z
date_published: 2019-09-01T00:00:00Z
date_updated: 2024-12-11T11:49:58Z
day: '01'
department:
- _id: ChLa
doi: 10.1109/tpami.2018.2857768
external_id:
arxiv:
- '1707.00600'
isi:
- '000480343900015'
intvolume: ' 41'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1707.00600
month: '09'
oa: 1
oa_version: Preprint
page: 2251 - 2265
publication: IEEE Transactions on Pattern Analysis and Machine Intelligence
publication_identifier:
eissn:
- 1939-3539
issn:
- 0162-8828
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Zero-shot learning - A comprehensive evaluation of the good, the bad and the
ugly
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 41
year: '2019'
...
---
_id: '6556'
abstract:
- lang: eng
text: 'Motivated by fixed-parameter tractable (FPT) problems in computational topology,
we consider the treewidth tw(M) of a compact, connected 3-manifold M, defined
to be the minimum treewidth of the face pairing graph of any triangulation T of
M. In this setting the relationship between the topology of a 3-manifold and its
treewidth is of particular interest. First, as a corollary of work of Jaco and
Rubinstein, we prove that for any closed, orientable 3-manifold M the treewidth
tw(M) is at most 4g(M)-2, where g(M) denotes Heegaard genus of M. In combination
with our earlier work with Wagner, this yields that for non-Haken manifolds the
Heegaard genus and the treewidth are within a constant factor. Second, we characterize
all 3-manifolds of treewidth one: These are precisely the lens spaces and a single
other Seifert fibered space. Furthermore, we show that all remaining orientable
Seifert fibered spaces over the 2-sphere or a non-orientable surface have treewidth
two. In particular, for every spherical 3-manifold we exhibit a triangulation
of treewidth at most two. Our results further validate the parameter of treewidth
(and other related parameters such as cutwidth or congestion) to be useful for
topological computing, and also shed more light on the scope of existing FPT-algorithms
in the field.'
alternative_title:
- LIPIcs
article_processing_charge: No
arxiv: 1
author:
- first_name: Kristóf
full_name: Huszár, Kristóf
id: 33C26278-F248-11E8-B48F-1D18A9856A87
last_name: Huszár
orcid: 0000-0002-5445-5057
- first_name: Jonathan
full_name: Spreer, Jonathan
last_name: Spreer
citation:
ama: 'Huszár K, Spreer J. 3-manifold triangulations with small treewidth. In: 35th
International Symposium on Computational Geometry. Vol 129. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 2019:44:1-44:20. doi:10.4230/LIPIcs.SoCG.2019.44'
apa: 'Huszár, K., & Spreer, J. (2019). 3-manifold triangulations with small
treewidth. In 35th International Symposium on Computational Geometry (Vol.
129, p. 44:1-44:20). Portland, Oregon, United States: Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2019.44'
chicago: Huszár, Kristóf, and Jonathan Spreer. “3-Manifold Triangulations with Small
Treewidth.” In 35th International Symposium on Computational Geometry,
129:44:1-44:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPIcs.SoCG.2019.44.
ieee: K. Huszár and J. Spreer, “3-manifold triangulations with small treewidth,”
in 35th International Symposium on Computational Geometry, Portland, Oregon,
United States, 2019, vol. 129, p. 44:1-44:20.
ista: 'Huszár K, Spreer J. 2019. 3-manifold triangulations with small treewidth.
35th International Symposium on Computational Geometry. SoCG: Symposium on Computational
Geometry, LIPIcs, vol. 129, 44:1-44:20.'
mla: Huszár, Kristóf, and Jonathan Spreer. “3-Manifold Triangulations with Small
Treewidth.” 35th International Symposium on Computational Geometry, vol.
129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20, doi:10.4230/LIPIcs.SoCG.2019.44.
short: K. Huszár, J. Spreer, in:, 35th International Symposium on Computational
Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20.
conference:
end_date: 2019-06-21
location: Portland, Oregon, United States
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2019-06-18
corr_author: '1'
date_created: 2019-06-11T20:09:57Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2024-10-09T21:05:28Z
day: '01'
ddc:
- '516'
department:
- _id: UlWa
doi: 10.4230/LIPIcs.SoCG.2019.44
external_id:
arxiv:
- '1812.05528'
file:
- access_level: open_access
checksum: 29d18c435368468aa85823dabb157e43
content_type: application/pdf
creator: kschuh
date_created: 2019-06-12T06:45:33Z
date_updated: 2020-07-14T12:47:33Z
file_id: '6557'
file_name: 2019_LIPIcs-Huszar.pdf
file_size: 905885
relation: main_file
file_date_updated: 2020-07-14T12:47:33Z
has_accepted_license: '1'
intvolume: ' 129'
keyword:
- computational 3-manifold topology
- fixed-parameter tractability
- layered triangulations
- structural graph theory
- treewidth
- cutwidth
- Heegaard genus
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 44:1-44:20
publication: 35th International Symposium on Computational Geometry
publication_identifier:
isbn:
- 978-3-95977-104-7
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
related_material:
record:
- id: '8032'
relation: part_of_dissertation
status: public
scopus_import: '1'
status: public
title: 3-manifold triangulations with small treewidth
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: 129
year: '2019'
...
---
_id: '6564'
abstract:
- lang: eng
text: Optogenetics enables the spatio-temporally precise control of cell and animal
behavior. Many optogenetic tools are driven by light-controlled protein–protein
interactions (PPIs) that are repurposed from natural light-sensitive domains (LSDs).
Applying light-controlled PPIs to new target proteins is challenging because it
is difficult to predict which of the many available LSDs, if any, will yield robust
light regulation. As a consequence, fusion protein libraries need to be prepared
and tested, but methods and platforms to facilitate this process are currently
not available. Here, we developed a genetic engineering strategy and vector library
for the rapid generation of light-controlled PPIs. The strategy permits fusing
a target protein to multiple LSDs efficiently and in two orientations. The public
and expandable library contains 29 vectors with blue, green or red light-responsive
LSDs, many of which have been previously applied ex vivo and in vivo. We demonstrate
the versatility of the approach and the necessity for sampling LSDs by generating
light-activated caspase-9 (casp9) enzymes. Collectively, this work provides a
new resource for optical regulation of a broad range of target proteins in cell
and developmental biology.
article_processing_charge: No
article_type: original
author:
- first_name: Alexandra-Madelaine
full_name: Tichy, Alexandra-Madelaine
id: 29D8BB2C-F248-11E8-B48F-1D18A9856A87
last_name: Tichy
- first_name: Elliot J.
full_name: Gerrard, Elliot J.
last_name: Gerrard
- first_name: Julien M.D.
full_name: Legrand, Julien M.D.
last_name: Legrand
- first_name: Robin M.
full_name: Hobbs, Robin M.
last_name: Hobbs
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
citation:
ama: Tichy A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. Engineering strategy
and vector library for the rapid generation of modular light-controlled protein–protein
interactions. Journal of Molecular Biology. 2019;431(17):3046-3055. doi:10.1016/j.jmb.2019.05.033
apa: Tichy, A.-M., Gerrard, E. J., Legrand, J. M. D., Hobbs, R. M., & Janovjak,
H. L. (2019). Engineering strategy and vector library for the rapid generation
of modular light-controlled protein–protein interactions. Journal of Molecular
Biology. Elsevier. https://doi.org/10.1016/j.jmb.2019.05.033
chicago: Tichy, Alexandra-Madelaine, Elliot J. Gerrard, Julien M.D. Legrand, Robin
M. Hobbs, and Harald L Janovjak. “Engineering Strategy and Vector Library for
the Rapid Generation of Modular Light-Controlled Protein–Protein Interactions.”
Journal of Molecular Biology. Elsevier, 2019. https://doi.org/10.1016/j.jmb.2019.05.033.
ieee: A.-M. Tichy, E. J. Gerrard, J. M. D. Legrand, R. M. Hobbs, and H. L. Janovjak,
“Engineering strategy and vector library for the rapid generation of modular light-controlled
protein–protein interactions,” Journal of Molecular Biology, vol. 431,
no. 17. Elsevier, pp. 3046–3055, 2019.
ista: Tichy A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. 2019. Engineering
strategy and vector library for the rapid generation of modular light-controlled
protein–protein interactions. Journal of Molecular Biology. 431(17), 3046–3055.
mla: Tichy, Alexandra-Madelaine, et al. “Engineering Strategy and Vector Library
for the Rapid Generation of Modular Light-Controlled Protein–Protein Interactions.”
Journal of Molecular Biology, vol. 431, no. 17, Elsevier, 2019, pp. 3046–55,
doi:10.1016/j.jmb.2019.05.033.
short: A.-M. Tichy, E.J. Gerrard, J.M.D. Legrand, R.M. Hobbs, H.L. Janovjak, Journal
of Molecular Biology 431 (2019) 3046–3055.
date_created: 2019-06-16T21:59:14Z
date_published: 2019-08-09T00:00:00Z
date_updated: 2025-07-10T11:53:33Z
day: '09'
department:
- _id: HaJa
doi: 10.1016/j.jmb.2019.05.033
external_id:
isi:
- '000482872100002'
intvolume: ' 431'
isi: 1
issue: '17'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.biorxiv.org/content/10.1101/583369v1
month: '08'
oa: 1
oa_version: Preprint
page: 3046-3055
publication: Journal of Molecular Biology
publication_identifier:
eissn:
- 1089-8638
issn:
- 0022-2836
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Engineering strategy and vector library for the rapid generation of modular
light-controlled protein–protein interactions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 431
year: '2019'
...
---
_id: '6565'
abstract:
- lang: eng
text: In this paper, we address the problem of synthesizing periodic switching controllers
for stabilizing a family of linear systems. Our broad approach consists of constructing
a finite game graph based on the family of linear systems such that every winning
strategy on the game graph corresponds to a stabilizing switching controller for
the family of linear systems. The construction of a (finite) game graph, the synthesis
of a winning strategy and the extraction of a stabilizing controller are all computationally
feasible. We illustrate our method on an example.
article_number: '8715598'
article_processing_charge: No
author:
- first_name: Atreyee
full_name: Kundu, Atreyee
last_name: Kundu
- first_name: Miriam
full_name: Garcia Soto, Miriam
id: 4B3207F6-F248-11E8-B48F-1D18A9856A87
last_name: Garcia Soto
orcid: 0000−0003−2936−5719
- first_name: Pavithra
full_name: Prabhakar, Pavithra
last_name: Prabhakar
citation:
ama: 'Kundu A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers
for periodically controlled linear switched systems. In: 5th Indian Control
Conference Proceedings. IEEE; 2019. doi:10.1109/INDIANCC.2019.8715598'
apa: 'Kundu, A., Garcia Soto, M., & Prabhakar, P. (2019). Formal synthesis of
stabilizing controllers for periodically controlled linear switched systems. In
5th Indian Control Conference Proceedings. Delhi, India: IEEE. https://doi.org/10.1109/INDIANCC.2019.8715598'
chicago: Kundu, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis
of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.”
In 5th Indian Control Conference Proceedings. IEEE, 2019. https://doi.org/10.1109/INDIANCC.2019.8715598.
ieee: A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing
controllers for periodically controlled linear switched systems,” in 5th Indian
Control Conference Proceedings, Delhi, India, 2019.
ista: 'Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing
controllers for periodically controlled linear switched systems. 5th Indian Control
Conference Proceedings. ICC: Indian Control Conference, 8715598.'
mla: Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically
Controlled Linear Switched Systems.” 5th Indian Control Conference Proceedings,
8715598, IEEE, 2019, doi:10.1109/INDIANCC.2019.8715598.
short: A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference
Proceedings, IEEE, 2019.
conference:
end_date: 2019-01-11
location: Delhi, India
name: 'ICC: Indian Control Conference'
start_date: 2019-01-09
date_created: 2019-06-17T06:57:33Z
date_published: 2019-05-16T00:00:00Z
date_updated: 2025-09-10T10:36:07Z
day: '16'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1109/INDIANCC.2019.8715598
external_id:
isi:
- '000470655700087'
file:
- access_level: open_access
checksum: d622a91af1e427f6b1e0ba8e18a2b767
content_type: application/pdf
creator: dernst
date_created: 2020-10-21T13:13:49Z
date_updated: 2020-10-21T13:13:49Z
file_id: '8687'
file_name: 2019_ICC_Kundu.pdf
file_size: 396031
relation: main_file
success: 1
file_date_updated: 2020-10-21T13:13:49Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
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: 5th Indian Control Conference Proceedings
publication_identifier:
isbn:
- 978-153866246-5
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Formal synthesis of stabilizing controllers for periodically controlled linear
switched systems
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2019'
...
---
_id: '6566'
abstract:
- lang: eng
text: Methodologies that involve the use of nanoparticles as “artificial atoms”
to rationally build materials in a bottom-up fashion are particularly well-suited
to control the matter at the nanoscale. Colloidal synthetic routes allow for an
exquisite control over such “artificial atoms” in terms of size, shape, and crystal
phase as well as core and surface compositions. We present here a bottom-up approach
to produce Pb–Ag–K–S–Te nanocomposites, which is a highly promising system for
thermoelectric energy conversion. First, we developed a high-yield and scalable
colloidal synthesis route to uniform lead sulfide (PbS) nanorods, whose tips are
made of silver sulfide (Ag2S). We then took advantage of the large surface-to-volume
ratio to introduce a p-type dopant (K) by replacing native organic ligands with
K2Te. Upon thermal consolidation, K2Te-surface modified PbS–Ag2S nanorods yield
p-type doped nanocomposites with PbTe and PbS as major phases and Ag2S and Ag2Te
as embedded nanoinclusions. Thermoelectric characterization of such consolidated
nanosolids showed a high thermoelectric figure-of-merit of 1 at 620 K.
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
- first_name: Aziz
full_name: Genç, Aziz
last_name: Genç
- first_name: Roger
full_name: Hasler, Roger
last_name: Hasler
- first_name: Yu
full_name: Liu, Yu
id: 2A70014E-F248-11E8-B48F-1D18A9856A87
last_name: Liu
orcid: 0000-0001-7313-6740
- first_name: Oleksandr
full_name: Dobrozhan, Oleksandr
last_name: Dobrozhan
- first_name: Olga
full_name: Nazarenko, Olga
last_name: Nazarenko
- first_name: María de la
full_name: Mata, María de la
last_name: Mata
- first_name: Jordi
full_name: Arbiol, Jordi
last_name: Arbiol
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
- first_name: Maksym V.
full_name: Kovalenko, Maksym V.
last_name: Kovalenko
citation:
ama: Ibáñez M, Genç A, Hasler R, et al. Tuning transport properties in thermoelectric
nanocomposites through inorganic ligands and heterostructured building blocks.
ACS Nano. 2019;13(6):6572-6580. doi:10.1021/acsnano.9b00346
apa: Ibáñez, M., Genç, A., Hasler, R., Liu, Y., Dobrozhan, O., Nazarenko, O., …
Kovalenko, M. V. (2019). Tuning transport properties in thermoelectric nanocomposites
through inorganic ligands and heterostructured building blocks. ACS Nano.
American Chemical Society. https://doi.org/10.1021/acsnano.9b00346
chicago: Ibáñez, Maria, Aziz Genç, Roger Hasler, Yu Liu, Oleksandr Dobrozhan, Olga
Nazarenko, María de la Mata, Jordi Arbiol, Andreu Cabot, and Maksym V. Kovalenko.
“Tuning Transport Properties in Thermoelectric Nanocomposites through Inorganic
Ligands and Heterostructured Building Blocks.” ACS Nano. American Chemical
Society, 2019. https://doi.org/10.1021/acsnano.9b00346.
ieee: M. Ibáñez et al., “Tuning transport properties in thermoelectric nanocomposites
through inorganic ligands and heterostructured building blocks,” ACS Nano,
vol. 13, no. 6. American Chemical Society, pp. 6572–6580, 2019.
ista: Ibáñez M, Genç A, Hasler R, Liu Y, Dobrozhan O, Nazarenko O, Mata M de la,
Arbiol J, Cabot A, Kovalenko MV. 2019. Tuning transport properties in thermoelectric
nanocomposites through inorganic ligands and heterostructured building blocks.
ACS Nano. 13(6), 6572–6580.
mla: Ibáñez, Maria, et al. “Tuning Transport Properties in Thermoelectric Nanocomposites
through Inorganic Ligands and Heterostructured Building Blocks.” ACS Nano,
vol. 13, no. 6, American Chemical Society, 2019, pp. 6572–80, doi:10.1021/acsnano.9b00346.
short: M. Ibáñez, A. Genç, R. Hasler, Y. Liu, O. Dobrozhan, O. Nazarenko, M. de
la Mata, J. Arbiol, A. Cabot, M.V. Kovalenko, ACS Nano 13 (2019) 6572–6580.
date_created: 2019-06-18T13:54:34Z
date_published: 2019-06-25T00:00:00Z
date_updated: 2025-04-14T07:44:06Z
day: '25'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/acsnano.9b00346
ec_funded: 1
external_id:
isi:
- '000473248300043'
pmid:
- '31185159'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2019-07-16T14:17:09Z
date_updated: 2020-07-14T12:47:33Z
file_id: '6644'
file_name: 2019_ACSNano_Ibanez.pdf
file_size: 8628690
relation: main_file
file_date_updated: 2020-07-14T12:47:33Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
issue: '6'
keyword:
- colloidal nanoparticles
- asymmetric nanoparticles
- inorganic ligands
- heterostructures
- catalyst assisted growth
- nanocomposites
- thermoelectrics
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 6572-6580
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: ACS Nano
publication_identifier:
eissn:
- 1936-086X
issn:
- 1936-0851
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tuning transport properties in thermoelectric nanocomposites through inorganic
ligands and heterostructured building blocks
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 13
year: '2019'
...
---
OA_place: publisher
OA_type: gold
_id: '6569'
abstract:
- lang: eng
text: 'Knowledge distillation, i.e. one classifier being trained on the outputs
of another classifier, is an empirically very successful technique for knowledge
transfer between classifiers. It has even been observed that classifiers learn
much faster and more reliably if trained with the outputs of another classifier
as soft labels, instead of from ground truth data. So far, however, there is no
satisfactory theoretical explanation of this phenomenon. In this work, we provide
the first insights into the working mechanisms of distillation by studying the
special case of linear and deep linear classifiers. Specifically, we prove a
generalization bound that establishes fast convergence of the expected risk of
a distillation-trained linear classifier. From the bound and its proof we extract
three keyfactors that determine the success of distillation: data geometry – geometric
properties of the datadistribution, in particular class separation, has an immediate
influence on the convergence speed of the risk; optimization bias– gradient descentoptimization
finds a very favorable minimum of the distillation objective; and strong monotonicity–
the expected risk of the student classifier always decreases when the size of
the training set grows.'
article_processing_charge: No
author:
- first_name: Phuong
full_name: Bui Thi Mai, Phuong
id: 3EC6EE64-F248-11E8-B48F-1D18A9856A87
last_name: Bui Thi Mai
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Phuong M, Lampert C. Towards understanding knowledge distillation. In: Proceedings
of the 36th International Conference on Machine Learning. Vol 97. ML Research
Press; 2019:5142-5151.'
apa: 'Phuong, M., & Lampert, C. (2019). Towards understanding knowledge distillation.
In Proceedings of the 36th International Conference on Machine Learning
(Vol. 97, pp. 5142–5151). Long Beach, CA, United States: ML Research Press.'
chicago: Phuong, Mary, and Christoph Lampert. “Towards Understanding Knowledge Distillation.”
In Proceedings of the 36th International Conference on Machine Learning,
97:5142–51. ML Research Press, 2019.
ieee: M. Phuong and C. Lampert, “Towards understanding knowledge distillation,”
in Proceedings of the 36th International Conference on Machine Learning,
Long Beach, CA, United States, 2019, vol. 97, pp. 5142–5151.
ista: 'Phuong M, Lampert C. 2019. Towards understanding knowledge distillation.
Proceedings of the 36th International Conference on Machine Learning. ICML: International
Conference on Machine Learning vol. 97, 5142–5151.'
mla: Phuong, Mary, and Christoph Lampert. “Towards Understanding Knowledge Distillation.”
Proceedings of the 36th International Conference on Machine Learning, vol.
97, ML Research Press, 2019, pp. 5142–51.
short: M. Phuong, C. Lampert, in:, Proceedings of the 36th International Conference
on Machine Learning, ML Research Press, 2019, pp. 5142–5151.
conference:
end_date: 2019-06-15
location: Long Beach, CA, United States
name: 'ICML: International Conference on Machine Learning'
start_date: 2019-06-10
corr_author: '1'
date_created: 2019-06-20T18:23:03Z
date_published: 2019-06-13T00:00:00Z
date_updated: 2025-05-20T07:48:49Z
day: '13'
ddc:
- '000'
department:
- _id: ChLa
file:
- access_level: open_access
checksum: a66d00e2694d749250f8507f301320ca
content_type: application/pdf
creator: bphuong
date_created: 2019-06-20T18:22:56Z
date_updated: 2020-07-14T12:47:33Z
file_id: '6570'
file_name: paper.pdf
file_size: 686432
relation: main_file
file_date_updated: 2020-07-14T12:47:33Z
has_accepted_license: '1'
intvolume: ' 97'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 5142-5151
publication: Proceedings of the 36th International Conference on Machine Learning
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Towards understanding knowledge distillation
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 97
year: '2019'
...
---
_id: '6575'
abstract:
- lang: eng
text: Motivated by recent experimental observations of coherent many-body revivals
in a constrained Rydbergatom chain, we construct a weak quasilocal deformation
of the Rydberg-blockaded Hamiltonian, whichmakes the revivals virtually perfect.
Our analysis suggests the existence of an underlying nonintegrableHamiltonian
which supports an emergent SU(2)-spin dynamics within a small subspace of the
many-bodyHilbert space. We show that such perfect dynamics necessitates the existence
of atypical, nonergodicenergy eigenstates—quantum many-body scars. Furthermore,
using these insights, we construct a toymodel that hosts exact quantum many-body
scars, providing an intuitive explanation of their origin. Ourresults offer specific
routes to enhancing coherent many-body revivals and provide a step towardestablishing
the stability of quantum many-body scars in the thermodynamic limit.
article_number: '220603'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Soonwon
full_name: Choi, Soonwon
last_name: Choi
- first_name: Christopher J.
full_name: Turner, Christopher J.
last_name: Turner
- first_name: Hannes
full_name: Pichler, Hannes
last_name: Pichler
- first_name: Wen Wei
full_name: Ho, Wen Wei
last_name: Ho
- first_name: Alexios
full_name: Michailidis, Alexios
id: 36EBAD38-F248-11E8-B48F-1D18A9856A87
last_name: Michailidis
orcid: 0000-0002-8443-1064
- first_name: Zlatko
full_name: Papić, Zlatko
last_name: Papić
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
- first_name: Mikhail D.
full_name: Lukin, Mikhail D.
last_name: Lukin
- first_name: Dmitry A.
full_name: Abanin, Dmitry A.
last_name: Abanin
citation:
ama: Choi S, Turner CJ, Pichler H, et al. Emergent SU(2) dynamics and perfect quantum
many-body scars. Physical Review Letters. 2019;122(22). doi:10.1103/PhysRevLett.122.220603
apa: Choi, S., Turner, C. J., Pichler, H., Ho, W. W., Michailidis, A., Papić, Z.,
… Abanin, D. A. (2019). Emergent SU(2) dynamics and perfect quantum many-body
scars. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.122.220603
chicago: Choi, Soonwon, Christopher J. Turner, Hannes Pichler, Wen Wei Ho, Alexios
Michailidis, Zlatko Papić, Maksym Serbyn, Mikhail D. Lukin, and Dmitry A. Abanin.
“Emergent SU(2) Dynamics and Perfect Quantum Many-Body Scars.” Physical Review
Letters. American Physical Society, 2019. https://doi.org/10.1103/PhysRevLett.122.220603.
ieee: S. Choi et al., “Emergent SU(2) dynamics and perfect quantum many-body
scars,” Physical Review Letters, vol. 122, no. 22. American Physical Society,
2019.
ista: Choi S, Turner CJ, Pichler H, Ho WW, Michailidis A, Papić Z, Serbyn M, Lukin
MD, Abanin DA. 2019. Emergent SU(2) dynamics and perfect quantum many-body scars.
Physical Review Letters. 122(22), 220603.
mla: Choi, Soonwon, et al. “Emergent SU(2) Dynamics and Perfect Quantum Many-Body
Scars.” Physical Review Letters, vol. 122, no. 22, 220603, American Physical
Society, 2019, doi:10.1103/PhysRevLett.122.220603.
short: S. Choi, C.J. Turner, H. Pichler, W.W. Ho, A. Michailidis, Z. Papić, M. Serbyn,
M.D. Lukin, D.A. Abanin, Physical Review Letters 122 (2019).
date_created: 2019-06-23T21:59:13Z
date_published: 2019-06-07T00:00:00Z
date_updated: 2024-02-28T13:12:22Z
day: '07'
department:
- _id: MaSe
doi: 10.1103/PhysRevLett.122.220603
external_id:
arxiv:
- '1812.05561'
isi:
- '000470885800005'
intvolume: ' 122'
isi: 1
issue: '22'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1812.05561
month: '06'
oa: 1
oa_version: Preprint
publication: Physical Review Letters
publication_identifier:
eissn:
- '10797114'
issn:
- '00319007'
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Emergent SU(2) dynamics and perfect quantum many-body scars
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 122
year: '2019'
...
---
_id: '6586'
abstract:
- lang: eng
text: The bottom-up assembly of colloidal nanocrystals is a versatile methodology
to produce composite nanomaterials with precisely tuned electronic properties.
Beyond the synthetic control over crystal domain size, shape, crystal phase, and
composition, solution-processed nanocrystals allow exquisite surface engineering.
This provides additional means to modulate the nanomaterial characteristics and
particularly its electronic transport properties. For instance, inorganic surface
ligands can be used to tune the type and concentration of majority carriers or
to modify the electronic band structure. Herein, we report the thermoelectric
properties of SnTe nanocomposites obtained from the consolidation of surface-engineered
SnTe nanocrystals into macroscopic pellets. A CdSe-based ligand is selected to
(i) converge the light and heavy bands through partial Cd alloying and (ii) generate
CdSe nanoinclusions as a secondary phase within the SnTe matrix, thereby reducing
the thermal conductivity. These SnTe-CdSe nanocomposites possess thermoelectric
figures of merit of up to 1.3 at 850 K, which is, to the best of our knowledge,
the highest thermoelectric figure of merit reported for solution-processed SnTe.
article_processing_charge: No
article_type: original
author:
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
- first_name: Roger
full_name: Hasler, Roger
last_name: Hasler
- first_name: Aziz
full_name: Genç, Aziz
last_name: Genç
- first_name: Yu
full_name: Liu, Yu
id: 2A70014E-F248-11E8-B48F-1D18A9856A87
last_name: Liu
orcid: 0000-0001-7313-6740
- first_name: Beatrice
full_name: Kuster, Beatrice
last_name: Kuster
- first_name: Maximilian
full_name: Schuster, Maximilian
last_name: Schuster
- first_name: Oleksandr
full_name: Dobrozhan, Oleksandr
last_name: Dobrozhan
- first_name: Doris
full_name: Cadavid, Doris
last_name: Cadavid
- first_name: Jordi
full_name: Arbiol, Jordi
last_name: Arbiol
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
- first_name: Maksym V.
full_name: Kovalenko, Maksym V.
last_name: Kovalenko
citation:
ama: Ibáñez M, Hasler R, Genç A, et al. Ligand-mediated band engineering in bottom-up
assembled SnTe nanocomposites for thermoelectric energy conversion. Journal
of the American Chemical Society. 2019;141(20):8025-8029. doi:10.1021/jacs.9b01394
apa: Ibáñez, M., Hasler, R., Genç, A., Liu, Y., Kuster, B., Schuster, M., … Kovalenko,
M. V. (2019). Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites
for thermoelectric energy conversion. Journal of the American Chemical Society.
American Chemical Society. https://doi.org/10.1021/jacs.9b01394
chicago: Ibáñez, Maria, Roger Hasler, Aziz Genç, Yu Liu, Beatrice Kuster, Maximilian
Schuster, Oleksandr Dobrozhan, et al. “Ligand-Mediated Band Engineering in Bottom-up
Assembled SnTe Nanocomposites for Thermoelectric Energy Conversion.” Journal
of the American Chemical Society. American Chemical Society, 2019. https://doi.org/10.1021/jacs.9b01394.
ieee: M. Ibáñez et al., “Ligand-mediated band engineering in bottom-up assembled
SnTe nanocomposites for thermoelectric energy conversion,” Journal of the American
Chemical Society, vol. 141, no. 20. American Chemical Society, pp. 8025–8029,
2019.
ista: Ibáñez M, Hasler R, Genç A, Liu Y, Kuster B, Schuster M, Dobrozhan O, Cadavid
D, Arbiol J, Cabot A, Kovalenko MV. 2019. Ligand-mediated band engineering in
bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion.
Journal of the American Chemical Society. 141(20), 8025–8029.
mla: Ibáñez, Maria, et al. “Ligand-Mediated Band Engineering in Bottom-up Assembled
SnTe Nanocomposites for Thermoelectric Energy Conversion.” Journal of the American
Chemical Society, vol. 141, no. 20, American Chemical Society, 2019, pp. 8025–29,
doi:10.1021/jacs.9b01394.
short: M. Ibáñez, R. Hasler, A. Genç, Y. Liu, B. Kuster, M. Schuster, O. Dobrozhan,
D. Cadavid, J. Arbiol, A. Cabot, M.V. Kovalenko, Journal of the American Chemical
Society 141 (2019) 8025–8029.
date_created: 2019-06-25T11:53:35Z
date_published: 2019-04-19T00:00:00Z
date_updated: 2025-04-14T07:44:06Z
day: '19'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/jacs.9b01394
ec_funded: 1
external_id:
isi:
- '000469292300004'
pmid:
- '31017419 '
file:
- access_level: open_access
checksum: 34d7ec837869cc6a07996b54f75696b7
content_type: application/pdf
creator: cpetz
date_created: 2019-06-25T11:59:00Z
date_updated: 2020-07-14T12:47:34Z
file_id: '6587'
file_name: JACS_April2019.pdf
file_size: 6234004
relation: main_file
file_date_updated: 2020-07-14T12:47:34Z
has_accepted_license: '1'
intvolume: ' 141'
isi: 1
issue: '20'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 8025-8029
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites
for thermoelectric energy conversion
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 141
year: '2019'
...
---
_id: '6590'
abstract:
- lang: eng
text: 'Modern machine learning methods often require more data for training than
a single expert can provide. Therefore, it has become a standard procedure to
collect data from external sources, e.g. via crowdsourcing. Unfortunately, the
quality of these sources is not always guaranteed. As additional complications,
the data might be stored in a distributed way, or might even have to remain private.
In this work, we address the question of how to learn robustly in such scenarios.
Studying the problem through the lens of statistical learning theory, we derive
a procedure that allows for learning from all available sources, yet automatically
suppresses irrelevant or corrupted data. We show by extensive experiments that
our method provides significant improvements over alternative approaches from
robust statistics and distributed optimization. '
article_processing_charge: No
arxiv: 1
author:
- first_name: Nikola H
full_name: Konstantinov, Nikola H
id: 4B9D76E4-F248-11E8-B48F-1D18A9856A87
last_name: Konstantinov
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Konstantinov NH, Lampert C. Robust learning from untrusted sources. In: Proceedings
of the 36th International Conference on Machine Learning. Vol 97. ML Research
Press; 2019:3488-3498.'
apa: 'Konstantinov, N. H., & Lampert, C. (2019). Robust learning from untrusted
sources. In Proceedings of the 36th International Conference on Machine Learning
(Vol. 97, pp. 3488–3498). Long Beach, CA, USA: ML Research Press.'
chicago: Konstantinov, Nikola H, and Christoph Lampert. “Robust Learning from Untrusted
Sources.” In Proceedings of the 36th International Conference on Machine Learning,
97:3488–98. ML Research Press, 2019.
ieee: N. H. Konstantinov and C. Lampert, “Robust learning from untrusted sources,”
in Proceedings of the 36th International Conference on Machine Learning,
Long Beach, CA, USA, 2019, vol. 97, pp. 3488–3498.
ista: 'Konstantinov NH, Lampert C. 2019. Robust learning from untrusted sources.
Proceedings of the 36th International Conference on Machine Learning. ICML: International
Conference on Machine Learning vol. 97, 3488–3498.'
mla: Konstantinov, Nikola H., and Christoph Lampert. “Robust Learning from Untrusted
Sources.” Proceedings of the 36th International Conference on Machine Learning,
vol. 97, ML Research Press, 2019, pp. 3488–98.
short: N.H. Konstantinov, C. Lampert, in:, Proceedings of the 36th International
Conference on Machine Learning, ML Research Press, 2019, pp. 3488–3498.
conference:
end_date: 2919-06-15
location: Long Beach, CA, USA
name: 'ICML: International Conference on Machine Learning'
start_date: 2019-06-10
date_created: 2019-06-27T14:18:23Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2025-04-15T06:49:20Z
day: '01'
department:
- _id: ChLa
ec_funded: 1
external_id:
arxiv:
- '1901.10310'
intvolume: ' 97'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1901.10310
month: '06'
oa: 1
oa_version: Preprint
page: 3488-3498
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Proceedings of the 36th International Conference on Machine Learning
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
related_material:
record:
- id: '10799'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Robust learning from untrusted sources
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 97
year: '2019'
...
---
_id: '6596'
abstract:
- lang: eng
text: It is well known that many problems in image recovery, signal processing,
and machine learning can be modeled as finding zeros of the sum of maximal monotone
and Lipschitz continuous monotone operators. Many papers have studied forward-backward
splitting methods for finding zeros of the sum of two monotone operators in Hilbert
spaces. Most of the proposed splitting methods in the literature have been proposed
for the sum of maximal monotone and inverse-strongly monotone operators in Hilbert
spaces. In this paper, we consider splitting methods for finding zeros of the
sum of maximal monotone operators and Lipschitz continuous monotone operators
in Banach spaces. We obtain weak and strong convergence results for the zeros
of the sum of maximal monotone and Lipschitz continuous monotone operators in
Banach spaces. Many already studied problems in the literature can be considered
as special cases of this paper.
article_number: '138'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Yekini
full_name: Shehu, Yekini
id: 3FC7CB58-F248-11E8-B48F-1D18A9856A87
last_name: Shehu
orcid: 0000-0001-9224-7139
citation:
ama: Shehu Y. Convergence results of forward-backward algorithms for sum of monotone
operators in Banach spaces. Results in Mathematics. 2019;74(4). doi:10.1007/s00025-019-1061-4
apa: Shehu, Y. (2019). Convergence results of forward-backward algorithms for sum
of monotone operators in Banach spaces. Results in Mathematics. Springer.
https://doi.org/10.1007/s00025-019-1061-4
chicago: Shehu, Yekini. “Convergence Results of Forward-Backward Algorithms for
Sum of Monotone Operators in Banach Spaces.” Results in Mathematics. Springer,
2019. https://doi.org/10.1007/s00025-019-1061-4.
ieee: Y. Shehu, “Convergence results of forward-backward algorithms for sum of monotone
operators in Banach spaces,” Results in Mathematics, vol. 74, no. 4. Springer,
2019.
ista: Shehu Y. 2019. Convergence results of forward-backward algorithms for sum
of monotone operators in Banach spaces. Results in Mathematics. 74(4), 138.
mla: Shehu, Yekini. “Convergence Results of Forward-Backward Algorithms for Sum
of Monotone Operators in Banach Spaces.” Results in Mathematics, vol. 74,
no. 4, 138, Springer, 2019, doi:10.1007/s00025-019-1061-4.
short: Y. Shehu, Results in Mathematics 74 (2019).
corr_author: '1'
date_created: 2019-06-29T10:11:30Z
date_published: 2019-12-01T00:00:00Z
date_updated: 2024-11-04T13:52:40Z
day: '01'
ddc:
- '000'
department:
- _id: VlKo
doi: 10.1007/s00025-019-1061-4
ec_funded: 1
external_id:
arxiv:
- '2101.09068'
isi:
- '000473237500002'
file:
- access_level: open_access
checksum: c6d18cb1e16fc0c36a0e0f30b4ebbc2d
content_type: application/pdf
creator: kschuh
date_created: 2019-07-03T15:20:40Z
date_updated: 2020-07-14T12:47:34Z
file_id: '6605'
file_name: Springer_2019_Shehu.pdf
file_size: 466942
relation: main_file
file_date_updated: 2020-07-14T12:47:34Z
has_accepted_license: '1'
intvolume: ' 74'
isi: 1
issue: '4'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '616160'
name: 'Discrete Optimization in Computer Vision: Theory and Practice'
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Results in Mathematics
publication_identifier:
eissn:
- 1420-9012
issn:
- 1422-6383
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Convergence results of forward-backward algorithms for sum of monotone operators
in Banach spaces
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 74
year: '2019'
...