---
_id: '2699'
abstract:
- lang: eng
text: "We prove the universality of the β-ensembles with convex analytic potentials
and for any β >\r\n0, i.e. we show that the spacing distributions of log-gases
at any inverse temperature β coincide with those of the Gaussian β-ensembles."
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Paul
full_name: Bourgade, Paul
last_name: Bourgade
- first_name: Horng
full_name: Yau, Horng
last_name: Yau
citation:
ama: Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical
Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752
apa: Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles.
Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2649752
chicago: Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General β-Ensembles.”
Duke Mathematical Journal. Duke University Press, 2014. https://doi.org/10.1215/00127094-2649752.
ieee: L. Erdös, P. Bourgade, and H. Yau, “Universality of general β-ensembles,”
Duke Mathematical Journal, vol. 163, no. 6. Duke University Press, pp.
1127–1190, 2014.
ista: Erdös L, Bourgade P, Yau H. 2014. Universality of general β-ensembles. Duke
Mathematical Journal. 163(6), 1127–1190.
mla: Erdös, László, et al. “Universality of General β-Ensembles.” Duke Mathematical
Journal, vol. 163, no. 6, Duke University Press, 2014, pp. 1127–90, doi:10.1215/00127094-2649752.
short: L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
date_created: 2018-12-11T11:59:08Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2021-01-12T06:59:07Z
day: '01'
department:
- _id: LaEr
doi: 10.1215/00127094-2649752
intvolume: ' 163'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1104.2272
month: '04'
oa: 1
oa_version: Preprint
page: 1127 - 1190
publication: Duke Mathematical Journal
publication_status: published
publisher: Duke University Press
publist_id: '4197'
quality_controlled: '1'
scopus_import: 1
status: public
title: Universality of general β-ensembles
type: journal_article
user_id: 3FFCCD3A-F248-11E8-B48F-1D18A9856A87
volume: 163
year: '2014'
...
---
_id: '2716'
abstract:
- lang: eng
text: Multi-dimensional mean-payoff and energy games provide the mathematical foundation
for the quantitative study of reactive systems, and play a central role in the
emerging quantitative theory of verification and synthesis. In this work, we study
the strategy synthesis problem for games with such multi-dimensional objectives
along with a parity condition, a canonical way to express ω ω -regular conditions.
While in general, the winning strategies in such games may require infinite memory,
for synthesis the most relevant problem is the construction of a finite-memory
winning strategy (if one exists). Our main contributions are as follows. First,
we show a tight exponential bound (matching upper and lower bounds) on the memory
required for finite-memory winning strategies in both multi-dimensional mean-payoff
and energy games along with parity objectives. This significantly improves the
triple exponential upper bound for multi energy games (without parity) that could
be derived from results in literature for games on vector addition systems with
states. Second, we present an optimal symbolic and incremental algorithm to compute
a finite-memory winning strategy (if one exists) in such games. Finally, we give
a complete characterization of when finite memory of strategies can be traded
off for randomness. In particular, we show that for one-dimension mean-payoff
parity games, randomized memoryless strategies are as powerful as their pure finite-memory
counterparts.
acknowledgement: "Krishnendu Chatterjee is supported by Austrian Science Fund (FWF)
Grant No P 23499-N23, FWF NFN Grant No S11407 (RiSE), ERC Starting Grant (279307:
Graph Games) and Microsoft faculty fellowship. Mickael Randour is supported by F.R.S.-FNRS.
fellowship. \r\nJean-François Raskin is supported by ERC Starting Grant (279499:
inVEST).Thanks to D. Sbabo for useful pointers, V. Bruyère for comments on a preliminary
draft, and A. Bohy for fruitful discussions about the Acacia+ tool. We are grateful
to the anonymous reviewers for their insightful comments. "
article_processing_charge: No
article_type: original
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: Mickael
full_name: Randour, Mickael
last_name: Randour
- first_name: Jean
full_name: Raskin, Jean
last_name: Raskin
citation:
ama: Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional
quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
apa: Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for
multi-dimensional quantitative objectives. Acta Informatica. Springer.
https://doi.org/10.1007/s00236-013-0182-6
chicago: Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis
for Multi-Dimensional Quantitative Objectives.” Acta Informatica. Springer,
2014. https://doi.org/10.1007/s00236-013-0182-6.
ieee: K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional
quantitative objectives,” Acta Informatica, vol. 51, no. 3–4. Springer,
pp. 129–163, 2014.
ista: Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional
quantitative objectives. Acta Informatica. 51(3–4), 129–163.
mla: Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative
Objectives.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63,
doi:10.1007/s00236-013-0182-6.
short: K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
date_created: 2018-12-11T11:59:14Z
date_published: 2014-06-01T00:00:00Z
date_updated: 2023-02-21T16:06:56Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/s00236-013-0182-6
external_id:
arxiv:
- '1201.5073'
intvolume: ' 51'
issue: 3-4
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1201.5073
month: '06'
oa: 1
oa_version: Preprint
page: 129 - 163
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
publication: Acta Informatica
publication_status: published
publisher: Springer
publist_id: '4176'
quality_controlled: '1'
related_material:
record:
- id: '10904'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Strategy synthesis for multi-dimensional quantitative objectives
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2014'
...
---
_id: '2905'
abstract:
- lang: eng
text: "Persistent homology is a recent grandchild of homology that has found use
in\r\nscience and engineering as well as in mathematics. This paper surveys the
method as well\r\nas the applications, neglecting completeness in favor of highlighting
ideas and directions."
acknowledgement: This research is partially supported by NSF under grant DBI-0820624,
by ESF under the Research Networking Programme, and by the Russian Government Project
11.G34.31.0053.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Dmitriy
full_name: Morozovy, Dmitriy
last_name: Morozovy
citation:
ama: 'Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In:
European Mathematical Society Publishing House; 2014:31-50. doi:10.4171/120-1/3'
apa: 'Edelsbrunner, H., & Morozovy, D. (2014). Persistent homology: Theory and
practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics,
Kraków, Poland: European Mathematical Society Publishing House. https://doi.org/10.4171/120-1/3'
chicago: 'Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory
and Practice,” 31–50. European Mathematical Society Publishing House, 2014. https://doi.org/10.4171/120-1/3.'
ieee: 'H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,”
presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014,
pp. 31–50.'
ista: 'Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice.
ECM: European Congress of Mathematics, 31–50.'
mla: 'Edelsbrunner, Herbert, and Dmitriy Morozovy. Persistent Homology: Theory
and Practice. European Mathematical Society Publishing House, 2014, pp. 31–50,
doi:10.4171/120-1/3.'
short: H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing
House, 2014, pp. 31–50.
conference:
end_date: 2012-07-07
location: Kraków, Poland
name: 'ECM: European Congress of Mathematics'
start_date: 2012-07-02
date_created: 2018-12-11T12:00:16Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T07:00:36Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.4171/120-1/3
file:
- access_level: open_access
checksum: 1d4a046f1af945c407c5c4d411d4c5e4
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:43Z
date_updated: 2020-07-14T12:45:52Z
file_id: '5232'
file_name: IST-2016-544-v1+1_2012-P-11-PHTheoryPractice.pdf
file_size: 435320
relation: main_file
file_date_updated: 2020-07-14T12:45:52Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 31 - 50
publication_status: published
publisher: European Mathematical Society Publishing House
publist_id: '3842'
pubrep_id: '544'
quality_controlled: '1'
status: public
title: 'Persistent homology: Theory and practice'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '3263'
abstract:
- lang: eng
text: Adaptation in the retina is thought to optimize the encoding of natural light
signals into sequences of spikes sent to the brain. While adaptive changes in
retinal processing to the variations of the mean luminance level and second-order
stimulus statistics have been documented before, no such measurements have been
performed when higher-order moments of the light distribution change. We therefore
measured the ganglion cell responses in the tiger salamander retina to controlled
changes in the second (contrast), third (skew) and fourth (kurtosis) moments of
the light intensity distribution of spatially uniform temporally independent stimuli.
The skew and kurtosis of the stimuli were chosen to cover the range observed in
natural scenes. We quantified adaptation in ganglion cells by studying linear-nonlinear
models that capture well the retinal encoding properties across all stimuli. We
found that the encoding properties of retinal ganglion cells change only marginally
when higher-order statistics change, compared to the changes observed in response
to the variation in contrast. By analyzing optimal coding in LN-type models, we
showed that neurons can maintain a high information rate without large dynamic
adaptation to changes in skew or kurtosis. This is because, for uncorrelated stimuli,
spatio-temporal summation within the receptive field averages away non-gaussian
aspects of the light intensity distribution.
acknowledgement: "This work was supported by The Israel Science Foundation and The
Human Frontiers Science Program.\r\nWe thank the referees for helping significantly
improve this paper. We also thank Vijay Balasubramanian, Kristina Simmons, and Jason
Prentice for stimulating discussions. GT wishes to thank the faculty and students
of the “Methods in Computational Neuroscience” course at Marine Biological Laboratory,
Woods Hole.\r\n"
article_number: e85841
author:
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
- first_name: Anandamohan
full_name: Ghosh, Anandamohan
last_name: Ghosh
- first_name: Elad
full_name: Schneidman, Elad
last_name: Schneidman
- first_name: Ronen
full_name: Segev, Ronen
last_name: Segev
citation:
ama: Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order
stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
apa: Tkačik, G., Ghosh, A., Schneidman, E., & Segev, R. (2014). Adaptation to
changes in higher-order stimulus statistics in the salamander retina. PLoS
One. Public Library of Science. https://doi.org/10.1371/journal.pone.0085841
chicago: Tkačik, Gašper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation
to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS
One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0085841.
ieee: G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in
higher-order stimulus statistics in the salamander retina,” PLoS One, vol.
9, no. 1. Public Library of Science, 2014.
ista: Tkačik G, Ghosh A, Schneidman E, Segev R. 2014. Adaptation to changes in higher-order
stimulus statistics in the salamander retina. PLoS One. 9(1), e85841.
mla: Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics
in the Salamander Retina.” PLoS One, vol. 9, no. 1, e85841, Public Library
of Science, 2014, doi:10.1371/journal.pone.0085841.
short: G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
date_created: 2018-12-11T12:02:20Z
date_published: 2014-01-21T00:00:00Z
date_updated: 2021-01-12T07:42:14Z
day: '21'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1371/journal.pone.0085841
file:
- access_level: open_access
checksum: 1d5816b343abe5eadc3eb419bcece971
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:28Z
date_updated: 2020-07-14T12:46:06Z
file_id: '5011'
file_name: IST-2016-432-v1+1_journal.pone.0085841.pdf
file_size: 1568524
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: ' 9'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '3385'
pubrep_id: '432'
quality_controlled: '1'
scopus_import: 1
status: public
title: Adaptation to changes in higher-order stimulus statistics in the salamander
retina
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: 3FFCCD3A-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2014'
...
---
_id: '10815'
abstract:
- lang: eng
text: In the last several decades, developmental biology has clarified the molecular
mechanisms of embryogenesis and organogenesis. In particular, it has demonstrated
that the “tool-kit genes” essential for regulating developmental processes are
not only highly conserved among species, but are also used as systems at various
times and places in an organism to control distinct developmental events. Therefore,
mutations in many of these tool-kit genes may cause congenital diseases involving
morphological abnormalities. This link between genes and abnormal morphological
phenotypes underscores the importance of understanding how cells behave and contribute
to morphogenesis as a result of gene function. Recent improvements in live imaging
and in quantitative analyses of cellular dynamics will advance our understanding
of the cellular pathogenesis of congenital diseases associated with aberrant morphologies.
In these studies, it is critical to select an appropriate model organism for the
particular phenomenon of interest.
acknowledgement: The authors thank all the members of the Division of Morphogenesis,
National Institute for Basic Biology, for their contributions to the research, their
encouragement, and helpful discussions, particularly Dr M. Suzuki for his critical
reading of the manuscript. We also thank the Model Animal Research and Spectrography
and Bioimaging Facilities, NIBB Core Research Facilities, for technical support.
M.H. was supported by a research fellowship from the Japan Society for the Promotion
of Science (JSPS). Our work introduced in this review was supported by a Grant-in-Aid
for Scientific Research on Innovative Areas from the Ministry of Education, Culture,
Sports, Science, and Technology (MEXT), Japan, to N.U.
article_processing_charge: No
article_type: original
author:
- first_name: Masakazu
full_name: Hashimoto, Masakazu
last_name: Hashimoto
- first_name: Hitoshi
full_name: Morita, Hitoshi
id: 4C6E54C6-F248-11E8-B48F-1D18A9856A87
last_name: Morita
- first_name: Naoto
full_name: Ueno, Naoto
last_name: Ueno
citation:
ama: Hashimoto M, Morita H, Ueno N. Molecular and cellular mechanisms of development
underlying congenital diseases. Congenital Anomalies. 2014;54(1):1-7. doi:10.1111/cga.12039
apa: Hashimoto, M., Morita, H., & Ueno, N. (2014). Molecular and cellular mechanisms
of development underlying congenital diseases. Congenital Anomalies. Wiley.
https://doi.org/10.1111/cga.12039
chicago: Hashimoto, Masakazu, Hitoshi Morita, and Naoto Ueno. “Molecular and Cellular
Mechanisms of Development Underlying Congenital Diseases.” Congenital Anomalies.
Wiley, 2014. https://doi.org/10.1111/cga.12039.
ieee: M. Hashimoto, H. Morita, and N. Ueno, “Molecular and cellular mechanisms of
development underlying congenital diseases,” Congenital Anomalies, vol.
54, no. 1. Wiley, pp. 1–7, 2014.
ista: Hashimoto M, Morita H, Ueno N. 2014. Molecular and cellular mechanisms of
development underlying congenital diseases. Congenital Anomalies. 54(1), 1–7.
mla: Hashimoto, Masakazu, et al. “Molecular and Cellular Mechanisms of Development
Underlying Congenital Diseases.” Congenital Anomalies, vol. 54, no. 1,
Wiley, 2014, pp. 1–7, doi:10.1111/cga.12039.
short: M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
date_created: 2022-03-04T08:17:25Z
date_published: 2014-02-01T00:00:00Z
date_updated: 2022-03-04T08:26:05Z
day: '01'
department:
- _id: CaHe
doi: 10.1111/cga.12039
external_id:
pmid:
- '24666178'
intvolume: ' 54'
issue: '1'
keyword:
- Developmental Biology
- Embryology
- General Medicine
- Pediatrics
- Perinatology
- and Child Health
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/cga.12039
month: '02'
oa: 1
oa_version: None
page: 1-7
pmid: 1
publication: Congenital Anomalies
publication_identifier:
issn:
- 0914-3505
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular and cellular mechanisms of development underlying congenital diseases
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2014'
...
---
_id: '10884'
abstract:
- lang: eng
text: "We revisit the parameterized model checking problem for token-passing systems
and specifications in indexed CTL ∗ \\X. Emerson and Namjoshi (1995, 2003) have
shown that parameterized model checking of indexed CTL ∗ \\X in uni-directional
token rings can be reduced to checking rings up to some cutoff size. Clarke et
al. (2004) have shown a similar result for general topologies and indexed LTL
\\X, provided processes cannot choose the directions for sending or receiving
the token.\r\nWe unify and substantially extend these results by systematically
exploring fragments of indexed CTL ∗ \\X with respect to general topologies.
For each fragment we establish whether a cutoff exists, and for some concrete
topologies, such as rings, cliques and stars, we infer small cutoffs. Finally,
we show that the problem becomes undecidable, and thus no cutoffs exist, if processes
are allowed to choose the directions in which they send or from which they receive
the token."
acknowledgement: "This work was supported by the Austrian Science Fund through grant
P23499-N23\r\nand through the RiSE network (S11403, S11405, S11406, S11407-N23);
ERC Starting Grant (279307: Graph Games); Vienna Science and Technology Fund (WWTF)\r\ngrants
PROSEED, ICT12-059, and VRG11-005."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Benjamin
full_name: Aminof, Benjamin
id: 4A55BD00-F248-11E8-B48F-1D18A9856A87
last_name: Aminof
- first_name: Swen
full_name: Jacobs, Swen
last_name: Jacobs
- first_name: Ayrat
full_name: Khalimov, Ayrat
last_name: Khalimov
- first_name: Sasha
full_name: Rubin, Sasha
id: 2EC51194-F248-11E8-B48F-1D18A9856A87
last_name: Rubin
citation:
ama: 'Aminof B, Jacobs S, Khalimov A, Rubin S. Parameterized model checking of token-passing
systems. In: Verification, Model Checking, and Abstract Interpretation.
Vol 8318. Springer Nature; 2014:262-281. doi:10.1007/978-3-642-54013-4_15'
apa: 'Aminof, B., Jacobs, S., Khalimov, A., & Rubin, S. (2014). Parameterized
model checking of token-passing systems. In Verification, Model Checking, and
Abstract Interpretation (Vol. 8318, pp. 262–281). San Diego, CA, United States:
Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_15'
chicago: Aminof, Benjamin, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. “Parameterized
Model Checking of Token-Passing Systems.” In Verification, Model Checking,
and Abstract Interpretation, 8318:262–81. Springer Nature, 2014. https://doi.org/10.1007/978-3-642-54013-4_15.
ieee: B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking
of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation,
San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.
ista: 'Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking
of token-passing systems. Verification, Model Checking, and Abstract Interpretation.
VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318,
262–281.'
mla: Aminof, Benjamin, et al. “Parameterized Model Checking of Token-Passing Systems.”
Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer
Nature, 2014, pp. 262–81, doi:10.1007/978-3-642-54013-4_15.
short: B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking,
and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
conference:
end_date: 2014-01-21
location: San Diego, CA, United States
name: 'VMCAI: Verifcation, Model Checking, and Abstract Interpretation'
start_date: 2014-01-19
date_created: 2022-03-18T13:01:22Z
date_published: 2014-01-30T00:00:00Z
date_updated: 2022-05-17T08:36:01Z
day: '30'
department:
- _id: KrCh
doi: 10.1007/978-3-642-54013-4_15
ec_funded: 1
external_id:
arxiv:
- '1311.4425'
intvolume: ' 8318'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.1311.4425'
month: '01'
oa: 1
oa_version: Preprint
page: 262-281
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'
publication: Verification, Model Checking, and Abstract Interpretation
publication_identifier:
eisbn:
- '9783642540134'
eissn:
- 1611-3349
isbn:
- '9783642540127'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Parameterized model checking of token-passing systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8318
year: '2014'
...
---
_id: '11080'
abstract:
- lang: eng
text: The spindle assembly checkpoint prevents separation of sister chromatids until
each kinetochore is attached to the mitotic spindle. Rodriguez-Bravo et al. report
that the nuclear pore complex scaffolds spindle assembly checkpoint signaling
in interphase, providing a store of inhibitory signals that limits the speed of
the subsequent mitosis.
article_processing_charge: No
article_type: original
author:
- first_name: Abigail
full_name: Buchwalter, Abigail
last_name: Buchwalter
- 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: Buchwalter A, Hetzer M. Nuclear pores set the speed limit for mitosis. Cell.
2014;156(5):868-869. doi:10.1016/j.cell.2014.02.004
apa: Buchwalter, A., & Hetzer, M. (2014). Nuclear pores set the speed limit
for mitosis. Cell. Elsevier. https://doi.org/10.1016/j.cell.2014.02.004
chicago: Buchwalter, Abigail, and Martin Hetzer. “Nuclear Pores Set the Speed Limit
for Mitosis.” Cell. Elsevier, 2014. https://doi.org/10.1016/j.cell.2014.02.004.
ieee: A. Buchwalter and M. Hetzer, “Nuclear pores set the speed limit for mitosis,”
Cell, vol. 156, no. 5. Elsevier, pp. 868–869, 2014.
ista: Buchwalter A, Hetzer M. 2014. Nuclear pores set the speed limit for mitosis.
Cell. 156(5), 868–869.
mla: Buchwalter, Abigail, and Martin Hetzer. “Nuclear Pores Set the Speed Limit
for Mitosis.” Cell, vol. 156, no. 5, Elsevier, 2014, pp. 868–69, doi:10.1016/j.cell.2014.02.004.
short: A. Buchwalter, M. Hetzer, Cell 156 (2014) 868–869.
date_created: 2022-04-07T07:50:04Z
date_published: 2014-02-27T00:00:00Z
date_updated: 2022-07-18T08:44:33Z
day: '27'
doi: 10.1016/j.cell.2014.02.004
extern: '1'
external_id:
pmid:
- '24581486'
intvolume: ' 156'
issue: '5'
keyword:
- General Biochemistry
- Genetics and Molecular Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cell.2014.02.004
month: '02'
oa: 1
oa_version: Published Version
page: 868-869
pmid: 1
publication: Cell
publication_identifier:
issn:
- 0092-8674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nuclear pores set the speed limit for mitosis
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 156
year: '2014'
...
---
_id: '11081'
abstract:
- lang: eng
text: In eukaryotic cells the nuclear genome is enclosed by the nuclear envelope
(NE). In metazoans, the NE breaks down in mitosis and it has been assumed that
the physical barrier separating nucleoplasm and cytoplasm remains intact during
the rest of the cell cycle and cell differentiation. However, recent studies suggest
that nonmitotic NE remodeling plays a critical role in development, virus infection,
laminopathies, and cancer. Although the mechanisms underlying these NE restructuring
events are currently being defined, one common theme is activation of protein
kinase C family members in the interphase nucleus to disrupt the nuclear lamina,
demonstrating the importance of the lamina in maintaining nuclear integrity.
article_processing_charge: No
article_type: review
author:
- first_name: Emily
full_name: Hatch, Emily
last_name: Hatch
- 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: Hatch E, Hetzer M. Breaching the nuclear envelope in development and disease.
Journal of Cell Biology. 2014;205(2):133-141. doi:10.1083/jcb.201402003
apa: Hatch, E., & Hetzer, M. (2014). Breaching the nuclear envelope in development
and disease. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201402003
chicago: Hatch, Emily, and Martin Hetzer. “Breaching the Nuclear Envelope in Development
and Disease.” Journal of Cell Biology. Rockefeller University Press, 2014.
https://doi.org/10.1083/jcb.201402003.
ieee: E. Hatch and M. Hetzer, “Breaching the nuclear envelope in development and
disease,” Journal of Cell Biology, vol. 205, no. 2. Rockefeller University
Press, pp. 133–141, 2014.
ista: Hatch E, Hetzer M. 2014. Breaching the nuclear envelope in development and
disease. Journal of Cell Biology. 205(2), 133–141.
mla: Hatch, Emily, and Martin Hetzer. “Breaching the Nuclear Envelope in Development
and Disease.” Journal of Cell Biology, vol. 205, no. 2, Rockefeller University
Press, 2014, pp. 133–41, doi:10.1083/jcb.201402003.
short: E. Hatch, M. Hetzer, Journal of Cell Biology 205 (2014) 133–141.
date_created: 2022-04-07T07:50:13Z
date_published: 2014-04-21T00:00:00Z
date_updated: 2022-07-18T08:45:09Z
day: '21'
doi: 10.1083/jcb.201402003
extern: '1'
external_id:
pmid:
- '24751535'
intvolume: ' 205'
issue: '2'
keyword:
- Cell Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1083/jcb.201402003
month: '04'
oa: 1
oa_version: Published Version
page: 133-141
pmid: 1
publication: Journal of Cell Biology
publication_identifier:
issn:
- 1540-8140
- 0021-9525
publication_status: published
publisher: Rockefeller University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Breaching the nuclear envelope in development and disease
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 205
year: '2014'
...
---
_id: '11082'
abstract:
- lang: eng
text: The nuclear pore complex (NPC) plays a critical role in gene expression by
mediating import of transcription regulators into the nucleus and export of RNA
transcripts to the cytoplasm. Emerging evidence suggests that in addition to mediating
transport, a subset of nucleoporins (Nups) engage in transcriptional activation
and elongation at genomic loci that are not associated with NPCs. The underlying
mechanism and regulation of Nup mobility on and off nuclear pores remain unclear.
Here we show that Nup50 is a mobile Nup with a pronounced presence both at the
NPC and in the nucleoplasm that can move between these different localizations.
Strikingly, the dynamic behavior of Nup50 in both locations is dependent on active
transcription by RNA polymerase II and requires the N-terminal half of the protein,
which contains importin α– and Nup153-binding domains. However, Nup50 dynamics
are independent of importin α, Nup153, and Nup98, even though the latter two proteins
also exhibit transcription-dependent mobility. Of interest, depletion of Nup50
from C2C12 myoblasts does not affect cell proliferation but inhibits differentiation
into myotubes. Taken together, our results suggest a transport-independent role
for Nup50 in chromatin biology that occurs away from the NPC.
article_processing_charge: No
article_type: original
author:
- first_name: Abigail L.
full_name: Buchwalter, Abigail L.
last_name: Buchwalter
- first_name: Yun
full_name: Liang, Yun
last_name: Liang
- 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: Buchwalter AL, Liang Y, Hetzer M. Nup50 is required for cell differentiation
and exhibits transcription-dependent dynamics. Molecular Biology of the Cell.
2014;25(16):2472-2484. doi:10.1091/mbc.e14-04-0865
apa: Buchwalter, A. L., Liang, Y., & Hetzer, M. (2014). Nup50 is required for
cell differentiation and exhibits transcription-dependent dynamics. Molecular
Biology of the Cell. American Society for Cell Biology. https://doi.org/10.1091/mbc.e14-04-0865
chicago: Buchwalter, Abigail L., Yun Liang, and Martin Hetzer. “Nup50 Is Required
for Cell Differentiation and Exhibits Transcription-Dependent Dynamics.” Molecular
Biology of the Cell. American Society for Cell Biology, 2014. https://doi.org/10.1091/mbc.e14-04-0865.
ieee: A. L. Buchwalter, Y. Liang, and M. Hetzer, “Nup50 is required for cell differentiation
and exhibits transcription-dependent dynamics,” Molecular Biology of the Cell,
vol. 25, no. 16. American Society for Cell Biology, pp. 2472–2484, 2014.
ista: Buchwalter AL, Liang Y, Hetzer M. 2014. Nup50 is required for cell differentiation
and exhibits transcription-dependent dynamics. Molecular Biology of the Cell.
25(16), 2472–2484.
mla: Buchwalter, Abigail L., et al. “Nup50 Is Required for Cell Differentiation
and Exhibits Transcription-Dependent Dynamics.” Molecular Biology of the Cell,
vol. 25, no. 16, American Society for Cell Biology, 2014, pp. 2472–84, doi:10.1091/mbc.e14-04-0865.
short: A.L. Buchwalter, Y. Liang, M. Hetzer, Molecular Biology of the Cell 25 (2014)
2472–2484.
date_created: 2022-04-07T07:50:24Z
date_published: 2014-08-15T00:00:00Z
date_updated: 2022-07-18T08:45:20Z
day: '15'
doi: 10.1091/mbc.e14-04-0865
extern: '1'
intvolume: ' 25'
issue: '16'
keyword:
- Cell Biology
- Molecular Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1091/mbc.e14-04-0865
month: '08'
oa: 1
oa_version: Published Version
page: 2472-2484
publication: Molecular Biology of the Cell
publication_identifier:
issn:
- 1059-1524
- 1939-4586
publication_status: published
publisher: American Society for Cell Biology
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nup50 is required for cell differentiation and exhibits transcription-dependent
dynamics
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 25
year: '2014'
...
---
_id: '11582'
abstract:
- lang: eng
text: We have observed a sample of typical z ∼ 1 star-forming galaxies, selected
from the HiZELS survey, with the new K-band Multi-Object Spectrograph (KMOS) near-infrared,
multi-integral field unit instrument on the Very Large Telescope (VLT), in order
to obtain their dynamics and metallicity gradients. The majority of our galaxies
have a metallicity gradient consistent with being flat or negative (i.e. higher
metallicity cores than outskirts). Intriguingly, we find a trend between metallicity
gradient and specific star formation rate (sSFR), such that galaxies with a high
sSFR tend to have relatively metal poor centres, a result which is strengthened
when combined with data sets from the literature. This result appears to explain
the discrepancies reported between different high-redshift studies and varying
claims for evolution. From a galaxy evolution perspective, the trend we see would
mean that a galaxy's sSFR is governed by the amount of metal-poor gas that can
be funnelled into its core, triggered either by merging or through efficient accretion.
In fact, merging may play a significant role as it is the starburst galaxies at
all epochs, which have the more positive metallicity gradients. Our results may
help to explain the origin of the fundamental metallicity relation, in which galaxies
at a fixed mass are observed to have lower metallicities at higher star formation
rates, especially if the metallicity is measured in an aperture encompassing only
the central regions of the galaxy. Finally, we note that this study demonstrates
the power of KMOS as an efficient instrument for large-scale resolved galaxy surveys.
acknowledgement: First, we acknowledge the referee for their comments, which have
improved the clarity of this paper. JPS and IRS acknowledge support from STFC (ST/I001573/1).
IRS also acknowledges support from the ERC Advanced Investigator programme DUSTYGAL
and a Royal Society/Wolfson Merit Award. DS acknowledges financial support from
NWO through a Veni fellowship and from FCT through the award of an FCT-IF starting
grant. PNB acknowledges STFC for financial support.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: John P.
full_name: Stott, John P.
last_name: Stott
- first_name: David
full_name: Sobral, David
last_name: Sobral
- first_name: A. M.
full_name: Swinbank, A. M.
last_name: Swinbank
- first_name: Ian
full_name: Smail, Ian
last_name: Smail
- first_name: Richard
full_name: Bower, Richard
last_name: Bower
- first_name: Philip N.
full_name: Best, Philip N.
last_name: Best
- first_name: Ray M.
full_name: Sharples, Ray M.
last_name: Sharples
- first_name: James E.
full_name: Geach, James E.
last_name: Geach
- first_name: Jorryt J
full_name: Matthee, Jorryt J
id: 7439a258-f3c0-11ec-9501-9df22fe06720
last_name: Matthee
orcid: 0000-0003-2871-127X
citation:
ama: Stott JP, Sobral D, Swinbank AM, et al. A relationship between specific star
formation rate and metallicity gradient within z ∼ 1 galaxies from KMOS-HiZELS.
Monthly Notices of the Royal Astronomical Society. 2014;443(3):2695-2704.
doi:10.1093/mnras/stu1343
apa: Stott, J. P., Sobral, D., Swinbank, A. M., Smail, I., Bower, R., Best, P. N.,
… Matthee, J. J. (2014). A relationship between specific star formation rate and
metallicity gradient within z ∼ 1 galaxies from KMOS-HiZELS. Monthly Notices
of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stu1343
chicago: Stott, John P., David Sobral, A. M. Swinbank, Ian Smail, Richard Bower,
Philip N. Best, Ray M. Sharples, James E. Geach, and Jorryt J Matthee. “A Relationship
between Specific Star Formation Rate and Metallicity Gradient within z ∼ 1 Galaxies
from KMOS-HiZELS.” Monthly Notices of the Royal Astronomical Society. Oxford
University Press, 2014. https://doi.org/10.1093/mnras/stu1343.
ieee: J. P. Stott et al., “A relationship between specific star formation
rate and metallicity gradient within z ∼ 1 galaxies from KMOS-HiZELS,” Monthly
Notices of the Royal Astronomical Society, vol. 443, no. 3. Oxford University
Press, pp. 2695–2704, 2014.
ista: Stott JP, Sobral D, Swinbank AM, Smail I, Bower R, Best PN, Sharples RM, Geach
JE, Matthee JJ. 2014. A relationship between specific star formation rate and
metallicity gradient within z ∼ 1 galaxies from KMOS-HiZELS. Monthly Notices of
the Royal Astronomical Society. 443(3), 2695–2704.
mla: Stott, John P., et al. “A Relationship between Specific Star Formation Rate
and Metallicity Gradient within z ∼ 1 Galaxies from KMOS-HiZELS.” Monthly Notices
of the Royal Astronomical Society, vol. 443, no. 3, Oxford University Press,
2014, pp. 2695–704, doi:10.1093/mnras/stu1343.
short: J.P. Stott, D. Sobral, A.M. Swinbank, I. Smail, R. Bower, P.N. Best, R.M.
Sharples, J.E. Geach, J.J. Matthee, Monthly Notices of the Royal Astronomical
Society 443 (2014) 2695–2704.
date_created: 2022-07-14T12:16:10Z
date_published: 2014-09-21T00:00:00Z
date_updated: 2022-08-19T08:27:25Z
day: '21'
doi: 10.1093/mnras/stu1343
extern: '1'
external_id:
arxiv:
- '1407.1047'
intvolume: ' 443'
issue: '3'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
- 'galaxies: abundances'
- 'galaxies: evolution'
- 'galaxies: kinematics and dynamics'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1407.1047
month: '09'
oa: 1
oa_version: Preprint
page: 2695-2704
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
eissn:
- 1365-2966
issn:
- 0035-8711
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: A relationship between specific star formation rate and metallicity gradient
within z ∼ 1 galaxies from KMOS-HiZELS
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 443
year: '2014'
...
---
_id: '11583'
abstract:
- lang: eng
text: 'Candidate galaxies at redshifts of z ∼ 10 are now being found in extremely
deep surveys, probing very small areas. As a consequence, candidates are very
faint, making spectroscopic confirmation practically impossible. In order to overcome
such limitations, we have undertaken the CF-HiZELS survey, which is a large-area,
medium-depth near-infrared narrow-band survey targeted at z = 8.8 Lyman α (Lyα)
emitters (LAEs) and covering 10 deg2 in part of the SSA22 field with the Canada–France–Hawaii
Telescope (CFHT). We surveyed a comoving volume of 4.7 × 106 Mpc3 to a Lyα luminosity
limit of 6.3 × 1043舁erg舁s−1. We look for Lyα candidates by applying the following
criteria: (i) clear emission-line source, (ii) no optical detections (ugriz from
CFHTLS), (iii) no visible detection in the optical stack (ugriz > 27), (iv) visually
checked reliable NBJ and J detections and (v) J − K ≤ 0. We compute photometric
redshifts and remove a significant amount of dusty lower redshift line-emitters
at z ∼ 1.4 or 2.2. A total of 13 Lyα candidates were found, of which two are marked
as strong candidates, but the majority have very weak constraints on their spectral
energy distributions. Using follow-up observations with SINFONI/VLT, we are able
to exclude the most robust candidates as LAEs. We put a strong constraint on the
Lyα luminosity function at z ∼ 9 and make realistic predictions for ongoing and
future surveys. Our results show that surveys for the highest redshift LAEs are
susceptible of multiple contaminations and that spectroscopic follow-up is absolutely
necessary.'
acknowledgement: We thank the anonymous referee for the comments and suggestions which
improved both the quality and clarity of this work. DS acknowledges financial support
from the Netherlands Organisation for Scientific Research (NWO) through a Veni fellowship.
IRS acknowledges support from STFC (ST/I001573/1), a Leverhulme Fellowship, the
ERC Advanced Investigator programme DUSTYGAL 321334 and a Royal Society/Wolfson
Merit Award. PNB acknowledges support from the Leverhulme Trust. JWK acknowledges
the support from the Creative Research Initiative Program, no. 2008- 0060544, of
the National Research Foundation of Korea (NRF) funded by the Korean government
(MSIP). JPUF and BMJ acknowledge support from the ERC-StG grant EGGS-278202. The
Dark Cosmology Centre is funded by the Danish National Research Foundation. This
work is based in part on data obtained as part of the UKIRT Infrared Deep Sky Survey.
Based on observations obtained with MegaPrime/MegaCam, a joint project of CFHT and
CEA/IRFU, at the Canada–France–Hawaii Telescope (CFHT) which is operated by the
National Research Council (NRC) of Canada, the Institut National des Science de
l’Univers of the Centre National de la Recherche Scientifique (CNRS) of France and
the University of Hawaii. This work is based in part on data products produced at
Terapix available at the Canadian Astronomy Data Centre as part of the Canada-France-Hawaii
Telescope Legacy Survey, a collaborative project of NRC and CNRS. This work was
only possible due to OPTICON/FP7 and the access that it granted to the CFHT telescope.
The authors also wish to acknowledge the CFHTLS and UKIDSS surveys for their excellent
legacy and complementary value – without such high-quality data sets, this research
would not have been possible.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jorryt J
full_name: Matthee, Jorryt J
id: 7439a258-f3c0-11ec-9501-9df22fe06720
last_name: Matthee
orcid: 0000-0003-2871-127X
- first_name: David
full_name: Sobral, David
last_name: Sobral
- first_name: A. M.
full_name: Swinbank, A. M.
last_name: Swinbank
- first_name: Ian
full_name: Smail, Ian
last_name: Smail
- first_name: P. N.
full_name: Best, P. N.
last_name: Best
- first_name: Jae-Woo
full_name: Kim, Jae-Woo
last_name: Kim
- first_name: Marijn
full_name: Franx, Marijn
last_name: Franx
- first_name: Bo
full_name: Milvang-Jensen, Bo
last_name: Milvang-Jensen
- first_name: Johan
full_name: Fynbo, Johan
last_name: Fynbo
citation:
ama: 'Matthee JJ, Sobral D, Swinbank AM, et al. A 10 deg2 Lyman α survey at z=8.8
with spectroscopic follow-up: Strong constraints on the luminosity function and
implications for other surveys. Monthly Notices of the Royal Astronomical Society.
2014;440(3):2375-2387. doi:10.1093/mnras/stu392'
apa: 'Matthee, J. J., Sobral, D., Swinbank, A. M., Smail, I., Best, P. N., Kim,
J.-W., … Fynbo, J. (2014). A 10 deg2 Lyman α survey at z=8.8 with spectroscopic
follow-up: Strong constraints on the luminosity function and implications for
other surveys. Monthly Notices of the Royal Astronomical Society. Oxford
University Press. https://doi.org/10.1093/mnras/stu392'
chicago: 'Matthee, Jorryt J, David Sobral, A. M. Swinbank, Ian Smail, P. N. Best,
Jae-Woo Kim, Marijn Franx, Bo Milvang-Jensen, and Johan Fynbo. “A 10 Deg2 Lyman
α Survey at Z=8.8 with Spectroscopic Follow-up: Strong Constraints on the Luminosity
Function and Implications for Other Surveys.” Monthly Notices of the Royal
Astronomical Society. Oxford University Press, 2014. https://doi.org/10.1093/mnras/stu392.'
ieee: 'J. J. Matthee et al., “A 10 deg2 Lyman α survey at z=8.8 with spectroscopic
follow-up: Strong constraints on the luminosity function and implications for
other surveys,” Monthly Notices of the Royal Astronomical Society, vol.
440, no. 3. Oxford University Press, pp. 2375–2387, 2014.'
ista: 'Matthee JJ, Sobral D, Swinbank AM, Smail I, Best PN, Kim J-W, Franx M, Milvang-Jensen
B, Fynbo J. 2014. A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up:
Strong constraints on the luminosity function and implications for other surveys.
Monthly Notices of the Royal Astronomical Society. 440(3), 2375–2387.'
mla: 'Matthee, Jorryt J., et al. “A 10 Deg2 Lyman α Survey at Z=8.8 with Spectroscopic
Follow-up: Strong Constraints on the Luminosity Function and Implications for
Other Surveys.” Monthly Notices of the Royal Astronomical Society, vol.
440, no. 3, Oxford University Press, 2014, pp. 2375–87, doi:10.1093/mnras/stu392.'
short: J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M.
Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical
Society 440 (2014) 2375–2387.
date_created: 2022-07-14T12:33:24Z
date_published: 2014-05-21T00:00:00Z
date_updated: 2022-08-19T08:30:30Z
day: '21'
doi: 10.1093/mnras/stu392
extern: '1'
external_id:
arxiv:
- '1402.6697'
intvolume: ' 440'
issue: '3'
keyword:
- Space and Planetary Science
- Astronomy and Astrophysics
- 'galaxies: evolution'
- 'galaxies: high-redshift'
- 'cosmology: observations'
- dark ages
- reionization
- first stars
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1402.6697
month: '05'
oa: 1
oa_version: Preprint
page: 2375-2387
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
eissn:
- 1365-2966
issn:
- 0035-8711
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up: Strong constraints
on the luminosity function and implications for other surveys'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 440
year: '2014'
...
---
_id: '11789'
abstract:
- lang: eng
text: "We study a weighted online bipartite matching problem: G(V 1, V 2, E) is
a weighted bipartite graph where V 1 is known beforehand and the vertices of V
2 arrive online. The goal is to match vertices of V 2 as they arrive to vertices
in V 1, so as to maximize the sum of weights of edges in the matching. If assignments
to V 1 cannot be changed, no bounded competitive ratio is achievable. We study
the weighted online matching problem with free disposal, where vertices in V 1
can be assigned multiple times, but only get credit for the maximum weight edge
assigned to them over the course of the algorithm. For this problem, the greedy
algorithm is 0.5-competitive and determining whether a better competitive ratio
is achievable is a well known open problem.\r\n\r\nWe identify an interesting
special case where the edge weights are decomposable as the product of two factors,
one corresponding to each end point of the edge. This is analogous to the well
studied related machines model in the scheduling literature, although the objective
functions are different. For this case of decomposable edge weights, we design
a 0.5664 competitive randomized algorithm in complete bipartite graphs. We show
that such instances with decomposable weights are non-trivial by establishing
upper bounds of 0.618 for deterministic and 0.8 for randomized algorithms.\r\n\r\nA
tight competitive ratio of 1 − 1/e ≈ 0.632 was known previously for both the 0-1
case as well as the case where edge weights depend on the offline vertices only,
but for these cases, reassignments cannot change the quality of the solution.
Beating 0.5 for weighted matching where reassignments are necessary has been a
significant challenge. We thus give the first online algorithm with competitive
ratio strictly better than 0.5 for a non-trivial case of weighted matching with
free disposal."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Moses
full_name: Charikar, Moses
last_name: Charikar
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Huy L.
full_name: Nguyễn, Huy L.
last_name: Nguyễn
citation:
ama: 'Charikar M, Henzinger MH, Nguyễn HL. Online bipartite matching with decomposable
weights. In: 22nd Annual European Symposium on Algorithms. Vol 8737. Springer
Nature; 2014:260-271. doi:10.1007/978-3-662-44777-2_22'
apa: 'Charikar, M., Henzinger, M. H., & Nguyễn, H. L. (2014). Online bipartite
matching with decomposable weights. In 22nd Annual European Symposium on Algorithms
(Vol. 8737, pp. 260–271). Wroclaw, Poland: Springer Nature. https://doi.org/10.1007/978-3-662-44777-2_22'
chicago: Charikar, Moses, Monika H Henzinger, and Huy L. Nguyễn. “Online Bipartite
Matching with Decomposable Weights.” In 22nd Annual European Symposium on Algorithms,
8737:260–71. Springer Nature, 2014. https://doi.org/10.1007/978-3-662-44777-2_22.
ieee: M. Charikar, M. H. Henzinger, and H. L. Nguyễn, “Online bipartite matching
with decomposable weights,” in 22nd Annual European Symposium on Algorithms,
Wroclaw, Poland, 2014, vol. 8737, pp. 260–271.
ista: 'Charikar M, Henzinger MH, Nguyễn HL. 2014. Online bipartite matching with
decomposable weights. 22nd Annual European Symposium on Algorithms. ESA: Annual
European Symposium on Algorithms, LNCS, vol. 8737, 260–271.'
mla: Charikar, Moses, et al. “Online Bipartite Matching with Decomposable Weights.”
22nd Annual European Symposium on Algorithms, vol. 8737, Springer Nature,
2014, pp. 260–71, doi:10.1007/978-3-662-44777-2_22.
short: M. Charikar, M.H. Henzinger, H.L. Nguyễn, in:, 22nd Annual European Symposium
on Algorithms, Springer Nature, 2014, pp. 260–271.
conference:
end_date: 2014-09-10
location: Wroclaw, Poland
name: 'ESA: Annual European Symposium on Algorithms'
start_date: 2014-09-08
date_created: 2022-08-11T10:41:47Z
date_published: 2014-09-01T00:00:00Z
date_updated: 2023-02-13T11:16:24Z
day: '01'
doi: 10.1007/978-3-662-44777-2_22
extern: '1'
external_id:
arxiv:
- '1409.2139'
intvolume: ' 8737'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1409.2139
month: '09'
oa: 1
oa_version: Preprint
page: 260 - 271
publication: 22nd Annual European Symposium on Algorithms
publication_identifier:
isbn:
- 978-366244776-5
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Online bipartite matching with decomposable weights
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8737
year: '2014'
...
---
_id: '7771'
abstract:
- lang: eng
text: 'In their Letter, Schreck, Bertrand, O''Hern and Shattuck [Phys. Rev. Lett.
107, 078301 (2011)] study nonlinearities in jammed particulate systems that arise
when contacts are altered. They conclude that there is "no harmonic regime in
the large system limit for all compressions" and "at jamming onset for any system
size." Their argument rests on the claim that for finite-range repulsive potentials,
of the form used in studies of jamming, the breaking or forming of a single contact
is sufficient to destroy the linear regime. We dispute these conclusions and argue
that linear response is both justified and essential for understanding the nature
of the jammed solid. '
article_number: '049801 '
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: Carl Peter
full_name: Goodrich, Carl Peter
id: EB352CD2-F68A-11E9-89C5-A432E6697425
last_name: Goodrich
orcid: 0000-0002-1307-5074
- first_name: Andrea J.
full_name: Liu, Andrea J.
last_name: Liu
- first_name: Sidney R.
full_name: Nagel, Sidney R.
last_name: Nagel
citation:
ama: Goodrich CP, Liu AJ, Nagel SR. Comment on “Repulsive contact interactions make
jammed particulate systems inherently nonharmonic.” Physical Review Letters.
2014;112(4). doi:10.1103/physrevlett.112.049801
apa: Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2014). Comment on “Repulsive
contact interactions make jammed particulate systems inherently nonharmonic.”
Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.112.049801
chicago: Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Comment on ‘Repulsive
Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’”
Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/physrevlett.112.049801.
ieee: C. P. Goodrich, A. J. Liu, and S. R. Nagel, “Comment on ‘Repulsive contact
interactions make jammed particulate systems inherently nonharmonic,’” Physical
Review Letters, vol. 112, no. 4. American Physical Society, 2014.
ista: Goodrich CP, Liu AJ, Nagel SR. 2014. Comment on “Repulsive contact interactions
make jammed particulate systems inherently nonharmonic”. Physical Review Letters.
112(4), 049801.
mla: Goodrich, Carl Peter, et al. “Comment on ‘Repulsive Contact Interactions Make
Jammed Particulate Systems Inherently Nonharmonic.’” Physical Review Letters,
vol. 112, no. 4, 049801, American Physical Society, 2014, doi:10.1103/physrevlett.112.049801.
short: C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 112 (2014).
date_created: 2020-04-30T11:42:39Z
date_published: 2014-04-20T00:00:00Z
date_updated: 2021-01-12T08:15:26Z
day: '20'
doi: 10.1103/physrevlett.112.049801
extern: '1'
external_id:
arxiv:
- '1306.1285'
intvolume: ' 112'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1306.1285
month: '04'
oa: 1
oa_version: Preprint
publication: Physical Review Letters
publication_identifier:
issn:
- 0031-9007
- 1079-7114
publication_status: published
publisher: American Physical Society
status: public
title: Comment on “Repulsive contact interactions make jammed particulate systems
inherently nonharmonic”
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 112
year: '2014'
...
---
_id: '8021'
abstract:
- lang: eng
text: 'Most excitatory inputs in the mammalian brain are made on dendritic spines,
rather than on dendritic shafts. Spines compartmentalize calcium, and this biochemical
isolation can underlie input-specific synaptic plasticity, providing a raison
d''etre for spines. However, recent results indicate that the spine can experience
a membrane potential different from that in the parent dendrite, as though the
spine neck electrically isolated the spine. Here we use two-photon calcium imaging
of mouse neocortical pyramidal neurons to analyze the correlation between the
morphologies of spines activated under minimal synaptic stimulation and the excitatory
postsynaptic potentials they generate. We find that excitatory postsynaptic potential
amplitudes are inversely correlated with spine neck lengths. Furthermore, a spike
timing-dependent plasticity protocol, in which two-photon glutamate uncaging over
a spine is paired with postsynaptic spikes, produces rapid shrinkage of the spine
neck and concomitant increases in the amplitude of the evoked spine potentials.
Using numerical simulations, we explore the parameter regimes for the spine neck
resistance and synaptic conductance changes necessary to explain our observations.
Our data, directly correlating synaptic and morphological plasticity, imply that
long-necked spines have small or negligible somatic voltage contributions, but
that, upon synaptic stimulation paired with postsynaptic activity, they can shorten
their necks and increase synaptic efficacy, thus changing the input/output gain
of pyramidal neurons. '
article_processing_charge: No
article_type: original
author:
- first_name: R.
full_name: Araya, R.
last_name: Araya
- first_name: Tim P
full_name: Vogels, Tim P
id: CB6FF8D2-008F-11EA-8E08-2637E6697425
last_name: Vogels
orcid: 0000-0003-3295-6181
- first_name: R.
full_name: Yuste, R.
last_name: Yuste
citation:
ama: Araya R, Vogels TP, Yuste R. Activity-dependent dendritic spine neck changes
are correlated with synaptic strength. Proceedings of the National Academy
of Sciences. 2014;111(28):E2895-E2904. doi:10.1073/pnas.1321869111
apa: Araya, R., Vogels, T. P., & Yuste, R. (2014). Activity-dependent dendritic
spine neck changes are correlated with synaptic strength. Proceedings of the
National Academy of Sciences. Proceedings of the National Academy of Sciences.
https://doi.org/10.1073/pnas.1321869111
chicago: Araya, R., Tim P Vogels, and R. Yuste. “Activity-Dependent Dendritic Spine
Neck Changes Are Correlated with Synaptic Strength.” Proceedings of the National
Academy of Sciences. Proceedings of the National Academy of Sciences, 2014.
https://doi.org/10.1073/pnas.1321869111.
ieee: R. Araya, T. P. Vogels, and R. Yuste, “Activity-dependent dendritic spine
neck changes are correlated with synaptic strength,” Proceedings of the National
Academy of Sciences, vol. 111, no. 28. Proceedings of the National Academy
of Sciences, pp. E2895–E2904, 2014.
ista: Araya R, Vogels TP, Yuste R. 2014. Activity-dependent dendritic spine neck
changes are correlated with synaptic strength. Proceedings of the National Academy
of Sciences. 111(28), E2895–E2904.
mla: Araya, R., et al. “Activity-Dependent Dendritic Spine Neck Changes Are Correlated
with Synaptic Strength.” Proceedings of the National Academy of Sciences,
vol. 111, no. 28, Proceedings of the National Academy of Sciences, 2014, pp. E2895–904,
doi:10.1073/pnas.1321869111.
short: R. Araya, T.P. Vogels, R. Yuste, Proceedings of the National Academy of Sciences
111 (2014) E2895–E2904.
date_created: 2020-06-25T13:06:24Z
date_published: 2014-07-15T00:00:00Z
date_updated: 2021-01-12T08:16:34Z
day: '15'
doi: 10.1073/pnas.1321869111
extern: '1'
external_id:
pmid:
- '24982196'
intvolume: ' 111'
issue: '28'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4104910/
month: '07'
oa: 1
oa_version: Published Version
page: E2895-E2904
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: Proceedings of the National Academy of Sciences
quality_controlled: '1'
status: public
title: Activity-dependent dendritic spine neck changes are correlated with synaptic
strength
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 111
year: '2014'
...
---
_id: '8022'
abstract:
- lang: eng
text: Populations of neurons in motor cortex engage in complex transient dynamics
of large amplitude during the execution of limb movements. Traditional network
models with stochastically assigned synapses cannot reproduce this behavior. Here
we introduce a class of cortical architectures with strong and random excitatory
recurrence that is stabilized by intricate, fine-tuned inhibition, optimized from
a control theory perspective. Such networks transiently amplify specific activity
states and can be used to reliably execute multidimensional movement patterns.
Similar to the experimental observations, these transients must be preceded by
a steady-state initialization phase from which the network relaxes back into the
background state by way of complex internal dynamics. In our networks, excitation
and inhibition are as tightly balanced as recently reported in experiments across
several brain areas, suggesting inhibitory control of complex excitatory recurrence
as a generic organizational principle in cortex.
article_processing_charge: No
article_type: original
author:
- first_name: Guillaume
full_name: Hennequin, Guillaume
last_name: Hennequin
- first_name: Tim P
full_name: Vogels, Tim P
id: CB6FF8D2-008F-11EA-8E08-2637E6697425
last_name: Vogels
orcid: 0000-0003-3295-6181
- first_name: Wulfram
full_name: Gerstner, Wulfram
last_name: Gerstner
citation:
ama: Hennequin G, Vogels TP, Gerstner W. Optimal control of transient dynamics in
balanced networks supports generation of complex movements. Neuron. 2014;82(6):1394-1406.
doi:10.1016/j.neuron.2014.04.045
apa: Hennequin, G., Vogels, T. P., & Gerstner, W. (2014). Optimal control of
transient dynamics in balanced networks supports generation of complex movements.
Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2014.04.045
chicago: Hennequin, Guillaume, Tim P Vogels, and Wulfram Gerstner. “Optimal Control
of Transient Dynamics in Balanced Networks Supports Generation of Complex Movements.”
Neuron. Elsevier, 2014. https://doi.org/10.1016/j.neuron.2014.04.045.
ieee: G. Hennequin, T. P. Vogels, and W. Gerstner, “Optimal control of transient
dynamics in balanced networks supports generation of complex movements,” Neuron,
vol. 82, no. 6. Elsevier, pp. 1394–1406, 2014.
ista: Hennequin G, Vogels TP, Gerstner W. 2014. Optimal control of transient dynamics
in balanced networks supports generation of complex movements. Neuron. 82(6),
1394–1406.
mla: Hennequin, Guillaume, et al. “Optimal Control of Transient Dynamics in Balanced
Networks Supports Generation of Complex Movements.” Neuron, vol. 82, no.
6, Elsevier, 2014, pp. 1394–406, doi:10.1016/j.neuron.2014.04.045.
short: G. Hennequin, T.P. Vogels, W. Gerstner, Neuron 82 (2014) 1394–1406.
date_created: 2020-06-25T13:07:37Z
date_published: 2014-06-18T00:00:00Z
date_updated: 2021-01-12T08:16:35Z
day: '18'
doi: 10.1016/j.neuron.2014.04.045
extern: '1'
external_id:
pmid:
- '24945778'
intvolume: ' 82'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6364799/
month: '06'
oa: 1
oa_version: Submitted Version
page: 1394-1406
pmid: 1
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Optimal control of transient dynamics in balanced networks supports generation
of complex movements
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 82
year: '2014'
...
---
_id: '8023'
abstract:
- lang: eng
text: Uniform random sparse network architectures are ubiquitous in computational
neuroscience, but the implicit hypothesis that they are a good representation
of real neuronal networks has been met with skepticism. Here we used two experimental
data sets, a study of triplet connectivity statistics and a data set measuring
neuronal responses to channelrhodopsin stimuli, to evaluate the fidelity of thousands
of model networks. Network architectures comprised three neuron types (excitatory,
fast spiking, and nonfast spiking inhibitory) and were created from a set of rules
that govern the statistics of the resulting connection types. In a high-dimensional
parameter scan, we varied the degree distributions (i.e., how many cells each
neuron connects with) and the synaptic weight correlations of synapses from or
onto the same neuron. These variations converted initially uniform random and
homogeneously connected networks, in which every neuron sent and received equal
numbers of synapses with equal synaptic strength distributions, to highly heterogeneous
networks in which the number of synapses per neuron, as well as average synaptic
strength of synapses from or to a neuron were variable. By evaluating the impact
of each variable on the network structure and dynamics, and their similarity to
the experimental data, we could falsify the uniform random sparse connectivity
hypothesis for 7 of 36 connectivity parameters, but we also confirmed the hypothesis
in 8 cases. Twenty-one parameters had no substantial impact on the results of
the test protocols we used.
article_processing_charge: No
article_type: original
author:
- first_name: Christian
full_name: Tomm, Christian
last_name: Tomm
- first_name: Michael
full_name: Avermann, Michael
last_name: Avermann
- first_name: Carl
full_name: Petersen, Carl
last_name: Petersen
- first_name: Wulfram
full_name: Gerstner, Wulfram
last_name: Gerstner
- first_name: Tim P
full_name: Vogels, Tim P
id: CB6FF8D2-008F-11EA-8E08-2637E6697425
last_name: Vogels
orcid: 0000-0003-3295-6181
citation:
ama: Tomm C, Avermann M, Petersen C, Gerstner W, Vogels TP. Connection-type-specific
biases make uniform random network models consistent with cortical recordings.
Journal of Neurophysiology. 2014;112(8):1801-1814. doi:10.1152/jn.00629.2013
apa: Tomm, C., Avermann, M., Petersen, C., Gerstner, W., & Vogels, T. P. (2014).
Connection-type-specific biases make uniform random network models consistent
with cortical recordings. Journal of Neurophysiology. American Physiological
Society. https://doi.org/10.1152/jn.00629.2013
chicago: Tomm, Christian, Michael Avermann, Carl Petersen, Wulfram Gerstner, and
Tim P Vogels. “Connection-Type-Specific Biases Make Uniform Random Network Models
Consistent with Cortical Recordings.” Journal of Neurophysiology. American
Physiological Society, 2014. https://doi.org/10.1152/jn.00629.2013.
ieee: C. Tomm, M. Avermann, C. Petersen, W. Gerstner, and T. P. Vogels, “Connection-type-specific
biases make uniform random network models consistent with cortical recordings,”
Journal of Neurophysiology, vol. 112, no. 8. American Physiological Society,
pp. 1801–1814, 2014.
ista: Tomm C, Avermann M, Petersen C, Gerstner W, Vogels TP. 2014. Connection-type-specific
biases make uniform random network models consistent with cortical recordings.
Journal of Neurophysiology. 112(8), 1801–1814.
mla: Tomm, Christian, et al. “Connection-Type-Specific Biases Make Uniform Random
Network Models Consistent with Cortical Recordings.” Journal of Neurophysiology,
vol. 112, no. 8, American Physiological Society, 2014, pp. 1801–14, doi:10.1152/jn.00629.2013.
short: C. Tomm, M. Avermann, C. Petersen, W. Gerstner, T.P. Vogels, Journal of Neurophysiology
112 (2014) 1801–1814.
date_created: 2020-06-25T13:08:30Z
date_published: 2014-10-15T00:00:00Z
date_updated: 2021-01-12T08:16:35Z
day: '15'
ddc:
- '570'
doi: 10.1152/jn.00629.2013
extern: '1'
external_id:
pmid:
- '24944218'
file:
- access_level: open_access
checksum: 7c06a086da6f924342650de6dc555c3f
content_type: application/pdf
creator: cziletti
date_created: 2020-07-16T10:12:13Z
date_updated: 2020-07-16T10:12:13Z
file_id: '8122'
file_name: 2014_JNeurophysiol_Tomm.pdf
file_size: 1632295
relation: main_file
success: 1
file_date_updated: 2020-07-16T10:12:13Z
has_accepted_license: '1'
intvolume: ' 112'
issue: '8'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/3.0/
month: '10'
oa: 1
oa_version: Published Version
page: 1801-1814
pmid: 1
publication: Journal of Neurophysiology
publication_identifier:
eissn:
- 1522-1598
issn:
- 0022-3077
publication_status: published
publisher: American Physiological Society
quality_controlled: '1'
status: public
title: Connection-type-specific biases make uniform random network models consistent
with cortical recordings
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/3.0/legalcode
name: Creative Commons Attribution 3.0 Unported (CC BY 3.0)
short: CC BY (3.0)
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 112
year: '2014'
...
---
_id: '8044'
abstract:
- lang: eng
text: Many questions concerning models in quantum mechanics require a detailed analysis
of the spectrum of the corresponding Hamiltonian, a linear operator on a suitable
Hilbert space. Of particular relevance for an understanding of the low-temperature
properties of a system is the structure of the excitation spectrum, which is the
part of the spectrum close to the spectral bottom. We present recent progress
on this question for bosonic many-body quantum systems with weak two-body interactions.
Such system are currently of great interest, due to their experimental realization
in ultra-cold atomic gases. We investigate the accuracy of the Bogoliubov approximations,
which predicts that the low-energy spectrum is made up of sums of elementary excitations,
with linear dispersion law at low momentum. The latter property is crucial for
the superfluid behavior the system.
article_processing_charge: No
author:
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Seiringer R. Structure of the excitation spectrum for many-body quantum systems.
In: Proceeding of the International Congress of Mathematicans. Vol 3. International
Congress of Mathematicians; 2014:1175-1194.'
apa: 'Seiringer, R. (2014). Structure of the excitation spectrum for many-body quantum
systems. In Proceeding of the International Congress of Mathematicans (Vol.
3, pp. 1175–1194). Seoul, South Korea: International Congress of Mathematicians.'
chicago: Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body
Quantum Systems.” In Proceeding of the International Congress of Mathematicans,
3:1175–94. International Congress of Mathematicians, 2014.
ieee: R. Seiringer, “Structure of the excitation spectrum for many-body quantum
systems,” in Proceeding of the International Congress of Mathematicans,
Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
ista: 'Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum
systems. Proceeding of the International Congress of Mathematicans. ICM: International
Congress of Mathematicans vol. 3, 1175–1194.'
mla: Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum
Systems.” Proceeding of the International Congress of Mathematicans, vol.
3, International Congress of Mathematicians, 2014, pp. 1175–94.
short: R. Seiringer, in:, Proceeding of the International Congress of Mathematicans,
International Congress of Mathematicians, 2014, pp. 1175–1194.
conference:
end_date: 2014-08-21
location: Seoul, South Korea
name: 'ICM: International Congress of Mathematicans'
start_date: 2014-08-13
date_created: 2020-06-29T07:59:35Z
date_published: 2014-08-01T00:00:00Z
date_updated: 2023-10-17T11:12:33Z
day: '01'
department:
- _id: RoSe
intvolume: ' 3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.icm2014.org/en/vod/proceedings.html
month: '08'
oa: 1
oa_version: Published Version
page: 1175-1194
publication: Proceeding of the International Congress of Mathematicans
publication_identifier:
isbn:
- '9788961058063'
publication_status: published
publisher: International Congress of Mathematicians
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structure of the excitation spectrum for many-body quantum systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2014'
...
---
_id: '1629'
abstract:
- lang: eng
text: We propose a method for propagating edit operations in 2D vector graphics,
based on geometric relationship functions. These functions quantify the geometric
relationship of a point to a polygon, such as the distance to the boundary or
the direction to the closest corner vertex. The level sets of the relationship
functions describe points with the same relationship to a polygon. For a given
query point, we first determine a set of relationships to local features, construct
all level sets for these relationships, and accumulate them. The maxima of the
resulting distribution are points with similar geometric relationships. We show
extensions to handle mirror symmetries, and discuss the use of relationship functions
as local coordinate systems. Our method can be applied, for example, to interactive
floorplan editing, and it is especially useful for large layouts, where individual
edits would be cumbersome. We demonstrate populating 2D layouts with tens to hundreds
of objects by propagating relatively few edit operations.
article_number: '15'
author:
- first_name: Paul
full_name: Guerrero, Paul
last_name: Guerrero
- first_name: Stefan
full_name: Jeschke, Stefan
id: 44D6411A-F248-11E8-B48F-1D18A9856A87
last_name: Jeschke
- first_name: Michael
full_name: Wimmer, Michael
last_name: Wimmer
- first_name: Peter
full_name: Wonka, Peter
last_name: Wonka
citation:
ama: Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric
relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
apa: Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2014). Edit propagation
using geometric relationship functions. ACM Transactions on Graphics. ACM.
https://doi.org/10.1145/2591010
chicago: Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit
Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics.
ACM, 2014. https://doi.org/10.1145/2591010.
ieee: P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using
geometric relationship functions,” ACM Transactions on Graphics, vol. 33,
no. 2. ACM, 2014.
ista: Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric
relationship functions. ACM Transactions on Graphics. 33(2), 15.
mla: Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.”
ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.
short: P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics
33 (2014).
date_created: 2018-12-11T11:53:08Z
date_published: 2014-03-01T00:00:00Z
date_updated: 2021-01-12T06:52:06Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2591010
file:
- access_level: open_access
checksum: 7f91e588a4e888610313b98271e6418e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:22Z
date_updated: 2020-07-14T12:45:07Z
file_id: '4876'
file_name: IST-2016-577-v1+1_2014.TOG.Paul.EditingPropagation.final.pdf
file_size: 9832561
relation: main_file
file_date_updated: 2020-07-14T12:45:07Z
has_accepted_license: '1'
intvolume: ' 33'
issue: '2'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '5526'
pubrep_id: '577'
quality_controlled: '1'
status: public
title: Edit propagation using geometric relationship functions
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2014'
...
---
_id: '1643'
abstract:
- lang: eng
text: We extend the notion of verifiable random functions (VRF) to constrained VRFs,
which generalize the concept of constrained pseudorandom functions, put forward
by Boneh and Waters (Asiacrypt’13), and independently by Kiayias et al. (CCS’13)
and Boyle et al. (PKC’14), who call them delegatable PRFs and functional PRFs,
respectively. In a standard VRF the secret key sk allows one to evaluate a pseudorandom
function at any point of its domain; in addition, it enables computation of a
non-interactive proof that the function value was computed correctly. In a constrained
VRF from the key sk one can derive constrained keys skS for subsets S of the domain,
which allow computation of function values and proofs only at points in S. After
formally defining constrained VRFs, we derive instantiations from the multilinear-maps-based
constrained PRFs by Boneh and Waters, yielding a VRF with constrained keys for
any set that can be decided by a polynomial-size circuit. Our VRFs have the same
function values as the Boneh-Waters PRFs and are proved secure under the same
hardness assumption, showing that verifiability comes at no cost. Constrained
(functional) VRFs were stated as an open problem by Boyle et al.
alternative_title:
- LNCS
author:
- first_name: Georg
full_name: Fuchsbauer, Georg
id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
last_name: Fuchsbauer
citation:
ama: 'Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De
Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7'
apa: 'Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla
& R. De Prisco (Eds.), SCN 2014 (Vol. 8642, pp. 95–114). Amalfi, Italy:
Springer. https://doi.org/10.1007/978-3-319-10879-7_7'
chicago: Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In SCN
2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer,
2014. https://doi.org/10.1007/978-3-319-10879-7_7.
ieee: G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014,
Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
ista: 'Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN:
Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.'
mla: Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” SCN 2014,
edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp.
95–114, doi:10.1007/978-3-319-10879-7_7.
short: G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer,
2014, pp. 95–114.
conference:
end_date: 2014-09-05
location: Amalfi, Italy
name: 'SCN: Security and Cryptography for Networks'
start_date: 2014-09-03
date_created: 2018-12-11T11:53:13Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:52:12Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-319-10879-7_7
ec_funded: 1
editor:
- first_name: Michel
full_name: Abdalla, Michel
last_name: Abdalla
- first_name: Roberto
full_name: De Prisco, Roberto
last_name: De Prisco
intvolume: ' 8642'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://eprint.iacr.org/2014/537
month: '01'
oa: 1
oa_version: Submitted Version
page: 95 - 114
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
publication: SCN 2014
publication_status: published
publisher: Springer
publist_id: '5509'
scopus_import: 1
status: public
title: 'Constrained Verifiable Random Functions '
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8642
year: '2014'
...
---
_id: '1702'
abstract:
- lang: eng
text: In this paper we present INTERHORN, a solver for recursion-free Horn clauses.
The main application domain of INTERHORN lies in solving interpolation problems
arising in software verification. We show how a range of interpolation problems,
including path, transition, nested, state/transition and well-founded interpolation
can be handled directly by INTERHORN. By detailing these interpolation problems
and their Horn clause representations, we hope to encourage the emergence of a
common back-end interpolation interface useful for diverse verification tools.
alternative_title:
- EPTCS
author:
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Corneliu
full_name: Popeea, Corneliu
last_name: Popeea
- first_name: Andrey
full_name: Rybalchenko, Andrey
last_name: Rybalchenko
citation:
ama: 'Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion
free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science,
EPTCS. Vol 169. Open Publishing; 2014:31-38. doi:10.4204/EPTCS.169.5'
apa: 'Gupta, A., Popeea, C., & Rybalchenko, A. (2014). Generalised interpolation
by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical
Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing.
https://doi.org/10.4204/EPTCS.169.5'
chicago: Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised
Interpolation by Solving Recursion Free-Horn Clauses.” In Electronic Proceedings
in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014.
https://doi.org/10.4204/EPTCS.169.5.
ieee: A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving
recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer
Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
ista: 'Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving
recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science,
EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169, 31–38.'
mla: Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn
Clauses.” Electronic Proceedings in Theoretical Computer Science, EPTCS,
vol. 169, Open Publishing, 2014, pp. 31–38, doi:10.4204/EPTCS.169.5.
short: A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical
Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
conference:
end_date: 2014-07-17
location: Vienna, Austria
name: 'HCVS: Horn Clauses for Verification and Synthesis'
start_date: 2014-07-17
date_created: 2018-12-11T11:53:33Z
date_published: 2014-12-02T00:00:00Z
date_updated: 2021-01-12T06:52:38Z
day: '02'
department:
- _id: ToHe
doi: 10.4204/EPTCS.169.5
intvolume: ' 169'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1303.7378v2
month: '12'
oa: 1
oa_version: Submitted Version
page: 31 - 38
publication: Electronic Proceedings in Theoretical Computer Science, EPTCS
publication_status: published
publisher: Open Publishing
publist_id: '5435'
quality_controlled: '1'
status: public
title: Generalised interpolation by solving recursion free-horn clauses
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 169
year: '2014'
...