---
_id: '2270'
abstract:
- lang: eng
text: "Representation languages for coalitional games are a key research area in
algorithmic game theory. There is an inher-\r\nent tradeoff between how general
a language is, allowing it to capture more elaborate games, and how hard
\ it is computationally to optimize and solve such games. One prominent such
\ language is the simple yet expressive\r\nWeighted Graph Games (WGGs) representation
(Deng and Papadimitriou 1994), which maintains knowledge about synergies between
agents in the form of an edge weighted graph. We consider the problem of finding
\ the optimal coalition structure in WGGs. The agents in such games are vertices
in a graph, and the value of a coalition is the sum of the weights of the edges
present between coalition members. The optimal coalition structure is a partition
of the agents to coalitions, that maximizes the sum of utilities obtained by the
coalitions. We show that finding the optimal coalition structure is not
only hard for general graphs, but is also intractable for restricted families
such as planar graphs which are amenable for many other combinatorial problems.
\ We then provide algorithms with constant factor approximations for planar, minorfree
and bounded degree graphs."
author:
- first_name: Yoram
full_name: Bachrach, Yoram
last_name: Bachrach
- first_name: Pushmeet
full_name: Kohli, Pushmeet
last_name: Kohli
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Morteza
full_name: Zadimoghaddam, Morteza
last_name: Zadimoghaddam
citation:
ama: 'Bachrach Y, Kohli P, Kolmogorov V, Zadimoghaddam M. Optimal Coalition Structures
in Cooperative Graph Games. In: AAAI Press; 2013:81-87.'
apa: 'Bachrach, Y., Kohli, P., Kolmogorov, V., & Zadimoghaddam, M. (2013). Optimal
Coalition Structures in Cooperative Graph Games (pp. 81–87). Presented at the
AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States: AAAI
Press.'
chicago: Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam.
“Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press,
2013.
ieee: 'Y. Bachrach, P. Kohli, V. Kolmogorov, and M. Zadimoghaddam, “Optimal Coalition
Structures in Cooperative Graph Games,” presented at the AAAI: Conference on Artificial
Intelligence, Bellevue, WA, United States, 2013, pp. 81–87.'
ista: 'Bachrach Y, Kohli P, Kolmogorov V, Zadimoghaddam M. 2013. Optimal Coalition
Structures in Cooperative Graph Games. AAAI: Conference on Artificial Intelligence,
81–87.'
mla: Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph
Games. AAAI Press, 2013, pp. 81–87.
short: Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press,
2013, pp. 81–87.
conference:
end_date: 2013-07-18
location: Bellevue, WA, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2013-07-14
date_created: 2018-12-11T11:56:41Z
date_published: 2013-12-31T00:00:00Z
date_updated: 2021-01-12T06:56:25Z
day: '31'
department:
- _id: VlKo
external_id:
arxiv:
- '1108.5248'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1108.5248
month: '12'
oa: 1
oa_version: None
page: 81-87
publication_status: published
publisher: AAAI Press
publist_id: '4674'
quality_controlled: '1'
status: public
title: Optimal Coalition Structures in Cooperative Graph Games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2273'
abstract:
- lang: eng
text: We propose a new family of message passing techniques for MAP estimation in
graphical models which we call Sequential Reweighted Message Passing (SRMP). Special
cases include well-known techniques such as Min-Sum Diusion (MSD) and a faster
Sequential Tree-Reweighted Message Passing (TRW-S). Importantly, our derivation
is simpler than the original derivation of TRW-S, and does not involve a decomposition
into trees. This allows easy generalizations. We present such a generalization
for the case of higher-order graphical models, and test it on several real-world
problems with promising results.
author:
- first_name: Vladimir
full_name: Vladimir Kolmogorov
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
citation:
ama: Kolmogorov V. Reweighted Message Passing Revisited. IST Austria; 2013.
apa: Kolmogorov, V. (2013). Reweighted message passing revisited. IST Austria.
chicago: Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST
Austria, 2013.
ieee: V. Kolmogorov, Reweighted message passing revisited. IST Austria, 2013.
ista: Kolmogorov V. 2013. Reweighted message passing revisited, IST Austria,p.
mla: Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria,
2013.
short: V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
date_created: 2018-12-11T11:56:42Z
date_published: 2013-09-22T00:00:00Z
date_updated: 2019-01-24T13:07:32Z
day: '22'
department:
- _id: VlKo
extern: 0
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1309.5655
month: '09'
oa: 1
publication_status: published
publisher: IST Austria
publist_id: '4671'
quality_controlled: 0
status: public
title: Reweighted message passing revisited
type: report
year: '2013'
...
---
_id: '2278'
abstract:
- lang: eng
text: It is firmly established that interactions between neurons and glia are fundamental
across species for the correct establishment of a functional brain. Here, we found
that the glia of the Drosophila larval brain display an essential non-autonomous
role during the development of the optic lobe. The optic lobe develops from neuroepithelial
cells that proliferate by dividing symmetrically until they switch to asymmetric/differentiative
divisions that generate neuroblasts. The proneural gene lethal of scute (l9sc)
is transiently activated by the epidermal growth factor receptor (EGFR)-Ras signal
transduction pathway at the leading edge of a proneural wave that sweeps from
medial to lateral neuroepithelium, promoting this switch. This process is tightly
regulated by the tissue-autonomous function within the neuroepithelium of multiple
signaling pathways, including EGFR-Ras and Notch. This study shows that the Notch
ligand Serrate (Ser) is expressed in the glia and it forms a complex in vivo with
Notch and Canoe, which colocalize at the adherens junctions of neuroepithelial
cells. This complex is crucial for interactions between glia and neuroepithelial
cells during optic lobe development. Ser is tissue-autonomously required in the
glia where it activates Notch to regulate its proliferation, and non-autonomously
in the neuroepithelium where Ser induces Notch signaling to avoid the premature
activation of the EGFR-Ras pathway and hence of L9sc. Interestingly, different
Notch activity reporters showed very different expression patterns in the glia
and in the neuroepithelium, suggesting the existence of tissue-specific factors
that promote the expression of particular Notch target genes or/and a reporter
response dependent on different thresholds of Notch signaling.
author:
- first_name: Raquel
full_name: Pérez Gómez, Raquel
last_name: Pérez Gómez
- first_name: Jana
full_name: Slovakova, Jana
id: 30F3F2F0-F248-11E8-B48F-1D18A9856A87
last_name: Slovakova
- first_name: Noemí
full_name: Rives Quinto, Noemí
last_name: Rives Quinto
- first_name: Alena
full_name: Krejčí, Alena
last_name: Krejčí
- first_name: Ana
full_name: Carmena, Ana
last_name: Carmena
citation:
ama: Pérez Gómez R, Slovakova J, Rives Quinto N, Krejčí A, Carmena A. A serrate-notch-canoe
complex mediates essential interactions between glia and neuroepithelial cells
during Drosophila optic lobe development. Journal of Cell Science. 2013;126(21):4873-4884.
doi:10.1242/jcs.125617
apa: Pérez Gómez, R., Slovakova, J., Rives Quinto, N., Krejčí, A., & Carmena,
A. (2013). A serrate-notch-canoe complex mediates essential interactions between
glia and neuroepithelial cells during Drosophila optic lobe development. Journal
of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.125617
chicago: Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejčí,
and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions
between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.”
Journal of Cell Science. Company of Biologists, 2013. https://doi.org/10.1242/jcs.125617.
ieee: R. Pérez Gómez, J. Slovakova, N. Rives Quinto, A. Krejčí, and A. Carmena,
“A serrate-notch-canoe complex mediates essential interactions between glia and
neuroepithelial cells during Drosophila optic lobe development,” Journal of
Cell Science, vol. 126, no. 21. Company of Biologists, pp. 4873–4884, 2013.
ista: Pérez Gómez R, Slovakova J, Rives Quinto N, Krejčí A, Carmena A. 2013. A serrate-notch-canoe
complex mediates essential interactions between glia and neuroepithelial cells
during Drosophila optic lobe development. Journal of Cell Science. 126(21), 4873–4884.
mla: Pérez Gómez, Raquel, et al. “A Serrate-Notch-Canoe Complex Mediates Essential
Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe
Development.” Journal of Cell Science, vol. 126, no. 21, Company of Biologists,
2013, pp. 4873–84, doi:10.1242/jcs.125617.
short: R. Pérez Gómez, J. Slovakova, N. Rives Quinto, A. Krejčí, A. Carmena, Journal
of Cell Science 126 (2013) 4873–4884.
date_created: 2018-12-11T11:56:43Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T06:56:29Z
day: '01'
department:
- _id: CaHe
doi: 10.1242/jcs.125617
intvolume: ' 126'
issue: '21'
language:
- iso: eng
month: '11'
oa_version: None
page: 4873 - 4884
publication: Journal of Cell Science
publication_status: published
publisher: Company of Biologists
publist_id: '4658'
quality_controlled: '1'
scopus_import: 1
status: public
title: A serrate-notch-canoe complex mediates essential interactions between glia
and neuroepithelial cells during Drosophila optic lobe development
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 126
year: '2013'
...
---
_id: '2276'
abstract:
- lang: eng
text: The problem of minimizing the Potts energy function frequently occurs in computer
vision applications. One way to tackle this NP-hard problem was proposed by Kovtun
[19, 20]. It identifies a part of an optimal solution by running k maxflow computations,
where k is the number of labels. The number of “labeled” pixels can be significant
in some applications, e.g. 50-93% in our tests for stereo. We show how to reduce
the runtime to O (log k) maxflow computations (or one parametric maxflow computation).
Furthermore, the output of our algorithm allows to speed-up the subsequent alpha
expansion for the unlabeled part, or can be used as it is for time-critical applications.
To derive our technique, we generalize the algorithm of Felzenszwalb et al. [7]
for Tree Metrics . We also show a connection to k-submodular functions from combinatorial
optimization, and discuss k-submodular relaxations for general energy functions.
author:
- first_name: Igor
full_name: Gridchyn, Igor
id: 4B60654C-F248-11E8-B48F-1D18A9856A87
last_name: Gridchyn
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
citation:
ama: 'Gridchyn I, Kolmogorov V. Potts model, parametric maxflow and k-submodular
functions. In: IEEE; 2013:2320-2327. doi:10.1109/ICCV.2013.288'
apa: 'Gridchyn, I., & Kolmogorov, V. (2013). Potts model, parametric maxflow
and k-submodular functions (pp. 2320–2327). Presented at the ICCV: International
Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.288'
chicago: Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow
and k-Submodular Functions,” 2320–27. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.288.
ieee: 'I. Gridchyn and V. Kolmogorov, “Potts model, parametric maxflow and k-submodular
functions,” presented at the ICCV: International Conference on Computer Vision,
Sydney, Australia, 2013, pp. 2320–2327.'
ista: 'Gridchyn I, Kolmogorov V. 2013. Potts model, parametric maxflow and k-submodular
functions. ICCV: International Conference on Computer Vision, 2320–2327.'
mla: Gridchyn, Igor, and Vladimir Kolmogorov. Potts Model, Parametric Maxflow
and k-Submodular Functions. IEEE, 2013, pp. 2320–27, doi:10.1109/ICCV.2013.288.
short: I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
conference:
end_date: 2013-12-08
location: Sydney, Australia
name: 'ICCV: International Conference on Computer Vision'
start_date: 2013-12-01
date_created: 2018-12-11T11:56:43Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2021-01-12T06:56:28Z
day: '01'
department:
- _id: JoCs
- _id: VlKo
doi: 10.1109/ICCV.2013.288
external_id:
arxiv:
- '1310.1771'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1310.1771
month: '12'
oa: 1
oa_version: Preprint
page: 2320 - 2327
publication_status: published
publisher: IEEE
publist_id: '4668'
quality_controlled: '1'
status: public
title: Potts model, parametric maxflow and k-submodular functions
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2280'
abstract:
- lang: eng
text: The problem of packing ellipsoids of different sizes and shapes into an ellipsoidal
container so as to minimize a measure of overlap between ellipsoids is considered.
A bilevel optimization formulation is given, together with an algorithm for the
general case and a simpler algorithm for the special case in which all ellipsoids
are in fact spheres. Convergence results are proved and computational experience
is described and illustrated. The motivating application-chromosome organization
in the human cell nucleus-is discussed briefly, and some illustrative results
are presented.
author:
- first_name: Caroline
full_name: Uhler, Caroline
id: 49ADD78E-F248-11E8-B48F-1D18A9856A87
last_name: Uhler
orcid: 0000-0002-7008-0216
- first_name: Stephen
full_name: Wright, Stephen
last_name: Wright
citation:
ama: Uhler C, Wright S. Packing ellipsoids with overlap. SIAM Review. 2013;55(4):671-706.
doi:10.1137/120872309
apa: Uhler, C., & Wright, S. (2013). Packing ellipsoids with overlap. SIAM
Review. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/120872309
chicago: Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.”
SIAM Review. Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120872309.
ieee: C. Uhler and S. Wright, “Packing ellipsoids with overlap,” SIAM Review,
vol. 55, no. 4. Society for Industrial and Applied Mathematics , pp. 671–706,
2013.
ista: Uhler C, Wright S. 2013. Packing ellipsoids with overlap. SIAM Review. 55(4),
671–706.
mla: Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM
Review, vol. 55, no. 4, Society for Industrial and Applied Mathematics , 2013,
pp. 671–706, doi:10.1137/120872309.
short: C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
date_created: 2018-12-11T11:56:44Z
date_published: 2013-11-07T00:00:00Z
date_updated: 2021-01-12T06:56:30Z
day: '07'
department:
- _id: CaUh
doi: 10.1137/120872309
external_id:
arxiv:
- '1204.0235'
intvolume: ' 55'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1204.0235
month: '11'
oa: 1
oa_version: Preprint
page: 671 - 706
publication: SIAM Review
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '4655'
quality_controlled: '1'
scopus_import: 1
status: public
title: Packing ellipsoids with overlap
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 55
year: '2013'
...
---
_id: '2287'
abstract:
- lang: eng
text: Negative frequency-dependent selection should result in equal sex ratios in
large populations of dioecious flowering plants, but deviations from equality
are commonly reported. A variety of ecological and genetic factors can explain
biased sex ratios, although the mechanisms involved are not well understood. Most
dioecious species are long-lived and/or clonal complicating efforts to identify
stages during the life cycle when biases develop. We investigated the demographic
correlates of sex-ratio variation in two chromosome races of Rumex hastatulus,
an annual, wind-pollinated colonizer of open habitats from the southern USA. We
examined sex ratios in 46 populations and evaluated the hypothesis that the proximity
of males in the local mating environment, through its influence on gametophytic
selection, is the primary cause of female-biased sex ratios. Female-biased sex
ratios characterized most populations of R. hastatulus (mean sex ratio = 0.62),
with significant female bias in 89% of populations. Large, high-density populations
had the highest proportion of females, whereas smaller, low-density populations
had sex ratios closer to equality. Progeny sex ratios were more female biased
when males were in closer proximity to females, a result consistent with the gametophytic
selection hypothesis. Our results suggest that interactions between demographic
and genetic factors are probably the main cause of female-biased sex ratios in
R. hastatulus. The annual life cycle of this species may limit the scope for selection
against males and may account for the weaker degree of bias in comparison with
perennial Rumex species.
author:
- first_name: Melinda
full_name: Pickup, Melinda
id: 2C78037E-F248-11E8-B48F-1D18A9856A87
last_name: Pickup
orcid: 0000-0001-6118-0541
- first_name: Spencer
full_name: Barrett, Spencer
last_name: Barrett
citation:
ama: Pickup M, Barrett S. The influence of demography and local mating environment
on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution.
2013;3(3):629-639. doi:10.1002/ece3.465
apa: Pickup, M., & Barrett, S. (2013). The influence of demography and local
mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology
and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.465
chicago: Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and
Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.”
Ecology and Evolution. Wiley-Blackwell, 2013. https://doi.org/10.1002/ece3.465.
ieee: M. Pickup and S. Barrett, “The influence of demography and local mating environment
on sex ratios in a wind-pollinated dioecious plant,” Ecology and Evolution,
vol. 3, no. 3. Wiley-Blackwell, pp. 629–639, 2013.
ista: Pickup M, Barrett S. 2013. The influence of demography and local mating environment
on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution. 3(3),
629–639.
mla: Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local
Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology
and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
short: M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
date_created: 2018-12-11T11:56:47Z
date_published: 2013-03-01T00:00:00Z
date_updated: 2021-01-12T06:56:32Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1002/ece3.465
file:
- access_level: open_access
checksum: b5531bab4c0dec396bf5c8497fe178bf
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:35Z
date_updated: 2020-07-14T12:45:37Z
file_id: '5290'
file_name: IST-2016-416-v1+1_Pickup_et_al-2013-Ecology_and_Evolution.pdf
file_size: 626949
relation: main_file
file_date_updated: 2020-07-14T12:45:37Z
has_accepted_license: '1'
intvolume: ' 3'
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '03'
oa: 1
oa_version: Published Version
page: 629 - 639
publication: Ecology and Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4644'
pubrep_id: '416'
quality_controlled: '1'
scopus_import: 1
status: public
title: The influence of demography and local mating environment on sex ratios in a
wind-pollinated dioecious plant
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: 3
year: '2013'
...
---
_id: '2282'
abstract:
- lang: eng
text: Epithelial spreading is a common and fundamental aspect of various developmental
and disease-related processes such as epithelial closure and wound healing. A
key challenge for epithelial tissues undergoing spreading is to increase their
surface area without disrupting epithelial integrity. Here we show that orienting
cell divisions by tension constitutes an efficient mechanism by which the enveloping
cell layer (EVL) releases anisotropic tension while undergoing spreading during
zebrafish epiboly. The control of EVL cell-division orientation by tension involves
cell elongation and requires myosin II activity to align the mitotic spindle with
the main tension axis. We also found that in the absence of tension-oriented cell
divisions and in the presence of increased tissue tension, EVL cells undergo ectopic
fusions, suggesting that the reduction of tension anisotropy by oriented cell
divisions is required to prevent EVL cells from fusing. We conclude that cell-division
orientation by tension constitutes a key mechanism for limiting tension anisotropy
and thus promoting tissue spreading during EVL epiboly.
acknowledged_ssus:
- _id: PreCl
- _id: Bio
acknowledgement: 'This work was supported by the IST Austria and MPI-CBG '
author:
- first_name: Pedro
full_name: Campinho, Pedro
id: 3AFBBC42-F248-11E8-B48F-1D18A9856A87
last_name: Campinho
orcid: 0000-0002-8526-5416
- first_name: Martin
full_name: Behrndt, Martin
id: 3ECECA3A-F248-11E8-B48F-1D18A9856A87
last_name: Behrndt
- first_name: Jonas
full_name: Ranft, Jonas
last_name: Ranft
- first_name: Thomas
full_name: Risler, Thomas
last_name: Risler
- first_name: Nicolas
full_name: Minc, Nicolas
last_name: Minc
- 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
citation:
ama: Campinho P, Behrndt M, Ranft J, Risler T, Minc N, Heisenberg C-PJ. Tension-oriented
cell divisions limit anisotropic tissue tension in epithelial spreading during
zebrafish epiboly. Nature Cell Biology. 2013;15:1405-1414. doi:10.1038/ncb2869
apa: Campinho, P., Behrndt, M., Ranft, J., Risler, T., Minc, N., & Heisenberg,
C.-P. J. (2013). Tension-oriented cell divisions limit anisotropic tissue tension
in epithelial spreading during zebrafish epiboly. Nature Cell Biology.
Nature Publishing Group. https://doi.org/10.1038/ncb2869
chicago: Campinho, Pedro, Martin Behrndt, Jonas Ranft, Thomas Risler, Nicolas Minc,
and Carl-Philipp J Heisenberg. “Tension-Oriented Cell Divisions Limit Anisotropic
Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell
Biology. Nature Publishing Group, 2013. https://doi.org/10.1038/ncb2869.
ieee: P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, and C.-P. J. Heisenberg,
“Tension-oriented cell divisions limit anisotropic tissue tension in epithelial
spreading during zebrafish epiboly,” Nature Cell Biology, vol. 15. Nature
Publishing Group, pp. 1405–1414, 2013.
ista: Campinho P, Behrndt M, Ranft J, Risler T, Minc N, Heisenberg C-PJ. 2013. Tension-oriented
cell divisions limit anisotropic tissue tension in epithelial spreading during
zebrafish epiboly. Nature Cell Biology. 15, 1405–1414.
mla: Campinho, Pedro, et al. “Tension-Oriented Cell Divisions Limit Anisotropic
Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell
Biology, vol. 15, Nature Publishing Group, 2013, pp. 1405–14, doi:10.1038/ncb2869.
short: P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg,
Nature Cell Biology 15 (2013) 1405–1414.
date_created: 2018-12-11T11:56:45Z
date_published: 2013-11-10T00:00:00Z
date_updated: 2023-02-21T17:02:44Z
day: '10'
department:
- _id: CaHe
doi: 10.1038/ncb2869
intvolume: ' 15'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://hal.upmc.fr/hal-00983313/
month: '11'
oa: 1
oa_version: Submitted Version
page: 1405 - 1414
project:
- _id: 252ABD0A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I 930-B20
name: Control of Epithelial Cell Layer Spreading in Zebrafish
publication: Nature Cell Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '4652'
quality_controlled: '1'
related_material:
record:
- id: '1403'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial
spreading during zebrafish epiboly
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2013'
...
---
_id: '2283'
abstract:
- lang: eng
text: Pathogens exert a strong selection pressure on organisms to evolve effective
immune defences. In addition to individual immunity, social organisms can act
cooperatively to produce collective defences. In many ant species, queens have
the option to found a colony alone or in groups with other, often unrelated, conspecifics.
These associations are transient, usually lasting only as long as each queen benefits
from the presence of others. In fact, once the first workers emerge, queens fight
to the death for dominance. One potential advantage of co-founding may be that
queens benefit from collective disease defences, such as mutual grooming, that
act against common soil pathogens. We test this hypothesis by exposing single
and co-founding queens to a fungal parasite, in order to assess whether queens
in co-founding associations have improved survival. Surprisingly, co-foundresses
exposed to the entomopathogenic fungus Metarhizium did not engage in cooperative
disease defences, and consequently, we find no direct benefit of multiple queens
on survival. However, an indirect benefit was observed, with parasite-exposed
queens producing more brood when they co-founded, than when they were alone. We
suggest this is due to a trade-off between reproduction and immunity. Additionally,
we report an extraordinary ability of the queens to tolerate an infection for
long periods after parasite exposure. Our study suggests that there are no social
immunity benefits for co-founding ant queens, but that in parasite-rich environments,
the presence of additional queens may nevertheless improve the chances of colony
founding success.
author:
- first_name: Christopher
full_name: Pull, Christopher
id: 3C7F4840-F248-11E8-B48F-1D18A9856A87
last_name: Pull
orcid: 0000-0003-1122-3982
- first_name: William
full_name: Hughes, William
last_name: Hughes
- first_name: Markus
full_name: Brown, Markus
id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87
last_name: Brown
citation:
ama: 'Pull C, Hughes W, Brown M. Tolerating an infection: an indirect benefit of
co-founding queen associations in the ant Lasius niger . Naturwissenschaften.
2013;100(12):1125-1136. doi:10.1007/s00114-013-1115-5'
apa: 'Pull, C., Hughes, W., & Brown, M. (2013). Tolerating an infection: an
indirect benefit of co-founding queen associations in the ant Lasius niger . Naturwissenschaften.
Springer. https://doi.org/10.1007/s00114-013-1115-5'
chicago: 'Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection:
An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger
.” Naturwissenschaften. Springer, 2013. https://doi.org/10.1007/s00114-013-1115-5.'
ieee: 'C. Pull, W. Hughes, and M. Brown, “Tolerating an infection: an indirect benefit
of co-founding queen associations in the ant Lasius niger ,” Naturwissenschaften,
vol. 100, no. 12. Springer, pp. 1125–1136, 2013.'
ista: 'Pull C, Hughes W, Brown M. 2013. Tolerating an infection: an indirect benefit
of co-founding queen associations in the ant Lasius niger . Naturwissenschaften.
100(12), 1125–1136.'
mla: 'Pull, Christopher, et al. “Tolerating an Infection: An Indirect Benefit of
Co-Founding Queen Associations in the Ant Lasius Niger .” Naturwissenschaften,
vol. 100, no. 12, Springer, 2013, pp. 1125–36, doi:10.1007/s00114-013-1115-5.'
short: C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
date_created: 2018-12-11T11:56:45Z
date_published: 2013-11-14T00:00:00Z
date_updated: 2021-01-12T06:56:31Z
day: '14'
department:
- _id: SyCr
doi: 10.1007/s00114-013-1115-5
intvolume: ' 100'
issue: '12'
language:
- iso: eng
month: '11'
oa_version: None
page: 1125 - 1136
publication: Naturwissenschaften
publication_status: published
publisher: Springer
publist_id: '4649'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Tolerating an infection: an indirect benefit of co-founding queen associations
in the ant Lasius niger '
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 100
year: '2013'
...
---
_id: '2286'
abstract:
- lang: eng
text: The spatiotemporal control of cell divisions is a key factor in epithelial
morphogenesis and patterning. Mao et al (2013) now describe how differential rates
of proliferation within the Drosophila wing disc epithelium give rise to anisotropic
tissue tension in peripheral/proximal regions of the disc. Such global tissue
tension anisotropy in turn determines the orientation of cell divisions by controlling
epithelial cell elongation.
author:
- first_name: Pedro
full_name: Campinho, Pedro
id: 3AFBBC42-F248-11E8-B48F-1D18A9856A87
last_name: Campinho
orcid: 0000-0002-8526-5416
- 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
citation:
ama: Campinho P, Heisenberg C-PJ. The force and effect of cell proliferation. EMBO
Journal. 2013;32(21):2783-2784. doi:10.1038/emboj.2013.225
apa: Campinho, P., & Heisenberg, C.-P. J. (2013). The force and effect of cell
proliferation. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2013.225
chicago: Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of
Cell Proliferation.” EMBO Journal. Wiley-Blackwell, 2013. https://doi.org/10.1038/emboj.2013.225.
ieee: P. Campinho and C.-P. J. Heisenberg, “The force and effect of cell proliferation,”
EMBO Journal, vol. 32, no. 21. Wiley-Blackwell, pp. 2783–2784, 2013.
ista: Campinho P, Heisenberg C-PJ. 2013. The force and effect of cell proliferation.
EMBO Journal. 32(21), 2783–2784.
mla: Campinho, Pedro, and Carl-Philipp J. Heisenberg. “The Force and Effect of Cell
Proliferation.” EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp.
2783–84, doi:10.1038/emboj.2013.225.
short: P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
date_created: 2018-12-11T11:56:46Z
date_published: 2013-10-04T00:00:00Z
date_updated: 2021-01-12T06:56:32Z
day: '04'
department:
- _id: CaHe
doi: 10.1038/emboj.2013.225
external_id:
pmid:
- '24097062'
intvolume: ' 32'
issue: '21'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3817470/
month: '10'
oa: 1
oa_version: Submitted Version
page: 2783 - 2784
pmid: 1
publication: EMBO Journal
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4645'
quality_controlled: '1'
scopus_import: 1
status: public
title: The force and effect of cell proliferation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2013'
...
---
_id: '2289'
abstract:
- lang: eng
text: Formal verification aims to improve the quality of software by detecting errors
before they do harm. At the basis of formal verification is the logical notion
of correctness, which purports to capture whether or not a program behaves as
desired. We suggest that the boolean partition of software into correct and incorrect
programs falls short of the practical need to assess the behavior of software
in a more nuanced fashion against multiple criteria. We therefore propose to introduce
quantitative fitness measures for programs, specifically for measuring the function,
performance, and robustness of reactive programs such as concurrent processes.
This article describes the goals of the ERC Advanced Investigator Project QUAREM.
The project aims to build and evaluate a theory of quantitative fitness measures
for reactive models. Such a theory must strive to obtain quantitative generalizations
of the paradigms that have been success stories in qualitative reactive modeling,
such as compositionality, property-preserving abstraction and abstraction refinement,
model checking, and synthesis. The theory will be evaluated not only in the context
of software and hardware engineering, but also in the context of systems biology.
In particular, we will use the quantitative reactive models and fitness measures
developed in this project for testing hypotheses about the mechanisms behind data
from biological experiments.
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Henzinger TA. Quantitative reactive modeling and verification. Computer
Science Research and Development. 2013;28(4):331-344. doi:10.1007/s00450-013-0251-7
apa: Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer
Science Research and Development. Springer. https://doi.org/10.1007/s00450-013-0251-7
chicago: Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.”
Computer Science Research and Development. Springer, 2013. https://doi.org/10.1007/s00450-013-0251-7.
ieee: T. A. Henzinger, “Quantitative reactive modeling and verification,” Computer
Science Research and Development, vol. 28, no. 4. Springer, pp. 331–344, 2013.
ista: Henzinger TA. 2013. Quantitative reactive modeling and verification. Computer
Science Research and Development. 28(4), 331–344.
mla: Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer
Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44,
doi:10.1007/s00450-013-0251-7.
short: T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
date_created: 2018-12-11T11:56:47Z
date_published: 2013-10-05T00:00:00Z
date_updated: 2021-01-12T06:56:33Z
day: '05'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/s00450-013-0251-7
ec_funded: 1
file:
- access_level: open_access
checksum: f117a00f9f046165bfa95595681e08a0
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:51Z
date_updated: 2020-07-14T12:45:37Z
file_id: '5308'
file_name: IST-2016-626-v1+1_s00450-013-0251-7.pdf
file_size: 570361
relation: main_file
file_date_updated: 2020-07-14T12:45:37Z
has_accepted_license: '1'
intvolume: ' 28'
issue: '4'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 331 - 344
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
publication: Computer Science Research and Development
publication_status: published
publisher: Springer
publist_id: '4642'
pubrep_id: '626'
quality_controlled: '1'
scopus_import: 1
status: public
title: Quantitative reactive modeling and verification
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: 28
year: '2013'
...
---
_id: '2290'
abstract:
- lang: eng
text: The plant hormone indole-acetic acid (auxin) is essential for many aspects
of plant development. Auxin-mediated growth regulation typically involves the
establishment of an auxin concentration gradient mediated by polarly localized
auxin transporters. The localization of auxin carriers and their amount at the
plasma membrane are controlled by membrane trafficking processes such as secretion,
endocytosis, and recycling. In contrast to endocytosis or recycling, how the secretory
pathway mediates the localization of auxin carriers is not well understood. In
this study we have used the differential cell elongation process during apical
hook development to elucidate the mechanisms underlying the post-Golgi trafficking
of auxin carriers in Arabidopsis. We show that differential cell elongation during
apical hook development is defective in Arabidopsis mutant echidna (ech). ECH
protein is required for the trans-Golgi network (TGN)-mediated trafficking of
the auxin influx carrier AUX1 to the plasma membrane. In contrast, ech mutation
only marginally perturbs the trafficking of the highly related auxin influx carrier
LIKE-AUX1-3 or the auxin efflux carrier PIN-FORMED-3, both also involved in hook
development. Electron tomography reveals that the trafficking defects in ech mutant
are associated with the perturbation of secretory vesicle genesis from the TGN.
Our results identify differential mechanisms for the post-Golgi trafficking of
de novo-synthesized auxin carriers to plasma membrane from the TGN and reveal
how trafficking of auxin influx carriers mediates the control of differential
cell elongation in apical hook development.
author:
- first_name: Yohann
full_name: Boutté, Yohann
last_name: Boutté
- first_name: Kristoffer
full_name: Jonsson, Kristoffer
last_name: Jonsson
- first_name: Heather
full_name: Mcfarlane, Heather
last_name: Mcfarlane
- first_name: Errin
full_name: Johnson, Errin
last_name: Johnson
- first_name: Delphine
full_name: Gendre, Delphine
last_name: Gendre
- first_name: Ranjan
full_name: Swarup, Ranjan
last_name: Swarup
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Lacey
full_name: Samuels, Lacey
last_name: Samuels
- first_name: Stéphanie
full_name: Robert, Stéphanie
last_name: Robert
- first_name: Rishikesh
full_name: Bhalerao, Rishikesh
last_name: Bhalerao
citation:
ama: Boutté Y, Jonsson K, Mcfarlane H, et al. ECHIDNA mediated post Golgi trafficking
of auxin carriers for differential cell elongation. PNAS. 2013;110(40):16259-16264.
doi:10.1073/pnas.1309057110
apa: Boutté, Y., Jonsson, K., Mcfarlane, H., Johnson, E., Gendre, D., Swarup, R.,
… Bhalerao, R. (2013). ECHIDNA mediated post Golgi trafficking of auxin carriers
for differential cell elongation. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1309057110
chicago: Boutté, Yohann, Kristoffer Jonsson, Heather Mcfarlane, Errin Johnson, Delphine
Gendre, Ranjan Swarup, Jiří Friml, Lacey Samuels, Stéphanie Robert, and Rishikesh
Bhalerao. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential
Cell Elongation.” PNAS. National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1309057110.
ieee: Y. Boutté et al., “ECHIDNA mediated post Golgi trafficking of auxin
carriers for differential cell elongation,” PNAS, vol. 110, no. 40. National
Academy of Sciences, pp. 16259–16264, 2013.
ista: Boutté Y, Jonsson K, Mcfarlane H, Johnson E, Gendre D, Swarup R, Friml J,
Samuels L, Robert S, Bhalerao R. 2013. ECHIDNA mediated post Golgi trafficking
of auxin carriers for differential cell elongation. PNAS. 110(40), 16259–16264.
mla: Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers
for Differential Cell Elongation.” PNAS, vol. 110, no. 40, National Academy
of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
short: Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J.
Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
date_created: 2018-12-11T11:56:48Z
date_published: 2013-10-01T00:00:00Z
date_updated: 2021-01-12T06:56:33Z
day: '01'
department:
- _id: JiFr
doi: 10.1073/pnas.1309057110
external_id:
pmid:
- '24043780'
intvolume: ' 110'
issue: '40'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3791722/
month: '10'
oa: 1
oa_version: Submitted Version
page: 16259 - 16264
pmid: 1
publication: PNAS
publication_status: published
publisher: National Academy of Sciences
publist_id: '4639'
quality_controlled: '1'
scopus_import: 1
status: public
title: ECHIDNA mediated post Golgi trafficking of auxin carriers for differential
cell elongation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 110
year: '2013'
...
---
_id: '2294'
abstract:
- lang: eng
text: "In this work we propose a system for automatic classification of Drosophila
embryos into developmental stages.\r\nWhile the system is designed to solve an
actual problem in biological research, we believe that the principle underly-\r\ning
it is interesting not only for biologists, but also for researchers in computer
vision. The main idea is to combine two orthogonal sources of information: one
is a classifier trained on strongly invariant features, which makes it applicable
to images of very different conditions, but also leads to rather noisy predictions.
The other is a label propagation step based on a more powerful similarity measure
that however is only consistent within specific subsets of the data at a time.\r\nIn
our biological setup, the information sources are the shape and the staining patterns
of embryo images. We show\r\nexperimentally that while neither of the methods
\ can be used by itself to achieve satisfactory results, their combina-\r\ntion
achieves prediction quality comparable to human performance."
author:
- first_name: Tomas
full_name: Kazmar, Tomas
last_name: Kazmar
- first_name: Evgeny
full_name: Kvon, Evgeny
last_name: Kvon
- first_name: Alexander
full_name: Stark, Alexander
last_name: Stark
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Kazmar T, Kvon E, Stark A, Lampert C. Drosophila Embryo Stage Annotation using
Label Propagation. In: IEEE; 2013. doi:10.1109/ICCV.2013.139'
apa: 'Kazmar, T., Kvon, E., Stark, A., & Lampert, C. (2013). Drosophila Embryo
Stage Annotation using Label Propagation. Presented at the ICCV: International
Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.139'
chicago: Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila
Embryo Stage Annotation Using Label Propagation.” IEEE, 2013. https://doi.org/10.1109/ICCV.2013.139.
ieee: 'T. Kazmar, E. Kvon, A. Stark, and C. Lampert, “Drosophila Embryo Stage Annotation
using Label Propagation,” presented at the ICCV: International Conference on Computer
Vision, Sydney, Australia, 2013.'
ista: 'Kazmar T, Kvon E, Stark A, Lampert C. 2013. Drosophila Embryo Stage Annotation
using Label Propagation. ICCV: International Conference on Computer Vision.'
mla: Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation.
IEEE, 2013, doi:10.1109/ICCV.2013.139.
short: T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
conference:
end_date: 2013-12-08
location: Sydney, Australia
name: 'ICCV: International Conference on Computer Vision'
start_date: 2013-12-01
date_created: 2018-12-11T11:56:49Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2021-01-12T06:56:35Z
day: '01'
department:
- _id: ChLa
doi: 10.1109/ICCV.2013.139
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.cv-foundation.org/openaccess/ICCV2013.py
month: '12'
oa: 1
oa_version: Submitted Version
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication_status: published
publisher: IEEE
publist_id: '4634'
quality_controlled: '1'
scopus_import: 1
status: public
title: Drosophila Embryo Stage Annotation using Label Propagation
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2292'
abstract:
- lang: eng
text: This book constitutes the thoroughly refereed conference proceedings of the
38th International Symposium on Mathematical Foundations of Computer Science,
MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full
papers presented together with six invited talks were carefully selected from
191 submissions. Topics covered include algorithmic game theory, algorithmic learning
theory, algorithms and data structures, automata, formal languages, bioinformatics,
complexity, computational geometry, computer-assisted reasoning, concurrency theory,
databases and knowledge-based systems, foundations of computing, logic in computer
science, models of computation, semantics and verification of programs, and theoretical
issues in artificial intelligence.
alternative_title:
- LNCS
citation:
ama: Chatterjee K, Sgall J, eds. Mathematical Foundations of Computer Science
2013. Vol 8087. Springer; 2013:VI-854. doi:10.1007/978-3-642-40313-2
apa: 'Chatterjee, K., & Sgall, J. (Eds.). (2013). Mathematical Foundations
of Computer Science 2013 (Vol. 8087, p. VI-854). Presented at the MFCS: Mathematical
Foundations of Computer Science, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-40313-2'
chicago: Chatterjee, Krishnendu, and Jiri Sgall, eds. Mathematical Foundations
of Computer Science 2013. Vol. 8087. Lecture Notes in Computer Science. Springer,
2013. https://doi.org/10.1007/978-3-642-40313-2.
ieee: K. Chatterjee and J. Sgall, Eds., Mathematical Foundations of Computer
Science 2013, vol. 8087. Springer, 2013, p. VI-854.
ista: Chatterjee K, Sgall J eds. 2013. Mathematical Foundations of Computer Science
2013, Springer,p.
mla: Chatterjee, Krishnendu, and Jiri Sgall, editors. Mathematical Foundations
of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
short: K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science
2013, Springer, 2013.
conference:
end_date: 2013-08-30
location: Klosterneuburg, Austria
name: 'MFCS: Mathematical Foundations of Computer Science'
start_date: 2013-08-26
date_created: 2018-12-11T11:56:48Z
date_published: 2013-08-08T00:00:00Z
date_updated: 2020-08-11T10:09:45Z
day: '08'
department:
- _id: KrCh
doi: 10.1007/978-3-642-40313-2
editor:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Jiri
full_name: Sgall, Jiri
last_name: Sgall
intvolume: ' 8087'
language:
- iso: eng
month: '08'
oa_version: None
page: VI - 854
publication_identifier:
isbn:
- 978-3-642-40312-5
publication_status: published
publisher: Springer
publist_id: '4636'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Mathematical Foundations of Computer Science 2013
type: conference_editor
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8087
year: '2013'
...
---
_id: '2293'
abstract:
- lang: eng
text: Many computer vision problems have an asymmetric distribution of information
between training and test time. In this work, we study the case where we are given
additional information about the training data, which however will not be available
at test time. This situation is called learning using privileged information (LUPI).
We introduce two maximum-margin techniques that are able to make use of this additional
source of information, and we show that the framework is applicable to several
scenarios that have been studied in computer vision before. Experiments with attributes,
bounding boxes, image tags and rationales as additional information in object
classification show promising results.
author:
- first_name: Viktoriia
full_name: Sharmanska, Viktoriia
id: 2EA6D09E-F248-11E8-B48F-1D18A9856A87
last_name: Sharmanska
orcid: 0000-0003-0192-9308
- first_name: Novi
full_name: Quadrianto, Novi
last_name: Quadrianto
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Sharmanska V, Quadrianto N, Lampert C. Learning to rank using privileged information.
In: IEEE; 2013:825-832. doi:10.1109/ICCV.2013.107'
apa: 'Sharmanska, V., Quadrianto, N., & Lampert, C. (2013). Learning to rank
using privileged information (pp. 825–832). Presented at the ICCV: International
Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.107'
chicago: Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning
to Rank Using Privileged Information,” 825–32. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.107.
ieee: 'V. Sharmanska, N. Quadrianto, and C. Lampert, “Learning to rank using privileged
information,” presented at the ICCV: International Conference on Computer Vision,
Sydney, Australia, 2013, pp. 825–832.'
ista: 'Sharmanska V, Quadrianto N, Lampert C. 2013. Learning to rank using privileged
information. ICCV: International Conference on Computer Vision, 825–832.'
mla: Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information.
IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
short: V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
conference:
end_date: 2013-12-08
location: Sydney, Australia
name: 'ICCV: International Conference on Computer Vision'
start_date: 2013-12-01
date_created: 2018-12-11T11:56:49Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2023-02-23T10:36:41Z
day: '01'
department:
- _id: ChLa
doi: 10.1109/ICCV.2013.107
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: www.cv-foundation.org/openaccess/content_iccv_2013/papers/Sharmanska_Learning_to_Rank_2013_ICCV_paper.pdf
month: '12'
oa: 1
oa_version: Submitted Version
page: 825 - 832
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication_status: published
publisher: IEEE
publist_id: '4635'
quality_controlled: '1'
scopus_import: 1
status: public
title: Learning to rank using privileged information
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2291'
abstract:
- lang: eng
text: "Cryptographic access control promises to offer easily distributed trust and
broader applicability, while reducing reliance on low-level online monitors. Traditional
implementations of cryptographic access control rely on simple cryptographic primitives
whereas recent endeavors employ primitives with richer functionality and security
guarantees. Worryingly, few of the existing cryptographic access-control schemes
come with precise guarantees, the gap between the policy specification and the
implementation being analyzed only informally, if at all. In this paper we begin
addressing this shortcoming. Unlike prior work that targeted ad-hoc policy specification,
we look at the well-established Role-Based Access Control (RBAC) model, as used
in a typical file system. In short, we provide a precise syntax for a computational
version of RBAC, offer rigorous definitions for cryptographic policy enforcement
of a large class of RBAC security policies, and demonstrate that an implementation
based on attribute-based encryption meets our security notions. We view our main
contribution as being at the conceptual level. Although we work with RBAC for
concreteness, our general methodology could guide future research for uses of
cryptography in other access-control models. \r\n"
author:
- first_name: Anna
full_name: Ferrara, Anna
last_name: Ferrara
- first_name: Georg
full_name: Fuchsbauer, Georg
id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
last_name: Fuchsbauer
- first_name: Bogdan
full_name: Warinschi, Bogdan
last_name: Warinschi
citation:
ama: 'Ferrara A, Fuchsbauer G, Warinschi B. Cryptographically enforced RBAC. In:
IEEE; 2013:115-129. doi:10.1109/CSF.2013.15'
apa: 'Ferrara, A., Fuchsbauer, G., & Warinschi, B. (2013). Cryptographically
enforced RBAC (pp. 115–129). Presented at the CSF: Computer Security Foundations,
New Orleans, LA, United States: IEEE. https://doi.org/10.1109/CSF.2013.15'
chicago: Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically
Enforced RBAC,” 115–29. IEEE, 2013. https://doi.org/10.1109/CSF.2013.15.
ieee: 'A. Ferrara, G. Fuchsbauer, and B. Warinschi, “Cryptographically enforced
RBAC,” presented at the CSF: Computer Security Foundations, New Orleans, LA, United
States, 2013, pp. 115–129.'
ista: 'Ferrara A, Fuchsbauer G, Warinschi B. 2013. Cryptographically enforced RBAC.
CSF: Computer Security Foundations, 115–129.'
mla: Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp.
115–29, doi:10.1109/CSF.2013.15.
short: A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
conference:
end_date: 2013-09-28
location: New Orleans, LA, United States
name: 'CSF: Computer Security Foundations'
start_date: 2013-09-26
date_created: 2018-12-11T11:56:48Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2021-01-12T06:56:34Z
day: '01'
department:
- _id: KrPi
doi: 10.1109/CSF.2013.15
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://eprint.iacr.org/2013/492
month: '09'
oa: 1
oa_version: Submitted Version
page: 115 - 129
publication_status: published
publisher: IEEE
publist_id: '4637'
quality_controlled: '1'
scopus_import: 1
status: public
title: Cryptographically enforced RBAC
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
---
_id: '2288'
abstract:
- lang: eng
text: This book constitutes the proceedings of the 11th International Conference
on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg,
Austria, in September 2013. The 15 regular papers included in this volume were
carefully reviewed and selected from 27 submissions. They deal with computational
models for all levels, from molecular and cellular, to organs and entire organisms.
alternative_title:
- LNCS
citation:
ama: Gupta A, Henzinger TA, eds. Computational Methods in Systems Biology.
Vol 8130. Springer; 2013. doi:10.1007/978-3-642-40708-6
apa: 'Gupta, A., & Henzinger, T. A. (Eds.). (2013). Computational Methods
in Systems Biology (Vol. 8130). Presented at the CMSB: Computational Methods
in Systems Biology, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-40708-6'
chicago: Gupta, Ashutosh, and Thomas A Henzinger, eds. Computational Methods
in Systems Biology. Vol. 8130. Springer, 2013. https://doi.org/10.1007/978-3-642-40708-6.
ieee: A. Gupta and T. A. Henzinger, Eds., Computational Methods in Systems Biology,
vol. 8130. Springer, 2013.
ista: Gupta A, Henzinger TA eds. 2013. Computational Methods in Systems Biology,
Springer,p.
mla: Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods
in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
short: A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology,
Springer, 2013.
conference:
end_date: 2013-09-24
location: Klosterneuburg, Austria
name: 'CMSB: Computational Methods in Systems Biology'
start_date: 2013-09-22
date_created: 2018-12-11T11:56:47Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2019-08-02T12:37:44Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-642-40708-6
editor:
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
intvolume: ' 8130'
language:
- iso: eng
month: '07'
oa_version: None
publication_identifier:
isbn:
- 978-3-642-40707-9
publication_status: published
publisher: Springer
publist_id: '4643'
quality_controlled: '1'
status: public
title: Computational Methods in Systems Biology
type: conference_editor
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8130
year: '2013'
...
---
_id: '2298'
abstract:
- lang: eng
text: "We present a shape analysis for programs that manipulate overlaid data structures
which share sets of objects. The abstract domain contains Separation Logic formulas
that (1) combine a per-object separating conjunction with a per-field separating
conjunction and (2) constrain a set of variables interpreted as sets of objects.
The definition of the abstract domain operators is based on a notion of homomorphism
between formulas, viewed as graphs, used recently to define optimal decision procedures
for fragments of the Separation Logic. Based on a Frame Rule that supports the
two versions of the separating conjunction, the analysis is able to reason in
a modular manner about non-overlaid data structures and then, compose information
only at a few program points, e.g., procedure returns. We have implemented this
analysis in a prototype tool and applied it on several interesting case studies
that manipulate overlaid and nested linked lists.\r\n"
alternative_title:
- LNCS
author:
- first_name: Cezara
full_name: Dragoi, Cezara
id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
last_name: Dragoi
- first_name: Constantin
full_name: Enea, Constantin
last_name: Enea
- first_name: Mihaela
full_name: Sighireanu, Mihaela
last_name: Sighireanu
citation:
ama: 'Dragoi C, Enea C, Sighireanu M. Local shape analysis for overlaid data structures.
In: Vol 7935. Springer; 2013:150-171. doi:10.1007/978-3-642-38856-9_10'
apa: 'Dragoi, C., Enea, C., & Sighireanu, M. (2013). Local shape analysis for
overlaid data structures (Vol. 7935, pp. 150–171). Presented at the SAS: Static
Analysis Symposium, Seattle, WA, United States: Springer. https://doi.org/10.1007/978-3-642-38856-9_10'
chicago: Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis
for Overlaid Data Structures,” 7935:150–71. Springer, 2013. https://doi.org/10.1007/978-3-642-38856-9_10.
ieee: 'C. Dragoi, C. Enea, and M. Sighireanu, “Local shape analysis for overlaid
data structures,” presented at the SAS: Static Analysis Symposium, Seattle, WA,
United States, 2013, vol. 7935, pp. 150–171.'
ista: 'Dragoi C, Enea C, Sighireanu M. 2013. Local shape analysis for overlaid data
structures. SAS: Static Analysis Symposium, LNCS, vol. 7935, 150–171.'
mla: Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures.
Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
short: C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
conference:
end_date: 2013-06-22
location: Seattle, WA, United States
name: 'SAS: Static Analysis Symposium'
start_date: 2013-06-20
date_created: 2018-12-11T11:56:50Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:56:36Z
day: '01'
ddc:
- '000'
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-38856-9_10
ec_funded: 1
file:
- access_level: open_access
checksum: 907edd33a5892e3af093365f1fd57ed7
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:36Z
date_updated: 2020-07-14T12:45:37Z
file_id: '4824'
file_name: IST-2014-196-v1+1_sas13.pdf
file_size: 299004
relation: main_file
file_date_updated: 2020-07-14T12:45:37Z
has_accepted_license: '1'
intvolume: ' 7935'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 150 - 171
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: '4630'
pubrep_id: '196'
quality_controlled: '1'
scopus_import: 1
status: public
title: Local shape analysis for overlaid data structures
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7935
year: '2013'
...
---
_id: '2299'
abstract:
- lang: eng
text: 'The standard hardware design flow involves: (a) design of an integrated circuit
using a hardware description language, (b) extensive functional and formal verification,
and (c) logical synthesis. However, the above-mentioned processes consume significant
effort and time. An alternative approach is to use a formal specification language
as a high-level hardware description language and synthesize hardware from formal
specifications. Our work is a case study of the synthesis of the widely and industrially
used AMBA AHB protocol from formal specifications. Bloem et al. presented the
first formal specifications for the AMBA AHB Arbiter and synthesized the AHB Arbiter
circuit. However, in the first formal specification some important assumptions
were missing. Our contributions are as follows: (a) We present detailed formal
specifications for the AHB Arbiter incorporating the missing details, and obtain
significant improvements in the synthesis results (both with respect to the number
of gates in the synthesized circuit and with respect to the time taken to synthesize
the circuit), and (b) we present formal specifications to generate compact circuits
for the remaining two main components of AMBA AHB, namely, AHB Master and AHB
Slave. Thus with systematic description we are able to automatically and completely
synthesize an important and widely used industrial protocol.'
author:
- first_name: Yashdeep
full_name: Godhal, Yashdeep
id: 5B547124-EB61-11E9-8887-89D9C04DBDF5
last_name: Godhal
- 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
citation:
ama: 'Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification:
A case study. International Journal on Software Tools for Technology Transfer.
2013;15(5-6):585-601. doi:10.1007/s10009-011-0207-9'
apa: 'Godhal, Y., Chatterjee, K., & Henzinger, T. A. (2013). Synthesis of AMBA
AHB from formal specification: A case study. International Journal on Software
Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-011-0207-9'
chicago: 'Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis
of AMBA AHB from Formal Specification: A Case Study.” International Journal
on Software Tools for Technology Transfer. Springer, 2013. https://doi.org/10.1007/s10009-011-0207-9.'
ieee: 'Y. Godhal, K. Chatterjee, and T. A. Henzinger, “Synthesis of AMBA AHB from
formal specification: A case study,” International Journal on Software Tools
for Technology Transfer, vol. 15, no. 5–6. Springer, pp. 585–601, 2013.'
ista: 'Godhal Y, Chatterjee K, Henzinger TA. 2013. Synthesis of AMBA AHB from formal
specification: A case study. International Journal on Software Tools for Technology
Transfer. 15(5–6), 585–601.'
mla: 'Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification:
A Case Study.” International Journal on Software Tools for Technology Transfer,
vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.'
short: Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software
Tools for Technology Transfer 15 (2013) 585–601.
date_created: 2018-12-11T11:56:51Z
date_published: 2013-10-01T00:00:00Z
date_updated: 2021-01-12T06:56:37Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/s10009-011-0207-9
file:
- access_level: open_access
checksum: 57b06a732dd8d6349190dba6b5b0d33b
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:53Z
date_updated: 2020-07-14T12:45:37Z
file_id: '4910'
file_name: IST-2012-87-v1+1_Synthesis_of_AMBA_AHB_from_formal_specifications-_A_case_study.pdf
file_size: 277372
relation: main_file
file_date_updated: 2020-07-14T12:45:37Z
has_accepted_license: '1'
intvolume: ' 15'
issue: 5-6
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 585 - 601
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: International Journal on Software Tools for Technology Transfer
publication_status: published
publisher: Springer
publist_id: '4629'
pubrep_id: '87'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Synthesis of AMBA AHB from formal specification: A case study'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2013'
...
---
_id: '2297'
abstract:
- lang: eng
text: We present an overview of mathematical results on the low temperature properties
of dilute quantum gases, which have been obtained in the past few years. The presentation
includes a discussion of Bose-Einstein condensation, the excitation spectrum for
trapped gases and its relation to superfluidity, as well as the appearance of
quantized vortices in rotating systems. All these properties are intensely being
studied in current experiments on cold atomic gases. We will give a description
of the mathematics involved in understanding these phenomena, starting from the
underlying many-body Schrödinger equation.
author:
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: 'Seiringer R. Hot topics in cold gases: A mathematical physics perspective.
Japanese Journal of Mathematics. 2013;8(2):185-232. doi:10.1007/s11537-013-1264-5'
apa: 'Seiringer, R. (2013). Hot topics in cold gases: A mathematical physics perspective.
Japanese Journal of Mathematics. Springer. https://doi.org/10.1007/s11537-013-1264-5'
chicago: 'Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.”
Japanese Journal of Mathematics. Springer, 2013. https://doi.org/10.1007/s11537-013-1264-5.'
ieee: 'R. Seiringer, “Hot topics in cold gases: A mathematical physics perspective,”
Japanese Journal of Mathematics, vol. 8, no. 2. Springer, pp. 185–232,
2013.'
ista: 'Seiringer R. 2013. Hot topics in cold gases: A mathematical physics perspective.
Japanese Journal of Mathematics. 8(2), 185–232.'
mla: 'Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.”
Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232,
doi:10.1007/s11537-013-1264-5.'
short: R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
date_created: 2018-12-11T11:56:50Z
date_published: 2013-09-24T00:00:00Z
date_updated: 2021-01-12T06:56:36Z
day: '24'
department:
- _id: RoSe
doi: 10.1007/s11537-013-1264-5
external_id:
arxiv:
- '0908.3686'
intvolume: ' 8'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/0908.3686
month: '09'
oa: 1
oa_version: Preprint
page: 185 - 232
publication: Japanese Journal of Mathematics
publication_status: published
publisher: Springer
publist_id: '4631'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Hot topics in cold gases: A mathematical physics perspective'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2013'
...
---
_id: '2306'
abstract:
- lang: ger
text: Das Buch ist sowohl eine Einführung in die Themen Linked Data, Open Data und
Open Linked Data als es auch den konkreten Bezug auf Bibliotheken behandelt. Hierzu
werden konkrete Anwendungsprojekte beschrieben. Der Band wendet sich dabei sowohl
an Personen aus der Bibliothekspraxis als auch an Personen aus dem Bibliotheksmanagement,
die noch nicht mit dem Thema vertraut sind.
alternative_title:
- Bibliotheks- und Informationspraxis
article_processing_charge: No
author:
- first_name: Patrick
full_name: Danowski, Patrick
id: 2EBD1598-F248-11E8-B48F-1D18A9856A87
last_name: Danowski
orcid: 0000-0002-6026-4409
- first_name: Adrian
full_name: Pohl, Adrian
last_name: Pohl
citation:
ama: Danowski P, Pohl A. (Open) Linked Data in Bibliotheken. Vol 50. De Gruyter;
2013. doi:10.1515/9783110278736
apa: Danowski, P., & Pohl, A. (2013). (Open) Linked Data in Bibliotheken
(Vol. 50). De Gruyter. https://doi.org/10.1515/9783110278736
chicago: Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken.
Vol. 50. De Gruyter, 2013. https://doi.org/10.1515/9783110278736.
ieee: P. Danowski and A. Pohl, (Open) Linked Data in Bibliotheken, vol. 50.
De Gruyter, 2013.
ista: Danowski P, Pohl A. 2013. (Open) Linked Data in Bibliotheken, De Gruyter,p.
mla: Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken.
Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
short: P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
date_created: 2018-12-11T11:56:53Z
date_published: 2013-09-13T00:00:00Z
date_updated: 2021-12-21T12:17:19Z
day: '13'
ddc:
- '020'
department:
- _id: E-Lib
doi: 10.1515/9783110278736
file:
- access_level: open_access
checksum: 807a408bbee519d792702828a32c6e85
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:49Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4774'
file_name: IST-2017-725-v1+1_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Frontmatter.pdf
file_size: 67731
relation: main_file
- access_level: open_access
checksum: 587e95c2ba24307a5a5d5bd1579429d9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:50Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4775'
file_name: IST-2017-725-v1+2_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Inhalt.pdf
file_size: 43563
relation: main_file
- access_level: open_access
checksum: dbcada36bb32d725d9838615706e700f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:51Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4776'
file_name: IST-2017-725-v1+3_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Linked_Open_Data_in_der_Bibliothekswelt__Grundlagen_und_Überblick.pdf
file_size: 11318599
relation: main_file
- access_level: open_access
checksum: 5235712bf0a49ccc8c2cb4f6c2560d43
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:52Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4777'
file_name: IST-2017-725-v1+4_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Vokabulare_für_bibliographische_Daten.pdf
file_size: 330210
relation: main_file
- access_level: open_access
checksum: d851cc91f705da80617ac7df33c1c0e1
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:53Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4778'
file_name: IST-2017-725-v1+5_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_FRBR,_Serials_und_CIDOC_CRM_-_Modellierung_von_fortlaufenden_Sammelwerken_unter_Verwendung_von_FRBRoo.pdf
file_size: 10652088
relation: main_file
- access_level: open_access
checksum: 4e77b182692c58e50fc5251bf23cc584
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:54Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4779'
file_name: IST-2017-725-v1+6_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Die_Provenienz_von_Linked_Data.pdf
file_size: 6125273
relation: main_file
- access_level: open_access
checksum: 3debae38064d5099d22f855c353a57ec
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:55Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4780'
file_name: IST-2017-725-v1+7_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Forschungsdaten.pdf
file_size: 1893872
relation: main_file
- access_level: open_access
checksum: e630b330dc0b7522d2cf204587030252
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:56Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4781'
file_name: IST-2017-725-v1+8_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Datenanreicherung_auf_LOD-Basis.pdf
file_size: 1095929
relation: main_file
- access_level: open_access
checksum: 17edda91271bfcce8e1b6e77ca1c9d11
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:57Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4782'
file_name: IST-2017-725-v1+9_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Herausforderung_Wissensvernetzung.pdf
file_size: 149699
relation: main_file
- access_level: open_access
checksum: aacef6734b1de58aeb58024fc47c2373
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:58Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4783'
file_name: IST-2017-725-v1+10_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Linked_Open_Data_geht_in_die_Fläche__Der_B3Kat_stellt_seine_Daten_frei.pdf
file_size: 8828405
relation: main_file
- access_level: open_access
checksum: 0619451f7ff3ea641ce0b10c97831f47
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:59Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4784'
file_name: IST-2017-725-v1+11_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Open_Data_und_Linked_Data_in_einem_Informationssystem_für_die_Archäologie.pdf
file_size: 3191208
relation: main_file
- access_level: open_access
checksum: 44dc8a9fc003f0edd912968958715a23
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:00Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4785'
file_name: IST-2017-725-v1+12_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Definition__Offenes_Wissen.pdf
file_size: 78315
relation: main_file
- access_level: open_access
checksum: 48133cecebfd839b77f84f557d530c00
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:01Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4786'
file_name: IST-2017-725-v1+13_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Prinzipien_zu_offenen_bibliographischen_Daten.pdf
file_size: 90532
relation: main_file
- access_level: open_access
checksum: a359224ddfdb178fed72b228dcfb699a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:02Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4787'
file_name: IST-2017-725-v1+14_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Empfehlungen_zur_Öffnung_bibliothekarischer_Daten.pdf
file_size: 90771
relation: main_file
- access_level: open_access
checksum: 0d2dd31d537c7a495999149d00eaffbf
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:03Z
date_updated: 2020-07-14T12:45:38Z
file_id: '4788'
file_name: IST-2017-725-v1+15_[9783110278736_-__Open__Linked_Data_in_Bibliotheken]_Glossar.pdf
file_size: 1830232
relation: main_file
file_date_updated: 2020-07-14T12:45:38Z
has_accepted_license: '1'
intvolume: ' 50'
language:
- iso: ger
month: '09'
oa: 1
oa_version: Published Version
publication_identifier:
eisbn:
- 9-783-1102-7873-6
isbn:
- ' 978-3-11-027634-3'
issn:
- 2191-3587
publication_status: published
publisher: De Gruyter
publist_id: '4621'
pubrep_id: '725'
quality_controlled: '1'
status: public
title: (Open) Linked Data in Bibliotheken
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: book
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 50
year: '2013'
...