---
_id: '3257'
abstract:
- lang: eng
text: Consider a convex relaxation f̂ of a pseudo-Boolean function f. We say that
the relaxation is totally half-integral if f̂(x) is a polyhedral function with
half-integral extreme points x, and this property is preserved after adding an
arbitrary combination of constraints of the form x i=x j, x i=1-x j, and x i=γ
where γ∈{0,1,1/2} is a constant. A well-known example is the roof duality relaxation
for quadratic pseudo-Boolean functions f. We argue that total half-integrality
is a natural requirement for generalizations of roof duality to arbitrary pseudo-Boolean
functions. Our contributions are as follows. First, we provide a complete characterization
of totally half-integral relaxations f̂ by establishing a one-to-one correspondence
with bisubmodular functions. Second, we give a new characterization of bisubmodular
functions. Finally, we show some relationships between general totally half-integral
relaxations and relaxations based on the roof duality. On the conceptual level,
our results show that bisubmodular functions provide a natural generalization
of the roof duality approach to higher-order terms. This can be viewed as a non-submodular
analogue of the fact that submodular functions generalize the s-t minimum cut
problem with non-negative weights to higher-order terms.
arxiv: 1
author:
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
citation:
ama: Kolmogorov V. Generalized roof duality and bisubmodular functions. Discrete
Applied Mathematics. 2012;160(4-5):416-426. doi:10.1016/j.dam.2011.10.026
apa: Kolmogorov, V. (2012). Generalized roof duality and bisubmodular functions.
Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/j.dam.2011.10.026
chicago: Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.”
Discrete Applied Mathematics. Elsevier, 2012. https://doi.org/10.1016/j.dam.2011.10.026.
ieee: V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” Discrete
Applied Mathematics, vol. 160, no. 4–5. Elsevier, pp. 416–426, 2012.
ista: Kolmogorov V. 2012. Generalized roof duality and bisubmodular functions. Discrete
Applied Mathematics. 160(4–5), 416–426.
mla: Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.”
Discrete Applied Mathematics, vol. 160, no. 4–5, Elsevier, 2012, pp. 416–26,
doi:10.1016/j.dam.2011.10.026.
short: V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.
date_created: 2018-12-11T12:02:18Z
date_published: 2012-03-01T00:00:00Z
date_updated: 2023-02-23T11:04:49Z
day: '01'
department:
- _id: VlKo
doi: 10.1016/j.dam.2011.10.026
external_id:
arxiv:
- '1005.2305'
intvolume: ' 160'
issue: 4-5
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1005.2305
month: '03'
oa: 1
oa_version: Preprint
page: 416 - 426
publication: Discrete Applied Mathematics
publication_status: published
publisher: Elsevier
publist_id: '3397'
quality_controlled: '1'
related_material:
record:
- id: '2934'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Generalized roof duality and bisubmodular functions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 160
year: '2012'
...
---
_id: '3258'
abstract:
- lang: eng
text: CA3 pyramidal neurons are important for memory formation and pattern completion
in the hippocampal network. It is generally thought that proximal synapses from
the mossy fibers activate these neurons most efficiently, whereas distal inputs
from the perforant path have a weaker modulatory influence. We used confocally
targeted patch-clamp recording from dendrites and axons to map the activation
of rat CA3 pyramidal neurons at the subcellular level. Our results reveal two
distinct dendritic domains. In the proximal domain, action potentials initiated
in the axon backpropagate actively with large amplitude and fast time course.
In the distal domain, Na+ channel–mediated dendritic spikes are efficiently initiated
by waveforms mimicking synaptic events. CA3 pyramidal neuron dendrites showed
a high Na+-to-K+ conductance density ratio, providing ideal conditions for active
backpropagation and dendritic spike initiation. Dendritic spikes may enhance the
computational power of CA3 pyramidal neurons in the hippocampal network.
acknowledgement: This work was supported by the Deutsche Forschungsgemeinschaft (TR
3/B10) and the European Union (European Research Council Advanced grant to P.J.).
article_processing_charge: No
article_type: original
author:
- first_name: Sooyun
full_name: Kim, Sooyun
id: 394AB1C8-F248-11E8-B48F-1D18A9856A87
last_name: Kim
- first_name: José
full_name: Guzmán, José
id: 30CC5506-F248-11E8-B48F-1D18A9856A87
last_name: Guzmán
orcid: 0000-0003-2209-5242
- first_name: Hua
full_name: Hu, Hua
id: 4AC0145C-F248-11E8-B48F-1D18A9856A87
last_name: Hu
- 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: Kim S, Guzmán J, Hu H, Jonas PM. Active dendrites support efficient initiation
of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience.
2012;15(4):600-606. doi:10.1038/nn.3060
apa: Kim, S., Guzmán, J., Hu, H., & Jonas, P. M. (2012). Active dendrites support
efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons.
Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3060
chicago: Kim, Sooyun, José Guzmán, Hua Hu, and Peter M Jonas. “Active Dendrites
Support Efficient Initiation of Dendritic Spikes in Hippocampal CA3 Pyramidal
Neurons.” Nature Neuroscience. Nature Publishing Group, 2012. https://doi.org/10.1038/nn.3060.
ieee: S. Kim, J. Guzmán, H. Hu, and P. M. Jonas, “Active dendrites support efficient
initiation of dendritic spikes in hippocampal CA3 pyramidal neurons,” Nature
Neuroscience, vol. 15, no. 4. Nature Publishing Group, pp. 600–606, 2012.
ista: Kim S, Guzmán J, Hu H, Jonas PM. 2012. Active dendrites support efficient
initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience.
15(4), 600–606.
mla: Kim, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic
Spikes in Hippocampal CA3 Pyramidal Neurons.” Nature Neuroscience, vol.
15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi:10.1038/nn.3060.
short: S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
date_created: 2018-12-11T12:02:18Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2023-09-07T11:43:52Z
day: '01'
department:
- _id: PeJo
doi: 10.1038/nn.3060
external_id:
pmid:
- '22388958'
intvolume: ' 15'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3617474/
month: '04'
oa: 1
oa_version: Published Version
page: 600 - 606
pmid: 1
project:
- _id: 25BDE9A4-B435-11E9-9278-68D0E5697425
grant_number: SFB-TR3-TP10B
name: Glutamaterge synaptische Übertragung und Plastizität in hippocampalen Mikroschaltkreisen
publication: Nature Neuroscience
publication_identifier:
issn:
- 1546-1726
publication_status: published
publisher: Nature Publishing Group
publist_id: '3390'
quality_controlled: '1'
related_material:
record:
- id: '2964'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Active dendrites support efficient initiation of dendritic spikes in hippocampal
CA3 pyramidal neurons
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 15
year: '2012'
...
---
_id: '3260'
abstract:
- lang: eng
text: "Many scenarios in the living world, where individual organisms compete for
winning positions (or resources), have properties of auctions. Here we study the
evolution of bids in biological auctions. For each auction, n individuals are
drawn at random from a population of size N. Each individual makes a bid which
entails a cost. The winner obtains a benefit of a certain value. Costs and benefits
are translated into reproductive success (fitness). Therefore, successful bidding
strategies spread in the population. We compare two types of auctions. In “biological
all-pay auctions”, the costs are the bid for every participating individual. In
“biological second price all-pay auctions”, the cost for everyone other than the
winner is the bid, but the cost for the winner is the second highest bid. Second
price all-pay auctions are generalizations of the “war of attrition” introduced
by Maynard Smith. We study evolutionary dynamics in both types of auctions. We
calculate pairwise invasion plots and evolutionarily stable distributions over
the continuous strategy space. We find that the average bid in second price all-pay
auctions is higher than in all-pay auctions, but the average cost for the winner
is similar in both auctions. In both cases, the average bid is a declining function
of the number of participants, n. The more individuals participate in an auction
the smaller is the chance of winning, and thus expensive bids must be avoided.\r\n"
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Johannes
full_name: Reiter, Johannes
id: 4A918E98-F248-11E8-B48F-1D18A9856A87
last_name: Reiter
orcid: 0000-0002-0170-7353
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: Chatterjee K, Reiter J, Nowak M. Evolutionary dynamics of biological auctions.
Theoretical Population Biology. 2012;81(1):69-80. doi:10.1016/j.tpb.2011.11.003
apa: Chatterjee, K., Reiter, J., & Nowak, M. (2012). Evolutionary dynamics of
biological auctions. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2011.11.003
chicago: Chatterjee, Krishnendu, Johannes Reiter, and Martin Nowak. “Evolutionary
Dynamics of Biological Auctions.” Theoretical Population Biology. Academic
Press, 2012. https://doi.org/10.1016/j.tpb.2011.11.003.
ieee: K. Chatterjee, J. Reiter, and M. Nowak, “Evolutionary dynamics of biological
auctions,” Theoretical Population Biology, vol. 81, no. 1. Academic Press,
pp. 69–80, 2012.
ista: Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological
auctions. Theoretical Population Biology. 81(1), 69–80.
mla: Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.”
Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp.
69–80, doi:10.1016/j.tpb.2011.11.003.
short: K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012)
69–80.
date_created: 2018-12-11T12:02:19Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2023-09-07T11:40:43Z
day: '01'
department:
- _id: KrCh
doi: 10.1016/j.tpb.2011.11.003
ec_funded: 1
external_id:
pmid:
- '22120126'
intvolume: ' 81'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: 'http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3279759/ '
month: '02'
oa: 1
oa_version: Submitted Version
page: 69 - 80
pmid: 1
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Theoretical Population Biology
publication_status: published
publisher: Academic Press
publist_id: '3388'
quality_controlled: '1'
related_material:
record:
- id: '1400'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Evolutionary dynamics of biological auctions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 81
year: '2012'
...
---
_id: '3262'
abstract:
- lang: eng
text: Living cells must control the reading out or "expression" of information
encoded in their genomes, and this regulation often is mediated by transcription
factors--proteins that bind to DNA and either enhance or repress the expression
of nearby genes. But the expression of transcription factor proteins is itself
regulated, and many transcription factors regulate their own expression in addition
to responding to other input signals. Here we analyze the simplest of such self-regulatory
circuits, asking how parameters can be chosen to optimize information transmission
from inputs to outputs in the steady state. Some nonzero level of self-regulation
is almost always optimal, with self-activation dominant when transcription factor
concentrations are low and self-repression dominant when concentrations are high.
In steady state the optimal self-activation is never strong enough to induce bistability,
although there is a limit in which the optimal parameters are very close to the
critical point.
acknowledgement: "We thank T. Gregor, E. F. Wieschaus, and, especially, C. G. Callan
for helpful discussions.\r\nWork at Princeton was supported in part by NSF Grants
No. PHY–0957573 and No. CCF–0939370, by NIH Grant No. R01 GM077599, and by the W.
M. Keck Foundation. For part of this work, G.T. was supported in part by NSF Grant
No. EF–0928048 and by the Vice Provost for Research at the University of Pennsylvania."
article_number: '041903'
author:
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
- first_name: Aleksandra
full_name: Walczak, Aleksandra
last_name: Walczak
- first_name: William
full_name: Bialek, William
last_name: Bialek
citation:
ama: Tkačik G, Walczak A, Bialek W. Optimizing information flow in small genetic
networks. III. A self-interacting gene. Physical Review E statistical nonlinear
and soft matter physics . 2012;85(4). doi:10.1103/PhysRevE.85.041903
apa: Tkačik, G., Walczak, A., & Bialek, W. (2012). Optimizing information flow
in small genetic networks. III. A self-interacting gene. Physical Review E
Statistical Nonlinear and Soft Matter Physics . American Institute of Physics.
https://doi.org/10.1103/PhysRevE.85.041903
chicago: Tkačik, Gašper, Aleksandra Walczak, and William Bialek. “Optimizing Information
Flow in Small Genetic Networks. III. A Self-Interacting Gene.” Physical Review
E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics,
2012. https://doi.org/10.1103/PhysRevE.85.041903.
ieee: G. Tkačik, A. Walczak, and W. Bialek, “Optimizing information flow in small
genetic networks. III. A self-interacting gene,” Physical Review E statistical
nonlinear and soft matter physics , vol. 85, no. 4. American Institute of
Physics, 2012.
ista: Tkačik G, Walczak A, Bialek W. 2012. Optimizing information flow in small
genetic networks. III. A self-interacting gene. Physical Review E statistical
nonlinear and soft matter physics . 85(4), 041903.
mla: Tkačik, Gašper, et al. “Optimizing Information Flow in Small Genetic Networks.
III. A Self-Interacting Gene.” Physical Review E Statistical Nonlinear and
Soft Matter Physics , vol. 85, no. 4, 041903, American Institute of Physics,
2012, doi:10.1103/PhysRevE.85.041903.
short: G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear
and Soft Matter Physics 85 (2012).
date_created: 2018-12-11T12:02:20Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2021-01-12T07:42:14Z
day: '01'
department:
- _id: GaTk
doi: 10.1103/PhysRevE.85.041903
intvolume: ' 85'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1112.5026
month: '04'
oa: 1
oa_version: Preprint
publication: ' Physical Review E statistical nonlinear and soft matter physics '
publication_status: published
publisher: American Institute of Physics
publist_id: '3386'
quality_controlled: '1'
scopus_import: 1
status: public
title: Optimizing information flow in small genetic networks. III. A self-interacting
gene
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 85
year: '2012'
...
---
_id: '3280'
abstract:
- lang: eng
text: 'The (decisional) learning with errors problem (LWE) asks to distinguish "noisy"
inner products of a secret vector with random vectors from uniform. The learning
parities with noise problem (LPN) is the special case where the elements of the
vectors are bits. In recent years, the LWE and LPN problems have found many applications
in cryptography. In this paper we introduce a (seemingly) much stronger adaptive
assumption, called "subspace LWE" (SLWE), where the adversary can learn
the inner product of the secret and random vectors after they were projected into
an adaptively and adversarially chosen subspace. We prove that, surprisingly,
the SLWE problem mapping into subspaces of dimension d is almost as hard as LWE
using secrets of length d (the other direction is trivial.) This result immediately
implies that several existing cryptosystems whose security is based on the hardness
of the LWE/LPN problems are provably secure in a much stronger sense than anticipated.
As an illustrative example we show that the standard way of using LPN for symmetric
CPA secure encryption is even secure against a very powerful class of related
key attacks. '
acknowledgement: Supported by the European Research Council under the European Union’s
Seventh Framework Programme (FP7/2007-2013) / ERC Starting Grant (259668-PSPC).
alternative_title:
- LNCS
author:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Pietrzak KZ. Subspace LWE. In: Vol 7194. Springer; 2012:548-563. doi:10.1007/978-3-642-28914-9_31'
apa: 'Pietrzak, K. Z. (2012). Subspace LWE (Vol. 7194, pp. 548–563). Presented at
the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy: Springer.
https://doi.org/10.1007/978-3-642-28914-9_31'
chicago: Pietrzak, Krzysztof Z. “Subspace LWE,” 7194:548–63. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_31.
ieee: 'K. Z. Pietrzak, “Subspace LWE,” presented at the TCC: Theory of Cryptography
Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 548–563.'
ista: 'Pietrzak KZ. 2012. Subspace LWE. TCC: Theory of Cryptography Conference,
LNCS, vol. 7194, 548–563.'
mla: Pietrzak, Krzysztof Z. Subspace LWE. Vol. 7194, Springer, 2012, pp.
548–63, doi:10.1007/978-3-642-28914-9_31.
short: K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
conference:
end_date: 2012-03-21
location: Taormina, Sicily, Italy
name: 'TCC: Theory of Cryptography Conference'
start_date: 2012-03-19
date_created: 2018-12-11T12:02:26Z
date_published: 2012-05-04T00:00:00Z
date_updated: 2021-01-12T07:42:21Z
day: '04'
department:
- _id: KrPi
doi: 10.1007/978-3-642-28914-9_31
ec_funded: 1
intvolume: ' 7194'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.iacr.org/archive/tcc2012/71940166/71940166.pdf
month: '05'
oa: 1
oa_version: Submitted Version
page: 548 - 563
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: '3366'
quality_controlled: '1'
status: public
title: Subspace LWE
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7194
year: '2012'
...
---
_id: '3282'
abstract:
- lang: eng
text: 'Traditionally, symmetric-key message authentication codes (MACs) are easily
built from pseudorandom functions (PRFs). In this work we propose a wide variety
of other approaches to building efficient MACs, without going through a PRF first.
In particular, unlike deterministic PRF-based MACs, where each message has a unique
valid tag, we give a number of probabilistic MAC constructions from various other
primitives/assumptions. Our main results are summarized as follows: We show several
new probabilistic MAC constructions from a variety of general assumptions, including
CCA-secure encryption, Hash Proof Systems and key-homomorphic weak PRFs. By instantiating
these frameworks under concrete number theoretic assumptions, we get several schemes
which are more efficient than just using a state-of-the-art PRF instantiation
under the corresponding assumption. For probabilistic MACs, unlike deterministic
ones, unforgeability against a chosen message attack (uf-cma ) alone does not
imply security if the adversary can additionally make verification queries (uf-cmva
). We give an efficient generic transformation from any uf-cma secure MAC which
is "message-hiding" into a uf-cmva secure MAC. This resolves the main
open problem of Kiltz et al. from Eurocrypt''11; By using our transformation on
their constructions, we get the first efficient MACs from the LPN assumption.
While all our new MAC constructions immediately give efficient actively secure,
two-round symmetric-key identification schemes, we also show a very simple, three-round
actively secure identification protocol from any weak PRF. In particular, the
resulting protocol is much more efficient than the trivial approach of building
a regular PRF from a weak PRF. © 2012 International Association for Cryptologic
Research.'
acknowledgement: Supported by the European Research Council under the European Union’s
Seventh Framework Programme (FP7/2007-2013) / ERC Starting Grant (259668-PSPC)
alternative_title:
- LNCS
author:
- first_name: Yevgeniy
full_name: Dodis, Yevgeniy
last_name: Dodis
- 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: Eike
full_name: Kiltz, Eike
last_name: Kiltz
- first_name: Daniel
full_name: Wichs, Daniel
last_name: Wichs
citation:
ama: 'Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. Message authentication, revisited.
In: Vol 7237. Springer; 2012:355-374. doi:10.1007/978-3-642-29011-4_22'
apa: 'Dodis, Y., Pietrzak, K. Z., Kiltz, E., & Wichs, D. (2012). Message authentication,
revisited (Vol. 7237, pp. 355–374). Presented at the EUROCRYPT: Theory and Applications
of Cryptographic Techniques, Cambridge, UK: Springer. https://doi.org/10.1007/978-3-642-29011-4_22'
chicago: Dodis, Yevgeniy, Krzysztof Z Pietrzak, Eike Kiltz, and Daniel Wichs. “Message
Authentication, Revisited,” 7237:355–74. Springer, 2012. https://doi.org/10.1007/978-3-642-29011-4_22.
ieee: 'Y. Dodis, K. Z. Pietrzak, E. Kiltz, and D. Wichs, “Message authentication,
revisited,” presented at the EUROCRYPT: Theory and Applications of Cryptographic
Techniques, Cambridge, UK, 2012, vol. 7237, pp. 355–374.'
ista: 'Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. 2012. Message authentication, revisited.
EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 7237,
355–374.'
mla: Dodis, Yevgeniy, et al. Message Authentication, Revisited. Vol. 7237,
Springer, 2012, pp. 355–74, doi:10.1007/978-3-642-29011-4_22.
short: Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
conference:
end_date: 2012-04-19
location: Cambridge, UK
name: 'EUROCRYPT: Theory and Applications of Cryptographic Techniques'
start_date: 2012-04-15
date_created: 2018-12-11T12:02:27Z
date_published: 2012-03-10T00:00:00Z
date_updated: 2021-01-12T07:42:22Z
day: '10'
ddc:
- '000'
- '004'
department:
- _id: KrPi
doi: 10.1007/978-3-642-29011-4_22
ec_funded: 1
file:
- access_level: open_access
checksum: 8557c17a8c2586d06ebfe62d934f5c5f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:23Z
date_updated: 2020-07-14T12:46:06Z
file_id: '5074'
file_name: IST-2016-686-v1+1_059.pdf
file_size: 372292
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: ' 7237'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 355 - 374
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: '3364'
pubrep_id: '686'
quality_controlled: '1'
status: public
title: Message authentication, revisited
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7237
year: '2012'
...
---
_id: '3284'
abstract:
- lang: eng
text: |-
We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a constraint language, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. Under the unique games conjecture, the approximability of finite-valued VCSPs is well-understood, see Raghavendra [FOCS’08]. However, there is no characterisation of finite-valued VCSPs, let alone general-valued VCSPs, that can be solved exactly in polynomial time, thus giving insights from a combinatorial optimisation perspective.
We consider the case of languages containing all possible unary cost functions. In the case of languages consisting of only {0, ∞}-valued cost functions (i.e. relations), such languages have been called conservative and studied by Bulatov [LICS’03] and recently by Barto [LICS’11]. Since we study valued languages, we call a language conservative if it contains all finite-valued unary cost functions. The computational complexity of conservative valued languages has been studied by Cohen et al. [AIJ’06] for languages over Boolean domains, by Deineko et al. [JACM’08] for {0,1}-valued languages (a.k.a Max-CSP), and by Takhanov [STACS’10] for {0,∞}-valued languages containing all finite- valued unary cost functions (a.k.a. Min-Cost-Hom).
We prove a Schaefer-like dichotomy theorem for conservative valued languages: if all cost functions in the language satisfy a certain condition (specified by a complementary combination of STP and MJN multimorphisms), then any instance can be solved in polynomial time (via a new algorithm developed in this paper), otherwise the language is NP-hard. This is the first complete complexity classification of general-valued constraint languages over non-Boolean domains. It is a common phenomenon that complexity classifications of problems over non-Boolean domains is significantly harder than the Boolean case. The polynomial-time algorithm we present for the tractable cases is a generalisation of the submodular minimisation problem and a result of Cohen et al. [TCS’08].
Our results generalise previous results by Takhanov [STACS’10] and (a subset of results) by Cohen et al. [AIJ’06] and Deineko et al. [JACM’08]. Moreover, our results do not rely on any computer-assisted search as in Deineko et al. [JACM’08], and provide a powerful tool for proving hardness of finite-valued and general-valued languages.
acknowledgement: Vladimir Kolmogorov is supported by the Royal Academy of Eng ineering/EPSRC.
author:
- first_name: Vladimir
full_name: Vladimir Kolmogorov
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Stanislav
full_name: Živný, Stanislav
last_name: Živný
citation:
ama: 'Kolmogorov V, Živný S. The complexity of conservative valued CSPs. In: SIAM;
2012:750-759.'
apa: 'Kolmogorov, V., & Živný, S. (2012). The complexity of conservative valued
CSPs (pp. 750–759). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.'
chicago: Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative
Valued CSPs,” 750–59. SIAM, 2012.
ieee: 'V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,”
presented at the SODA: Symposium on Discrete Algorithms, 2012, pp. 750–759.'
ista: 'Kolmogorov V, Živný S. 2012. The complexity of conservative valued CSPs.
SODA: Symposium on Discrete Algorithms, 750–759.'
mla: Kolmogorov, Vladimir, and Stanislav Živný. The Complexity of Conservative
Valued CSPs. SIAM, 2012, pp. 750–59.
short: V. Kolmogorov, S. Živný, in:, SIAM, 2012, pp. 750–759.
conference:
name: 'SODA: Symposium on Discrete Algorithms'
date_created: 2018-12-11T12:02:27Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2021-01-12T07:42:23Z
day: '01'
extern: 1
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1008.1555
month: '01'
oa: 1
page: 750 - 759
publication_status: published
publisher: SIAM
publist_id: '3362'
quality_controlled: 0
status: public
title: The complexity of conservative valued CSPs
type: conference
year: '2012'
...
---
_id: '3289'
abstract:
- lang: eng
text: "Viral manipulation of transduction pathways associated with key cellular
functions such as survival, response to microbial infection, and cytoskeleton
reorganization can provide the supportive milieu for a productive infection. Here,
we demonstrate that vaccinia virus (VACV) infection leads to activation of the
stress-activated protein kinase (SAPK)/extracellular signal-regulated kinase (ERK)
4/7 (MKK4/7)-c-Jun N-terminal protein kinase 1/2 (JNK1/2) pathway; further, the
stimulation of this pathway requires postpenetration, prereplicative events in
the viral replication cycle. Although the formation of intracellular mature virus
(IMV) was not affected in MKK4/7- or JNK1/2-knockout (KO) cells, we did note an
accentuated deregulation of microtubule and actin network organization in infected
JNK1/2-KO cells. This was followed by deregulated viral trafficking to the periphery
and enhanced enveloped particle release. Furthermore, VACV infection induced alterations
in the cell contractility and morphology, and cell migration was reduced in the
JNK-KO cells. In addition, phosphorylation of proteins implicated with early cell
contractility and cell migration, such as microtubule-associated protein 1B and
paxillin, respectively, was not detected in the VACV-infected KO cells. In sum,
our findings uncover a regulatory role played by the MKK4/7-JNK1/2 pathway in
cytoskeleton reorganization during VACV infection.\r\n"
acknowledgement: "This work was supported by grants from Fundação de Amparo a Pesquisa
do Estado de Minas Gerais (FAPEMIG), the Brazilian Federal Agency for Support and
Evaluation of Graduate Education (CAPES), and the National Council for Scientific
and Technological Development (CNPq). A.C.T.C.P., B.S.A.F.B., F.G.G.L., and J.A.P.S.-M.
were recipients of predoctoral fellowships from CNPq. C.A.B., E.G.K., T.S.-P., P.F.P.P.,
and P.C.P.F. are recipients of research fellowships from CNPq. \r\n\r\n\r\nWe are
grateful to Angela S. Lopes, Ilda M. V. Gama, João R. dos Santos, and Andreza A.
Carvalho for their secretarial/technical assistance and to Fernanda Gambogi for
help with immunofluorescence microscopy. We also thank M. C. Sogayar (Department
of Biochemistry, University of São Paulo, São Paulo, Brazil), who kindly provided
us with the A31 cell line, and R. Davis (Howard Hughes Medical Institute, University
of Massachusetts Medical School, Worcester, MA) for the WT and JNK1/2-, MKK4-, MKK7-,
and MKK4/7-KO cells. VACV WR was from C. Jungwirth (Universität Würzburg, Würzburg,
Germany). The recombinant VACV vF13L-GFP and the rabbit polyclonal antibodies against
viral proteins, B5R, D8L, L1R, and A36R, were from B. Moss (NIAID, Bethesda, MD).
The pcDNA3-Myc-JNK2-MKK7 WT plasmid was from Eugen Kerkhoff (Universität Würzburg,
Würzburg, Germany). We also thank Flávio G. da Fonseca (UFMG, Belo Horizonte, MG,
Brazil) and Kathleen A. Boyle (Medical College of Wisconsin, Milwaukee, WI) for
critically reading the manuscript."
author:
- first_name: Anna
full_name: Pereira, Anna
last_name: Pereira
- first_name: Flávia
full_name: Leite, Flávia
id: 36705F98-F248-11E8-B48F-1D18A9856A87
last_name: Leite
- first_name: Bruno
full_name: Brasil, Bruno
last_name: Brasil
- first_name: Jamaria
full_name: Soares Martins, Jamaria
last_name: Soares Martins
- first_name: Alice
full_name: Torres, Alice
last_name: Torres
- first_name: Paulo
full_name: Pimenta, Paulo
last_name: Pimenta
- first_name: Thais
full_name: Souto Padrón, Thais
last_name: Souto Padrón
- first_name: Paula
full_name: Tranktman, Paula
last_name: Tranktman
- first_name: Paulo
full_name: Ferreira, Paulo
last_name: Ferreira
- first_name: Erna
full_name: Kroon, Erna
last_name: Kroon
- first_name: Cláudio
full_name: Bonjardim, Cláudio
last_name: Bonjardim
citation:
ama: Pereira A, Leite F, Brasil B, et al. A vaccinia virus-driven interplay between
the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. Journal of Virology.
2012;86(1):172-184. doi:10.1128/JVI.05638-11
apa: Pereira, A., Leite, F., Brasil, B., Soares Martins, J., Torres, A., Pimenta,
P., … Bonjardim, C. (2012). A vaccinia virus-driven interplay between the MKK4/7-JNK1/2
pathway and cytoskeleton reorganization. Journal of Virology. ASM. https://doi.org/10.1128/JVI.05638-11
chicago: Pereira, Anna, Flávia Leite, Bruno Brasil, Jamaria Soares Martins, Alice
Torres, Paulo Pimenta, Thais Souto Padrón, et al. “A Vaccinia Virus-Driven Interplay
between the MKK4/7-JNK1/2 Pathway and Cytoskeleton Reorganization.” Journal
of Virology. ASM, 2012. https://doi.org/10.1128/JVI.05638-11.
ieee: A. Pereira et al., “A vaccinia virus-driven interplay between the MKK4/7-JNK1/2
pathway and cytoskeleton reorganization,” Journal of Virology, vol. 86,
no. 1. ASM, pp. 172–184, 2012.
ista: Pereira A, Leite F, Brasil B, Soares Martins J, Torres A, Pimenta P, Souto
Padrón T, Tranktman P, Ferreira P, Kroon E, Bonjardim C. 2012. A vaccinia virus-driven
interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. Journal
of Virology. 86(1), 172–184.
mla: Pereira, Anna, et al. “A Vaccinia Virus-Driven Interplay between the MKK4/7-JNK1/2
Pathway and Cytoskeleton Reorganization.” Journal of Virology, vol. 86,
no. 1, ASM, 2012, pp. 172–84, doi:10.1128/JVI.05638-11.
short: A. Pereira, F. Leite, B. Brasil, J. Soares Martins, A. Torres, P. Pimenta,
T. Souto Padrón, P. Tranktman, P. Ferreira, E. Kroon, C. Bonjardim, Journal of
Virology 86 (2012) 172–184.
date_created: 2018-12-11T12:02:29Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2021-01-12T07:42:25Z
day: '01'
department:
- _id: JoBo
doi: 10.1128/JVI.05638-11
external_id:
pmid:
- '22031940'
intvolume: ' 86'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3255887/
month: '01'
oa: 1
oa_version: Submitted Version
page: 172 - 184
pmid: 1
publication: Journal of Virology
publication_status: published
publisher: ASM
publist_id: '3356'
quality_controlled: '1'
scopus_import: 1
status: public
title: A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton
reorganization
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 86
year: '2012'
...
---
_id: '3310'
abstract:
- lang: eng
text: The theory of persistent homology opens up the possibility to reason about
topological features of a space or a function quantitatively and in combinatorial
terms. We refer to this new angle at a classical subject within algebraic topology
as a point calculus, which we present for the family of interlevel sets of a real-valued
function. Our account of the subject is expository, devoid of proofs, and written
for non-experts in algebraic topology.
acknowledgement: Research by the third author is partially supported by the National
Science Foundation (NSF) under grant DBI-0820624.
author:
- first_name: Paul
full_name: Bendich, Paul
id: 43F6EC54-F248-11E8-B48F-1D18A9856A87
last_name: Bendich
- first_name: Sergio
full_name: Cabello, Sergio
last_name: Cabello
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Bendich P, Cabello S, Edelsbrunner H. A point calculus for interlevel set homology.
Pattern Recognition Letters. 2012;33(11):1436-1444. doi:10.1016/j.patrec.2011.10.007
apa: Bendich, P., Cabello, S., & Edelsbrunner, H. (2012). A point calculus for
interlevel set homology. Pattern Recognition Letters. Elsevier. https://doi.org/10.1016/j.patrec.2011.10.007
chicago: Bendich, Paul, Sergio Cabello, and Herbert Edelsbrunner. “A Point Calculus
for Interlevel Set Homology.” Pattern Recognition Letters. Elsevier, 2012.
https://doi.org/10.1016/j.patrec.2011.10.007.
ieee: P. Bendich, S. Cabello, and H. Edelsbrunner, “A point calculus for interlevel
set homology,” Pattern Recognition Letters, vol. 33, no. 11. Elsevier,
pp. 1436–1444, 2012.
ista: Bendich P, Cabello S, Edelsbrunner H. 2012. A point calculus for interlevel
set homology. Pattern Recognition Letters. 33(11), 1436–1444.
mla: Bendich, Paul, et al. “A Point Calculus for Interlevel Set Homology.” Pattern
Recognition Letters, vol. 33, no. 11, Elsevier, 2012, pp. 1436–44, doi:10.1016/j.patrec.2011.10.007.
short: P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012)
1436–1444.
date_created: 2018-12-11T12:02:36Z
date_published: 2012-08-01T00:00:00Z
date_updated: 2021-01-12T07:42:34Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1016/j.patrec.2011.10.007
file:
- access_level: open_access
checksum: d65f79775b51258a604ca5ec741297cc
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:00Z
date_updated: 2020-07-14T12:46:06Z
file_id: '5116'
file_name: IST-2016-542-v1+1_2012-J-01-Poinculus.pdf
file_size: 280280
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: ' 33'
issue: '11'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 1436 - 1444
publication: Pattern Recognition Letters
publication_status: published
publisher: Elsevier
publist_id: '3330'
pubrep_id: '542'
quality_controlled: '1'
scopus_import: 1
status: public
title: A point calculus for interlevel set homology
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2012'
...
---
_id: '10905'
abstract:
- lang: eng
text: "Energy games belong to a class of turn-based two-player infinite-duration
games played on a weighted directed graph. It is one of the rare and intriguing
combinatorial problems that lie in NP ∩ co−NP, but are not known to be in P. While
the existence of polynomial-time algorithms has been a major open problem for
decades, there is no algorithm that solves any non-trivial subclass in polynomial
time.\r\nIn this paper, we give several results based on the weight structures
of the graph. First, we identify a notion of penalty and present a polynomial-time
algorithm when the penalty is large. Our algorithm is the first polynomial-time
algorithm on a large class of weighted graphs. It includes several counter examples
that show that many previous algorithms, such as value iteration and random facet
algorithms, require at least sub-exponential time. Our main technique is developing
the first non-trivial approximation algorithm and showing how to convert it to
an exact algorithm. Moreover, we show that in a practical case in verification
where weights are clustered around a constant number of values, the energy game
problem can be solved in polynomial time. We also show that the problem is still
as hard as in general when the clique-width is bounded or the graph is strongly
ergodic, suggesting that restricting graph structures need not help."
acknowledgement: 'Supported by the Austrian Science Fund (FWF): P23499-N23, the Austrian
Science Fund (FWF): S11407-N23 (RiSE), an ERC Start Grant (279307: Graph Games),
and a Microsoft Faculty Fellows Award'
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Sebastian
full_name: Krinninger, Sebastian
last_name: Krinninger
- first_name: Danupon
full_name: Nanongkai, Danupon
last_name: Nanongkai
citation:
ama: 'Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms
for energy games with special weight structures. In: Algorithms – ESA 2012.
Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27'
apa: 'Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2012).
Polynomial-time algorithms for energy games with special weight structures. In
Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer.
https://doi.org/10.1007/978-3-642-33090-2_27'
chicago: Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon
Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”
In Algorithms – ESA 2012, 7501:301–12. Springer, 2012. https://doi.org/10.1007/978-3-642-33090-2_27.
ieee: K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time
algorithms for energy games with special weight structures,” in Algorithms
– ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
ista: 'Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time
algorithms for energy games with special weight structures. Algorithms – ESA 2012.
ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.'
mla: Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games
with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer,
2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
short: K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms
– ESA 2012, Springer, 2012, pp. 301–312.
conference:
end_date: 2012-09-12
location: Ljubljana, Slovenia
name: 'ESA: European Symposium on Algorithms'
start_date: 2012-09-10
date_created: 2022-03-21T08:01:45Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2023-09-05T14:09:30Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-33090-2_27
ec_funded: 1
external_id:
arxiv:
- '1604.08234'
intvolume: ' 7501'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1604.08234
month: '10'
oa: 1
oa_version: Preprint
page: 301-312
project:
- _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: Algorithms – ESA 2012
publication_identifier:
eisbn:
- '9783642330902'
eissn:
- 1611-3349
isbn:
- '9783642330896'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
related_material:
record:
- id: '535'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Polynomial-time algorithms for energy games with special weight structures
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7501
year: '2012'
...
---
_id: '10906'
abstract:
- lang: eng
text: HSF(C) is a tool that automates verification of safety and liveness properties
for C programs. This paper describes the verification approach taken by HSF(C)
and provides instructions on how to install and use the tool.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sergey
full_name: Grebenshchikov, Sergey
last_name: Grebenshchikov
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Nuno P.
full_name: Lopes, Nuno P.
last_name: Lopes
- first_name: Corneliu
full_name: Popeea, Corneliu
last_name: Popeea
- first_name: Andrey
full_name: Rybalchenko, Andrey
last_name: Rybalchenko
citation:
ama: 'Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software
verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms
for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg:
Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46'
apa: 'Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko,
A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan &
B. König (Eds.), Tools and Algorithms for the Construction and Analysis of
Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46'
chicago: 'Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea,
and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In
Tools and Algorithms for the Construction and Analysis of Systems, edited
by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer,
2012. https://doi.org/10.1007/978-3-642-28756-5_46.'
ieee: 'S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko,
“HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms
for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol.
7214, pp. 549–551.'
ista: 'Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C):
A software verifier based on Horn clauses. Tools and Algorithms for the Construction
and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and
Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.'
mla: 'Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn
Clauses.” Tools and Algorithms for the Construction and Analysis of Systems,
edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51,
doi:10.1007/978-3-642-28756-5_46.'
short: S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:,
C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis
of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
conference:
end_date: 2012-04-01
location: Tallinn, Estonia
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2012-03-24
date_created: 2022-03-21T08:03:30Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2023-09-05T14:09:54Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-642-28756-5_46
editor:
- first_name: Cormac
full_name: Flanagan, Cormac
last_name: Flanagan
- first_name: Barbara
full_name: König, Barbara
last_name: König
intvolume: ' 7214'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-642-28756-5_46
month: '04'
oa: 1
oa_version: Published Version
page: 549-551
place: Berlin, Heidelberg
publication: Tools and Algorithms for the Construction and Analysis of Systems
publication_identifier:
eisbn:
- '9783642287565'
eissn:
- 1611-3349
isbn:
- '9783642287558'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: 'HSF(C): A software verifier based on Horn clauses'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7214
year: '2012'
...
---
_id: '11090'
abstract:
- lang: eng
text: Nuclear export of mRNAs is thought to occur exclusively through nuclear pore
complexes. In this issue of Cell, Speese et al. identify an alternate pathway
for mRNA export in muscle cells where ribonucleoprotein complexes involved in
forming neuromuscular junctions transit the nuclear envelope by fusing with and
budding through the nuclear membrane.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Emily M.
full_name: Hatch, Emily M.
last_name: Hatch
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735.
doi:10.1016/j.cell.2012.04.018
apa: Hatch, E. M., & Hetzer, M. (2012). RNP export by nuclear envelope budding.
Cell. Elsevier. https://doi.org/10.1016/j.cell.2012.04.018
chicago: Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.”
Cell. Elsevier, 2012. https://doi.org/10.1016/j.cell.2012.04.018.
ieee: E. M. Hatch and M. Hetzer, “RNP export by nuclear envelope budding,” Cell,
vol. 149, no. 4. Elsevier, pp. 733–735, 2012.
ista: Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4),
733–735.
mla: Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.”
Cell, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, doi:10.1016/j.cell.2012.04.018.
short: E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.
date_created: 2022-04-07T07:51:45Z
date_published: 2012-05-11T00:00:00Z
date_updated: 2022-07-18T08:58:48Z
day: '11'
doi: 10.1016/j.cell.2012.04.018
extern: '1'
external_id:
pmid:
- '22579277'
intvolume: ' 149'
issue: '4'
keyword:
- General Biochemistry
- Genetics and Molecular Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cell.2012.04.018
month: '05'
oa: 1
oa_version: Published Version
page: 733-735
pmid: 1
publication: Cell
publication_identifier:
issn:
- 0092-8674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: RNP export by nuclear envelope budding
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 149
year: '2012'
...
---
_id: '11093'
abstract:
- lang: eng
text: Nuclear pore complexes (NPCs) are built from ∼30 different proteins called
nucleoporins or Nups. Previous studies have shown that several Nups exhibit cell-type-specific
expression and that mutations in NPC components result in tissue-specific diseases.
Here we show that a specific change in NPC composition is required for both myogenic
and neuronal differentiation. The transmembrane nucleoporin Nup210 is absent in
proliferating myoblasts and embryonic stem cells (ESCs) but becomes expressed
and incorporated into NPCs during cell differentiation. Preventing Nup210 production
by RNAi blocks myogenesis and the differentiation of ESCs into neuroprogenitors.
We found that the addition of Nup210 to NPCs does not affect nuclear transport
but is required for the induction of genes that are essential for cell differentiation.
Our results identify a single change in NPC composition as an essential step in
cell differentiation and establish a role for Nup210 in gene expression regulation
and cell fate determination.
article_processing_charge: No
article_type: original
author:
- first_name: Maximiliano A.
full_name: D'Angelo, Maximiliano A.
last_name: D'Angelo
- first_name: J. Sebastian
full_name: Gomez-Cavazos, J. Sebastian
last_name: Gomez-Cavazos
- first_name: Arianna
full_name: Mei, Arianna
last_name: Mei
- first_name: Daniel H.
full_name: Lackner, Daniel H.
last_name: Lackner
- first_name: Martin W
full_name: HETZER, Martin W
id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed
last_name: HETZER
orcid: 0000-0002-2111-992X
citation:
ama: D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear
pore complex composition regulates cell differentiation. Developmental Cell.
2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021
apa: D’Angelo, M. A., Gomez-Cavazos, J. S., Mei, A., Lackner, D. H., & Hetzer,
M. (2012). A change in nuclear pore complex composition regulates cell differentiation.
Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2011.11.021
chicago: D’Angelo, Maximiliano A., J. Sebastian Gomez-Cavazos, Arianna Mei, Daniel H.
Lackner, and Martin Hetzer. “A Change in Nuclear Pore Complex Composition Regulates
Cell Differentiation.” Developmental Cell. Elsevier, 2012. https://doi.org/10.1016/j.devcel.2011.11.021.
ieee: M. A. D’Angelo, J. S. Gomez-Cavazos, A. Mei, D. H. Lackner, and M. Hetzer,
“A change in nuclear pore complex composition regulates cell differentiation,”
Developmental Cell, vol. 22, no. 2. Elsevier, pp. 446–458, 2012.
ista: D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change
in nuclear pore complex composition regulates cell differentiation. Developmental
Cell. 22(2), 446–458.
mla: D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition
Regulates Cell Differentiation.” Developmental Cell, vol. 22, no. 2, Elsevier,
2012, pp. 446–58, doi:10.1016/j.devcel.2011.11.021.
short: M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental
Cell 22 (2012) 446–458.
date_created: 2022-04-07T07:52:10Z
date_published: 2012-01-19T00:00:00Z
date_updated: 2022-07-18T08:53:16Z
day: '19'
doi: 10.1016/j.devcel.2011.11.021
extern: '1'
external_id:
pmid:
- '22264802'
intvolume: ' 22'
issue: '2'
keyword:
- Developmental Biology
- Cell Biology
- General Biochemistry
- Genetics and Molecular Biology
- Molecular Biology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.devcel.2011.11.021
month: '01'
oa: 1
oa_version: Published Version
page: 446-458
pmid: 1
publication: Developmental Cell
publication_identifier:
issn:
- 1534-5807
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: A change in nuclear pore complex composition regulates cell differentiation
type: journal_article
user_id: 72615eeb-f1f3-11ec-aa25-d4573ddc34fd
volume: 22
year: '2012'
...
---
_id: '114'
abstract:
- lang: eng
text: We report on an investigation of the solidification of a cornstarch and water
suspension during normal impact on its surface. We find that a finite time after
impact, the suspension displays characteristics reminiscent of a solid, including
localized stress transmission, the development of a yield stress, and some elastic
energy storage. The time dependence of these characteristics depends on the thickness
of the cornstarch layer, showing that the solidification is a dynamic process
driven by the impacting object. These findings confirm previous speculations that
rapidly applied normal stress transforms the normally fluid-like suspension into
a temporarily jammed solid and draw a clear distinction between the effects of
normal stress and shear stress in dense suspensions.
acknowledgement: This work was supported by the NSF through its MRSEC program (DMR-0820054).
S. R. W. acknowledges support from a Millikan fellowship.
author:
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
- first_name: Heinrich
full_name: Jaeger, Heinrich
last_name: Jaeger
citation:
ama: Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension.
Revista Cubana de Fisica. 2012;29(1E):1E31-1E33.
apa: Waitukaitis, S. R., & Jaeger, H. (2012). Solidification of a cornstarch
and water suspension. Revista Cubana de Fisica. Universidad de La Habana.
chicago: Waitukaitis, Scott R, and Heinrich Jaeger. “Solidification of a Cornstarch
and Water Suspension.” Revista Cubana de Fisica. Universidad de La Habana,
2012.
ieee: S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water
suspension,” Revista Cubana de Fisica, vol. 29, no. 1E. Universidad de
La Habana, p. 1E31-1E33, 2012.
ista: Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension.
Revista Cubana de Fisica. 29(1E), 1E31-1E33.
mla: Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch
and Water Suspension.” Revista Cubana de Fisica, vol. 29, no. 1E, Universidad
de La Habana, 2012, p. 1E31-1E33.
short: S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
date_created: 2018-12-11T11:44:42Z
date_published: 2012-08-14T00:00:00Z
date_updated: 2021-01-12T06:48:34Z
day: '14'
ddc:
- '530'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: kschuh
date_created: 2019-05-16T11:08:52Z
date_updated: 2019-05-16T11:08:52Z
file_id: '6461'
file_name: 2012_RCF_Waitukaitis.pdf
file_size: 589776
relation: main_file
success: 1
file_date_updated: 2019-05-16T11:08:52Z
has_accepted_license: '1'
intvolume: ' 29'
issue: 1E
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 1E31 - 1E33
publication: Revista Cubana de Fisica
publication_status: published
publisher: Universidad de La Habana
publist_id: '7940'
quality_controlled: '1'
status: public
title: Solidification of a cornstarch and water suspension
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 29
year: '2012'
...
---
_id: '11794'
abstract:
- lang: eng
text: We study individual rational, Pareto optimal, and incentive compatible mechanisms
for auctions with heterogeneous items and budget limits. For multi-dimensional
valuations we show that there can be no deterministic mechanism with these properties
for divisible items. We use this to show that there can also be no randomized
mechanism that achieves this for either divisible or indivisible items. For single-dimensional
valuations we show that there can be no deterministic mechanism with these properties
for indivisible items, but that there is a randomized mechanism that achieves
this for either divisible or indivisible items. The impossibility results hold
for public budgets, while the mechanism allows private budgets, which is in both
cases the harder variant to show. While all positive results are polynomial-time
algorithms, all negative results hold independent of complexity considerations.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Paul
full_name: Dütting, Paul
last_name: Dütting
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Martin
full_name: Starnberger, Martin
last_name: Starnberger
citation:
ama: 'Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items
and budget limits. In: 8th International Workshop on Internet and Network Economics.
Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4'
apa: 'Dütting, P., Henzinger, M. H., & Starnberger, M. (2012). Auctions with
heterogeneous items and budget limits. In 8th International Workshop on Internet
and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer
Nature. https://doi.org/10.1007/978-3-642-35311-6_4'
chicago: Dütting, Paul, Monika H Henzinger, and Martin Starnberger. “Auctions with
Heterogeneous Items and Budget Limits.” In 8th International Workshop on Internet
and Network Economics, 7695:44–57. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-35311-6_4.
ieee: P. Dütting, M. H. Henzinger, and M. Starnberger, “Auctions with heterogeneous
items and budget limits,” in 8th International Workshop on Internet and Network
Economics, Liverpool, United Kingdom, 2012, vol. 7695, pp. 44–57.
ista: 'Dütting P, Henzinger MH, Starnberger M. 2012. Auctions with heterogeneous
items and budget limits. 8th International Workshop on Internet and Network Economics.
WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695,
44–57.'
mla: Dütting, Paul, et al. “Auctions with Heterogeneous Items and Budget Limits.”
8th International Workshop on Internet and Network Economics, vol. 7695,
Springer Nature, 2012, pp. 44–57, doi:10.1007/978-3-642-35311-6_4.
short: P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop
on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
conference:
end_date: 2012-12-14
location: Liverpool, United Kingdom
name: 'WINE: International Conference on Web and Internet Economics'
start_date: 2012-12-11
date_created: 2022-08-11T11:32:25Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2023-02-21T16:28:29Z
day: '01'
doi: 10.1007/978-3-642-35311-6_4
extern: '1'
external_id:
arxiv:
- '1209.6448'
intvolume: ' 7695'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1209.6448
month: '12'
oa: 1
oa_version: Preprint
page: 44–57
publication: 8th International Workshop on Internet and Network Economics
publication_identifier:
isbn:
- '9783642353109'
issn:
- 1611-3349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11794'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Auctions with heterogeneous items and budget limits
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7695
year: '2012'
...
---
_id: '12649'
abstract:
- lang: eng
text: Physically based hydrological models describe natural processes more accurately
than conceptual models but require extensive data sets to produce accurate results.
To identify the value of different data sets for improving the performance of
the distributed hydrological model TOPKAPI we combine a multivariable validation
technique with Monte Carlo simulations. The study is carried out in the snow and
ice-dominated Rhonegletscher basin, as these types of mountainous basins are generally
the most critical with respect to data availability and sensitivity to climate
fluctuations. Each observational data set is used individually and in combination
with the other data sets to determine a subset of best parameter combinations
out of 10,000 Monte Carlos runs performed with randomly generated parameter sets.
We validate model results against discharge, glacier mass balance, and satellite
snow cover images for a 14 year time period (1994–2007). While the use of all
data sets combined provides the best overall model performance (defined by the
concurrent best agreement of simulated discharge, snow cover and mass balance
with their respective measurements), the use of one or two variables for constraining
the model results in poorer performance. Using only one data set for constraining
the model glacier mass balance proved to be the most efficient observation leading
to the best overall model performance. Our main result is that a combination of
discharge and satellite snow cover images is best for improving model performance,
since the volumetric information of discharge data and the spatial information
of snow cover images are complementary.
article_number: W07519
article_processing_charge: No
article_type: original
author:
- first_name: David
full_name: Finger, David
last_name: Finger
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: Markus
full_name: Konz, Markus
last_name: Konz
- first_name: Stefan
full_name: Rimkus, Stefan
last_name: Rimkus
- first_name: Paolo
full_name: Burlando, Paolo
last_name: Burlando
citation:
ama: Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. The value of glacier
mass balance, satellite snow cover images, and hourly discharge for improving
the performance of a physically based distributed hydrological model. Water
Resources Research. 2011;47(7). doi:10.1029/2010wr009824
apa: Finger, D., Pellicciotti, F., Konz, M., Rimkus, S., & Burlando, P. (2011).
The value of glacier mass balance, satellite snow cover images, and hourly discharge
for improving the performance of a physically based distributed hydrological model.
Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2010wr009824
chicago: Finger, David, Francesca Pellicciotti, Markus Konz, Stefan Rimkus, and
Paolo Burlando. “The Value of Glacier Mass Balance, Satellite Snow Cover Images,
and Hourly Discharge for Improving the Performance of a Physically Based Distributed
Hydrological Model.” Water Resources Research. American Geophysical Union,
2011. https://doi.org/10.1029/2010wr009824.
ieee: D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, and P. Burlando, “The value
of glacier mass balance, satellite snow cover images, and hourly discharge for
improving the performance of a physically based distributed hydrological model,”
Water Resources Research, vol. 47, no. 7. American Geophysical Union, 2011.
ista: Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. 2011. The value of
glacier mass balance, satellite snow cover images, and hourly discharge for improving
the performance of a physically based distributed hydrological model. Water Resources
Research. 47(7), W07519.
mla: Finger, David, et al. “The Value of Glacier Mass Balance, Satellite Snow Cover
Images, and Hourly Discharge for Improving the Performance of a Physically Based
Distributed Hydrological Model.” Water Resources Research, vol. 47, no.
7, W07519, American Geophysical Union, 2011, doi:10.1029/2010wr009824.
short: D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources
Research 47 (2011).
date_created: 2023-02-20T08:18:03Z
date_published: 2011-07-01T00:00:00Z
date_updated: 2023-02-20T10:39:57Z
day: '01'
doi: 10.1029/2010wr009824
extern: '1'
intvolume: ' 47'
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2010WR009824
month: '07'
oa: 1
oa_version: Published Version
publication: Water Resources Research
publication_identifier:
issn:
- 0043-1397
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: The value of glacier mass balance, satellite snow cover images, and hourly
discharge for improving the performance of a physically based distributed hydrological
model
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2011'
...
---
_id: '12651'
abstract:
- lang: eng
text: Temperature data from three Automatic Weather Stations and twelve Temperature
Loggers are used to investigate the spatiotemporal variability of temperature
over a glacier, its main atmospheric controls, the suitability of extrapolation
techniques and their effect on melt modeling. We use data collected on Juncal
Norte Glacier, central Chile, during one ablation season. We examine temporal
and spatial variability in lapse rates (LRs), together with alternative statistical
interpolation methods. The main control over the glacier thermal regime is the
development of a katabatic boundary layer (KBL). Katabatic wind occurs at night
and in the morning and is eroded in the afternoon. LRs reveal strong diurnal variability,
with steeper LRs during the day when the katabatic wind weakens and shallower
LRs during the night and morning. We suggest that temporally variable LRs should
be used to account for the observed change. They tend to be steeper than equivalent
constant LRs, and therefore result in a reduction in simulated melt compared to
use of constant LRs when extrapolating from lower to higher elevations. In addition
to the temporal variability, the temperature-elevation relationship varies also
in space. Differences are evident between local LRs and including such variability
in melt modeling affects melt simulations. Extrapolation methods based on the
spatial variability of the observations after removal of the elevation trend,
such as Inverse Distance Weighting or Kriging, do not seem necessary for simulations
of gridded temperature data over a glacier.
article_number: D23109
article_processing_charge: No
article_type: original
author:
- first_name: L.
full_name: Petersen, L.
last_name: Petersen
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: 'Petersen L, Pellicciotti F. Spatial and temporal variability of air temperature
on a melting glacier: Atmospheric controls, extrapolation methods and their effect
on melt modeling, Juncal Norte Glacier, Chile. Journal of Geophysical Research:
Atmospheres. 2011;116(D23). doi:10.1029/2011jd015842'
apa: 'Petersen, L., & Pellicciotti, F. (2011). Spatial and temporal variability
of air temperature on a melting glacier: Atmospheric controls, extrapolation methods
and their effect on melt modeling, Juncal Norte Glacier, Chile. Journal of
Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1029/2011jd015842'
chicago: 'Petersen, L., and Francesca Pellicciotti. “Spatial and Temporal Variability
of Air Temperature on a Melting Glacier: Atmospheric Controls, Extrapolation Methods
and Their Effect on Melt Modeling, Juncal Norte Glacier, Chile.” Journal of
Geophysical Research: Atmospheres. American Geophysical Union, 2011. https://doi.org/10.1029/2011jd015842.'
ieee: 'L. Petersen and F. Pellicciotti, “Spatial and temporal variability of air
temperature on a melting glacier: Atmospheric controls, extrapolation methods
and their effect on melt modeling, Juncal Norte Glacier, Chile,” Journal of
Geophysical Research: Atmospheres, vol. 116, no. D23. American Geophysical
Union, 2011.'
ista: 'Petersen L, Pellicciotti F. 2011. Spatial and temporal variability of air
temperature on a melting glacier: Atmospheric controls, extrapolation methods
and their effect on melt modeling, Juncal Norte Glacier, Chile. Journal of Geophysical
Research: Atmospheres. 116(D23), D23109.'
mla: 'Petersen, L., and Francesca Pellicciotti. “Spatial and Temporal Variability
of Air Temperature on a Melting Glacier: Atmospheric Controls, Extrapolation Methods
and Their Effect on Melt Modeling, Juncal Norte Glacier, Chile.” Journal of
Geophysical Research: Atmospheres, vol. 116, no. D23, D23109, American Geophysical
Union, 2011, doi:10.1029/2011jd015842.'
short: 'L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres
116 (2011).'
date_created: 2023-02-20T08:18:14Z
date_published: 2011-12-16T00:00:00Z
date_updated: 2023-02-20T10:29:44Z
day: '16'
doi: 10.1029/2011jd015842
extern: '1'
intvolume: ' 116'
issue: D23
keyword:
- Paleontology
- Space and Planetary Science
- Earth and Planetary Sciences (miscellaneous)
- Atmospheric Science
- Earth-Surface Processes
- Geochemistry and Petrology
- Soil Science
- Water Science and Technology
- Ecology
- Aquatic Science
- Forestry
- Oceanography
- Geophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2011JD01584
month: '12'
oa: 1
oa_version: Published Version
publication: 'Journal of Geophysical Research: Atmospheres'
publication_identifier:
issn:
- 0148-0227
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Spatial and temporal variability of air temperature on a melting glacier:
Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal
Norte Glacier, Chile'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 116
year: '2011'
...
---
_id: '12652'
abstract:
- lang: eng
text: We explore the robustness and transferability of parameterizations of cloud
radiative forcing used in glacier melt models at two sites in the Swiss Alps.
We also look at the rationale behind some of the most commonly used approaches,
and explore the relationship between cloud transmittance and several standard
meteorological variables. The 2 m air-temperature diurnal range is the best predictor
of variations in cloud transmittance. However, linear and exponential parameterizations
can only explain 30–50% of the observed variance in computed cloud transmittance
factors. We examine the impact of modelled cloud transmittance factors on both
solar radiation and ablation rates computed with an enhanced temperature-index
model. The melt model performance decreases when modelled radiation is used, the
reduction being due to an underestimation of incoming solar radiation on clear-sky
days. The model works well under overcast conditions. We also seek alternatives
to the use of in situ ground data. However, outputs from an atmospheric model
(2.2 km horizontal resolution) do not seem to provide an alternative to the parameterizations
of cloud radiative forcing based on observations of air temperature at glacier
automatic weather stations. Conversely, the correct definition of overcast conditions
is important.
article_processing_charge: No
article_type: original
author:
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
- first_name: Thomas
full_name: Raschle, Thomas
last_name: Raschle
- first_name: Thomas
full_name: Huerlimann, Thomas
last_name: Huerlimann
- first_name: Marco
full_name: Carenzo, Marco
last_name: Carenzo
- first_name: Paolo
full_name: Burlando, Paolo
last_name: Burlando
citation:
ama: 'Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. Transmission
of solar radiation through clouds on melting glaciers: A comparison of parameterizations
and their impact on melt modelling. Journal of Glaciology. 2011;57(202):367-381.
doi:10.3189/002214311796406013'
apa: 'Pellicciotti, F., Raschle, T., Huerlimann, T., Carenzo, M., & Burlando,
P. (2011). Transmission of solar radiation through clouds on melting glaciers:
A comparison of parameterizations and their impact on melt modelling. Journal
of Glaciology. Cambridge University Press. https://doi.org/10.3189/002214311796406013'
chicago: 'Pellicciotti, Francesca, Thomas Raschle, Thomas Huerlimann, Marco Carenzo,
and Paolo Burlando. “Transmission of Solar Radiation through Clouds on Melting
Glaciers: A Comparison of Parameterizations and Their Impact on Melt Modelling.”
Journal of Glaciology. Cambridge University Press, 2011. https://doi.org/10.3189/002214311796406013.'
ieee: 'F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, and P. Burlando,
“Transmission of solar radiation through clouds on melting glaciers: A comparison
of parameterizations and their impact on melt modelling,” Journal of Glaciology,
vol. 57, no. 202. Cambridge University Press, pp. 367–381, 2011.'
ista: 'Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. 2011. Transmission
of solar radiation through clouds on melting glaciers: A comparison of parameterizations
and their impact on melt modelling. Journal of Glaciology. 57(202), 367–381.'
mla: 'Pellicciotti, Francesca, et al. “Transmission of Solar Radiation through Clouds
on Melting Glaciers: A Comparison of Parameterizations and Their Impact on Melt
Modelling.” Journal of Glaciology, vol. 57, no. 202, Cambridge University
Press, 2011, pp. 367–81, doi:10.3189/002214311796406013.'
short: F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal
of Glaciology 57 (2011) 367–381.
date_created: 2023-02-20T08:18:21Z
date_published: 2011-03-01T00:00:00Z
date_updated: 2023-02-20T09:47:00Z
day: '01'
doi: 10.3189/002214311796406013
extern: '1'
intvolume: ' 57'
issue: '202'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3189/002214311796406013
month: '03'
oa: 1
oa_version: Published Version
page: 367-381
publication: Journal of Glaciology
publication_identifier:
eissn:
- 1727-5652
issn:
- 0022-1430
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Transmission of solar radiation through clouds on melting glaciers: A comparison
of parameterizations and their impact on melt modelling'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 57
year: '2011'
...
---
_id: '9144'
abstract:
- lang: eng
text: "A cloud-resolving model is used to investigate the effect of warming on high
percentiles of precipitation (precipitation extremes) in the idealized setting
of radiative-convective equilibrium. While this idealized setting does not allow
for several factors that influence precipitation in the tropics, it does allow
for an evaluation of the response of precipitation extremes to warming in simulations
with resolved rather than parameterized convection. The methodology developed
should also be applicable to less idealized simulations.\r\n\r\nModeled precipitation
extremes are found to increase in magnitude in response to an increase in sea
surface temperature. A dry static energy budget is used to relate the changes
in precipitation extremes to changes in atmospheric temperature, vertical velocity,
and precipitation efficiency. To first order, the changes in precipitation extremes
are captured by changes in the mean temperature structure of the atmosphere. Changes
in vertical velocities play a secondary role and tend to weaken the strength of
precipitation extremes, despite an intensification of updraft velocities in the
upper troposphere. The influence of changes in condensate transports on precipitation
extremes is quantified in terms of a precipitation efficiency; it does not change
greatly with warming.\r\n\r\nTropical precipitation extremes have previously been
found to increase at a greater fractional rate than the amount of atmospheric
water vapor in observations of present-day variability and in some climate model
simulations with parameterized convection. But the fractional increases in precipitation
extremes in the cloud-resolving simulations are comparable in magnitude to those
in surface water vapor concentrations (owing to a partial cancellation between
dynamical and thermodynamical changes), and are substantially less than the fractional
increases in column water vapor."
article_processing_charge: No
article_type: original
author:
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
- first_name: Paul A.
full_name: O’Gorman, Paul A.
last_name: O’Gorman
- first_name: Larissa E.
full_name: Back, Larissa E.
last_name: Back
citation:
ama: Muller CJ, O’Gorman PA, Back LE. Intensification of precipitation extremes
with warming in a cloud-resolving model. Journal of Climate. 2011;24(11):2784-2800.
doi:10.1175/2011jcli3876.1
apa: Muller, C. J., O’Gorman, P. A., & Back, L. E. (2011). Intensification of
precipitation extremes with warming in a cloud-resolving model. Journal of
Climate. American Meteorological Society. https://doi.org/10.1175/2011jcli3876.1
chicago: Muller, Caroline J, Paul A. O’Gorman, and Larissa E. Back. “Intensification
of Precipitation Extremes with Warming in a Cloud-Resolving Model.” Journal
of Climate. American Meteorological Society, 2011. https://doi.org/10.1175/2011jcli3876.1.
ieee: C. J. Muller, P. A. O’Gorman, and L. E. Back, “Intensification of precipitation
extremes with warming in a cloud-resolving model,” Journal of Climate,
vol. 24, no. 11. American Meteorological Society, pp. 2784–2800, 2011.
ista: Muller CJ, O’Gorman PA, Back LE. 2011. Intensification of precipitation extremes
with warming in a cloud-resolving model. Journal of Climate. 24(11), 2784–2800.
mla: Muller, Caroline J., et al. “Intensification of Precipitation Extremes with
Warming in a Cloud-Resolving Model.” Journal of Climate, vol. 24, no. 11,
American Meteorological Society, 2011, pp. 2784–800, doi:10.1175/2011jcli3876.1.
short: C.J. Muller, P.A. O’Gorman, L.E. Back, Journal of Climate 24 (2011) 2784–2800.
date_created: 2021-02-15T14:39:57Z
date_published: 2011-06-01T00:00:00Z
date_updated: 2022-01-24T13:52:46Z
day: '01'
doi: 10.1175/2011jcli3876.1
extern: '1'
intvolume: ' 24'
issue: '11'
keyword:
- Atmospheric Science
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1175/2011JCLI3876.1
month: '06'
oa: 1
oa_version: Published Version
page: 2784-2800
publication: Journal of Climate
publication_identifier:
eissn:
- 1520-0442
issn:
- 0894-8755
publication_status: published
publisher: American Meteorological Society
quality_controlled: '1'
status: public
title: Intensification of precipitation extremes with warming in a cloud-resolving
model
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 24
year: '2011'
...
---
_id: '923'
abstract:
- lang: eng
text: The conserved role of Notch signaling in controlling intestinal cell fate
specification and homeostasis has been extensively studied. Nevertheless, the
precise identity of the cells in which Notch signaling is active and the role
of different Notch receptor paralogues in the intestine remain ambiguous, due
to the lack of reliable tools to investigate Notch expression and function in
vivo. We generated a new series of transgenic mice that allowed us, by lineage
analysis, to formally prove that Notch1 and Notch2 are specifically expressed
in crypt stem cells. In addition, a novel Notch reporter mouse, Hes1-EmGFP SAT,
demonstrated exclusive Notch activity in crypt stem cells and absorptive progenitors.
This roster of knock-in and reporter mice represents a valuable resource to functionally
explore the Notch pathway in vivo in virtually all tissues.
article_number: e25785
author:
- first_name: Silvia
full_name: Fré, Silvia
last_name: Fré
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Sanja
full_name: Šale, Sanja
last_name: Šale
- first_name: Mathilde
full_name: Huyghe, Mathilde
last_name: Huyghe
- first_name: Daniel
full_name: Lafkas, Daniel
last_name: Lafkas
- first_name: Holger
full_name: Kissel, Holger
last_name: Kissel
- first_name: Angeliki
full_name: Louvi, Angeliki
last_name: Louvi
- first_name: Jeffrey
full_name: Greve, Jeffrey
last_name: Greve
- first_name: Daniel
full_name: Louvard, Daniel
last_name: Louvard
- first_name: Spyros
full_name: Artavanis Tsakonas, Spyros
last_name: Artavanis Tsakonas
citation:
ama: Fré S, Hannezo EB, Šale S, et al. Notch lineages and activity in intestinal
stem cells determined by a new set of knock in mice. PLoS One. 2011;6(10).
doi:10.1371/journal.pone.0025785
apa: Fré, S., Hannezo, E. B., Šale, S., Huyghe, M., Lafkas, D., Kissel, H., … Artavanis
Tsakonas, S. (2011). Notch lineages and activity in intestinal stem cells determined
by a new set of knock in mice. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0025785
chicago: Fré, Silvia, Edouard B Hannezo, Sanja Šale, Mathilde Huyghe, Daniel Lafkas,
Holger Kissel, Angeliki Louvi, Jeffrey Greve, Daniel Louvard, and Spyros Artavanis
Tsakonas. “Notch Lineages and Activity in Intestinal Stem Cells Determined by
a New Set of Knock in Mice.” PLoS One. Public Library of Science, 2011.
https://doi.org/10.1371/journal.pone.0025785.
ieee: S. Fré et al., “Notch lineages and activity in intestinal stem cells
determined by a new set of knock in mice,” PLoS One, vol. 6, no. 10. Public
Library of Science, 2011.
ista: Fré S, Hannezo EB, Šale S, Huyghe M, Lafkas D, Kissel H, Louvi A, Greve J,
Louvard D, Artavanis Tsakonas S. 2011. Notch lineages and activity in intestinal
stem cells determined by a new set of knock in mice. PLoS One. 6(10), e25785.
mla: Fré, Silvia, et al. “Notch Lineages and Activity in Intestinal Stem Cells Determined
by a New Set of Knock in Mice.” PLoS One, vol. 6, no. 10, e25785, Public
Library of Science, 2011, doi:10.1371/journal.pone.0025785.
short: S. Fré, E.B. Hannezo, S. Šale, M. Huyghe, D. Lafkas, H. Kissel, A. Louvi,
J. Greve, D. Louvard, S. Artavanis Tsakonas, PLoS One 6 (2011).
date_created: 2018-12-11T11:49:13Z
date_published: 2011-10-03T00:00:00Z
date_updated: 2021-01-12T08:21:56Z
day: '03'
ddc:
- '570'
doi: 10.1371/journal.pone.0025785
extern: '1'
file:
- access_level: open_access
checksum: b4e864125dfcb9fa57a9e01688838081
content_type: application/pdf
creator: dernst
date_created: 2019-05-10T11:20:26Z
date_updated: 2020-07-14T12:48:15Z
file_id: '6401'
file_name: 2011_PLOS1_Fre.PDF
file_size: 2860615
relation: main_file
file_date_updated: 2020-07-14T12:48:15Z
has_accepted_license: '1'
intvolume: ' 6'
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '6520'
quality_controlled: '1'
status: public
title: Notch lineages and activity in intestinal stem cells determined by a new set
of knock in mice
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2011'
...