---
_id: '2117'
abstract:
- lang: eng
text: We prove new upper and lower bounds for Banach space-valued stochastic integrals
with respect to a compensated Poisson random measure. Our estimates apply to Banach
spaces with non-trivial martingale (co)type and extend various results in the
literature. We also develop a Malliavin framework to interpret Poisson stochastic
integrals as vector-valued Skorohod integrals, and prove a Clark-Ocone representation
formula.
acknowledgement: The first and third named authors were supported by VICI subsidy
639.033.604 of the Netherlands Organisation for Scientific Research (NWO). The first
and second named authors were supported by the German Research Foundation in the
Collaborative Research C
author:
- first_name: Sjoerd
full_name: Dirksen, Sjoerd
last_name: Dirksen
- first_name: Jan
full_name: Jan Maas
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
- first_name: Jan
full_name: van Neerven, Jan M
last_name: Van Neerven
citation:
ama: Dirksen S, Maas J, Van Neerven J. Poisson stochastic integration in Banach
spaces. Electronic Journal of Probability. 2013;18. doi:10.1214/EJP.v18-2945
apa: Dirksen, S., Maas, J., & Van Neerven, J. (2013). Poisson stochastic integration
in Banach spaces. Electronic Journal of Probability. Institute of Mathematical
Statistics. https://doi.org/10.1214/EJP.v18-2945
chicago: Dirksen, Sjoerd, Jan Maas, and Jan Van Neerven. “Poisson Stochastic Integration
in Banach Spaces.” Electronic Journal of Probability. Institute of Mathematical
Statistics, 2013. https://doi.org/10.1214/EJP.v18-2945
.
ieee: S. Dirksen, J. Maas, and J. Van Neerven, “Poisson stochastic integration in
Banach spaces,” Electronic Journal of Probability, vol. 18. Institute of
Mathematical Statistics, 2013.
ista: Dirksen S, Maas J, Van Neerven J. 2013. Poisson stochastic integration in
Banach spaces. Electronic Journal of Probability. 18.
mla: Dirksen, Sjoerd, et al. “Poisson Stochastic Integration in Banach Spaces.”
Electronic Journal of Probability, vol. 18, Institute of Mathematical Statistics,
2013, doi:10.1214/EJP.v18-2945
.
short: S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18
(2013).
date_created: 2018-12-11T11:55:49Z
date_published: 2013-11-18T00:00:00Z
date_updated: 2021-01-12T06:55:24Z
day: '18'
doi: '10.1214/EJP.v18-2945 '
extern: 1
intvolume: ' 18'
main_file_link:
- open_access: '1'
url: 'http://arxiv.org/abs/1307.7901 '
month: '11'
oa: 1
publication: Electronic Journal of Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '4917'
quality_controlled: 0
status: public
title: Poisson stochastic integration in Banach spaces
type: journal_article
volume: 18
year: '2013'
...
---
_id: '2129'
abstract:
- lang: eng
text: "This paper continues the investigation of `Wasserstein-like' transportation
distances for probability measures on discrete sets. We prove that the discrete
transportation metrics on the d-dimensional discrete torus with mesh size 1/N
converge, when N→∞, to the standard 2-Wasserstein distance W_2 on the continuous
torus in the sense of Gromov-Hausdorff. This is the first convergence result for
the recently developed discrete transportation metrics. The result shows the compatibility
between these metrics and the well-established 2-Wasserstein metric. \n\n\n"
acknowledgement: JM acknowledges support by Rubicon subsidy 680-50-0901 of the Netherlands
Organisation for Scientific Research (NWO).
author:
- first_name: Nicola
full_name: Gigli, Nicola
last_name: Gigli
- first_name: Jan
full_name: Jan Maas
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
citation:
ama: Gigli N, Maas J. Gromov-Hausdorff convergence of discrete transportation metrics.
SIAM Journal on Mathematical Analysis. 2013;45(2):879-899. doi:10.1137/120886315
apa: Gigli, N., & Maas, J. (2013). Gromov-Hausdorff convergence of discrete
transportation metrics. SIAM Journal on Mathematical Analysis. Society
for Industrial and Applied Mathematics . https://doi.org/10.1137/120886315
chicago: Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete
Transportation Metrics.” SIAM Journal on Mathematical Analysis. Society
for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120886315 .
ieee: N. Gigli and J. Maas, “Gromov-Hausdorff convergence of discrete transportation
metrics,” SIAM Journal on Mathematical Analysis, vol. 45, no. 2. Society
for Industrial and Applied Mathematics , pp. 879–899, 2013.
ista: Gigli N, Maas J. 2013. Gromov-Hausdorff convergence of discrete transportation
metrics. SIAM Journal on Mathematical Analysis. 45(2), 879–899.
mla: Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation
Metrics.” SIAM Journal on Mathematical Analysis, vol. 45, no. 2, Society
for Industrial and Applied Mathematics , 2013, pp. 879–99, doi:10.1137/120886315 .
short: N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
date_created: 2018-12-11T11:55:53Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:55:29Z
day: '01'
doi: '10.1137/120886315 '
extern: 1
intvolume: ' 45'
issue: '2'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1207.6501
month: '01'
oa: 1
page: 879 - 899
publication: SIAM Journal on Mathematical Analysis
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '4904'
quality_controlled: 0
status: public
title: Gromov-Hausdorff convergence of discrete transportation metrics
type: journal_article
volume: 45
year: '2013'
...
---
_id: '2139'
abstract:
- lang: eng
text: Recently it has been shown that pairs of atoms can form metastable bonds due
to non-conservative forces induced by dissipation [Lemeshko&Weimer, Nature
Comm. 4, 2230 (2013)]. Here we study the dynamics of interaction-induced coherent
population trapping - the process responsible for the formation of dissipatively
bound molecules. We derive the effective dissipative potentials induced between
ultracold atoms by laser light, and study the time evolution of the scattering
states. We demonstrate that binding occurs on short timescales of ~10 microseconds,
even if the initial kinetic energy of the atoms significantly exceeds the depth
of the dissipative potential. Dissipatively-bound molecules with preordained bond
lengths and vibrational wavefunctions can be created and detected in current experiments
with ultracold atoms.
acknowledgement: The work was supported by the NSF through a grant for the Institute
for Theoretical Atomic, Molecular, and Optical Physics at Harvard University and
Smithsonian Astrophysical Observatory
author:
- first_name: Mikhail
full_name: Mikhail Lemeshko
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
citation:
ama: Lemeshko M. Manipulating scattering of ultracold atoms with light-induced dissipation.
Frontiers Physics. 2013;1(17). doi:10.3389/fphy.2013.00017
apa: Lemeshko, M. (2013). Manipulating scattering of ultracold atoms with light-induced
dissipation. Frontiers Physics. Frontiers Media. https://doi.org/10.3389/fphy.2013.00017
chicago: Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced
Dissipation.” Frontiers Physics. Frontiers Media, 2013. https://doi.org/10.3389/fphy.2013.00017.
ieee: M. Lemeshko, “Manipulating scattering of ultracold atoms with light-induced
dissipation,” Frontiers Physics, vol. 1, no. 17. Frontiers Media, 2013.
ista: Lemeshko M. 2013. Manipulating scattering of ultracold atoms with light-induced
dissipation. Frontiers Physics. 1(17).
mla: Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced
Dissipation.” Frontiers Physics, vol. 1, no. 17, Frontiers Media, 2013,
doi:10.3389/fphy.2013.00017.
short: M. Lemeshko, Frontiers Physics 1 (2013).
date_created: 2018-12-11T11:55:56Z
date_published: 2013-10-07T00:00:00Z
date_updated: 2021-01-12T06:55:32Z
day: '07'
doi: 10.3389/fphy.2013.00017
extern: 1
intvolume: ' 1'
issue: '17'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1307.8129
month: '10'
oa: 1
publication: Frontiers Physics
publication_status: published
publisher: Frontiers Media
publist_id: '4885'
quality_controlled: 0
status: public
title: Manipulating scattering of ultracold atoms with light-induced dissipation
type: journal_article
volume: 1
year: '2013'
...
---
_id: '2182'
abstract:
- lang: eng
text: We propose a general framework for abstraction with respect to quantitative
properties, such as worst-case execution time, or power consumption. Our framework
provides a systematic way for counter-example guided abstraction refinement for
quantitative properties. The salient aspect of the framework is that it allows
anytime verification, that is, verification algorithms that can be stopped at
any time (for example, due to exhaustion of memory), and report approximations
that improve monotonically when the algorithms are given more time. We instantiate
the framework with a number of quantitative abstractions and refinement schemes,
which differ in terms of how much quantitative information they keep from the
original system. We introduce both state-based and trace-based quantitative abstractions,
and we describe conditions that define classes of quantitative properties for
which the abstractions provide over-approximations. We give algorithms for evaluating
the quantitative properties on the abstract systems. We present algorithms for
counter-example based refinements for quantitative properties for both state-based
and segment-based abstractions. We perform a case study on worst-case execution
time of executables to evaluate the anytime verification aspect and the quantitative
abstractions we proposed.
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- 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: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
citation:
ama: 'Cerny P, Henzinger TA, Radhakrishna A. Quantitative abstraction refinement.
In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles
of Programming Language. ACM; 2013:115-128. doi:10.1145/2429069.2429085'
apa: 'Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2013). Quantitative abstraction
refinement. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium
on Principles of programming language (pp. 115–128). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429085'
chicago: Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative
Abstraction Refinement.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Language, 115–28. ACM, 2013. https://doi.org/10.1145/2429069.2429085.
ieee: P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative abstraction
refinement,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium
on Principles of programming language, Rome, Italy, 2013, pp. 115–128.
ista: 'Cerny P, Henzinger TA, Radhakrishna A. 2013. Quantitative abstraction refinement.
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming
language. POPL: Principles of Programming Languages, 115–128.'
mla: Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings
of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language,
ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
short: P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013,
pp. 115–128.
conference:
end_date: 2013-01-25
location: Rome, Italy
name: 'POPL: Principles of Programming Languages'
start_date: 2013-07-23
corr_author: '1'
date_created: 2018-12-11T11:56:11Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2024-10-09T20:55:21Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2429069.2429085
ec_funded: 1
language:
- iso: eng
month: '01'
oa_version: None
page: 115 - 128
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
publication: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles
of programming language
publication_status: published
publisher: ACM
publist_id: '4800'
quality_controlled: '1'
scopus_import: 1
status: public
title: Quantitative abstraction refinement
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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: 2024-10-14T12:21:03Z
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: 2024-10-14T12:21:16Z
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
corr_author: '1'
date_created: 2018-12-11T11:51:39Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2024-10-09T20:55:23Z
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'
...
---
OA_place: repository
OA_type: green
_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.'
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: 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
corr_author: '1'
date_created: 2018-12-11T11:51:40Z
date_published: 2013-12-11T00:00:00Z
date_updated: 2025-06-26T08:33:43Z
day: '11'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1109/FMCAD.2013.6679386
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.15479/AT:IST-2013-130-v1-1
month: '12'
oa: 1
oa_version: Preprint
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
scopus_import: '1'
status: public
title: Distributed synthesis for LTL fragments
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
OA_place: publisher
_id: '1405'
abstract:
- lang: eng
text: "Motivated by the analysis of highly dynamic message-passing systems, i.e.
unbounded thread creation, mobility, etc. we present a framework for the analysis
of depth-bounded systems. Depth-bounded systems are one of the most expressive
known fragment of the π-calculus for which interesting verification problems are
still decidable. Even though they are infinite state systems depth-bounded systems
are well-structured, thus can be analyzed algorithmically. We give an interpretation
of depth-bounded systems as graph-rewriting systems. This gives more flexibility
and ease of use to apply depth-bounded systems to other type of systems like shared
memory concurrency.\r\n\r\nFirst, we develop an adequate domain of limits for
depth-bounded systems, a prerequisite for the effective representation of downward-closed
sets. Downward-closed sets are needed by forward saturation-based algorithms to
represent potentially infinite sets of states. Then, we present an abstract interpretation
framework to compute the covering set of well-structured transition systems. Because,
in general, the covering set is not computable, our abstraction over-approximates
the actual covering set. Our abstraction captures the essence of acceleration
based-algorithms while giving up enough precision to ensure convergence. We have
implemented the analysis in the PICASSO tool and show that it is accurate in practice.
Finally, we build some further analyses like termination using the covering set
as starting point."
acknowledgement: "This work was supported in part by the Austrian Science Fund NFN
RiSE (Rigorous Systems Engineering) and by the ERC Advanced Grant QUAREM (Quantitative
Reactve Modeling).\r\nChapter 2, 3, and 4 are joint work with Thomas A. Henzinger
and Thomas Wies. Chapter 2 was published in FoSSaCS 2010 as “Forward Analysis of
Depth-Bounded Processes” [112]. Chapter 3 was published in VMCAI 2012 as “Ideal
Abstractions for Well-Structured Transition Systems” [114]. Chap- ter 5.1 is joint
work with Kshitij Bansal, Eric Koskinen, and Thomas Wies. It was published in TACAS
2013 as “Structural Counter Abstraction” [13]. The author’s contribution in this
part is mostly related to the implementation. The theory required to understand
the method and its implementation is quickly recalled to make the thesis self-contained,
but should not be considered as a contribution. For the details of the methods,
we refer the reader to the orig- inal publication [13] and the corresponding technical
report [14]. Chapter 5.2 is ongoing work with Shahram Esmaeilsabzali, Rupak Majumdar,
and Thomas Wies. I also would like to thank the people who supported over the past
4 years. My advisor Thomas A. Henzinger who gave me a lot of freedom to work on
projects I was interested in. My collaborators, especially Thomas Wies with whom
I worked since the beginning. The members of my thesis committee, Viktor Kun- cak
and Rupak Majumdar, who also agreed to advise me. Simon Aeschbacher, Pavol Cerny,
Cezara Dragoi, Arjun Radhakrishna, my family, friends and col- leagues who created
an enjoyable environment. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
apa: Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute
of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405
chicago: Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute
of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
ieee: D. Zufferey, “Analysis of dynamic message passing programs,” Institute of
Science and Technology Austria, 2013.
ista: Zufferey D. 2013. Analysis of dynamic message passing programs. Institute
of Science and Technology Austria.
mla: Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute
of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
short: D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science
and Technology Austria, 2013.
corr_author: '1'
date_created: 2018-12-11T11:51:50Z
date_published: 2013-09-05T00:00:00Z
date_updated: 2026-04-09T14:35:24Z
day: '05'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: ToHe
- _id: GradSch
doi: 10.15479/at:ista:1405
ec_funded: 1
file:
- access_level: open_access
checksum: ed2d7b52933d134e8dc69d569baa284e
content_type: application/pdf
creator: dernst
date_created: 2021-02-22T11:28:36Z
date_updated: 2021-02-22T11:28:36Z
file_id: '9176'
file_name: 2013_Zufferey_thesis_final.pdf
file_size: 1514906
relation: main_file
success: 1
- access_level: closed
checksum: cecc4c4b14225bee973d32e3dba91a55
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-16T14:42:52Z
date_updated: 2021-11-17T13:47:58Z
file_id: '10298'
file_name: 2013_Zufferey_thesis_final_pdfa.pdf
file_size: 1378313
relation: main_file
file_date_updated: 2021-11-17T13:47:58Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://dzufferey.github.io/files/2013_thesis.pdf
month: '09'
oa: 1
oa_version: Published Version
page: '134'
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_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '5802'
related_material:
record:
- id: '4361'
relation: part_of_dissertation
status: public
- id: '3251'
relation: part_of_dissertation
status: public
- id: '2847'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
title: Analysis of dynamic message passing programs
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
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: '15162'
abstract:
- lang: eng
text: Cytological profiling (CP) is an unbiased image-based screening technique
that uses automated microscopy and image analysis to profile compounds based on
numerous quantifiable phenotypic features. We used CP to evaluate a library of
nearly 500 compounds with documented mechanisms of action (MOAs) spanning a wide
range of biological pathways. We developed informatics techniques for generating
dosage-independent phenotypic “fingerprints” for each compound, and for quantifying
the likelihood that a compound's CP fingerprint corresponds to its annotated MOA.
We identified groups of features that distinguish classes with closely related
phenotypes, such as microtubule poisons vs. HSP90 inhibitors, and DNA synthesis
vs. proteasome inhibitors. We tested several cases in which cytological profiles
indicated novel mechanisms, including a tyrphostin kinase inhibitor involved in
mitochondrial uncoupling, novel microtubule poisons, and a nominal PPAR-gamma
ligand that acts as a proteasome inhibitor, using independent biochemical assays
to confirm the MOAs predicted by the CP signatures. We also applied maximal-information
statistics to identify correlations between cytological features and kinase inhibitory
activities by combining the CP fingerprints of 24 kinase inhibitors with published
data on their specificities against a diverse panel of kinases. The resulting
analysis suggests a strategy for probing the biological functions of specific
kinases by compiling cytological data from inhibitors of varying specificities.
article_number: '2604'
article_processing_charge: No
article_type: original
author:
- first_name: Marcos H.
full_name: Woehrmann, Marcos H.
last_name: Woehrmann
- first_name: Walter M.
full_name: Bray, Walter M.
last_name: Bray
- first_name: James K.
full_name: Durbin, James K.
last_name: Durbin
- first_name: Sean C.
full_name: Nisam, Sean C.
last_name: Nisam
- first_name: Alicia Kathleen
full_name: Michael, Alicia Kathleen
id: 6437c950-2a03-11ee-914d-d6476dd7b75c
last_name: Michael
- first_name: Emerson
full_name: Glassey, Emerson
last_name: Glassey
- first_name: Joshua M.
full_name: Stuart, Joshua M.
last_name: Stuart
- first_name: R. Scott
full_name: Lokey, R. Scott
last_name: Lokey
citation:
ama: Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling
for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11).
doi:10.1039/c3mb70245f
apa: Woehrmann, M. H., Bray, W. M., Durbin, J. K., Nisam, S. C., Michael, A. K.,
Glassey, E., … Lokey, R. S. (2013). Large-scale cytological profiling for functional
analysis of bioactive compounds. Molecular BioSystems. Royal Society of
Chemistry. https://doi.org/10.1039/c3mb70245f
chicago: Woehrmann, Marcos H., Walter M. Bray, James K. Durbin, Sean C. Nisam, Alicia
K. Michael, Emerson Glassey, Joshua M. Stuart, and R. Scott Lokey. “Large-Scale
Cytological Profiling for Functional Analysis of Bioactive Compounds.” Molecular
BioSystems. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3mb70245f.
ieee: M. H. Woehrmann et al., “Large-scale cytological profiling for functional
analysis of bioactive compounds,” Molecular BioSystems, vol. 9, no. 11.
Royal Society of Chemistry, 2013.
ista: Woehrmann MH, Bray WM, Durbin JK, Nisam SC, Michael AK, Glassey E, Stuart
JM, Lokey RS. 2013. Large-scale cytological profiling for functional analysis
of bioactive compounds. Molecular BioSystems. 9(11), 2604.
mla: Woehrmann, Marcos H., et al. “Large-Scale Cytological Profiling for Functional
Analysis of Bioactive Compounds.” Molecular BioSystems, vol. 9, no. 11,
2604, Royal Society of Chemistry, 2013, doi:10.1039/c3mb70245f.
short: M.H. Woehrmann, W.M. Bray, J.K. Durbin, S.C. Nisam, A.K. Michael, E. Glassey,
J.M. Stuart, R.S. Lokey, Molecular BioSystems 9 (2013).
date_created: 2024-03-21T07:58:57Z
date_published: 2013-08-20T00:00:00Z
date_updated: 2024-03-25T11:45:46Z
day: '20'
doi: 10.1039/c3mb70245f
extern: '1'
intvolume: ' 9'
issue: '11'
keyword:
- Molecular Biology
- Biotechnology
language:
- iso: eng
month: '08'
oa_version: None
publication: Molecular BioSystems
publication_identifier:
eissn:
- 1742-2051
issn:
- 1742-206X
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Large-scale cytological profiling for functional analysis of bioactive compounds
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2013'
...
---
_id: '1977'
abstract:
- lang: eng
text: Complex I (NADH:ubiquinone oxidoreductase) is central to cellular energy production,
being the first and largest enzyme of the respiratory chain in mitochondria. It
couples electron transfer from NADH to ubiquinone with proton translocation across
the inner mitochondrial membrane and is involved in a wide range of human neurodegenerative
disorders. Mammalian complex I is composed of 44 different subunits, whereas the
'minimal' bacterial version contains 14 highly conserved 'core' subunits. The
L-shaped assembly consists of hydrophilic and membrane domains. We have determined
all known atomic structures of complex I, starting from the hydrophilic domain
of Thermus thermophilus enzyme (eight subunits, nine Fe-S clusters), followed
by the membrane domains of the Escherichia coli (six subunits, 55 transmembrane
helices) and T. thermophilus (seven subunits, 64 transmembrane helices) enzymes,
and finally culminating in a recent crystal structure of the entire intact complex
I from T. thermophilus (536 kDa, 16 subunits, nine Fe-S clusters, 64 transmembrane
helices). The structure suggests an unusual and unique coupling mechanism via
longrange conformational changes. Determination of the structure of the entire
complex was possible only through this step-by-step approach, building on from
smaller subcomplexes towards the entire assembly. Large membrane proteins are
notoriously difficult to crystallize, and so various non-standard and sometimes
counterintuitive approaches were employed in order to achieve crystal diffraction
to high resolution and solve the structures. These steps, as well as the implications
from the final structure, are discussed in the present review.
acknowledgement: This work was funded by the Medical Research Council.
author:
- first_name: Leonid A
full_name: Leonid Sazanov
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
- first_name: Rozbeh
full_name: 'Baradaran, Rozbeh '
last_name: Baradaran
- first_name: Rouslan
full_name: Efremov, Rouslan G
last_name: Efremov
- first_name: John
full_name: Berrisford, John M
last_name: Berrisford
- first_name: Gurdeep
full_name: Minhas, Gurdeep S
last_name: Minhas
citation:
ama: Sazanov LA, Baradaran R, Efremov R, Berrisford J, Minhas G. A long road towards
the structure of respiratory complex I, a giant molecular proton pump. Biochemical
Society Transactions. 2013;41(5):1265-1271. doi:10.1042/BST20130193
apa: Sazanov, L. A., Baradaran, R., Efremov, R., Berrisford, J., & Minhas, G.
(2013). A long road towards the structure of respiratory complex I, a giant molecular
proton pump. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/BST20130193
chicago: Sazanov, Leonid A, Rozbeh Baradaran, Rouslan Efremov, John Berrisford,
and Gurdeep Minhas. “A Long Road towards the Structure of Respiratory Complex
I, a Giant Molecular Proton Pump.” Biochemical Society Transactions. Portland
Press, 2013. https://doi.org/10.1042/BST20130193.
ieee: L. A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, and G. Minhas, “A
long road towards the structure of respiratory complex I, a giant molecular proton
pump,” Biochemical Society Transactions, vol. 41, no. 5. Portland Press,
pp. 1265–1271, 2013.
ista: Sazanov LA, Baradaran R, Efremov R, Berrisford J, Minhas G. 2013. A long road
towards the structure of respiratory complex I, a giant molecular proton pump.
Biochemical Society Transactions. 41(5), 1265–1271.
mla: Sazanov, Leonid A., et al. “A Long Road towards the Structure of Respiratory
Complex I, a Giant Molecular Proton Pump.” Biochemical Society Transactions,
vol. 41, no. 5, Portland Press, 2013, pp. 1265–71, doi:10.1042/BST20130193.
short: L.A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, G. Minhas, Biochemical
Society Transactions 41 (2013) 1265–1271.
date_created: 2018-12-11T11:55:00Z
date_published: 2013-10-01T00:00:00Z
date_updated: 2021-01-12T06:54:28Z
day: '01'
doi: 10.1042/BST20130193
extern: 1
intvolume: ' 41'
issue: '5'
month: '10'
page: 1265 - 1271
publication: Biochemical Society Transactions
publication_status: published
publisher: Portland Press
publist_id: '5106'
quality_controlled: 0
status: public
title: A long road towards the structure of respiratory complex I, a giant molecular
proton pump
type: journal_article
volume: 41
year: '2013'
...
---
_id: '476'
abstract:
- lang: eng
text: 'Maternal exposure to infection occurring mid-gestation produces a three-fold
increase in the risk of schizophrenia in the offspring. The critical initiating
factor appears to be the maternal immune activation (MIA) that follows infection.
This process can be induced in rodents by exposure of pregnant dams to the viral
mimic Poly I:C, which triggers an immune response that results in structural,
functional, behavioral, and electrophysiological phenotypes in the adult offspring
that model those seen in schizophrenia. We used this model to explore the role
of synchronization in brain neural networks, a process thought to be dysfunctional
in schizophrenia and previously associated with positive, negative, and cognitive
symptoms of schizophrenia. Exposure of pregnant dams to Poly I:C on GD15 produced
an impairment in long-range neural synchrony in adult offspring between two regions
implicated in schizophrenia pathology; the hippocampus and the medial prefrontal
cortex (mPFC). This reduction in synchrony was ameliorated by acute doses of the
antipsychotic clozapine. MIA animals have previously been shown to have impaired
pre-pulse inhibition (PPI), a gold-standard measure of schizophrenia-like deficits
in animal models. Our data showed that deficits in synchrony were positively correlated
with the impairments in PPI. Subsequent analysis of LFP activity during the PPI
response also showed that reduced coupling between the mPFC and the hippocampus
following processing of the pre-pulse was associated with reduced PPI. The ability
of the MIA intervention to model neurodevelopmental aspects of schizophrenia pathology
provides a useful platform from which to investigate the ontogeny of aberrant
synchronous processes. Further, the way in which the model expresses translatable
deficits such as aberrant synchrony and reduced PPI will allow researchers to
explore novel intervention strategies targeted to these changes. '
article_processing_charge: No
author:
- first_name: Desiree
full_name: Dickerson, Desiree
id: 444EB89E-F248-11E8-B48F-1D18A9856A87
last_name: Dickerson
- first_name: David
full_name: Bilkey, David
last_name: Bilkey
citation:
ama: 'Dickerson D, Bilkey D. Aberrant neural synchrony in the maternal immune activation
model: Using translatable measures to explore targeted interventions. Frontiers
in Behavioral Neuroscience. 2013;7(DEC). doi:10.3389/fnbeh.2013.00217'
apa: 'Dickerson, D., & Bilkey, D. (2013). Aberrant neural synchrony in the maternal
immune activation model: Using translatable measures to explore targeted interventions.
Frontiers in Behavioral Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fnbeh.2013.00217'
chicago: 'Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the
Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted
Interventions.” Frontiers in Behavioral Neuroscience. Frontiers Research
Foundation, 2013. https://doi.org/10.3389/fnbeh.2013.00217.'
ieee: 'D. Dickerson and D. Bilkey, “Aberrant neural synchrony in the maternal immune
activation model: Using translatable measures to explore targeted interventions,”
Frontiers in Behavioral Neuroscience, vol. 7, no. DEC. Frontiers Research
Foundation, 2013.'
ista: 'Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune
activation model: Using translatable measures to explore targeted interventions.
Frontiers in Behavioral Neuroscience. 7(DEC).'
mla: 'Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal
Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.”
Frontiers in Behavioral Neuroscience, vol. 7, no. DEC, Frontiers Research
Foundation, 2013, doi:10.3389/fnbeh.2013.00217.'
short: D. Dickerson, D. Bilkey, Frontiers in Behavioral Neuroscience 7 (2013).
date_created: 2018-12-11T11:46:41Z
date_published: 2013-12-27T00:00:00Z
date_updated: 2025-09-30T07:30:04Z
day: '27'
ddc:
- '571'
department:
- _id: JoCs
doi: 10.3389/fnbeh.2013.00217
external_id:
isi:
- '000329175600001'
file:
- access_level: open_access
checksum: cd7183121e56251176100ccac165c95c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:10Z
date_updated: 2020-07-14T12:46:35Z
file_id: '5128'
file_name: IST-2018-953-v1+1_2013_Dickerson_Aberrant_neural.pdf
file_size: 530134
relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: ' 7'
isi: 1
issue: DEC
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication: Frontiers in Behavioral Neuroscience
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '7346'
pubrep_id: '953'
quality_controlled: '1'
status: public
title: 'Aberrant neural synchrony in the maternal immune activation model: Using translatable
measures to explore targeted interventions'
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 7
year: '2013'
...
---
_id: '499'
abstract:
- lang: eng
text: Exposure of an isogenic bacterial population to a cidal antibiotic typically
fails to eliminate a small fraction of refractory cells. Historically, fractional
killing has been attributed to infrequently dividing or nondividing "persisters."
Using microfluidic cultures and time-lapse microscopy, we found that Mycobacterium
smegmatis persists by dividing in the presence of the drug isoniazid (INH). Although
persistence in these studies was characterized by stable numbers of cells, this
apparent stability was actually a dynamic state of balanced division and death.
Single cells expressed catalase-peroxidase (KatG), which activates INH, in stochastic
pulses that were negatively correlated with cell survival. These behaviors may
reflect epigenetic effects, because KatG pulsing and death were correlated between
sibling cells. Selection of lineages characterized by infrequent KatG pulsing
could allow nonresponsive adaptation during prolonged drug exposure.
article_processing_charge: No
author:
- first_name: Yurichi
full_name: Wakamoto, Yurichi
last_name: Wakamoto
- first_name: Neraaj
full_name: Dhar, Neraaj
last_name: Dhar
- first_name: Remy P
full_name: Chait, Remy P
id: 3464AE84-F248-11E8-B48F-1D18A9856A87
last_name: Chait
orcid: 0000-0003-0876-3187
- first_name: Katrin
full_name: Schneider, Katrin
last_name: Schneider
- first_name: François
full_name: Signorino Gelo, François
last_name: Signorino Gelo
- first_name: Stanislas
full_name: Leibler, Stanislas
last_name: Leibler
- first_name: John
full_name: Mckinney, John
last_name: Mckinney
citation:
ama: Wakamoto Y, Dhar N, Chait RP, et al. Dynamic persistence of antibiotic-stressed
mycobacteria. Science. 2013;339(6115):91-95. doi:10.1126/science.1229858
apa: Wakamoto, Y., Dhar, N., Chait, R. P., Schneider, K., Signorino Gelo, F., Leibler,
S., & Mckinney, J. (2013). Dynamic persistence of antibiotic-stressed mycobacteria.
Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1229858
chicago: Wakamoto, Yurichi, Neraaj Dhar, Remy P Chait, Katrin Schneider, François
Signorino Gelo, Stanislas Leibler, and John Mckinney. “Dynamic Persistence of
Antibiotic-Stressed Mycobacteria.” Science. American Association for the
Advancement of Science, 2013. https://doi.org/10.1126/science.1229858.
ieee: Y. Wakamoto et al., “Dynamic persistence of antibiotic-stressed mycobacteria,”
Science, vol. 339, no. 6115. American Association for the Advancement of
Science, pp. 91–95, 2013.
ista: Wakamoto Y, Dhar N, Chait RP, Schneider K, Signorino Gelo F, Leibler S, Mckinney
J. 2013. Dynamic persistence of antibiotic-stressed mycobacteria. Science. 339(6115),
91–95.
mla: Wakamoto, Yurichi, et al. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.”
Science, vol. 339, no. 6115, American Association for the Advancement of
Science, 2013, pp. 91–95, doi:10.1126/science.1229858.
short: Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler,
J. Mckinney, Science 339 (2013) 91–95.
date_created: 2018-12-11T11:46:48Z
date_published: 2013-01-04T00:00:00Z
date_updated: 2025-09-30T07:29:30Z
day: '04'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1126/science.1229858
external_id:
isi:
- '000312985800059'
intvolume: ' 339'
isi: 1
issue: '6115'
language:
- iso: eng
month: '01'
oa_version: None
page: 91 - 95
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '7321'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Dynamic persistence of antibiotic-stressed mycobacteria
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 339
year: '2013'
...
---
_id: '500'
abstract:
- lang: eng
text: 'Background: Reassortment between the RNA segments encoding haemagglutinin
(HA) and neuraminidase (NA), the major antigenic influenza proteins, produces
viruses with novel HA and NA subtype combinations and has preceded the emergence
of pandemic strains. It has been suggested that productive viral infection requires
a balance in the level of functional activity of HA and NA, arising from their
closely interacting roles in the viral life cycle, and that this functional balance
could be mediated by genetic changes in the HA and NA. Here, we investigate how
the selective pressure varies for H7 avian influenza HA on different NA subtype
backgrounds. Results: By extending Bayesian stochastic mutational mapping methods
to calculate the ratio of the rate of non-synonymous change to the rate of synonymous
change (d N/d S), we found the average d N/d S across the avian influenza H7 HA1
region to be significantly greater on an N2 NA subtype background than on an N1,
N3 or N7 background. Observed differences in evolutionary rates of H7 HA on different
NA subtype backgrounds could not be attributed to underlying differences between
avian host species or virus pathogenicity. Examination of d N/d S values for each
subtype on a site-by-site basis indicated that the elevated d N/d S on the N2
NA background was a result of increased selection, rather than a relaxation of
selective constraint. Conclusions: Our results are consistent with the hypothesis
that reassortment exposes influenza HA to significant changes in selective pressure
through genetic interactions with NA. Such epistatic effects might be explicitly
accounted for in future models of influenza evolution.'
acknowledgement: "This work was supported by the Biotechnology and Biological Sciences
Research Council, the Government of the Republic of Panama, the Interdisciplinary
Centre for Human and Avian Influenza Research (www.ichair-flu.org) funded by the
Scottish Funding Council, and the Institute for Science and Technology Austria.\r\nCC
BY 2.0\r\n"
article_number: '222'
article_processing_charge: No
author:
- first_name: Melissa
full_name: Ward, Melissa
last_name: Ward
- first_name: Samantha
full_name: Lycett, Samantha
last_name: Lycett
- first_name: Dorita
full_name: Avila, Dorita
last_name: Avila
- first_name: Jonathan P
full_name: Bollback, Jonathan P
id: 2C6FA9CC-F248-11E8-B48F-1D18A9856A87
last_name: Bollback
orcid: 0000-0002-4624-4612
- first_name: Andrew
full_name: Leigh Brown, Andrew
last_name: Leigh Brown
citation:
ama: Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. Evolutionary interactions
between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary
Biology. 2013;13(1). doi:10.1186/1471-2148-13-222
apa: Ward, M., Lycett, S., Avila, D., Bollback, J. P., & Leigh Brown, A. (2013).
Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza.
BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-13-222
chicago: Ward, Melissa, Samantha Lycett, Dorita Avila, Jonathan P Bollback, and
Andrew Leigh Brown. “Evolutionary Interactions between Haemagglutinin and Neuraminidase
in Avian Influenza.” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-222.
ieee: M. Ward, S. Lycett, D. Avila, J. P. Bollback, and A. Leigh Brown, “Evolutionary
interactions between haemagglutinin and neuraminidase in avian influenza,” BMC
Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
ista: Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. 2013. Evolutionary
interactions between haemagglutinin and neuraminidase in avian influenza. BMC
Evolutionary Biology. 13(1), 222.
mla: Ward, Melissa, et al. “Evolutionary Interactions between Haemagglutinin and
Neuraminidase in Avian Influenza.” BMC Evolutionary Biology, vol. 13, no.
1, 222, BioMed Central, 2013, doi:10.1186/1471-2148-13-222.
short: M. Ward, S. Lycett, D. Avila, J.P. Bollback, A. Leigh Brown, BMC Evolutionary
Biology 13 (2013).
date_created: 2018-12-11T11:46:49Z
date_published: 2013-10-09T00:00:00Z
date_updated: 2025-09-30T07:28:51Z
day: '09'
ddc:
- '576'
department:
- _id: JoBo
doi: 10.1186/1471-2148-13-222
external_id:
isi:
- '000326620200001'
file:
- access_level: open_access
checksum: 52cf48a7c1794676ae8b0029573a84a9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:59Z
date_updated: 2020-07-14T12:46:36Z
file_id: '4722'
file_name: IST-2018-941-v1+1_2013_Bollback_Evolutionary_interactionspdf.pdf
file_size: 1150052
relation: main_file
file_date_updated: 2020-07-14T12:46:36Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
issue: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
publication: BMC Evolutionary Biology
publication_status: published
publisher: BioMed Central
publist_id: '7320'
pubrep_id: '941'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evolutionary interactions between haemagglutinin and neuraminidase in avian
influenza
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13
year: '2013'
...
---
_id: '501'
abstract:
- lang: eng
text: 'All known species of extant tapirs are allopatric: 1 in southeastern Asia
and 3 in Central and South America. The fossil record for tapirs, however, is
much wider in geographical range, including Europe, Asia, and North and South
America, going back to the late Oligocene, making the present distribution a relict
of the original one. We here describe a new species of living Tapirus from the
Amazon rain forest, the 1st since T. bairdii Gill, 1865, and the 1st new Perissodactyla
in more than 100 years, from both morphological and molecular characters. It is
shorter in stature than T. terrestris (Linnaeus, 1758) and has distinctive skull
morphology, and it is basal to the clade formed by T. terrestris and T. pinchaque
(Roulin, 1829). This highlights the unrecognized biodiversity in western Amazonia,
where the biota faces increasing threats. Local peoples have long recognized our
new species, suggesting a key role for traditional knowledge in understanding
the biodiversity of the region.'
article_processing_charge: No
author:
- first_name: Mario
full_name: Cozzuol, Mario
last_name: Cozzuol
- first_name: Camila
full_name: Clozato, Camila
last_name: Clozato
- first_name: Elizete
full_name: Holanda, Elizete
last_name: Holanda
- first_name: Flávio
full_name: Rodrigues, Flávio
last_name: Rodrigues
- first_name: Samuel
full_name: Nienow, Samuel
last_name: Nienow
- first_name: Benoit
full_name: De Thoisy, Benoit
last_name: De Thoisy
- first_name: Rodrigo A
full_name: Fernandes Redondo, Rodrigo A
id: 409D5C96-F248-11E8-B48F-1D18A9856A87
last_name: Fernandes Redondo
orcid: 0000-0002-5837-2793
- first_name: Fabrício
full_name: Santos, Fabrício
last_name: Santos
citation:
ama: Cozzuol M, Clozato C, Holanda E, et al. A new species of tapir from the Amazon.
Journal of Mammalogy. 2013;94(6):1331-1345. doi:10.1644/12-MAMM-A-169.1
apa: Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy,
B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of
Mammalogy. Oxford University Press. https://doi.org/10.1644/12-MAMM-A-169.1
chicago: Cozzuol, Mario, Camila Clozato, Elizete Holanda, Flávio Rodrigues, Samuel
Nienow, Benoit De Thoisy, Rodrigo A Fernandes Redondo, and Fabrício Santos. “A
New Species of Tapir from the Amazon.” Journal of Mammalogy. Oxford University
Press, 2013. https://doi.org/10.1644/12-MAMM-A-169.1.
ieee: M. Cozzuol et al., “A new species of tapir from the Amazon,” Journal
of Mammalogy, vol. 94, no. 6. Oxford University Press, pp. 1331–1345, 2013.
ista: Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes
Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of
Mammalogy. 94(6), 1331–1345.
mla: Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.” Journal
of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45,
doi:10.1644/12-MAMM-A-169.1.
short: M. Cozzuol, C. Clozato, E. Holanda, F. Rodrigues, S. Nienow, B. De Thoisy,
R.A. Fernandes Redondo, F. Santos, Journal of Mammalogy 94 (2013) 1331–1345.
date_created: 2018-12-11T11:46:49Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2025-09-30T07:28:20Z
day: '01'
ddc:
- '570'
department:
- _id: JoBo
doi: 10.1644/12-MAMM-A-169.1
external_id:
isi:
- '000329010200015'
file:
- access_level: open_access
checksum: 8007815078dccac21ecd1cf73a269dc6
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:59Z
date_updated: 2020-07-14T12:46:36Z
file_id: '4980'
file_name: IST-2018-940-v1+1_2013_Redondo_A_new.pdf
file_size: 1040765
relation: main_file
file_date_updated: 2020-07-14T12:46:36Z
has_accepted_license: '1'
intvolume: ' 94'
isi: 1
issue: '6'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '12'
oa: 1
oa_version: Published Version
page: 1331 - 1345
publication: Journal of Mammalogy
publication_status: published
publisher: Oxford University Press
publist_id: '7319'
pubrep_id: '940'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A new species of tapir from the Amazon
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 94
year: '2013'
...
---
_id: '502'
abstract:
- lang: eng
text: 'Blind signatures allow users to obtain signatures on messages hidden from
the signer; moreover, the signer cannot link the resulting message/signature pair
to the signing session. This paper presents blind signature schemes, in which
the number of interactions between the user and the signer is minimal and whose
blind signatures are short. Our schemes are defined over bilinear groups and are
proved secure in the common-reference-string model without random oracles and
under standard assumptions: CDH and the decision-linear assumption. (We also give
variants over asymmetric groups based on similar assumptions.) The blind signatures
are Waters signatures, which consist of 2 group elements. Moreover, we instantiate
partially blind signatures, where the message consists of a part hidden from the
signer and a commonly known public part, and schemes achieving perfect blindness.
We propose new variants of blind signatures, such as signer-friendly partially
blind signatures, where the public part can be chosen by the signer without prior
agreement, 3-party blind signatures, as well as blind signatures on multiple aggregated
messages provided by independent sources. We also extend Waters signatures to
non-binary alphabets by proving a new result on the underlying hash function. '
author:
- first_name: Olivier
full_name: Blazy, Olivier
last_name: Blazy
- first_name: Georg
full_name: Fuchsbauer, Georg
id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
last_name: Fuchsbauer
- first_name: David
full_name: Pointcheval, David
last_name: Pointcheval
- first_name: Damien
full_name: Vergnaud, Damien
last_name: Vergnaud
citation:
ama: Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. Short blind signatures. Journal
of Computer Security. 2013;21(5):627-661. doi:10.3233/JCS-130477
apa: Blazy, O., Fuchsbauer, G., Pointcheval, D., & Vergnaud, D. (2013). Short
blind signatures. Journal of Computer Security. IOS Press. https://doi.org/10.3233/JCS-130477
chicago: Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud.
“Short Blind Signatures.” Journal of Computer Security. IOS Press, 2013.
https://doi.org/10.3233/JCS-130477.
ieee: O. Blazy, G. Fuchsbauer, D. Pointcheval, and D. Vergnaud, “Short blind signatures,”
Journal of Computer Security, vol. 21, no. 5. IOS Press, pp. 627–661, 2013.
ista: Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. 2013. Short blind signatures.
Journal of Computer Security. 21(5), 627–661.
mla: Blazy, Olivier, et al. “Short Blind Signatures.” Journal of Computer Security,
vol. 21, no. 5, IOS Press, 2013, pp. 627–61, doi:10.3233/JCS-130477.
short: O. Blazy, G. Fuchsbauer, D. Pointcheval, D. Vergnaud, Journal of Computer
Security 21 (2013) 627–661.
date_created: 2018-12-11T11:46:50Z
date_published: 2013-11-22T00:00:00Z
date_updated: 2021-01-12T08:01:09Z
day: '22'
department:
- _id: KrPi
doi: 10.3233/JCS-130477
intvolume: ' 21'
issue: '5'
language:
- iso: eng
month: '11'
oa_version: None
page: 627 - 661
publication: Journal of Computer Security
publication_status: published
publisher: IOS Press
publist_id: '7318'
quality_controlled: '1'
scopus_import: 1
status: public
title: Short blind signatures
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2013'
...