---
_id: '595'
article_processing_charge: No
author:
- first_name: Carrie A
full_name: Bernecky, Carrie A
id: 2CB9DFE2-F248-11E8-B48F-1D18A9856A87
last_name: Bernecky
orcid: 0000-0003-0893-7036
- first_name: Patrick
full_name: Cramer, Patrick
last_name: Cramer
citation:
ama: 'Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own
extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36'
apa: 'Bernecky, C., & Cramer, P. (2013). Struggling to let go: A non-coding
RNA directs its own extension and destruction. EMBO Journal. Wiley-Blackwell.
https://doi.org/10.1038/emboj.2013.36'
chicago: 'Bernecky, Carrie, and Patrick Cramer. “Struggling to Let Go: A Non-Coding
RNA Directs Its Own Extension and Destruction.” EMBO Journal. Wiley-Blackwell,
2013. https://doi.org/10.1038/emboj.2013.36.'
ieee: 'C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs
its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell,
pp. 771–772, 2013.'
ista: 'Bernecky C, Cramer P. 2013. Struggling to let go: A non-coding RNA directs
its own extension and destruction. EMBO Journal. 32(6), 771–772.'
mla: 'Bernecky, Carrie, and Patrick Cramer. “Struggling to Let Go: A Non-Coding
RNA Directs Its Own Extension and Destruction.” EMBO Journal, vol. 32,
no. 6, Wiley-Blackwell, 2013, pp. 771–72, doi:10.1038/emboj.2013.36.'
short: C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
date_created: 2018-12-11T11:47:23Z
date_published: 2013-03-20T00:00:00Z
date_updated: 2021-01-12T08:05:20Z
day: '20'
doi: 10.1038/emboj.2013.36
extern: '1'
intvolume: ' 32'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3604726/
month: '03'
oa: 1
oa_version: None
page: 771 - 772
publication: EMBO Journal
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7207'
status: public
title: 'Struggling to let go: A non-coding RNA directs its own extension and destruction'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2013'
...
---
_id: '6128'
abstract:
- lang: eng
text: Different interoceptive systems must be integrated to ensure that multiple
homeostatic insults evoke appropriate behavioral and physiological responses.
Little is known about how this is achieved. Using C. elegans, we dissect cross-modulation
between systems that monitor temperature, O2 and CO2. CO2 is less aversive to
animals acclimated to 15°C than those grown at 22°C. This difference requires
the AFD neurons, which respond to both temperature and CO2 changes. CO2 evokes
distinct AFD Ca2+ responses in animals acclimated at 15°C or 22°C. Mutants defective
in synaptic transmission can reprogram AFD CO2 responses according to temperature
experience, suggesting reprogramming occurs cell autonomously. AFD is exquisitely
sensitive to CO2. Surprisingly, gradients of 0.01% CO2/second evoke very different
Ca2+ responses from gradients of 0.04% CO2/second. Ambient O2 provides further
contextual modulation of CO2 avoidance. At 21% O2 tonic signalling from the O2-sensing
neuron URX inhibits CO2 avoidance. This inhibition can be graded according to
O2 levels. In a natural wild isolate, a switch from 21% to 19% O2 is sufficient
to convert CO2 from a neutral to an aversive cue. This sharp tuning is conferred
partly by the neuroglobin GLB-5. The modulatory effects of O2 on CO2 avoidance
involve the RIA interneurons, which are post-synaptic to URX and exhibit CO2-evoked
Ca2+ responses. Ambient O2 and acclimation temperature act combinatorially to
modulate CO2 responsiveness. Our work highlights the integrated architecture of
homeostatic responses in C. elegans.
article_number: e1004011
author:
- first_name: Eiji
full_name: Kodama-Namba, Eiji
last_name: Kodama-Namba
- first_name: Lorenz A.
full_name: Fenk, Lorenz A.
last_name: Fenk
- first_name: Andrew J.
full_name: Bretscher, Andrew J.
last_name: Bretscher
- first_name: Einav
full_name: Gross, Einav
last_name: Gross
- first_name: K. Emanuel
full_name: Busch, K. Emanuel
last_name: Busch
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation
of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans.
PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011
apa: Kodama-Namba, E., Fenk, L. A., Bretscher, A. J., Gross, E., Busch, K. E., &
de Bono, M. (2013). Cross-modulation of homeostatic responses to temperature,
oxygen and carbon dioxide in C. elegans. PLoS Genetics. Public Library
of Science (PLoS). https://doi.org/10.1371/journal.pgen.1004011
chicago: Kodama-Namba, Eiji, Lorenz A. Fenk, Andrew J. Bretscher, Einav Gross, K.
Emanuel Busch, and Mario de Bono. “Cross-Modulation of Homeostatic Responses to
Temperature, Oxygen and Carbon Dioxide in C. Elegans.” PLoS Genetics. Public
Library of Science (PLoS), 2013. https://doi.org/10.1371/journal.pgen.1004011.
ieee: E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M.
de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and
carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12. Public Library
of Science (PLoS), 2013.
ista: Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. 2013.
Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide
in C. elegans. PLoS Genetics. 9(12), e1004011.
mla: Kodama-Namba, Eiji, et al. “Cross-Modulation of Homeostatic Responses to Temperature,
Oxygen and Carbon Dioxide in C. Elegans.” PLoS Genetics, vol. 9, no. 12,
e1004011, Public Library of Science (PLoS), 2013, doi:10.1371/journal.pgen.1004011.
short: E. Kodama-Namba, L.A. Fenk, A.J. Bretscher, E. Gross, K.E. Busch, M. de Bono,
PLoS Genetics 9 (2013).
date_created: 2019-03-19T14:58:51Z
date_published: 2013-12-19T00:00:00Z
date_updated: 2021-01-12T08:06:15Z
day: '19'
ddc:
- '570'
doi: 10.1371/journal.pgen.1004011
extern: '1'
external_id:
pmid:
- '24385919'
file:
- access_level: open_access
checksum: 299b6321be79931c7c17c5db6e69c711
content_type: application/pdf
creator: kschuh
date_created: 2019-03-19T15:14:51Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6129'
file_name: 2013_PLOS_Kodama-Namba.PDF
file_size: 4499039
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 9'
issue: '12'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
pmid: 1
publication: PLoS Genetics
publication_identifier:
issn:
- 1553-7404
publication_status: published
publisher: Public Library of Science (PLoS)
quality_controlled: '1'
status: public
title: Cross-modulation of homeostatic responses to temperature, oxygen and carbon
dioxide in C. elegans
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2013'
...
---
_id: '6130'
abstract:
- lang: eng
text: 'Cas9 is an RNA-guided double-stranded DNA nuclease that participates in clustered
regularly interspaced short palindromic repeats (CRISPR)-mediated adaptive immunity
in prokaryotes. CRISPR–Cas9 has recently been used to generate insertion and deletion
mutations in Caenorhabditis elegans, but not to create tailored changes (knock-ins).
We show that the CRISPR–CRISPR-associated (Cas) system can be adapted for efficient
and precise editing of the C. elegans genome. The targeted double-strand breaks
generated by CRISPR are substrates for transgene-instructed gene conversion. This
allows customized changes in the C. elegans genome by homologous recombination:
sequences contained in the repair template (the transgene) are copied by gene
conversion into the genome. The possibility to edit the C. elegans genome at selected
locations will facilitate the systematic study of gene function in this widely
used model organism.'
article_number: e193
author:
- first_name: Changchun
full_name: Chen, Changchun
last_name: Chen
- first_name: Lorenz A.
full_name: Fenk, Lorenz A.
last_name: Fenk
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Chen C, Fenk LA, de Bono M. Efficient genome editing in Caenorhabditis elegans
by CRISPR-targeted homologous recombination. Nucleic Acids Research. 2013;41(20).
doi:10.1093/nar/gkt805
apa: Chen, C., Fenk, L. A., & de Bono, M. (2013). Efficient genome editing in
Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic
Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkt805
chicago: Chen, Changchun, Lorenz A. Fenk, and Mario de Bono. “Efficient Genome Editing
in Caenorhabditis Elegans by CRISPR-Targeted Homologous Recombination.” Nucleic
Acids Research. Oxford University Press, 2013. https://doi.org/10.1093/nar/gkt805.
ieee: C. Chen, L. A. Fenk, and M. de Bono, “Efficient genome editing in Caenorhabditis
elegans by CRISPR-targeted homologous recombination,” Nucleic Acids Research,
vol. 41, no. 20. Oxford University Press, 2013.
ista: Chen C, Fenk LA, de Bono M. 2013. Efficient genome editing in Caenorhabditis
elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 41(20),
e193.
mla: Chen, Changchun, et al. “Efficient Genome Editing in Caenorhabditis Elegans
by CRISPR-Targeted Homologous Recombination.” Nucleic Acids Research, vol.
41, no. 20, e193, Oxford University Press, 2013, doi:10.1093/nar/gkt805.
short: C. Chen, L.A. Fenk, M. de Bono, Nucleic Acids Research 41 (2013).
date_created: 2019-03-19T15:17:40Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T08:06:16Z
day: '01'
ddc:
- '570'
doi: 10.1093/nar/gkt805
extern: '1'
external_id:
pmid:
- '24013562'
file:
- access_level: open_access
checksum: 0f1f127cefd043cb922b292e1cd16f02
content_type: application/pdf
creator: kschuh
date_created: 2019-03-19T15:25:42Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6131'
file_name: 2013_OUP_Chen.pdf
file_size: 340225
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 41'
issue: '20'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nucleic Acids Research
publication_identifier:
issn:
- 1362-4962
- 0305-1048
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
status: public
title: Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous
recombination
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: 41
year: '2013'
...
---
_id: '6132'
author:
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
- first_name: W.R.
full_name: Schafer, W.R.
last_name: Schafer
- first_name: A.
full_name: Gottschalk, A.
last_name: Gottschalk
citation:
ama: 'de Bono M, Schafer WR, Gottschalk A. Optogenetic actuation, inhibition, modulation
and readout for neuronal networks generating behavior in the nematode Caenorhabditis
elegans. In: Hegemann P, Sigrist S, eds. Optogenetics. Walter de Gruyter;
2013:61-78.'
apa: de Bono, M., Schafer, W. R., & Gottschalk, A. (2013). Optogenetic actuation,
inhibition, modulation and readout for neuronal networks generating behavior in
the nematode Caenorhabditis elegans. In P. Hegemann & S. Sigrist (Eds.), Optogenetics
(pp. 61–78). Walter de Gruyter.
chicago: Bono, Mario de, W.R. Schafer, and A. Gottschalk. “Optogenetic Actuation,
Inhibition, Modulation and Readout for Neuronal Networks Generating Behavior in
the Nematode Caenorhabditis Elegans.” In Optogenetics, edited by Peter
Hegemann and Stephan Sigrist, 61–78. Walter de Gruyter, 2013.
ieee: M. de Bono, W. R. Schafer, and A. Gottschalk, “Optogenetic actuation, inhibition,
modulation and readout for neuronal networks generating behavior in the nematode
Caenorhabditis elegans,” in Optogenetics, P. Hegemann and S. Sigrist, Eds.
Walter de Gruyter, 2013, pp. 61–78.
ista: 'de Bono M, Schafer WR, Gottschalk A. 2013.Optogenetic actuation, inhibition,
modulation and readout for neuronal networks generating behavior in the nematode
Caenorhabditis elegans. In: Optogenetics. , 61–78.'
mla: de Bono, Mario, et al. “Optogenetic Actuation, Inhibition, Modulation and Readout
for Neuronal Networks Generating Behavior in the Nematode Caenorhabditis Elegans.”
Optogenetics, edited by Peter Hegemann and Stephan Sigrist, Walter de Gruyter,
2013, pp. 61–78.
short: M. de Bono, W.R. Schafer, A. Gottschalk, in:, P. Hegemann, S. Sigrist (Eds.),
Optogenetics, Walter de Gruyter, 2013, pp. 61–78.
date_created: 2019-03-20T13:54:05Z
date_published: 2013-08-28T00:00:00Z
date_updated: 2021-01-12T08:06:16Z
day: '28'
editor:
- first_name: Peter
full_name: Hegemann, Peter
last_name: Hegemann
- first_name: Stephan
full_name: Sigrist, Stephan
last_name: Sigrist
extern: '1'
language:
- iso: eng
month: '08'
oa_version: None
page: 61-78
publication: Optogenetics
publication_identifier:
isbn:
- 9783110270723; 9783110270716
publication_status: published
publisher: Walter de Gruyter
quality_controlled: '1'
status: public
title: Optogenetic actuation, inhibition, modulation and readout for neuronal networks
generating behavior in the nematode Caenorhabditis elegans
type: book_chapter
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '6133'
abstract:
- lang: eng
text: cGMP signaling is widespread in the nervous system. However, it has proved
difficult to visualize and genetically probe endogenously evoked cGMP dynamics
in neurons in vivo. Here, we combine cGMP and Ca2+ biosensors to image and dissect
a cGMP signaling network in a Caenorhabditis elegans oxygen-sensing neuron. We
show that a rise in O2 can evoke a tonic increase in cGMP that requires an atypical
O2-binding soluble guanylate cyclase and that is sustained until oxygen levels
fall. Increased cGMP leads to a sustained Ca2+ response in the neuron that depends
on cGMP-gated ion channels. Elevated levels of cGMP and Ca2+ stimulate competing
negative feedback loops that shape cGMP dynamics. Ca2+-dependent negative feedback
loops, including activation of phosphodiesterase-1 (PDE-1), dampen the rise of
cGMP. A different negative feedback loop, mediated by phosphodiesterase-2 (PDE-2)
and stimulated by cGMP-dependent kinase (PKG), unexpectedly promotes cGMP accumulation
following a rise in O2, apparently by keeping in check gating of cGMP channels
and limiting activation of Ca2+-dependent negative feedback loops. Simultaneous
imaging of Ca2+ and cGMP suggests that cGMP levels can rise close to cGMP channels
while falling elsewhere. O2-evoked cGMP and Ca2+ responses are highly reproducible
when the same neuron in an individual animal is stimulated repeatedly, suggesting
that cGMP transduction has high intrinsic reliability. However, responses vary
substantially across individuals, despite animals being genetically identical
and similarly reared. This variability may reflect stochastic differences in expression
of cGMP signaling components. Our work provides in vivo insights into the architecture
of neuronal cGMP signaling.
author:
- first_name: A.
full_name: Couto, A.
last_name: Couto
- first_name: S.
full_name: Oda, S.
last_name: Oda
- first_name: V. O.
full_name: Nikolaev, V. O.
last_name: Nikolaev
- first_name: Z.
full_name: Soltesz, Z.
last_name: Soltesz
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
citation:
ama: Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. In vivo genetic dissection
of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings
of the National Academy of Sciences. 2013;110(35):E3301-E3310. doi:10.1073/pnas.1217428110
apa: Couto, A., Oda, S., Nikolaev, V. O., Soltesz, Z., & de Bono, M. (2013).
In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans
gas sensor. Proceedings of the National Academy of Sciences. Proceedings
of the National Academy of Sciences. https://doi.org/10.1073/pnas.1217428110
chicago: Couto, A., S. Oda, V. O. Nikolaev, Z. Soltesz, and Mario de Bono. “In Vivo
Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas
Sensor.” Proceedings of the National Academy of Sciences. Proceedings of
the National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1217428110.
ieee: A. Couto, S. Oda, V. O. Nikolaev, Z. Soltesz, and M. de Bono, “In vivo genetic
dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor,”
Proceedings of the National Academy of Sciences, vol. 110, no. 35. Proceedings
of the National Academy of Sciences, pp. E3301–E3310, 2013.
ista: Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. 2013. In vivo genetic dissection
of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings
of the National Academy of Sciences. 110(35), E3301–E3310.
mla: Couto, A., et al. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in
a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of
Sciences, vol. 110, no. 35, Proceedings of the National Academy of Sciences,
2013, pp. E3301–10, doi:10.1073/pnas.1217428110.
short: A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the
National Academy of Sciences 110 (2013) E3301–E3310.
date_created: 2019-03-20T14:05:06Z
date_published: 2013-08-27T00:00:00Z
date_updated: 2021-01-12T08:06:16Z
day: '27'
ddc:
- '570'
doi: 10.1073/pnas.1217428110
extern: '1'
external_id:
pmid:
- '23940325'
file:
- access_level: open_access
checksum: 3ee28a694f74a49f0d098970ae391a91
content_type: application/pdf
creator: kschuh
date_created: 2019-03-20T14:07:53Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6134'
file_name: 2013_PNAS_Couto.pdf
file_size: 2198763
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 110'
issue: '35'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: E3301-E3310
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
issn:
- 0027-8424
- 1091-6490
publication_status: published
publisher: Proceedings of the National Academy of Sciences
quality_controlled: '1'
status: public
title: In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans
gas sensor
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 110
year: '2013'
...
---
_id: '6135'
abstract:
- lang: eng
text: Many organisms have stress response pathways, components of which share homology
with players in complex human disease pathways. Research on stress response in
the nematode worm Caenorhabditis elegans has provided detailed insights into the
genetic and molecular mechanisms underlying complex human diseases. In this review
we focus on four different types of environmental stress responses – heat shock,
oxidative stress, hypoxia, and osmotic stress – and on how these can be used to
study the genetics of complex human diseases. All four types of responses involve
the genetic machineries that underlie a number of complex human diseases such
as cancer and neurodegenerative diseases, including Alzheimer's and Parkinson's.
We highlight the types of stress response experiments required to detect the genes
and pathways underlying human disease and suggest that studying stress biology
in worms can be translated to understanding human disease and provide potential
targets for drug discovery.
author:
- first_name: Miriam
full_name: Rodriguez, Miriam
last_name: Rodriguez
- first_name: L. Basten
full_name: Snoek, L. Basten
last_name: Snoek
- first_name: Mario
full_name: de Bono, Mario
id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
last_name: de Bono
orcid: 0000-0001-8347-0443
- first_name: Jan E.
full_name: Kammenga, Jan E.
last_name: Kammenga
citation:
ama: 'Rodriguez M, Snoek LB, de Bono M, Kammenga JE. Worms under stress: C. elegans
stress response and its relevance to complex human disease and aging. Trends
in Genetics. 2013;29(6):367-374. doi:10.1016/j.tig.2013.01.010'
apa: 'Rodriguez, M., Snoek, L. B., de Bono, M., & Kammenga, J. E. (2013). Worms
under stress: C. elegans stress response and its relevance to complex human disease
and aging. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2013.01.010'
chicago: 'Rodriguez, Miriam, L. Basten Snoek, Mario de Bono, and Jan E. Kammenga.
“Worms under Stress: C. Elegans Stress Response and Its Relevance to Complex Human
Disease and Aging.” Trends in Genetics. Elsevier, 2013. https://doi.org/10.1016/j.tig.2013.01.010.'
ieee: 'M. Rodriguez, L. B. Snoek, M. de Bono, and J. E. Kammenga, “Worms under stress:
C. elegans stress response and its relevance to complex human disease and aging,”
Trends in Genetics, vol. 29, no. 6. Elsevier, pp. 367–374, 2013.'
ista: 'Rodriguez M, Snoek LB, de Bono M, Kammenga JE. 2013. Worms under stress:
C. elegans stress response and its relevance to complex human disease and aging.
Trends in Genetics. 29(6), 367–374.'
mla: 'Rodriguez, Miriam, et al. “Worms under Stress: C. Elegans Stress Response
and Its Relevance to Complex Human Disease and Aging.” Trends in Genetics,
vol. 29, no. 6, Elsevier, 2013, pp. 367–74, doi:10.1016/j.tig.2013.01.010.'
short: M. Rodriguez, L.B. Snoek, M. de Bono, J.E. Kammenga, Trends in Genetics 29
(2013) 367–374.
date_created: 2019-03-20T14:17:42Z
date_published: 2013-06-01T00:00:00Z
date_updated: 2021-01-12T08:06:17Z
day: '01'
doi: 10.1016/j.tig.2013.01.010
extern: '1'
intvolume: ' 29'
issue: '6'
language:
- iso: eng
month: '06'
oa_version: None
page: 367-374
publication: Trends in Genetics
publication_identifier:
issn:
- 0168-9525
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'Worms under stress: C. elegans stress response and its relevance to complex
human disease and aging'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 29
year: '2013'
...
---
_id: '6370'
abstract:
- lang: eng
text: 'The molecular and supramolecular origins of the superior nonlinear optical
(NLO) properties observed in the organic phenolic triene material, OH1 (2-(3-(4-hydroxystyryl)-5,5-dimethylcyclohex-2-enylidene)malononitrile),
are presented. The molecular charge-transfer distribution is topographically mapped,
demonstrating that a uniformly delocalized passive electronic medium facilitates
the charge-transfer between the phenolic electron donor and the cyano electron
acceptors which lie at opposite ends of the molecule. Its ability to act as a
“push–pull” π-conjugated molecule is quantified, relative to similar materials,
by supporting empirical calculations; these include bond-length alternation and
harmonic-oscillator stabilization energy (HOSE) tests. Such tests, together with
frontier molecular orbital considerations, reveal that OH1 can exist readily in
its aromatic (neutral) or quinoidal (charge-separated) state, thereby overcoming
the “nonlinearity-thermal stability trade-off”. The HOSE calculation also reveals
a correlation between the quinoidal resonance contribution to the overall structure
of OH1 and the UV–vis absorption peak wavelength in the wider family of configurationally
locked polyene framework materials. Solid-state tensorial coefficients of the
molecular dipole, polarizability, and the first hyperpolarizability for OH1 are
derived from the first-, second-, and third-order electronic moments of the experimental
charge-density distribution. The overall solid-state molecular dipole moment is
compared with those from gas-phase calculations, revealing that crystal field
effects are very significant in OH1. The solid-state hyperpolarizability derived
from this charge-density study affords good agreement with gas-phase calculations
as well as optical measurements based on hyper-Rayleigh scattering (HRS) and electric-field-induced
second harmonic (EFISH) generation. This lends support to the further use of charge-density
studies to calculate solid-state hyperpolarizability coefficients in other organic
NLO materials. Finally, this charge-density study is also employed to provide
an advanced classification of hydrogen bonds in OH1, which requires more stringent
criteria than those from conventional structure analysis. As a result, only the
strongest OH···NC interaction is so classified as a true hydrogen bond. Indeed,
it is this electrostatic interaction that influences the molecular charge transfer:
the other four, weaker, nonbonded contacts nonetheless affect the crystal packing.
Overall, the establishment of these structure–property relationships lays a blueprint
for designing further, more NLO efficient, materials in this industrially leading
organic family of compounds.'
author:
- first_name: Tze-Chia
full_name: Lin, Tze-Chia
last_name: Lin
- first_name: Jacqueline M.
full_name: Cole, Jacqueline M.
last_name: Cole
- first_name: Andrew P
full_name: Higginbotham, Andrew P
id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
last_name: Higginbotham
orcid: 0000-0003-2607-2363
- first_name: Alison J.
full_name: Edwards, Alison J.
last_name: Edwards
- first_name: Ross O.
full_name: Piltz, Ross O.
last_name: Piltz
- first_name: Javier
full_name: Pérez-Moreno, Javier
last_name: Pérez-Moreno
- first_name: Ji-Youn
full_name: Seo, Ji-Youn
last_name: Seo
- first_name: Seung-Chul
full_name: Lee, Seung-Chul
last_name: Lee
- first_name: Koen
full_name: Clays, Koen
last_name: Clays
- first_name: O-Pil
full_name: Kwon, O-Pil
last_name: Kwon
citation:
ama: 'Lin T-C, Cole JM, Higginbotham AP, et al. Molecular origins of the high-performance
nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density
distributions, hydrogen bonding, and ab initio calculations. The Journal of
Physical Chemistry C. 2013;117(18):9416-9430. doi:10.1021/jp400648q'
apa: 'Lin, T.-C., Cole, J. M., Higginbotham, A. P., Edwards, A. J., Piltz, R. O.,
Pérez-Moreno, J., … Kwon, O.-P. (2013). Molecular origins of the high-performance
nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density
distributions, hydrogen bonding, and ab initio calculations. The Journal of
Physical Chemistry C. American Chemical Society (ACS). https://doi.org/10.1021/jp400648q'
chicago: 'Lin, Tze-Chia, Jacqueline M. Cole, Andrew P Higginbotham, Alison J. Edwards,
Ross O. Piltz, Javier Pérez-Moreno, Ji-Youn Seo, Seung-Chul Lee, Koen Clays, and
O-Pil Kwon. “Molecular Origins of the High-Performance Nonlinear Optical Susceptibility
in a Phenolic Polyene Chromophore: Electron Density Distributions, Hydrogen Bonding,
and Ab Initio Calculations.” The Journal of Physical Chemistry C. American
Chemical Society (ACS), 2013. https://doi.org/10.1021/jp400648q.'
ieee: 'T.-C. Lin et al., “Molecular origins of the high-performance nonlinear
optical susceptibility in a phenolic polyene chromophore: Electron density distributions,
hydrogen bonding, and ab initio calculations,” The Journal of Physical Chemistry
C, vol. 117, no. 18. American Chemical Society (ACS), pp. 9416–9430, 2013.'
ista: 'Lin T-C, Cole JM, Higginbotham AP, Edwards AJ, Piltz RO, Pérez-Moreno J,
Seo J-Y, Lee S-C, Clays K, Kwon O-P. 2013. Molecular origins of the high-performance
nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density
distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical
Chemistry C. 117(18), 9416–9430.'
mla: 'Lin, Tze-Chia, et al. “Molecular Origins of the High-Performance Nonlinear
Optical Susceptibility in a Phenolic Polyene Chromophore: Electron Density Distributions,
Hydrogen Bonding, and Ab Initio Calculations.” The Journal of Physical Chemistry
C, vol. 117, no. 18, American Chemical Society (ACS), 2013, pp. 9416–30, doi:10.1021/jp400648q.'
short: T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno,
J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry
C 117 (2013) 9416–9430.
date_created: 2019-05-03T09:40:31Z
date_published: 2013-05-09T00:00:00Z
date_updated: 2021-01-12T08:07:17Z
day: '09'
doi: 10.1021/jp400648q
extern: '1'
intvolume: ' 117'
issue: '18'
language:
- iso: eng
month: '05'
oa_version: None
page: 9416-9430
publication: The Journal of Physical Chemistry C
publication_identifier:
issn:
- 1932-7447
- 1932-7455
publication_status: published
publisher: American Chemical Society (ACS)
quality_controlled: '1'
status: public
title: 'Molecular origins of the high-performance nonlinear optical susceptibility
in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding,
and ab initio calculations'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 117
year: '2013'
...
---
_id: '6440'
abstract:
- lang: eng
text: In order to guarantee that each method of a data structure updates the logical
state exactly once, al-most all non-blocking implementations employ Compare-And-Swap
(CAS) based synchronization. For FIFO queue implementations this translates into concurrent enqueue or dequeue methods
competing among themselves to update the same variable, the tail or the head,
respectively, leading to high contention and poor scalability. Recent non-blocking
queue implementations try to alleviate high contentionby increasing the number
of contention points, all the while using CAS-based synchronization. Furthermore,
obtaining a wait-free implementation with competition is achieved by additional
synchronization which leads to further degradation of performance.In this paper
we formalize the notion of competitiveness of a synchronizing statement which
can beused as a measure for the scalability of concurrent implementations. We
present a new queue implementation, the Speculative Pairing (SP) queue, which,
as we show, decreases competitiveness by using Fetch-And-Increment (FAI) instead
of CAS. We prove that the SP queue is linearizable and lock-free.We also show
that replacing CAS with FAI leads to wait-freedom for dequeue methods without
an adverse effect on performance. In fact, our experiments suggest that the SP
queue can perform and scale better than the state-of-the-art queue implementations.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Hannes
full_name: Payer, Hannes
last_name: Payer
- first_name: Ali
full_name: Sezgin, Ali
id: 4C7638DA-F248-11E8-B48F-1D18A9856A87
last_name: Sezgin
citation:
ama: Henzinger TA, Payer H, Sezgin A. Replacing Competition with Cooperation
to Achieve Scalable Lock-Free FIFO Queues . IST Austria; 2013. doi:10.15479/AT:IST-2013-124-v1-1
apa: Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition
with cooperation to achieve scalable lock-free FIFO queues . IST Austria.
https://doi.org/10.15479/AT:IST-2013-124-v1-1
chicago: Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition
with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria,
2013. https://doi.org/10.15479/AT:IST-2013-124-v1-1.
ieee: T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation
to achieve scalable lock-free FIFO queues . IST Austria, 2013.
ista: Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation
to achieve scalable lock-free FIFO queues , IST Austria, 23p.
mla: Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve
Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.
short: T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation
to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
date_created: 2019-05-13T14:13:27Z
date_published: 2013-06-13T00:00:00Z
date_updated: 2020-07-14T23:06:19Z
day: '13'
ddc:
- '000'
- '005'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2013-124-v1-1
file:
- access_level: open_access
checksum: a219ba4eada6cd62befed52262ee15d4
content_type: application/pdf
creator: dernst
date_created: 2019-05-13T14:11:39Z
date_updated: 2020-07-14T12:47:30Z
file_id: '6441'
file_name: 2013_TechRep_Henzinger.pdf
file_size: 549684
relation: main_file
file_date_updated: 2020-07-14T12:47:30Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '23'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '124'
status: public
title: 'Replacing competition with cooperation to achieve scalable lock-free FIFO
queues '
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '1442'
abstract:
- lang: eng
text: We give a cohomological interpretation of both the Kac polynomial and the
refined Donaldson-Thomas-invariants of quivers. This interpretation yields a proof
of a conjecture of Kac from 1982 and gives a new perspective on recent work of
Kontsevich-Soibelman. Thisis achieved by computing, via an arithmetic Fourier
transform, the dimensions of the isotypical components of the cohomology of associated
Nakajima quiver varieties under the action of a Weyl group. The generating function
of the corresponding Poincare polynomials is an extension of Hua's formula for
Kac polynomials of quivers involving Hall-Littlewood symmetric functions. The
resulting formulae contain a wide range of information on the geometry of the
quiver varieties.
acknowledgement: |-
The first author thanks the Royal Society for funding his research 2005-2012 in the form of a Royal Society University Research Fellowship as well as the Mathematical Institute and Wadham College in Oxford for a very productive environment. The second author is supported by Agence Nationale de la Recherche grant
ANR-09-JCJC-0102-01. The third author is supported by the NSF grant DMS-1101484 and a Research Scholarship from the Clay Mathematical Institute.
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Emmanuel
full_name: Letellier, Emmanuel
last_name: Letellier
- first_name: Fernando
full_name: Rodríguez Villegas, Fernando
last_name: Rodríguez Villegas
citation:
ama: Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials
and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168.
doi:10.4007/annals.2013.177.3.8
apa: Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Positivity
for Kac polynomials and DT-invariants of quivers. Annals of Mathematics.
Princeton University Press. https://doi.org/10.4007/annals.2013.177.3.8
chicago: Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity
for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics.
Princeton University Press, 2013. https://doi.org/10.4007/annals.2013.177.3.8.
ieee: T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Positivity for Kac polynomials
and DT-invariants of quivers,” Annals of Mathematics, vol. 177, no. 3.
Princeton University Press, pp. 1147–1168, 2013.
ista: Hausel T, Letellier E, Rodríguez Villegas F. 2013. Positivity for Kac polynomials
and DT-invariants of quivers. Annals of Mathematics. 177(3), 1147–1168.
mla: Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of
Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University
Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
short: T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177
(2013) 1147–1168.
date_created: 2018-12-11T11:52:02Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:50:47Z
day: '01'
doi: 10.4007/annals.2013.177.3.8
extern: 1
intvolume: ' 177'
issue: '3'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1204.2375
month: '01'
oa: 1
page: 1147 - 1168
publication: Annals of Mathematics
publication_status: published
publisher: Princeton University Press
publist_id: '5754'
quality_controlled: 0
status: public
title: Positivity for Kac polynomials and DT-invariants of quivers
type: journal_article
volume: 177
year: '2013'
...
---
_id: '1443'
abstract:
- lang: eng
text: 'Here we survey several results and conjectures on the cohomology of the total
space of the Hitchin system: the moduli space of semi-stable rank n and degree
d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic
mixture of ideas originating in theoretical physics such as gauge theory and mirror
symmetry, Weil conjectures in arithmetic algebraic geometry, representation theory
of finite groups of Lie type and Langlands duality in number theory.'
alternative_title:
- Advanced Lectures in Mathematics
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
citation:
ama: 'Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli:
Volume II. Vol 25. International Press; 2013:29-70.'
apa: 'Hausel, T. (2013). Global topology of the Hitchin system. In Handbook of
Moduli: Volume II (Vol. 25, pp. 29–70). International Press.'
chicago: 'Hausel, Tamás. “Global Topology of the Hitchin System.” In Handbook
of Moduli: Volume II, 25:29–70. International Press, 2013.'
ieee: 'T. Hausel, “Global topology of the Hitchin system,” in Handbook of Moduli:
Volume II, vol. 25, International Press, 2013, pp. 29–70.'
ista: 'Hausel T. 2013.Global topology of the Hitchin system. In: Handbook of Moduli:
Volume II. Advanced Lectures in Mathematics, vol. 25, 29–70.'
mla: 'Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli:
Volume II, vol. 25, International Press, 2013, pp. 29–70.'
short: 'T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013,
pp. 29–70.'
date_created: 2018-12-11T11:52:03Z
date_published: 2013-03-15T00:00:00Z
date_updated: 2021-01-12T06:50:47Z
day: '15'
extern: 1
intvolume: ' 25'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1102.1717
month: '03'
oa: 1
page: 29 - 70
publication: 'Handbook of Moduli: Volume II'
publication_status: published
publisher: International Press
publist_id: '5753'
quality_controlled: 0
status: public
title: Global topology of the Hitchin system
type: book_chapter
volume: 25
year: '2013'
...
---
_id: '1469'
abstract:
- lang: eng
text: We study connections between the topology of generic character varieties of
fundamental groups of punctured Riemann surfaces, Macdonald polynomials, quiver
representations, Hilbert schemes on Cx × Cx, modular forms and multiplicities
in tensor products of irreducible characters of finite general linear groups.
acknowledgement: During the preparation of this paper TH was supported by a Royal
Society University Research Fellowship at the University of Oxford. EL was supported
by ANR-09-JCJC-0102-01. FRV was supported by NSF grant DMS-0200605, an FRA from
the University of Texas at Austin, EPSRC grant EP/G027110/1, Visiting Fellowships
at All Souls and Wadham Colleges in Oxford and a Research Scholarship from the Clay
Mathematical Institute.
author:
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Emmanuel
full_name: Letellier, Emmanuel
last_name: Letellier
- first_name: Fernando
full_name: Rodríguez Villegas, Fernando
last_name: Rodríguez Villegas
citation:
ama: Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on
character and quiver varieties II. Advances in Mathematics. 2013;234:85-128.
doi:10.1016/j.aim.2012.10.009
apa: Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Arithmetic
harmonic analysis on character and quiver varieties II. Advances in Mathematics.
Academic Press. https://doi.org/10.1016/j.aim.2012.10.009
chicago: Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic
Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics.
Academic Press, 2013. https://doi.org/10.1016/j.aim.2012.10.009.
ieee: T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis
on character and quiver varieties II,” Advances in Mathematics, vol. 234.
Academic Press, pp. 85–128, 2013.
ista: Hausel T, Letellier E, Rodríguez Villegas F. 2013. Arithmetic harmonic analysis
on character and quiver varieties II. Advances in Mathematics. 234, 85–128.
mla: Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver
Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013,
pp. 85–128, doi:10.1016/j.aim.2012.10.009.
short: T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234
(2013) 85–128.
date_created: 2018-12-11T11:52:12Z
date_published: 2013-02-15T00:00:00Z
date_updated: 2021-01-12T06:50:57Z
day: '15'
doi: 10.1016/j.aim.2012.10.009
extern: 1
intvolume: ' 234'
month: '02'
page: 85 - 128
publication: Advances in Mathematics
publication_status: published
publisher: Academic Press
publist_id: '5724'
quality_controlled: 0
status: public
title: Arithmetic harmonic analysis on character and quiver varieties II
type: journal_article
volume: 234
year: '2013'
...
---
_id: '1470'
abstract:
- lang: eng
text: We show that a natural isomorphism between the rational cohomology groups
of the two zero-dimensional Hilbert schemes of n-points of two surfaces, the affine
plane minus the axes and the cotangent bundle of an elliptic curve, exchanges
the weight filtration on the first set of cohomology groups with the perverse
Leray filtration associated with a natural fibration on the second set of cohomology
groups. We discuss some associated hard Lefschetz phenomena.
acknowledgement: Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F.
Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca
Migliorini was partially supported by PRIN 2007 project "Spazi di moduli e teoria
di Lie"
author:
- first_name: Mark
full_name: De Cataldo, Mark A
last_name: De Cataldo
- first_name: Tamas
full_name: Tamas Hausel
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
- first_name: Luca
full_name: Migliorini, Luca
last_name: Migliorini
citation:
ama: De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight
filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities.
2013;7:23-38. doi:10.5427/jsing.2013.7c
apa: De Cataldo, M., Hausel, T., & Migliorini, L. (2013). Exchange between perverse
and weight filtration for the Hilbert schemes of points of two surfaces. Journal
of Singularities. Worldwide Center of Mathematics. https://doi.org/10.5427/jsing.2013.7c
chicago: De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between
Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.”
Journal of Singularities. Worldwide Center of Mathematics, 2013. https://doi.org/10.5427/jsing.2013.7c.
ieee: M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and
weight filtration for the Hilbert schemes of points of two surfaces,” Journal
of Singularities, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013.
ista: De Cataldo M, Hausel T, Migliorini L. 2013. Exchange between perverse and
weight filtration for the Hilbert schemes of points of two surfaces. Journal of
Singularities. 7, 23–38.
mla: De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for
the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities,
vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.
short: M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013)
23–38.
date_created: 2018-12-11T11:52:12Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:50:58Z
day: '01'
doi: 10.5427/jsing.2013.7c
extern: 1
intvolume: ' 7'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1012.2583
month: '01'
oa: 1
page: 23 - 38
publication: Journal of Singularities
publication_status: published
publisher: Worldwide Center of Mathematics
publist_id: '5725'
quality_controlled: 0
status: public
title: Exchange between perverse and weight filtration for the Hilbert schemes of
points of two surfaces
type: journal_article
volume: 7
year: '2013'
...
---
_id: '1307'
abstract:
- lang: eng
text: We prove uniqueness of solutions of the DLSS equation in a class of sufficiently
regular functions. The global weak solutions of the DLSS equation constructed
by Jüngel and Matthes belong to this class of uniqueness. We also show uniqueness
of solutions for the quantum drift-diffusion equation, which contains additional
drift and second-order diffusion terms. The results hold in case of periodic or
Dirichlet-Neumann boundary conditions. Our proof is based on a monotonicity property
of the DLSS operator and sophisticated approximation arguments; we derive a PDE
satisfied by the pointwise square root of the solution, which enables us to exploit
the monotonicity property of the operator.
author:
- first_name: Julian L
full_name: Julian Fischer
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: Fischer JL. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation
and quantum drift diffusion models. Communications in Partial Differential
Equations. 2013;38(11):2004-2047. doi:10.1080/03605302.2013.823548
apa: Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
equation and quantum drift diffusion models. Communications in Partial Differential
Equations. Taylor & Francis. https://doi.org/10.1080/03605302.2013.823548
chicago: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn
Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential
Equations. Taylor & Francis, 2013. https://doi.org/10.1080/03605302.2013.823548.
ieee: J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
equation and quantum drift diffusion models,” Communications in Partial Differential
Equations, vol. 38, no. 11. Taylor & Francis, pp. 2004–2047, 2013.
ista: Fischer JL. 2013. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn
equation and quantum drift diffusion models. Communications in Partial Differential
Equations. 38(11), 2004–2047.
mla: Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn
Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential
Equations, vol. 38, no. 11, Taylor & Francis, 2013, pp. 2004–47, doi:10.1080/03605302.2013.823548.
short: J.L. Fischer, Communications in Partial Differential Equations 38 (2013)
2004–2047.
date_created: 2018-12-11T11:51:17Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T06:49:46Z
day: '01'
doi: 10.1080/03605302.2013.823548
extern: 1
intvolume: ' 38'
issue: '11'
month: '11'
page: 2004 - 2047
publication: Communications in Partial Differential Equations
publication_status: published
publisher: Taylor & Francis
publist_id: '5962'
quality_controlled: 0
status: public
title: Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum
drift diffusion models
type: journal_article
volume: 38
year: '2013'
...
---
_id: '1308'
abstract:
- lang: eng
text: We derive sufficient conditions for advection-driven backward motion of the
free boundary in a chemotaxis model with degenerate mobility. In this model, a
porous-medium-type diffusive term and an advection term are in competition. The
former induces forward motion, the latter may induce backward motion of the free
boundary depending on the direction of advection. We deduce conditions on the
growth of the initial data at the free boundary which ensure that at least initially
the advection term is dominant. This implies local backward motion of the free
boundary provided the advection is (locally) directed appropriately. Our result
is based on a new class of moving test functions and Stampacchia's lemma. As a
by-product of our estimates, we obtain quantitative bounds on the spreading of
the support of solutions for the chemotaxis model and provide a proof for the
finite speed of the support propagation property of solutions.
author:
- first_name: Julian L
full_name: Julian Fischer
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: Fischer JL. Advection-driven support shrinking in a chemotaxis model with degenerate
mobility. SIAM Journal on Mathematical Analysis. 2013;45(3):1585-1615.
doi:10.1137/120874291
apa: Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model
with degenerate mobility. SIAM Journal on Mathematical Analysis. Society
for Industrial and Applied Mathematics . https://doi.org/10.1137/120874291
chicago: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis
Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis.
Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120874291.
ieee: J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with
degenerate mobility,” SIAM Journal on Mathematical Analysis, vol. 45, no.
3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013.
ista: Fischer JL. 2013. Advection-driven support shrinking in a chemotaxis model
with degenerate mobility. SIAM Journal on Mathematical Analysis. 45(3), 1585–1615.
mla: Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model
with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol.
45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615,
doi:10.1137/120874291.
short: J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
date_created: 2018-12-11T11:51:17Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:49:46Z
day: '01'
doi: 10.1137/120874291
extern: 1
intvolume: ' 45'
issue: '3'
month: '01'
page: 1585 - 1615
publication: SIAM Journal on Mathematical Analysis
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '5963'
quality_controlled: 0
status: public
title: Advection-driven support shrinking in a chemotaxis model with degenerate mobility
type: journal_article
volume: 45
year: '2013'
...
---
_id: '1310'
abstract:
- lang: eng
text: We derive lower bounds on asymptotic support propagation rates for strong
solutions of the Cauchy problem for the thin-film equation. The bounds coincide
up to a constant factor with the previously known upper bounds and thus are sharp.
Our results hold in case of at most three spatial dimensions and n∈. (1, 2.92).
The result is established using weighted backward entropy inequalities with singular
weight functions to yield a differential inequality; combined with some entropy
production estimates, the optimal rate of propagation is obtained. To the best
of our knowledge, these are the first lower bounds on asymptotic support propagation
rates for higher-order nonnegativity-preserving parabolic equations.
author:
- first_name: Julian L
full_name: Julian Fischer
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: Fischer JL. Optimal lower bounds on asymptotic support propagation rates for
the thin-film equation. Journal of Differential Equations. 2013;255(10):3127-3149.
doi:10.1016/j.jde.2013.07.028
apa: Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation
rates for the thin-film equation. Journal of Differential Equations. Academic
Press. https://doi.org/10.1016/j.jde.2013.07.028
chicago: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation
Rates for the Thin-Film Equation.” Journal of Differential Equations. Academic
Press, 2013. https://doi.org/10.1016/j.jde.2013.07.028.
ieee: J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates
for the thin-film equation,” Journal of Differential Equations, vol. 255,
no. 10. Academic Press, pp. 3127–3149, 2013.
ista: Fischer JL. 2013. Optimal lower bounds on asymptotic support propagation rates
for the thin-film equation. Journal of Differential Equations. 255(10), 3127–3149.
mla: Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation
Rates for the Thin-Film Equation.” Journal of Differential Equations, vol.
255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028.
short: J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
date_created: 2018-12-11T11:51:18Z
date_published: 2013-11-15T00:00:00Z
date_updated: 2021-01-12T06:49:47Z
day: '15'
doi: 10.1016/j.jde.2013.07.028
extern: 1
intvolume: ' 255'
issue: '10'
month: '11'
page: 3127 - 3149
publication: Journal of Differential Equations
publication_status: published
publisher: Academic Press
publist_id: '5961'
quality_controlled: 0
status: public
title: Optimal lower bounds on asymptotic support propagation rates for the thin-film
equation
type: journal_article
volume: 255
year: '2013'
...
---
_id: '13405'
abstract:
- lang: eng
text: We report a method for preparing electrode–molecule–electrode junctions that
incorporate nonsymmetrical azobenzene dithiols. Our approach is based on sequential
deprotection of thiol moieties originally carrying two different protecting groups.
The azobenzene derivatives retained their switching properties within monolayers
and permitted the photocontrol of electrical conductance.
article_processing_charge: No
article_type: original
author:
- first_name: Tal
full_name: Ely, Tal
last_name: Ely
- first_name: Sanjib
full_name: Das, Sanjib
last_name: Das
- first_name: Wenjie
full_name: Li, Wenjie
last_name: Li
- first_name: Pintu
full_name: Kundu, Pintu
last_name: Kundu
- first_name: Einat
full_name: Tirosh, Einat
last_name: Tirosh
- first_name: David
full_name: Cahen, David
last_name: Cahen
- first_name: Ayelet
full_name: Vilan, Ayelet
last_name: Vilan
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical
azobenzene dithiol. Synlett. 2013;24(18):2370-2374. doi:10.1055/s-0033-1340087
apa: Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D., … Klajn, R. (2013).
Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol.
Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-0033-1340087
chicago: Ely, Tal, Sanjib Das, Wenjie Li, Pintu Kundu, Einat Tirosh, David Cahen,
Ayelet Vilan, and Rafal Klajn. “Photocontrol of Electrical Conductance with a
Nonsymmetrical Azobenzene Dithiol.” Synlett. Georg Thieme Verlag, 2013.
https://doi.org/10.1055/s-0033-1340087.
ieee: T. Ely et al., “Photocontrol of electrical conductance with a nonsymmetrical
azobenzene dithiol,” Synlett, vol. 24, no. 18. Georg Thieme Verlag, pp.
2370–2374, 2013.
ista: Ely T, Das S, Li W, Kundu P, Tirosh E, Cahen D, Vilan A, Klajn R. 2013. Photocontrol
of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 24(18),
2370–2374.
mla: Ely, Tal, et al. “Photocontrol of Electrical Conductance with a Nonsymmetrical
Azobenzene Dithiol.” Synlett, vol. 24, no. 18, Georg Thieme Verlag, 2013,
pp. 2370–74, doi:10.1055/s-0033-1340087.
short: T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn,
Synlett 24 (2013) 2370–2374.
date_created: 2023-08-01T09:47:17Z
date_published: 2013-10-22T00:00:00Z
date_updated: 2023-08-08T07:47:35Z
day: '22'
doi: 10.1055/s-0033-1340087
extern: '1'
intvolume: ' 24'
issue: '18'
keyword:
- Organic Chemistry
language:
- iso: eng
month: '10'
oa_version: None
page: 2370-2374
publication: Synlett
publication_identifier:
eissn:
- 1437-2096
issn:
- 0936-5214
publication_status: published
publisher: Georg Thieme Verlag
quality_controlled: '1'
scopus_import: '1'
status: public
title: Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2013'
...
---
_id: '13406'
abstract:
- lang: eng
text: Dual-responsive nanoparticles are designed by functionalizing magnetic cores
with light-responsive ligands. These materials respond to both light and magnetic
fields and can be assembled into various higher-order structures, depending on
the relative contributions of these two stimuli.
article_processing_charge: No
article_type: original
author:
- first_name: Sanjib
full_name: Das, Sanjib
last_name: Das
- first_name: Priyadarshi
full_name: Ranjan, Priyadarshi
last_name: Ranjan
- first_name: Pradipta Sankar
full_name: Maiti, Pradipta Sankar
last_name: Maiti
- first_name: Gurvinder
full_name: Singh, Gurvinder
last_name: Singh
- first_name: Gregory
full_name: Leitus, Gregory
last_name: Leitus
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles
and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734
apa: Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., & Klajn, R. (2013).
Dual-responsive nanoparticles and their self-assembly. Advanced Materials.
Wiley. https://doi.org/10.1002/adma.201201734
chicago: Das, Sanjib, Priyadarshi Ranjan, Pradipta Sankar Maiti, Gurvinder Singh,
Gregory Leitus, and Rafal Klajn. “Dual-Responsive Nanoparticles and Their Self-Assembly.”
Advanced Materials. Wiley, 2013. https://doi.org/10.1002/adma.201201734.
ieee: S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive
nanoparticles and their self-assembly,” Advanced Materials, vol. 25, no.
3. Wiley, pp. 422–426, 2013.
ista: Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. 2013. Dual-responsive
nanoparticles and their self-assembly. Advanced Materials. 25(3), 422–426.
mla: Das, Sanjib, et al. “Dual-Responsive Nanoparticles and Their Self-Assembly.”
Advanced Materials, vol. 25, no. 3, Wiley, 2013, pp. 422–26, doi:10.1002/adma.201201734.
short: S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials
25 (2013) 422–426.
date_created: 2023-08-01T09:47:30Z
date_published: 2013-01-18T00:00:00Z
date_updated: 2023-08-08T07:49:36Z
day: '18'
doi: 10.1002/adma.201201734
extern: '1'
external_id:
pmid:
- '22933327'
intvolume: ' 25'
issue: '3'
keyword:
- Mechanical Engineering
- Mechanics of Materials
- General Materials Science
language:
- iso: eng
month: '01'
oa_version: None
page: 422-426
pmid: 1
publication: Advanced Materials
publication_identifier:
issn:
- 0935-9648
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dual-responsive nanoparticles and their self-assembly
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 25
year: '2013'
...
---
_id: '1374'
abstract:
- lang: eng
text: 'We study two-player zero-sum games over infinite-state graphs equipped with
ωB and finitary conditions. Our first contribution is about the strategy complexity,
i.e the memory required for winning strategies: we prove that over general infinite-state
graphs, memoryless strategies are sufficient for finitary Büchi, and finite-memory
suffices for finitary parity games. We then study pushdown games with boundedness
conditions, with two contributions. First we prove a collapse result for pushdown
games with ωB-conditions, implying the decidability of solving these games. Second
we consider pushdown games with finitary parity along with stack boundedness conditions,
and show that solving these games is EXPTIME-complete.'
alternative_title:
- LIPIcs
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Nathanaël
full_name: Fijalkow, Nathanaël
last_name: Fijalkow
citation:
ama: 'Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In:
22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz
International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für
Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181'
apa: 'Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary
conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol.
23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.CSL.2013.181'
chicago: Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with
Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic,
23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
ieee: K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,”
in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy,
2013, vol. 23, pp. 181–196.
ista: 'Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions.
22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science
LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.'
mla: Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with
Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic,
vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96,
doi:10.4230/LIPIcs.CSL.2013.181.
short: K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer
Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
conference:
end_date: 2013-09-05
location: Torino, Italy
name: 'CSL: Computer Science Logic'
start_date: 203-09-02
date_created: 2018-12-11T11:51:39Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2021-01-12T06:50:14Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.CSL.2013.181
ec_funded: 1
file:
- access_level: open_access
checksum: b7091a3866db573c0db5ec486952255e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:38Z
date_updated: 2020-07-14T12:44:47Z
file_id: '5023'
file_name: IST-2016-624-v1+1_ChKr_Infinite-state_games_2013_17.pdf
file_size: 547296
relation: main_file
file_date_updated: 2020-07-14T12:44:47Z
has_accepted_license: '1'
intvolume: ' 23'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 181 - 196
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: 22nd EACSL Annual Conference on Computer Science Logic
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '5837'
pubrep_id: '624'
quality_controlled: '1'
scopus_import: 1
series_title: Leibniz International Proceedings in Informatics
status: public
title: Infinite-state games with finitary conditions
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2013'
...
---
_id: '1376'
abstract:
- lang: eng
text: 'We consider the distributed synthesis problem for temporal logic specifications.
Traditionally, the problem has been studied for LTL, and the previous results
show that the problem is decidable iff there is no information fork in the architecture.
We consider the problem for fragments of LTL and our main results are as follows:
(1) We show that the problem is undecidable for architectures with information
forks even for the fragment of LTL with temporal operators restricted to next
and eventually. (2) For specifications restricted to globally along with non-nested
next operators, we establish decidability (in EXPSPACE) for star architectures
where the processes receive disjoint inputs, whereas we establish undecidability
for architectures containing an information fork-meet structure. (3) Finally,
we consider LTL without the next operator, and establish decidability (NEXPTIME-complete)
for all architectures for a fragment that consists of a set of safety assumptions,
and a set of guarantees where each guarantee is a safety, reachability, or liveness
condition.'
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Jan
full_name: Otop, Jan
id: 2FC5DA74-F248-11E8-B48F-1D18A9856A87
last_name: Otop
- 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, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis
for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided
Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386'
apa: 'Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013).
Distributed synthesis for LTL fragments. In 13th International Conference on
Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United
States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386'
chicago: Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis.
“Distributed Synthesis for LTL Fragments.” In 13th International Conference
on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
ieee: K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed
synthesis for LTL fragments,” in 13th International Conference on Formal Methods
in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
ista: 'Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis
for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided
Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.'
mla: Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th
International Conference on Formal Methods in Computer-Aided Design, IEEE,
2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
short: K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International
Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
conference:
end_date: 2013-10-23
location: Portland, OR, United States
name: 'FMCAD: Formal Methods in Computer-Aided Design'
start_date: 2013-10-20
date_created: 2018-12-11T11:51:40Z
date_published: 2013-12-11T00:00:00Z
date_updated: 2023-02-23T12:24:53Z
day: '11'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1109/FMCAD.2013.6679386
ec_funded: 1
language:
- iso: eng
month: '12'
oa_version: None
page: 18 - 25
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: 13th International Conference on Formal Methods in Computer-Aided Design
publication_status: published
publisher: IEEE
publist_id: '5835'
quality_controlled: '1'
related_material:
record:
- id: '5406'
relation: earlier_version
status: public
status: public
title: Distributed synthesis for LTL fragments
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '1385'
abstract:
- lang: eng
text: It is often difficult to correctly implement a Boolean controller for a complex
system, especially when concurrency is involved. Yet, it may be easy to formally
specify a controller. For instance, for a pipelined processor it suffices to state
that the visible behavior of the pipelined system should be identical to a non-pipelined
reference system (Burch-Dill paradigm). We present a novel procedure to efficiently
synthesize multiple Boolean control signals from a specification given as a quantified
first-order formula (with a specific quantifier structure). Our approach uses
uninterpreted functions to abstract details of the design. We construct an unsatisfiable
SMT formula from the given specification. Then, from just one proof of unsatisfiability,
we use a variant of Craig interpolation to compute multiple coordinated interpolants
that implement the Boolean control signals. Our method avoids iterative learning
and back-substitution of the control functions. We applied our approach to synthesize
a controller for a simple two-stage pipelined processor, and present first experimental
results.
acknowledgement: "This research was supported by the European Commission through project\r\nDIAMOND
\ (FP7-2009-IST-4-248613), and QUAINT (I774-N23), "
arxiv: 1
author:
- first_name: Georg
full_name: Hofferek, Georg
last_name: Hofferek
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Bettina
full_name: Könighofer, Bettina
last_name: Könighofer
- first_name: Jie
full_name: Jiang, Jie
last_name: Jiang
- first_name: Roderick
full_name: Bloem, Roderick
last_name: Bloem
citation:
ama: 'Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple
boolean functions using interpolation on a single proof. In: 2013 Formal Methods
in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394'
apa: 'Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013).
Synthesizing multiple boolean functions using interpolation on a single proof.
In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland,
OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394'
chicago: Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick
Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single
Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.
https://doi.org/10.1109/FMCAD.2013.6679394.
ieee: G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing
multiple boolean functions using interpolation on a single proof,” in 2013
Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013,
pp. 77–84.
ista: 'Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple
boolean functions using interpolation on a single proof. 2013 Formal Methods in
Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.'
mla: Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation
on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE,
2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
short: G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal
Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
conference:
end_date: 2013-10-23
location: Portland, OR, United States
name: 'FMCAD: Formal Methods in Computer-Aided Design'
start_date: 2013-10-20
date_created: 2018-12-11T11:51:43Z
date_published: 2013-12-11T00:00:00Z
date_updated: 2021-01-12T06:50:19Z
day: '11'
department:
- _id: ToHe
doi: 10.1109/FMCAD.2013.6679394
ec_funded: 1
external_id:
arxiv:
- '1308.4767'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1308.4767
month: '12'
oa: 1
oa_version: Preprint
page: 77 - 84
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication: 2013 Formal Methods in Computer-Aided Design
publication_status: published
publisher: IEEE
publist_id: '5825'
quality_controlled: '1'
status: public
title: Synthesizing multiple boolean functions using interpolation on a single proof
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...