---
_id: '2056'
abstract:
- lang: eng
text: 'We consider a continuous-time Markov chain (CTMC) whose state space is partitioned
into aggregates, and each aggregate is assigned a probability measure. A sufficient
condition for defining a CTMC over the aggregates is presented as a variant of
weak lumpability, which also characterizes that the measure over the original
process can be recovered from that of the aggregated one. We show how the applicability
of de-aggregation depends on the initial distribution. The application section
is devoted to illustrate how the developed theory aids in reducing CTMC models
of biochemical systems particularly in connection to protein-protein interactions.
We assume that the model is written by a biologist in form of site-graph-rewrite
rules. Site-graph-rewrite rules compactly express that, often, only a local context
of a protein (instead of a full molecular species) needs to be in a certain configuration
in order to trigger a reaction event. This observation leads to suitable aggregate
Markov chains with smaller state spaces, thereby providing sufficient reduction
in computational complexity. This is further exemplified in two case studies:
simple unbounded polymerization and early EGFR/insulin crosstalk.'
acknowledgement: T. Petrov is supported by SystemsX.ch—the Swiss Inititative for Systems
Biology.
author:
- first_name: Arnab
full_name: Ganguly, Arnab
last_name: Ganguly
- first_name: Tatjana
full_name: Petrov, Tatjana
id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
last_name: Petrov
orcid: 0000-0002-9041-0905
- first_name: Heinz
full_name: Koeppl, Heinz
last_name: Koeppl
citation:
ama: Ganguly A, Petrov T, Koeppl H. Markov chain aggregation and its applications
to combinatorial reaction networks. Journal of Mathematical Biology. 2014;69(3):767-797.
doi:10.1007/s00285-013-0738-7
apa: Ganguly, A., Petrov, T., & Koeppl, H. (2014). Markov chain aggregation
and its applications to combinatorial reaction networks. Journal of Mathematical
Biology. Springer. https://doi.org/10.1007/s00285-013-0738-7
chicago: Ganguly, Arnab, Tatjana Petrov, and Heinz Koeppl. “Markov Chain Aggregation
and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical
Biology. Springer, 2014. https://doi.org/10.1007/s00285-013-0738-7.
ieee: A. Ganguly, T. Petrov, and H. Koeppl, “Markov chain aggregation and its applications
to combinatorial reaction networks,” Journal of Mathematical Biology, vol.
69, no. 3. Springer, pp. 767–797, 2014.
ista: Ganguly A, Petrov T, Koeppl H. 2014. Markov chain aggregation and its applications
to combinatorial reaction networks. Journal of Mathematical Biology. 69(3), 767–797.
mla: Ganguly, Arnab, et al. “Markov Chain Aggregation and Its Applications to Combinatorial
Reaction Networks.” Journal of Mathematical Biology, vol. 69, no. 3, Springer,
2014, pp. 767–97, doi:10.1007/s00285-013-0738-7.
short: A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014)
767–797.
date_created: 2018-12-11T11:55:28Z
date_published: 2014-11-20T00:00:00Z
date_updated: 2021-01-12T06:55:01Z
day: '20'
department:
- _id: CaGu
- _id: ToHe
doi: 10.1007/s00285-013-0738-7
intvolume: ' 69'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1303.4532
month: '11'
oa: 1
oa_version: Submitted Version
page: 767 - 797
publication: Journal of Mathematical Biology
publication_status: published
publisher: Springer
publist_id: '4990'
quality_controlled: '1'
scopus_import: 1
status: public
title: Markov chain aggregation and its applications to combinatorial reaction networks
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 69
year: '2014'
...
---
_id: '2057'
abstract:
- lang: eng
text: 'In the past few years, a lot of attention has been devoted to multimedia
indexing by fusing multimodal informations. Two kinds of fusion schemes are generally
considered: The early fusion and the late fusion. We focus on late classifier
fusion, where one combines the scores of each modality at the decision level.
To tackle this problem, we investigate a recent and elegant well-founded quadratic
program named MinCq coming from the machine learning PAC-Bayesian theory. MinCq
looks for the weighted combination, over a set of real-valued functions seen as
voters, leading to the lowest misclassification rate, while maximizing the voters’
diversity. We propose an extension of MinCq tailored to multimedia indexing. Our
method is based on an order-preserving pairwise loss adapted to ranking that allows
us to improve Mean Averaged Precision measure while taking into account the diversity
of the voters that we want to fuse. We provide evidence that this method is naturally
adapted to late fusion procedures and confirm the good behavior of our approach
on the challenging PASCAL VOC’07 benchmark.'
alternative_title:
- LNCS
arxiv: 1
author:
- first_name: Emilie
full_name: Morvant, Emilie
id: 4BAC2A72-F248-11E8-B48F-1D18A9856A87
last_name: Morvant
orcid: 0000-0002-8301-7240
- first_name: Amaury
full_name: Habrard, Amaury
last_name: Habrard
- first_name: Stéphane
full_name: Ayache, Stéphane
last_name: Ayache
citation:
ama: 'Morvant E, Habrard A, Ayache S. Majority vote of diverse classifiers for late
fusion. In: Lecture Notes in Computer Science (Including Subseries Lecture
Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol
8621. Springer; 2014:153-162. doi:10.1007/978-3-662-44415-3_16'
apa: 'Morvant, E., Habrard, A., & Ayache, S. (2014). Majority vote of diverse
classifiers for late fusion. In Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(Vol. 8621, pp. 153–162). Joensuu, Finland: Springer. https://doi.org/10.1007/978-3-662-44415-3_16'
chicago: Morvant, Emilie, Amaury Habrard, and Stéphane Ayache. “Majority Vote of
Diverse Classifiers for Late Fusion.” In Lecture Notes in Computer Science
(Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics), 8621:153–62. Springer, 2014. https://doi.org/10.1007/978-3-662-44415-3_16.
ieee: E. Morvant, A. Habrard, and S. Ayache, “Majority vote of diverse classifiers
for late fusion,” in Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Joensuu, Finland, 2014, vol. 8621, pp. 153–162.
ista: 'Morvant E, Habrard A, Ayache S. 2014. Majority vote of diverse classifiers
for late fusion. Lecture Notes in Computer Science (including subseries Lecture
Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). IAPR: International
Workshop on Structural, Syntactic, and Statistical Pattern Recognition, LNCS,
vol. 8621, 153–162.'
mla: Morvant, Emilie, et al. “Majority Vote of Diverse Classifiers for Late Fusion.”
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), vol. 8621, Springer, 2014,
pp. 153–62, doi:10.1007/978-3-662-44415-3_16.
short: E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science
(Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics), Springer, 2014, pp. 153–162.
conference:
end_date: 2014-08-22
location: Joensuu, Finland
name: 'IAPR: International Workshop on Structural, Syntactic, and Statistical Pattern
Recognition'
start_date: 2014-08-20
date_created: 2018-12-11T11:55:28Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:55:01Z
day: '01'
department:
- _id: ChLa
doi: 10.1007/978-3-662-44415-3_16
ec_funded: 1
external_id:
arxiv:
- '1404.7796'
intvolume: ' 8621'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1404.7796
month: '01'
oa: 1
oa_version: Preprint
page: 153 - 162
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_status: published
publisher: Springer
publist_id: '4989'
quality_controlled: '1'
scopus_import: 1
status: public
title: Majority vote of diverse classifiers for late fusion
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8621
year: '2014'
...
---
_id: '2058'
abstract:
- lang: eng
text: We present a method for smoothly blending between existing liquid animations.
We introduce a semi-automatic method for matching two existing liquid animations,
which we use to create new fluid motion that plausibly interpolates the input.
Our contributions include a new space-time non-rigid iterative closest point algorithm
that incorporates user guidance, a subsampling technique for efficient registration
of meshes with millions of vertices, and a fast surface extraction algorithm that
produces 3D triangle meshes from a 4D space-time surface. Our technique can be
used to instantly create hundreds of new simulations, or to interactively explore
complex parameter spaces. Our method is guaranteed to produce output that does
not deviate from the input animations, and it generalizes to multiple dimensions.
Because our method runs at interactive rates after the initial precomputation
step, it has potential applications in games and training simulations.
article_number: '137'
article_processing_charge: No
author:
- first_name: Karthik
full_name: Raveendran, Karthik
last_name: Raveendran
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
- first_name: Nils
full_name: Thuerey, Nils
last_name: Thuerey
- first_name: Greg
full_name: Türk, Greg
last_name: Türk
citation:
ama: 'Raveendran K, Wojtan C, Thuerey N, Türk G. Blending liquids. In: ACM Transactions
on Graphics. Vol 33. ACM; 2014. doi:10.1145/2601097.2601126'
apa: 'Raveendran, K., Wojtan, C., Thuerey, N., & Türk, G. (2014). Blending liquids.
In ACM Transactions on Graphics (Vol. 33). Vancouver, Canada: ACM. https://doi.org/10.1145/2601097.2601126'
chicago: Raveendran, Karthik, Chris Wojtan, Nils Thuerey, and Greg Türk. “Blending
Liquids.” In ACM Transactions on Graphics, Vol. 33. ACM, 2014. https://doi.org/10.1145/2601097.2601126.
ieee: K. Raveendran, C. Wojtan, N. Thuerey, and G. Türk, “Blending liquids,” in
ACM Transactions on Graphics, Vancouver, Canada, 2014, vol. 33, no. 4.
ista: 'Raveendran K, Wojtan C, Thuerey N, Türk G. 2014. Blending liquids. ACM Transactions
on Graphics. SIGGRAPH: International Conference and Exhibition on Computer Graphics
and Interactive Techniques vol. 33, 137.'
mla: Raveendran, Karthik, et al. “Blending Liquids.” ACM Transactions on Graphics,
vol. 33, no. 4, 137, ACM, 2014, doi:10.1145/2601097.2601126.
short: K. Raveendran, C. Wojtan, N. Thuerey, G. Türk, in:, ACM Transactions on Graphics,
ACM, 2014.
conference:
end_date: 2014-08-14
location: Vancouver, Canada
name: 'SIGGRAPH: International Conference and Exhibition on Computer Graphics and
Interactive Techniques'
start_date: 2014-08-10
date_created: 2018-12-11T11:55:28Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2022-08-25T14:02:46Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2601097.2601126
file:
- access_level: open_access
checksum: 1752760a2e71e254537f31c0d10d9c6c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:27Z
date_updated: 2020-07-14T12:45:27Z
file_id: '4688'
file_name: IST-2016-606-v1+1_BlendingLiquids-Preprint.pdf
file_size: 8387384
relation: main_file
file_date_updated: 2020-07-14T12:45:27Z
has_accepted_license: '1'
intvolume: ' 33'
issue: '4'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
project:
- _id: 25636330-B435-11E9-9278-68D0E5697425
grant_number: 11-NSF-1070
name: ROOTS Genome-wide Analysis of Root Traits
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4988'
pubrep_id: '606'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Blending liquids
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2014'
...
---
_id: '2059'
abstract:
- lang: eng
text: Plant embryogenesis is regulated by differential distribution of the plant
hormone auxin. However, the cells establishing these gradients during microspore
embryogenesis remain to be identified. For the first time, we describe, using
the DR5 or DR5rev reporter gene systems, the GFP- and GUS-based auxin biosensors
to monitor auxin during Brassica napus androgenesis at cellular resolution in
the initial stages. Our study provides evidence that the distribution of auxin
changes during embryo development and depends on the temperature-inducible in
vitro culture conditions. For this, microspores (mcs) were induced to embryogenesis
by heat treatment and then subjected to genetic modification via Agrobacterium
tumefaciens. The duration of high temperature treatment had a significant influence
on auxin distribution in isolated and in vitro-cultured microspores and on microspore-derived
embryo development. In the “mild” heat-treated (1 day at 32 °C) mcs, auxin localized
in a polar way already at the uni-nucleate microspore, which was critical for
the initiation of embryos with suspensor-like structure. Assuming a mean mcs radius
of 20 μm, endogenous auxin content in a single cell corresponded to concentration
of 1.01 μM. In mcs subjected to a prolonged heat (5 days at 32 °C), although auxin
concentration increased dozen times, auxin polarization was set up at a few-celled
pro-embryos without suspensor. Those embryos were enclosed in the outer wall called
the exine. The exine rupture was accompanied by the auxin gradient polarization.
Relative quantitative estimation of auxin, using time-lapse imaging, revealed
that primordia possess up to 1.3-fold higher amounts than those found in the root
apices of transgenic MDEs in the presence of exogenous auxin. Our results show,
for the first time, which concentration of endogenous auxin coincides with the
first cell division and how the high temperature interplays with auxin, by what
affects delay early establishing microspore polarity. Moreover, we present how
the local auxin accumulation demonstrates the apical–basal axis formation of the
androgenic embryo and directs the axiality of the adult haploid plant.
acknowledgement: The research was supported by the IPP PAS-IPGB SAS bilateral project
(“Molecular analysis of auxin distribution in oilseed androgenic embryos”), IPP
PAS-FWO VIB bilateral project (“Auxin as signaling molecule in doubled haploid production
of rape (B. napus var. oleifera)”), individual national research project 2011/01/D/NZ9/02547,
and VEGA 2-0090-14.
author:
- first_name: Ewa
full_name: Dubas, Ewa
last_name: Dubas
- first_name: Jana
full_name: Moravčíková, Jana
last_name: Moravčíková
- first_name: Jana
full_name: Libantová, Jana
last_name: Libantová
- first_name: Ildikó
full_name: Matušíková, Ildikó
last_name: Matušíková
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Iwona
full_name: Zur, Iwona
last_name: Zur
- first_name: Monika
full_name: Krzewska, Monika
last_name: Krzewska
citation:
ama: Dubas E, Moravčíková J, Libantová J, et al. The influence of heat stress on
auxin distribution in transgenic B napus microspores and microspore derived embryos.
Protoplasma. 2014;251(5):1077-1087. doi:10.1007/s00709-014-0616-1
apa: Dubas, E., Moravčíková, J., Libantová, J., Matušíková, I., Benková, E., Zur,
I., & Krzewska, M. (2014). The influence of heat stress on auxin distribution
in transgenic B napus microspores and microspore derived embryos. Protoplasma.
Springer. https://doi.org/10.1007/s00709-014-0616-1
chicago: Dubas, Ewa, Jana Moravčíková, Jana Libantová, Ildikó Matušíková, Eva Benková,
Iwona Zur, and Monika Krzewska. “The Influence of Heat Stress on Auxin Distribution
in Transgenic B Napus Microspores and Microspore Derived Embryos.” Protoplasma.
Springer, 2014. https://doi.org/10.1007/s00709-014-0616-1.
ieee: E. Dubas et al., “The influence of heat stress on auxin distribution
in transgenic B napus microspores and microspore derived embryos,” Protoplasma,
vol. 251, no. 5. Springer, pp. 1077–1087, 2014.
ista: Dubas E, Moravčíková J, Libantová J, Matušíková I, Benková E, Zur I, Krzewska
M. 2014. The influence of heat stress on auxin distribution in transgenic B napus
microspores and microspore derived embryos. Protoplasma. 251(5), 1077–1087.
mla: Dubas, Ewa, et al. “The Influence of Heat Stress on Auxin Distribution in Transgenic
B Napus Microspores and Microspore Derived Embryos.” Protoplasma, vol.
251, no. 5, Springer, 2014, pp. 1077–87, doi:10.1007/s00709-014-0616-1.
short: E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur,
M. Krzewska, Protoplasma 251 (2014) 1077–1087.
date_created: 2018-12-11T11:55:29Z
date_published: 2014-02-20T00:00:00Z
date_updated: 2021-01-12T06:55:02Z
day: '20'
ddc:
- '580'
department:
- _id: EvBe
doi: 10.1007/s00709-014-0616-1
file:
- access_level: open_access
checksum: d570a6073765118fc0bb83c31d96fa53
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:31Z
date_updated: 2020-07-14T12:45:27Z
file_id: '5353'
file_name: IST-2015-394-v1+1_s00709-014-0616-1.pdf
file_size: 6377990
relation: main_file
file_date_updated: 2020-07-14T12:45:27Z
has_accepted_license: '1'
intvolume: ' 251'
issue: '5'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: 1077 - 1087
publication: Protoplasma
publication_status: published
publisher: Springer
publist_id: '4987'
pubrep_id: '394'
quality_controlled: '1'
scopus_import: 1
status: public
title: The influence of heat stress on auxin distribution in transgenic B napus microspores
and microspore derived embryos
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: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 251
year: '2014'
...
---
_id: '2061'
abstract:
- lang: eng
text: 'Development of cambium and its activity is important for our knowledge of
the mechanism of secondary growth. Arabidopsis thaliana emerges as a good model
plant for such a kind of study. Thus, this paper reports on cellular events taking
place in the interfascicular regions of inflorescence stems of A. thaliana, leading
to the development of interfascicular cambium from differentiated interfascicular
parenchyma cells (IPC). These events are as follows: appearance of auxin accumulation,
PIN1 gene expression, polar PIN1 protein localization in the basal plasma membrane
and periclinal divisions. Distribution of auxin was observed to be higher in differentiating
into cambium parenchyma cells compared to cells within the pith and cortex. Expression
of PIN1 in IPC was always preceded by auxin accumulation. Basal localization of
PIN1 was already established in the cells prior to their periclinal division.
These cellular events initiated within parenchyma cells adjacent to the vascular
bundles and successively extended from that point towards the middle region of
the interfascicular area, located between neighboring vascular bundles. The final
consequence of which was the closure of the cambial ring within the stem. Changes
in the chemical composition of IPC walls were also detected and included changes
of pectic epitopes, xyloglucans (XG) and extensins rich in hydroxyproline (HRGPs).
In summary, results presented in this paper describe interfascicular cambium ontogenesis
in terms of successive cellular events in the interfascicular regions of inflorescence
stems of Arabidopsis.'
author:
- first_name: Ewa
full_name: Mazur, Ewa
last_name: Mazur
- first_name: Ewa
full_name: Kurczyñska, Ewa
last_name: Kurczyñska
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Mazur E, Kurczyñska E, Friml J. Cellular events during interfascicular cambium
ontogenesis in inflorescence stems of Arabidopsis. Protoplasma. 2014;251(5):1125-1139.
doi:10.1007/s00709-014-0620-5
apa: Mazur, E., Kurczyñska, E., & Friml, J. (2014). Cellular events during interfascicular
cambium ontogenesis in inflorescence stems of Arabidopsis. Protoplasma.
Springer. https://doi.org/10.1007/s00709-014-0620-5
chicago: Mazur, Ewa, Ewa Kurczyñska, and Jiří Friml. “Cellular Events during Interfascicular
Cambium Ontogenesis in Inflorescence Stems of Arabidopsis.” Protoplasma.
Springer, 2014. https://doi.org/10.1007/s00709-014-0620-5.
ieee: E. Mazur, E. Kurczyñska, and J. Friml, “Cellular events during interfascicular
cambium ontogenesis in inflorescence stems of Arabidopsis,” Protoplasma,
vol. 251, no. 5. Springer, pp. 1125–1139, 2014.
ista: Mazur E, Kurczyñska E, Friml J. 2014. Cellular events during interfascicular
cambium ontogenesis in inflorescence stems of Arabidopsis. Protoplasma. 251(5),
1125–1139.
mla: Mazur, Ewa, et al. “Cellular Events during Interfascicular Cambium Ontogenesis
in Inflorescence Stems of Arabidopsis.” Protoplasma, vol. 251, no. 5, Springer,
2014, pp. 1125–39, doi:10.1007/s00709-014-0620-5.
short: E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
date_created: 2018-12-11T11:55:29Z
date_published: 2014-02-14T00:00:00Z
date_updated: 2021-01-12T06:55:03Z
day: '14'
department:
- _id: JiFr
doi: 10.1007/s00709-014-0620-5
intvolume: ' 251'
issue: '5'
language:
- iso: eng
month: '02'
oa_version: None
page: 1125 - 1139
publication: Protoplasma
publication_status: published
publisher: Springer
publist_id: '4985'
quality_controlled: '1'
scopus_import: 1
status: public
title: Cellular events during interfascicular cambium ontogenesis in inflorescence
stems of Arabidopsis
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 251
year: '2014'
...
---
_id: '2062'
abstract:
- lang: eng
text: The success story of fast-spiking, parvalbumin-positive (PV+) GABAergic interneurons
(GABA, γ-aminobutyric acid) in the mammalian central nervous system is noteworthy.
In 1995, the properties of these interneurons were completely unknown. Twenty
years later, thanks to the massive use of subcellular patch-clamp techniques,
simultaneous multiple-cell recording, optogenetics, in vivo measurements, and
computational approaches, our knowledge about PV+ interneurons became more extensive
than for several types of pyramidal neurons. These findings have implications
beyond the “small world” of basic research on GABAergic cells. For example, the
results provide a first proof of principle that neuroscientists might be able
to close the gaps between the molecular, cellular, network, and behavioral levels,
representing one of the main challenges at the present time. Furthermore, the
results may form the basis for PV+ interneurons as therapeutic targets for brain
disease in the future. However, much needs to be learned about the basic function
of these interneurons before clinical neuroscientists will be able to use PV+
interneurons for therapeutic purposes.
article_number: '1255263'
author:
- first_name: Hua
full_name: Hu, Hua
id: 4AC0145C-F248-11E8-B48F-1D18A9856A87
last_name: Hu
- first_name: Jian
full_name: Gan, Jian
id: 3614E438-F248-11E8-B48F-1D18A9856A87
last_name: Gan
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: 'Hu H, Gan J, Jonas PM. Fast-spiking parvalbumin^+ GABAergic interneurons:
From cellular design to microcircuit function. Science. 2014;345(6196).
doi:10.1126/science.1255263'
apa: 'Hu, H., Gan, J., & Jonas, P. M. (2014). Fast-spiking parvalbumin^+ GABAergic
interneurons: From cellular design to microcircuit function. Science. American
Association for the Advancement of Science. https://doi.org/10.1126/science.1255263'
chicago: 'Hu, Hua, Jian Gan, and Peter M Jonas. “Fast-Spiking Parvalbumin^+ GABAergic
Interneurons: From Cellular Design to Microcircuit Function.” Science.
American Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1255263.'
ieee: 'H. Hu, J. Gan, and P. M. Jonas, “Fast-spiking parvalbumin^+ GABAergic interneurons:
From cellular design to microcircuit function,” Science, vol. 345, no.
6196. American Association for the Advancement of Science, 2014.'
ista: 'Hu H, Gan J, Jonas PM. 2014. Fast-spiking parvalbumin^+ GABAergic interneurons:
From cellular design to microcircuit function. Science. 345(6196), 1255263.'
mla: 'Hu, Hua, et al. “Fast-Spiking Parvalbumin^+ GABAergic Interneurons: From Cellular
Design to Microcircuit Function.” Science, vol. 345, no. 6196, 1255263,
American Association for the Advancement of Science, 2014, doi:10.1126/science.1255263.'
short: H. Hu, J. Gan, P.M. Jonas, Science 345 (2014).
date_created: 2018-12-11T11:55:29Z
date_published: 2014-08-01T00:00:00Z
date_updated: 2021-01-12T06:55:03Z
day: '01'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1126/science.1255263
ec_funded: 1
file:
- access_level: open_access
checksum: a0036a589037d37e86364fa25cc0a82f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:00Z
date_updated: 2020-07-14T12:45:27Z
file_id: '5185'
file_name: IST-2017-821-v1+1_1255263JonasPVReviewTextR_Final.pdf
file_size: 215514
relation: main_file
- access_level: open_access
checksum: e1f57d2713725449cb898fdcb8ef47b8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:01Z
date_updated: 2020-07-14T12:45:27Z
file_id: '5186'
file_name: IST-2017-821-v1+2_1255263JonasPVReviewFigures_Final.pdf
file_size: 1732723
relation: main_file
file_date_updated: 2020-07-14T12:45:27Z
has_accepted_license: '1'
intvolume: ' 345'
issue: '6196'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 25C26B1E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P24909-B24
name: Mechanisms of transmitter release at GABAergic synapses
- _id: 25C0F108-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '268548'
name: Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '4984'
pubrep_id: '821'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to
microcircuit function'
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 345
year: '2014'
...
---
_id: '2063'
abstract:
- lang: eng
text: We consider Markov decision processes (MDPs) which are a standard model for
probabilistic systems.We focus on qualitative properties forMDPs that can express
that desired behaviors of the system arise almost-surely (with probability 1)
or with positive probability. We introduce a new simulation relation to capture
the refinement relation ofMDPs with respect to qualitative properties, and present
discrete graph theoretic algorithms with quadratic complexity to compute the simulation
relation.We present an automated technique for assume-guarantee style reasoning
for compositional analysis ofMDPs with qualitative properties by giving a counterexample
guided abstraction-refinement approach to compute our new simulation relation.
We have implemented our algorithms and show that the compositional analysis leads
to significant improvements.
alternative_title:
- LNCS
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Przemyslaw
full_name: Daca, Przemyslaw
id: 49351290-F248-11E8-B48F-1D18A9856A87
last_name: Daca
citation:
ama: 'Chatterjee K, Chmelik M, Daca P. CEGAR for qualitative analysis of probabilistic
systems. In: Vol 8559. Springer; 2014:473-490. doi:10.1007/978-3-319-08867-9_31'
apa: 'Chatterjee, K., Chmelik, M., & Daca, P. (2014). CEGAR for qualitative
analysis of probabilistic systems (Vol. 8559, pp. 473–490). Presented at the CAV:
Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_31'
chicago: Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for
Qualitative Analysis of Probabilistic Systems,” 8559:473–90. Springer, 2014. https://doi.org/10.1007/978-3-319-08867-9_31.
ieee: 'K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for qualitative analysis of
probabilistic systems,” presented at the CAV: Computer Aided Verification, Vienna,
Austria, 2014, vol. 8559, pp. 473–490.'
ista: 'Chatterjee K, Chmelik M, Daca P. 2014. CEGAR for qualitative analysis of
probabilistic systems. CAV: Computer Aided Verification, LNCS, vol. 8559, 473–490.'
mla: Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic
Systems. Vol. 8559, Springer, 2014, pp. 473–90, doi:10.1007/978-3-319-08867-9_31.
short: K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
conference:
end_date: 2014-07-22
location: Vienna, Austria
name: 'CAV: Computer Aided Verification'
start_date: 2014-07-18
date_created: 2018-12-11T11:55:30Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2023-09-07T11:58:33Z
day: '01'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-08867-9_31
ec_funded: 1
intvolume: ' 8559'
language:
- iso: eng
month: '07'
oa_version: None
page: 473 - 490
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: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _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
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication_status: published
publisher: Springer
publist_id: '4978'
quality_controlled: '1'
related_material:
record:
- id: '5412'
relation: earlier_version
status: public
- id: '5413'
relation: earlier_version
status: public
- id: '5414'
relation: earlier_version
status: public
- id: '1155'
relation: dissertation_contains
status: public
status: public
title: CEGAR for qualitative analysis of probabilistic systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8559
year: '2014'
...
---
_id: '2064'
abstract:
- lang: eng
text: We examined the synaptic structure, quantity, and distribution of α-amino-3-hydroxy-5-methylisoxazole-4-propionic
acid (AMPA)- and N-methyl-D-aspartate (NMDA)-type glutamate receptors (AMPARs
and NMDARs, respectively) in rat cochlear nuclei by a highly sensitive freeze-fracture
replica labeling technique. Four excitatory synapses formed by two distinct inputs,
auditory nerve (AN) and parallel fibers (PF), on different cell types were analyzed.
These excitatory synapse types included AN synapses on bushy cells (AN-BC synapses)
and fusiform cells (AN-FC synapses) and PF synapses on FC (PF-FC synapses) and
cartwheel cell spines (PF-CwC synapses). Immunogold labeling revealed differences
in synaptic structure as well as AMPAR and NMDAR number and/or density in both
AN and PF synapses, indicating a target-dependent organization. The immunogold
receptor labeling also identified differences in the synaptic organization of
FCs based on AN or PF connections, indicating an input-dependent organization
in FCs. Among the four excitatory synapse types, the AN-BC synapses were the smallest
and had the most densely packed intramembrane particles (IMPs), whereas the PF-CwC
synapses were the largest and had sparsely packed IMPs. All four synapse types
showed positive correlations between the IMP-cluster area and the AMPAR number,
indicating a common intrasynapse-type relationship for glutamatergic synapses.
Immunogold particles for AMPARs were distributed over the entire area of individual
AN synapses; PF synapses often showed synaptic areas devoid of labeling. The gold-labeling
for NMDARs occurred in a mosaic fashion, with less positive correlations between
the IMP-cluster area and the NMDAR number. Our observations reveal target- and
input-dependent features in the structure, number, and organization of AMPARs
and NMDARs in AN and PF synapses.
acknowledgement: "National Institutes of Health (NIH) Grant Number: 1R01DC013048‐0;
Biotechnology and Biological Sciences Research Council, UK Grant Number: BB/J015938/1\r\n"
author:
- first_name: Maía
full_name: Rubio, Maía
last_name: Rubio
- first_name: Yugo
full_name: Fukazawa, Yugo
last_name: Fukazawa
- first_name: Naomi
full_name: Kamasawa, Naomi
last_name: Kamasawa
- first_name: Cheryl
full_name: Clarkson, Cheryl
last_name: Clarkson
- first_name: Elek
full_name: Molnár, Elek
last_name: Molnár
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
citation:
ama: Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. Target-
and input-dependent organization of AMPA and NMDA receptors in synaptic connections
of the cochlear nucleus. Journal of Comparative Neurology. 2014;522(18):4023-4042.
doi:10.1002/cne.23654
apa: Rubio, M., Fukazawa, Y., Kamasawa, N., Clarkson, C., Molnár, E., & Shigemoto,
R. (2014). Target- and input-dependent organization of AMPA and NMDA receptors
in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology.
Wiley-Blackwell. https://doi.org/10.1002/cne.23654
chicago: Rubio, Maía, Yugo Fukazawa, Naomi Kamasawa, Cheryl Clarkson, Elek Molnár,
and Ryuichi Shigemoto. “Target- and Input-Dependent Organization of AMPA and NMDA
Receptors in Synaptic Connections of the Cochlear Nucleus.” Journal of Comparative
Neurology. Wiley-Blackwell, 2014. https://doi.org/10.1002/cne.23654.
ieee: M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, and R. Shigemoto,
“Target- and input-dependent organization of AMPA and NMDA receptors in synaptic
connections of the cochlear nucleus,” Journal of Comparative Neurology,
vol. 522, no. 18. Wiley-Blackwell, pp. 4023–4042, 2014.
ista: Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. 2014.
Target- and input-dependent organization of AMPA and NMDA receptors in synaptic
connections of the cochlear nucleus. Journal of Comparative Neurology. 522(18),
4023–4042.
mla: Rubio, Maía, et al. “Target- and Input-Dependent Organization of AMPA and NMDA
Receptors in Synaptic Connections of the Cochlear Nucleus.” Journal of Comparative
Neurology, vol. 522, no. 18, Wiley-Blackwell, 2014, pp. 4023–42, doi:10.1002/cne.23654.
short: M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto,
Journal of Comparative Neurology 522 (2014) 4023–4042.
date_created: 2018-12-11T11:55:30Z
date_published: 2014-07-29T00:00:00Z
date_updated: 2021-01-12T06:55:05Z
day: '29'
department:
- _id: RySh
doi: 10.1002/cne.23654
intvolume: ' 522'
issue: '18'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4198489/
month: '07'
oa: 1
oa_version: Submitted Version
page: 4023 - 4042
publication: Journal of Comparative Neurology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4974'
quality_controlled: '1'
scopus_import: 1
status: public
title: Target- and input-dependent organization of AMPA and NMDA receptors in synaptic
connections of the cochlear nucleus
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 522
year: '2014'
...
---
_id: '2080'
abstract:
- lang: eng
text: 'Spinning tops and yo-yos have long fascinated cultures around the world with
their unexpected, graceful motions that seemingly elude gravity. We present an
algorithm to generate designs for spinning objects by optimizing rotational dynamics
properties. As input, the user provides a solid 3D model and a desired axis of
rotation. Our approach then modifies the mass distribution such that the principal
directions of the moment of inertia align with the target rotation frame. We augment
the model by creating voids inside its volume, with interior fill represented
by an adaptive multi-resolution vox-elization. The discrete voxel fill values
are optimized using a continuous, nonlinear formulation. Further, we optimize
for rotational stability by maximizing the dominant principal moment. We extend
our technique to incorporate deformation and multiple materials for cases where
internal voids alone are insufficient. Our method is well-suited for a variety
of 3D printed models, ranging from characters to abstract shapes. We demonstrate
tops and yo-yos that spin surprisingly stably despite their asymmetric appearance. '
acknowledgement: This project was supported in part by the ERC Starting Grant iModel
(StG-2012-306877). Emily Whiting is supported by the ETH Zurich / Marie Curie COFUND
Postdoctoral Fellowship.
author:
- first_name: Moritz
full_name: Bac̈her, Moritz
last_name: Bac̈Her
- first_name: Emily
full_name: Whiting, Emily
last_name: Whiting
- first_name: Bernd
full_name: Bernd Bickel
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Olga
full_name: Sorkine-Hornung, Olga
last_name: Sorkine Hornung
citation:
ama: 'Bac̈Her M, Whiting E, Bickel B, Sorkine Hornung O. Spin-It: Optimizing moment
of inertia for spinnable objects. In: Vol 33. ACM; 2014. doi:10.1145/2601097.2601157'
apa: 'Bac̈Her, M., Whiting, E., Bickel, B., & Sorkine Hornung, O. (2014). Spin-It:
Optimizing moment of inertia for spinnable objects (Vol. 33). Presented at the
SIGGRAPH: 41st International Conference and Exhibition on Computer Graphics and
Interactive Techniques, ACM. https://doi.org/10.1145/2601097.2601157'
chicago: 'Bac̈Her, Moritz, Emily Whiting, Bernd Bickel, and Olga Sorkine Hornung.
“Spin-It: Optimizing Moment of Inertia for Spinnable Objects,” Vol. 33. ACM, 2014.
https://doi.org/10.1145/2601097.2601157.'
ieee: 'M. Bac̈Her, E. Whiting, B. Bickel, and O. Sorkine Hornung, “Spin-It: Optimizing
moment of inertia for spinnable objects,” presented at the SIGGRAPH: 41st International
Conference and Exhibition on Computer Graphics and Interactive Techniques, 2014,
vol. 33, no. 4.'
ista: 'Bac̈Her M, Whiting E, Bickel B, Sorkine Hornung O. 2014. Spin-It: Optimizing
moment of inertia for spinnable objects. SIGGRAPH: 41st International Conference
and Exhibition on Computer Graphics and Interactive Techniques vol. 33.'
mla: 'Bac̈Her, Moritz, et al. Spin-It: Optimizing Moment of Inertia for Spinnable
Objects. Vol. 33, no. 4, ACM, 2014, doi:10.1145/2601097.2601157.'
short: M. Bac̈Her, E. Whiting, B. Bickel, O. Sorkine Hornung, in:, ACM, 2014.
conference:
name: 'SIGGRAPH: 41st International Conference and Exhibition on Computer Graphics
and Interactive Techniques'
date_created: 2018-12-11T11:55:35Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2019-04-26T07:22:07Z
day: '01'
doi: 10.1145/2601097.2601157
extern: 1
intvolume: ' 33'
issue: '4'
month: '01'
publication_status: published
publisher: ACM
publist_id: '4958'
quality_controlled: 0
status: public
title: 'Spin-It: Optimizing moment of inertia for spinnable objects'
type: conference
volume: 33
year: '2014'
...
---
_id: '2081'
abstract:
- lang: eng
text: We propose an interactive, optimization-in-the-loop tool for designing inflatable
structures. Given a target shape, the user draws a network of seams defining desired
segment boundaries in 3D. Our method computes optimally-shaped flat panels for
the segments, such that the inflated structure is as close as possible to the
target while satisfying the desired seam positions. Our approach is underpinned
by physics-based pattern optimization, accurate coarse-scale simulation using
tension field theory, and a specialized constraint-optimization method. Our system
is fast enough to warrant interactive exploration of different seam layouts, including
internal connections, and their effects on the inflated shape. We demonstrate
the resulting design process on a varied set of simulation examples, some of which
we have fabricated, demonstrating excellent agreement with the design intent.
acknowledgement: This work was partly funded by the NCCR Co-Me of the Swiss NSF.
article_number: '63'
author:
- first_name: Mélina
full_name: Skouras, Mélina
last_name: Skouras
- first_name: Bernhard
full_name: Thomaszewski, Bernhard
last_name: Thomaszewski
- first_name: Peter
full_name: Kaufmann, Peter
last_name: Kaufmann
- first_name: Akash
full_name: Garg, Akash
last_name: Garg
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Eitan
full_name: Grinspun, Eitan
last_name: Grinspun
- first_name: Markus
full_name: Gross, Markus
last_name: Gross
citation:
ama: 'Skouras M, Thomaszewski B, Kaufmann P, et al. Designing inflatable structures.
In: Vol 33. ACM; 2014. doi:10.1145/2601097.2601166'
apa: 'Skouras, M., Thomaszewski, B., Kaufmann, P., Garg, A., Bickel, B., Grinspun,
E., & Gross, M. (2014). Designing inflatable structures (Vol. 33). Presented
at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques,
ACM. https://doi.org/10.1145/2601097.2601166'
chicago: Skouras, Mélina, Bernhard Thomaszewski, Peter Kaufmann, Akash Garg, Bernd
Bickel, Eitan Grinspun, and Markus Gross. “Designing Inflatable Structures,” Vol.
33. ACM, 2014. https://doi.org/10.1145/2601097.2601166.
ieee: 'M. Skouras et al., “Designing inflatable structures,” presented at
the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques,
2014, vol. 33, no. 4.'
ista: 'Skouras M, Thomaszewski B, Kaufmann P, Garg A, Bickel B, Grinspun E, Gross
M. 2014. Designing inflatable structures. SIGGRAPH: Special Interest Group on
Computer Graphics and Interactive Techniques vol. 33, 63.'
mla: Skouras, Mélina, et al. Designing Inflatable Structures. Vol. 33, no.
4, 63, ACM, 2014, doi:10.1145/2601097.2601166.
short: M. Skouras, B. Thomaszewski, P. Kaufmann, A. Garg, B. Bickel, E. Grinspun,
M. Gross, in:, ACM, 2014.
conference:
name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques'
date_created: 2018-12-11T11:55:36Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2021-01-12T06:55:11Z
day: '01'
doi: 10.1145/2601097.2601166
extern: '1'
intvolume: ' 33'
issue: '4'
language:
- iso: eng
month: '07'
oa_version: None
publication_status: published
publisher: ACM
publist_id: '4957'
status: public
title: Designing inflatable structures
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2014'
...
---
_id: '2082'
abstract:
- lang: eng
text: 'NMAC is a mode of operation which turns a fixed input-length keyed hash function
f into a variable input-length function. A practical single-key variant of NMAC
called HMAC is a very popular and widely deployed message authentication code
(MAC). Security proofs and attacks for NMAC can typically be lifted to HMAC. NMAC
was introduced by Bellare, Canetti and Krawczyk [Crypto''96], who proved it to
be a secure pseudorandom function (PRF), and thus also a MAC, assuming that (1)
f is a PRF and (2) the function we get when cascading f is weakly collision-resistant.
Unfortunately, HMAC is typically instantiated with cryptographic hash functions
like MD5 or SHA-1 for which (2) has been found to be wrong. To restore the provable
guarantees for NMAC, Bellare [Crypto''06] showed its security based solely on
the assumption that f is a PRF, albeit via a non-uniform reduction. - Our first
contribution is a simpler and uniform proof for this fact: If f is an ε-secure
PRF (against q queries) and a δ-non-adaptively secure PRF (against q queries),
then NMAC f is an (ε+ℓqδ)-secure PRF against q queries of length at most ℓ blocks
each. - We then show that this ε+ℓqδ bound is basically tight. For the most interesting
case where ℓqδ ≥ ε we prove this by constructing an f for which an attack with
advantage ℓqδ exists. This also violates the bound O(ℓε) on the PRF-security of
NMAC recently claimed by Koblitz and Menezes. - Finally, we analyze the PRF-security
of a modification of NMAC called NI [An and Bellare, Crypto''99] that differs
mainly by using a compression function with an additional keying input. This avoids
the constant rekeying on multi-block messages in NMAC and allows for a security
proof starting by the standard switch from a PRF to a random function, followed
by an information-theoretic analysis. We carry out such an analysis, obtaining
a tight ℓq2/2 c bound for this step, improving over the trivial bound of ℓ2q2/2c.
The proof borrows combinatorial techniques originally developed for proving the
security of CBC-MAC [Bellare et al., Crypto''05].'
alternative_title:
- LNCS
author:
- first_name: Peter
full_name: Gazi, Peter
id: 3E0BFE38-F248-11E8-B48F-1D18A9856A87
last_name: Gazi
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
- first_name: Michal
full_name: Rybar, Michal
id: 2B3E3DE8-F248-11E8-B48F-1D18A9856A87
last_name: Rybar
citation:
ama: 'Gazi P, Pietrzak KZ, Rybar M. The exact PRF-security of NMAC and HMAC. In:
Garay J, Gennaro R, eds. Vol 8616. Springer; 2014:113-130. doi:10.1007/978-3-662-44371-2_7'
apa: 'Gazi, P., Pietrzak, K. Z., & Rybar, M. (2014). The exact PRF-security
of NMAC and HMAC. In J. Garay & R. Gennaro (Eds.) (Vol. 8616, pp. 113–130).
Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA:
Springer. https://doi.org/10.1007/978-3-662-44371-2_7'
chicago: Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact PRF-Security
of NMAC and HMAC.” edited by Juan Garay and Rosario Gennaro, 8616:113–30. Springer,
2014. https://doi.org/10.1007/978-3-662-44371-2_7.
ieee: 'P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact PRF-security of NMAC and
HMAC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara,
USA, 2014, vol. 8616, no. 1, pp. 113–130.'
ista: 'Gazi P, Pietrzak KZ, Rybar M. 2014. The exact PRF-security of NMAC and HMAC.
CRYPTO: International Cryptology Conference, LNCS, vol. 8616, 113–130.'
mla: Gazi, Peter, et al. The Exact PRF-Security of NMAC and HMAC. Edited
by Juan Garay and Rosario Gennaro, vol. 8616, no. 1, Springer, 2014, pp. 113–30,
doi:10.1007/978-3-662-44371-2_7.
short: P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer,
2014, pp. 113–130.
conference:
end_date: 2014-08-21
location: Santa Barbara, USA
name: 'CRYPTO: International Cryptology Conference'
start_date: 2014-08-17
date_created: 2018-12-11T11:55:36Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2023-09-07T12:02:27Z
day: '01'
ddc:
- '000'
- '004'
department:
- _id: KrPi
doi: 10.1007/978-3-662-44371-2_7
ec_funded: 1
editor:
- first_name: Juan
full_name: Garay, Juan
last_name: Garay
- first_name: Rosario
full_name: Gennaro, Rosario
last_name: Gennaro
file:
- access_level: open_access
checksum: dab6ab36a5f6af94f2b597e6404ed11d
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:17Z
date_updated: 2020-07-14T12:45:28Z
file_id: '4999'
file_name: IST-2016-682-v1+1_578.pdf
file_size: 492310
relation: main_file
file_date_updated: 2020-07-14T12:45:28Z
has_accepted_license: '1'
intvolume: ' 8616'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 113 - 130
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
publication_status: published
publisher: Springer
publist_id: '4955'
pubrep_id: '682'
quality_controlled: '1'
related_material:
record:
- id: '838'
relation: dissertation_contains
status: public
status: public
title: The exact PRF-security of NMAC and HMAC
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8616
year: '2014'
...
---
_id: '2083'
abstract:
- lang: eng
text: Understanding the effects of sex and migration on adaptation to novel environments
remains a key problem in evolutionary biology. Using a single-cell alga Chlamydomonas
reinhardtii, we investigated how sex and migration affected rates of evolutionary
rescue in a sink environment, and subsequent changes in fitness following evolutionary
rescue. We show that sex and migration affect both the rate of evolutionary rescue
and subsequent adaptation. However, their combined effects change as the populations
adapt to a sink habitat. Both sex and migration independently increased rates
of evolutionary rescue, but the effect of sex on subsequent fitness improvements,
following initial rescue, changed with migration, as sex was beneficial in the
absence of migration but constraining adaptation when combined with migration.
These results suggest that sex and migration are beneficial during the initial
stages of adaptation, but can become detrimental as the population adapts to its
environment.
acknowledgement: The authors are grateful to the Leverhulme Trust (F/00 215/AW) for
funding this work.
article_processing_charge: No
article_type: original
author:
- first_name: Mato
full_name: Lagator, Mato
id: 345D25EC-F248-11E8-B48F-1D18A9856A87
last_name: Lagator
- first_name: Andrew
full_name: Morgan, Andrew
last_name: Morgan
- first_name: Paul
full_name: Neve, Paul
last_name: Neve
- first_name: Nick
full_name: Colegrave, Nick
last_name: Colegrave
citation:
ama: Lagator M, Morgan A, Neve P, Colegrave N. Role of sex and migration in adaptation
to sink environments. Evolution. 2014;68(8):2296-2305. doi:10.1111/evo.12440
apa: Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Role of sex
and migration in adaptation to sink environments. Evolution. Wiley. https://doi.org/10.1111/evo.12440
chicago: Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Role of Sex
and Migration in Adaptation to Sink Environments.” Evolution. Wiley, 2014.
https://doi.org/10.1111/evo.12440.
ieee: M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Role of sex and migration
in adaptation to sink environments,” Evolution, vol. 68, no. 8. Wiley,
pp. 2296–2305, 2014.
ista: Lagator M, Morgan A, Neve P, Colegrave N. 2014. Role of sex and migration
in adaptation to sink environments. Evolution. 68(8), 2296–2305.
mla: Lagator, Mato, et al. “Role of Sex and Migration in Adaptation to Sink Environments.”
Evolution, vol. 68, no. 8, Wiley, 2014, pp. 2296–305, doi:10.1111/evo.12440.
short: M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
date_created: 2018-12-11T11:55:36Z
date_published: 2014-04-25T00:00:00Z
date_updated: 2023-02-23T14:06:51Z
day: '25'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1111/evo.12440
file:
- access_level: open_access
checksum: 8d459b07e4a11bb5fde92d969184fe48
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T16:40:31Z
date_updated: 2020-07-14T12:45:28Z
file_id: '7845'
file_name: 2014_Evolution_Lagator.pdf
file_size: 467254
relation: main_file
file_date_updated: 2020-07-14T12:45:28Z
has_accepted_license: '1'
intvolume: ' 68'
issue: '8'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 2296 - 2305
publication: Evolution
publication_status: published
publisher: Wiley
publist_id: '4954'
quality_controlled: '1'
related_material:
record:
- id: '9747'
relation: research_data
status: public
scopus_import: 1
status: public
title: Role of sex and migration in adaptation to sink environments
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 68
year: '2014'
...
---
_id: '2084'
abstract:
- lang: eng
text: Receptor tyrosine kinases (RTKs) are a large family of cell surface receptors
that sense growth factors and hormones and regulate a variety of cell behaviours
in health and disease. Contactless activation of RTKs with spatial and temporal
precision is currently not feasible. Here, we generated RTKs that are insensitive
to endogenous ligands but can be selectively activated by low-intensity blue light.
We screened light-oxygen-voltage (LOV)-sensing domains for their ability to activate
RTKs by light-activated dimerization. Incorporation of LOV domains found in aureochrome
photoreceptors of stramenopiles resulted in robust activation of the fibroblast
growth factor receptor 1 (FGFR1), epidermal growth factor receptor (EGFR) and
rearranged during transfection (RET). In human cancer and endothelial cells, light
induced cellular signalling with spatial and temporal precision. Furthermore,
light faithfully mimicked complex mitogenic and morphogenic cell behaviour induced
by growth factors. RTKs under optical control (Opto-RTKs) provide a powerful optogenetic
approach to actuate cellular signals and manipulate cell behaviour.
acknowledgement: European Union Seventh Framework Programme; Human Frontier Science
Program; Oesterreichische Nationalbank Anniversary Fund 14211; Austrian Research
Promotion Agency; FemTech
author:
- first_name: Michael
full_name: Grusch, Michael
last_name: Grusch
- first_name: Karin
full_name: Schelch, Karin
last_name: Schelch
- first_name: Robert
full_name: Riedler, Robert
last_name: Riedler
- first_name: Eva
full_name: Gschaider-Reichhart, Eva
id: 3FEE232A-F248-11E8-B48F-1D18A9856A87
last_name: Gschaider-Reichhart
orcid: 0000-0002-7218-7738
- first_name: Christopher
full_name: Differ, Christopher
last_name: Differ
- first_name: Walter
full_name: Berger, Walter
last_name: Berger
- first_name: Álvaro
full_name: Inglés Prieto, Álvaro
id: 2A9DB292-F248-11E8-B48F-1D18A9856A87
last_name: Inglés Prieto
orcid: 0000-0002-5409-8571
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
citation:
ama: Grusch M, Schelch K, Riedler R, et al. Spatio-temporally precise activation
of engineered receptor tyrosine kinases by light. EMBO Journal. 2014;33(15):1713-1726.
doi:10.15252/embj.201387695
apa: Grusch, M., Schelch, K., Riedler, R., Gschaider-Reichhart, E., Differ, C.,
Berger, W., … Janovjak, H. L. (2014). Spatio-temporally precise activation of
engineered receptor tyrosine kinases by light. EMBO Journal. Wiley-Blackwell.
https://doi.org/10.15252/embj.201387695
chicago: Grusch, Michael, Karin Schelch, Robert Riedler, Eva Gschaider-Reichhart,
Christopher Differ, Walter Berger, Álvaro Inglés Prieto, and Harald L Janovjak.
“Spatio-Temporally Precise Activation of Engineered Receptor Tyrosine Kinases
by Light.” EMBO Journal. Wiley-Blackwell, 2014. https://doi.org/10.15252/embj.201387695.
ieee: M. Grusch et al., “Spatio-temporally precise activation of engineered
receptor tyrosine kinases by light,” EMBO Journal, vol. 33, no. 15. Wiley-Blackwell,
pp. 1713–1726, 2014.
ista: Grusch M, Schelch K, Riedler R, Gschaider-Reichhart E, Differ C, Berger W,
Inglés Prieto Á, Janovjak HL. 2014. Spatio-temporally precise activation of engineered
receptor tyrosine kinases by light. EMBO Journal. 33(15), 1713–1726.
mla: Grusch, Michael, et al. “Spatio-Temporally Precise Activation of Engineered
Receptor Tyrosine Kinases by Light.” EMBO Journal, vol. 33, no. 15, Wiley-Blackwell,
2014, pp. 1713–26, doi:10.15252/embj.201387695.
short: M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W.
Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
date_created: 2018-12-11T11:55:37Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2023-09-07T12:49:09Z
day: '01'
department:
- _id: HaJa
doi: 10.15252/embj.201387695
intvolume: ' 33'
issue: '15'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4194103/
month: '07'
oa: 1
oa_version: Submitted Version
page: 1713 - 1726
publication: EMBO Journal
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4953'
quality_controlled: '1'
related_material:
record:
- id: '418'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Spatio-temporally precise activation of engineered receptor tyrosine kinases
by light
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2014'
...
---
_id: '2086'
abstract:
- lang: eng
text: Pathogens may gain a fitness advantage through manipulation of the behaviour
of their hosts. Likewise, host behavioural changes can be a defence mechanism,
counteracting the impact of pathogens on host fitness. We apply harmonic radar
technology to characterize the impact of an emerging pathogen - Nosema ceranae
(Microsporidia) - on honeybee (Apis mellifera) flight and orientation performance
in the field. Honeybees are the most important commercial pollinators. Emerging
diseases have been proposed to play a prominent role in colony decline, partly
through sub-lethal behavioural manipulation of their hosts. We found that homing
success was significantly reduced in diseased (65.8%) versus healthy foragers
(92.5%). Although lost bees had significantly reduced continuous flight times
and prolonged resting times, other flight characteristics and navigational abilities
showed no significant difference between infected and non-infected bees. Our results
suggest that infected bees express normal flight characteristics but are constrained
in their homing ability, potentially compromising the colony by reducing its resource
inputs, but also counteracting the intra-colony spread of infection. We provide
the first high-resolution analysis of sub-lethal effects of an emerging disease
on insect flight behaviour. The potential causes and the implications for both
host and parasite are discussed.
acknowledgement: This study was funded jointly by a grant from BBSRC, Defra, NERC,
the Scottish Government and the Wellcome Trust, under the Insect Pollinators Initiative
(grant numbers BB/I00097/1 and BB/I000100/1). Rothamsted Research is a national
institute of bioscience strategically funded by the UK Biotechnology and Biological
Sciences Research Council (BBSRC).
article_number: e103989
author:
- first_name: Stephan
full_name: Wolf, Stephan
last_name: Wolf
- first_name: Dino
full_name: Mcmahon, Dino
last_name: Mcmahon
- first_name: Ka
full_name: Lim, Ka
last_name: Lim
- first_name: Christopher
full_name: Pull, Christopher
id: 3C7F4840-F248-11E8-B48F-1D18A9856A87
last_name: Pull
orcid: 0000-0003-1122-3982
- first_name: Suzanne
full_name: Clark, Suzanne
last_name: Clark
- first_name: Robert
full_name: Paxton, Robert
last_name: Paxton
- first_name: Juliet
full_name: Osborne, Juliet
last_name: Osborne
citation:
ama: 'Wolf S, Mcmahon D, Lim K, et al. So near and yet so far: Harmonic radar reveals
reduced homing ability of Nosema infected honeybees. PLoS One. 2014;9(8).
doi:10.1371/journal.pone.0103989'
apa: 'Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne,
J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability
of Nosema infected honeybees. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989'
chicago: 'Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark,
Robert Paxton, and Juliet Osborne. “So near and yet so Far: Harmonic Radar Reveals
Reduced Homing Ability of Nosema Infected Honeybees.” PLoS One. Public
Library of Science, 2014. https://doi.org/10.1371/journal.pone.0103989.'
ieee: 'S. Wolf et al., “So near and yet so far: Harmonic radar reveals reduced
homing ability of Nosema infected honeybees,” PLoS One, vol. 9, no. 8.
Public Library of Science, 2014.'
ista: 'Wolf S, Mcmahon D, Lim K, Pull C, Clark S, Paxton R, Osborne J. 2014. So
near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected
honeybees. PLoS One. 9(8), e103989.'
mla: 'Wolf, Stephan, et al. “So near and yet so Far: Harmonic Radar Reveals Reduced
Homing Ability of Nosema Infected Honeybees.” PLoS One, vol. 9, no. 8,
e103989, Public Library of Science, 2014, doi:10.1371/journal.pone.0103989.'
short: S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS
One 9 (2014).
date_created: 2018-12-11T11:55:37Z
date_published: 2014-08-06T00:00:00Z
date_updated: 2023-02-23T14:11:56Z
day: '06'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.1371/journal.pone.0103989
file:
- access_level: open_access
checksum: 2fc62c6739eada4bddf026afbae669db
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:55Z
date_updated: 2020-07-14T12:45:28Z
file_id: '5042'
file_name: IST-2016-437-v1+1_journal.pone.0103989.pdf
file_size: 1013386
relation: main_file
file_date_updated: 2020-07-14T12:45:28Z
has_accepted_license: '1'
intvolume: ' 9'
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '4949'
pubrep_id: '437'
quality_controlled: '1'
related_material:
record:
- id: '9888'
relation: research_data
status: public
scopus_import: 1
status: public
title: 'So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema
infected honeybees'
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: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2014'
...
---
_id: '2115'
abstract:
- lang: eng
text: The facial performance of an individual is inherently rich in subtle deformation
and timing details. Although these subtleties make the performance realistic and
compelling, they often elude both motion capture and hand animation. We present
a technique for adding fine-scale details and expressiveness to low-resolution
art-directed facial performances, such as those created manually using a rig,
via marker-based capture, by fitting a morphable model to a video, or through
Kinect reconstruction using recent faceshift technology. We employ a high-resolution
facial performance capture system to acquire a representative performance of an
individual in which he or she explores the full range of facial expressiveness.
From the captured data, our system extracts an expressiveness model that encodes
subtle spatial and temporal deformation details specific to that particular individual.
Once this model has been built, these details can be transferred to low-resolution
art-directed performances. We demonstrate results on various forms of input; after
our enhancement, the resulting animations exhibit the same nuances and fine spatial
details as the captured performance, with optional temporal enhancement to match
the dynamics of the actor. Finally, we show that our technique outperforms the
current state-of-the-art in example-based facial animation.
author:
- first_name: Amit
full_name: Bermano, Amit H
last_name: Bermano
- first_name: Derek
full_name: Bradley, Derek J
last_name: Bradley
- first_name: Thabo
full_name: Beeler, Thabo
last_name: Beeler
- first_name: Fabio
full_name: Zund, Fabio
last_name: Zund
- first_name: Derek
full_name: Nowrouzezahrai, Derek
last_name: Nowrouzezahrai
- first_name: Ilya
full_name: Baran, Ilya
last_name: Baran
- first_name: Olga
full_name: Sorkine-Hornung, Olga
last_name: Sorkine Hornung
- first_name: Hanspeter
full_name: Pfister, Hanspeter
last_name: Pfister
- first_name: Robert
full_name: Sumner, Robert W
last_name: Sumner
- first_name: Bernd
full_name: Bernd Bickel
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Markus
full_name: Groß, Markus S
last_name: Groß
citation:
ama: Bermano A, Bradley D, Beeler T, et al. Facial performance enhancement using
dynamic shape space analysis. ACM Transactions on Graphics. 2014;33(2).
doi:10.1145/2546276
apa: Bermano, A., Bradley, D., Beeler, T., Zund, F., Nowrouzezahrai, D., Baran,
I., … Groß, M. (2014). Facial performance enhancement using dynamic shape space
analysis. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2546276
chicago: Bermano, Amit, Derek Bradley, Thabo Beeler, Fabio Zund, Derek Nowrouzezahrai,
Ilya Baran, Olga Sorkine Hornung, et al. “Facial Performance Enhancement Using
Dynamic Shape Space Analysis.” ACM Transactions on Graphics. ACM, 2014.
https://doi.org/10.1145/2546276.
ieee: A. Bermano et al., “Facial performance enhancement using dynamic shape
space analysis,” ACM Transactions on Graphics, vol. 33, no. 2. ACM, 2014.
ista: Bermano A, Bradley D, Beeler T, Zund F, Nowrouzezahrai D, Baran I, Sorkine
Hornung O, Pfister H, Sumner R, Bickel B, Groß M. 2014. Facial performance enhancement
using dynamic shape space analysis. ACM Transactions on Graphics. 33(2).
mla: Bermano, Amit, et al. “Facial Performance Enhancement Using Dynamic Shape Space
Analysis.” ACM Transactions on Graphics, vol. 33, no. 2, ACM, 2014, doi:10.1145/2546276.
short: A. Bermano, D. Bradley, T. Beeler, F. Zund, D. Nowrouzezahrai, I. Baran,
O. Sorkine Hornung, H. Pfister, R. Sumner, B. Bickel, M. Groß, ACM Transactions
on Graphics 33 (2014).
date_created: 2018-12-11T11:55:48Z
date_published: 2014-03-01T00:00:00Z
date_updated: 2021-01-12T06:55:24Z
day: '01'
doi: 10.1145/2546276
extern: 1
intvolume: ' 33'
issue: '2'
month: '03'
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4919'
quality_controlled: 0
status: public
title: Facial performance enhancement using dynamic shape space analysis
type: journal_article
volume: 33
year: '2014'
...
---
_id: '2131'
abstract:
- lang: eng
text: We study approximations to a class of vector-valued equations of Burgers type
driven by a multiplicative space-time white noise. A solution theory for this
class of equations has been developed recently in Probability Theory Related Fields
by Hairer and Weber. The key idea was to use the theory of controlled rough paths
to give definitions of weak/mild solutions and to set up a Picard iteration argument.
In this article the limiting behavior of a rather large class of (spatial) approximations
to these equations is studied. These approximations are shown to converge and
convergence rates are given, but the limit may depend on the particular choice
of approximation. This effect is a spatial analogue to the Itô-Stratonovich correction
in the theory of stochastic ordinary differential equations, where it is well
known that different approximation schemes may converge to different solutions.
acknowledgement: JM is supported by Rubicon grant 680-50-0901 of the Netherlands Organisation
for Scientific Research (NWO). MH is supported by EPSRC grant EP/D071593/1 and by
the Royal Society through a Wolfson Research Merit Award. Both MH and HW are supported
by the Le
author:
- first_name: Martin
full_name: Hairer, Martin M
last_name: Hairer
- first_name: Jan
full_name: Jan Maas
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
- first_name: Hendrik
full_name: Weber, Hendrik
last_name: Weber
citation:
ama: Hairer M, Maas J, Weber H. Approximating Rough Stochastic PDEs. Communications
on Pure and Applied Mathematics. 2014;67(5):776-870. doi:10.1002/cpa.21495
apa: Hairer, M., Maas, J., & Weber, H. (2014). Approximating Rough Stochastic
PDEs. Communications on Pure and Applied Mathematics. Wiley-Blackwell.
https://doi.org/10.1002/cpa.21495
chicago: Hairer, Martin, Jan Maas, and Hendrik Weber. “Approximating Rough Stochastic
PDEs.” Communications on Pure and Applied Mathematics. Wiley-Blackwell,
2014. https://doi.org/10.1002/cpa.21495.
ieee: M. Hairer, J. Maas, and H. Weber, “Approximating Rough Stochastic PDEs,” Communications
on Pure and Applied Mathematics, vol. 67, no. 5. Wiley-Blackwell, pp. 776–870,
2014.
ista: Hairer M, Maas J, Weber H. 2014. Approximating Rough Stochastic PDEs. Communications
on Pure and Applied Mathematics. 67(5), 776–870.
mla: Hairer, Martin, et al. “Approximating Rough Stochastic PDEs.” Communications
on Pure and Applied Mathematics, vol. 67, no. 5, Wiley-Blackwell, 2014, pp.
776–870, doi:10.1002/cpa.21495.
short: M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics
67 (2014) 776–870.
date_created: 2018-12-11T11:55:53Z
date_published: 2014-05-01T00:00:00Z
date_updated: 2021-01-12T06:55:30Z
day: '01'
doi: 10.1002/cpa.21495
extern: 1
intvolume: ' 67'
issue: '5'
main_file_link:
- open_access: '1'
url: 'http://arxiv.org/abs/1202.3094 '
month: '05'
oa: 1
page: 776 - 870
publication: Communications on Pure and Applied Mathematics
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4902'
quality_controlled: 0
status: public
title: Approximating Rough Stochastic PDEs
type: journal_article
volume: 67
year: '2014'
...
---
_id: '2132'
abstract:
- lang: eng
text: We consider discrete porous medium equations of the form ∂tρt=Δϕ(ρt), where
Δ is the generator of a reversible continuous time Markov chain on a finite set
χ, and ϕ is an increasing function. We show that these equations arise as gradient
flows of certain entropy functionals with respect to suitable non-local transportation
metrics. This may be seen as a discrete analogue of the Wasserstein gradient flow
structure for porous medium equations in ℝn discovered by Otto. We present a one-dimensional
counterexample to geodesic convexity and discuss Gromov-Hausdorff convergence
to the Wasserstein metric.
author:
- first_name: Matthias
full_name: Erbar, Matthias
last_name: Erbar
- first_name: Jan
full_name: Jan Maas
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
citation:
ama: Erbar M, Maas J. Gradient flow structures for discrete porous medium equations.
Discrete and Continuous Dynamical Systems- Series A. 2014;34(4):1355-1374.
doi:10.3934/dcds.2014.34.1355
apa: Erbar, M., & Maas, J. (2014). Gradient flow structures for discrete porous
medium equations. Discrete and Continuous Dynamical Systems- Series A.
Southwest Missouri State University. https://doi.org/10.3934/dcds.2014.34.1355
chicago: Erbar, Matthias, and Jan Maas. “Gradient Flow Structures for Discrete Porous
Medium Equations.” Discrete and Continuous Dynamical Systems- Series A.
Southwest Missouri State University, 2014. https://doi.org/10.3934/dcds.2014.34.1355 .
ieee: M. Erbar and J. Maas, “Gradient flow structures for discrete porous medium
equations,” Discrete and Continuous Dynamical Systems- Series A, vol. 34,
no. 4. Southwest Missouri State University, pp. 1355–1374, 2014.
ista: Erbar M, Maas J. 2014. Gradient flow structures for discrete porous medium
equations. Discrete and Continuous Dynamical Systems- Series A. 34(4), 1355–1374.
mla: Erbar, Matthias, and Jan Maas. “Gradient Flow Structures for Discrete Porous
Medium Equations.” Discrete and Continuous Dynamical Systems- Series A,
vol. 34, no. 4, Southwest Missouri State University, 2014, pp. 1355–74, doi:10.3934/dcds.2014.34.1355
.
short: M. Erbar, J. Maas, Discrete and Continuous Dynamical Systems- Series A 34
(2014) 1355–1374.
date_created: 2018-12-11T11:55:54Z
date_published: 2014-04-01T00:00:00Z
date_updated: 2021-01-12T06:55:30Z
day: '01'
doi: '10.3934/dcds.2014.34.1355 '
extern: 1
intvolume: ' 34'
issue: '4'
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1212.1129
month: '04'
oa: 1
page: 1355 - 1374
publication: Discrete and Continuous Dynamical Systems- Series A
publication_status: published
publisher: Southwest Missouri State University
publist_id: '4903'
quality_controlled: 0
status: public
title: Gradient flow structures for discrete porous medium equations
type: journal_article
volume: 34
year: '2014'
...
---
_id: '2133'
abstract:
- lang: eng
text: "Let ℭ denote the Clifford algebra over ℝ\U0001D45B, which is the von Neumann
algebra generated by n self-adjoint operators Q j , j = 1,…,n satisfying the canonical
anticommutation relations, Q i Q j + Q j Q i = 2δ ij I, and let τ denote the
normalized trace on ℭ. This algebra arises in quantum mechanics as the algebra
of observables generated by n fermionic degrees of freedom. Let \U0001D513 denote
the set of all positive operators \U0001D70C∈ℭ such that τ(ρ) = 1; these are the
non-commutative analogs of probability densities in the non-commutative probability
space (ℭ,\U0001D70F). The fermionic Fokker–Planck equation is a quantum-mechanical
analog of the classical Fokker–Planck equation with which it has much in common,
such as the same optimal hypercontractivity properties. In this paper we construct
a Riemannian metric on \U0001D513 that we show to be a natural analog of the classical
2-Wasserstein metric, and we show that, in analogy with the classical case, the
fermionic Fokker–Planck equation is gradient flow in this metric for the relative
entropy with respect to the ground state. We derive a number of consequences of
this, such as a sharp Talagrand inequality for this metric, and we prove a number
of results pertaining to this metric. Several open problems are raised."
author:
- first_name: Eric
full_name: Carlen, Eric
last_name: Carlen
- first_name: Jan
full_name: Maas, Jan
id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
last_name: Maas
orcid: 0000-0002-0845-1338
citation:
ama: Carlen E, Maas J. An analog of the 2-Wasserstein metric in non-commutative
probability under which the fermionic Fokker-Planck equation is gradient flow
for the entropy. Communications in Mathematical Physics. 2014;331(3):887-926.
doi:10.1007/s00220-014-2124-8
apa: Carlen, E., & Maas, J. (2014). An analog of the 2-Wasserstein metric in
non-commutative probability under which the fermionic Fokker-Planck equation is
gradient flow for the entropy. Communications in Mathematical Physics.
Springer. https://doi.org/10.1007/s00220-014-2124-8
chicago: Carlen, Eric, and Jan Maas. “An Analog of the 2-Wasserstein Metric in Non-Commutative
Probability under Which the Fermionic Fokker-Planck Equation Is Gradient Flow
for the Entropy.” Communications in Mathematical Physics. Springer, 2014.
https://doi.org/10.1007/s00220-014-2124-8.
ieee: E. Carlen and J. Maas, “An analog of the 2-Wasserstein metric in non-commutative
probability under which the fermionic Fokker-Planck equation is gradient flow
for the entropy,” Communications in Mathematical Physics, vol. 331, no.
3. Springer, pp. 887–926, 2014.
ista: Carlen E, Maas J. 2014. An analog of the 2-Wasserstein metric in non-commutative
probability under which the fermionic Fokker-Planck equation is gradient flow
for the entropy. Communications in Mathematical Physics. 331(3), 887–926.
mla: Carlen, Eric, and Jan Maas. “An Analog of the 2-Wasserstein Metric in Non-Commutative
Probability under Which the Fermionic Fokker-Planck Equation Is Gradient Flow
for the Entropy.” Communications in Mathematical Physics, vol. 331, no.
3, Springer, 2014, pp. 887–926, doi:10.1007/s00220-014-2124-8.
short: E. Carlen, J. Maas, Communications in Mathematical Physics 331 (2014) 887–926.
date_created: 2018-12-11T11:55:54Z
date_published: 2014-11-01T00:00:00Z
date_updated: 2021-01-12T06:55:30Z
day: '01'
doi: 10.1007/s00220-014-2124-8
extern: '1'
intvolume: ' 331'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: 'http://arxiv.org/abs/1203.5377 '
month: '11'
oa: 1
oa_version: Submitted Version
page: 887 - 926
publication: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4901'
quality_controlled: '1'
status: public
title: An analog of the 2-Wasserstein metric in non-commutative probability under
which the fermionic Fokker-Planck equation is gradient flow for the entropy
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 331
year: '2014'
...
---
_id: '2140'
abstract:
- lang: eng
text: We propose a technique for engineering momentum-dependent dissipation in Bose-Einstein
condensates with non-local interactions. The scheme relies on the use of momentum-dependent
dark-states in close analogy to velocity-selective coherent population trapping.
During the short-time dissipative dynamics, the system is driven into a particular
finite-momentum phonon mode, which in real space corresponds to an ordered structure
with non-local density-density correlations. Dissipation-induced ordering can
be observed and studied in present-day experiments using cold atoms with dipole-dipole
or off-resonant Rydberg interactions. Due to its dissipative nature, the ordering
does not require artificial breaking of translational symmetry by an opticallattice
or harmonic trap. This opens up a perspective of direct cooling of quantum gases
into strongly-interacting phases.
acknowledgement: This work was supported by NSF through a grant for the Institute
for Theoretical Atomic, Molecular, and Optical Physics at Harvard University and
Smithsonian Astrophysical Observatory as well as the Harvard Quantum Optics Center.
article_number: '070401'
author:
- first_name: Johannes
full_name: Otterbach, Johannes
last_name: Otterbach
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
citation:
ama: Otterbach J, Lemeshko M. Dissipative preparation of spatial order in Rydberg-dressed
Bose-Einstein condensates. Physical Review Letters. 2014;113(7). doi:10.1103/PhysRevLett.113.070401
apa: Otterbach, J., & Lemeshko, M. (2014). Dissipative preparation of spatial
order in Rydberg-dressed Bose-Einstein condensates. Physical Review Letters.
American Physical Society. https://doi.org/10.1103/PhysRevLett.113.070401
chicago: Otterbach, Johannes, and Mikhail Lemeshko. “Dissipative Preparation of
Spatial Order in Rydberg-Dressed Bose-Einstein Condensates.” Physical Review
Letters. American Physical Society, 2014. https://doi.org/10.1103/PhysRevLett.113.070401.
ieee: J. Otterbach and M. Lemeshko, “Dissipative preparation of spatial order in
Rydberg-dressed Bose-Einstein condensates,” Physical Review Letters, vol.
113, no. 7. American Physical Society, 2014.
ista: Otterbach J, Lemeshko M. 2014. Dissipative preparation of spatial order in
Rydberg-dressed Bose-Einstein condensates. Physical Review Letters. 113(7), 070401.
mla: Otterbach, Johannes, and Mikhail Lemeshko. “Dissipative Preparation of Spatial
Order in Rydberg-Dressed Bose-Einstein Condensates.” Physical Review Letters,
vol. 113, no. 7, 070401, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.070401.
short: J. Otterbach, M. Lemeshko, Physical Review Letters 113 (2014).
date_created: 2018-12-11T11:55:56Z
date_published: 2014-08-11T00:00:00Z
date_updated: 2021-01-12T06:55:33Z
day: '11'
doi: 10.1103/PhysRevLett.113.070401
extern: '1'
intvolume: ' 113'
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1308.5905
month: '08'
oa: 1
oa_version: Submitted Version
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '4884'
status: public
title: Dissipative preparation of spatial order in Rydberg-dressed Bose-Einstein condensates
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 113
year: '2014'
...
---
_id: '2141'
abstract:
- lang: eng
text: The computation of the winning set for Büchi objectives in alternating games
on graphs is a central problem in computer-aided verification with a large number
of applications. The long-standing best known upper bound for solving the problem
is Õ(n ⋅ m), where n is the number of vertices and m is the number of edges in
the graph. We are the first to break the Õ(n ⋅ m) boundary by presenting a new
technique that reduces the running time to O(n2). This bound also leads to O(n2)-time
algorithms for computing the set of almost-sure winning vertices for Büchi objectives
(1) in alternating games with probabilistic transitions (improving an earlier
bound of Õ(n ⋅ m)), (2) in concurrent graph games with constant actions (improving
an earlier bound of O(n3)), and (3) in Markov decision processes (improving for
m>n4/3 an earlier bound of O(m ⋅ √m)). We then show how to maintain the winning
set for Büchi objectives in alternating games under a sequence of edge insertions
or a sequence of edge deletions in O(n) amortized time per operation. Our algorithms
are the first dynamic algorithms for this problem. We then consider another core
graph theoretic problem in verification of probabilistic systems, namely computing
the maximal end-component decomposition of a graph. We present two improved static
algorithms for the maximal end-component decomposition problem. Our first algorithm
is an O(m ⋅ √m)-time algorithm, and our second algorithm is an O(n2)-time algorithm
which is obtained using the same technique as for alternating Büchi games. Thus,
we obtain an O(min &lcu;m ⋅ √m,n2})-time algorithm improving the long-standing
O(n ⋅ m) time bound. Finally, we show how to maintain the maximal end-component
decomposition of a graph under a sequence of edge insertions or a sequence of
edge deletions in O(n) amortized time per edge deletion, and O(m) worst-case time
per edge insertion. Again, our algorithms are the first dynamic algorithms for
this problem.
article_number: a15
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: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
citation:
ama: Chatterjee K, Henzinger MH. Efficient and dynamic algorithms for alternating
Büchi games and maximal end-component decomposition. Journal of the ACM.
2014;61(3). doi:10.1145/2597631
apa: Chatterjee, K., & Henzinger, M. H. (2014). Efficient and dynamic algorithms
for alternating Büchi games and maximal end-component decomposition. Journal
of the ACM. ACM. https://doi.org/10.1145/2597631
chicago: Chatterjee, Krishnendu, and Monika H Henzinger. “Efficient and Dynamic
Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.”
Journal of the ACM. ACM, 2014. https://doi.org/10.1145/2597631.
ieee: K. Chatterjee and M. H. Henzinger, “Efficient and dynamic algorithms for alternating
Büchi games and maximal end-component decomposition,” Journal of the ACM,
vol. 61, no. 3. ACM, 2014.
ista: Chatterjee K, Henzinger MH. 2014. Efficient and dynamic algorithms for alternating
Büchi games and maximal end-component decomposition. Journal of the ACM. 61(3),
a15.
mla: Chatterjee, Krishnendu, and Monika H. Henzinger. “Efficient and Dynamic Algorithms
for Alternating Büchi Games and Maximal End-Component Decomposition.” Journal
of the ACM, vol. 61, no. 3, a15, ACM, 2014, doi:10.1145/2597631.
short: K. Chatterjee, M.H. Henzinger, Journal of the ACM 61 (2014).
date_created: 2018-12-11T11:55:57Z
date_published: 2014-05-01T00:00:00Z
date_updated: 2025-06-02T08:53:48Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/2597631
ec_funded: 1
intvolume: ' 61'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprints.cs.univie.ac.at/3933/
month: '05'
oa: 1
oa_version: Submitted Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided 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: Journal of the ACM
publication_status: published
publisher: ACM
publist_id: '4883'
quality_controlled: '1'
related_material:
record:
- id: '3165'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Efficient and dynamic algorithms for alternating Büchi games and maximal end-component
decomposition
type: journal_article
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
volume: 61
year: '2014'
...