---
_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: 2024-10-21T06:03:01Z
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'
scopus_import: '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.'
article_processing_charge: No
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.
corr_author: '1'
date_created: 2018-12-11T12:02:21Z
date_published: 2011-01-14T00:00:00Z
date_updated: 2025-09-30T09:22:32Z
day: '14'
department:
- _id: HeEd
doi: 10.1007/s00454-010-9322-8
external_id:
isi:
- '000287146600005'
intvolume: ' 45'
isi: 1
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 45
year: '2011'
...
---
_id: '3268'
abstract:
- lang: eng
text: 'Algebraic topology is generally considered one of the purest subfield of
mathematics. However, over the last decade two interesting new lines of research
have emerged, one focusing on algorithms for algebraic topology, and the other
on applications of algebraic topology in engineering and science. Amongst the
new areas in which the techniques have been applied are computer vision and image
processing. In this paper, we survey the results of these endeavours. Because
algebraic topology is an area of mathematics with which most computer vision practitioners
have no experience, we review the machinery behind the theories of homology and
persistent homology; our review emphasizes intuitive explanations. In terms of
applications to computer vision, we focus on four illustrative problems: shape
signatures, natural image statistics, image denoising, and segmentation. Our hope
is that this review will stimulate interest on the part of computer vision researchers
to both use and extend the tools of this new field. '
alternative_title:
- Computer Science, Technology and Applications
author:
- first_name: Daniel
full_name: Freedman, Daniel
last_name: Freedman
- first_name: Chao
full_name: Chen, Chao
id: 3E92416E-F248-11E8-B48F-1D18A9856A87
last_name: Chen
citation:
ama: 'Freedman D, Chen C. Algebraic topology for computer vision. In: Computer
Vision. Nova Science Publishers; 2011:239-268.'
apa: Freedman, D., & Chen, C. (2011). Algebraic topology for computer vision.
In Computer Vision (pp. 239–268). Nova Science Publishers.
chicago: Freedman, Daniel, and Chao Chen. “Algebraic Topology for Computer Vision.”
In Computer Vision, 239–68. Nova Science Publishers, 2011.
ieee: D. Freedman and C. Chen, “Algebraic topology for computer vision,” in Computer
Vision, Nova Science Publishers, 2011, pp. 239–268.
ista: 'Freedman D, Chen C. 2011.Algebraic topology for computer vision. In: Computer
Vision. Computer Science, Technology and Applications, , 239–268.'
mla: Freedman, Daniel, and Chao Chen. “Algebraic Topology for Computer Vision.”
Computer Vision, Nova Science Publishers, 2011, pp. 239–68.
short: D. Freedman, C. Chen, in:, Computer Vision, Nova Science Publishers, 2011,
pp. 239–268.
date_created: 2018-12-11T12:02:22Z
date_published: 2011-11-30T00:00:00Z
date_updated: 2021-01-12T07:42:16Z
day: '30'
extern: '1'
language:
- iso: eng
main_file_link:
- url: http://www.hpl.hp.com/techreports/2009/HPL-2009-375.pdf
month: '11'
oa_version: None
page: 239 - 268
publication: Computer Vision
publication_status: published
publisher: Nova Science Publishers
publist_id: '3378'
quality_controlled: '1'
status: public
title: Algebraic topology for computer vision
type: book_chapter
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
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: 2025-09-30T09:22:04Z
day: '19'
department:
- _id: HeEd
doi: 10.1111/j.1467-8659.2011.01985.x
external_id:
isi:
- '000292884700011'
intvolume: ' 30'
isi: 1
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
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
corr_author: '1'
date_created: 2018-12-11T12:02:22Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2024-10-09T20:54:35Z
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: '3276'
abstract:
- lang: eng
text: 'We present an algorithm to identify individual neural spikes observed on
high-density multi-electrode arrays (MEAs). Our method can distinguish large numbers
of distinct neural units, even when spikes overlap, and accounts for intrinsic
variability of spikes from each unit. As MEAs grow larger, it is important to
find spike-identification methods that are scalable, that is, the computational
cost of spike fitting should scale well with the number of units observed. Our
algorithm accomplishes this goal, and is fast, because it exploits the spatial
locality of each unit and the basic biophysics of extracellular signal propagation.
Human interaction plays a key role in our method; but effort is minimized and
streamlined via a graphical interface. We illustrate our method on data from guinea
pig retinal ganglion cells and document its performance on simulated data consisting
of spikes added to experimentally measured background noise. We present several
tests demonstrating that the algorithm is highly accurate: it exhibits low error
rates on fits to synthetic data, low refractory violation rates, good receptive
field coverage, and consistency across users.'
acknowledgement: |+
This work was supported by National Science Foundation (NSF) grants IBN-0344678, EF-0928048, National Institutes of Health (NIH) grant RO1 EY08124, NIH training grant T32-07035, and NIH training grant 5T90DA022763-04.
Michael Berry and Olivier Marre have developed an algorithm similar to, but different from, ours (manuscript in preparation). We thank them for discussions of their work, and specifically thank Olivier Marre for suggesting to us that the most complete subtraction of a spike can be obtained by refitting the spike without a prior.
author:
- first_name: Jason
full_name: Prentice, Jason S
last_name: Prentice
- first_name: Jan
full_name: Homann, Jan
last_name: Homann
- first_name: Kristina
full_name: Simmons, Kristina D
last_name: Simmons
- first_name: Gasper
full_name: Gasper Tkacik
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
- first_name: Vijay
full_name: Balasubramanian, Vijay
last_name: Balasubramanian
- first_name: Philip
full_name: Nelson, Philip C
last_name: Nelson
citation:
ama: Prentice J, Homann J, Simmons K, Tkačik G, Balasubramanian V, Nelson P. Fast,
scalable, Bayesian spike identification for multi-electrode arrays. PLoS One.
2011;6(7). doi:10.1371/journal.pone.0019884
apa: Prentice, J., Homann, J., Simmons, K., Tkačik, G., Balasubramanian, V., &
Nelson, P. (2011). Fast, scalable, Bayesian spike identification for multi-electrode
arrays. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0019884
chicago: Prentice, Jason, Jan Homann, Kristina Simmons, Gašper Tkačik, Vijay Balasubramanian,
and Philip Nelson. “Fast, Scalable, Bayesian Spike Identification for Multi-Electrode
Arrays.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0019884.
ieee: J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, and P.
Nelson, “Fast, scalable, Bayesian spike identification for multi-electrode arrays,”
PLoS One, vol. 6, no. 7. Public Library of Science, 2011.
ista: Prentice J, Homann J, Simmons K, Tkačik G, Balasubramanian V, Nelson P. 2011.
Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS
One. 6(7).
mla: Prentice, Jason, et al. “Fast, Scalable, Bayesian Spike Identification for
Multi-Electrode Arrays.” PLoS One, vol. 6, no. 7, Public Library of Science,
2011, doi:10.1371/journal.pone.0019884.
short: J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, P. Nelson,
PLoS One 6 (2011).
date_created: 2018-12-11T12:02:24Z
date_published: 2011-07-20T00:00:00Z
date_updated: 2021-01-12T07:42:19Z
day: '20'
doi: 10.1371/journal.pone.0019884
extern: 1
file:
- access_level: open_access
checksum: 654464e99683b55a699734213d5356f1
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:38Z
date_updated: 2020-07-14T12:46:06Z
file_id: '4894'
file_name: IST-2015-381-v1+1_journal.pone.0019884.pdf
file_size: 885464
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
intvolume: ' 6'
issue: '7'
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '3370'
pubrep_id: '381'
quality_controlled: 0
status: public
title: Fast, scalable, Bayesian spike identification for multi-electrode arrays
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
volume: 6
year: '2011'
...
...
---
_id: '3278'
abstract:
- lang: eng
text: |-
Despite much research on the socially parasitic large blue butterflies (genus Maculinea) in the past 40 years, their relationship to their closest relatives, Phengaris, is controversial and the relationships among the remaining genera in the Glaucopsyche section are largely unresolved. The evolutionary history of this butterfly section is particularly important to understand the evolution of life history diversity con- nected to food-plant and host-ant associations in the larval stage. In the present study, we use a combi- nation of four nuclear and two mitochondrial genes to reconstruct the phylogeny of the Glaucopsyche section, and in particular, to study the relationships among and within the Phengaris–Maculinea species.
We find a clear pattern between the clades recovered in the Glaucopsyche section phylogeny and their food-plant associations, with only the Phengaris–Maculinea clade utilising more than one plant family. Maculinea is, for the first time, recovered with strong support as a monophyletic group nested within Phengaris, with the closest relative being the rare genus Caerulea. The genus Glaucopsyche is polyphyletic, including the genera Sinia and Iolana. Interestingly, we find evidence for additional potential cryptic spe- cies within the highly endangered Maculinea, which has long been suspected from morphological, ecolog- ical and molecular studies.
author:
- first_name: Roger
full_name: Vila, Roger
last_name: Vila
- first_name: Naomi
full_name: Pierce, Naomi E
last_name: Pierce
- first_name: David
full_name: Nash, David R
last_name: Nash
- first_name: Line V
full_name: Line Ugelvig
id: 3DC97C8E-F248-11E8-B48F-1D18A9856A87
last_name: Ugelvig
orcid: 0000-0003-1832-8883
citation:
ama: 'Vila R, Pierce N, Nash D, Ugelvig LV. A phylogenetic revision of the Glaucopsyche
section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea
clade. Molecular Phylogenetics and Evolution. 2011;61(1):237-243. doi:10.1016/j.ympev.2011.05.016'
apa: 'Vila, R., Pierce, N., Nash, D., & Ugelvig, L. V. (2011). A phylogenetic
revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus
on the Phengaris-Maculinea clade. Molecular Phylogenetics and Evolution.
Elsevier. https://doi.org/10.1016/j.ympev.2011.05.016'
chicago: 'Vila, Roger, Naomi Pierce, David Nash, and Line V Ugelvig. “A Phylogenetic
Revision of the Glaucopsyche Section (Lepidoptera: Lycaenidae), with Special Focus
on the Phengaris-Maculinea Clade.” Molecular Phylogenetics and Evolution.
Elsevier, 2011. https://doi.org/10.1016/j.ympev.2011.05.016.'
ieee: 'R. Vila, N. Pierce, D. Nash, and L. V. Ugelvig, “A phylogenetic revision
of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the
Phengaris-Maculinea clade,” Molecular Phylogenetics and Evolution, vol.
61, no. 1. Elsevier, pp. 237–243, 2011.'
ista: 'Vila R, Pierce N, Nash D, Ugelvig LV. 2011. A phylogenetic revision of the
Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea
clade. Molecular Phylogenetics and Evolution. 61(1), 237–243.'
mla: 'Vila, Roger, et al. “A Phylogenetic Revision of the Glaucopsyche Section (Lepidoptera:
Lycaenidae), with Special Focus on the Phengaris-Maculinea Clade.” Molecular
Phylogenetics and Evolution, vol. 61, no. 1, Elsevier, 2011, pp. 237–43, doi:10.1016/j.ympev.2011.05.016.'
short: R. Vila, N. Pierce, D. Nash, L.V. Ugelvig, Molecular Phylogenetics and Evolution
61 (2011) 237–243.
date_created: 2018-12-11T12:02:25Z
date_published: 2011-10-01T00:00:00Z
date_updated: 2021-01-12T07:42:20Z
day: '01'
doi: 10.1016/j.ympev.2011.05.016
extern: 1
intvolume: ' 61'
issue: '1'
month: '10'
page: 237 - 243
publication: Molecular Phylogenetics and Evolution
publication_status: published
publisher: Elsevier
publist_id: '3368'
quality_controlled: 0
status: public
title: 'A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae),
with special focus on the Phengaris-Maculinea clade'
type: journal_article
volume: 61
year: '2011'
...
---
_id: '3285'
abstract:
- lang: eng
text: Resolving the dynamical interplay of proteins and lipids in the live-cell
plasma membrane represents a central goal in current cell biology. Superresolution
concepts have introduced a means of capturing spatial heterogeneity at a nanoscopic
length scale. Similar concepts for detecting dynamical transitions (superresolution
chronoscopy) are still lacking. Here, we show that recently introduced spot-variation
fluorescence correlation spectroscopy allows for sensing transient confinement
times of membrane constituents at dramatically improved resolution. Using standard
diffraction-limited optics, spot-variation fluorescence correlation spectroscopy
captures signatures of single retardation events far below the transit time of
the tracer through the focal spot. We provide an analytical description of special
cases of transient binding of a tracer to pointlike traps, or association of a
tracer with nanodomains. The influence of trap mobility and the underlying binding
kinetics are quantified. Experimental approaches are suggested that allow for
gaining quantitative mechanistic insights into the interaction processes of membrane
constituents.
acknowledgement: Y 250-B03/Austrian Science Fund FWF/Austria
author:
- first_name: Verena
full_name: Ruprecht, Verena
id: 4D71A03A-F248-11E8-B48F-1D18A9856A87
last_name: Ruprecht
orcid: 0000-0003-4088-8633
- first_name: Stefan
full_name: Wieser, Stefan
id: 355AA5A0-F248-11E8-B48F-1D18A9856A87
last_name: Wieser
orcid: 0000-0002-2670-2217
- first_name: Didier
full_name: Marguet, Didier
last_name: Marguet
- first_name: Gerhard
full_name: Schuetz, Gerhard
last_name: Schuetz
citation:
ama: Ruprecht V, Wieser S, Marguet D, Schuetz G. Spot variation fluorescence correlation
spectroscopy allows for superresolution chronoscopy of confinement times in membranes.
Biophysical Journal. 2011;100(11):2839-2845. doi:10.1016/j.bpj.2011.04.035
apa: Ruprecht, V., Wieser, S., Marguet, D., & Schuetz, G. (2011). Spot variation
fluorescence correlation spectroscopy allows for superresolution chronoscopy of
confinement times in membranes. Biophysical Journal. Biophysical Society.
https://doi.org/10.1016/j.bpj.2011.04.035
chicago: Ruprecht, Verena, Stefan Wieser, Didier Marguet, and Gerhard Schuetz. “Spot
Variation Fluorescence Correlation Spectroscopy Allows for Superresolution Chronoscopy
of Confinement Times in Membranes.” Biophysical Journal. Biophysical Society,
2011. https://doi.org/10.1016/j.bpj.2011.04.035.
ieee: V. Ruprecht, S. Wieser, D. Marguet, and G. Schuetz, “Spot variation fluorescence
correlation spectroscopy allows for superresolution chronoscopy of confinement
times in membranes,” Biophysical Journal, vol. 100, no. 11. Biophysical
Society, pp. 2839–2845, 2011.
ista: Ruprecht V, Wieser S, Marguet D, Schuetz G. 2011. Spot variation fluorescence
correlation spectroscopy allows for superresolution chronoscopy of confinement
times in membranes. Biophysical Journal. 100(11), 2839–2845.
mla: Ruprecht, Verena, et al. “Spot Variation Fluorescence Correlation Spectroscopy
Allows for Superresolution Chronoscopy of Confinement Times in Membranes.” Biophysical
Journal, vol. 100, no. 11, Biophysical Society, 2011, pp. 2839–45, doi:10.1016/j.bpj.2011.04.035.
short: V. Ruprecht, S. Wieser, D. Marguet, G. Schuetz, Biophysical Journal 100 (2011)
2839–2845.
date_created: 2018-12-11T12:02:27Z
date_published: 2011-06-08T00:00:00Z
date_updated: 2021-01-12T07:42:23Z
day: '08'
doi: 10.1016/j.bpj.2011.04.035
extern: '1'
intvolume: ' 100'
issue: '11'
language:
- iso: eng
month: '06'
oa_version: None
page: 2839 - 2845
publication: Biophysical Journal
publication_status: published
publisher: Biophysical Society
publist_id: '3360'
status: public
title: Spot variation fluorescence correlation spectroscopy allows for superresolution
chronoscopy of confinement times in membranes
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 100
year: '2011'
...
---
_id: '3286'
abstract:
- lang: eng
text: Cationic antimicrobial peptides (CAMPs) selectively target bacterial membranes
by electrostatic interactions with negatively charged lipids. It turned out that
for inhibition of microbial growth a high CAMP membrane concentration is required,
which can be realized by the incorporation of hydrophobic groups within the peptide.
Increasing hydrophobicity, however, reduces the CAMP selectivity for bacterial
over eukaryotic host membranes, thereby causing the risk of detrimental side-effects.
In this study we addressed how cationic amphipathic peptides—in particular a CAMP
with Lysine–Leucine–Lysine repeats (termed KLK)—affect the localization and dynamics
of molecules in eukaryotic membranes. We found KLK to selectively inhibit the
endocytosis of a subgroup of membrane proteins and lipids by electrostatically
interacting with negatively charged sialic acid moieties. Ultrastructural characterization
revealed the formation of membrane invaginations representing fission or fusion
intermediates, in which the sialylated proteins and lipids were immobilized. Experiments
on structurally different cationic amphipathic peptides (KLK, 6-MO-LF11-322 and
NK14-2) indicated a cooperation of electrostatic and hydrophobic forces that selectively
arrest sialylated membrane constituents.
acknowledgement: "This work was funded by the GEN-AU project of the Austrian Research
Promotion Agency, the Austrian Science Fund (FWF; project Y250-B03) and Intercell
AG.\nWe thank the following colleagues for providing plasmids and cells: Daniel
Legler (University of Konstanz, Switzerland), Jennifer Lippincott-Schwartz (NIH,
Bethesda, USA), Hannes Stockinger (Medical University Vienna, Austria), Katharina
Strub (University of Geneva, Switzerland), Lawrence Rajendran (ETH Zurich, Switzerland),
Eileen M. Lafer (UTHSC San Antonio, Texas, USA), Mark McNiven (Mayo Clinic, Minnesota,
USA), John Silvius (McGill University, Montreal, Canada), Christoph Romanin (JKU
Linz, Austria), Herbert Stangl (Medical University Vienna, Austria) and Anton van
der Merwe (Oxford University, Oxford, UK). We thank Harald Kotisch (MFPL, Vienna)
for excellent technical assistance in the processing of samples for electron microscopy
and Sergio Grinstein (Hospital for Sick Children Research Institute, Toronto) for
fruitful discussions. "
author:
- first_name: Julian
full_name: Weghuber, Julian
last_name: Weghuber
- first_name: Michael
full_name: Aichinger, Michael C.
last_name: Aichinger
- first_name: Mario
full_name: Brameshuber, Mario
last_name: Brameshuber
- first_name: Stefan
full_name: Stefan Wieser
id: 355AA5A0-F248-11E8-B48F-1D18A9856A87
last_name: Wieser
orcid: 0000-0002-2670-2217
- first_name: Verena
full_name: Verena Ruprecht
id: 4D71A03A-F248-11E8-B48F-1D18A9856A87
last_name: Ruprecht
orcid: 0000-0003-4088-8633
- first_name: Birgit
full_name: Plochberger, Birgit
last_name: Plochberger
- first_name: Josef
full_name: Madl, Josef
last_name: Madl
- first_name: Andreas
full_name: Horner, Andreas
last_name: Horner
- first_name: Siegfried
full_name: Reipert, Siegfried
last_name: Reipert
- first_name: Karl
full_name: Lohner, Karl
last_name: Lohner
- first_name: Tamas
full_name: Henics, Tamas
last_name: Henics
- first_name: Gerhard
full_name: Schuetz, Gerhard J
last_name: Schuetz
citation:
ama: Weghuber J, Aichinger M, Brameshuber M, et al. Cationic amphipathic peptides
accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic
host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes. 2011;1808(10):2581-2590.
doi:10.1016/j.bbamem.2011.06.007
apa: Weghuber, J., Aichinger, M., Brameshuber, M., Wieser, S., Ruprecht, V., Plochberger,
B., … Schuetz, G. (2011). Cationic amphipathic peptides accumulate sialylated
proteins and lipids in the plasma membrane of eukaryotic host cells. Biochimica
et Biophysica Acta (BBA) - Biomembranes. Elsevier. https://doi.org/10.1016/j.bbamem.2011.06.007
chicago: Weghuber, Julian, Michael Aichinger, Mario Brameshuber, Stefan Wieser,
Verena Ruprecht, Birgit Plochberger, Josef Madl, et al. “Cationic Amphipathic
Peptides Accumulate Sialylated Proteins and Lipids in the Plasma Membrane of Eukaryotic
Host Cells.” Biochimica et Biophysica Acta (BBA) - Biomembranes. Elsevier,
2011. https://doi.org/10.1016/j.bbamem.2011.06.007.
ieee: J. Weghuber et al., “Cationic amphipathic peptides accumulate sialylated
proteins and lipids in the plasma membrane of eukaryotic host cells,” Biochimica
et Biophysica Acta (BBA) - Biomembranes, vol. 1808, no. 10. Elsevier, pp.
2581–2590, 2011.
ista: Weghuber J, Aichinger M, Brameshuber M, Wieser S, Ruprecht V, Plochberger
B, Madl J, Horner A, Reipert S, Lohner K, Henics T, Schuetz G. 2011. Cationic
amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane
of eukaryotic host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes.
1808(10), 2581–2590.
mla: Weghuber, Julian, et al. “Cationic Amphipathic Peptides Accumulate Sialylated
Proteins and Lipids in the Plasma Membrane of Eukaryotic Host Cells.” Biochimica
et Biophysica Acta (BBA) - Biomembranes, vol. 1808, no. 10, Elsevier, 2011,
pp. 2581–90, doi:10.1016/j.bbamem.2011.06.007.
short: J. Weghuber, M. Aichinger, M. Brameshuber, S. Wieser, V. Ruprecht, B. Plochberger,
J. Madl, A. Horner, S. Reipert, K. Lohner, T. Henics, G. Schuetz, Biochimica et
Biophysica Acta (BBA) - Biomembranes 1808 (2011) 2581–2590.
date_created: 2018-12-11T12:02:28Z
date_published: 2011-10-01T00:00:00Z
date_updated: 2021-01-12T07:42:24Z
day: '01'
doi: 10.1016/j.bbamem.2011.06.007
extern: 1
intvolume: ' 1808'
issue: '10'
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '10'
page: 2581 - 2590
publication: Biochimica et Biophysica Acta (BBA) - Biomembranes
publication_status: published
publisher: Elsevier
publist_id: '3359'
quality_controlled: 0
status: public
title: Cationic amphipathic peptides accumulate sialylated proteins and lipids in
the plasma membrane of eukaryotic host cells
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
volume: 1808
year: '2011'
...
---
_id: '3287'
abstract:
- lang: eng
text: 'Diffusing membrane constituents are constantly exposed to a variety of forces
that influence their stochastic path. Single molecule experiments allow for resolving
trajectories at extremely high spatial and temporal accuracy, thereby offering
insights into en route interactions of the tracer. In this review we discuss approaches
to derive information about the underlying processes, based on single molecule
tracking experiments. In particular, we focus on a new versatile way to analyze
single molecule diffusion in the absence of a full analytical treatment. The method
is based on comprehensive comparison of an experimental data set against the hypothetical
outcome of multiple experiments performed on the computer. Since Monte Carlo simulations
can be easily and rapidly performed even on state-of-the-art PCs, our method provides
a simple way for testing various - even complicated - diffusion models. We describe
the new method in detail, and show the applicability on two specific examples:
firstly, kinetic rate constants can be derived for the transient interaction of
mobile membrane proteins; secondly, residence time and corral size can be extracted
for confined diffusion.'
article_processing_charge: No
author:
- first_name: Verena
full_name: Ruprecht, Verena
id: 4D71A03A-F248-11E8-B48F-1D18A9856A87
last_name: Ruprecht
orcid: 0000-0003-4088-8633
- first_name: Markus
full_name: Axmann, Markus
last_name: Axmann
- first_name: Stefan
full_name: Wieser, Stefan
id: 355AA5A0-F248-11E8-B48F-1D18A9856A87
last_name: Wieser
orcid: 0000-0002-2670-2217
- first_name: Gerhard
full_name: Schuetz, Gerhard
last_name: Schuetz
citation:
ama: Ruprecht V, Axmann M, Wieser S, Schuetz G. What can we learn from single molecule
trajectories? Current Protein & Peptide Science. 2011;12(8):714-724.
doi:10.2174/138920311798841753
apa: Ruprecht, V., Axmann, M., Wieser, S., & Schuetz, G. (2011). What can we
learn from single molecule trajectories? Current Protein & Peptide Science.
Bentham Science Publishers. https://doi.org/10.2174/138920311798841753
chicago: Ruprecht, Verena, Markus Axmann, Stefan Wieser, and Gerhard Schuetz. “What
Can We Learn from Single Molecule Trajectories?” Current Protein & Peptide
Science. Bentham Science Publishers, 2011. https://doi.org/10.2174/138920311798841753.
ieee: V. Ruprecht, M. Axmann, S. Wieser, and G. Schuetz, “What can we learn from
single molecule trajectories?,” Current Protein & Peptide Science,
vol. 12, no. 8. Bentham Science Publishers, pp. 714–724, 2011.
ista: Ruprecht V, Axmann M, Wieser S, Schuetz G. 2011. What can we learn from single
molecule trajectories? Current Protein & Peptide Science. 12(8), 714–724.
mla: Ruprecht, Verena, et al. “What Can We Learn from Single Molecule Trajectories?”
Current Protein & Peptide Science, vol. 12, no. 8, Bentham Science
Publishers, 2011, pp. 714–24, doi:10.2174/138920311798841753.
short: V. Ruprecht, M. Axmann, S. Wieser, G. Schuetz, Current Protein & Peptide
Science 12 (2011) 714–724.
date_created: 2018-12-11T12:02:28Z
date_published: 2011-12-01T00:00:00Z
date_updated: 2025-09-30T09:21:31Z
day: '01'
department:
- _id: CaHe
- _id: MiSi
doi: 10.2174/138920311798841753
external_id:
isi:
- '000299672600005'
intvolume: ' 12'
isi: 1
issue: '8'
language:
- iso: eng
month: '12'
oa_version: None
page: 714 - 724
publication: Current Protein & Peptide Science
publication_status: published
publisher: Bentham Science Publishers
publist_id: '3358'
quality_controlled: '1'
scopus_import: '1'
status: public
title: What can we learn from single molecule trajectories?
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 12
year: '2011'
...
---
_id: '3288'
abstract:
- lang: eng
text: 'The zonula adherens (ZA) of epithelial cells is a site of cell-cell adhesion
where cellular forces are exerted and resisted. Increasing evidence indicates
that E-cadherin adhesion molecules at the ZA serve to sense force applied on the
junctions and coordinate cytoskeletal responses to those forces. Efforts to understand
the role that cadherins play in mechanotransduction have been limited by the lack
of assays to measure the impact of forces on the ZA. In this study we used 4D
imaging of GFP-tagged E-cadherin to analyse the movement of the ZA. Junctions
in confluent epithelial monolayers displayed prominent movements oriented orthogonal
(perpendicular) to the ZA itself. Two components were identified in these movements:
a relatively slow unidirectional (translational) component that could be readily
fitted by least-squares regression analysis, upon which were superimposed more
rapid oscillatory movements. Myosin IIB was a dominant factor responsible for
driving the unilateral translational movements. In contrast, frequency spectrum
analysis revealed that depletion of Myosin IIA increased the power of the oscillatory
movements. This implies that Myosin IIA may serve to dampen oscillatory movements
of the ZA. This extends our recent analysis of Myosin II at the ZA to demonstrate
that Myosin IIA and Myosin IIB make distinct contributions to junctional movement
at the ZA.'
acknowledgement: his work was funded by the National Health and Medical Research Council
(NHMRC) of Australia. M.S. was an Erwin Schroedinger postdoctoral fellow of the
Austrian Science Fund (FWF), S.K.W. is supported by a UQ International Research
Tuition Award and Research Scholarship, S.M .by an ANZ Trustees PhD Scholarship.
A.S.Y. is a Research Fellow of the NHMRC. Confocal imaging was performed at the
Australian Cancer Research Foundation (ACRF) Cancer Biology Imaging Centre at the
Institute for Molecular Bioscience, established with the generous support of the
ACRF.
article_processing_charge: No
author:
- first_name: Michael
full_name: Smutny, Michael
id: 3FE6E4E8-F248-11E8-B48F-1D18A9856A87
last_name: Smutny
orcid: 0000-0002-5920-9090
- first_name: Selwin
full_name: Wu, Selwin
last_name: Wu
- first_name: Guillermo
full_name: Gomez, Guillermo
last_name: Gomez
- first_name: Sabine
full_name: Mangold, Sabine
last_name: Mangold
- first_name: Alpha
full_name: Yap, Alpha
last_name: Yap
- first_name: Nicholas
full_name: Hamilton, Nicholas
last_name: Hamilton
citation:
ama: Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. Multicomponent analysis
of junctional movements regulated by Myosin II isoforms at the epithelial zonula
adherens. PLoS One. 2011;6(7). doi:10.1371/journal.pone.0022458
apa: Smutny, M., Wu, S., Gomez, G., Mangold, S., Yap, A., & Hamilton, N. (2011).
Multicomponent analysis of junctional movements regulated by Myosin II isoforms
at the epithelial zonula adherens. PLoS One. Public Library of Science.
https://doi.org/10.1371/journal.pone.0022458
chicago: Smutny, Michael, Selwin Wu, Guillermo Gomez, Sabine Mangold, Alpha Yap,
and Nicholas Hamilton. “Multicomponent Analysis of Junctional Movements Regulated
by Myosin II Isoforms at the Epithelial Zonula Adherens.” PLoS One. Public
Library of Science, 2011. https://doi.org/10.1371/journal.pone.0022458.
ieee: M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, and N. Hamilton, “Multicomponent
analysis of junctional movements regulated by Myosin II isoforms at the epithelial
zonula adherens,” PLoS One, vol. 6, no. 7. Public Library of Science, 2011.
ista: Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. 2011. Multicomponent
analysis of junctional movements regulated by Myosin II isoforms at the epithelial
zonula adherens. PLoS One. 6(7).
mla: Smutny, Michael, et al. “Multicomponent Analysis of Junctional Movements Regulated
by Myosin II Isoforms at the Epithelial Zonula Adherens.” PLoS One, vol.
6, no. 7, Public Library of Science, 2011, doi:10.1371/journal.pone.0022458.
short: M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).
date_created: 2018-12-11T12:02:28Z
date_published: 2011-07-22T00:00:00Z
date_updated: 2025-09-30T09:26:01Z
day: '22'
ddc:
- '570'
department:
- _id: CaHe
doi: 10.1371/journal.pone.0022458
external_id:
isi:
- '000293097300049'
file:
- access_level: open_access
checksum: 57a5eb11dd05241c48c44f492b3ec3ac
content_type: application/pdf
creator: dernst
date_created: 2019-05-10T10:51:43Z
date_updated: 2020-07-14T12:46:06Z
file_id: '6399'
file_name: 2011_PLOS_Smutny.PDF
file_size: 1984567
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: ' 6'
isi: 1
issue: '7'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '3357'
quality_controlled: '1'
status: public
title: Multicomponent analysis of junctional movements regulated by Myosin II isoforms
at the epithelial zonula adherens
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 6
year: '2011'
...
---
_id: '3290'
abstract:
- lang: eng
text: 'Analysis of genomic data requires an efficient way to calculate likelihoods
across very large numbers of loci. We describe a general method for finding the
distribution of genealogies: we allow migration between demes, splitting of demes
[as in the isolation-with-migration (IM) model], and recombination between linked
loci. These processes are described by a set of linear recursions for the generating
function of branch lengths. Under the infinite-sites model, the probability of
any configuration of mutations can be found by differentiating this generating
function. Such calculations are feasible for small numbers of sampled genomes:
as an example, we show how the generating function can be derived explicitly for
three genes under the two-deme IM model. This derivation is done automatically,
using Mathematica. Given data from a large number of unlinked and nonrecombining
blocks of sequence, these results can be used to find maximum-likelihood estimates
of model parameters by tabulating the probabilities of all relevant mutational
configurations and then multiplying across loci. The feasibility of the method
is demonstrated by applying it to simulated data and to a data set previously
analyzed by Wang and Hey (2010) consisting of 26,141 loci sampled from Drosophila
simulans and D. melanogaster. Our results suggest that such likelihood calculations
are scalable to genomic data as long as the numbers of sampled individuals and
mutations per sequence block are small.'
article_processing_charge: No
author:
- first_name: Konrad
full_name: Lohse, Konrad
last_name: Lohse
- first_name: Richard
full_name: Harrison, Richard
last_name: Harrison
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Lohse K, Harrison R, Barton NH. A general method for calculating likelihoods
under the coalescent process. Genetics. 2011;189(3):977-987. doi:10.1534/genetics.111.129569
apa: Lohse, K., Harrison, R., & Barton, N. H. (2011). A general method for calculating
likelihoods under the coalescent process. Genetics. Genetics Society of
America. https://doi.org/10.1534/genetics.111.129569
chicago: Lohse, Konrad, Richard Harrison, and Nicholas H Barton. “A General Method
for Calculating Likelihoods under the Coalescent Process.” Genetics. Genetics
Society of America, 2011. https://doi.org/10.1534/genetics.111.129569.
ieee: K. Lohse, R. Harrison, and N. H. Barton, “A general method for calculating
likelihoods under the coalescent process,” Genetics, vol. 189, no. 3. Genetics
Society of America, pp. 977–987, 2011.
ista: Lohse K, Harrison R, Barton NH. 2011. A general method for calculating likelihoods
under the coalescent process. Genetics. 189(3), 977–987.
mla: Lohse, Konrad, et al. “A General Method for Calculating Likelihoods under the
Coalescent Process.” Genetics, vol. 189, no. 3, Genetics Society of America,
2011, pp. 977–87, doi:10.1534/genetics.111.129569.
short: K. Lohse, R. Harrison, N.H. Barton, Genetics 189 (2011) 977–987.
date_created: 2018-12-11T12:02:29Z
date_published: 2011-11-01T00:00:00Z
date_updated: 2025-09-30T09:21:06Z
day: '01'
department:
- _id: NiBa
doi: 10.1534/genetics.111.129569
ec_funded: 1
external_id:
isi:
- '000297020800022'
intvolume: ' 189'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3213358/
month: '11'
oa: 1
oa_version: Submitted Version
page: 977 - 987
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '250152'
name: Limits to selection in biology and in evolutionary computation
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '3355'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A general method for calculating likelihoods under the coalescent process
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 189
year: '2011'
...
---
_id: '3297'
abstract:
- lang: eng
text: "Animating detailed liquid surfaces has always been a challenge for computer
graphics researchers and visual effects artists. Over the past few years, researchers
in this field have focused on mesh-based surface tracking to synthesize extremely
detailed liquid surfaces as efficiently as possible. This course provides a solid
understanding of the steps required to create a fluid simulator with a mesh-based
liquid surface.\r\n\r\nThe course begins with an overview of several existing
liquid-surface-tracking techniques and the pros and cons of each method. Then
it explains how to embed a triangle mesh into a finite-difference-based fluid
simulator and describes several methods for allowing the liquid surface to merge
together or break apart. The final section showcases the benefits and further
applications of a mesh-based liquid surface, highlighting state-of-the-art methods
for tracking colors and textures, maintaining liquid volume, preserving small
surface features, and simulating realistic surface-tension waves."
article_number: '8'
author:
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
- first_name: Matthias
full_name: Müller Fischer, Matthias
last_name: Müller Fischer
- first_name: Tyson
full_name: Brochu, Tyson
last_name: Brochu
citation:
ama: 'Wojtan C, Müller Fischer M, Brochu T. Liquid simulation with mesh-based surface
tracking. In: ACM; 2011. doi:10.1145/2037636.2037644'
apa: 'Wojtan, C., Müller Fischer, M., & Brochu, T. (2011). Liquid simulation
with mesh-based surface tracking. Presented at the SIGGRAPH: Special Interest
Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada:
ACM. https://doi.org/10.1145/2037636.2037644'
chicago: Wojtan, Chris, Matthias Müller Fischer, and Tyson Brochu. “Liquid Simulation
with Mesh-Based Surface Tracking.” ACM, 2011. https://doi.org/10.1145/2037636.2037644.
ieee: 'C. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based
surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer
Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.'
ista: 'Wojtan C, Müller Fischer M, Brochu T. 2011. Liquid simulation with mesh-based
surface tracking. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive
Techniques, 8.'
mla: Wojtan, Chris, et al. Liquid Simulation with Mesh-Based Surface Tracking.
8, ACM, 2011, doi:10.1145/2037636.2037644.
short: C. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
conference:
end_date: 2011-08-11
location: Vancouver, BC, Canada
name: 'SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques'
start_date: 2011-08-07
corr_author: '1'
date_created: 2018-12-11T12:02:31Z
date_published: 2011-08-07T00:00:00Z
date_updated: 2024-10-09T20:54:35Z
day: '07'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2037636.2037644
file:
- access_level: open_access
checksum: 8d508ad7c82f50978acbaa4170ee0a75
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:34Z
date_updated: 2020-07-14T12:46:06Z
file_id: '5018'
file_name: IST-2016-599-v1+1_meshyFluidsCourseSIGGRAPH2011.pdf
file_size: 34672096
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication_status: published
publisher: ACM
publist_id: '3344'
pubrep_id: '599'
quality_controlled: '1'
scopus_import: 1
status: public
title: Liquid simulation with mesh-based surface tracking
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3298'
abstract:
- lang: eng
text: We present a new algorithm for enforcing incompressibility for Smoothed Particle
Hydrodynamics (SPH) by preserving uniform density across the domain. We propose
a hybrid method that uses a Poisson solve on a coarse grid to enforce a divergence
free velocity field, followed by a local density correction of the particles. This
avoids typical grid artifacts and maintains the Lagrangian nature of SPH by directly
transferring pressures onto particles. Our method can be easily integrated with
existing SPH techniques such as the incompressible PCISPH method as well as weakly
compressible SPH by adding an additional force term. We show that this hybrid
method accelerates convergence towards uniform density and permits a significantly
larger time step compared to earlier approaches while producing similar results.
We demonstrate our approach in a variety of scenarios with significant pressure
gradients such as splashing liquids.
author:
- first_name: Karthik
full_name: Raveendran, Karthik
last_name: Raveendran
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
- first_name: Greg
full_name: Turk, Greg
last_name: Turk
citation:
ama: 'Raveendran K, Wojtan C, Turk G. Hybrid smoothed particle hydrodynamics. In:
Spencer S, ed. ACM; 2011:33-42. doi:10.1145/2019406.2019411'
apa: 'Raveendran, K., Wojtan, C., & Turk, G. (2011). Hybrid smoothed particle
hydrodynamics. In S. Spencer (Ed.) (pp. 33–42). Presented at the SCA: ACM SIGGRAPH/Eurographics
Symposium on Computer animation, Vancouver, Canada: ACM. https://doi.org/10.1145/2019406.2019411'
chicago: Raveendran, Karthik, Chris Wojtan, and Greg Turk. “Hybrid Smoothed Particle
Hydrodynamics.” edited by Stephen Spencer, 33–42. ACM, 2011. https://doi.org/10.1145/2019406.2019411.
ieee: 'K. Raveendran, C. Wojtan, and G. Turk, “Hybrid smoothed particle hydrodynamics,”
presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation,
Vancouver, Canada, 2011, pp. 33–42.'
ista: 'Raveendran K, Wojtan C, Turk G. 2011. Hybrid smoothed particle hydrodynamics.
SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 33–42.'
mla: Raveendran, Karthik, et al. Hybrid Smoothed Particle Hydrodynamics.
Edited by Stephen Spencer, ACM, 2011, pp. 33–42, doi:10.1145/2019406.2019411.
short: K. Raveendran, C. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp.
33–42.
conference:
end_date: 2011-08-07
location: Vancouver, Canada
name: 'SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation'
start_date: 2011-08-05
date_created: 2018-12-11T12:02:32Z
date_published: 2011-08-05T00:00:00Z
date_updated: 2023-02-23T11:21:05Z
day: '05'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2019406.2019411
editor:
- first_name: Stephen
full_name: Spencer, Stephen
last_name: Spencer
file:
- access_level: open_access
checksum: 6579d27709946e0eefbfa60a456b4913
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:44Z
date_updated: 2020-07-14T12:46:06Z
file_id: '4769'
file_name: IST-2016-598-v1+1_HybridSPH_Preprint.pdf
file_size: 2536216
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 33 - 42
publication_status: published
publisher: ACM
publist_id: '3343'
pubrep_id: '598'
quality_controlled: '1'
scopus_import: 1
status: public
title: Hybrid smoothed particle hydrodynamics
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3299'
abstract:
- lang: eng
text: 'We introduce propagation models, a formalism designed to support general
and efficient data structures for the transient analysis of biochemical reaction
networks. We give two use cases for propagation abstract data types: the uniformization
method and numerical integration. We also sketch an implementation of a propagation
abstract data type, which uses abstraction to approximate states.'
author:
- 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: Maria
full_name: Mateescu, Maria
last_name: Mateescu
citation:
ama: 'Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction
networks. In: Springer; 2011:1-3. doi:10.1145/2037509.2037510'
apa: 'Henzinger, T. A., & Mateescu, M. (2011). Propagation models for computing
biochemical reaction networks (pp. 1–3). Presented at the CMSB: Computational
Methods in Systems Biology, Paris, France: Springer. https://doi.org/10.1145/2037509.2037510'
chicago: Henzinger, Thomas A, and Maria Mateescu. “Propagation Models for Computing
Biochemical Reaction Networks,” 1–3. Springer, 2011. https://doi.org/10.1145/2037509.2037510.
ieee: 'T. A. Henzinger and M. Mateescu, “Propagation models for computing biochemical
reaction networks,” presented at the CMSB: Computational Methods in Systems Biology,
Paris, France, 2011, pp. 1–3.'
ista: 'Henzinger TA, Mateescu M. 2011. Propagation models for computing biochemical
reaction networks. CMSB: Computational Methods in Systems Biology, 1–3.'
mla: Henzinger, Thomas A., and Maria Mateescu. Propagation Models for Computing
Biochemical Reaction Networks. Springer, 2011, pp. 1–3, doi:10.1145/2037509.2037510.
short: T.A. Henzinger, M. Mateescu, in:, Springer, 2011, pp. 1–3.
conference:
end_date: 2011-09-23
location: Paris, France
name: 'CMSB: Computational Methods in Systems Biology'
start_date: 2011-09-21
corr_author: '1'
date_created: 2018-12-11T12:02:32Z
date_published: 2011-09-21T00:00:00Z
date_updated: 2024-10-09T20:54:34Z
day: '21'
ddc:
- '000'
- '004'
department:
- _id: ToHe
doi: 10.1145/2037509.2037510
file:
- access_level: open_access
checksum: 7f5c65509db1a9fb049abedd9663ed06
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:07:50Z
date_updated: 2020-07-14T12:46:06Z
file_id: '4649'
file_name: IST-2012-92-v1+1_Propagation_models_for_computing_biochemical_reaction_networks.pdf
file_size: 255780
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 1 - 3
publication_status: published
publisher: Springer
publist_id: '3341'
pubrep_id: '92'
quality_controlled: '1'
scopus_import: 1
status: public
title: Propagation models for computing biochemical reaction networks
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3301'
abstract:
- lang: eng
text: The chemical master equation is a differential equation describing the time
evolution of the probability distribution over the possible “states” of a biochemical
system. The solution of this equation is of interest within the systems biology
field ever since the importance of the molec- ular noise has been acknowledged.
Unfortunately, most of the systems do not have analytical solutions, and numerical
solutions suffer from the course of dimensionality and therefore need to be approximated.
Here, we introduce the concept of tail approximation, which retrieves an approximation
of the probabilities in the tail of a distribution from the total probability
of the tail and its conditional expectation. This approximation method can then
be used to numerically compute the solution of the chemical master equation on
a subset of the state space, thus fighting the explosion of the state space, for
which this problem is renowned.
author:
- 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: Maria
full_name: Mateescu, Maria
last_name: Mateescu
citation:
ama: 'Henzinger TA, Mateescu M. Tail approximation for the chemical master equation.
In: Tampere International Center for Signal Processing; 2011.'
apa: 'Henzinger, T. A., & Mateescu, M. (2011). Tail approximation for the chemical
master equation. Presented at the WCSB: Workshop on Computational Systems Biology
(TICSP), Tampere International Center for Signal Processing.'
chicago: Henzinger, Thomas A, and Maria Mateescu. “Tail Approximation for the Chemical
Master Equation.” Tampere International Center for Signal Processing, 2011.
ieee: 'T. A. Henzinger and M. Mateescu, “Tail approximation for the chemical master
equation,” presented at the WCSB: Workshop on Computational Systems Biology (TICSP),
2011.'
ista: 'Henzinger TA, Mateescu M. 2011. Tail approximation for the chemical master
equation. WCSB: Workshop on Computational Systems Biology (TICSP).'
mla: Henzinger, Thomas A., and Maria Mateescu. Tail Approximation for the Chemical
Master Equation. Tampere International Center for Signal Processing, 2011.
short: T.A. Henzinger, M. Mateescu, in:, Tampere International Center for Signal
Processing, 2011.
conference:
name: 'WCSB: Workshop on Computational Systems Biology (TICSP)'
corr_author: '1'
date_created: 2018-12-11T12:02:33Z
date_published: 2011-01-01T00:00:00Z
date_updated: 2024-10-09T20:54:34Z
day: '01'
ddc:
- '005'
- '570'
department:
- _id: ToHe
file:
- access_level: open_access
checksum: aa4d7a832a5419e6c0090650ebff2b9a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:12Z
date_updated: 2020-07-14T12:46:06Z
file_id: '5331'
file_name: IST-2012-91-v1+1_Tail_approximation_for_the_chemical_master_equation.pdf
file_size: 240820
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
publication_status: published
publisher: Tampere International Center for Signal Processing
publist_id: '3339'
pubrep_id: '91'
quality_controlled: '1'
status: public
title: Tail approximation for the chemical master equation
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3302'
abstract:
- lang: eng
text: Cloud computing aims to give users virtually unlimited pay-per-use computing
resources without the burden of managing the underlying infrastructure. We present
a new job execution environment Flextic that exploits scal- able static scheduling
techniques to provide the user with a flexible pricing model, such as a tradeoff
between dif- ferent degrees of execution speed and execution price, and at the
same time, reduce scheduling overhead for the cloud provider. We have evaluated
a prototype of Flextic on Amazon EC2 and compared it against Hadoop. For various
data parallel jobs from machine learning, im- age processing, and gene sequencing
that we considered, Flextic has low scheduling overhead and reduces job du- ration
by up to 15% compared to Hadoop, a dynamic cloud scheduler.
author:
- 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: Anmol
full_name: Singh, Anmol
id: 72A86902-E99F-11E9-9F62-915534D1B916
last_name: Singh
- first_name: Vasu
full_name: Singh, Vasu
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: 'Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. Static scheduling in clouds.
In: USENIX; 2011:1-6.'
apa: 'Henzinger, T. A., Singh, A., Singh, V., Wies, T., & Zufferey, D. (2011).
Static scheduling in clouds (pp. 1–6). Presented at the HotCloud: Workshop on
Hot Topics in Cloud Computing, USENIX.'
chicago: Henzinger, Thomas A, Anmol Singh, Vasu Singh, Thomas Wies, and Damien Zufferey.
“Static Scheduling in Clouds,” 1–6. USENIX, 2011.
ieee: 'T. A. Henzinger, A. Singh, V. Singh, T. Wies, and D. Zufferey, “Static scheduling
in clouds,” presented at the HotCloud: Workshop on Hot Topics in Cloud Computing,
2011, pp. 1–6.'
ista: 'Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. 2011. Static scheduling
in clouds. HotCloud: Workshop on Hot Topics in Cloud Computing, 1–6.'
mla: Henzinger, Thomas A., et al. Static Scheduling in Clouds. USENIX, 2011,
pp. 1–6.
short: T.A. Henzinger, A. Singh, V. Singh, T. Wies, D. Zufferey, in:, USENIX, 2011,
pp. 1–6.
conference:
end_date: 2011-06-15
name: 'HotCloud: Workshop on Hot Topics in Cloud Computing'
start_date: 2011-06-14
corr_author: '1'
date_created: 2018-12-11T12:02:33Z
date_published: 2011-06-14T00:00:00Z
date_updated: 2024-10-09T20:54:34Z
day: '14'
ddc:
- '000'
- '005'
department:
- _id: ToHe
file:
- access_level: open_access
checksum: 21a461ac004bb535c83320fe79b30375
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:14Z
date_updated: 2020-07-14T12:46:06Z
file_id: '5333'
file_name: IST-2012-90-v1+1_Static_scheduling_in_clouds.pdf
file_size: 232770
relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 1 - 6
publication_status: published
publisher: USENIX
publist_id: '3338'
pubrep_id: '90'
quality_controlled: '1'
status: public
title: Static scheduling in clouds
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...
---
_id: '3311'
abstract:
- lang: eng
text: Alpha shapes have been conceived in 1981 as an attempt to define the shape
of a finite set of point in the plane. Since then, connections to diverse areas
in the sciences and engineering have developed, including to pattern recognition,
digital shape sampling and processing, and structural molecular biology. This
survey begins with a historical account and discusses geometric, algorithmic,
topological, and combinatorial aspects of alpha shapes in this sequence.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: 'Edelsbrunner H. Alpha shapes - a survey. In: van de Weygaert R, Vegter G,
Ritzerveld J, Icke V, eds. Tessellations in the Sciences: Virtues, Techniques
and Applications of Geometric Tilings. Springer.'
apa: 'Edelsbrunner, H. (n.d.). Alpha shapes - a survey. In R. van de Weygaert, G.
Vegter, J. Ritzerveld, & V. Icke (Eds.), Tessellations in the Sciences:
Virtues, Techniques and Applications of Geometric Tilings. Springer.'
chicago: 'Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” In Tessellations
in the Sciences: Virtues, Techniques and Applications of Geometric Tilings,
edited by R van de Weygaert, G Vegter, J Ritzerveld, and V Icke. Springer, n.d.'
ieee: 'H. Edelsbrunner, “Alpha shapes - a survey,” in Tessellations in the Sciences:
Virtues, Techniques and Applications of Geometric Tilings, R. van de Weygaert,
G. Vegter, J. Ritzerveld, and V. Icke, Eds. Springer.'
ista: 'Edelsbrunner H.Alpha shapes - a survey. In: Tessellations in the Sciences:
Virtues, Techniques and Applications of Geometric Tilings. .'
mla: 'Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” Tessellations in the
Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited
by R van de Weygaert et al., Springer.'
short: 'H. Edelsbrunner, in:, R. van de Weygaert, G. Vegter, J. Ritzerveld, V. Icke
(Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of
Geometric Tilings, Springer, n.d.'
corr_author: '1'
date_created: 2018-12-11T12:02:36Z
date_published: 2011-12-31T00:00:00Z
date_updated: 2024-10-09T20:54:33Z
day: '31'
ddc:
- '510'
department:
- _id: HeEd
editor:
- first_name: R
full_name: van de Weygaert, R
last_name: van de Weygaert
- first_name: G
full_name: Vegter, G
last_name: Vegter
- first_name: J
full_name: Ritzerveld, J
last_name: Ritzerveld
- first_name: V
full_name: Icke, V
last_name: Icke
file:
- access_level: open_access
checksum: a592ea438351e7280eea993a7713ab8f
content_type: application/pdf
creator: dernst
date_created: 2022-05-24T07:55:05Z
date_updated: 2022-05-24T07:55:05Z
file_id: '11408'
file_name: 2010_AlphaShapes.pdf
file_size: 475254
relation: main_file
success: 1
file_date_updated: 2022-05-24T07:55:05Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Submitted Version
publication: 'Tessellations in the Sciences: Virtues, Techniques and Applications
of Geometric Tilings'
publication_status: inpress
publisher: Springer
publist_id: '3329'
quality_controlled: '1'
status: public
title: Alpha shapes - a survey
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2011'
...