---
OA_place: publisher
_id: '8983'
abstract:
- lang: eng
text: Metabolic adaptation is a critical feature of migrating cells. It tunes the
metabolic programs of migrating cells to allow them to efficiently exert their
crucial roles in development, inflammatory responses and tumor metastasis. Cell
migration through physically challenging contexts requires energy. However, how
the metabolic reprogramming that underlies in vivo cell invasion is controlled
is still unanswered. In my PhD project, I identify a novel conserved metabolic
shift in Drosophila melanogaster immune cells that by modulating their bioenergetic
potential controls developmentally programmed tissue invasion. We show that this
regulation requires a novel conserved nuclear protein, named Atossa. Atossa enhances
the transcription of a set of proteins, including an RNA helicase Porthos and
two metabolic enzymes, each of which increases the tissue invasion of leading
Drosophila macrophages and can rescue the atossa mutant phenotype. Porthos selectively
regulates the translational efficiency of a subset of mRNAs containing a 5’-UTR
cis-regulatory TOP-like sequence. These 5’TOPL mRNA targets encode mitochondrial-related
proteins, including subunits of mitochondrial oxidative phosphorylation (OXPHOS)
components III and V and other metabolic-related proteins. Porthos powers up mitochondrial
OXPHOS to engender a sufficient ATP supply, which is required for tissue invasion
of leading macrophages. Atossa’s two vertebrate orthologs rescue the invasion
defect. In my PhD project, I elucidate that Atossa displays a conserved developmental
metabolic control to modulate metabolic capacities and the cellular energy state,
through altered transcription and translation, to aid the tissue infiltration
of leading cells into energy demanding barriers.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
- _id: E-Lib
- _id: CampIT
acknowledgement: Also, I would like to express my appreciation and thanks to the Bioimaging
facility, LSF, GSO, library, and IT people at IST Austria.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Shamsi
full_name: Emtenani, Shamsi
id: 49D32318-F248-11E8-B48F-1D18A9856A87
last_name: Emtenani
orcid: 0000-0001-6981-6938
citation:
ama: Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion.
2020. doi:10.15479/AT:ISTA:8983
apa: Emtenani, S. (2020). Metabolic regulation of Drosophila macrophage tissue
invasion. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8983
chicago: Emtenani, Shamsi. “Metabolic Regulation of Drosophila Macrophage Tissue
Invasion.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8983.
ieee: S. Emtenani, “Metabolic regulation of Drosophila macrophage tissue invasion,”
Institute of Science and Technology Austria, 2020.
ista: Emtenani S. 2020. Metabolic regulation of Drosophila macrophage tissue invasion.
Institute of Science and Technology Austria.
mla: Emtenani, Shamsi. Metabolic Regulation of Drosophila Macrophage Tissue Invasion.
Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8983.
short: S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion,
Institute of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-12-30T15:41:26Z
date_published: 2020-12-30T00:00:00Z
date_updated: 2026-04-08T07:28:54Z
day: '30'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: DaSi
doi: 10.15479/AT:ISTA:8983
file:
- access_level: open_access
checksum: ec2797ab7a6f253b35df0572b36d1b43
content_type: application/pdf
creator: semtenan
date_created: 2020-12-30T15:34:01Z
date_updated: 2021-12-31T23:30:04Z
embargo: 2021-12-30
file_id: '8984'
file_name: Thesis_Shamsi_Emtenani_pdfA.pdf
file_size: 10848175
relation: main_file
- access_level: closed
checksum: cc30e6608a9815414024cf548dff3b3a
content_type: application/pdf
creator: semtenan
date_created: 2020-12-30T15:37:36Z
date_updated: 2021-12-31T23:30:04Z
embargo_to: open_access
file_id: '8985'
file_name: Thesis_Shamsi_Emtenani_source file.pdf
file_size: 10073648
relation: source_file
file_date_updated: 2021-12-31T23:30:04Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '141'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '8557'
relation: part_of_dissertation
status: public
- id: '6187'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
title: Metabolic regulation of Drosophila macrophage tissue invasion
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '8557'
abstract:
- lang: eng
text: The infiltration of immune cells into tissues underlies the establishment
of tissue resident macrophages, and responses to infections and tumors. Yet the
mechanisms immune cells utilize to negotiate tissue barriers in living organisms
are not well understood, and a role for cortical actin has not been examined.
Here we find that the tissue invasion of Drosophila macrophages, also known as
plasmatocytes or hemocytes, utilizes enhanced cortical F-actin levels stimulated
by the Drosophila member of the fos proto oncogene transcription factor family
(Dfos, Kayak). RNA sequencing analysis and live imaging show that Dfos enhances
F-actin levels around the entire macrophage surface by increasing mRNA levels
of the membrane spanning molecular scaffold tetraspanin TM4SF, and the actin cross-linking
filamin Cheerio which are themselves required for invasion. Cortical F-actin levels
are critical as expressing a dominant active form of Diaphanous, a actin polymerizing
Formin, can rescue the Dfos Dominant Negative macrophage invasion defect. In vivo
imaging shows that Dfos is required to enhance the efficiency of the initial phases
of macrophage tissue entry. Genetic evidence argues that this Dfos-induced program
in macrophages counteracts the constraint produced by the tension of surrounding
tissues and buffers the mechanical properties of the macrophage nucleus from affecting
tissue entry. We thus identify tuning the cortical actin cytoskeleton through
Dfos as a key process allowing efficient forward movement of an immune cell into
surrounding tissues.
acknowledged_ssus:
- _id: LifeSc
acknowledgement: 'We thank the following for their contributions: The Drosophila Genomics
Resource Center supported by NIH grant 2P40OD010949-10A1 for plasmids, K. Brueckner.
B. Stramer, M. Uhlirova, O. Schuldiner, the Bloomington Drosophila Stock Center
supported by NIH grant P40OD018537 and the Vienna Drosophila Resource Center for
fly stocks, FlyBase (Thurmond et al., 2019) for essential genomic information, and
the BDGP in situ database for data (Tomancak et al., 2002, 2007). For antibodies,
we thank the Developmental Studies Hybridoma Bank, which was created by the Eunice
Kennedy Shriver National Institute of Child Health and Human Development of the
NIH, and is maintained at the University of Iowa, as well as J. Zeitlinger for her
generous gift of Dfos antibody. We thank the Vienna BioCenter Core Facilities for
RNA sequencing and analysis and the Life Scientific Service Units at IST Austria
for technical support and assistance with microscopy and FACS analysis. We thank
C.P. Heisenberg, P. Martin, M. Sixt and Siekhaus group members for discussions and
T.Hurd, A. Ratheesh and P. Rangan for comments on the manuscript. A.G. was supported
by the Austrian Science Fund (FWF) grant DASI_FWF01_P29638S, D.E.S. by Marie Curie
CIG 334077/IRTIM. M.S. is supported by the FWF, PhD program W1212 915 and the European
Research Council (ERC) Advanced grant (ERC-2015-AdG TNT-Tumors 694883). S.W. is
supported by an OEAW, DOC fellowship.'
article_processing_charge: No
author:
- first_name: Vera
full_name: Belyaeva, Vera
id: 47F080FE-F248-11E8-B48F-1D18A9856A87
last_name: Belyaeva
- first_name: Stephanie
full_name: Wachner, Stephanie
id: 2A95E7B0-F248-11E8-B48F-1D18A9856A87
last_name: Wachner
- first_name: Igor
full_name: Gridchyn, Igor
id: 4B60654C-F248-11E8-B48F-1D18A9856A87
last_name: Gridchyn
orcid: 0000-0002-1807-1929
- first_name: Markus
full_name: Linder, Markus
last_name: Linder
- first_name: Shamsi
full_name: Emtenani, Shamsi
id: 49D32318-F248-11E8-B48F-1D18A9856A87
last_name: Emtenani
orcid: 0000-0001-6981-6938
- first_name: Attila
full_name: György, Attila
id: 3BCEDBE0-F248-11E8-B48F-1D18A9856A87
last_name: György
orcid: 0000-0002-1819-198X
- first_name: Maria
full_name: Sibilia, Maria
last_name: Sibilia
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
citation:
ama: Belyaeva V, Wachner S, Gridchyn I, et al. Cortical actin properties controlled
by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance.
bioRxiv. doi:10.1101/2020.09.18.301481
apa: Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György,
A., … Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila
Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv.
https://doi.org/10.1101/2020.09.18.301481
chicago: Belyaeva, Vera, Stephanie Wachner, Igor Gridchyn, Markus Linder, Shamsi
Emtenani, Attila György, Maria Sibilia, and Daria E Siekhaus. “Cortical Actin
Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding
Tissue Resistance.” BioRxiv, n.d. https://doi.org/10.1101/2020.09.18.301481.
ieee: V. Belyaeva et al., “Cortical actin properties controlled by Drosophila
Fos aid macrophage infiltration against surrounding tissue resistance,” bioRxiv.
.
ista: Belyaeva V, Wachner S, Gridchyn I, Linder M, Emtenani S, György A, Sibilia
M, Siekhaus DE. Cortical actin properties controlled by Drosophila Fos aid macrophage
infiltration against surrounding tissue resistance. bioRxiv, 10.1101/2020.09.18.301481.
mla: Belyaeva, Vera, et al. “Cortical Actin Properties Controlled by Drosophila
Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” BioRxiv,
doi:10.1101/2020.09.18.301481.
short: V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György,
M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
corr_author: '1'
date_created: 2020-09-23T09:36:47Z
date_published: 2020-09-18T00:00:00Z
date_updated: 2026-06-29T22:31:04Z
day: '18'
department:
- _id: DaSi
- _id: JoCs
doi: 10.1101/2020.09.18.301481
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/2020.09.18.301481
month: '09'
oa: 1
oa_version: Preprint
project:
- _id: 253B6E48-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29638
name: The role of Drosophila TNF alpha in immune cell invasion
- _id: 2536F660-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '334077'
name: Investigating the role of transporters in invasive migration through junctions
- _id: 26199CA4-B435-11E9-9278-68D0E5697425
grant_number: '24800'
name: Implications of a TGFβ/Dpp-activated subpopulation for Drosophila macrophage
migration
publication: bioRxiv
publication_status: draft
related_material:
record:
- id: '10614'
relation: later_version
status: public
- id: '8983'
relation: dissertation_contains
status: public
status: public
title: Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration
against surrounding tissue resistance
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8532'
abstract:
- lang: eng
text: The molecular anatomy of synapses defines their characteristics in transmission
and plasticity. Precise measurements of the number and distribution of synaptic
proteins are important for our understanding of synapse heterogeneity within and
between brain regions. Freeze–fracture replica immunogold electron microscopy
enables us to analyze them quantitatively on a two-dimensional membrane surface.
Here, we introduce Darea software, which utilizes deep learning for analysis of
replica images and demonstrate its usefulness for quick measurements of the pre-
and postsynaptic areas, density and distribution of gold particles at synapses
in a reproducible manner. We used Darea for comparing glutamate receptor and calcium
channel distributions between hippocampal CA3-CA1 spine synapses on apical and
basal dendrites, which differ in signaling pathways involved in synaptic plasticity.
We found that apical synapses express a higher density of α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic
acid (AMPA) receptors and a stronger increase of AMPA receptors with synaptic
size, while basal synapses show a larger increase in N-methyl-D-aspartate (NMDA)
receptors with size. Interestingly, AMPA and NMDA receptors are segregated within
postsynaptic sites and negatively correlated in density among both apical and
basal synapses. In the presynaptic sites, Cav2.1 voltage-gated calcium channels
show similar densities in apical and basal synapses with distributions consistent
with an exclusion zone model of calcium channel-release site topography.
acknowledgement: "This research was funded by Austrian Academy of Sciences, DOC fellowship
to D.K., European Research\r\nCouncil Advanced Grant 694539 and European Union Human
Brain Project (HBP) SGA2 785907 to R.S.\r\nWe acknowledge Elena Hollergschwandtner
for technical support."
article_number: '6737'
article_processing_charge: No
article_type: original
author:
- first_name: David
full_name: Kleindienst, David
id: 42E121A4-F248-11E8-B48F-1D18A9856A87
last_name: Kleindienst
- first_name: Jacqueline-Claire
full_name: Montanaro-Punzengruber, Jacqueline-Claire
id: 3786AB44-F248-11E8-B48F-1D18A9856A87
last_name: Montanaro-Punzengruber
- first_name: Pradeep
full_name: Bhandari, Pradeep
id: 45EDD1BC-F248-11E8-B48F-1D18A9856A87
last_name: Bhandari
orcid: 0000-0003-0863-4481
- first_name: Matthew J
full_name: Case, Matthew J
id: 44B7CA5A-F248-11E8-B48F-1D18A9856A87
last_name: Case
- first_name: Yugo
full_name: Fukazawa, Yugo
last_name: Fukazawa
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
citation:
ama: Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y,
Shigemoto R. Deep learning-assisted high-throughput analysis of freeze-fracture
replica images applied to glutamate receptors and calcium channels at hippocampal
synapses. International Journal of Molecular Sciences. 2020;21(18). doi:10.3390/ijms21186737
apa: Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J.,
Fukazawa, Y., & Shigemoto, R. (2020). Deep learning-assisted high-throughput
analysis of freeze-fracture replica images applied to glutamate receptors and
calcium channels at hippocampal synapses. International Journal of Molecular
Sciences. MDPI. https://doi.org/10.3390/ijms21186737
chicago: Kleindienst, David, Jacqueline-Claire Montanaro-Punzengruber, Pradeep Bhandari,
Matthew J Case, Yugo Fukazawa, and Ryuichi Shigemoto. “Deep Learning-Assisted
High-Throughput Analysis of Freeze-Fracture Replica Images Applied to Glutamate
Receptors and Calcium Channels at Hippocampal Synapses.” International Journal
of Molecular Sciences. MDPI, 2020. https://doi.org/10.3390/ijms21186737.
ieee: D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M. J. Case, Y.
Fukazawa, and R. Shigemoto, “Deep learning-assisted high-throughput analysis of
freeze-fracture replica images applied to glutamate receptors and calcium channels
at hippocampal synapses,” International Journal of Molecular Sciences,
vol. 21, no. 18. MDPI, 2020.
ista: Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y,
Shigemoto R. 2020. Deep learning-assisted high-throughput analysis of freeze-fracture
replica images applied to glutamate receptors and calcium channels at hippocampal
synapses. International Journal of Molecular Sciences. 21(18), 6737.
mla: Kleindienst, David, et al. “Deep Learning-Assisted High-Throughput Analysis
of Freeze-Fracture Replica Images Applied to Glutamate Receptors and Calcium Channels
at Hippocampal Synapses.” International Journal of Molecular Sciences,
vol. 21, no. 18, 6737, MDPI, 2020, doi:10.3390/ijms21186737.
short: D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y.
Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
corr_author: '1'
date_created: 2020-09-20T22:01:35Z
date_published: 2020-09-14T00:00:00Z
date_updated: 2026-06-29T22:31:06Z
day: '14'
ddc:
- '570'
department:
- _id: RySh
doi: 10.3390/ijms21186737
ec_funded: 1
external_id:
isi:
- '000579945300001'
file:
- access_level: open_access
checksum: 2e4f62f3cfe945b7391fc3070e5a289f
content_type: application/pdf
creator: dernst
date_created: 2020-09-21T14:08:58Z
date_updated: 2020-09-21T14:08:58Z
file_id: '8551'
file_name: 2020_JournMolecSciences_Kleindienst.pdf
file_size: 5748456
relation: main_file
success: 1
file_date_updated: 2020-09-21T14:08:58Z
has_accepted_license: '1'
intvolume: ' 21'
isi: 1
issue: '18'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 25CA28EA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694539'
name: 'In situ analysis of single channel subunit composition in neurons: physiological
implication in synaptic plasticity and behaviour'
- _id: 25D32BC0-B435-11E9-9278-68D0E5697425
name: Mechanism of formation and maintenance of input side-dependent asymmetry in
the hippocampus
- _id: 26436750-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '785907'
name: Human Brain Project Specific Grant Agreement 2
publication: International Journal of Molecular Sciences
publication_identifier:
eissn:
- 1422-0067
issn:
- 1661-6596
publication_status: published
publisher: MDPI
quality_controlled: '1'
related_material:
record:
- id: '9562'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Deep learning-assisted high-throughput analysis of freeze-fracture replica
images applied to glutamate receptors and calcium channels at hippocampal synapses
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2020'
...
---
_id: '8728'
abstract:
- lang: eng
text: Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are
two standard formalisms in system analysis. Their main associated quantitative
objectives are hitting probabilities, discounted sum, and mean payoff. Although
there are many techniques for computing these objectives in general MCs/MDPs,
they have not been thoroughly studied in terms of parameterized algorithms, particularly
when treewidth is used as the parameter. This is in sharp contrast to qualitative
objectives for MCs, MDPs and graph games, for which treewidth-based algorithms
yield significant complexity improvements. In this work, we show that treewidth
can also be used to obtain faster algorithms for the quantitative problems. For
an MC with n states and m transitions, we show that each of the classical quantitative
objectives can be computed in O((n+m)⋅t2) time, given a tree decomposition
of the MC with width t. Our results also imply a bound of O(κ⋅(n+m)⋅t2) for
each objective on MDPs, where κ is the number of strategy-iteration refinements
required for the given input and objective. Finally, we make an experimental evaluation
of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark
suite. Our experiments show that on low-treewidth MCs and MDPs, our algorithms
outperform existing well-established methods by one or more orders of magnitude.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ali
full_name: Asadi, Ali
last_name: Asadi
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Kiarash
full_name: Mohammadi, Kiarash
last_name: Mohammadi
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: 'Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster
algorithms for quantitative analysis of MCs and MDPs with small treewidth. In:
Automated Technology for Verification and Analysis. Vol 12302. Springer
Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14'
apa: 'Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis,
A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small
treewidth. In Automated Technology for Verification and Analysis (Vol.
12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/10.1007/978-3-030-59152-6_14'
chicago: Asadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi,
and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Analysis of MCs
and MDPs with Small Treewidth.” In Automated Technology for Verification and
Analysis, 12302:253–70. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-59152-6_14.
ieee: A. Asadi, K. Chatterjee, A. K. Goharshady, K. Mohammadi, and A. Pavlogiannis,
“Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth,”
in Automated Technology for Verification and Analysis, Hanoi, Vietnam,
2020, vol. 12302, pp. 253–270.
ista: 'Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. 2020.
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth.
Automated Technology for Verification and Analysis. ATVA: Automated Technology
for Verification and Analysis, LNCS, vol. 12302, 253–270.'
mla: Asadi, Ali, et al. “Faster Algorithms for Quantitative Analysis of MCs and
MDPs with Small Treewidth.” Automated Technology for Verification and Analysis,
vol. 12302, Springer Nature, 2020, pp. 253–70, doi:10.1007/978-3-030-59152-6_14.
short: A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis,
in:, Automated Technology for Verification and Analysis, Springer Nature, 2020,
pp. 253–270.
conference:
end_date: 2020-10-23
location: Hanoi, Vietnam
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2020-10-19
date_created: 2020-11-06T07:30:05Z
date_published: 2020-10-12T00:00:00Z
date_updated: 2026-06-29T22:31:09Z
day: '12'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-59152-6_14
external_id:
isi:
- '000723555700014'
file:
- access_level: open_access
checksum: ae83f27e5b189d5abc2e7514f1b7e1b5
content_type: application/pdf
creator: dernst
date_created: 2020-11-06T07:41:03Z
date_updated: 2020-11-06T07:41:03Z
file_id: '8729'
file_name: 2020_LNCS_ATVA_Asadi_accepted.pdf
file_size: 726648
relation: main_file
success: 1
file_date_updated: 2020-11-06T07:41:03Z
has_accepted_license: '1'
intvolume: ' 12302'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 253-270
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 267066CE-B435-11E9-9278-68D0E5697425
name: Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies
publication: Automated Technology for Verification and Analysis
publication_identifier:
eisbn:
- '9783030591526'
eissn:
- 1611-3349
isbn:
- '9783030591519'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 12302
year: '2020'
...
---
_id: '8089'
abstract:
- lang: eng
text: "We consider the classical problem of invariant generation for programs with
polynomial assignments and focus on synthesizing invariants that are a conjunction
of strict polynomial inequalities. We present a sound and semi-complete method
based on positivstellensaetze, i.e. theorems in semi-algebraic geometry that characterize
positive polynomials over a semi-algebraic set.\r\n\r\nOn the theoretical side,
the worst-case complexity of our approach is subexponential, whereas the worst-case
complexity of the previous complete method (Kapur, ACA 2004) is doubly-exponential.
Even when restricted to linear invariants, the best previous complexity for complete
invariant generation is exponential (Colon et al, CAV 2003). On the practical
side, we reduce the invariant generation problem to quadratic programming (QCLP),
which is a classical optimization problem with many industrial solvers. We demonstrate
the applicability of our approach by providing experimental results on several
academic benchmarks. To the best of our knowledge, the only previous invariant
generation method that provides completeness guarantees for invariants consisting
of polynomial inequalities is (Kapur, ACA 2004), which relies on quantifier elimination
and cannot even handle toy programs such as our running example."
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Hongfei
full_name: Fu, Hongfei
id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
last_name: Fu
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Ehsan Kafshdar
full_name: Goharshady, Ehsan Kafshdar
last_name: Goharshady
citation:
ama: 'Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation
for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN
Conference on Programming Language Design and Implementation. Association
for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969'
apa: 'Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020).
Polynomial invariant generation for non-deterministic recursive programs. In Proceedings
of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
(pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969'
chicago: Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan
Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive
Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming
Language Design and Implementation, 672–87. Association for Computing Machinery,
2020. https://doi.org/10.1145/3385412.3385969.
ieee: K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial
invariant generation for non-deterministic recursive programs,” in Proceedings
of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
London, United Kingdom, 2020, pp. 672–687.
ista: 'Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant
generation for non-deterministic recursive programs. Proceedings of the 41st ACM
SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming
Language Design and Implementation, 672–687.'
mla: Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic
Recursive Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming
Language Design and Implementation, Association for Computing Machinery, 2020,
pp. 672–87, doi:10.1145/3385412.3385969.
short: K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings
of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Association for Computing Machinery, 2020, pp. 672–687.
conference:
end_date: 2020-06-20
location: London, United Kingdom
name: 'PLDI: Programming Language Design and Implementation'
start_date: 2020-06-15
date_created: 2020-07-05T22:00:45Z
date_published: 2020-06-11T00:00:00Z
date_updated: 2026-06-29T22:31:09Z
day: '11'
department:
- _id: KrCh
doi: 10.1145/3385412.3385969
external_id:
arxiv:
- '1902.04373'
isi:
- '000614622300045'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1902.04373
month: '06'
oa: 1
oa_version: Preprint
page: 672-687
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language
Design and Implementation
publication_identifier:
isbn:
- '9781450376136'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Polynomial invariant generation for non-deterministic recursive programs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '7810'
abstract:
- lang: eng
text: "Interprocedural data-flow analyses form an expressive and useful paradigm
of numerous static analysis applications, such as live variables analysis, alias
analysis and null pointers analysis. The most widely-used framework for interprocedural
data-flow analysis is IFDS, which encompasses distributive data-flow functions
over a finite domain. On-demand data-flow analyses restrict the focus of the analysis
on specific program locations and data facts. This setting provides a natural
split between (i) an offline (or preprocessing) phase, where the program is partially
analyzed and analysis summaries are created, and (ii) an online (or query) phase,
where analysis queries arrive on demand and the summaries are used to speed up
answering queries.\r\nIn this work, we consider on-demand IFDS analyses where
the queries concern program locations of the same procedure (aka same-context
queries). We exploit the fact that flow graphs of programs have low treewidth
to develop faster algorithms that are space and time optimal for many common data-flow
analyses, in both the preprocessing and the query phase. We also use treewidth
to develop query solutions that are embarrassingly parallelizable, i.e. the total
work for answering each query is split to a number of threads such that each thread
performs only a constant amount of work. Finally, we implement a static analyzer
based on our algorithms, and perform a series of on-demand analysis experiments
on standard benchmarks. Our experimental results show a drastic speed-up of the
queries after only a lightweight preprocessing phase, which significantly outperforms
existing techniques."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Rasmus
full_name: Ibsen-Jensen, Rasmus
id: 3B699956-F248-11E8-B48F-1D18A9856A87
last_name: Ibsen-Jensen
orcid: 0000-0003-4783-0389
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly
parallel algorithms for on-demand data-flow analysis. In: European Symposium
on Programming. Vol 12075. Springer Nature; 2020:112-140. doi:10.1007/978-3-030-44914-8_5'
apa: 'Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A.
(2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis.
In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin,
Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen,
and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand
Data-Flow Analysis.” In European Symposium on Programming, 12075:112–40.
Springer Nature, 2020. https://doi.org/10.1007/978-3-030-44914-8_5.
ieee: K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal
and perfectly parallel algorithms for on-demand data-flow analysis,” in European
Symposium on Programming, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.
ista: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal
and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium
on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.'
mla: Chatterjee, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for
On-Demand Data-Flow Analysis.” European Symposium on Programming, vol.
12075, Springer Nature, 2020, pp. 112–40, doi:10.1007/978-3-030-44914-8_5.
short: K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European
Symposium on Programming, Springer Nature, 2020, pp. 112–140.
conference:
end_date: 2020-04-30
location: Dublin, Ireland
name: 'ESOP: Programming Languages and Systems'
start_date: 2020-04-25
corr_author: '1'
date_created: 2020-05-10T22:00:50Z
date_published: 2020-04-18T00:00:00Z
date_updated: 2026-06-29T22:31:10Z
day: '18'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-44914-8_5
external_id:
isi:
- '000681656800005'
file:
- access_level: open_access
checksum: 8618b80f4cf7b39a60e61a6445ad9807
content_type: application/pdf
creator: dernst
date_created: 2020-05-26T13:34:48Z
date_updated: 2020-07-14T12:48:03Z
file_id: '7895'
file_name: 2020_LNCS_Chatterjee.pdf
file_size: 651250
relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: ' 12075'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 112-140
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
Contracts
- _id: 267066CE-B435-11E9-9278-68D0E5697425
name: Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies
publication: European Symposium on Programming
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030449131'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Optimal and perfectly parallel algorithms for on-demand data-flow analysis
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: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12075
year: '2020'
...
---
_id: '6918'
abstract:
- lang: eng
text: "We consider the classic problem of Network Reliability. A network is given
together with a source vertex, one or more target vertices, and probabilities
assigned to each of the edges. Each edge of the network is operable with its associated
probability and the problem is to determine the probability of having at least
one source-to-target path that is entirely composed of operable edges. This problem
is known to be NP-hard.\r\n\r\nWe provide a novel scalable algorithm to solve
the Network Reliability problem when the treewidth of the underlying network is
small. We also show our algorithm’s applicability for real-world transit networks
that have small treewidth, including the metro networks of major cities, such
as London and Tokyo. Our algorithm leverages tree decompositions to shrink the
original graph into much smaller graphs, for which reliability can be efficiently
and exactly computed using a brute force method. To the best of our knowledge,
this is the first exact algorithm for Network Reliability that can scale to handle
real-world instances of the problem."
acknowledgement: We are grateful to the anonymous reviewers for their comments, which
significantly improved the present work. The research was partially supported by
the EPSRC Early Career Fellowship EP/R023379/1, grant no. SC7-1718-01 of the London
Mathematical Society, an IBM PhD Fellowship, and a DOC Fellowship of the Austrian
Academy of Sciences (ÖAW).
article_number: '106665'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Fatemeh
full_name: Mohammadi, Fatemeh
last_name: Mohammadi
citation:
ama: Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability
in small treewidth. Reliability Engineering and System Safety. 2020;193.
doi:10.1016/j.ress.2019.106665
apa: Goharshady, A. K., & Mohammadi, F. (2020). An efficient algorithm for computing
network reliability in small treewidth. Reliability Engineering and System
Safety. Elsevier. https://doi.org/10.1016/j.ress.2019.106665
chicago: Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm
for Computing Network Reliability in Small Treewidth.” Reliability Engineering
and System Safety. Elsevier, 2020. https://doi.org/10.1016/j.ress.2019.106665.
ieee: A. K. Goharshady and F. Mohammadi, “An efficient algorithm for computing network
reliability in small treewidth,” Reliability Engineering and System Safety,
vol. 193. Elsevier, 2020.
ista: Goharshady AK, Mohammadi F. 2020. An efficient algorithm for computing network
reliability in small treewidth. Reliability Engineering and System Safety. 193,
106665.
mla: Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for
Computing Network Reliability in Small Treewidth.” Reliability Engineering
and System Safety, vol. 193, 106665, Elsevier, 2020, doi:10.1016/j.ress.2019.106665.
short: A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety
193 (2020).
date_created: 2019-09-29T22:00:44Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2026-06-29T22:31:10Z
day: '01'
department:
- _id: KrCh
doi: 10.1016/j.ress.2019.106665
external_id:
arxiv:
- '1712.09692'
isi:
- '000501641400050'
intvolume: ' 193'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1712.09692
month: '01'
oa: 1
oa_version: Preprint
project:
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
Contracts
publication: Reliability Engineering and System Safety
publication_identifier:
issn:
- 0951-8320
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: An efficient algorithm for computing network reliability in small treewidth
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 193
year: '2020'
...
---
_id: '9750'
abstract:
- lang: eng
text: Tension of the actomyosin cell cortex plays a key role in determining cell-cell
contact growth and size. The level of cortical tension outside of the cell-cell
contact, when pulling at the contact edge, scales with the total size to which
a cell-cell contact can grow1,2. Here we show in zebrafish primary germ layer
progenitor cells that this monotonic relationship only applies to a narrow range
of cortical tension increase, and that above a critical threshold, contact size
inversely scales with cortical tension. This switch from cortical tension increasing
to decreasing progenitor cell-cell contact size is caused by cortical tension
promoting E-cadherin anchoring to the actomyosin cytoskeleton, thereby increasing
clustering and stability of E-cadherin at the contact. Once tension-mediated E-cadherin
stabilization at the contact exceeds a critical threshold level, the rate by which
the contact expands in response to pulling forces from the cortex sharply drops,
leading to smaller contacts at physiologically relevant timescales of contact
formation. Thus, the activity of cortical tension in expanding cell-cell contact
size is limited by tension stabilizing E-cadherin-actin complexes at the contact.
acknowledged_ssus:
- _id: Bio
- _id: EM-Fac
- _id: SSU
acknowledgement: We would like to thank Edouard Hannezo for discussions, Shayan Shami
Pour and Daniel Capek for help with data analysis, Vanessa Barone and other members
of the Heisenberg laboratory for thoughtful discussions and comments on the manuscript.
We also thank Jack Merrin for preparing the microwells, and the Scientific Service
Units at IST Austria, specifically Bioimaging and Electron Microscopy, and the Zebrafish
Facility for continuous support. We acknowledge Hitoshi Morita for the kind gift
of VinculinB-GFP plasmid. This research was supported by an ERC Advanced Grant (MECSPEC)
to C.-P.H, EMBO Long Term grant (ALTF 187-2013) to M.S and IST Fellow Marie-Curie
COFUND No. P_IST_EU01 to J.S.
article_processing_charge: No
author:
- first_name: Jana
full_name: Slovakova, Jana
id: 30F3F2F0-F248-11E8-B48F-1D18A9856A87
last_name: Slovakova
- first_name: Mateusz K
full_name: Sikora, Mateusz K
id: 2F74BCDE-F248-11E8-B48F-1D18A9856A87
last_name: Sikora
- first_name: Silvia
full_name: Caballero Mancebo, Silvia
id: 2F1E1758-F248-11E8-B48F-1D18A9856A87
last_name: Caballero Mancebo
orcid: 0000-0002-5223-3346
- first_name: Gabriel
full_name: Krens, Gabriel
id: 2B819732-F248-11E8-B48F-1D18A9856A87
last_name: Krens
orcid: 0000-0003-4761-5996
- first_name: Walter
full_name: Kaufmann, Walter
id: 3F99E422-F248-11E8-B48F-1D18A9856A87
last_name: Kaufmann
orcid: 0000-0001-9735-5315
- first_name: Karla
full_name: Huljev, Karla
id: 44C6F6A6-F248-11E8-B48F-1D18A9856A87
last_name: Huljev
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: Slovakova J, Sikora MK, Caballero Mancebo S, et al. Tension-dependent stabilization
of E-cadherin limits cell-cell contact expansion. bioRxiv. 2020. doi:10.1101/2020.11.20.391284
apa: Slovakova, J., Sikora, M. K., Caballero Mancebo, S., Krens, G., Kaufmann, W.,
Huljev, K., & Heisenberg, C.-P. J. (2020). Tension-dependent stabilization
of E-cadherin limits cell-cell contact expansion. bioRxiv. Cold Spring
Harbor Laboratory. https://doi.org/10.1101/2020.11.20.391284
chicago: Slovakova, Jana, Mateusz K Sikora, Silvia Caballero Mancebo, Gabriel Krens,
Walter Kaufmann, Karla Huljev, and Carl-Philipp J Heisenberg. “Tension-Dependent
Stabilization of E-Cadherin Limits Cell-Cell Contact Expansion.” BioRxiv.
Cold Spring Harbor Laboratory, 2020. https://doi.org/10.1101/2020.11.20.391284.
ieee: J. Slovakova et al., “Tension-dependent stabilization of E-cadherin
limits cell-cell contact expansion,” bioRxiv. Cold Spring Harbor Laboratory,
2020.
ista: Slovakova J, Sikora MK, Caballero Mancebo S, Krens G, Kaufmann W, Huljev K,
Heisenberg C-PJ. 2020. Tension-dependent stabilization of E-cadherin limits cell-cell
contact expansion. bioRxiv, 10.1101/2020.11.20.391284.
mla: Slovakova, Jana, et al. “Tension-Dependent Stabilization of E-Cadherin Limits
Cell-Cell Contact Expansion.” BioRxiv, Cold Spring Harbor Laboratory, 2020,
doi:10.1101/2020.11.20.391284.
short: J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K.
Huljev, C.-P.J. Heisenberg, BioRxiv (2020).
date_created: 2021-07-29T11:29:50Z
date_published: 2020-11-20T00:00:00Z
date_updated: 2026-06-29T22:31:12Z
day: '20'
department:
- _id: CaHe
- _id: EM-Fac
- _id: Bio
doi: 10.1101/2020.11.20.391284
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/2020.11.20.391284
month: '11'
oa: 1
oa_version: Preprint
page: '41'
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 260F1432-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742573'
name: Interaction and feedback between cell mechanics and fate specification in
vertebrate gastrulation
- _id: 2521E28E-B435-11E9-9278-68D0E5697425
grant_number: 187-2013
name: Modulation of adhesion function in cell-cell contact formation by cortical
tension
publication: bioRxiv
publication_status: published
publisher: Cold Spring Harbor Laboratory
related_material:
record:
- id: '10766'
relation: later_version
status: public
- id: '9623'
relation: dissertation_contains
status: public
status: public
title: Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion
type: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2020'
...
---
OA_place: publisher
_id: '7525'
abstract:
- lang: eng
text: "The medial habenula (MHb) is an evolutionary conserved epithalamic structure
important for the modulation of emotional memory. It is involved in regulation
of anxiety, compulsive behavior, addiction (nicotinic and opioid), sexual and
feeding behavior. MHb receives inputs from septal regions and projects exclusively
to the interpeduncular nucleus (IPN). Distinct sub-regions of the septum project
to different subnuclei of MHb: the bed nucleus of anterior commissure projects
to dorsal MHb and the triangular septum projects to ventral MHb. Furthermore,
the dorsal and ventral MHb project to the lateral and rostral/central IPN, respectively.
Importantly, these projections have unique features of prominent co-release of
different neurotransmitters and requirement of a peculiar type of calcium channel
for release. In general, synaptic neurotransmission requires an activity-dependent
influx of Ca2+ into the presynaptic terminal through voltage-gated calcium channels.
The calcium channel family most commonly involved in neurotransmitter release
comprises three members, P/Q-, N- and R-type with Cav2.1, Cav2.2 and Cav2.3 subunits,
respectively. In contrast to most CNS synapses that mainly express Cav2.1 and/or
Cav2.2, MHb terminals in the IPN exclusively express Cav2.3. In other parts of
the brain, such as the hippocampus, Cav2.3 is mostly located to postsynaptic elements.
This unusual presynaptic location of Cav2.3 in the MHb-IPN pathway implies unique
mechanisms of glutamate release in this pathway. One potential example of such
uniqueness is the facilitation of release by GABAB receptor (GBR) activation.
Presynaptic GBRs usually inhibit the release of neurotransmitters by inhibiting
presynaptic calcium channels. MHb shows the highest expression levels of GBR in
the brain. GBRs comprise two subunits, GABAB1 (GB1) and GABAB2 (GB2), and are
associated with auxiliary subunits, called potassium channel tetramerization domain
containing proteins (KCTD) 8, 12, 12b and 16. Among these four subunits, KCTD12b
is exclusively expressed in ventral MHb, and KCTD8 shows the strongest expression
in the whole MHb among other brain regions, indicating that KCTD8 and KCTD12b
may be involved in the unique mechanisms of neurotransmitter release mediated
by Cav2.3 and regulated by GBRs in this pathway. \r\nIn the present study, we
first verified that neurotransmission in both dorsal and ventral MHb-IPN pathways
is mainly mediated by Cav2.3 using a selective blocker of R-type channels, SNX-482.
We next found that baclofen, a GBR agonist, has facilitatory effects on release
from ventral MHb terminal in rostral IPN, whereas it has inhibitory effects on
release from dorsal MHb terminals in lateral IPN, indicating that KCTD12b expressed
exclusively in ventral MHb may have a role in the facilitatory effects of GBR
activation. In a heterologous expression system using HEK cells, we found that
KCTD8 and KCTD12b but not KCTD12 directly bind with Cav2.3. Pre-embedding immunogold
electron microscopy data show that Cav2.3 and KCTD12b are distributed most densely
in presynaptic active zone in IPN with KCTD12b being present only in rostral/central
but not lateral IPN, whereas GABAB, KCTD8 and KCTD12 are distributed most densely
in perisynaptic sites with KCTD12 present more frequently in postsynaptic elements
and only in rostral/central IPN. In freeze-fracture replica labelling, Cav2.3,
KCTD8 and KCTD12b are co-localized with each other in the same active zone indicating
that they may form complexes regulating vesicle release in rostral IPN. \r\nOn
electrophysiological studies of wild type (WT) mice, we found that paired-pulse
ratio in rostral IPN of KCTD12b knock-out (KO) mice is lower than those of WT
and KCTD8 KO mice. Consistent with this finding, in mean variance analysis, release
probability in rostral IPN of KCTD12b KO mice is higher than that of WT and KCTD8
KO mice. Although paired-pulse ratios are not different between WT and KCTD8 KO
mice, the mean variance analysis revealed significantly lower release probability
in rostral IPN of KCTD8 KO than WT mice. These results demonstrate bidirectional
regulation of Cav2.3-mediated release by KCTD8 and KCTD12b without GBR activation
in rostral IPN. Finally, we examined the baclofen effects in rostral IPN of KCTD8
and KCTD12b KO mice, and found the facilitation of release remained in both KO
mice, indicating that the peculiar effects of the GBR activation in this pathway
do not depend on the selective expression of these KCTD subunits in ventral MHb.
However, we found that presynaptic potentiation of evoked EPSC amplitude by baclofen
falls to baseline after washout faster in KCTD12b KO mice than WT, KCTD8 KO and
KCTD8/12b double KO mice. This result indicates that KCTD12b is involved in sustained
potentiation of vesicle release by GBR activation, whereas KCTD8 is involved in
its termination in the absence of KCTD12b. Consistent with these functional findings,
replica labelling revealed an increase in density of KCTD8, but not Cav2.3 or
GBR at active zone in rostral IPN of KCTD12b KO mice compared with that of WT
mice, suggesting that increased association of KCTD8 with Cav2.3 facilitates the
release probability and termination of the GBR effect in the absence of KCTD12b.\r\nIn
summary, our study provided new insights into the physiological roles of presynaptic
Cav2.3, GBRs and their auxiliary subunits KCTDs at an evolutionary conserved neuronal
circuit. Future studies will be required to identify the exact molecular mechanism
underlying the GBR-mediated presynaptic potentiation on ventral MHb terminals.
It remains to be determined whether the prominent presence of presynaptic KCTDs
at active zone could exert similar neuromodulatory functions in different pathways
of the brain.\r\n"
acknowledged_ssus:
- _id: EM-Fac
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Pradeep
full_name: Bhandari, Pradeep
id: 45EDD1BC-F248-11E8-B48F-1D18A9856A87
last_name: Bhandari
orcid: 0000-0003-0863-4481
citation:
ama: Bhandari P. Localization and functional role of Cav2.3 in the medial habenula
to interpeduncular nucleus pathway. 2020. doi:10.15479/AT:ISTA:7525
apa: Bhandari, P. (2020). Localization and functional role of Cav2.3 in the medial
habenula to interpeduncular nucleus pathway. Institute of Science and Technology
Austria. https://doi.org/10.15479/AT:ISTA:7525
chicago: Bhandari, Pradeep. “Localization and Functional Role of Cav2.3 in the Medial
Habenula to Interpeduncular Nucleus Pathway.” Institute of Science and Technology
Austria, 2020. https://doi.org/10.15479/AT:ISTA:7525.
ieee: P. Bhandari, “Localization and functional role of Cav2.3 in the medial habenula
to interpeduncular nucleus pathway,” Institute of Science and Technology Austria,
2020.
ista: Bhandari P. 2020. Localization and functional role of Cav2.3 in the medial
habenula to interpeduncular nucleus pathway. Institute of Science and Technology
Austria.
mla: Bhandari, Pradeep. Localization and Functional Role of Cav2.3 in the Medial
Habenula to Interpeduncular Nucleus Pathway. Institute of Science and Technology
Austria, 2020, doi:10.15479/AT:ISTA:7525.
short: P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula
to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria,
2020.
corr_author: '1'
date_created: 2020-02-26T10:56:37Z
date_published: 2020-02-28T00:00:00Z
date_updated: 2026-04-08T07:27:27Z
day: '28'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: RySh
doi: 10.15479/AT:ISTA:7525
file:
- access_level: open_access
checksum: 4589234fdb12b4ad72273b311723a7b4
content_type: application/pdf
creator: pbhandari
date_created: 2020-02-28T08:37:53Z
date_updated: 2021-03-01T23:30:04Z
embargo: 2021-02-28
file_id: '7538'
file_name: Pradeep Bhandari Thesis.pdf
file_size: 9646346
relation: main_file
title: Localization and functional role of Cav2.3 in the medial habenula to interpeduncular
nucleus pathway
- access_level: closed
checksum: aa79490553ca0a5c9b6fbcd152e93928
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: pbhandari
date_created: 2020-02-28T08:47:14Z
date_updated: 2021-03-01T23:30:04Z
embargo_to: open_access
file_id: '7539'
file_name: Pradeep Bhandari Thesis.docx
file_size: 35252164
relation: source_file
title: Localization and functional role of Cav2.3 in the medial habenula to interpeduncular
nucleus pathway
file_date_updated: 2021-03-01T23:30:04Z
has_accepted_license: '1'
keyword:
- Cav2.3
- medial habenula (MHb)
- interpeduncular nucleus (IPN)
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: '79'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
status: public
supervisor:
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
title: Localization and functional role of Cav2.3 in the medial habenula to interpeduncular
nucleus pathway
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '7426'
abstract:
- lang: eng
text: This paper presents a novel abstraction technique for analyzing Lyapunov and
asymptotic stability of polyhedral switched systems. A polyhedral switched system
is a hybrid system in which the continuous dynamics is specified by polyhedral
differential inclusions, the invariants and guards are specified by polyhedral
sets and the switching between the modes do not involve reset of variables. A
finite state weighted graph abstracting the polyhedral switched system is constructed
from a finite partition of the state–space, such that the satisfaction of certain
graph conditions, such as the absence of cycles with product of weights on the
edges greater than (or equal) to 1, implies the stability of the system. However,
the graph is in general conservative and hence, the violation of the graph conditions
does not imply instability. If the analysis fails to establish stability due to
the conservativeness in the approximation, a counterexample (cycle with product
of edge weights greater than or equal to 1) indicating a potential reason for
the failure is returned. Further, a more precise approximation of the switched
system can be constructed by considering a finer partition of the state–space
in the construction of the finite weighted graph. We present experimental results
on analyzing stability of switched systems using the above method.
article_number: '100856'
article_processing_charge: No
article_type: original
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: Pavithra
full_name: Prabhakar, Pavithra
last_name: Prabhakar
citation:
ama: 'Garcia Soto M, Prabhakar P. Abstraction based verification of stability of
polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 2020;36(5).
doi:10.1016/j.nahs.2020.100856'
apa: 'Garcia Soto, M., & Prabhakar, P. (2020). Abstraction based verification
of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems.
Elsevier. https://doi.org/10.1016/j.nahs.2020.100856'
chicago: 'Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification
of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems.
Elsevier, 2020. https://doi.org/10.1016/j.nahs.2020.100856.'
ieee: 'M. Garcia Soto and P. Prabhakar, “Abstraction based verification of stability
of polyhedral switched systems,” Nonlinear Analysis: Hybrid Systems, vol.
36, no. 5. Elsevier, 2020.'
ista: 'Garcia Soto M, Prabhakar P. 2020. Abstraction based verification of stability
of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 36(5), 100856.'
mla: 'Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification
of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems,
vol. 36, no. 5, 100856, Elsevier, 2020, doi:10.1016/j.nahs.2020.100856.'
short: 'M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).'
corr_author: '1'
date_created: 2020-02-02T23:00:59Z
date_published: 2020-05-01T00:00:00Z
date_updated: 2025-04-15T06:26:15Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1016/j.nahs.2020.100856
external_id:
isi:
- '000528828600003'
file:
- access_level: open_access
checksum: 560abfddb53f9fe921b6744f59f2cfaa
content_type: application/pdf
creator: dernst
date_created: 2020-10-21T13:16:45Z
date_updated: 2022-05-16T22:30:04Z
embargo: 2022-05-15
file_id: '8688'
file_name: 2020_NAHS_GarciaSoto.pdf
file_size: 818774
relation: main_file
file_date_updated: 2022-05-16T22:30:04Z
has_accepted_license: '1'
intvolume: ' 36'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: 'Nonlinear Analysis: Hybrid Systems'
publication_identifier:
issn:
- 1751-570X
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Abstraction based verification of stability of polyhedral switched systems
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 36
year: '2020'
...
---
_id: '7161'
abstract:
- lang: eng
text: In this paper, we introduce an inertial projection-type method with different
updating strategies for solving quasi-variational inequalities with strongly monotone
and Lipschitz continuous operators in real Hilbert spaces. Under standard assumptions,
we establish different strong convergence results for the proposed algorithm.
Primary numerical experiments demonstrate the potential applicability of our scheme
compared with some related methods in the literature.
acknowledgement: We are grateful to the anonymous referees and editor whose insightful
comments helped to considerably improve an earlier version of this paper. The research
of the first author is supported by an ERC Grant from the Institute of Science and
Technology (IST).
article_processing_charge: No
article_type: original
author:
- first_name: Yekini
full_name: Shehu, Yekini
id: 3FC7CB58-F248-11E8-B48F-1D18A9856A87
last_name: Shehu
orcid: 0000-0001-9224-7139
- first_name: Aviv
full_name: Gibali, Aviv
last_name: Gibali
- first_name: Simone
full_name: Sagratella, Simone
last_name: Sagratella
citation:
ama: Shehu Y, Gibali A, Sagratella S. Inertial projection-type methods for solving
quasi-variational inequalities in real Hilbert spaces. Journal of Optimization
Theory and Applications. 2020;184:877–894. doi:10.1007/s10957-019-01616-6
apa: Shehu, Y., Gibali, A., & Sagratella, S. (2020). Inertial projection-type
methods for solving quasi-variational inequalities in real Hilbert spaces. Journal
of Optimization Theory and Applications. Springer Nature. https://doi.org/10.1007/s10957-019-01616-6
chicago: Shehu, Yekini, Aviv Gibali, and Simone Sagratella. “Inertial Projection-Type
Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal
of Optimization Theory and Applications. Springer Nature, 2020. https://doi.org/10.1007/s10957-019-01616-6.
ieee: Y. Shehu, A. Gibali, and S. Sagratella, “Inertial projection-type methods
for solving quasi-variational inequalities in real Hilbert spaces,” Journal
of Optimization Theory and Applications, vol. 184. Springer Nature, pp. 877–894,
2020.
ista: Shehu Y, Gibali A, Sagratella S. 2020. Inertial projection-type methods for
solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization
Theory and Applications. 184, 877–894.
mla: Shehu, Yekini, et al. “Inertial Projection-Type Methods for Solving Quasi-Variational
Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications,
vol. 184, Springer Nature, 2020, pp. 877–894, doi:10.1007/s10957-019-01616-6.
short: Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications
184 (2020) 877–894.
date_created: 2019-12-09T21:33:44Z
date_published: 2020-03-01T00:00:00Z
date_updated: 2024-11-04T13:52:44Z
day: '01'
ddc:
- '518'
- '510'
- '515'
department:
- _id: VlKo
doi: 10.1007/s10957-019-01616-6
ec_funded: 1
external_id:
isi:
- '000511805200009'
file:
- access_level: open_access
checksum: 9f6dc6c6bf2b48cb3a2091a9ed5feaf2
content_type: application/pdf
creator: dernst
date_created: 2020-10-12T10:40:27Z
date_updated: 2021-03-16T23:30:04Z
embargo: 2021-03-15
file_id: '8647'
file_name: 2020_JourOptimizationTheoryApplic_Shehu.pdf
file_size: 332641
relation: main_file
file_date_updated: 2021-03-16T23:30:04Z
has_accepted_license: '1'
intvolume: ' 184'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 877–894
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '616160'
name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication: Journal of Optimization Theory and Applications
publication_identifier:
eissn:
- 1573-2878
issn:
- 0022-3239
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inertial projection-type methods for solving quasi-variational inequalities
in real Hilbert spaces
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 184
year: '2020'
...
---
OA_place: publisher
OA_type: hybrid
_id: '8002'
abstract:
- lang: eng
text: Wound healing in plant tissues, consisting of rigid cell wall-encapsulated
cells, represents a considerable challenge and occurs through largely unknown
mechanisms distinct from those in animals. Owing to their inability to migrate,
plant cells rely on targeted cell division and expansion to regenerate wounds.
Strict coordination of these wound-induced responses is essential to ensure efficient,
spatially restricted wound healing. Single-cell tracking by live imaging allowed
us to gain mechanistic insight into the wound perception and coordination of wound
responses after laser-based wounding in Arabidopsis root. We revealed a crucial
contribution of the collapse of damaged cells in wound perception and detected
an auxin increase specific to cells immediately adjacent to the wound. This localized
auxin increase balances wound-induced cell expansion and restorative division
rates in a dose-dependent manner, leading to tumorous overproliferation when the
canonical TIR1 auxin signaling is disrupted. Auxin and wound-induced turgor pressure
changes together also spatially define the activation of key components of regeneration,
such as the transcription regulator ERF115. Our observations suggest that the
wound signaling involves the sensing of collapse of damaged cells and a local
auxin signaling activation to coordinate the downstream transcriptional responses
in the immediate wound vicinity.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
article_number: '202003346'
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Lukas
full_name: Hörmayer, Lukas
id: 2EEE7A2A-F248-11E8-B48F-1D18A9856A87
last_name: Hörmayer
orcid: 0000-0001-8295-2926
- first_name: Juan C
full_name: Montesinos López, Juan C
id: 310A8E3E-F248-11E8-B48F-1D18A9856A87
last_name: Montesinos López
orcid: 0000-0001-9179-6099
- first_name: Petra
full_name: Marhavá, Petra
id: 44E59624-F248-11E8-B48F-1D18A9856A87
last_name: Marhavá
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Saiko
full_name: Yoshida, Saiko
id: 2E46069C-F248-11E8-B48F-1D18A9856A87
last_name: Yoshida
orcid: 0000-0001-6111-9353
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J.
Wounding-induced changes in cellular pressure and localized auxin signalling spatially
coordinate restorative divisions in roots. Proceedings of the National Academy
of Sciences of the United States of America. 2020;117(26). doi:10.1073/pnas.2003346117
apa: Hörmayer, L., Montesinos López, J. C., Marhavá, P., Benková, E., Yoshida, S.,
& Friml, J. (2020). Wounding-induced changes in cellular pressure and localized
auxin signalling spatially coordinate restorative divisions in roots. Proceedings
of the National Academy of Sciences of the United States of America. National
Academy of Sciences. https://doi.org/10.1073/pnas.2003346117
chicago: Hörmayer, Lukas, Juan C Montesinos López, Petra Marhavá, Eva Benková, Saiko
Yoshida, and Jiří Friml. “Wounding-Induced Changes in Cellular Pressure and Localized
Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” Proceedings
of the National Academy of Sciences of the United States of America. National
Academy of Sciences, 2020. https://doi.org/10.1073/pnas.2003346117.
ieee: L. Hörmayer, J. C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, and
J. Friml, “Wounding-induced changes in cellular pressure and localized auxin signalling
spatially coordinate restorative divisions in roots,” Proceedings of the National
Academy of Sciences of the United States of America, vol. 117, no. 26. National
Academy of Sciences, 2020.
ista: Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J.
2020. Wounding-induced changes in cellular pressure and localized auxin signalling
spatially coordinate restorative divisions in roots. Proceedings of the National
Academy of Sciences of the United States of America. 117(26), 202003346.
mla: Hörmayer, Lukas, et al. “Wounding-Induced Changes in Cellular Pressure and
Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.”
Proceedings of the National Academy of Sciences of the United States of America,
vol. 117, no. 26, 202003346, National Academy of Sciences, 2020, doi:10.1073/pnas.2003346117.
short: L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J.
Friml, Proceedings of the National Academy of Sciences of the United States of
America 117 (2020).
corr_author: '1'
date_created: 2020-06-22T13:33:52Z
date_published: 2020-06-30T00:00:00Z
date_updated: 2026-06-29T22:31:16Z
day: '30'
ddc:
- '580'
department:
- _id: JiFr
- _id: EvBe
doi: 10.1073/pnas.2003346117
ec_funded: 1
external_id:
isi:
- '000565729700033'
pmid:
- '32541049'
file:
- access_level: open_access
checksum: 908b09437680181de9990915f2113aca
content_type: application/pdf
creator: dernst
date_created: 2020-06-23T11:30:53Z
date_updated: 2020-07-14T12:48:07Z
file_id: '8009'
file_name: 2020_PNAS_Hoermayer.pdf
file_size: 2407102
relation: main_file
file_date_updated: 2020-07-14T12:48:07Z
has_accepted_license: '1'
intvolume: ' 117'
isi: 1
issue: '26'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
- _id: 262EF96E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29988
name: RNA-directed DNA methylation in plant development
publication: Proceedings of the National Academy of Sciences of the United States
of America
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/how-wounded-plants-coordinate-their-healing/
record:
- id: '9992'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Wounding-induced changes in cellular pressure and localized auxin signalling
spatially coordinate restorative divisions in roots
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 117
year: '2020'
...
---
OA_place: publisher
_id: '7258'
abstract:
- lang: eng
text: Many flows encountered in nature and applications are characterized by a chaotic
motion known as turbulence. Turbulent flows generate intense friction with pipe
walls and are responsible for considerable amounts of energy losses at world scale.
The nature of turbulent friction and techniques aimed at reducing it have been
subject of extensive research over the last century, but no definite answer has
been found yet. In this thesis we show that in pipes at moderate turbulent Reynolds
numbers friction is better described by the power law first introduced by Blasius
and not by the Prandtl–von Kármán formula. At higher Reynolds numbers, large scale
motions gradually become more important in the flow and can be related to the
change in scaling of friction. Next, we present a series of new techniques that
can relaminarize turbulence by suppressing a key mechanism that regenerates it
at walls, the lift–up effect. In addition, we investigate the process of turbulence
decay in several experiments and discuss the drag reduction potential. Finally,
we examine the behavior of friction under pulsating conditions inspired by the
human heart cycle and we show that under such circumstances turbulent friction
can be reduced to produce energy savings.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Davide
full_name: Scarselli, Davide
id: 40315C30-F248-11E8-B48F-1D18A9856A87
last_name: Scarselli
orcid: 0000-0001-5227-4271
citation:
ama: Scarselli D. New approaches to reduce friction in turbulent pipe flow. 2020.
doi:10.15479/AT:ISTA:7258
apa: Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe
flow. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7258
chicago: Scarselli, Davide. “New Approaches to Reduce Friction in Turbulent Pipe
Flow.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7258.
ieee: D. Scarselli, “New approaches to reduce friction in turbulent pipe flow,”
Institute of Science and Technology Austria, 2020.
ista: Scarselli D. 2020. New approaches to reduce friction in turbulent pipe flow.
Institute of Science and Technology Austria.
mla: Scarselli, Davide. New Approaches to Reduce Friction in Turbulent Pipe Flow.
Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7258.
short: D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, Institute
of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-01-12T16:07:26Z
date_published: 2020-01-13T00:00:00Z
date_updated: 2026-04-08T07:28:22Z
day: '13'
ddc:
- '532'
degree_awarded: PhD
department:
- _id: BjHo
doi: 10.15479/AT:ISTA:7258
ec_funded: 1
file:
- access_level: closed
checksum: 4df1ab24e9896635106adde5a54615bf
content_type: application/zip
creator: dscarsel
date_created: 2020-01-12T15:57:14Z
date_updated: 2021-01-13T23:30:05Z
embargo_to: open_access
file_id: '7259'
file_name: 2020_Scarselli_Thesis.zip
file_size: 26640830
relation: source_file
- access_level: open_access
checksum: 48659ab98e3414293c7a721385c2fd1c
content_type: application/pdf
creator: dscarsel
date_created: 2020-01-12T15:56:14Z
date_updated: 2021-01-13T23:30:05Z
embargo: 2021-01-12
file_id: '7260'
file_name: 2020_Scarselli_Thesis.pdf
file_size: 8515844
relation: main_file
file_date_updated: 2021-01-13T23:30:05Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: None
page: '174'
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '306589'
name: Decoding the complexity of turbulence at its origin
- _id: 25104D44-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '737549'
name: Eliminating turbulence in oil pipelines
- _id: 25136C54-B435-11E9-9278-68D0E5697425
grant_number: HO 4393/1-2
name: Experimental studies of the turbulence transition and transport processes
in turbulent Taylor-Couette currents
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '422'
relation: part_of_dissertation
status: public
- id: '461'
relation: part_of_dissertation
status: public
- id: '6228'
relation: part_of_dissertation
status: public
- id: '6486'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
title: New approaches to reduce friction in turbulent pipe flow
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '8569'
abstract:
- lang: eng
text: Concerted radial migration of newly born cortical projection neurons, from
their birthplace to their final target lamina, is a key step in the assembly of
the cerebral cortex. The cellular and molecular mechanisms regulating the specific
sequential steps of radial neuronal migration in vivo are however still unclear,
let alone the effects and interactions with the extracellular environment. In
any in vivo context, cells will always be exposed to a complex extracellular environment
consisting of (1) secreted factors acting as potential signaling cues, (2) the
extracellular matrix, and (3) other cells providing cell–cell interaction through
receptors and/or direct physical stimuli. Most studies so far have described and
focused mainly on intrinsic cell-autonomous gene functions in neuronal migration
but there is accumulating evidence that non-cell-autonomous-, local-, systemic-,
and/or whole tissue-wide effects substantially contribute to the regulation of
radial neuronal migration. These non-cell-autonomous effects may differentially
affect cortical neuron migration in distinct cellular environments. However, the
cellular and molecular natures of such non-cell-autonomous mechanisms are mostly
unknown. Furthermore, physical forces due to collective migration and/or community
effects (i.e., interactions with surrounding cells) may play important roles in
neocortical projection neuron migration. In this concise review, we first outline
distinct models of non-cell-autonomous interactions of cortical projection neurons
along their radial migration trajectory during development. We then summarize
experimental assays and platforms that can be utilized to visualize and potentially
probe non-cell-autonomous mechanisms. Lastly, we define key questions to address
in the future.
acknowledgement: AH was a recipient of a DOC Fellowship (24812) of the Austrian Academy
of Sciences. This work also received support from IST Austria institutional funds;
the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework
Programme (FP7/2007–2013) under REA Grant Agreement No. 618444 to SH.
article_number: '574382'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Andi H
full_name: Hansen, Andi H
id: 38853E16-F248-11E8-B48F-1D18A9856A87
last_name: Hansen
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
citation:
ama: Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection
neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental
Biology. 2020;8(9). doi:10.3389/fcell.2020.574382
apa: Hansen, A. H., & Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms
in radial projection neuron migration in the developing cerebral cortex. Frontiers
in Cell and Developmental Biology. Frontiers. https://doi.org/10.3389/fcell.2020.574382
chicago: Hansen, Andi H, and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms
in Radial Projection Neuron Migration in the Developing Cerebral Cortex.” Frontiers
in Cell and Developmental Biology. Frontiers, 2020. https://doi.org/10.3389/fcell.2020.574382.
ieee: A. H. Hansen and S. Hippenmeyer, “Non-cell-autonomous mechanisms in radial
projection neuron migration in the developing cerebral cortex,” Frontiers in
Cell and Developmental Biology, vol. 8, no. 9. Frontiers, 2020.
ista: Hansen AH, Hippenmeyer S. 2020. Non-cell-autonomous mechanisms in radial projection
neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental
Biology. 8(9), 574382.
mla: Hansen, Andi H., and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in
Radial Projection Neuron Migration in the Developing Cerebral Cortex.” Frontiers
in Cell and Developmental Biology, vol. 8, no. 9, 574382, Frontiers, 2020,
doi:10.3389/fcell.2020.574382.
short: A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology
8 (2020).
corr_author: '1'
date_created: 2020-09-26T06:11:07Z
date_published: 2020-09-25T00:00:00Z
date_updated: 2026-06-29T22:31:18Z
day: '25'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.3389/fcell.2020.574382
ec_funded: 1
external_id:
isi:
- '000577915900001'
pmid:
- '33102480'
file:
- access_level: open_access
checksum: 01f731824194c94c81a5da360d997073
content_type: application/pdf
creator: dernst
date_created: 2020-09-28T13:11:17Z
date_updated: 2020-09-28T13:11:17Z
file_id: '8584'
file_name: 2020_Frontiers_Hansen.pdf
file_size: 5527139
relation: main_file
success: 1
file_date_updated: 2020-09-28T13:11:17Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2625A13E-B435-11E9-9278-68D0E5697425
grant_number: '24812'
name: Molecular mechanisms of radial neuronal migration
- _id: 25D61E48-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618444'
name: Molecular Mechanisms of Cerebral Cortex Development
publication: Frontiers in Cell and Developmental Biology
publication_identifier:
issn:
- 2296-634X
publication_status: published
publisher: Frontiers
quality_controlled: '1'
related_material:
record:
- id: '9962'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Non-cell-autonomous mechanisms in radial projection neuron migration in the
developing cerebral cortex
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: 8
year: '2020'
...
---
_id: '10874'
abstract:
- lang: eng
text: In this article we prove an analogue of a theorem of Lachaud, Ritzenthaler,
and Zykin, which allows us to connect invariants of binary octics to Siegel modular
forms of genus 3. We use this connection to show that certain modular functions,
when restricted to the hyperelliptic locus, assume values whose denominators are
products of powers of primes of bad reduction for the associated hyperelliptic
curves. We illustrate our theorem with explicit computations. This work is motivated
by the study of the values of these modular functions at CM points of the Siegel
upper half-space, which, if their denominators are known, can be used to effectively
compute models of (hyperelliptic, in our case) curves with CM.
acknowledgement: "The authors would like to thank the Lorentz Center in Leiden for
hosting the Women in Numbers Europe 2 workshop and providing a productive and enjoyable
environment for our initial work on this project. We are grateful to the organizers
of WIN-E2, Irene Bouw, Rachel Newton and Ekin Ozman, for making this conference
and this collaboration possible. We\r\nthank Irene Bouw and Christophe Ritzenhaler
for helpful discussions. Ionica acknowledges support from the Thomas Jefferson Fund
of the Embassy of France in the United States and the FACE Foundation. Most of Kılıçer’s
work was carried out during her stay in Universiteit Leiden and Carl von Ossietzky
Universität Oldenburg. Massierer was supported by the Australian Research Council
(DP150101689). Vincent is supported by the National Science Foundation under Grant
No. DMS-1802323 and by the Thomas Jefferson Fund of the Embassy of France in the
United States and the FACE Foundation. "
article_number: '9'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sorina
full_name: Ionica, Sorina
last_name: Ionica
- first_name: Pınar
full_name: Kılıçer, Pınar
last_name: Kılıçer
- first_name: Kristin
full_name: Lauter, Kristin
last_name: Lauter
- first_name: Elisa
full_name: Lorenzo García, Elisa
last_name: Lorenzo García
- first_name: Maria-Adelina
full_name: Manzateanu, Maria-Adelina
id: be8d652e-a908-11ec-82a4-e2867729459c
last_name: Manzateanu
- first_name: Maike
full_name: Massierer, Maike
last_name: Massierer
- first_name: Christelle
full_name: Vincent, Christelle
last_name: Vincent
citation:
ama: Ionica S, Kılıçer P, Lauter K, et al. Modular invariants for genus 3 hyperelliptic
curves. Research in Number Theory. 2019;5. doi:10.1007/s40993-018-0146-6
apa: Ionica, S., Kılıçer, P., Lauter, K., Lorenzo García, E., Manzateanu, M.-A.,
Massierer, M., & Vincent, C. (2019). Modular invariants for genus 3 hyperelliptic
curves. Research in Number Theory. Springer Nature. https://doi.org/10.1007/s40993-018-0146-6
chicago: Ionica, Sorina, Pınar Kılıçer, Kristin Lauter, Elisa Lorenzo García, Maria-Adelina
Manzateanu, Maike Massierer, and Christelle Vincent. “Modular Invariants for Genus
3 Hyperelliptic Curves.” Research in Number Theory. Springer Nature, 2019.
https://doi.org/10.1007/s40993-018-0146-6.
ieee: S. Ionica et al., “Modular invariants for genus 3 hyperelliptic curves,”
Research in Number Theory, vol. 5. Springer Nature, 2019.
ista: Ionica S, Kılıçer P, Lauter K, Lorenzo García E, Manzateanu M-A, Massierer
M, Vincent C. 2019. Modular invariants for genus 3 hyperelliptic curves. Research
in Number Theory. 5, 9.
mla: Ionica, Sorina, et al. “Modular Invariants for Genus 3 Hyperelliptic Curves.”
Research in Number Theory, vol. 5, 9, Springer Nature, 2019, doi:10.1007/s40993-018-0146-6.
short: S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M.
Massierer, C. Vincent, Research in Number Theory 5 (2019).
date_created: 2022-03-18T12:09:48Z
date_published: 2019-01-02T00:00:00Z
date_updated: 2023-09-05T15:39:31Z
day: '02'
department:
- _id: TiBr
doi: 10.1007/s40993-018-0146-6
external_id:
arxiv:
- '1807.08986'
intvolume: ' 5'
keyword:
- Algebra and Number Theory
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1807.08986
month: '01'
oa: 1
oa_version: Preprint
publication: Research in Number Theory
publication_identifier:
eissn:
- 2363-9555
issn:
- 2522-0160
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Modular invariants for genus 3 hyperelliptic curves
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 5
year: '2019'
...
---
_id: '10877'
abstract:
- lang: eng
text: 'This report presents the results of a friendly competition for formal verification
of continuous and hybrid systems with piecewise constant dynamics. The friendly
competition took place as part of the workshop Applied Verification for Continuous
and Hybrid Systems (ARCH) in 2019. In this third edition, six tools have been
applied to solve five different benchmark problems in the category for piecewise
constant dynamics: BACH, Lyse, Hy- COMP, PHAVer/SX, PHAVerLite, and VeriSiMPL.
Compared to last year, a new tool has participated (HyCOMP) and PHAVerLite has
replaced PHAVer-lite. The result is a snap- shot of the current landscape of tools
and the types of benchmarks they are particularly suited for. Due to the diversity
of problems, we are not ranking tools, yet the presented results probably provide
the most complete assessment of tools for the safety verification of continuous
and hybrid systems with piecewise constant dynamics up to this date.'
acknowledgement: "The authors gratefully acknowledge \fnancial support by the European
Commission project\r\nUnCoVerCPS under grant number 643921. Lei Bu is supported
by the National Natural Science\r\nFoundation of China (No.61572249)."
alternative_title:
- EPiC Series in Computing
article_processing_charge: No
author:
- first_name: Goran
full_name: Frehse, Goran
last_name: Frehse
- first_name: Alessandro
full_name: Abate, Alessandro
last_name: Abate
- first_name: Dieky
full_name: Adzkiya, Dieky
last_name: Adzkiya
- first_name: Anna
full_name: Becchi, Anna
last_name: Becchi
- first_name: Lei
full_name: Bu, Lei
last_name: Bu
- first_name: Alessandro
full_name: Cimatti, Alessandro
last_name: Cimatti
- first_name: Mirco
full_name: Giacobbe, Mirco
id: 3444EA5E-F248-11E8-B48F-1D18A9856A87
last_name: Giacobbe
orcid: 0000-0001-8180-0904
- first_name: Alberto
full_name: Griggio, Alberto
last_name: Griggio
- first_name: Sergio
full_name: Mover, Sergio
last_name: Mover
- first_name: Muhammad Syifa'ul
full_name: Mufid, Muhammad Syifa'ul
last_name: Mufid
- first_name: Idriss
full_name: Riouak, Idriss
last_name: Riouak
- first_name: Stefano
full_name: Tonetta, Stefano
last_name: Tonetta
- first_name: Enea
full_name: Zaffanella, Enea
last_name: Zaffanella
citation:
ama: 'Frehse G, Abate A, Adzkiya D, et al. ARCH-COMP19 Category Report: Hybrid systems
with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARCH19. 6th
International Workshop on Applied Verification of Continuous and Hybrid Systems.
Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn'
apa: 'Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A., … Zaffanella,
E. (2019). ARCH-COMP19 Category Report: Hybrid systems with piecewise constant
dynamics. In G. Frehse & M. Althoff (Eds.), ARCH19. 6th International Workshop
on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 1–13).
Montreal, Canada: EasyChair. https://doi.org/10.29007/rjwn'
chicago: 'Frehse, Goran, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro
Cimatti, Mirco Giacobbe, et al. “ARCH-COMP19 Category Report: Hybrid Systems with
Piecewise Constant Dynamics.” In ARCH19. 6th International Workshop on Applied
Verification of Continuous and Hybrid Systems, edited by Goran Frehse and
Matthias Althoff, 61:1–13. EasyChair, 2019. https://doi.org/10.29007/rjwn.'
ieee: 'G. Frehse et al., “ARCH-COMP19 Category Report: Hybrid systems with
piecewise constant dynamics,” in ARCH19. 6th International Workshop on Applied
Verification of Continuous and Hybrid Systems, Montreal, Canada, 2019, vol.
61, pp. 1–13.'
ista: 'Frehse G, Abate A, Adzkiya D, Becchi A, Bu L, Cimatti A, Giacobbe M, Griggio
A, Mover S, Mufid MS, Riouak I, Tonetta S, Zaffanella E. 2019. ARCH-COMP19 Category
Report: Hybrid systems with piecewise constant dynamics. ARCH19. 6th International
Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH: International
Workshop on Applied Verification on Continuous and Hybrid Systems, EPiC Series
in Computing, vol. 61, 1–13.'
mla: 'Frehse, Goran, et al. “ARCH-COMP19 Category Report: Hybrid Systems with Piecewise
Constant Dynamics.” ARCH19. 6th International Workshop on Applied Verification
of Continuous and Hybrid Systems, edited by Goran Frehse and Matthias Althoff,
vol. 61, EasyChair, 2019, pp. 1–13, doi:10.29007/rjwn.'
short: G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe,
A. Griggio, S. Mover, M.S. Mufid, I. Riouak, S. Tonetta, E. Zaffanella, in:, G.
Frehse, M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification
of Continuous and Hybrid Systems, EasyChair, 2019, pp. 1–13.
conference:
end_date: 2019-04-15
location: Montreal, Canada
name: 'ARCH: International Workshop on Applied Verification on Continuous and Hybrid
Systems'
start_date: 2019-04-15
date_created: 2022-03-18T12:29:23Z
date_published: 2019-05-25T00:00:00Z
date_updated: 2022-05-17T07:09:47Z
day: '25'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.29007/rjwn
editor:
- first_name: Goran
full_name: Frehse, Goran
last_name: Frehse
- first_name: Matthias
full_name: Althoff, Matthias
last_name: Althoff
file:
- access_level: open_access
checksum: 4b92e333db7b4e2349501a804dfede69
content_type: application/pdf
creator: dernst
date_created: 2022-05-17T06:55:49Z
date_updated: 2022-05-17T06:55:49Z
file_id: '11391'
file_name: 2019_EPiCs_Frehse.pdf
file_size: 346415
relation: main_file
success: 1
file_date_updated: 2022-05-17T06:55:49Z
has_accepted_license: '1'
intvolume: ' 61'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 1-13
publication: ARCH19. 6th International Workshop on Applied Verification of Continuous
and Hybrid Systems
publication_identifier:
issn:
- 2398-7340
publication_status: published
publisher: EasyChair
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 61
year: '2019'
...
---
_id: '10878'
abstract:
- lang: eng
text: Starting from a microscopic model for a system of neurons evolving in time
which individually follow a stochastic integrate-and-fire type model, we study
a mean-field limit of the system. Our model is described by a system of SDEs with
discontinuous coefficients for the action potential of each neuron and takes into
account the (random) spatial configuration of neurons allowing the interaction
to depend on it. In the limit as the number of particles tends to infinity, we
obtain a nonlinear Fokker-Planck type PDE in two variables, with derivatives only
with respect to one variable and discontinuous coefficients. We also study strong
well-posedness of the system of SDEs and prove the existence and uniqueness of
a weak measure-valued solution to the PDE, obtained as the limit of the laws of
the empirical measures for the system of particles.
acknowledgement: "The second author has been partially supported by INdAM through
the GNAMPA Research\r\nProject (2017) “Sistemi stocastici singolari: buona posizione
e problemi di controllo”. The third\r\nauthor was partly funded by the Austrian
Science Fund (FWF) project F 65."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Franco
full_name: Flandoli, Franco
last_name: Flandoli
- first_name: Enrico
full_name: Priola, Enrico
last_name: Priola
- first_name: Giovanni A
full_name: Zanco, Giovanni A
id: 47491882-F248-11E8-B48F-1D18A9856A87
last_name: Zanco
citation:
ama: Flandoli F, Priola E, Zanco GA. A mean-field model with discontinuous coefficients
for neurons with spatial interaction. Discrete and Continuous Dynamical Systems.
2019;39(6):3037-3067. doi:10.3934/dcds.2019126
apa: Flandoli, F., Priola, E., & Zanco, G. A. (2019). A mean-field model with
discontinuous coefficients for neurons with spatial interaction. Discrete and
Continuous Dynamical Systems. American Institute of Mathematical Sciences.
https://doi.org/10.3934/dcds.2019126
chicago: Flandoli, Franco, Enrico Priola, and Giovanni A Zanco. “A Mean-Field Model
with Discontinuous Coefficients for Neurons with Spatial Interaction.” Discrete
and Continuous Dynamical Systems. American Institute of Mathematical Sciences,
2019. https://doi.org/10.3934/dcds.2019126.
ieee: F. Flandoli, E. Priola, and G. A. Zanco, “A mean-field model with discontinuous
coefficients for neurons with spatial interaction,” Discrete and Continuous
Dynamical Systems, vol. 39, no. 6. American Institute of Mathematical Sciences,
pp. 3037–3067, 2019.
ista: Flandoli F, Priola E, Zanco GA. 2019. A mean-field model with discontinuous
coefficients for neurons with spatial interaction. Discrete and Continuous Dynamical
Systems. 39(6), 3037–3067.
mla: Flandoli, Franco, et al. “A Mean-Field Model with Discontinuous Coefficients
for Neurons with Spatial Interaction.” Discrete and Continuous Dynamical Systems,
vol. 39, no. 6, American Institute of Mathematical Sciences, 2019, pp. 3037–67,
doi:10.3934/dcds.2019126.
short: F. Flandoli, E. Priola, G.A. Zanco, Discrete and Continuous Dynamical Systems
39 (2019) 3037–3067.
corr_author: '1'
date_created: 2022-03-18T12:33:34Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2025-04-15T08:31:32Z
day: '01'
department:
- _id: JaMa
doi: 10.3934/dcds.2019126
external_id:
arxiv:
- '1708.04156'
isi:
- '000459954800003'
intvolume: ' 39'
isi: 1
issue: '6'
keyword:
- Applied Mathematics
- Discrete Mathematics and Combinatorics
- Analysis
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1708.04156
month: '06'
oa: 1
oa_version: Preprint
page: 3037-3067
project:
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
grant_number: F6504
name: Taming Complexity in Partial Differential Systems
publication: Discrete and Continuous Dynamical Systems
publication_identifier:
issn:
- 1553-5231
publication_status: published
publisher: American Institute of Mathematical Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: A mean-field model with discontinuous coefficients for neurons with spatial
interaction
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 39
year: '2019'
...
---
_id: '10879'
abstract:
- lang: eng
text: We study effects of a bounded and compactly supported perturbation on multidimensional
continuum random Schrödinger operators in the region of complete localisation.
Our main emphasis is on Anderson orthogonality for random Schrödinger operators.
Among others, we prove that Anderson orthogonality does occur for Fermi energies
in the region of complete localisation with a non-zero probability. This partially
confirms recent non-rigorous findings [V. Khemani et al., Nature Phys. 11 (2015),
560–565]. The spectral shift function plays an important role in our analysis
of Anderson orthogonality. We identify it with the index of the corresponding
pair of spectral projections and explore the consequences thereof. All our results
rely on the main technical estimate of this paper which guarantees separate exponential
decay of the disorder-averaged Schatten p-norm of χa(f(H)−f(Hτ))χb in a and b.
Here, Hτ is a perturbation of the random Schrödinger operator H, χa is the multiplication
operator corresponding to the indicator function of a unit cube centred about
a∈Rd, and f is in a suitable class of functions of bounded variation with distributional
derivative supported in the region of complete localisation for H.
acknowledgement: M.G. was supported by the DFG under grant GE 2871/1-1.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Adrian M
full_name: Dietlein, Adrian M
id: 317CB464-F248-11E8-B48F-1D18A9856A87
last_name: Dietlein
- first_name: Martin
full_name: Gebert, Martin
last_name: Gebert
- first_name: Peter
full_name: Müller, Peter
last_name: Müller
citation:
ama: Dietlein AM, Gebert M, Müller P. Perturbations of continuum random Schrödinger
operators with applications to Anderson orthogonality and the spectral shift function.
Journal of Spectral Theory. 2019;9(3):921-965. doi:10.4171/jst/267
apa: Dietlein, A. M., Gebert, M., & Müller, P. (2019). Perturbations of continuum
random Schrödinger operators with applications to Anderson orthogonality and the
spectral shift function. Journal of Spectral Theory. European Mathematical
Society. https://doi.org/10.4171/jst/267
chicago: Dietlein, Adrian M, Martin Gebert, and Peter Müller. “Perturbations of
Continuum Random Schrödinger Operators with Applications to Anderson Orthogonality
and the Spectral Shift Function.” Journal of Spectral Theory. European
Mathematical Society, 2019. https://doi.org/10.4171/jst/267.
ieee: A. M. Dietlein, M. Gebert, and P. Müller, “Perturbations of continuum random
Schrödinger operators with applications to Anderson orthogonality and the spectral
shift function,” Journal of Spectral Theory, vol. 9, no. 3. European Mathematical
Society, pp. 921–965, 2019.
ista: Dietlein AM, Gebert M, Müller P. 2019. Perturbations of continuum random Schrödinger
operators with applications to Anderson orthogonality and the spectral shift function.
Journal of Spectral Theory. 9(3), 921–965.
mla: Dietlein, Adrian M., et al. “Perturbations of Continuum Random Schrödinger
Operators with Applications to Anderson Orthogonality and the Spectral Shift Function.”
Journal of Spectral Theory, vol. 9, no. 3, European Mathematical Society,
2019, pp. 921–65, doi:10.4171/jst/267.
short: A.M. Dietlein, M. Gebert, P. Müller, Journal of Spectral Theory 9 (2019)
921–965.
date_created: 2022-03-18T12:36:42Z
date_published: 2019-03-01T00:00:00Z
date_updated: 2024-12-11T11:49:15Z
day: '01'
department:
- _id: LaEr
doi: 10.4171/jst/267
external_id:
arxiv:
- '1701.02956'
isi:
- '000484709400006'
intvolume: ' 9'
isi: 1
issue: '3'
keyword:
- Random Schrödinger operators
- spectral shift function
- Anderson orthogonality
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1701.02956
month: '03'
oa: 1
oa_version: Preprint
page: 921-965
publication: Journal of Spectral Theory
publication_identifier:
issn:
- 1664-039X
publication_status: published
publisher: European Mathematical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Perturbations of continuum random Schrödinger operators with applications to
Anderson orthogonality and the spectral shift function
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2019'
...
---
_id: '11062'
abstract:
- lang: eng
text: Most neurons are not replaced during an animal’s lifetime. This nondividing
state is characterized by extreme longevity and age-dependent decline of key regulatory
proteins. To study the lifespans of cells and proteins in adult tissues, we combined
isotope labeling of mice with a hybrid imaging method (MIMS-EM). Using 15N mapping,
we show that liver and pancreas are composed of cells with vastly different ages,
many as old as the animal. Strikingly, we also found that a subset of fibroblasts
and endothelial cells, both known for their replicative potential, are characterized
by the absence of cell division during adulthood. In addition, we show that the
primary cilia of beta cells and neurons contains different structural regions
with vastly different lifespans. Based on these results, we propose that age mosaicism
across multiple scales is a fundamental principle of adult tissue, cell, and protein
complex organization.
article_processing_charge: No
article_type: original
author:
- first_name: Rafael
full_name: Arrojo e Drigo, Rafael
last_name: Arrojo e Drigo
- first_name: Varda
full_name: Lev-Ram, Varda
last_name: Lev-Ram
- first_name: Swati
full_name: Tyagi, Swati
last_name: Tyagi
- first_name: Ranjan
full_name: Ramachandra, Ranjan
last_name: Ramachandra
- first_name: Thomas
full_name: Deerinck, Thomas
last_name: Deerinck
- first_name: Eric
full_name: Bushong, Eric
last_name: Bushong
- first_name: Sebastien
full_name: Phan, Sebastien
last_name: Phan
- first_name: Victoria
full_name: Orphan, Victoria
last_name: Orphan
- first_name: Claude
full_name: Lechene, Claude
last_name: Lechene
- first_name: Mark H.
full_name: Ellisman, Mark H.
last_name: Ellisman
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Arrojo e Drigo R, Lev-Ram V, Tyagi S, et al. Age mosaicism across multiple
scales in adult tissues. Cell Metabolism. 2019;30(2):343-351.e3. doi:10.1016/j.cmet.2019.05.010
apa: Arrojo e Drigo, R., Lev-Ram, V., Tyagi, S., Ramachandra, R., Deerinck, T.,
Bushong, E., … Hetzer, M. (2019). Age mosaicism across multiple scales in adult
tissues. Cell Metabolism. Elsevier. https://doi.org/10.1016/j.cmet.2019.05.010
chicago: Arrojo e Drigo, Rafael, Varda Lev-Ram, Swati Tyagi, Ranjan Ramachandra,
Thomas Deerinck, Eric Bushong, Sebastien Phan, et al. “Age Mosaicism across Multiple
Scales in Adult Tissues.” Cell Metabolism. Elsevier, 2019. https://doi.org/10.1016/j.cmet.2019.05.010.
ieee: R. Arrojo e Drigo et al., “Age mosaicism across multiple scales in
adult tissues,” Cell Metabolism, vol. 30, no. 2. Elsevier, p. 343–351.e3,
2019.
ista: Arrojo e Drigo R, Lev-Ram V, Tyagi S, Ramachandra R, Deerinck T, Bushong E,
Phan S, Orphan V, Lechene C, Ellisman MH, Hetzer M. 2019. Age mosaicism across
multiple scales in adult tissues. Cell Metabolism. 30(2), 343–351.e3.
mla: Arrojo e Drigo, Rafael, et al. “Age Mosaicism across Multiple Scales in Adult
Tissues.” Cell Metabolism, vol. 30, no. 2, Elsevier, 2019, p. 343–351.e3,
doi:10.1016/j.cmet.2019.05.010.
short: R. Arrojo e Drigo, V. Lev-Ram, S. Tyagi, R. Ramachandra, T. Deerinck, E.
Bushong, S. Phan, V. Orphan, C. Lechene, M.H. Ellisman, M. Hetzer, Cell Metabolism
30 (2019) 343–351.e3.
date_created: 2022-04-07T07:45:21Z
date_published: 2019-08-06T00:00:00Z
date_updated: 2025-12-15T10:02:11Z
day: '06'
department:
- _id: MaHe
doi: 10.1016/j.cmet.2019.05.010
extern: '1'
external_id:
pmid:
- '31178361'
intvolume: ' 30'
issue: '2'
keyword:
- Cell Biology
- Molecular Biology
- Physiology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cmet.2019.05.010
month: '08'
oa: 1
oa_version: Published Version
page: 343-351.e3
pmid: 1
publication: Cell Metabolism
publication_identifier:
issn:
- 1550-4131
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Age mosaicism across multiple scales in adult tissues
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2019'
...
---
_id: '27'
abstract:
- lang: eng
text: The cerebral cortex is composed of a large variety of distinct cell-types
including projection neurons, interneurons and glial cells which emerge from distinct
neural stem cell (NSC) lineages. The vast majority of cortical projection neurons
and certain classes of glial cells are generated by radial glial progenitor cells
(RGPs) in a highly orchestrated manner. Recent studies employing single cell analysis
and clonal lineage tracing suggest that NSC and RGP lineage progression are regulated
in a profound deterministic manner. In this review we focus on recent advances
based mainly on correlative phenotypic data emerging from functional genetic studies
in mice. We establish hypotheses to test in future research and outline a conceptual
framework how epigenetic cues modulate the generation of cell-type diversity during
cortical development. This article is protected by copyright. All rights reserved.
acknowledgement: " This work was supported by IST Austria institutional funds; NÖ
Forschung und Bildung \r\nn[f+b] (C13-002) to SH; a program grant from
\ the Human Frontiers Science Program (RGP0053/2014) to SH; the People
\ Programme (Marie Curie Actions) of the European Union’s Seventh Framework
Programme (FP7/2007-2013) under REA grant agreement No 618444 to SH, and the European
\ Research Council (ERC) under the European Union’s Horizon 2020 research
\ and innovation programme (grant agreement No 725780 LinPro)to SH.\r\n"
article_processing_charge: Yes (via OA deal)
article_type: review
author:
- first_name: Nicole
full_name: Amberg, Nicole
id: 4CD6AAC6-F248-11E8-B48F-1D18A9856A87
last_name: Amberg
orcid: 0000-0002-3183-8207
- first_name: Susanne
full_name: Laukoter, Susanne
id: 2D6B7A9A-F248-11E8-B48F-1D18A9856A87
last_name: Laukoter
orcid: 0000-0002-7903-3010
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
citation:
ama: Amberg N, Laukoter S, Hippenmeyer S. Epigenetic cues modulating the generation
of cell type diversity in the cerebral cortex. Journal of Neurochemistry.
2019;149(1):12-26. doi:10.1111/jnc.14601
apa: Amberg, N., Laukoter, S., & Hippenmeyer, S. (2019). Epigenetic cues modulating
the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry.
Wiley. https://doi.org/10.1111/jnc.14601
chicago: Amberg, Nicole, Susanne Laukoter, and Simon Hippenmeyer. “Epigenetic Cues
Modulating the Generation of Cell Type Diversity in the Cerebral Cortex.” Journal
of Neurochemistry. Wiley, 2019. https://doi.org/10.1111/jnc.14601.
ieee: N. Amberg, S. Laukoter, and S. Hippenmeyer, “Epigenetic cues modulating the
generation of cell type diversity in the cerebral cortex,” Journal of Neurochemistry,
vol. 149, no. 1. Wiley, pp. 12–26, 2019.
ista: Amberg N, Laukoter S, Hippenmeyer S. 2019. Epigenetic cues modulating the
generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry.
149(1), 12–26.
mla: Amberg, Nicole, et al. “Epigenetic Cues Modulating the Generation of Cell Type
Diversity in the Cerebral Cortex.” Journal of Neurochemistry, vol. 149,
no. 1, Wiley, 2019, pp. 12–26, doi:10.1111/jnc.14601.
short: N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019)
12–26.
corr_author: '1'
date_created: 2018-12-11T11:44:14Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2025-04-14T07:43:05Z
day: '01'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.1111/jnc.14601
ec_funded: 1
external_id:
isi:
- '000462680200002'
file:
- access_level: open_access
checksum: db027721a95d36f5de36aadcd0bdf7e6
content_type: application/pdf
creator: kschuh
date_created: 2020-01-07T13:35:52Z
date_updated: 2020-07-14T12:45:45Z
file_id: '7239'
file_name: 2019_Wiley_Amberg.pdf
file_size: 889709
relation: main_file
file_date_updated: 2020-07-14T12:45:45Z
has_accepted_license: '1'
intvolume: ' 149'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 12-26
project:
- _id: 25D92700-B435-11E9-9278-68D0E5697425
grant_number: LS13-002
name: Mapping Cell-Type Specificity of the Genomic Imprintome in the Brain
- _id: 25D7962E-B435-11E9-9278-68D0E5697425
grant_number: RGP0053/2014
name: Quantitative Structure-Function Analysis of Cerebral Cortex Assembly at Clonal
Level
- _id: 25D61E48-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618444'
name: Molecular Mechanisms of Cerebral Cortex Development
- _id: 260018B0-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '725780'
name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development
publication: Journal of Neurochemistry
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Epigenetic cues modulating the generation of cell type diversity in the cerebral
cortex
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 149
year: '2019'
...