---
_id: '297'
abstract:
- lang: eng
text: Graph games played by two players over finite-state graphs are central in
many problems in computer science. In particular, graph games with ω -regular
winning conditions, specified as parity objectives, which can express properties
such as safety, liveness, fairness, are the basic framework for verification and
synthesis of reactive systems. The decisions for a player at various states of
the graph game are represented as strategies. While the algorithmic problem for
solving graph games with parity objectives has been widely studied, the most prominent
data-structure for strategy representation in graph games has been binary decision
diagrams (BDDs). However, due to the bit-level representation, BDDs do not retain
the inherent flavor of the decisions of strategies, and are notoriously hard to
minimize to obtain succinct representation. In this work we propose decision trees
for strategy representation in graph games. Decision trees retain the flavor of
decisions of strategies and allow entropy-based minimization to obtain succinct
trees. However, decision trees work in settings (e.g., probabilistic models) where
errors are allowed, and overfitting of data is typically avoided. In contrast,
for strategies in graph games no error is allowed, and the decision tree must
represent the entire strategy. We develop new techniques to extend decision trees
to overcome the above obstacles, while retaining the entropy-based techniques
to obtain succinct trees. We have implemented our techniques to extend the existing
decision tree solvers. We present experimental results for problems in reactive
synthesis to show that decision trees provide a much more efficient data-structure
for strategy representation as compared to BDDs.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Tomáš
full_name: Brázdil, Tomáš
last_name: Brázdil
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Viktor
full_name: Toman, Viktor
id: 3AF3DA7C-F248-11E8-B48F-1D18A9856A87
last_name: Toman
orcid: 0000-0001-9036-063X
citation:
ama: 'Brázdil T, Chatterjee K, Kretinsky J, Toman V. Strategy representation by
decision trees in reactive synthesis. In: Vol 10805. Springer; 2018:385-407. doi:10.1007/978-3-319-89960-2_21'
apa: 'Brázdil, T., Chatterjee, K., Kretinsky, J., & Toman, V. (2018). Strategy
representation by decision trees in reactive synthesis (Vol. 10805, pp. 385–407).
Presented at the TACAS 2018: Tools and Algorithms for the Construction and Analysis
of Systems, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89960-2_21'
chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman.
“Strategy Representation by Decision Trees in Reactive Synthesis,” 10805:385–407.
Springer, 2018. https://doi.org/10.1007/978-3-319-89960-2_21.
ieee: 'T. Brázdil, K. Chatterjee, J. Kretinsky, and V. Toman, “Strategy representation
by decision trees in reactive synthesis,” presented at the TACAS 2018: Tools and
Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece,
2018, vol. 10805, pp. 385–407.'
ista: 'Brázdil T, Chatterjee K, Kretinsky J, Toman V. 2018. Strategy representation
by decision trees in reactive synthesis. TACAS 2018: Tools and Algorithms for
the Construction and Analysis of Systems, LNCS, vol. 10805, 385–407.'
mla: Brázdil, Tomáš, et al. Strategy Representation by Decision Trees in Reactive
Synthesis. Vol. 10805, Springer, 2018, pp. 385–407, doi:10.1007/978-3-319-89960-2_21.
short: T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp.
385–407.
conference:
end_date: 2018-04-20
location: Thessaloniki, Greece
name: 'TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2018-04-14
date_created: 2018-12-11T11:45:41Z
date_published: 2018-04-12T00:00:00Z
date_updated: 2025-03-31T16:01:11Z
day: '12'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-89960-2_21
ec_funded: 1
external_id:
isi:
- '000546326300021'
file:
- access_level: open_access
checksum: b13874ffb114932ad9cc2586b7469db4
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:29:08Z
date_updated: 2020-07-14T12:45:57Z
file_id: '5723'
file_name: 2018_LNCS_Brazdil.pdf
file_size: 1829940
relation: main_file
file_date_updated: 2020-07-14T12:45:57Z
fulldoi: https://doi.org/10.1007/978-3-319-89960-2_21
has_accepted_license: '1'
intvolume: ' 10805'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 385 - 407
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication_status: published
publisher: Springer
publist_id: '7584'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Strategy representation by decision trees in reactive synthesis
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10805
year: '2018'
...
---
_id: '298'
abstract:
- lang: eng
text: "Memory-hard functions (MHF) are functions whose evaluation cost is dominated
by memory cost. MHFs are egalitarian, in the sense that evaluating them on dedicated
hardware (like FPGAs or ASICs) is not much cheaper than on off-the-shelf hardware
(like x86 CPUs). MHFs have interesting cryptographic applications, most notably
to password hashing and securing blockchains.\r\n\r\nAlwen and Serbinenko [STOC’15]
define the cumulative memory complexity (cmc) of a function as the sum (over all
time-steps) of the amount of memory required to compute the function. They advocate
that a good MHF must have high cmc. Unlike previous notions, cmc takes into account
that dedicated hardware might exploit amortization and parallelism. Still, cmc
has been critizised as insufficient, as it fails to capture possible time-memory
trade-offs; as memory cost doesn’t scale linearly, functions with the same cmc
could still have very different actual hardware cost.\r\n\r\nIn this work we address
this problem, and introduce the notion of sustained-memory complexity, which requires
that any algorithm evaluating the function must use a large amount of memory for
many steps. We construct functions (in the parallel random oracle model) whose
sustained-memory complexity is almost optimal: our function can be evaluated using
n steps and O(n/log(n)) memory, in each step making one query to the (fixed-input
length) random oracle, while any algorithm that can make arbitrary many parallel
queries to the random oracle, still needs Ω(n/log(n)) memory for Ω(n) steps.\r\n\r\nAs
has been done for various notions (including cmc) before, we reduce the task of
constructing an MHFs with high sustained-memory complexity to proving pebbling
lower bounds on DAGs. Our main technical contribution is the construction is a
family of DAGs on n nodes with constant indegree with high “sustained-space complexity”,
meaning that any parallel black-pebbling strategy requires Ω(n/log(n)) pebbles
for at least Ω(n) steps.\r\n\r\nAlong the way we construct a family of maximally
“depth-robust” DAGs with maximum indegree O(logn) , improving upon the construction
of Mahmoody et al. [ITCS’13] which had maximum indegree O(log2n⋅"
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Joel F
full_name: Alwen, Joel F
id: 2A8DFA8C-F248-11E8-B48F-1D18A9856A87
last_name: Alwen
- first_name: Jeremiah
full_name: Blocki, Jeremiah
last_name: Blocki
- 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: 'Alwen JF, Blocki J, Pietrzak KZ. Sustained space complexity. In: Vol 10821.
Springer; 2018:99-130. doi:10.1007/978-3-319-78375-8_4'
apa: 'Alwen, J. F., Blocki, J., & Pietrzak, K. Z. (2018). Sustained space complexity
(Vol. 10821, pp. 99–130). Presented at the Eurocrypt: Advances in Cryptology,
Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78375-8_4'
chicago: Alwen, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Sustained Space
Complexity,” 10821:99–130. Springer, 2018. https://doi.org/10.1007/978-3-319-78375-8_4.
ieee: 'J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Sustained space complexity,”
presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol.
10821, pp. 99–130.'
ista: 'Alwen JF, Blocki J, Pietrzak KZ. 2018. Sustained space complexity. Eurocrypt:
Advances in Cryptology, LNCS, vol. 10821, 99–130.'
mla: Alwen, Joel F., et al. Sustained Space Complexity. Vol. 10821, Springer,
2018, pp. 99–130, doi:10.1007/978-3-319-78375-8_4.
short: J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, Springer, 2018, pp. 99–130.
conference:
end_date: 2018-05-03
location: Tel Aviv, Israel
name: 'Eurocrypt: Advances in Cryptology'
start_date: 2018-04-29
date_created: 2018-12-11T11:45:41Z
date_published: 2018-03-31T00:00:00Z
date_updated: 2025-07-10T11:52:24Z
day: '31'
department:
- _id: KrPi
doi: 10.1007/978-3-319-78375-8_4
ec_funded: 1
external_id:
arxiv:
- '1705.05313'
isi:
- '000517098700004'
fulldoi: https://doi.org/10.1007/978-3-319-78375-8_4
intvolume: ' 10821'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1705.05313
month: '03'
oa: 1
oa_version: Preprint
page: 99 - 130
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_status: published
publisher: Springer
publist_id: '7583'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sustained space complexity
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10821
year: '2018'
...
---
_id: '299'
abstract:
- lang: eng
text: We introduce in this paper AMT 2.0 , a tool for qualitative and quantitative
analysis of hybrid continuous and Boolean signals that combine numerical values
and discrete events. The evaluation of the signals is based on rich temporal specifications
expressed in extended Signal Temporal Logic (xSTL), which integrates Timed Regular
Expressions (TRE) within Signal Temporal Logic (STL). The tool features qualitative
monitoring (property satisfaction checking), trace diagnostics for explaining
and justifying property violations and specification-driven measurement of quantitative
features of the signal.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
- first_name: Olivier
full_name: Lebeltel, Olivier
last_name: Lebeltel
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Dogan
full_name: Ulus, Dogan
last_name: Ulus
citation:
ama: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and
quantitative trace analysis with extended signal temporal logic. In: Beyer D,
Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:10.1007/978-3-319-89963-3_18'
apa: 'Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2018).
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal
logic. In D. Beyer & M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented
at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89963-3_18'
chicago: 'Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan
Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal
Temporal Logic.” edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer,
2018. https://doi.org/10.1007/978-3-319-89963-3_18.'
ieee: 'D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative
and quantitative trace analysis with extended signal temporal logic,” presented
at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.'
ista: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2018. AMT 2.0: Qualitative
and quantitative trace analysis with extended signal temporal logic. TACAS: Tools
and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10806,
303–319.'
mla: 'Nickovic, Dejan, et al. AMT 2.0: Qualitative and Quantitative Trace Analysis
with Extended Signal Temporal Logic. Edited by Dirk Beyer and Marieke Huisman,
vol. 10806, Springer, 2018, pp. 303–19, doi:10.1007/978-3-319-89963-3_18.'
short: D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M.
Huisman (Eds.), Springer, 2018, pp. 303–319.
conference:
end_date: 2018-04-20
location: Thessaloniki, Greece
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2018-04-14
corr_author: '1'
date_created: 2018-12-11T11:45:41Z
date_published: 2018-04-14T00:00:00Z
date_updated: 2024-10-09T20:58:19Z
day: '14'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-89963-3_18
editor:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Marieke
full_name: Huisman, Marieke
last_name: Huisman
external_id:
isi:
- '00445822600018'
file:
- access_level: open_access
checksum: e11db3b9c8e27a1c7d1c738cc5e4d25a
content_type: application/pdf
creator: dernst
date_created: 2019-02-06T07:33:05Z
date_updated: 2020-07-14T12:45:58Z
file_id: '5928'
file_name: 2018_LNCS_Nickovic.pdf
file_size: 3267209
relation: main_file
file_date_updated: 2020-07-14T12:45:58Z
fulldoi: https://doi.org/10.1007/978-3-319-89963-3_18
has_accepted_license: '1'
intvolume: ' 10806'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 303 - 319
publication_status: published
publisher: Springer
publist_id: '7582'
quality_controlled: '1'
related_material:
record:
- id: '10861'
relation: later_version
status: public
scopus_import: '1'
status: public
title: 'AMT 2.0: Qualitative and quantitative trace analysis with extended signal
temporal logic'
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10806
year: '2018'
...
---
_id: '300'
abstract:
- lang: eng
text: We introduce a formal quantitative notion of “bit security” for a general
type of cryptographic games (capturing both decision and search problems), aimed
at capturing the intuition that a cryptographic primitive with k-bit security
is as hard to break as an ideal cryptographic function requiring a brute force
attack on a k-bit key space. Our new definition matches the notion of bit security
commonly used by cryptographers and cryptanalysts when studying search (e.g.,
key recovery) problems, where the use of the traditional definition is well established.
However, it produces a quantitatively different metric in the case of decision
(indistinguishability) problems, where the use of (a straightforward generalization
of) the traditional definition is more problematic and leads to a number of paradoxical
situations or mismatches between theoretical/provable security and practical/common
sense intuition. Key to our new definition is to consider adversaries that may
explicitly declare failure of the attack. We support and justify the new definition
by proving a number of technical results, including tight reductions between several
standard cryptographic problems, a new hybrid theorem that preserves bit security,
and an application to the security analysis of indistinguishability primitives
making use of (approximate) floating point numbers. This is the first result showing
that (standard precision) 53-bit floating point numbers can be used to achieve
100-bit security in the context of cryptographic primitives with general indistinguishability-based
security definitions. Previous results of this type applied only to search problems,
or special types of decision problems.
acknowledgement: Research supported in part by the Defense Advanced Research Projects
Agency (DARPA) and the U.S. Army Research Office under the SafeWare program. Opinions,
findings and conclusions or recommendations expressed in this material are those
of the author(s) and do not necessarily reflect the views, position or policy of
the Government. The second author was also supported by the European Research Council,
ERC consolidator grant (682815 - TOCNeT).
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Daniele
full_name: Micciancio, Daniele
last_name: Micciancio
- first_name: Michael
full_name: Walter, Michael
id: 488F98B0-F248-11E8-B48F-1D18A9856A87
last_name: Walter
orcid: 0000-0003-3186-2482
citation:
ama: 'Micciancio D, Walter M. On the bit security of cryptographic primitives. In:
Vol 10820. Springer; 2018:3-28. doi:10.1007/978-3-319-78381-9_1'
apa: 'Micciancio, D., & Walter, M. (2018). On the bit security of cryptographic
primitives (Vol. 10820, pp. 3–28). Presented at the Eurocrypt: Advances in Cryptology,
Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78381-9_1'
chicago: Micciancio, Daniele, and Michael Walter. “On the Bit Security of Cryptographic
Primitives,” 10820:3–28. Springer, 2018. https://doi.org/10.1007/978-3-319-78381-9_1.
ieee: 'D. Micciancio and M. Walter, “On the bit security of cryptographic primitives,”
presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol.
10820, pp. 3–28.'
ista: 'Micciancio D, Walter M. 2018. On the bit security of cryptographic primitives.
Eurocrypt: Advances in Cryptology, LNCS, vol. 10820, 3–28.'
mla: Micciancio, Daniele, and Michael Walter. On the Bit Security of Cryptographic
Primitives. Vol. 10820, Springer, 2018, pp. 3–28, doi:10.1007/978-3-319-78381-9_1.
short: D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
conference:
end_date: 2018-05-03
location: Tel Aviv, Israel
name: 'Eurocrypt: Advances in Cryptology'
start_date: 2018-04-29
corr_author: '1'
date_created: 2018-12-11T11:45:42Z
date_published: 2018-03-31T00:00:00Z
date_updated: 2025-04-14T07:22:06Z
day: '31'
department:
- _id: KrPi
doi: 10.1007/978-3-319-78381-9_1
ec_funded: 1
external_id:
isi:
- '000517097500001'
fulldoi: https://doi.org/10.1007/978-3-319-78381-9_1
intvolume: ' 10820'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2018/077
month: '03'
oa: 1
oa_version: Submitted Version
page: 3 - 28
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_status: published
publisher: Springer
publist_id: '7581'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the bit security of cryptographic primitives
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10820
year: '2018'
...
---
_id: '302'
abstract:
- lang: eng
text: At ITCS 2013, Mahmoody, Moran and Vadhan [MMV13] introduce and construct publicly
verifiable proofs of sequential work, which is a protocol for proving that one
spent sequential computational work related to some statement. The original motivation
for such proofs included non-interactive time-stamping and universally verifiable
CPU benchmarks. A more recent application, and our main motivation, are blockchain
designs, where proofs of sequential work can be used – in combination with proofs
of space – as a more ecological and economical substitute for proofs of work which
are currently used to secure Bitcoin and other cryptocurrencies. The construction
proposed by [MMV13] is based on a hash function and can be proven secure in the
random oracle model, or assuming inherently sequential hash-functions, which is
a new standard model assumption introduced in their work. In a proof of sequential
work, a prover gets a “statement” χ, a time parameter N and access to a hash-function
H, which for the security proof is modelled as a random oracle. Correctness requires
that an honest prover can make a verifier accept making only N queries to H, while
soundness requires that any prover who makes the verifier accept must have made
(almost) N sequential queries to H. Thus a solution constitutes a proof that N
time passed since χ was received. Solutions must be publicly verifiable in time
at most polylogarithmic in N. The construction of [MMV13] is based on “depth-robust”
graphs, and as a consequence has rather poor concrete parameters. But the major
drawback is that the prover needs not just N time, but also N space to compute
a proof. In this work we propose a proof of sequential work which is much simpler,
more efficient and achieves much better concrete bounds. Most importantly, the
space required can be as small as log (N) (but we get better soundness using slightly
more memory than that). An open problem stated by [MMV13] that our construction
does not solve either is achieving a “unique” proof, where even a cheating prover
can only generate a single accepting proof. This property would be extremely useful
for applications to blockchains.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bram
full_name: Cohen, Bram
last_name: Cohen
- 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: 'Cohen B, Pietrzak KZ. Simple proofs of sequential work. In: Vol 10821. Springer;
2018:451-467. doi:10.1007/978-3-319-78375-8_15'
apa: 'Cohen, B., & Pietrzak, K. Z. (2018). Simple proofs of sequential work
(Vol. 10821, pp. 451–467). Presented at the Eurocrypt: Advances in Cryptology,
Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78375-8_15'
chicago: Cohen, Bram, and Krzysztof Z Pietrzak. “Simple Proofs of Sequential Work,”
10821:451–67. Springer, 2018. https://doi.org/10.1007/978-3-319-78375-8_15.
ieee: 'B. Cohen and K. Z. Pietrzak, “Simple proofs of sequential work,” presented
at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821,
pp. 451–467.'
ista: 'Cohen B, Pietrzak KZ. 2018. Simple proofs of sequential work. Eurocrypt:
Advances in Cryptology, LNCS, vol. 10821, 451–467.'
mla: Cohen, Bram, and Krzysztof Z. Pietrzak. Simple Proofs of Sequential Work.
Vol. 10821, Springer, 2018, pp. 451–67, doi:10.1007/978-3-319-78375-8_15.
short: B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
conference:
end_date: 2018-05-03
location: Tel Aviv, Israel
name: 'Eurocrypt: Advances in Cryptology'
start_date: 2018-04-29
date_created: 2018-12-11T11:45:42Z
date_published: 2018-05-29T00:00:00Z
date_updated: 2025-04-14T07:22:06Z
day: '29'
department:
- _id: KrPi
doi: 10.1007/978-3-319-78375-8_15
ec_funded: 1
external_id:
isi:
- '000517098700015'
fulldoi: https://doi.org/10.1007/978-3-319-78375-8_15
intvolume: ' 10821'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2018/183.pdf
month: '05'
oa: 1
oa_version: Submitted Version
page: 451 - 467
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_status: published
publisher: Springer
publist_id: '7579'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Simple proofs of sequential work
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10821
year: '2018'
...
---
_id: '303'
abstract:
- lang: eng
text: The theory of tropical series, that we develop here, firstly appeared in the
study of the growth of pluriharmonic functions. Motivated by waves in sandpile
models we introduce a dynamic on the set of tropical series, and it is experimentally
observed that this dynamic obeys a power law. So, this paper serves as a compilation
of results we need for other articles and also introduces several objects interesting
by themselves.
acknowledgement: The first author, Nikita Kalinin, is funded by SNCF PostDoc.Mobility
grant 168647. Support from the Basic Research Program of the National Research University
Higher School of Economics is gratefully acknowledged. The second author, Mikhail
Shkolnikov, is supported in part by the grant 159240 of the Swiss National Science
Foundation as well as by the National Center of Competence in Research SwissMAP
of the Swiss National Science Foundation.
article_processing_charge: No
arxiv: 1
author:
- first_name: Nikita
full_name: Kalinin, Nikita
last_name: Kalinin
- first_name: Mikhail
full_name: Shkolnikov, Mikhail
id: 35084A62-F248-11E8-B48F-1D18A9856A87
last_name: Shkolnikov
orcid: 0000-0002-4310-178X
citation:
ama: Kalinin N, Shkolnikov M. Introduction to tropical series and wave dynamic on
them. Discrete and Continuous Dynamical Systems- Series A. 2018;38(6):2827-2849.
doi:10.3934/dcds.2018120
apa: Kalinin, N., & Shkolnikov, M. (2018). Introduction to tropical series and
wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A.
AIMS. https://doi.org/10.3934/dcds.2018120
chicago: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series
and Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series
A. AIMS, 2018. https://doi.org/10.3934/dcds.2018120.
ieee: N. Kalinin and M. Shkolnikov, “Introduction to tropical series and wave dynamic
on them,” Discrete and Continuous Dynamical Systems- Series A, vol. 38,
no. 6. AIMS, pp. 2827–2849, 2018.
ista: Kalinin N, Shkolnikov M. 2018. Introduction to tropical series and wave dynamic
on them. Discrete and Continuous Dynamical Systems- Series A. 38(6), 2827–2849.
mla: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series and
Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series A,
vol. 38, no. 6, AIMS, 2018, pp. 2827–49, doi:10.3934/dcds.2018120.
short: N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series
A 38 (2018) 2827–2849.
date_created: 2018-12-11T11:45:43Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-12T07:45:37Z
day: '01'
department:
- _id: TaHa
doi: 10.3934/dcds.2018120
external_id:
arxiv:
- '1706.03062'
isi:
- '000438818400007'
fulldoi: https://doi.org/10.3934/dcds.2018120
intvolume: ' 38'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1706.03062
month: '06'
oa: 1
oa_version: Submitted Version
page: 2827 - 2849
publication: Discrete and Continuous Dynamical Systems- Series A
publication_status: published
publisher: AIMS
publist_id: '7576'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Introduction to tropical series and wave dynamic on them
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 38
year: '2018'
...
---
_id: '304'
abstract:
- lang: eng
text: "Additive manufacturing has recently seen drastic improvements in resolution,
making it now possible to fabricate features at scales of hundreds or even dozens
of nanometers, which previously required very expensive lithographic methods.\r\nAs
a result, additive manufacturing now seems poised for optical applications, including
those relevant to computer graphics, such as material design, as well as display
and imaging applications.\r\n \r\nIn this work, we explore the use of additive
manufacturing for generating structural colors, where the structures are designed
using a fabrication-aware optimization process.\r\nThis requires a combination
of full-wave simulation, a feasible parameterization of the design space, and
a tailored optimization procedure.\r\nMany of these components should be re-usable
for the design of other optical structures at this scale.\r\n \r\nWe show initial
results of material samples fabricated based on our designs.\r\nWhile these suffer
from the prototype character of state-of-the-art fabrication hardware, we believe
they clearly demonstrate the potential of additive nanofabrication for structural
colors and other graphics applications."
acknowledgement: This work was in part supported by King Abdullah University of Science
and Technology Baseline Funding.
alternative_title:
- ACM Transactions on Graphics
article_number: '159'
article_processing_charge: No
author:
- first_name: Thomas
full_name: Auzinger, Thomas
id: 4718F954-F248-11E8-B48F-1D18A9856A87
last_name: Auzinger
orcid: 0000-0002-1546-3265
- first_name: Wolfgang
full_name: Heidrich, Wolfgang
last_name: Heidrich
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
citation:
ama: Auzinger T, Heidrich W, Bickel B. Computational design of nanostructural color
for additive manufacturing. ACM Transactions on Graphics. 2018;37(4). doi:10.1145/3197517.3201376
apa: Auzinger, T., Heidrich, W., & Bickel, B. (2018). Computational design of
nanostructural color for additive manufacturing. ACM Transactions on Graphics.
ACM. https://doi.org/10.1145/3197517.3201376
chicago: Auzinger, Thomas, Wolfgang Heidrich, and Bernd Bickel. “Computational Design
of Nanostructural Color for Additive Manufacturing.” ACM Transactions on Graphics.
ACM, 2018. https://doi.org/10.1145/3197517.3201376.
ieee: T. Auzinger, W. Heidrich, and B. Bickel, “Computational design of nanostructural
color for additive manufacturing,” ACM Transactions on Graphics, vol. 37,
no. 4. ACM, 2018.
ista: Auzinger T, Heidrich W, Bickel B. 2018. Computational design of nanostructural
color for additive manufacturing. ACM Transactions on Graphics. 37(4), 159.
mla: Auzinger, Thomas, et al. “Computational Design of Nanostructural Color for
Additive Manufacturing.” ACM Transactions on Graphics, vol. 37, no. 4,
159, ACM, 2018, doi:10.1145/3197517.3201376.
short: T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
date_created: 2018-12-11T11:45:43Z
date_published: 2018-08-01T00:00:00Z
date_updated: 2025-04-14T07:28:57Z
day: '01'
ddc:
- '000'
- '535'
- '680'
department:
- _id: BeBi
doi: 10.1145/3197517.3201376
ec_funded: 1
external_id:
isi:
- '000448185000120'
file:
- access_level: open_access
checksum: dcdcc955a4c1c6d2599aeebb97d2e7b9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:14Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5334'
file_name: IST-2018-1024-v1+1_NanoStructColor-Auzinger-paper.pdf
file_size: 10751684
relation: main_file
- access_level: open_access
checksum: cae52b3a8d5e97be84771cd61ea2f75e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:15Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5335'
file_name: IST-2018-1024-v1+2_NanoStructColor-Auzinger-supplemental.pdf
file_size: 20755095
relation: main_file
- access_level: open_access
checksum: 76dd90648f75779d3f64e324b6daaffe
content_type: image/jpeg
creator: system
date_created: 2018-12-12T10:18:16Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5336'
file_name: IST-2018-1024-v1+3_NanoStructColor-Auzinger-image.jpg
file_size: 2186944
relation: main_file
- access_level: open_access
checksum: c3a5b775a0ecdb20ccefb8d9646ec140
content_type: application/x-7z-compressed
creator: system
date_created: 2018-12-12T10:18:17Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5337'
file_name: IST-2018-1024-v1+4_NanoStructColor-Auzinger-blueprint.7z
file_size: 2734352
relation: main_file
- access_level: open_access
checksum: dcdcc955a4c1c6d2599aeebb97d2e7b9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:18Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5338'
file_name: IST-2018-1024-v2+1_NanoStructColor-Auzinger-paper.pdf
file_size: 10751684
relation: main_file
- access_level: open_access
checksum: 76dd90648f75779d3f64e324b6daaffe
content_type: image/jpeg
creator: system
date_created: 2018-12-12T10:18:19Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5339'
file_name: IST-2018-1024-v2+3_NanoStructColor-Auzinger-image.jpg
file_size: 2186944
relation: main_file
- access_level: open_access
checksum: c3a5b775a0ecdb20ccefb8d9646ec140
content_type: application/x-7z-compressed
creator: system
date_created: 2018-12-12T10:18:20Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5340'
file_name: IST-2018-1024-v2+4_NanoStructColor-Auzinger-blueprint.7z
file_size: 2734352
relation: main_file
- access_level: open_access
checksum: 667e91b686db41e44d855a4fb2137402
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:21Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5341'
file_name: IST-2018-1024-v2+5_NanoStructColor-Auzinger-supplemental.pdf
file_size: 20755762
relation: main_file
- access_level: open_access
checksum: dcdcc955a4c1c6d2599aeebb97d2e7b9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:22Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5342'
file_name: IST-2018-1024-v3+1_NanoStructColor-Auzinger-paper.pdf
file_size: 10751684
relation: main_file
- access_level: open_access
checksum: 76dd90648f75779d3f64e324b6daaffe
content_type: image/jpeg
creator: system
date_created: 2018-12-12T10:18:22Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5343'
file_name: IST-2018-1024-v3+3_NanoStructColor-Auzinger-image.jpg
file_size: 2186944
relation: main_file
- access_level: open_access
checksum: c3a5b775a0ecdb20ccefb8d9646ec140
content_type: application/x-7z-compressed
creator: system
date_created: 2018-12-12T10:18:23Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5344'
file_name: IST-2018-1024-v3+4_NanoStructColor-Auzinger-blueprint.7z
file_size: 2734352
relation: main_file
- access_level: open_access
checksum: 667e91b686db41e44d855a4fb2137402
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:24Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5345'
file_name: IST-2018-1024-v3+5_NanoStructColor-Auzinger-supplemental.pdf
file_size: 20755762
relation: main_file
- access_level: open_access
checksum: 72dce35388fb1aa7953df4d9ae3d02f1
content_type: application/vnd.openxmlformats-officedocument.presentationml.presentation
creator: system
date_created: 2018-12-12T10:18:25Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5346'
file_name: IST-2018-1024-v3+6_NanoStructColor-Auzinger-presentation.pptx
file_size: 69698068
relation: main_file
file_date_updated: 2020-07-14T12:45:59Z
fulldoi: https://doi.org/10.1145/3197517.3201376
has_accepted_license: '1'
intvolume: ' 37'
isi: 1
issue: '4'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715767'
name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
Modeling'
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
pubrep_id: '1028'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/color-effects-from-transparent-3d-printed-nanostructures/
scopus_import: '1'
status: public
title: Computational design of nanostructural color for additive manufacturing
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 37
year: '2018'
...
---
_id: '305'
abstract:
- lang: eng
text: The hanging-drop network (HDN) is a technology platform based on a completely
open microfluidic network at the bottom of an inverted, surface-patterned substrate.
The platform is predominantly used for the formation, culturing, and interaction
of self-assembled spherical microtissues (spheroids) under precisely controlled
flow conditions. Here, we describe design, fabrication, and operation of microfluidic
hanging-drop networks.
acknowledgement: This work was financially supported by FP7 of the EU through the
project “Body on a chip,” ICT-FET-296257, and the ERC Advanced Grant “NeuroCMOS”
(contract 267351), as well as by an individual Ambizione Grant 142440 from the Swiss
National Science Foundation for Olivier Frey. The research leading to these results
also received funding from the People Programme (Marie Curie Actions) of the European
Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no.
[291734]. We would like to thank Alexander Stettler, ETH Zurich for his expertise
and support in the cleanroom, and we acknowledge the Single Cell Unit of D-BSSE,
ETH Zurich for assistance in microscopy issues. M.L. is grateful to the members
of the Guet and Tkačik groups, IST Austria, for valuable comments and support.
alternative_title:
- MIMB
author:
- first_name: Patrick
full_name: Misun, Patrick
last_name: Misun
- first_name: Axel
full_name: Birchler, Axel
last_name: Birchler
- first_name: Moritz
full_name: Lang, Moritz
id: 29E0800A-F248-11E8-B48F-1D18A9856A87
last_name: Lang
- first_name: Andreas
full_name: Hierlemann, Andreas
last_name: Hierlemann
- first_name: Olivier
full_name: Frey, Olivier
last_name: Frey
citation:
ama: Misun P, Birchler A, Lang M, Hierlemann A, Frey O. Fabrication and operation
of microfluidic hanging drop networks. Methods in Molecular Biology. 2018;1771:183-202.
doi:10.1007/978-1-4939-7792-5_15
apa: Misun, P., Birchler, A., Lang, M., Hierlemann, A., & Frey, O. (2018). Fabrication
and operation of microfluidic hanging drop networks. Methods in Molecular Biology.
Springer. https://doi.org/10.1007/978-1-4939-7792-5_15
chicago: Misun, Patrick, Axel Birchler, Moritz Lang, Andreas Hierlemann, and Olivier
Frey. “Fabrication and Operation of Microfluidic Hanging Drop Networks.” Methods
in Molecular Biology. Springer, 2018. https://doi.org/10.1007/978-1-4939-7792-5_15.
ieee: P. Misun, A. Birchler, M. Lang, A. Hierlemann, and O. Frey, “Fabrication and
operation of microfluidic hanging drop networks,” Methods in Molecular Biology,
vol. 1771. Springer, pp. 183–202, 2018.
ista: Misun P, Birchler A, Lang M, Hierlemann A, Frey O. 2018. Fabrication and operation
of microfluidic hanging drop networks. Methods in Molecular Biology. 1771, 183–202.
mla: Misun, Patrick, et al. “Fabrication and Operation of Microfluidic Hanging Drop
Networks.” Methods in Molecular Biology, vol. 1771, Springer, 2018, pp.
183–202, doi:10.1007/978-1-4939-7792-5_15.
short: P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular
Biology 1771 (2018) 183–202.
date_created: 2018-12-11T11:45:43Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2021-01-12T07:40:42Z
day: '01'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1007/978-1-4939-7792-5_15
ec_funded: 1
fulldoi: https://doi.org/10.1007/978-1-4939-7792-5_15
intvolume: ' 1771'
language:
- iso: eng
month: '01'
oa_version: None
page: 183 - 202
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Methods in Molecular Biology
publication_status: published
publisher: Springer
publist_id: '7574'
quality_controlled: '1'
scopus_import: 1
status: public
title: Fabrication and operation of microfluidic hanging drop networks
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1771
year: '2018'
...
---
_id: '306'
abstract:
- lang: eng
text: A cornerstone of statistical inference, the maximum entropy framework is being
increasingly applied to construct descriptive and predictive models of biological
systems, especially complex biological networks, from large experimental data
sets. Both its broad applicability and the success it obtained in different contexts
hinge upon its conceptual simplicity and mathematical soundness. Here we try to
concisely review the basic elements of the maximum entropy principle, starting
from the notion of ‘entropy’, and describe its usefulness for the analysis of
biological systems. As examples, we focus specifically on the problem of reconstructing
gene interaction networks from expression data and on recent work attempting to
expand our system-level understanding of bacterial metabolism. Finally, we highlight
some extensions and potential limitations of the maximum entropy approach, and
point to more recent developments that are likely to play a key role in the upcoming
challenges of extracting structures and information from increasingly rich, high-throughput
biological data.
article_number: e00596
author:
- first_name: Andrea
full_name: De Martino, Andrea
last_name: De Martino
- first_name: Daniele
full_name: De Martino, Daniele
id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
last_name: De Martino
orcid: 0000-0002-5214-4706
citation:
ama: De Martino A, De Martino D. An introduction to the maximum entropy approach
and its application to inference problems in biology. Heliyon. 2018;4(4).
doi:10.1016/j.heliyon.2018.e00596
apa: De Martino, A., & De Martino, D. (2018). An introduction to the maximum
entropy approach and its application to inference problems in biology. Heliyon.
Elsevier. https://doi.org/10.1016/j.heliyon.2018.e00596
chicago: De Martino, Andrea, and Daniele De Martino. “An Introduction to the Maximum
Entropy Approach and Its Application to Inference Problems in Biology.” Heliyon.
Elsevier, 2018. https://doi.org/10.1016/j.heliyon.2018.e00596.
ieee: A. De Martino and D. De Martino, “An introduction to the maximum entropy approach
and its application to inference problems in biology,” Heliyon, vol. 4,
no. 4. Elsevier, 2018.
ista: De Martino A, De Martino D. 2018. An introduction to the maximum entropy approach
and its application to inference problems in biology. Heliyon. 4(4), e00596.
mla: De Martino, Andrea, and Daniele De Martino. “An Introduction to the Maximum
Entropy Approach and Its Application to Inference Problems in Biology.” Heliyon,
vol. 4, no. 4, e00596, Elsevier, 2018, doi:10.1016/j.heliyon.2018.e00596.
short: A. De Martino, D. De Martino, Heliyon 4 (2018).
corr_author: '1'
date_created: 2018-12-11T11:45:44Z
date_published: 2018-04-01T00:00:00Z
date_updated: 2024-10-09T20:58:19Z
day: '01'
ddc:
- '530'
department:
- _id: GaTk
doi: 10.1016/j.heliyon.2018.e00596
ec_funded: 1
file:
- access_level: open_access
checksum: 67010cf5e3b3e0637c659371714a715a
content_type: application/pdf
creator: dernst
date_created: 2019-02-06T07:36:24Z
date_updated: 2020-07-14T12:45:59Z
file_id: '5929'
file_name: 2018_Heliyon_DeMartino.pdf
file_size: 994490
relation: main_file
file_date_updated: 2020-07-14T12:45:59Z
fulldoi: https://doi.org/10.1016/j.heliyon.2018.e00596
has_accepted_license: '1'
intvolume: ' 4'
issue: '4'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Heliyon
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: 1
status: public
title: An introduction to the maximum entropy approach and its application to inference
problems in biology
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: 4
year: '2018'
...
---
_id: '308'
abstract:
- lang: eng
text: Migrating cells penetrate tissue barriers during development, inflammatory
responses, and tumor metastasis. We study if migration in vivo in such three-dimensionally
confined environments requires changes in the mechanical properties of the surrounding
cells using embryonic Drosophila melanogaster hemocytes, also called macrophages,
as a model. We find that macrophage invasion into the germband through transient
separation of the apposing ectoderm and mesoderm requires cell deformations and
reductions in apical tension in the ectoderm. Interestingly, the genetic pathway
governing these mechanical shifts acts downstream of the only known tumor necrosis
factor superfamily member in Drosophila, Eiger, and its receptor, Grindelwald.
Eiger-Grindelwald signaling reduces levels of active Myosin in the germband ectodermal
cortex through the localization of a Crumbs complex component, Patj (Pals-1-associated
tight junction protein). We therefore elucidate a distinct molecular pathway that
controls tissue tension and demonstrate the importance of such regulation for
invasive migration in vivo.
acknowledged_ssus:
- _id: SSU
article_processing_charge: No
article_type: original
author:
- first_name: Aparna
full_name: Ratheesh, Aparna
id: 2F064CFE-F248-11E8-B48F-1D18A9856A87
last_name: Ratheesh
orcid: 0000-0001-7190-0776
- first_name: Julia
full_name: Biebl, Julia
id: 3CCBB46E-F248-11E8-B48F-1D18A9856A87
last_name: Biebl
- first_name: Michael
full_name: Smutny, Michael
last_name: Smutny
- first_name: Jana
full_name: Veselá, Jana
id: 433253EE-F248-11E8-B48F-1D18A9856A87
last_name: Veselá
- first_name: Ekaterina
full_name: Papusheva, Ekaterina
id: 41DB591E-F248-11E8-B48F-1D18A9856A87
last_name: Papusheva
- first_name: Gabriel
full_name: Krens, Gabriel
id: 2B819732-F248-11E8-B48F-1D18A9856A87
last_name: Krens
orcid: 0000-0003-4761-5996
- first_name: Walter
full_name: Kaufmann, Walter
id: 3F99E422-F248-11E8-B48F-1D18A9856A87
last_name: Kaufmann
orcid: 0000-0001-9735-5315
- first_name: Attila
full_name: György, Attila
id: 3BCEDBE0-F248-11E8-B48F-1D18A9856A87
last_name: György
orcid: 0000-0002-1819-198X
- first_name: Alessandra M
full_name: Casano, Alessandra M
id: 3DBA3F4E-F248-11E8-B48F-1D18A9856A87
last_name: Casano
orcid: 0000-0002-6009-6804
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
citation:
ama: Ratheesh A, Bicher J, Smutny M, et al. Drosophila TNF modulates tissue tension
in the embryo to facilitate macrophage invasive migration. Developmental Cell.
2018;45(3):331-346. doi:10.1016/j.devcel.2018.04.002
apa: Ratheesh, A., Bicher, J., Smutny, M., Veselá, J., Papusheva, E., Krens, G.,
… Siekhaus, D. E. (2018). Drosophila TNF modulates tissue tension in the embryo
to facilitate macrophage invasive migration. Developmental Cell. Elsevier.
https://doi.org/10.1016/j.devcel.2018.04.002
chicago: Ratheesh, Aparna, Julia Bicher, Michael Smutny, Jana Veselá, Ekaterina
Papusheva, Gabriel Krens, Walter Kaufmann, Attila György, Alessandra M Casano,
and Daria E Siekhaus. “Drosophila TNF Modulates Tissue Tension in the Embryo to
Facilitate Macrophage Invasive Migration.” Developmental Cell. Elsevier,
2018. https://doi.org/10.1016/j.devcel.2018.04.002.
ieee: A. Ratheesh et al., “Drosophila TNF modulates tissue tension in the
embryo to facilitate macrophage invasive migration,” Developmental Cell,
vol. 45, no. 3. Elsevier, pp. 331–346, 2018.
ista: Ratheesh A, Bicher J, Smutny M, Veselá J, Papusheva E, Krens G, Kaufmann W,
György A, Casano AM, Siekhaus DE. 2018. Drosophila TNF modulates tissue tension
in the embryo to facilitate macrophage invasive migration. Developmental Cell.
45(3), 331–346.
mla: Ratheesh, Aparna, et al. “Drosophila TNF Modulates Tissue Tension in the Embryo
to Facilitate Macrophage Invasive Migration.” Developmental Cell, vol.
45, no. 3, Elsevier, 2018, pp. 331–46, doi:10.1016/j.devcel.2018.04.002.
short: A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W.
Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018)
331–346.
corr_author: '1'
date_created: 2018-12-11T11:45:44Z
date_published: 2018-05-07T00:00:00Z
date_updated: 2026-06-18T18:37:46Z
day: '07'
ddc:
- '570'
department:
- _id: DaSi
- _id: CaHe
- _id: Bio
- _id: EM-Fac
- _id: MiSi
doi: 10.1016/j.devcel.2018.04.002
ec_funded: 1
external_id:
isi:
- '000432461400009'
pmid:
- '29738712'
fulldoi: https://doi.org/10.1016/j.devcel.2018.04.002
intvolume: ' 45'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.devcel.2018.04.002
month: '05'
oa: 1
oa_version: Published Version
page: 331 - 346
pmid: 1
project:
- _id: 253B6E48-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29638
name: The role of Drosophila TNF alpha in immune cell invasion
- _id: 2536F660-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '334077'
name: Investigating the role of transporters in invasive migration through junctions
publication: Developmental Cell
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/cells-change-tension-to-make-tissue-barriers-easier-to-get-through/
scopus_import: '1'
status: public
title: Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage
invasive migration
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 45
year: '2018'
...
---
_id: '1215'
abstract:
- lang: eng
text: "Two generalizations of Itô formula to infinite-dimensional spaces are given.\r\nThe
first one, in Hilbert spaces, extends the classical one by taking advantage of\r\ncancellations
when they occur in examples and it is applied to the case of a group\r\ngenerator.
The second one, based on the previous one and a limit procedure, is an Itô\r\nformula
in a special class of Banach spaces having a product structure with the noise\r\nin
a Hilbert component; again the key point is the extension due to a cancellation.
This\r\nextension to Banach spaces and in particular the specific cancellation
are motivated\r\nby path-dependent Itô calculus."
acknowledgement: Open access funding provided by Institute of Science and Technology
(IST Austria). The second named author benefited partially from the support of the
“FMJH Program Gaspard Monge in Optimization and Operations Research” (Project 2014-1607H).
He is also grateful for the invitation to the Department of Mathematics of the University
of Pisa. The third named author is grateful for the invitation to ENSTA.
article_processing_charge: Yes (via OA deal)
author:
- first_name: Franco
full_name: Flandoli, Franco
last_name: Flandoli
- first_name: Francesco
full_name: Russo, Francesco
last_name: Russo
- first_name: Giovanni A
full_name: Zanco, Giovanni A
id: 47491882-F248-11E8-B48F-1D18A9856A87
last_name: Zanco
citation:
ama: Flandoli F, Russo F, Zanco GA. Infinite-dimensional calculus under weak spatial
regularity of the processes. Journal of Theoretical Probability. 2018;31(2):789-826.
doi:10.1007/s10959-016-0724-2
apa: Flandoli, F., Russo, F., & Zanco, G. A. (2018). Infinite-dimensional calculus
under weak spatial regularity of the processes. Journal of Theoretical Probability.
Springer. https://doi.org/10.1007/s10959-016-0724-2
chicago: Flandoli, Franco, Francesco Russo, and Giovanni A Zanco. “Infinite-Dimensional
Calculus under Weak Spatial Regularity of the Processes.” Journal of Theoretical
Probability. Springer, 2018. https://doi.org/10.1007/s10959-016-0724-2.
ieee: F. Flandoli, F. Russo, and G. A. Zanco, “Infinite-dimensional calculus under
weak spatial regularity of the processes,” Journal of Theoretical Probability,
vol. 31, no. 2. Springer, pp. 789–826, 2018.
ista: Flandoli F, Russo F, Zanco GA. 2018. Infinite-dimensional calculus under weak
spatial regularity of the processes. Journal of Theoretical Probability. 31(2),
789–826.
mla: Flandoli, Franco, et al. “Infinite-Dimensional Calculus under Weak Spatial
Regularity of the Processes.” Journal of Theoretical Probability, vol.
31, no. 2, Springer, 2018, pp. 789–826, doi:10.1007/s10959-016-0724-2.
short: F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31
(2018) 789–826.
corr_author: '1'
date_created: 2018-12-11T11:50:45Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2025-09-22T09:36:02Z
day: '01'
ddc:
- '519'
department:
- _id: JaMa
doi: 10.1007/s10959-016-0724-2
external_id:
isi:
- '000432743300007'
file:
- access_level: open_access
checksum: 47686d58ec21c164540f1a980ff2163f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:13Z
date_updated: 2020-07-14T12:44:39Z
file_id: '5266'
file_name: IST-2016-712-v1+1_s10959-016-0724-2.pdf
file_size: 671125
relation: main_file
file_date_updated: 2020-07-14T12:44:39Z
fulldoi: https://doi.org/10.1007/s10959-016-0724-2
has_accepted_license: '1'
intvolume: ' 31'
isi: 1
issue: '2'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 789-826
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Journal of Theoretical Probability
publication_status: published
publisher: Springer
publist_id: '6119'
pubrep_id: '712'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Infinite-dimensional calculus under weak spatial regularity of the processes
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 31
year: '2018'
...
---
_id: '124'
abstract:
- lang: eng
text: By investigating the in situ chemical and O-isotope compositions of olivine
in lightly sintered dust agglomerates from the early Solar System, we constrain
their origins and the retention of dust in the protoplanetary disk. The grain
sizes of silicates in these agglomeratic olivine (AO) chondrules indicate that
the grain sizes of chondrule precursors in the Renazzo-like carbonaceous (CR)
chondrites ranged from <1 to 80 µm. We infer this grain size range to be equivalent
to the size range for dust in the early Solar System. AO chondrules may contain,
but are not solely composed of, recycled fragments of earlier formed chondrules.
They also contain 16O-rich olivine related to amoeboid olivine aggregates and
represent the best record of chondrule-precursor materials. AO chondrules contain
one or more large grains, sometimes similar to FeO-poor (type I) and/or FeO-rich
(type II) chondrules, while others contain a type II chondrule core. These morphologies
are consistent with particle agglomeration by electrostatic charging of grains
during collision, a process that may explain solid agglomeration in the protoplanetary
disk in the micrometer size regime. The petrographic, isotopic, and chemical compositions
of AO chondrules are consistent with chondrule formation by large-scale shocks,
bow shocks, and current sheets. The petrographic, isotopic, and chemical similarities
between AO chondrules in CR chondrites and chondrule-like objects from comet 81P/Wild
2 indicate that comets contain AO chondrules. We infer that these AO chondrules
likely formed in the inner Solar System and migrated to the comet forming region
at least 3 Ma after the formation of the first Solar System solids. Observations
made in this study imply that the protoplanetary disk retained a dusty disk at
least ∼3.7 Ma after the formation of the first Solar System solids, longer than
half of the dusty accretion disks observed around other stars.
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: Devin
full_name: Schrader, Devin
last_name: Schrader
- first_name: Kazuhide
full_name: Nagashima, Kazuhide
last_name: Nagashima
- first_name: Jemma
full_name: Davidson, Jemma
last_name: Davidson
- first_name: Timothy
full_name: Mccoy, Timothy
last_name: Mccoy
- first_name: Harold
full_name: Conolly Jr, Harold
last_name: Conolly Jr
- first_name: Dante
full_name: Lauretta, Dante
last_name: Lauretta
citation:
ama: 'Waitukaitis SR, Schrader D, Nagashima K, et al. The retention of dust in protoplanetary
disks: evidence from agglomeration olivine chondrules from the outer solar system.
Geochimica et Cosmochimica Acta. 2018;223:405-421. doi:10.1016/j.gca.2017.12.014'
apa: 'Waitukaitis, S. R., Schrader, D., Nagashima, K., Davidson, J., Mccoy, T.,
Conolly Jr, H., & Lauretta, D. (2018). The retention of dust in protoplanetary
disks: evidence from agglomeration olivine chondrules from the outer solar system.
Geochimica et Cosmochimica Acta. Elsevier. https://doi.org/10.1016/j.gca.2017.12.014'
chicago: 'Waitukaitis, Scott R, Devin Schrader, Kazuhide Nagashima, Jemma Davidson,
Timothy Mccoy, Harold Conolly Jr, and Dante Lauretta. “The Retention of Dust in
Protoplanetary Disks: Evidence from Agglomeration Olivine Chondrules from the
Outer Solar System.” Geochimica et Cosmochimica Acta. Elsevier, 2018. https://doi.org/10.1016/j.gca.2017.12.014.'
ieee: 'S. R. Waitukaitis et al., “The retention of dust in protoplanetary
disks: evidence from agglomeration olivine chondrules from the outer solar system,”
Geochimica et Cosmochimica Acta, vol. 223. Elsevier, pp. 405–421, 2018.'
ista: 'Waitukaitis SR, Schrader D, Nagashima K, Davidson J, Mccoy T, Conolly Jr
H, Lauretta D. 2018. The retention of dust in protoplanetary disks: evidence from
agglomeration olivine chondrules from the outer solar system. Geochimica et Cosmochimica
Acta. 223, 405–421.'
mla: 'Waitukaitis, Scott R., et al. “The Retention of Dust in Protoplanetary Disks:
Evidence from Agglomeration Olivine Chondrules from the Outer Solar System.” Geochimica
et Cosmochimica Acta, vol. 223, Elsevier, 2018, pp. 405–21, doi:10.1016/j.gca.2017.12.014.'
short: S.R. Waitukaitis, D. Schrader, K. Nagashima, J. Davidson, T. Mccoy, H. Conolly
Jr, D. Lauretta, Geochimica et Cosmochimica Acta 223 (2018) 405–421.
date_created: 2018-12-11T11:44:45Z
date_published: 2018-02-15T00:00:00Z
date_updated: 2021-01-12T06:49:19Z
day: '15'
doi: 10.1016/j.gca.2017.12.014
extern: '1'
fulldoi: https://doi.org/10.1016/j.gca.2017.12.014
intvolume: ' 223'
language:
- iso: eng
month: '02'
oa_version: None
page: 405 - 421
publication: Geochimica et Cosmochimica Acta
publication_status: published
publisher: Elsevier
publist_id: '7930'
quality_controlled: '1'
status: public
title: 'The retention of dust in protoplanetary disks: evidence from agglomeration
olivine chondrules from the outer solar system'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 223
year: '2018'
...
---
_id: '125'
abstract:
- lang: eng
text: Many fields of study, including medical imaging, granular physics, colloidal
physics, and active matter, require the precise identification and tracking of
particle-like objects in images. While many algorithms exist to track particles
in diffuse conditions, these often perform poorly when particles are densely packed
together—as in, for example, solid-like systems of granular materials. Incorrect
particle identification can have significant effects on the calculation of physical
quantities, which makes the development of more precise and faster tracking algorithms
a worthwhile endeavor. In this work, we present a new tracking algorithm to identify
particles in dense systems that is both highly accurate and fast. We demonstrate
the efficacy of our approach by analyzing images of dense, solid-state granular
media, where we achieve an identification error of 5% in the worst evaluated cases.
Going further, we propose a parallelization strategy for our algorithm using a
GPU, which results in a speedup of up to 10× when compared to a sequential CPU
implementation in C and up to 40× when compared to the reference MATLAB library
widely used for particle tracking. Our results extend the capabilities of state-of-the-art
particle tracking methods by allowing fast, high-fidelity detection in dense media
at high resolutions.
author:
- first_name: Mauricio
full_name: Cerda, Mauricio
last_name: Cerda
- 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: Cristóbal
full_name: Navarro, Cristóbal
last_name: Navarro
- first_name: Juan
full_name: Silva, Juan
last_name: Silva
- first_name: Nicolás
full_name: Mujica, Nicolás
last_name: Mujica
- first_name: Nancy
full_name: Hitschfeld, Nancy
last_name: Hitschfeld
citation:
ama: Cerda M, Waitukaitis SR, Navarro C, Silva J, Mujica N, Hitschfeld N. A high-speed
tracking algorithm for dense granular media. Computer Physics Communications.
2018;227:8-16. doi:10.1016/j.cpc.2018.02.010
apa: Cerda, M., Waitukaitis, S. R., Navarro, C., Silva, J., Mujica, N., & Hitschfeld,
N. (2018). A high-speed tracking algorithm for dense granular media. Computer
Physics Communications. Elsevier. https://doi.org/10.1016/j.cpc.2018.02.010
chicago: Cerda, Mauricio, Scott R Waitukaitis, Cristóbal Navarro, Juan Silva, Nicolás
Mujica, and Nancy Hitschfeld. “A High-Speed Tracking Algorithm for Dense Granular
Media.” Computer Physics Communications. Elsevier, 2018. https://doi.org/10.1016/j.cpc.2018.02.010.
ieee: M. Cerda, S. R. Waitukaitis, C. Navarro, J. Silva, N. Mujica, and N. Hitschfeld,
“A high-speed tracking algorithm for dense granular media,” Computer Physics
Communications, vol. 227. Elsevier, pp. 8–16, 2018.
ista: Cerda M, Waitukaitis SR, Navarro C, Silva J, Mujica N, Hitschfeld N. 2018.
A high-speed tracking algorithm for dense granular media. Computer Physics Communications.
227, 8–16.
mla: Cerda, Mauricio, et al. “A High-Speed Tracking Algorithm for Dense Granular
Media.” Computer Physics Communications, vol. 227, Elsevier, 2018, pp.
8–16, doi:10.1016/j.cpc.2018.02.010.
short: M. Cerda, S.R. Waitukaitis, C. Navarro, J. Silva, N. Mujica, N. Hitschfeld,
Computer Physics Communications 227 (2018) 8–16.
date_created: 2018-12-11T11:44:45Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2021-01-12T06:49:23Z
day: '01'
doi: 10.1016/j.cpc.2018.02.010
extern: '1'
fulldoi: https://doi.org/10.1016/j.cpc.2018.02.010
intvolume: ' 227'
language:
- iso: eng
month: '06'
oa_version: None
page: 8 - 16
publication: Computer Physics Communications
publication_status: published
publisher: Elsevier
publist_id: '7928'
quality_controlled: '1'
status: public
title: A high-speed tracking algorithm for dense granular media
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 227
year: '2018'
...
---
_id: '126'
abstract:
- lang: eng
text: The Leidenfrost effect occurs when a liquid or stiff sublimable solid near
a hot surface creates enough vapor beneath it to lift itself up and float. In
contrast, vaporizable soft solids, e.g., hydrogels, have been shown to exhibit
persistent bouncing - the elastic Leidenfrost effect. By carefully lowering hydrogel
spheres towards a hot surface, we discover that they are also capable of floating.
The bounce-to-float transition is controlled by the approach velocity and temperature,
analogously to the "dynamic Leidenfrost effect." For the floating regime,
we measure power-law scalings for the gap geometry, which we explain with a model
that couples the vaporization rate to the spherical shape. Our results reveal
that hydrogels are a promising pathway for controlling floating Leidenfrost objects
through shape.
acknowledgement: We acknowledge funding from the Netherlands Organization for Scientific
Research through Grants VICI No. NWO- 680-47-609 (M. v. H. and S. W.) and VENI No.
NWO-680- 47-453 (S. W.), and from the German Science Foundation through Grant No.
HA8467/1-1 (K. H.).
article_number: '048001 '
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: Kirsten
full_name: Harth, Kirsten
last_name: Harth
- first_name: Martin
full_name: Van Hecke, Martin
last_name: Van Hecke
citation:
ama: 'Waitukaitis SR, Harth K, Van Hecke M. From bouncing to floating: the Leidenfrost
effect with hydrogel spheres. Physical Review Letters. 2018;121(4). doi:10.1103/PhysRevLett.121.048001'
apa: 'Waitukaitis, S. R., Harth, K., & Van Hecke, M. (2018). From bouncing to
floating: the Leidenfrost effect with hydrogel spheres. Physical Review Letters.
American Physical Society. https://doi.org/10.1103/PhysRevLett.121.048001'
chicago: 'Waitukaitis, Scott R, Kirsten Harth, and Martin Van Hecke. “From Bouncing
to Floating: The Leidenfrost Effect with Hydrogel Spheres.” Physical Review
Letters. American Physical Society, 2018. https://doi.org/10.1103/PhysRevLett.121.048001.'
ieee: 'S. R. Waitukaitis, K. Harth, and M. Van Hecke, “From bouncing to floating:
the Leidenfrost effect with hydrogel spheres,” Physical Review Letters,
vol. 121, no. 4. American Physical Society, 2018.'
ista: 'Waitukaitis SR, Harth K, Van Hecke M. 2018. From bouncing to floating: the
Leidenfrost effect with hydrogel spheres. Physical Review Letters. 121(4), 048001.'
mla: 'Waitukaitis, Scott R., et al. “From Bouncing to Floating: The Leidenfrost
Effect with Hydrogel Spheres.” Physical Review Letters, vol. 121, no. 4,
048001, American Physical Society, 2018, doi:10.1103/PhysRevLett.121.048001.'
short: S.R. Waitukaitis, K. Harth, M. Van Hecke, Physical Review Letters 121 (2018).
date_created: 2018-12-11T11:44:46Z
date_published: 2018-07-25T00:00:00Z
date_updated: 2021-01-12T06:49:27Z
day: '25'
doi: 10.1103/PhysRevLett.121.048001
extern: '1'
fulldoi: https://doi.org/10.1103/PhysRevLett.121.048001
intvolume: ' 121'
issue: '4'
language:
- iso: eng
month: '07'
oa_version: None
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '7927'
quality_controlled: '1'
status: public
title: 'From bouncing to floating: the Leidenfrost effect with hydrogel spheres'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 121
year: '2018'
...
---
_id: '12603'
abstract:
- lang: eng
text: We present a field-data rich modelling analysis to reconstruct the climatic
forcing, glacier response, and runoff generation from a high-elevation catchment
in central Chile over the period 2000–2015 to provide insights into the differing
contributions of debris-covered and debris-free glaciers under current and future
changing climatic conditions. Model simulations with the physically based glacio-hydrological
model TOPKAPI-ETH reveal a period of neutral or slightly positive mass balance
between 2000 and 2010, followed by a transition to increasingly large annual mass
losses, associated with a recent mega drought. Mass losses commence earlier, and
are more severe, for a heavily debris-covered glacier, most likely due to its
strong dependence on snow avalanche accumulation, which has declined in recent
years. Catchment runoff shows a marked decreasing trend over the study period,
but with high interannual variability directly linked to winter snow accumulation,
and high contribution from ice melt in dry periods and drought conditions. The
study demonstrates the importance of incorporating local-scale processes such
as snow avalanche accumulation and spatially variable debris thickness, in understanding
the responses of different glacier types to climate change. We highlight the increased
dependency of runoff from high Andean catchments on the diminishing resource of
glacier ice during dry years.
article_processing_charge: No
article_type: original
author:
- first_name: Flavia
full_name: Burger, Flavia
last_name: Burger
- first_name: Alvaro
full_name: Ayala, Alvaro
last_name: Ayala
- first_name: David
full_name: Farias, David
last_name: Farias
- first_name: Thomas E.
full_name: Shaw, Thomas E.
last_name: Shaw
- first_name: Shelley
full_name: MacDonell, Shelley
last_name: MacDonell
- first_name: Ben
full_name: Brock, Ben
last_name: Brock
- first_name: James
full_name: McPhee, James
last_name: McPhee
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: 'Burger F, Ayala A, Farias D, et al. Interannual variability in glacier contribution
to runoff from a high‐elevation Andean catchment: Understanding the role of debris
cover in glacier hydrology. Hydrological Processes. 2018;33(2):214-229.
doi:10.1002/hyp.13354'
apa: 'Burger, F., Ayala, A., Farias, D., Shaw, T. E., MacDonell, S., Brock, B.,
… Pellicciotti, F. (2018). Interannual variability in glacier contribution to
runoff from a high‐elevation Andean catchment: Understanding the role of debris
cover in glacier hydrology. Hydrological Processes. Wiley. https://doi.org/10.1002/hyp.13354'
chicago: 'Burger, Flavia, Alvaro Ayala, David Farias, Thomas E. Shaw, Shelley MacDonell,
Ben Brock, James McPhee, and Francesca Pellicciotti. “Interannual Variability
in Glacier Contribution to Runoff from a High‐elevation Andean Catchment: Understanding
the Role of Debris Cover in Glacier Hydrology.” Hydrological Processes.
Wiley, 2018. https://doi.org/10.1002/hyp.13354.'
ieee: 'F. Burger et al., “Interannual variability in glacier contribution
to runoff from a high‐elevation Andean catchment: Understanding the role of debris
cover in glacier hydrology,” Hydrological Processes, vol. 33, no. 2. Wiley,
pp. 214–229, 2018.'
ista: 'Burger F, Ayala A, Farias D, Shaw TE, MacDonell S, Brock B, McPhee J, Pellicciotti
F. 2018. Interannual variability in glacier contribution to runoff from a high‐elevation
Andean catchment: Understanding the role of debris cover in glacier hydrology.
Hydrological Processes. 33(2), 214–229.'
mla: 'Burger, Flavia, et al. “Interannual Variability in Glacier Contribution to
Runoff from a High‐elevation Andean Catchment: Understanding the Role of Debris
Cover in Glacier Hydrology.” Hydrological Processes, vol. 33, no. 2, Wiley,
2018, pp. 214–29, doi:10.1002/hyp.13354.'
short: F. Burger, A. Ayala, D. Farias, T.E. Shaw, S. MacDonell, B. Brock, J. McPhee,
F. Pellicciotti, Hydrological Processes 33 (2018) 214–229.
date_created: 2023-02-20T08:13:14Z
date_published: 2018-11-26T00:00:00Z
date_updated: 2023-02-28T11:49:36Z
day: '26'
doi: 10.1002/hyp.13354
extern: '1'
fulldoi: https://doi.org/10.1002/hyp.13354
intvolume: ' 33'
issue: '2'
keyword:
- Water Science and Technology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1002/hyp.13354
month: '11'
oa: 1
oa_version: Published Version
page: 214-229
publication: Hydrological Processes
publication_identifier:
eissn:
- 1099-1085
issn:
- 0885-6087
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Interannual variability in glacier contribution to runoff from a high‐elevation
Andean catchment: Understanding the role of debris cover in glacier hydrology'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2018'
...
---
_id: '12604'
abstract:
- lang: eng
text: Glaciers in the high mountains of Asia provide an important water resource
for millions of people. Many of these glaciers are partially covered by rocky
debris, which protects the ice from solar radiation and warm air. However, studies
have found that the surface of these debris-covered glaciers is actually lowering
as fast as glaciers without debris. Water ponded on the surface of the glaciers
may be partially responsible, as water can absorb atmospheric energy very efficiently.
However, the overall effect of these ponds has not been thoroughly assessed yet.
We study a valley in Nepal for which we have extensive weather measurements, and
we use a numerical model to calculate the energy absorbed by ponds on the surface
of the glaciers over 6 months. As we have not observed each individual pond thoroughly,
we run the model 5,000 times with different setups. We find that ponds are extremely
important for glacier melt and absorb energy 14 times as quickly as the debris-covered
ice. Although the ponds account for 1% of the glacier area covered by rocks, and
only 0.3% of the total glacier area, they absorb enough energy to account for
one eighth of the whole valley's ice loss.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Evan S.
full_name: Miles, Evan S.
last_name: Miles
- first_name: Ian
full_name: Willis, Ian
last_name: Willis
- first_name: Pascal
full_name: Buri, Pascal
last_name: Buri
- first_name: Jakob F.
full_name: Steiner, Jakob F.
last_name: Steiner
- first_name: Neil S.
full_name: Arnold, Neil S.
last_name: Arnold
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: Miles ES, Willis I, Buri P, Steiner JF, Arnold NS, Pellicciotti F. Surface
pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total
catchment ice loss. Geophysical Research Letters. 2018;45(19):10464-10473.
doi:10.1029/2018gl079678
apa: Miles, E. S., Willis, I., Buri, P., Steiner, J. F., Arnold, N. S., & Pellicciotti,
F. (2018). Surface pond energy absorption across four Himalayan Glaciers accounts
for 1/8 of total catchment ice loss. Geophysical Research Letters. American
Geophysical Union. https://doi.org/10.1029/2018gl079678
chicago: Miles, Evan S., Ian Willis, Pascal Buri, Jakob F. Steiner, Neil S. Arnold,
and Francesca Pellicciotti. “Surface Pond Energy Absorption across Four Himalayan
Glaciers Accounts for 1/8 of Total Catchment Ice Loss.” Geophysical Research
Letters. American Geophysical Union, 2018. https://doi.org/10.1029/2018gl079678.
ieee: E. S. Miles, I. Willis, P. Buri, J. F. Steiner, N. S. Arnold, and F. Pellicciotti,
“Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8
of total catchment ice loss,” Geophysical Research Letters, vol. 45, no.
19. American Geophysical Union, pp. 10464–10473, 2018.
ista: Miles ES, Willis I, Buri P, Steiner JF, Arnold NS, Pellicciotti F. 2018. Surface
pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total
catchment ice loss. Geophysical Research Letters. 45(19), 10464–10473.
mla: Miles, Evan S., et al. “Surface Pond Energy Absorption across Four Himalayan
Glaciers Accounts for 1/8 of Total Catchment Ice Loss.” Geophysical Research
Letters, vol. 45, no. 19, American Geophysical Union, 2018, pp. 10464–73,
doi:10.1029/2018gl079678.
short: E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti,
Geophysical Research Letters 45 (2018) 10464–10473.
date_created: 2023-02-20T08:13:18Z
date_published: 2018-10-18T00:00:00Z
date_updated: 2023-02-28T11:46:48Z
day: '18'
doi: 10.1029/2018gl079678
extern: '1'
fulldoi: https://doi.org/10.1029/2018gl079678
intvolume: ' 45'
issue: '19'
keyword:
- General Earth and Planetary Sciences
- Geophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2018GL079678
month: '10'
oa: 1
oa_version: Published Version
page: 10464-10473
publication: Geophysical Research Letters
publication_identifier:
eissn:
- 1944-8007
issn:
- 0094-8276
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: Surface pond energy absorption across four Himalayan Glaciers accounts for
1/8 of total catchment ice loss
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 45
year: '2018'
...
---
_id: '12605'
abstract:
- lang: eng
text: Snow depth patterns over glaciers are controlled by precipitation, snow redistribution
due to wind and avalanches, and the exchange of energy with the atmosphere that
determines snow ablation. While many studies have advanced the understanding of
ablation processes, less is known about winter snow patterns and their variability
over glaciers. We analyze snow depth on Haut Glacier d'Arolla, Switzerland, in
the two winter seasons 2006–2007 and 2010–2011 to (1) understand whether snow
depth over an alpine glacier at the end of the accumulation season exhibits a
behavior similar to the one observed on single slopes and vegetated areas; and
(2) investigate the snow pattern consistency over the two accumulation seasons.
We perform this analysis on a data set of high-resolution lidar-derived snow depth
using variograms and fractal parameters. Our first main result is that snow depth
patterns on the glacier exhibit a multiscale behavior, with a scale break around
20 m after which the fractal dimension increases, indicating more autocorrelated
structure before the scale break than after. Second, this behavior is consistent
over the two years, with fractal parameters and their spatial variability almost
constant in the two seasons. We also show that snow depth patterns exhibit a distinct
behavior in the glacier tongue and the upper catchment, with longer correlation
distances on the tongue in the direction of the main winds, suggesting spatial
distinctions that are likely induced by different processes and that should be
taken into account when extrapolating snow depth from limited samples.
article_processing_charge: No
article_type: original
author:
- first_name: I.
full_name: Clemenzi, I.
last_name: Clemenzi
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
orcid: 0000-0002-5554-8087
- first_name: P.
full_name: Burlando, P.
last_name: Burlando
citation:
ama: Clemenzi I, Pellicciotti F, Burlando P. Snow depth structure, fractal behavior,
and interannual consistency over Haut Glacier d’Arolla, Switzerland. Water
Resources Research. 2018;54(10):7929-7945. doi:10.1029/2017wr021606
apa: Clemenzi, I., Pellicciotti, F., & Burlando, P. (2018). Snow depth structure,
fractal behavior, and interannual consistency over Haut Glacier d’Arolla, Switzerland.
Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2017wr021606
chicago: Clemenzi, I., Francesca Pellicciotti, and P. Burlando. “Snow Depth Structure,
Fractal Behavior, and Interannual Consistency over Haut Glacier d’Arolla, Switzerland.”
Water Resources Research. American Geophysical Union, 2018. https://doi.org/10.1029/2017wr021606.
ieee: I. Clemenzi, F. Pellicciotti, and P. Burlando, “Snow depth structure, fractal
behavior, and interannual consistency over Haut Glacier d’Arolla, Switzerland,”
Water Resources Research, vol. 54, no. 10. American Geophysical Union,
pp. 7929–7945, 2018.
ista: Clemenzi I, Pellicciotti F, Burlando P. 2018. Snow depth structure, fractal
behavior, and interannual consistency over Haut Glacier d’Arolla, Switzerland.
Water Resources Research. 54(10), 7929–7945.
mla: Clemenzi, I., et al. “Snow Depth Structure, Fractal Behavior, and Interannual
Consistency over Haut Glacier d’Arolla, Switzerland.” Water Resources Research,
vol. 54, no. 10, American Geophysical Union, 2018, pp. 7929–45, doi:10.1029/2017wr021606.
short: I. Clemenzi, F. Pellicciotti, P. Burlando, Water Resources Research 54 (2018)
7929–7945.
date_created: 2023-02-20T08:13:31Z
date_published: 2018-06-07T00:00:00Z
date_updated: 2024-10-14T12:04:41Z
day: '07'
doi: 10.1029/2017wr021606
extern: '1'
fulldoi: https://doi.org/10.1029/2017wr021606
intvolume: ' 54'
issue: '10'
keyword:
- Water Science and Technology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2017WR021606
month: '06'
oa: 1
oa_version: Published Version
page: 7929-7945
publication: Water Resources Research
publication_identifier:
eissn:
- 1944-7973
issn:
- 0043-1397
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: Snow depth structure, fractal behavior, and interannual consistency over Haut
Glacier d'Arolla, Switzerland
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2018'
...
---
_id: '12606'
abstract:
- lang: eng
text: Ice cliffs within a supraglacial debris cover have been identified as a source
for high ablation relative to the surrounding debris-covered area. Due to their
small relative size and steep orientation, ice cliffs are difficult to detect
using nadir-looking space borne sensors. The method presented here uses surface
slopes calculated from digital elevation model (DEM) data to map ice cliff geometry
and produce an ice cliff probability map. Surface slope thresholds, which can
be sensitive to geographic location and/or data quality, are selected automatically.
The method also attempts to include area at the (often narrowing) ends of ice
cliffs which could otherwise be neglected due to signal saturation in surface
slope data. The method was calibrated in the eastern Alaska Range, Alaska, USA,
against a control ice cliff dataset derived from high-resolution visible and thermal
data. Using the same input parameter set that performed best in Alaska, the method
was tested against ice cliffs manually mapped in the Khumbu Himal, Nepal. Our
results suggest the method can accommodate different glaciological settings and
different DEM data sources without a data intensive (high-resolution, multi-data
source) recalibration.
article_processing_charge: No
article_type: original
author:
- first_name: Sam
full_name: Herreid, Sam
last_name: Herreid
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: Herreid S, Pellicciotti F. Automated detection of ice cliffs within supraglacial
debris cover. The Cryosphere. 2018;12(5):1811-1829. doi:10.5194/tc-12-1811-2018
apa: Herreid, S., & Pellicciotti, F. (2018). Automated detection of ice cliffs
within supraglacial debris cover. The Cryosphere. Copernicus Publications.
https://doi.org/10.5194/tc-12-1811-2018
chicago: Herreid, Sam, and Francesca Pellicciotti. “Automated Detection of Ice Cliffs
within Supraglacial Debris Cover.” The Cryosphere. Copernicus Publications,
2018. https://doi.org/10.5194/tc-12-1811-2018.
ieee: S. Herreid and F. Pellicciotti, “Automated detection of ice cliffs within
supraglacial debris cover,” The Cryosphere, vol. 12, no. 5. Copernicus
Publications, pp. 1811–1829, 2018.
ista: Herreid S, Pellicciotti F. 2018. Automated detection of ice cliffs within
supraglacial debris cover. The Cryosphere. 12(5), 1811–1829.
mla: Herreid, Sam, and Francesca Pellicciotti. “Automated Detection of Ice Cliffs
within Supraglacial Debris Cover.” The Cryosphere, vol. 12, no. 5, Copernicus
Publications, 2018, pp. 1811–29, doi:10.5194/tc-12-1811-2018.
short: S. Herreid, F. Pellicciotti, The Cryosphere 12 (2018) 1811–1829.
date_created: 2023-02-20T08:13:36Z
date_published: 2018-05-31T00:00:00Z
date_updated: 2023-02-28T11:39:26Z
day: '31'
doi: 10.5194/tc-12-1811-2018
extern: '1'
fulldoi: https://doi.org/10.5194/tc-12-1811-2018
intvolume: ' 12'
issue: '5'
keyword:
- Earth-Surface Processes
- Water Science and Technology
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.5194/tc-12-1811-2018
month: '05'
oa: 1
oa_version: Published Version
page: 1811-1829
publication: The Cryosphere
publication_identifier:
issn:
- 1994-0424
publication_status: published
publisher: Copernicus Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: Automated detection of ice cliffs within supraglacial debris cover
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2018'
...
---
_id: '12607'
abstract:
- lang: eng
text: Supraglacial ice cliffs exist on debris-covered glaciers worldwide, but despite
their importance as melt hot spots, their life cycle is little understood. Early
field observations had advanced a hypothesis of survival of north-facing and disappearance
of south-facing cliffs, which is central for predicting the contribution of cliffs
to total glacier mass losses. Their role as windows of energy transfer suggests
they may explain the anomalously high mass losses of debris-covered glaciers in
High Mountain Asia (HMA) despite the insulating debris, currently at the center
of a debated controversy. We use a 3D model of cliff evolution coupled to very
high-resolution topographic data to demonstrate that ice cliffs facing south (in
the Northern Hemisphere) disappear within a few months due to enhanced solar radiation
receipts and that aspect is the key control on cliffs evolution. We reproduce
continuous flattening of south-facing cliffs, a result of their vertical gradient
of incoming solar radiation and sky view factor. Our results establish that only
north-facing cliffs are recurrent features and thus stable contributors to the
melting of debris-covered glaciers. Satellite observations and mass balance modeling
confirms that few south-facing cliffs of small size exist on the glaciers of Langtang,
and their contribution to the glacier volume losses is very small (∼1%). This
has major implications for the mass balance of HMA debris-covered glaciers as
it provides the basis for new parameterizations of cliff evolution and distribution
to constrain volume losses in a region where glaciers are highly relevant as water
sources for millions of people.
article_processing_charge: No
article_type: original
author:
- first_name: Pascal
full_name: Buri, Pascal
last_name: Buri
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
citation:
ama: Buri P, Pellicciotti F. Aspect controls the survival of ice cliffs on debris-covered
glaciers. PNAS. 2018;115(17):4369-4374. doi:10.1073/pnas.1713892115
apa: Buri, P., & Pellicciotti, F. (2018). Aspect controls the survival of ice
cliffs on debris-covered glaciers. PNAS. Proceedings of the National Academy
of Sciences. https://doi.org/10.1073/pnas.1713892115
chicago: Buri, Pascal, and Francesca Pellicciotti. “Aspect Controls the Survival
of Ice Cliffs on Debris-Covered Glaciers.” PNAS. Proceedings of the National
Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1713892115.
ieee: P. Buri and F. Pellicciotti, “Aspect controls the survival of ice cliffs on
debris-covered glaciers,” PNAS, vol. 115, no. 17. Proceedings of the National
Academy of Sciences, pp. 4369–4374, 2018.
ista: Buri P, Pellicciotti F. 2018. Aspect controls the survival of ice cliffs on
debris-covered glaciers. PNAS. 115(17), 4369–4374.
mla: Buri, Pascal, and Francesca Pellicciotti. “Aspect Controls the Survival of
Ice Cliffs on Debris-Covered Glaciers.” PNAS, vol. 115, no. 17, Proceedings
of the National Academy of Sciences, 2018, pp. 4369–74, doi:10.1073/pnas.1713892115.
short: P. Buri, F. Pellicciotti, PNAS 115 (2018) 4369–4374.
date_created: 2023-02-20T08:13:41Z
date_published: 2018-04-09T00:00:00Z
date_updated: 2023-02-28T11:35:18Z
day: '09'
doi: 10.1073/pnas.1713892115
extern: '1'
fulldoi: https://doi.org/10.1073/pnas.1713892115
intvolume: ' 115'
issue: '17'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1073/pnas.1713892115
month: '04'
oa: 1
oa_version: Published Version
page: 4369-4374
publication: PNAS
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: Proceedings of the National Academy of Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: Aspect controls the survival of ice cliffs on debris-covered glaciers
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 115
year: '2018'
...
---
_id: '127'
abstract:
- lang: eng
text: The ideas of topology are breaking ground in origami-based metamaterials.
Experiments now show that certain shapes — doughnuts included — exhibit topological
bistability, and can be made to click between different topologically stable states.
author:
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
citation:
ama: Waitukaitis SR. Clicks for doughnuts. Nature Physics. 2018;14(8):777-778.
doi:10.1038/s41567-018-0160-6
apa: Waitukaitis, S. R. (2018). Clicks for doughnuts. Nature Physics. Nature
Publishing Group. https://doi.org/10.1038/s41567-018-0160-6
chicago: Waitukaitis, Scott R. “Clicks for Doughnuts.” Nature Physics. Nature
Publishing Group, 2018. https://doi.org/10.1038/s41567-018-0160-6.
ieee: S. R. Waitukaitis, “Clicks for doughnuts,” Nature Physics, vol. 14,
no. 8. Nature Publishing Group, pp. 777–778, 2018.
ista: Waitukaitis SR. 2018. Clicks for doughnuts. Nature Physics. 14(8), 777–778.
mla: Waitukaitis, Scott R. “Clicks for Doughnuts.” Nature Physics, vol. 14,
no. 8, Nature Publishing Group, 2018, pp. 777–78, doi:10.1038/s41567-018-0160-6.
short: S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.
date_created: 2018-12-11T11:44:46Z
date_published: 2018-05-28T00:00:00Z
date_updated: 2021-01-12T06:49:31Z
day: '28'
doi: 10.1038/s41567-018-0160-6
extern: '1'
fulldoi: https://doi.org/10.1038/s41567-018-0160-6
intvolume: ' 14'
issue: '8'
language:
- iso: eng
month: '05'
oa_version: None
page: 777 - 778
publication: Nature Physics
publication_status: published
publisher: Nature Publishing Group
publist_id: '7926'
status: public
title: Clicks for doughnuts
type: journal_article
user_id: 2EBD1598-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2018'
...