---
_id: '9797'
article_processing_charge: No
author:
- first_name: Victoria
full_name: Pokusaeva, Victoria
id: 3184041C-F248-11E8-B48F-1D18A9856A87
last_name: Pokusaeva
orcid: 0000-0001-7660-444X
- first_name: Dinara R.
full_name: Usmanova, Dinara R.
last_name: Usmanova
- first_name: Ekaterina V.
full_name: Putintseva, Ekaterina V.
last_name: Putintseva
- first_name: Lorena
full_name: Espinar, Lorena
last_name: Espinar
- first_name: Karen
full_name: Sarkisyan, Karen
id: 39A7BF80-F248-11E8-B48F-1D18A9856A87
last_name: Sarkisyan
orcid: 0000-0002-5375-6341
- first_name: Alexander S.
full_name: Mishin, Alexander S.
last_name: Mishin
- first_name: Natalya S.
full_name: Bogatyreva, Natalya S.
last_name: Bogatyreva
- first_name: Dmitry
full_name: Ivankov, Dmitry
id: 49FF1036-F248-11E8-B48F-1D18A9856A87
last_name: Ivankov
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Inna S.
full_name: Povolotskaya, Inna S.
last_name: Povolotskaya
- first_name: Guillaume J.
full_name: Filion, Guillaume J.
last_name: Filion
- first_name: Lucas B.
full_name: Carey, Lucas B.
last_name: Carey
- first_name: Fyodor
full_name: Kondrashov, Fyodor
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment
libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
apa: Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan,
K., Mishin, A. S., … Kondrashov, F. (2019). A statistical summary of segment libraries
and sequencing results. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s011
chicago: Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena
Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “A
Statistical Summary of Segment Libraries and Sequencing Results.” Public Library
of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s011.
ieee: V. Pokusaeva et al., “A statistical summary of segment libraries and
sequencing results.” Public Library of Science, 2019.
ista: Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS,
Bogatyreva NS, Ivankov D, Akopyan A, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov
F. 2019. A statistical summary of segment libraries and sequencing results, Public
Library of Science, 10.1371/journal.pgen.1008079.s011.
mla: Pokusaeva, Victoria, et al. A Statistical Summary of Segment Libraries and
Sequencing Results. Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s011.
short: V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S.
Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion,
L.B. Carey, F. Kondrashov, (2019).
date_created: 2021-08-06T11:08:20Z
date_published: 2019-04-10T00:00:00Z
date_updated: 2023-08-25T10:30:36Z
day: '10'
department:
- _id: FyKo
doi: 10.1371/journal.pgen.1008079.s011
month: '04'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '6419'
relation: used_in_publication
status: public
status: public
title: A statistical summary of segment libraries and sequencing results
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2019'
...
---
_id: '9789'
article_processing_charge: No
author:
- first_name: Victoria
full_name: Pokusaeva, Victoria
id: 3184041C-F248-11E8-B48F-1D18A9856A87
last_name: Pokusaeva
orcid: 0000-0001-7660-444X
- first_name: Dinara R.
full_name: Usmanova, Dinara R.
last_name: Usmanova
- first_name: Ekaterina V.
full_name: Putintseva, Ekaterina V.
last_name: Putintseva
- first_name: Lorena
full_name: Espinar, Lorena
last_name: Espinar
- first_name: Karen
full_name: Sarkisyan, Karen
id: 39A7BF80-F248-11E8-B48F-1D18A9856A87
last_name: Sarkisyan
orcid: 0000-0002-5375-6341
- first_name: Alexander S.
full_name: Mishin, Alexander S.
last_name: Mishin
- first_name: Natalya S.
full_name: Bogatyreva, Natalya S.
last_name: Bogatyreva
- first_name: Dmitry
full_name: Ivankov, Dmitry
id: 49FF1036-F248-11E8-B48F-1D18A9856A87
last_name: Ivankov
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Sergey
full_name: Avvakumov, Sergey
id: 3827DAC8-F248-11E8-B48F-1D18A9856A87
last_name: Avvakumov
- first_name: Inna S.
full_name: Povolotskaya, Inna S.
last_name: Povolotskaya
- first_name: Guillaume J.
full_name: Filion, Guillaume J.
last_name: Filion
- first_name: Lucas B.
full_name: Carey, Lucas B.
last_name: Carey
- first_name: Fyodor
full_name: Kondrashov, Fyodor
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
citation:
ama: Pokusaeva V, Usmanova DR, Putintseva EV, et al. Multiple alignment of His3
orthologues. 2019. doi:10.1371/journal.pgen.1008079.s010
apa: Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan,
K., Mishin, A. S., … Kondrashov, F. (2019). Multiple alignment of His3 orthologues.
Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s010
chicago: Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena
Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “Multiple
Alignment of His3 Orthologues.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s010.
ieee: V. Pokusaeva et al., “Multiple alignment of His3 orthologues.” Public
Library of Science, 2019.
ista: Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS,
Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ,
Carey LB, Kondrashov F. 2019. Multiple alignment of His3 orthologues, Public Library
of Science, 10.1371/journal.pgen.1008079.s010.
mla: Pokusaeva, Victoria, et al. Multiple Alignment of His3 Orthologues.
Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s010.
short: V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S.
Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya,
G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
date_created: 2021-08-06T08:38:50Z
date_published: 2019-04-10T00:00:00Z
date_updated: 2023-08-25T10:30:36Z
day: '10'
department:
- _id: FyKo
doi: 10.1371/journal.pgen.1008079.s010
month: '04'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '6419'
relation: used_in_publication
status: public
status: public
title: Multiple alignment of His3 orthologues
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2019'
...
---
_id: '6462'
abstract:
- lang: eng
text: A controller is a device that interacts with a plant. At each time point,it
reads the plant’s state and issues commands with the goal that the plant oper-ates
optimally. Constructing optimal controllers is a fundamental and challengingproblem.
Machine learning techniques have recently been successfully applied totrain controllers,
yet they have limitations. Learned controllers are monolithic andhard to reason
about. In particular, it is difficult to add features without retraining,to guarantee
any level of performance, and to achieve acceptable performancewhen encountering
untrained scenarios. These limitations can be addressed bydeploying quantitative
run-timeshieldsthat serve as a proxy for the controller.At each time point, the
shield reads the command issued by the controller andmay choose to alter it before
passing it on to the plant. We show how optimalshields that interfere as little
as possible while guaranteeing a desired level ofcontroller performance, can be
generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second,
we consider the learned controller to be a black box. Third, we mea-surecontroller
performanceandshield interferenceby two quantitative run-timemeasures that are
formally defined using weighted automata. Then, the problemof constructing a shield
that guarantees maximal performance with minimal inter-ference is the problem
of finding an optimal strategy in a stochastic2-player game“controller versus
shield” played on the abstract state space of the plant with aquantitative objective
obtained from combining the performance and interferencemeasures. We illustrate
the effectiveness of our approach by automatically con-structing lightweight shields
for learned traffic-light controllers in various roadnetworks. The shields we
generate avoid liveness bugs, improve controller per-formance in untrained and
changing traffic situations, and add features to learnedcontrollers, such as giving
priority to emergency vehicles.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Guy
full_name: Avni, Guy
id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
last_name: Avni
orcid: 0000-0001-5588-8287
- first_name: Roderick
full_name: Bloem, Roderick
last_name: Bloem
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- 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: Bettina
full_name: Konighofer, Bettina
last_name: Konighofer
- first_name: Stefan
full_name: Pranger, Stefan
last_name: Pranger
citation:
ama: 'Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time
optimization for learned controllers through quantitative games. In: 31st International
Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649.
doi:10.1007/978-3-030-25540-4_36'
apa: 'Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., &
Pranger, S. (2019). Run-time optimization for learned controllers through quantitative
games. In 31st International Conference on Computer-Aided Verification
(Vol. 11561, pp. 630–649). New York, NY, United States: Springer. https://doi.org/10.1007/978-3-030-25540-4_36'
chicago: Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina
Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers
through Quantitative Games.” In 31st International Conference on Computer-Aided
Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36.
ieee: G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger,
“Run-time optimization for learned controllers through quantitative games,” in
31st International Conference on Computer-Aided Verification, New York,
NY, United States, 2019, vol. 11561, pp. 630–649.
ista: 'Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019.
Run-time optimization for learned controllers through quantitative games. 31st
International Conference on Computer-Aided Verification. CAV: Computer Aided Verification,
LNCS, vol. 11561, 630–649.'
mla: Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative
Games.” 31st International Conference on Computer-Aided Verification, vol.
11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
short: G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger,
in:, 31st International Conference on Computer-Aided Verification, Springer, 2019,
pp. 630–649.
conference:
end_date: 2019-07-18
location: New York, NY, United States
name: 'CAV: Computer Aided Verification'
start_date: 2019-07-13
date_created: 2019-05-16T11:22:30Z
date_published: 2019-07-12T00:00:00Z
date_updated: 2023-08-25T10:33:27Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1007/978-3-030-25540-4_36
external_id:
isi:
- '000491468000036'
file:
- access_level: open_access
checksum: c231579f2485c6fd4df17c9443a4d80b
content_type: application/pdf
creator: dernst
date_created: 2019-08-14T09:35:24Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6816'
file_name: 2019_CAV_Avni.pdf
file_size: 659766
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: ' 11561'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
oa_version: Published Version
page: 630-649
project:
- _id: 264B3912-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02369
name: Formal Methods meets Algorithmic Game Theory
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
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: Run-time optimization for learned controllers through quantitative games
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: '6477'
abstract:
- lang: eng
text: 'Thermalizing quantum systems are conventionallydescribed by statistical mechanics
at equilib-rium. However, not all systems fall into this category, with many-body
localization providinga generic mechanism for thermalization to fail in strongly
disordered systems. Many-bodylocalized (MBL) systems remain perfect insulators
at nonzero temperature, which do notthermalize and therefore cannot be describedusing
statistical mechanics. This Colloquiumreviews recent theoretical and experimental
advances in studies of MBL systems, focusing onthe new perspective provided by
entanglement and nonequilibrium experimental probes suchas quantum quenches. Theoretically,
MBL systems exhibit a new kind of robust integrability: anextensive set of quasilocal
integrals of motion emerges, which provides an intuitive explanationof the breakdown
of thermalization. A description based on quasilocal integrals of motion isused
to predict dynamical properties of MBL systems, such as the spreading of quantumentanglement,
the behavior of local observables, and the response to external dissipativeprocesses.
Furthermore, MBL systems can exhibit eigenstate transitions and quantum ordersforbidden
in thermodynamic equilibrium. An outline isgiven of the current theoretical under-standing
of the quantum-to-classical transitionbetween many-body localized and ergodic
phasesand anomalous transport in the vicinity of that transition. Experimentally,
synthetic quantumsystems, which are well isolated from an external thermal reservoir,
provide natural platforms forrealizing the MBL phase. Recent experiments with
ultracold atoms, trapped ions, superconductingqubits, and quantum materials, in
which different signatures of many-body localization have beenobserved, are reviewed.
This Colloquium concludes by listing outstanding challenges andpromising future
research directions.'
article_number: '021001'
article_processing_charge: No
article_type: original
author:
- first_name: Dmitry A.
full_name: Abanin, Dmitry A.
last_name: Abanin
- first_name: Ehud
full_name: Altman, Ehud
last_name: Altman
- first_name: Immanuel
full_name: Bloch, Immanuel
last_name: Bloch
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: 'Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization,
thermalization, and entanglement. Reviews of Modern Physics. 2019;91(2).
doi:10.1103/revmodphys.91.021001'
apa: 'Abanin, D. A., Altman, E., Bloch, I., & Serbyn, M. (2019). Colloquium:
Many-body localization, thermalization, and entanglement. Reviews of Modern
Physics. American Physical Society. https://doi.org/10.1103/revmodphys.91.021001'
chicago: 'Abanin, Dmitry A., Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium:
Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern
Physics. American Physical Society, 2019. https://doi.org/10.1103/revmodphys.91.021001.'
ieee: 'D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body
localization, thermalization, and entanglement,” Reviews of Modern Physics,
vol. 91, no. 2. American Physical Society, 2019.'
ista: 'Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization,
thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.'
mla: 'Abanin, Dmitry A., et al. “Colloquium: Many-Body Localization, Thermalization,
and Entanglement.” Reviews of Modern Physics, vol. 91, no. 2, 021001, American
Physical Society, 2019, doi:10.1103/revmodphys.91.021001.'
short: D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91
(2019).
date_created: 2019-05-23T07:38:43Z
date_published: 2019-05-22T00:00:00Z
date_updated: 2023-08-25T10:37:56Z
day: '22'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/revmodphys.91.021001
external_id:
arxiv:
- '1804.11065'
isi:
- '000469046900001'
file:
- access_level: open_access
checksum: 4aec0e6662b09f6e0f828cd30ff2c3a6
content_type: application/pdf
creator: mserbyn
date_created: 2019-05-23T07:39:05Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6478'
file_name: RevModPhys.91.021001.pdf
file_size: 1695677
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: ' 91'
isi: 1
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Reviews of Modern Physics
publication_identifier:
eissn:
- 0034-6861
issn:
- 1539-0756
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Colloquium: Many-body localization, thermalization, and entanglement'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 91
year: '2019'
...
---
_id: '6466'
abstract:
- lang: eng
text: "One of the most striking and consistent results in speciation genomics is
the heterogeneous divergence observed across the genomes of closely related species.
This pattern was initially attributed to different levels of gene exchange—with
divergence preserved at loci generating a barrier to gene flow but homogenized
at unlinked neutral loci. Although there is evidence to support this model, it
is now recognized that interpreting patterns of divergence across genomes is not
so straightforward. One \r\nproblem is that heterogenous divergence between populations
can also be generated by other processes (e.g. recurrent selective sweeps or background
selection) without any involvement of differential gene flow. Thus, integrated
studies that identify which loci are likely subject to divergent selection are
required to shed light on the interplay between selection and gene flow during
the early phases of speciation. In this issue of Molecular Ecology, Rifkin et
al. (2019) confront this challenge using a pair of sister morning glory species.
They wisely design their sampling to take the geographic context of individuals
into account, including geographically isolated (allopatric) and co‐occurring
(sympatric) populations. This enabled them to show that individuals are phenotypically
less differentiated in sympatry. They also found that the loci that resist introgression
are enriched for those most differentiated in allopatry and loci that exhibit
signals of divergent selection. One great strength of the \r\nstudy is the combination
of methods from population genetics and molecular evolution, including the development
of a model to simultaneously infer admixture proportions and selfing rates."
article_processing_charge: No
author:
- first_name: David
full_name: Field, David
id: 419049E2-F248-11E8-B48F-1D18A9856A87
last_name: Field
orcid: 0000-0002-4014-8478
- first_name: Christelle
full_name: Fraisse, Christelle
id: 32DF5794-F248-11E8-B48F-1D18A9856A87
last_name: Fraisse
orcid: 0000-0001-8441-5075
citation:
ama: Field D, Fraisse C. Breaking down barriers in morning glories. Molecular
ecology. 2019;28(7):1579-1581. doi:10.1111/mec.15048
apa: Field, D., & Fraisse, C. (2019). Breaking down barriers in morning glories.
Molecular Ecology. Wiley. https://doi.org/10.1111/mec.15048
chicago: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning
Glories.” Molecular Ecology. Wiley, 2019. https://doi.org/10.1111/mec.15048.
ieee: D. Field and C. Fraisse, “Breaking down barriers in morning glories,” Molecular
ecology, vol. 28, no. 7. Wiley, pp. 1579–1581, 2019.
ista: Field D, Fraisse C. 2019. Breaking down barriers in morning glories. Molecular
ecology. 28(7), 1579–1581.
mla: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning Glories.”
Molecular Ecology, vol. 28, no. 7, Wiley, 2019, pp. 1579–81, doi:10.1111/mec.15048.
short: D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
date_created: 2019-05-19T21:59:15Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2023-08-25T10:37:30Z
day: '01'
ddc:
- '580'
- '576'
department:
- _id: NiBa
doi: 10.1111/mec.15048
external_id:
isi:
- '000474808300001'
file:
- access_level: open_access
checksum: 521e3aff3e9263ddf2ffbfe0b6157715
content_type: application/pdf
creator: dernst
date_created: 2019-05-20T11:49:06Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6472'
file_name: 2019_MolecularEcology_Field.pdf
file_size: 367711
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: ' 28'
isi: 1
issue: '7'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 1579-1581
publication: Molecular ecology
publication_identifier:
eissn:
- 1365294X
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Breaking down barriers in morning glories
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: 28
year: '2019'
...
---
_id: '6465'
abstract:
- lang: eng
text: Tight control over protein degradation is a fundamental requirement for cells
to respond rapidly to various stimuli and adapt to a fluctuating environment.
Here we develop a versatile, easy-to-handle library of destabilizing tags (degrons)
for the precise regulation of protein expression profiles in mammalian cells by
modulating target protein half-lives in a predictable manner. Using the well-established
tetracycline gene-regulation system as a model, we show that the dynamics of protein
expression can be tuned by fusing appropriate degron tags to gene regulators.
Next, we apply this degron library to tune a synthetic pulse-generating circuit
in mammalian cells. With this toolbox we establish a set of pulse generators with
tailored pulse lengths and magnitudes of protein expression. This methodology
will prove useful in the functional roles of essential proteins, fine-tuning of
gene-expression systems, and enabling a higher complexity in the design of synthetic
biological systems in mammalian cells.
article_number: '2013'
article_processing_charge: No
author:
- first_name: Hélène
full_name: Chassin, Hélène
last_name: Chassin
- first_name: Marius
full_name: Müller, Marius
last_name: Müller
- first_name: Marcel
full_name: Tigges, Marcel
last_name: Tigges
- first_name: Leo
full_name: Scheller, Leo
last_name: Scheller
- first_name: Moritz
full_name: Lang, Moritz
id: 29E0800A-F248-11E8-B48F-1D18A9856A87
last_name: Lang
- first_name: Martin
full_name: Fussenegger, Martin
last_name: Fussenegger
citation:
ama: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. A modular
degron library for synthetic circuits in mammalian cells. Nature Communications.
2019;10(1). doi:10.1038/s41467-019-09974-5
apa: Chassin, H., Müller, M., Tigges, M., Scheller, L., Lang, M., & Fussenegger,
M. (2019). A modular degron library for synthetic circuits in mammalian cells.
Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-09974-5
chicago: Chassin, Hélène, Marius Müller, Marcel Tigges, Leo Scheller, Moritz Lang,
and Martin Fussenegger. “A Modular Degron Library for Synthetic Circuits in Mammalian
Cells.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09974-5.
ieee: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger,
“A modular degron library for synthetic circuits in mammalian cells,” Nature
Communications, vol. 10, no. 1. Springer Nature, 2019.
ista: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A
modular degron library for synthetic circuits in mammalian cells. Nature Communications.
10(1), 2013.
mla: Chassin, Hélène, et al. “A Modular Degron Library for Synthetic Circuits in
Mammalian Cells.” Nature Communications, vol. 10, no. 1, 2013, Springer
Nature, 2019, doi:10.1038/s41467-019-09974-5.
short: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature
Communications 10 (2019).
date_created: 2019-05-19T21:59:14Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2023-08-25T10:33:51Z
day: '01'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1038/s41467-019-09974-5
external_id:
isi:
- '000466338600006'
file:
- access_level: open_access
checksum: e214d3e4f8c81e35981583c4569b51b8
content_type: application/pdf
creator: dernst
date_created: 2019-05-20T07:33:54Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6471'
file_name: 2019_NatureComm_Chassin.pdf
file_size: 1191827
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
issue: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
eissn:
- '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1038/s41467-023-36111-0
scopus_import: '1'
status: public
title: A modular degron library for synthetic circuits in mammalian cells
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: 10
year: '2019'
...
---
_id: '6467'
abstract:
- lang: eng
text: Fitness interactions between mutations can influence a population’s evolution
in many different ways. While epistatic effects are difficult to measure precisely,
important information is captured by the mean and variance of log fitnesses for
individuals carrying different numbers of mutations. We derive predictions for
these quantities from a class of simple fitness landscapes, based on models of
optimizing selection on quantitative traits. We also explore extensions to the
models, including modular pleiotropy, variable effect sizes, mutational bias and
maladaptation of the wild type. We illustrate our approach by reanalysing a large
dataset of mutant effects in a yeast snoRNA (small nucleolar RNA). Though characterized
by some large epistatic effects, these data give a good overall fit to the non-epistatic
null model, suggesting that epistasis might have limited influence on the evolutionary
dynamics in this system. We also show how the amount of epistasis depends on both
the underlying fitness landscape and the distribution of mutations, and so is
expected to vary in consistent ways between new mutations, standing variation
and fixed mutations.
article_number: '0881'
article_processing_charge: No
article_type: original
author:
- first_name: Christelle
full_name: Fraisse, Christelle
id: 32DF5794-F248-11E8-B48F-1D18A9856A87
last_name: Fraisse
orcid: 0000-0001-8441-5075
- first_name: John J.
full_name: Welch, John J.
last_name: Welch
citation:
ama: Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes.
Biology Letters. 2019;15(4). doi:10.1098/rsbl.2018.0881
apa: Fraisse, C., & Welch, J. J. (2019). The distribution of epistasis on simple
fitness landscapes. Biology Letters. Royal Society of London. https://doi.org/10.1098/rsbl.2018.0881
chicago: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis
on Simple Fitness Landscapes.” Biology Letters. Royal Society of London,
2019. https://doi.org/10.1098/rsbl.2018.0881.
ieee: C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness
landscapes,” Biology Letters, vol. 15, no. 4. Royal Society of London,
2019.
ista: Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness
landscapes. Biology Letters. 15(4), 0881.
mla: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple
Fitness Landscapes.” Biology Letters, vol. 15, no. 4, 0881, Royal Society
of London, 2019, doi:10.1098/rsbl.2018.0881.
short: C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
date_created: 2019-05-19T21:59:15Z
date_published: 2019-04-03T00:00:00Z
date_updated: 2023-08-25T10:34:41Z
day: '03'
department:
- _id: BeVi
- _id: NiBa
doi: 10.1098/rsbl.2018.0881
ec_funded: 1
external_id:
isi:
- '000465405300010'
pmid:
- '31014191'
intvolume: ' 15'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1098/rsbl.2018.0881
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Biology Letters
publication_identifier:
eissn:
- 1744957X
issn:
- '17449561'
publication_status: published
publisher: Royal Society of London
quality_controlled: '1'
related_material:
link:
- relation: supplementary_material
url: https://dx.doi.org/10.6084/m9.figshare.c.4461008
record:
- id: '9798'
relation: research_data
status: public
- id: '9799'
relation: research_data
status: public
scopus_import: '1'
status: public
title: The distribution of epistasis on simple fitness landscapes
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 15
year: '2019'
...
---
_id: '6470'
abstract:
- lang: eng
text: 'Investigating neuronal activity using genetically encoded Ca2+ indicators
in behaving animals is hampered by inaccuracies in spike inference from fluorescent
tracers. Here we combine two‐photon [Ca2+] imaging with cell‐attached recordings,
followed by post hoc determination of the expression level of GCaMP6f, to explore
how it affects the amplitude, kinetics and temporal summation of somatic [Ca2+]
transients in mouse hippocampal pyramidal cells (PCs). The amplitude of unitary
[Ca2+] transients (evoked by a single action potential) negatively correlates
with GCaMP6f expression, but displays large variability even among PCs with similarly
low expression levels. The summation of fluorescence signals is frequency‐dependent,
supralinear and also shows remarkable cell‐to‐cell variability. We performed experimental
data‐based simulations and found that spike inference error rates using MLspike
depend strongly on unitary peak amplitudes and GCaMP6f expression levels. We provide
simple methods for estimating the unitary [Ca2+] transients in individual weakly
GCaMP6f‐expressing PCs, with which we achieve spike inference error rates of ∼5%. '
article_processing_charge: No
article_type: original
author:
- first_name: Tímea
full_name: Éltes, Tímea
last_name: Éltes
- first_name: Miklos
full_name: Szoboszlay, Miklos
last_name: Szoboszlay
- first_name: Margit Katalin
full_name: Szigeti, Margit Katalin
id: 44F4BDC0-F248-11E8-B48F-1D18A9856A87
last_name: Szigeti
orcid: 0000-0001-9500-8758
- first_name: Zoltan
full_name: Nusser, Zoltan
last_name: Nusser
citation:
ama: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy
by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing
hippocampal pyramidal cells. Journal of Physiology. 2019;597(11):2925–2947.
doi:10.1113/JP277681
apa: Éltes, T., Szoboszlay, M., Szigeti, M. K., & Nusser, Z. (2019). Improved
spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients
in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology.
Wiley. https://doi.org/10.1113/JP277681
chicago: Éltes, Tímea, Miklos Szoboszlay, Margit Katalin Szigeti, and Zoltan Nusser.
“Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary
[Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” Journal
of Physiology. Wiley, 2019. https://doi.org/10.1113/JP277681.
ieee: T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference
accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly
GCaMP6f-expressing hippocampal pyramidal cells,” Journal of Physiology,
vol. 597, no. 11. Wiley, pp. 2925–2947, 2019.
ista: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference
accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly
GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11),
2925–2947.
mla: Éltes, Tímea, et al. “Improved Spike Inference Accuracy by Estimating the Peak
Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal
Pyramidal Cells.” Journal of Physiology, vol. 597, no. 11, Wiley, 2019,
pp. 2925–2947, doi:10.1113/JP277681.
short: T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597
(2019) 2925–2947.
date_created: 2019-05-19T21:59:17Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2023-08-25T10:34:15Z
day: '01'
department:
- _id: GaNo
doi: 10.1113/JP277681
external_id:
isi:
- '000470780400013'
pmid:
- '31006863'
intvolume: ' 597'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1113/JP277681
month: '06'
oa: 1
oa_version: Published Version
page: 2925–2947
pmid: 1
publication: Journal of Physiology
publication_identifier:
eissn:
- '14697793'
issn:
- '00223751'
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Improved spike inference accuracy by estimating the peak amplitude of unitary
[Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 597
year: '2019'
...
---
_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
date_created: 2019-05-27T07:09:53Z
date_published: 2019-07-12T00:00:00Z
date_updated: 2023-08-25T10:40:41Z
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: The Wittgenstein Prize
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: '6485'
abstract:
- lang: eng
text: Traditional concurrent programming involves manipulating shared mutable state.
Alternatives to this programming style are communicating sequential processes
(CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous
channelis the common abstraction for communication between several processes,
where senders and receivers perform a rendezvous handshake as a part of their
protocol (senders wait for receivers and vice versa). Additionally to this, channels
support the select expression. In this work, we present the first efficient lock-free
channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations.
article_processing_charge: No
author:
- first_name: Nikita
full_name: Koval, Nikita
id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87
last_name: Koval
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: Roman
full_name: Elizarov, Roman
last_name: Elizarov
citation:
ama: Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via
Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000
apa: 'Koval, N., Alistarh, D.-A., & Elizarov, R. (2019). Lock-free channels
for programming via communicating sequential processes. Proceedings of
the 24th Symposium on Principles and Practice of Parallel Programming (pp.
417–418). Washington, NY, United States: ACM Press. https://doi.org/10.1145/3293883.3297000'
chicago: Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. Lock-Free Channels
for Programming via Communicating Sequential Processes. Proceedings of
the 24th Symposium on Principles and Practice of Parallel Programming. ACM
Press, 2019. https://doi.org/10.1145/3293883.3297000.
ieee: N. Koval, D.-A. Alistarh, and R. Elizarov, Lock-free channels for programming
via communicating sequential processes. ACM Press, 2019, pp. 417–418.
ista: Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming
via communicating sequential processes, ACM Press,p.
mla: Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating
Sequential Processes.” Proceedings of the 24th Symposium on Principles and
Practice of Parallel Programming, ACM Press, 2019, pp. 417–18, doi:10.1145/3293883.3297000.
short: N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming
via Communicating Sequential Processes, ACM Press, 2019.
conference:
end_date: 2019-02-20
location: Washington, NY, United States
name: 'PPoPP: Principles and Practice of Parallel Programming'
start_date: 2019-02-16
date_created: 2019-05-24T10:09:12Z
date_published: 2019-02-01T00:00:00Z
date_updated: 2023-08-25T10:41:20Z
day: '01'
department:
- _id: DaAl
doi: 10.1145/3293883.3297000
external_id:
isi:
- '000587604600044'
isi: 1
language:
- iso: eng
month: '02'
oa_version: None
page: 417-418
publication: Proceedings of the 24th Symposium on Principles and Practice of Parallel
Programming
publication_identifier:
isbn:
- '9781450362252'
publication_status: published
publisher: ACM Press
quality_controlled: '1'
status: public
title: Lock-free channels for programming via communicating sequential processes
type: conference_poster
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2019'
...