---
_id: '491'
abstract:
- lang: eng
text: In their search for antigens, lymphocytes continuously shuttle among blood
vessels, lymph vessels, and lymphatic tissues. Chemokines mediate entry of lymphocytes
into lymphatic tissues, and sphingosine 1-phosphate (S1P) promotes localization
of lymphocytes to the vasculature. Both signals are sensed through G protein-coupled
receptors (GPCRs). Most GPCRs undergo ligand-dependent homologous receptor desensitization,
a process that decreases their signaling output after previous exposure to high
ligand concentration. Such desensitization can explain why lymphocytes do not
take an intermediate position between two signals but rather oscillate between
them. The desensitization of S1P receptor 1 (S1PR1) is mediated by GPCR kinase
2 (GRK2). Deletion of GRK2 in lymphocytes compromises desensitization by high
vascular S1P concentrations, thereby reducing responsiveness to the chemokine
signal and trapping the cells in the vascular compartment. The desensitization
kinetics of S1PR1 allows lymphocytes to dynamically shuttle between vasculature
and lymphatic tissue, although the positional information in both compartments
is static.
article_number: pe43
author:
- first_name: Alexander
full_name: Eichner, Alexander
id: 4DFA52AE-F248-11E8-B48F-1D18A9856A87
last_name: Eichner
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
citation:
ama: Eichner A, Sixt MK. Setting the clock for recirculating lymphocytes. Science
Signaling. 2011;4(198). doi:10.1126/scisignal.2002617
apa: Eichner, A., & Sixt, M. K. (2011). Setting the clock for recirculating
lymphocytes. Science Signaling. American Association for the Advancement
of Science. https://doi.org/10.1126/scisignal.2002617
chicago: Eichner, Alexander, and Michael K Sixt. “Setting the Clock for Recirculating
Lymphocytes.” Science Signaling. American Association for the Advancement
of Science, 2011. https://doi.org/10.1126/scisignal.2002617.
ieee: A. Eichner and M. K. Sixt, “Setting the clock for recirculating lymphocytes,”
Science Signaling, vol. 4, no. 198. American Association for the Advancement
of Science, 2011.
ista: Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes.
Science Signaling. 4(198), pe43.
mla: Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating
Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association
for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
short: A. Eichner, M.K. Sixt, Science Signaling 4 (2011).
date_created: 2018-12-11T11:46:46Z
date_published: 2011-11-08T00:00:00Z
date_updated: 2021-01-12T08:01:02Z
day: '08'
department:
- _id: MiSi
doi: 10.1126/scisignal.2002617
intvolume: ' 4'
issue: '198'
language:
- iso: eng
month: '11'
oa_version: None
publication: Science Signaling
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '7329'
quality_controlled: '1'
scopus_import: 1
status: public
title: Setting the clock for recirculating lymphocytes
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2011'
...
---
_id: '518'
abstract:
- lang: eng
text: Cancer stem cells or cancer initiating cells are believed to contribute to
cancer recurrence after therapy. MicroRNAs (miRNAs) are short RNA molecules with
fundamental roles in gene regulation. The role of miRNAs in cancer stem cells
is only poorly understood. Here, we report miRNA expression profiles of glioblastoma
stem cell-containing CD133 + cell populations. We find that miR-9, miR-9 * (referred
to as miR-9/9 *), miR-17 and miR-106b are highly abundant in CD133 + cells. Furthermore,
inhibition of miR-9/9 * or miR-17 leads to reduced neurosphere formation and stimulates
cell differentiation. Calmodulin-binding transcription activator 1 (CAMTA1) is
a putative transcription factor, which induces the expression of the anti-proliferative
cardiac hormone natriuretic peptide A (NPPA). We identify CAMTA1 as an miR-9/9
* and miR-17 target. CAMTA1 expression leads to reduced neurosphere formation
and tumour growth in nude mice, suggesting that CAMTA1 can function as tumour
suppressor. Consistently, CAMTA1 and NPPA expression correlate with patient survival.
Our findings could provide a basis for novel strategies of glioblastoma therapy.
article_processing_charge: No
article_type: original
author:
- first_name: Daniel
full_name: Schraivogel, Daniel
last_name: Schraivogel
- first_name: Lasse
full_name: Weinmann, Lasse
last_name: Weinmann
- first_name: Dagmar
full_name: Beier, Dagmar
last_name: Beier
- first_name: Ghazaleh
full_name: Tabatabai, Ghazaleh
last_name: Tabatabai
- first_name: Alexander
full_name: Eichner, Alexander
id: 4DFA52AE-F248-11E8-B48F-1D18A9856A87
last_name: Eichner
- first_name: Jia
full_name: Zhu, Jia
last_name: Zhu
- first_name: Martina
full_name: Anton, Martina
last_name: Anton
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Michael
full_name: Weller, Michael
last_name: Weller
- first_name: Christoph
full_name: Beier, Christoph
last_name: Beier
- first_name: Gunter
full_name: Meister, Gunter
last_name: Meister
citation:
ama: Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor
regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322.
doi:10.1038/emboj.2011.301
apa: Schraivogel, D., Weinmann, L., Beier, D., Tabatabai, G., Eichner, A., Zhu,
J., … Meister, G. (2011). CAMTA1 is a novel tumour suppressor regulated by miR-9/9
* in glioblastoma stem cells. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.301
chicago: Schraivogel, Daniel, Lasse Weinmann, Dagmar Beier, Ghazaleh Tabatabai,
Alexander Eichner, Jia Zhu, Martina Anton, et al. “CAMTA1 Is a Novel Tumour Suppressor
Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal. Wiley-Blackwell,
2011. https://doi.org/10.1038/emboj.2011.301.
ieee: D. Schraivogel et al., “CAMTA1 is a novel tumour suppressor regulated
by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20.
Wiley-Blackwell, pp. 4309–4322, 2011.
ista: Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M,
Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor
regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
mla: Schraivogel, Daniel, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated
by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal, vol. 30, no. 20,
Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
short: D. Schraivogel, L. Weinmann, D. Beier, G. Tabatabai, A. Eichner, J. Zhu,
M. Anton, M.K. Sixt, M. Weller, C. Beier, G. Meister, EMBO Journal 30 (2011) 4309–4322.
date_created: 2018-12-11T11:46:55Z
date_published: 2011-10-19T00:00:00Z
date_updated: 2021-01-12T08:01:19Z
day: '19'
department:
- _id: MiSi
doi: 10.1038/emboj.2011.301
external_id:
pmid:
- '21857646'
intvolume: ' 30'
issue: '20'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3199389/
month: '10'
oa: 1
oa_version: Submitted Version
page: 4309 - 4322
pmid: 1
publication: EMBO Journal
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7301'
quality_controlled: '1'
scopus_import: 1
status: public
title: CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma
stem cells
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2011'
...
---
_id: '531'
abstract:
- lang: eng
text: Software transactional memories (STM) are described in the literature with
assumptions of sequentially consistent program execution and atomicity of high
level operations like read, write, and abort. However, in a realistic setting,
processors use relaxed memory models to optimize hardware performance. Moreover,
the atomicity of operations depends on the underlying hardware. This paper presents
the first approach to verify STMs under relaxed memory models with atomicity of
32 bit loads and stores, and read-modify-write operations. We describe RML, a
simple language for expressing concurrent programs. We develop a semantics of
RML parametrized by a relaxed memory model. We then present our tool, FOIL, which
takes as input the RML description of an STM algorithm restricted to two threads
and two variables, and the description of a memory model, and automatically determines
the locations of fences, which if inserted, ensure the correctness of the restricted
STM algorithm under the given memory model. We use FOIL to verify DSTM, TL2, and
McRT STM under the memory models of sequential consistency, total store order,
partial store order, and relaxed memory order for two threads and two variables.
Finally, we extend the verification results for DSTM and TL2 to an arbitrary number
of threads and variables by manually proving that the structural properties of
STMs are satisfied at the hardware level of atomicity under the considered relaxed
memory models.
article_processing_charge: No
article_type: original
author:
- first_name: Rachid
full_name: Guerraoui, Rachid
last_name: Guerraoui
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Vasu
full_name: Singh, Vasu
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
citation:
ama: Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models.
Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
apa: Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM
on relaxed memory models. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-011-0131-3
chicago: Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of
STM on Relaxed Memory Models.” Formal Methods in System Design. Springer,
2011. https://doi.org/10.1007/s10703-011-0131-3.
ieee: R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed
memory models,” Formal Methods in System Design, vol. 39, no. 3. Springer,
pp. 297–331, 2011.
ista: Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory
models. Formal Methods in System Design. 39(3), 297–331.
mla: Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal
Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
short: R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39
(2011) 297–331.
date_created: 2018-12-11T11:47:00Z
date_published: 2011-12-01T00:00:00Z
date_updated: 2021-01-12T08:01:27Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/s10703-011-0131-3
intvolume: ' 39'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://infoscience.epfl.ch/record/178042/files/art3A10.10072Fs10703-011-0131-3.pdf
month: '12'
oa: 1
oa_version: Published Version
page: 297 - 331
publication: Formal Methods in System Design
publication_status: published
publisher: Springer
publist_id: '7288'
quality_controlled: '1'
scopus_import: 1
status: public
title: Verification of STM on relaxed memory models
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2011'
...
---
_id: '5379'
abstract:
- lang: eng
text: Computing the winning set for Büchi objectives in alternating games on graphs
is a central problem in computer aided verification with a large number of applications.
The long standing best known upper bound for solving the problem is ̃O(n·m), where
n is the number of vertices and m is the number of edges in the graph. We are
the first to break the ̃O(n·m) boundary by presenting a new technique that reduces
the running time to O(n2). This bound also leads to O(n2) time algorithms for
computing the set of almost-sure winning vertices for Büchi objectives (1) in
alternating games with probabilistic transitions (improving an earlier bound of
O(n·m)), (2) in concurrent graph games with constant actions (improving an earlier
bound of O(n3)), and (3) in Markov decision processes (improving for m > n4/3
an earlier bound of O(min(m1.5, m·n2/3)). We also show that the same technique
can be used to compute the maximal end-component decomposition of a graph in time
O(n2), which is an improvement over earlier bounds for m > n4/3. Finally, we show
how to maintain the winning set for Büchi objectives in alternating games under
a sequence of edge insertions or a sequence of edge deletions in O(n) amortized
time per operation. This is the first dynamic algorithm for this problem.
alternative_title:
- IST Austria Technical Report
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
citation:
ama: Chatterjee K, Henzinger MH. An O(N2) Time Algorithm for Alternating Büchi
Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
apa: Chatterjee, K., & Henzinger, M. H. (2011). An O(n2) time algorithm for
alternating Büchi games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0009
chicago: Chatterjee, Krishnendu, and Monika H Henzinger. An O(N2) Time Algorithm
for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
ieee: K. Chatterjee and M. H. Henzinger, An O(n2) time algorithm for alternating
Büchi games. IST Austria, 2011.
ista: Chatterjee K, Henzinger MH. 2011. An O(n2) time algorithm for alternating
Büchi games, IST Austria, 20p.
mla: Chatterjee, Krishnendu, and Monika H. Henzinger. An O(N2) Time Algorithm
for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
short: K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi
Games, IST Austria, 2011.
date_created: 2018-12-12T11:38:59Z
date_published: 2011-07-11T00:00:00Z
date_updated: 2023-02-23T11:15:12Z
day: '11'
ddc:
- '000'
- '004'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0009
file:
- access_level: open_access
checksum: 0b354264229045d982332fd2cb5b9a26
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:43Z
date_updated: 2020-07-14T12:46:39Z
file_id: '5504'
file_name: IST-2011-0009_IST-2011-0009.pdf
file_size: 388665
relation: main_file
file_date_updated: 2020-07-14T12:46:39Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '20'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '15'
related_material:
record:
- id: '3165'
relation: later_version
status: public
status: public
title: An O(n2) time algorithm for alternating Büchi games
type: technical_report
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2011'
...
---
_id: '5380'
abstract:
- lang: eng
text: 'We consider 2-player games played on a finite state space for an infinite
number of rounds. The games are concurrent: in each round, the two players (player
1 and player 2) choose their moves independently and simultaneously; the current
state and the two moves determine the successor state. We study concurrent games
with ω-regular winning conditions specified as parity objectives. We consider
the qualitative analysis problems: the computation of the almost-sure and limit-sure
winning set of states, where player 1 can ensure to win with probability 1 and
with probability arbitrarily close to 1, respectively. In general the almost-sure
and limit-sure winning strategies require both infinite-memory as well as infinite-precision
(to describe probabilities). We study the bounded-rationality problem for qualitative
analysis of concurrent parity games, where the strategy set for player 1 is restricted
to bounded-resource strategies. In terms of precision, strategies can be deterministic,
uniform, finite-precision or infinite-precision; and in terms of memory, strategies
can be memoryless, finite-memory or infinite-memory. We present a precise and
complete characterization of the qualitative winning sets for all combinations
of classes of strategies. In particular, we show that uniform memoryless strategies
are as powerful as finite-precision infinite-memory strategies, and infinite-precision
memoryless strategies are as powerful as infinite-precision finite-memory strategies. We
show that the winning sets can be computed in O(n2d+3) time, where n is the size
of the game structure and 2d is the number of priorities (or colors), and our
algorithms are symbolic. The membership problem of whether a state belongs to
a winning set can be decided in NP ∩ coNP. While this complexity is the same as
for the simpler class of turn-based parity games, where in each state only one
of the two players has a choice of moves, our algorithms,that are obtained by
characterization of the winning sets as μ-calculus formulas, are considerably
more involved than those for turn-based games.'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: Chatterjee K. Bounded Rationality in Concurrent Parity Games. IST Austria;
2011. doi:10.15479/AT:IST-2011-0008
apa: Chatterjee, K. (2011). Bounded rationality in concurrent parity games.
IST Austria. https://doi.org/10.15479/AT:IST-2011-0008
chicago: Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games.
IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0008.
ieee: K. Chatterjee, Bounded rationality in concurrent parity games. IST
Austria, 2011.
ista: Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria,
53p.
mla: Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games.
IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
short: K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria,
2011.
date_created: 2018-12-12T11:39:00Z
date_published: 2011-07-11T00:00:00Z
date_updated: 2023-02-23T11:22:53Z
day: '11'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0008
file:
- access_level: open_access
checksum: 0fd38186409be819a911c4990fa79d1f
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:22Z
date_updated: 2020-07-14T12:46:39Z
file_id: '5544'
file_name: IST-2011-0008_IST-2011-0008.pdf
file_size: 500399
relation: main_file
file_date_updated: 2020-07-14T12:46:39Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '53'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '16'
related_material:
record:
- id: '3338'
relation: later_version
status: public
status: public
title: Bounded rationality in concurrent parity games
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5381'
abstract:
- lang: eng
text: "In two-player finite-state stochastic games of partial obser- vation on graphs,
in every state of the graph, the players simultaneously choose an action, and
their joint actions determine a probability distri- bution over the successor
states. The game is played for infinitely many rounds and thus the players construct
an infinite path in the graph. We consider reachability objectives where the first
player tries to ensure a target state to be visited almost-surely (i.e., with
probability 1) or pos- itively (i.e., with positive probability), no matter the
strategy of the second player.\r\n\r\nWe classify such games according to the
information and to the power of randomization available to the players. On the
basis of information, the game can be one-sided with either (a) player 1, or (b)
player 2 having partial observation (and the other player has perfect observation),
or two- sided with (c) both players having partial observation. On the basis of
randomization, (a) the players may not be allowed to use randomization (pure strategies),
or (b) they may choose a probability distribution over actions but the actual
random choice is external and not visible to the player (actions invisible), or
(c) they may use full randomization.\r\n\r\nOur main results for pure strategies
are as follows: (1) For one-sided games with player 2 perfect observation we show
that (in contrast to full randomized strategies) belief-based (subset-construction
based) strate- gies are not sufficient, and present an exponential upper bound
on mem- ory both for almost-sure and positive winning strategies; we show that
the problem of deciding the existence of almost-sure and positive winning strategies
for player 1 is EXPTIME-complete and present symbolic algo- rithms that avoid
the explicit exponential construction. (2) For one-sided games with player 1 perfect
observation we show that non-elementary memory is both necessary and sufficient
for both almost-sure and posi- tive winning strategies. (3) We show that for the
general (two-sided) case finite-memory strategies are sufficient for both positive
and almost-sure winning, and at least non-elementary memory is required. We establish
the equivalence of the almost-sure winning problems for pure strategies and for
randomized strategies with actions invisible. Our equivalence re- sult exhibit
serious flaws in previous results in the literature: we show a non-elementary
memory lower bound for almost-sure winning whereas an exponential upper bound
was previously claimed."
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
citation:
ama: 'Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win
When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007'
apa: 'Chatterjee, K., & Doyen, L. (2011). Partial-observation stochastic
games: How to win when belief fails. IST Austria. https://doi.org/10.15479/AT:IST-2011-0007'
chicago: 'Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic
Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.'
ieee: 'K. Chatterjee and L. Doyen, Partial-observation stochastic games: How
to win when belief fails. IST Austria, 2011.'
ista: 'Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to
win when belief fails, IST Austria, 43p.'
mla: 'Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic
Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.'
short: 'K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win
When Belief Fails, IST Austria, 2011.'
date_created: 2018-12-12T11:39:00Z
date_published: 2011-07-05T00:00:00Z
date_updated: 2023-02-23T11:05:48Z
day: '05'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0007
file:
- access_level: open_access
checksum: 06bf6dfc97f6006e3fd0e9a3f31bc961
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:27Z
date_updated: 2020-07-14T12:46:39Z
file_id: '5488'
file_name: IST-2011-0007_IST-2011-0007.pdf
file_size: 574055
relation: main_file
file_date_updated: 2020-07-14T12:46:39Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '43'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '17'
related_material:
record:
- id: '1903'
relation: later_version
status: public
- id: '2211'
relation: later_version
status: public
- id: '2955'
relation: later_version
status: public
status: public
title: 'Partial-observation stochastic games: How to win when belief fails'
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5382'
abstract:
- lang: eng
text: 'We consider two-player stochastic games played on a finite state space for
an infinite num- ber of rounds. The games are concurrent: in each round, the two
players (player 1 and player 2) choose their moves independently and simultaneously;
the current state and the two moves determine a probability distribution over
the successor states. We also consider the important special case of turn-based
stochastic games where players make moves in turns, rather than concurrently.
We study concurrent games with ω-regular winning conditions specified as parity
objectives. The value for player 1 for a parity objective is the maximal probability
with which the player can guarantee the satisfaction of the objective against
all strategies of the opponent. We study the problem of continuity and robustness
of the value function in concurrent and turn-based stochastic parity games with
respect to imprecision in the transition probabilities. We present quantitative
bounds on the difference of the value function (in terms of the imprecision of
the transition probabilities) and show the value continuity for structurally equivalent
concurrent games (two games are structurally equivalent if the support of the
transition func- tion is same and the probabilities differ). We also show robustness
of optimal strategies for structurally equivalent turn-based stochastic parity
games. Finally we show that the value continuity property breaks without the structurally
equivalent assumption (even for Markov chains) and show that our quantitative
bound is asymptotically optimal. Hence our results are tight (the assumption is
both necessary and sufficient) and optimal (our quantitative bound is asymptotically
optimal).'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: Chatterjee K. Robustness of Structurally Equivalent Concurrent Parity Games.
IST Austria; 2011. doi:10.15479/AT:IST-2011-0006
apa: Chatterjee, K. (2011). Robustness of structurally equivalent concurrent
parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
chicago: Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent
Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0006.
ieee: K. Chatterjee, Robustness of structurally equivalent concurrent parity
games. IST Austria, 2011.
ista: Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity
games, IST Austria, 18p.
mla: Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent
Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
short: K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games,
IST Austria, 2011.
date_created: 2018-12-12T11:39:00Z
date_published: 2011-06-27T00:00:00Z
date_updated: 2023-02-23T11:23:01Z
day: '27'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0006
file:
- access_level: open_access
checksum: 1322b652d6ab07eb5248298a3f91c1cf
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:24Z
date_updated: 2020-07-14T12:46:40Z
file_id: '5546'
file_name: IST-2011-0006_IST-2011-0006.pdf
file_size: 335997
relation: main_file
file_date_updated: 2020-07-14T12:46:40Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '18'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '18'
related_material:
record:
- id: '3341'
relation: later_version
status: public
status: public
title: Robustness of structurally equivalent concurrent parity games
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5383'
abstract:
- lang: eng
text: We present a new decidable logic called TREX for expressing constraints about
imperative tree data structures. In particular, TREX supports a transitive closure
operator that can express reachability constraints, which often appear in data
structure invariants. We show that our logic is closed under weakest precondition
computation, which enables its use for automated software verification. We further
show that satisfiability of formulas in TREX is decidable in NP. The low complexity
makes it an attractive alternative to more expensive logics such as monadic second-order
logic (MSOL) over trees, which have been traditionally used for reasoning about
tree data structures.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
- first_name: Marco
full_name: Muñiz, Marco
last_name: Muñiz
- first_name: Viktor
full_name: Kuncak, Viktor
last_name: Kuncak
citation:
ama: Wies T, Muñiz M, Kuncak V. On an Efficient Decision Procedure for Imperative
Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005
apa: Wies, T., Muñiz, M., & Kuncak, V. (2011). On an efficient decision procedure
for imperative tree data structures. IST Austria. https://doi.org/10.15479/AT:IST-2011-0005
chicago: Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision
Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
ieee: T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for
imperative tree data structures. IST Austria, 2011.
ista: Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative
tree data structures, IST Austria, 25p.
mla: Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree
Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
short: T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative
Tree Data Structures, IST Austria, 2011.
date_created: 2018-12-12T11:39:01Z
date_published: 2011-04-26T00:00:00Z
date_updated: 2023-02-23T11:22:16Z
day: '26'
ddc:
- '000'
- '006'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2011-0005
file:
- access_level: open_access
checksum: b20029184c4a819c5f4466a4a3d238b5
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:01Z
date_updated: 2020-07-14T12:46:40Z
file_id: '5462'
file_name: IST-2011-0005_IST-2011-0005.pdf
file_size: 619053
relation: main_file
file_date_updated: 2020-07-14T12:46:40Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '25'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '19'
related_material:
record:
- id: '3323'
relation: later_version
status: public
status: public
title: On an efficient decision procedure for imperative tree data structures
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5384'
abstract:
- lang: eng
text: 'We consider probabilistic automata on infinite words with acceptance defined
by parity conditions. We consider three qualitative decision problems: (i) the
positive decision problem asks whether there is a word that is accepted with positive
probability; (ii) the almost decision problem asks whether there is a word that
is accepted with probability 1; and (iii) the limit decision problem asks whether
for every ε > 0 there is a word that is accepted with probability at least 1 −
ε. We unify and generalize several decidability results for probabilistic automata
over infinite words, and identify a robust (closed under union and intersection)
subclass of probabilistic automata for which all the qualitative decision problems
are decidable for parity conditions. We also show that if the input words are
restricted to lasso shape words, then the positive and almost problems are decidable
for all probabilistic automata with parity conditions.'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Mathieu
full_name: Tracol, Mathieu
id: 3F54FA38-F248-11E8-B48F-1D18A9856A87
last_name: Tracol
citation:
ama: Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on
Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
apa: Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic
automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
chicago: Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic
Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
ieee: K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata
on infinite words. IST Austria, 2011.
ista: Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata
on infinite words, IST Austria, 30p.
mla: Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic
Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
short: K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on
Infinite Words, IST Austria, 2011.
date_created: 2018-12-12T11:39:01Z
date_published: 2011-04-11T00:00:00Z
date_updated: 2023-02-23T11:05:53Z
day: '11'
ddc:
- '000'
- '005'
department:
- _id: KrCh
doi: 10.15479/AT:IST-2011-0004
file:
- access_level: open_access
checksum: f5a0f664fadc335990f5fcf138df19f1
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:54:23Z
date_updated: 2020-07-14T12:46:40Z
file_id: '5545'
file_name: IST-2011-004_IST-2011-0004.pdf
file_size: 570827
relation: main_file
file_date_updated: 2020-07-14T12:46:40Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '30'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '20'
related_material:
record:
- id: '2957'
relation: later_version
status: public
status: public
title: Decidable problems for probabilistic automata on infinite words
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5385'
abstract:
- lang: eng
text: There is recently a significant effort to add quantitative objectives to formal
verification and synthesis. We introduce and investigate the extension of temporal
logics with quantitative atomic assertions, aiming for a general and flexible
framework for quantitative-oriented specifications. In the heart of quantitative
objectives lies the accumulation of values along a computation. It is either the
accumulated summation, as with the energy objectives, or the accumulated average,
as with the mean-payoff objectives. We investigate the extension of temporal logics
with the prefix-accumulation assertions Sum(v) ≥ c and Avg(v) ≥ c, where v is
a numeric variable of the system, c is a constant rational number, and Sum(v)
and Avg(v) denote the accumulated sum and average of the values of v from the
beginning of the computation up to the current point of time. We also allow the
path-accumulation assertions LimInfAvg(v) ≥ c and LimSupAvg(v) ≥ c, referring
to the average value along an entire computation. We study the border of decidability
for extensions of various temporal logics. In particular, we show that extending
the fragment of CTL that has only the EX, EF, AX, and AG temporal modalities by
prefix-accumulation assertions and extending LTL with path-accumulation assertions,
result in temporal logics whose model-checking problem is decidable. The extended
logics allow to significantly extend the currently known energy and mean-payoff
objectives. Moreover, the prefix-accumulation assertions may be refined with “controlled-accumulation”,
allowing, for example, to specify constraints on the average waiting time between
a request and a grant. On the negative side, we show that the fragment we point
to is, in a sense, the maximal logic whose extension with prefix-accumulation
assertions permits a decidable model-checking procedure. Extending a temporal
logic that has the EG or EU modalities, and in particular CTL and LTL, makes the
problem undecidable.
alternative_title:
- IST Austria Technical Report
author:
- first_name: Udi
full_name: Boker, Udi
id: 31E297B6-F248-11E8-B48F-1D18A9856A87
last_name: Boker
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Orna
full_name: Kupferman, Orna
last_name: Kupferman
citation:
ama: Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications
with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003
apa: Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal
specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003
chicago: Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman.
Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
ieee: U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications
with accumulative values. IST Austria, 2011.
ista: Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications
with accumulative values, IST Austria, 14p.
mla: Boker, Udi, et al. Temporal Specifications with Accumulative Values.
IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
short: U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications
with Accumulative Values, IST Austria, 2011.
date_created: 2018-12-12T11:39:02Z
date_published: 2011-04-04T00:00:00Z
date_updated: 2023-02-23T11:23:41Z
day: '04'
ddc:
- '000'
- '004'
department:
- _id: ToHe
- _id: KrCh
doi: 10.15479/AT:IST-2011-0003
ec_funded: 1
file:
- access_level: open_access
checksum: 8491d0d48c4911620ecd5350b413c11e
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:00Z
date_updated: 2020-07-14T12:46:41Z
file_id: '5461'
file_name: IST-2011-0003_IST-2011-0003.pdf
file_size: 366281
relation: main_file
file_date_updated: 2020-07-14T12:46:41Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '14'
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '215543'
name: COMponent-Based Embedded Systems design Techniques
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '214373'
name: Design for Embedded Systems
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '21'
related_material:
record:
- id: '2038'
relation: later_version
status: public
- id: '3356'
relation: later_version
status: public
status: public
title: Temporal specifications with accumulative values
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '5386'
abstract:
- lang: eng
text: 'We introduce TopoCut: a new way to integrate knowledge about topological
properties (TPs) into random field image segmentation model. Instead of including
TPs as additional constraints during minimization of the energy function, we devise
an efficient algorithm for modifying the unary potentials such that the resulting
segmentation is guaranteed with the desired properties. Our method is more flexible
in the sense that it handles more topology constraints than previous methods,
which were only able to enforce pairwise or global connectivity. In particular,
our method is very fast, making it for the first time possible to enforce global
topological properties in practical image segmentation tasks.'
alternative_title:
- IST Austria Technical Report
author:
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Daniel
full_name: Freedman, Daniel
last_name: Freedman
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: Chen C, Freedman D, Lampert C. Enforcing Topological Constraints in Random
Field Image Segmentation. IST Austria; 2011. doi:10.15479/AT:IST-2011-0002
apa: Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological
constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
chicago: Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological
Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
ieee: C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints
in random field image segmentation. IST Austria, 2011.
ista: Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in
random field image segmentation, IST Austria, 69p.
mla: Chen, Chao, et al. Enforcing Topological Constraints in Random Field Image
Segmentation. IST Austria, 2011, doi:10.15479/AT:IST-2011-0002.
short: C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random
Field Image Segmentation, IST Austria, 2011.
date_created: 2018-12-12T11:39:02Z
date_published: 2011-03-28T00:00:00Z
date_updated: 2023-02-23T11:22:48Z
day: '28'
ddc:
- '000'
department:
- _id: ChLa
doi: 10.15479/AT:IST-2011-0002
file:
- access_level: open_access
checksum: ad64c2add5fe2ad10e9d5c669f3f9526
content_type: application/pdf
creator: system
date_created: 2018-12-12T11:53:34Z
date_updated: 2020-07-14T12:46:41Z
file_id: '5495'
file_name: IST-2011-0002_IST-2011-0002.pdf
file_size: 26390601
relation: main_file
file_date_updated: 2020-07-14T12:46:41Z
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '69'
publication_identifier:
issn:
- 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '22'
related_material:
record:
- id: '3336'
relation: later_version
status: public
status: public
title: Enforcing topological constraints in random field image segmentation
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3163'
abstract:
- lang: eng
text: We study multi-label prediction for structured output sets, a problem that
occurs, for example, in object detection in images, secondary structure prediction
in computational biology, and graph matching with symmetries. Conventional multilabel
classification techniques are typically not applicable in this situation, because
they require explicit enumeration of the label set, which is infeasible in case
of structured outputs. Relying on techniques originally designed for single-label
structured prediction, in particular structured support vector machines, results
in reduced prediction accuracy, or leads to infeasible optimization problems.
In this work we derive a maximum-margin training formulation for multi-label structured
prediction that remains computationally tractable while achieving high prediction
accuracy. It also shares most beneficial properties with single-label maximum-margin
approaches, in particular formulation as a convex optimization problem, efficient
working set training, and PAC-Bayesian generalization bounds.
author:
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Lampert C. Maximum margin multi-label structured prediction. In: Neural Information
Processing Systems; 2011.'
apa: 'Lampert, C. (2011). Maximum margin multi-label structured prediction. Presented
at the NIPS: Neural Information Processing Systems, Granada, Spain: Neural Information
Processing Systems.'
chicago: Lampert, Christoph. “Maximum Margin Multi-Label Structured Prediction.”
Neural Information Processing Systems, 2011.
ieee: 'C. Lampert, “Maximum margin multi-label structured prediction,” presented
at the NIPS: Neural Information Processing Systems, Granada, Spain, 2011.'
ista: 'Lampert C. 2011. Maximum margin multi-label structured prediction. NIPS:
Neural Information Processing Systems.'
mla: Lampert, Christoph. Maximum Margin Multi-Label Structured Prediction.
Neural Information Processing Systems, 2011.
short: C. Lampert, in:, Neural Information Processing Systems, 2011.
conference:
end_date: 2011-12-14
location: Granada, Spain
name: 'NIPS: Neural Information Processing Systems'
start_date: 2011-12-12
date_created: 2018-12-11T12:01:45Z
date_published: 2011-12-01T00:00:00Z
date_updated: 2023-10-17T11:47:35Z
day: '01'
department:
- _id: ChLa
language:
- iso: eng
month: '12'
oa_version: None
publication_status: published
publisher: Neural Information Processing Systems
publist_id: '3522'
quality_controlled: '1'
related_material:
record:
- id: '3322'
relation: later_version
status: public
scopus_import: 1
status: public
title: Maximum margin multi-label structured prediction
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3264'
abstract:
- lang: eng
text: Verification of programs with procedures, multi-threaded programs, and higher-order
functional programs can be effectively au- tomated using abstraction and refinement
schemes that rely on spurious counterexamples for abstraction discovery. The analysis
of counterexam- ples can be automated by a series of interpolation queries, or,
alterna- tively, as a constraint solving query expressed by a set of recursion
free Horn clauses. (A set of interpolation queries can be formulated as a single
constraint over Horn clauses with linear dependency structure between the unknown
relations.) In this paper we present an algorithm for solving recursion free Horn
clauses over a combined theory of linear real/rational arithmetic and uninterpreted
functions. Our algorithm performs resolu- tion to deal with the clausal structure
and relies on partial solutions to deal with (non-local) instances of functionality
axioms.
alternative_title:
- LNCS
author:
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Corneliu
full_name: Popeea, Corneliu
last_name: Popeea
- first_name: Andrey
full_name: Rybalchenko, Andrey
last_name: Rybalchenko
citation:
ama: 'Gupta A, Popeea C, Rybalchenko A. Solving recursion-free Horn clauses over
LI+UIF. In: Yang H, ed. Vol 7078. Springer; 2011:188-203. doi:10.1007/978-3-642-25318-8_16'
apa: 'Gupta, A., Popeea, C., & Rybalchenko, A. (2011). Solving recursion-free
Horn clauses over LI+UIF. In H. Yang (Ed.) (Vol. 7078, pp. 188–203). Presented
at the APLAS: Asian Symposium on Programming Languages and Systems, Kenting, Taiwan:
Springer. https://doi.org/10.1007/978-3-642-25318-8_16'
chicago: Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Solving Recursion-Free
Horn Clauses over LI+UIF.” edited by Hongseok Yang, 7078:188–203. Springer, 2011.
https://doi.org/10.1007/978-3-642-25318-8_16.
ieee: 'A. Gupta, C. Popeea, and A. Rybalchenko, “Solving recursion-free Horn clauses
over LI+UIF,” presented at the APLAS: Asian Symposium on Programming Languages
and Systems, Kenting, Taiwan, 2011, vol. 7078, pp. 188–203.'
ista: 'Gupta A, Popeea C, Rybalchenko A. 2011. Solving recursion-free Horn clauses
over LI+UIF. APLAS: Asian Symposium on Programming Languages and Systems, LNCS,
vol. 7078, 188–203.'
mla: Gupta, Ashutosh, et al. Solving Recursion-Free Horn Clauses over LI+UIF.
Edited by Hongseok Yang, vol. 7078, Springer, 2011, pp. 188–203, doi:10.1007/978-3-642-25318-8_16.
short: A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011,
pp. 188–203.
conference:
end_date: 2011-12-07
location: Kenting, Taiwan
name: 'APLAS: Asian Symposium on Programming Languages and Systems'
start_date: 2011-12-05
date_created: 2018-12-11T12:02:20Z
date_published: 2011-12-05T00:00:00Z
date_updated: 2021-01-12T07:42:15Z
day: '05'
department:
- _id: ToHe
doi: 10.1007/978-3-642-25318-8_16
ec_funded: 1
editor:
- first_name: Hongseok
full_name: Yang, Hongseok
last_name: Yang
intvolume: ' 7078'
language:
- iso: eng
month: '12'
oa_version: None
page: 188 - 203
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication_status: published
publisher: Springer
publist_id: '3383'
quality_controlled: '1'
status: public
title: Solving recursion-free Horn clauses over LI+UIF
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 7078
year: '2011'
...
---
_id: '3266'
abstract:
- lang: eng
text: We present a joint image segmentation and labeling model (JSL) which, given
a bag of figure-ground segment hypotheses extracted at multiple image locations
and scales, constructs a joint probability distribution over both the compatible
image interpretations (tilings or image segmentations) composed from those segments,
and over their labeling into categories. The process of drawing samples from the
joint distribution can be interpreted as first sampling tilings, modeled as maximal
cliques, from a graph connecting spatially non-overlapping segments in the bag
[1], followed by sampling labels for those segments, conditioned on the choice
of a particular tiling. We learn the segmentation and labeling parameters jointly,
based on Maximum Likelihood with a novel Incremental Saddle Point estimation procedure.
The partition function over tilings and labelings is increasingly more accurately
approximated by including incorrect configurations that a not-yet-competent model
rates probable during learning. We show that the proposed methodologymatches the
current state of the art in the Stanford dataset [2], as well as in VOC2010, where
41.7% accuracy on the test set is achieved.
author:
- first_name: Adrian
full_name: Ion, Adrian
id: 29F89302-F248-11E8-B48F-1D18A9856A87
last_name: Ion
- first_name: Joao
full_name: Carreira, Joao
last_name: Carreira
- first_name: Cristian
full_name: Sminchisescu, Cristian
last_name: Sminchisescu
citation:
ama: 'Ion A, Carreira J, Sminchisescu C. Probabilistic joint image segmentation
and labeling. In: NIPS Proceedings. Vol 24. Neural Information Processing
Systems Foundation; 2011:1827-1835.'
apa: 'Ion, A., Carreira, J., & Sminchisescu, C. (2011). Probabilistic joint
image segmentation and labeling. In NIPS Proceedings (Vol. 24, pp. 1827–1835).
Granada, Spain: Neural Information Processing Systems Foundation.'
chicago: Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Probabilistic Joint
Image Segmentation and Labeling.” In NIPS Proceedings, 24:1827–35. Neural
Information Processing Systems Foundation, 2011.
ieee: A. Ion, J. Carreira, and C. Sminchisescu, “Probabilistic joint image segmentation
and labeling,” in NIPS Proceedings, Granada, Spain, 2011, vol. 24, pp.
1827–1835.
ista: 'Ion A, Carreira J, Sminchisescu C. 2011. Probabilistic joint image segmentation
and labeling. NIPS Proceedings. NIPS: Neural Information Processing Systems vol.
24, 1827–1835.'
mla: Ion, Adrian, et al. “Probabilistic Joint Image Segmentation and Labeling.”
NIPS Proceedings, vol. 24, Neural Information Processing Systems Foundation,
2011, pp. 1827–35.
short: A. Ion, J. Carreira, C. Sminchisescu, in:, NIPS Proceedings, Neural Information
Processing Systems Foundation, 2011, pp. 1827–1835.
conference:
end_date: 2011-12-14
location: Granada, Spain
name: 'NIPS: Neural Information Processing Systems'
start_date: 2011-12-12
date_created: 2018-12-11T12:02:21Z
date_published: 2011-12-01T00:00:00Z
date_updated: 2021-01-12T07:42:15Z
day: '01'
department:
- _id: HeEd
intvolume: ' 24'
language:
- iso: eng
month: '12'
oa_version: None
page: 1827 - 1835
publication: NIPS Proceedings
publication_status: published
publisher: Neural Information Processing Systems Foundation
publist_id: '3381'
quality_controlled: '1'
scopus_import: 1
status: public
title: Probabilistic joint image segmentation and labeling
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2011'
...
---
_id: '3267'
abstract:
- lang: eng
text: 'We address the problem of localizing homology classes, namely, finding the
cycle representing a given class with the most concise geometric measure. We study
the problem with different measures: volume, diameter and radius. For volume,
that is, the 1-norm of a cycle, two main results are presented. First, we prove
that the problem is NP-hard to approximate within any constant factor. Second,
we prove that for homology of dimension two or higher, the problem is NP-hard
to approximate even when the Betti number is O(1). The latter result leads to
the inapproximability of the problem of computing the nonbounding cycle with the
smallest volume and computing cycles representing a homology basis with the minimal
total volume. As for the other two measures defined by pairwise geodesic distance,
diameter and radius, we show that the localization problem is NP-hard for diameter
but is polynomial for radius. Our work is restricted to homology over the ℤ2 field.'
author:
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Daniel
full_name: Freedman, Daniel
last_name: Freedman
citation:
ama: Chen C, Freedman D. Hardness results for homology localization. Discrete
& Computational Geometry. 2011;45(3):425-448. doi:10.1007/s00454-010-9322-8
apa: Chen, C., & Freedman, D. (2011). Hardness results for homology localization.
Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-010-9322-8
chicago: Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.”
Discrete & Computational Geometry. Springer, 2011. https://doi.org/10.1007/s00454-010-9322-8.
ieee: C. Chen and D. Freedman, “Hardness results for homology localization,” Discrete
& Computational Geometry, vol. 45, no. 3. Springer, pp. 425–448, 2011.
ista: Chen C, Freedman D. 2011. Hardness results for homology localization. Discrete
& Computational Geometry. 45(3), 425–448.
mla: Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.”
Discrete & Computational Geometry, vol. 45, no. 3, Springer, 2011,
pp. 425–48, doi:10.1007/s00454-010-9322-8.
short: C. Chen, D. Freedman, Discrete & Computational Geometry 45 (2011) 425–448.
date_created: 2018-12-11T12:02:21Z
date_published: 2011-01-14T00:00:00Z
date_updated: 2023-02-21T16:07:10Z
day: '14'
department:
- _id: HeEd
doi: 10.1007/s00454-010-9322-8
intvolume: ' 45'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 425 - 448
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '3379'
quality_controlled: '1'
related_material:
record:
- id: '10909'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Hardness results for homology localization
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 45
year: '2011'
...
---
_id: '3269'
abstract:
- lang: eng
text: The unintentional scattering of light between neighboring surfaces in complex
projection environments increases the brightness and decreases the contrast, disrupting
the appearance of the desired imagery. To achieve satisfactory projection results,
the inverse problem of global illumination must be solved to cancel this secondary
scattering. In this paper, we propose a global illumination cancellation method
that minimizes the perceptual difference between the desired imagery and the actual
total illumination in the resulting physical environment. Using Gauss-Newton and
active set methods, we design a fast solver for the bound constrained nonlinear
least squares problem raised by the perceptual error metrics. Our solver is further
accelerated with a CUDA implementation and multi-resolution method to achieve
1–2 fps for problems with approximately 3000 variables. We demonstrate the global
illumination cancellation algorithm with our multi-projector system. Results show
that our method preserves the color fidelity of the desired imagery significantly
better than previous methods.
article_processing_charge: No
article_type: original
author:
- first_name: Yu
full_name: Sheng, Yu
last_name: Sheng
- first_name: Barbara
full_name: Cutler, Barbara
last_name: Cutler
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Joshua
full_name: Nasman, Joshua
last_name: Nasman
citation:
ama: Sheng Y, Cutler B, Chen C, Nasman J. Perceptual global illumination cancellation
in complex projection environments. Computer Graphics Forum. 2011;30(4):1261-1268.
doi:10.1111/j.1467-8659.2011.01985.x
apa: Sheng, Y., Cutler, B., Chen, C., & Nasman, J. (2011). Perceptual global
illumination cancellation in complex projection environments. Computer Graphics
Forum. Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2011.01985.x
chicago: Sheng, Yu, Barbara Cutler, Chao Chen, and Joshua Nasman. “Perceptual Global
Illumination Cancellation in Complex Projection Environments.” Computer Graphics
Forum. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1467-8659.2011.01985.x.
ieee: Y. Sheng, B. Cutler, C. Chen, and J. Nasman, “Perceptual global illumination
cancellation in complex projection environments,” Computer Graphics Forum,
vol. 30, no. 4. Wiley-Blackwell, pp. 1261–1268, 2011.
ista: Sheng Y, Cutler B, Chen C, Nasman J. 2011. Perceptual global illumination
cancellation in complex projection environments. Computer Graphics Forum. 30(4),
1261–1268.
mla: Sheng, Yu, et al. “Perceptual Global Illumination Cancellation in Complex Projection
Environments.” Computer Graphics Forum, vol. 30, no. 4, Wiley-Blackwell,
2011, pp. 1261–68, doi:10.1111/j.1467-8659.2011.01985.x.
short: Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011)
1261–1268.
date_created: 2018-12-11T12:02:22Z
date_published: 2011-07-19T00:00:00Z
date_updated: 2021-01-12T07:42:16Z
day: '19'
department:
- _id: HeEd
doi: 10.1111/j.1467-8659.2011.01985.x
intvolume: ' 30'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.cs.cmu.edu/%7Eshengyu/download/egsr2011_paper.pdf
month: '07'
oa: 1
oa_version: Published Version
page: 1261 - 1268
publication: Computer Graphics Forum
publication_status: published
publisher: Wiley-Blackwell
publist_id: '3377'
quality_controlled: '1'
scopus_import: 1
status: public
title: Perceptual global illumination cancellation in complex projection environments
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2011'
...
---
_id: '3270'
abstract:
- lang: eng
text: 'The persistence diagram of a filtered simplicial com- plex is usually computed
by reducing the boundary matrix of the complex. We introduce a simple op- timization
technique: by processing the simplices of the complex in decreasing dimension,
we can “kill” columns (i.e., set them to zero) without reducing them. This technique
completely avoids reduction on roughly half of the columns. We demonstrate that
this idea significantly improves the running time of the reduction algorithm in
practice. We also give an output-sensitive complexity analysis for the new al-
gorithm which yields to sub-cubic asymptotic bounds under certain assumptions.'
author:
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Michael
full_name: Kerber, Michael
id: 36E4574A-F248-11E8-B48F-1D18A9856A87
last_name: Kerber
orcid: 0000-0002-8030-9299
citation:
ama: 'Chen C, Kerber M. Persistent homology computation with a twist. In: TU Dortmund;
2011:197-200.'
apa: 'Chen, C., & Kerber, M. (2011). Persistent homology computation with a
twist (pp. 197–200). Presented at the EuroCG: European Workshop on Computational
Geometry, Morschach, Switzerland: TU Dortmund.'
chicago: Chen, Chao, and Michael Kerber. “Persistent Homology Computation with a
Twist,” 197–200. TU Dortmund, 2011.
ieee: 'C. Chen and M. Kerber, “Persistent homology computation with a twist,” presented
at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland,
2011, pp. 197–200.'
ista: 'Chen C, Kerber M. 2011. Persistent homology computation with a twist. EuroCG:
European Workshop on Computational Geometry, 197–200.'
mla: Chen, Chao, and Michael Kerber. Persistent Homology Computation with a Twist.
TU Dortmund, 2011, pp. 197–200.
short: C. Chen, M. Kerber, in:, TU Dortmund, 2011, pp. 197–200.
conference:
end_date: 2011-03-30
location: Morschach, Switzerland
name: 'EuroCG: European Workshop on Computational Geometry'
start_date: 2011-03-28
date_created: 2018-12-11T12:02:22Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2021-01-12T07:42:17Z
day: '01'
department:
- _id: HeEd
language:
- iso: eng
month: '01'
oa_version: None
page: 197 - 200
publication_status: published
publisher: TU Dortmund
publist_id: '3376'
quality_controlled: '1'
status: public
title: Persistent homology computation with a twist
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3271'
abstract:
- lang: eng
text: In this paper we present an efficient framework for computation of persis-
tent homology of cubical data in arbitrary dimensions. An existing algorithm using
simplicial complexes is adapted to the setting of cubical complexes. The proposed
approach enables efficient application of persistent homology in domains where
the data is naturally given in a cubical form. By avoiding triangulation of the
data, we significantly reduce the size of the complex. We also present a data-structure
de- signed to compactly store and quickly manipulate cubical complexes. By means
of numerical experiments, we show high speed and memory efficiency of our ap-
proach. We compare our framework to other available implementations, showing its
superiority. Finally, we report performance on selected 3D and 4D data-sets.
alternative_title:
- Theory, Algorithms, and Applications
author:
- first_name: Hubert
full_name: Wagner, Hubert
last_name: Wagner
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
- first_name: Erald
full_name: Vuçini, Erald
last_name: Vuçini
citation:
ama: 'Wagner H, Chen C, Vuçini E. Efficient computation of persistent homology for
cubical data. In: Peikert R, Hauser H, Carr H, Fuchs R, eds. Topological Methods
in Data Analysis and Visualization II. Springer; 2011:91-106. doi:10.1007/978-3-642-23175-9_7'
apa: Wagner, H., Chen, C., & Vuçini, E. (2011). Efficient computation of persistent
homology for cubical data. In R. Peikert, H. Hauser, H. Carr, & R. Fuchs (Eds.),
Topological Methods in Data Analysis and Visualization II (pp. 91–106).
Springer. https://doi.org/10.1007/978-3-642-23175-9_7
chicago: Wagner, Hubert, Chao Chen, and Erald Vuçini. “Efficient Computation of
Persistent Homology for Cubical Data.” In Topological Methods in Data Analysis
and Visualization II, edited by Ronald Peikert, Helwig Hauser, Hamish Carr,
and Raphael Fuchs, 91–106. Springer, 2011. https://doi.org/10.1007/978-3-642-23175-9_7.
ieee: H. Wagner, C. Chen, and E. Vuçini, “Efficient computation of persistent homology
for cubical data,” in Topological Methods in Data Analysis and Visualization
II, R. Peikert, H. Hauser, H. Carr, and R. Fuchs, Eds. Springer, 2011, pp.
91–106.
ista: 'Wagner H, Chen C, Vuçini E. 2011.Efficient computation of persistent homology
for cubical data. In: Topological Methods in Data Analysis and Visualization II.
Theory, Algorithms, and Applications, , 91–106.'
mla: Wagner, Hubert, et al. “Efficient Computation of Persistent Homology for Cubical
Data.” Topological Methods in Data Analysis and Visualization II, edited
by Ronald Peikert et al., Springer, 2011, pp. 91–106, doi:10.1007/978-3-642-23175-9_7.
short: H. Wagner, C. Chen, E. Vuçini, in:, R. Peikert, H. Hauser, H. Carr, R. Fuchs
(Eds.), Topological Methods in Data Analysis and Visualization II, Springer, 2011,
pp. 91–106.
date_created: 2018-12-11T12:02:23Z
date_published: 2011-11-14T00:00:00Z
date_updated: 2021-01-12T07:42:18Z
day: '14'
department:
- _id: HeEd
doi: 10.1007/978-3-642-23175-9_7
editor:
- first_name: Ronald
full_name: Peikert, Ronald
last_name: Peikert
- first_name: Helwig
full_name: Hauser, Helwig
last_name: Hauser
- first_name: Hamish
full_name: Carr, Hamish
last_name: Carr
- first_name: Raphael
full_name: Fuchs, Raphael
last_name: Fuchs
language:
- iso: eng
month: '11'
oa_version: None
page: 91 - 106
publication: Topological Methods in Data Analysis and Visualization II
publication_status: published
publisher: Springer
publist_id: '3375'
quality_controlled: '1'
scopus_import: 1
status: public
title: Efficient computation of persistent homology for cubical data
type: book_chapter
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3273'
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Jean-Léon
full_name: Maître, Jean-Léon
id: 48F1E0D8-F248-11E8-B48F-1D18A9856A87
last_name: Maître
orcid: 0000-0002-3688-1474
citation:
ama: Maître J-L. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors.
2011.
apa: Maître, J.-L. (2011). Mechanics of adhesion and de‐adhesion in zebrafish
germ layer progenitors. Institute of Science and Technology Austria.
chicago: Maître, Jean-Léon. “Mechanics of Adhesion and De‐adhesion in Zebrafish
Germ Layer Progenitors.” Institute of Science and Technology Austria, 2011.
ieee: J.-L. Maître, “Mechanics of adhesion and de‐adhesion in zebrafish germ layer
progenitors,” Institute of Science and Technology Austria, 2011.
ista: Maître J-L. 2011. Mechanics of adhesion and de‐adhesion in zebrafish germ
layer progenitors. Institute of Science and Technology Austria.
mla: Maître, Jean-Léon. Mechanics of Adhesion and De‐adhesion in Zebrafish Germ
Layer Progenitors. Institute of Science and Technology Austria, 2011.
short: J.-L. Maître, Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer
Progenitors, Institute of Science and Technology Austria, 2011.
date_created: 2018-12-11T12:02:23Z
date_published: 2011-12-12T00:00:00Z
date_updated: 2023-09-07T11:30:16Z
day: '12'
degree_awarded: PhD
department:
- _id: CaHe
language:
- iso: eng
month: '12'
oa_version: None
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '3373'
status: public
supervisor:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
title: Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2011'
...
---
_id: '3275'
abstract:
- lang: eng
text: 'Chemokines organize immune cell trafficking by inducing either directed (tactic)
or random (kinetic) migration and by activating integrins in order to support
surface adhesion (haptic). Beyond that the same chemokines can establish clearly
defined functional areas in secondary lymphoid organs. Until now it is unclear
how chemokines can fulfill such diverse functions. One decisive prerequisite to
explain these capacities is to know how chemokines are presented in tissue. In
theory chemokines could occur either soluble or immobilized, and could be distributed
either homogenously or as a concentration gradient. To dissect if and how the
presenting mode of chemokines influences immune cells, I tested the response of
dendritic cells (DCs) to differentially displayed chemokines. DCs are antigen
presenting cells that reside in the periphery and migrate into draining lymph
nodes (LNs) once exposed to inflammatory stimuli to activate naïve T cells. DCs
are guided to and within the LN by the chemokine receptor CCR7, which has two
ligands, the chemokines CCL19 and CCL21. Both CCR7 ligands are expressed by fibroblastic
reticular cells in the LN, but differ in their ability to bind to heparan sulfate
residues. CCL21 has a highly charged C-terminal extension, which mediates binding
to anionic surfaces, whereas CCL19 is lacking such residues and likely distributes
as a soluble molecule. This study shows that surface-bound CCL21 causes random,
haptokinetic DC motility, which is confined to the chemokine coated area by insideout
activation of β2 integrins that mediate cell binding to the surface. CCL19 on
the other hand forms concentration gradients which trigger directional, chemotactic
movement, but no surface adhesion. In addition DCs can actively manipulate this
system by recruiting and activating serine proteases on their surfaces, which
create - by proteolytically removing the adhesive C-terminus - a solubilized variant
of CCL21 that functionally resembles CCL19. By generating a CCL21 concentration
gradient DCs establish a positive feedback loop to recruit further DCs from the
periphery to the CCL21 coated region. In addition DCs can sense chemotactic gradients
as well as immobilized haptokinetic fields at the same time and integrate these
signals. The result is chemotactically biased haptokinesis - directional migration
confined to a chemokine coated track or area - which could explain the dynamic
but spatially tightly controlled swarming leukocyte locomotion patterns that have
been observed in lymphatic organs by intravital microscopists. The finding that
DCs can approach soluble cues in a non-adhesive manner while they attach to surfaces
coated with immobilized cues raises the question how these cells transmit intracellular
forces to the environment, especially in the non-adherent migration mode. In order
to migrate, cells have to generate and transmit force to the extracellular substrate.
Force transmission is the prerequisite to procure an expansion of the leading
edge and a forward motion of the whole cell body. In the current conceptions actin
polymerization at the leading edge is coupled to extracellular ligands via the
integrin family of transmembrane receptors, which allows the transmission of intracellular
force. Against the paradigm of force transmission during migration, leukocytes,
like DCs, are able to migrate in threedimensional environments without using integrin
transmembrane receptors (Lämmermann et al., 2008). This reflects the biological
function of leukocytes, as they can invade almost all tissues, whereby their migration
has to be independent from the extracellular environment. How the cells can achieve
this is unclear. For this study I examined DC migration in a defined threedimensional
environment and highlighted actin-dynamics with the probe Lifeact-GFP. The result
was that chemotactic DCs can switch between integrin-dependent and integrin- independent
locomotion and can thereby adapt to the adhesive properties of their environment.
If the cells are able to couple their actin cytoskeleton to the substrate, actin
polymerization is entirely converted into protrusion. Without coupling the actin
cortex undergoes slippage and retrograde actin flow can be observed. But retrograde
actin flow can be completely compensated by higher actin polymerization rate keeping
the migration velocity and the shape of the cells unaltered. Mesenchymal cells
like fibroblast cannot balance the loss of adhesive interaction, cannot protrude
into open space and, therefore, strictly depend on integrinmediated force coupling.
This leukocyte specific phenomenon of “adaptive force transmission” endows these
cells with the unique ability to transit and invade almost every type of tissue. '
acknowledgement: "I would like to express my sincere gratitude to the following people
who made with their continuous support and encouragement this thesis possible: First,
I want to thank Prof. Dr. Michael Sixt for his excellent supervision and mentoring,
especially for the nice, relaxed working atmosphere, a lot of brilliant ideas and
the freedom to work in my own way.\r\n\r\nProf. Dr. Reinhard Fässler for his constant
support of the Sixt lab and for providing excellent working conditions. \r\n\r\nProf.
Dr. Sanjiv Luther and Prof. Dr. Tobias Bollenbach for agreeing to be member of my
thesis committee and to evaluate my work.\r\n\r\nDr. Walther Göhring, Carmen Schmitz,
the Recombinant Protein Production core facility and the animal care takers for
providing the “infrastructure” for this thesis. \r\n\r\nProf. Dr. Daniel Legler,
Markus Bruckner and Dr. Julien Polleux for very fruitful collaborations and discussions.\r\n\r\nMy
labmates for their help, a lot of discussions and to make the Sixt lab to a convenient
place to work : Karin Hirsch, Tim Lämmeramnn, Holger Pflicke, Jörg Renkawitz, Michele
Weber and Alexander Eichner All members of the Department of Molecular Medicine
for their help. Especially I want to thank Sarah Schmidt, Karin Hirsch and Raphael
Ruppert for their friendship, nice chats and their uncensored point of view. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Kathrin
full_name: Schumann, Kathrin
id: F44D762E-4F9D-11E9-B64C-9EB26CEFFB5F
last_name: Schumann
citation:
ama: Schumann K. The role of chemotactic gradients in dendritic cell migration.
2011.
apa: Schumann, K. (2011). The role of chemotactic gradients in dendritic cell
migration. Institute of Science and Technology Austria.
chicago: Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell
Migration.” Institute of Science and Technology Austria, 2011.
ieee: K. Schumann, “The role of chemotactic gradients in dendritic cell migration,”
Institute of Science and Technology Austria, 2011.
ista: Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration.
Institute of Science and Technology Austria.
mla: Schumann, Kathrin. The Role of Chemotactic Gradients in Dendritic Cell Migration.
Institute of Science and Technology Austria, 2011.
short: K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration,
Institute of Science and Technology Austria, 2011.
date_created: 2018-12-11T12:02:24Z
date_published: 2011-03-01T00:00:00Z
date_updated: 2023-09-07T11:31:48Z
day: '01'
ddc:
- '570'
- '579'
degree_awarded: PhD
department:
- _id: MiSi
file:
- access_level: closed
checksum: e69eee6252660f0b694a2ea8923ddc72
content_type: application/pdf
creator: dernst
date_created: 2019-03-26T08:12:21Z
date_updated: 2020-07-14T12:46:06Z
file_id: '6177'
file_name: 2011_Thesis_Kathrin_Schumann.pdf
file_size: 4487708
relation: main_file
- access_level: open_access
checksum: 71727d63f424b5b446f68f4b87ecadc0
content_type: application/pdf
creator: dernst
date_created: 2021-02-22T11:24:30Z
date_updated: 2021-02-22T11:24:30Z
file_id: '9175'
file_name: 2011_Thesis_Schumann_noS.pdf
file_size: 4313127
relation: main_file
success: 1
file_date_updated: 2021-02-22T11:24:30Z
has_accepted_license: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: '141'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '3371'
pubrep_id: '11'
status: public
supervisor:
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
title: The role of chemotactic gradients in dendritic cell migration
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2011'
...