---
_id: '3918'
abstract:
- lang: eng
text: Wingless (ergatoid) males of the tramp ant Cardiocondyla minutior attack and
kill their young ergatoid rivals and thus attempt to monopolize mating with female
sexuals reared in the colony. Because of the different strength of local mate
competition in colonies with one or several reproductive queens, we expected the
production of new ergatoid males to vary with queen number. Sex ratios were mostly
female-biased, but in contrast to the sympatric species C. obscurior (Cremer and
Heinze, 2002) neither the percentage of ergatoid males nor of female sexuals among
the first 20 sexuals produced varied considerably with queen number. As in C.
obscurior, experimental colony fragmentation led to the production of winged males,
whereas in unfragmented control colonies only ergatoid males eclosed.
author:
- first_name: Jürgen
full_name: Heinze, Jürgen
last_name: Heinze
- first_name: A.
full_name: Böttcher, A.
last_name: Böttcher
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Heinze J, Böttcher A, Cremer S. Production of winged and wingless males in
the ant, Cardiocondyla minutior. Insectes Sociaux. 2004;51(3):275-278.
doi:10.1007/s00040-004-0740-6
apa: Heinze, J., Böttcher, A., & Cremer, S. (2004). Production of winged and
wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. Springer.
https://doi.org/10.1007/s00040-004-0740-6
chicago: Heinze, Jürgen, A. Böttcher, and Sylvia Cremer. “Production of Winged and
Wingless Males in the Ant, Cardiocondyla Minutior.” Insectes Sociaux. Springer,
2004. https://doi.org/10.1007/s00040-004-0740-6.
ieee: J. Heinze, A. Böttcher, and S. Cremer, “Production of winged and wingless
males in the ant, Cardiocondyla minutior,” Insectes Sociaux, vol. 51, no.
3. Springer, pp. 275–278, 2004.
ista: Heinze J, Böttcher A, Cremer S. 2004. Production of winged and wingless males
in the ant, Cardiocondyla minutior. Insectes Sociaux. 51(3), 275–278.
mla: Heinze, Jürgen, et al. “Production of Winged and Wingless Males in the Ant,
Cardiocondyla Minutior.” Insectes Sociaux, vol. 51, no. 3, Springer, 2004,
pp. 275–78, doi:10.1007/s00040-004-0740-6.
short: J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.
date_created: 2018-12-11T12:05:53Z
date_published: 2004-08-19T00:00:00Z
date_updated: 2021-01-12T07:53:11Z
day: '19'
doi: 10.1007/s00040-004-0740-6
extern: '1'
intvolume: ' 51'
issue: '3'
language:
- iso: eng
month: '08'
oa_version: None
page: 275 - 278
publication: Insectes Sociaux
publication_status: published
publisher: Springer
publist_id: '2236'
status: public
title: Production of winged and wingless males in the ant, Cardiocondyla minutior
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 51
year: '2004'
...
---
_id: '3929'
abstract:
- lang: eng
text: The Nef protein of human and simian immunodeficiency virus (HIV/SIV) is believed
to interfere with T cell activation signals by forming a signaling complex at
the plasma membrane. Composition and function of the complex are not fully understood.
Here we report that Nef recruits the Polycomb Group (PcG) protein Eed, so far
known as a nuclear factor and repressor of transcription, to the membrane of cells.
The Nef-induced translocation of Eed led to a potent stimulation of Tat-dependent
HIV transcription, implying that Eed removal from the nucleus is required for
optimal Tat function. Similar to Nef action, activation of integrin receptors
recruited Eed to the plasma membrane, also leading to enhanced Tat/Nef-mediated
transcription. Our results suggest a link between membrane-associated activation
processes and transcriptional derepression and demonstrate how HIV exploits this
mechanism.
author:
- first_name: Vanessa
full_name: Witte, Vanessa
last_name: Witte
- first_name: Bernd
full_name: Laffert, Bernd
last_name: Laffert
- first_name: Olaf
full_name: Rosorius, Olaf
last_name: Rosorius
- first_name: Peter
full_name: Lischka, Peter
last_name: Lischka
- first_name: Katja
full_name: Blume, Katja
last_name: Blume
- first_name: Gunther
full_name: Galler, Gunther
last_name: Galler
- first_name: Andrea
full_name: Stilper, Andrea
last_name: Stilper
- first_name: Dieter
full_name: Willbold, Dieter
last_name: Willbold
- first_name: Paola
full_name: D'Aloja, Paola
last_name: D'Aloja
- first_name: Michael K
full_name: Michael Sixt
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Johanna
full_name: Kolanus, Johanna
last_name: Kolanus
- first_name: Melanie
full_name: Ott, Melanie
last_name: Ott
- first_name: Waldemar
full_name: Kolanus, Waldemar
last_name: Kolanus
- first_name: Gerold
full_name: Schuler, Gerold
last_name: Schuler
- first_name: Andreas
full_name: Baur, Andreas S
last_name: Baur
citation:
ama: Witte V, Laffert B, Rosorius O, et al. HIV-1 Nef mimics an integrin receptor
signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular
Cell. 2004;13(2):179-190. doi:10.1016/S1097-2765(04)00004-8
apa: Witte, V., Laffert, B., Rosorius, O., Lischka, P., Blume, K., Galler, G., …
Baur, A. (2004). HIV-1 Nef mimics an integrin receptor signal that recruits the
polycomb group protein Eed to the plasma membrane. Molecular Cell. Cell
Press. https://doi.org/10.1016/S1097-2765(04)00004-8
chicago: Witte, Vanessa, Bernd Laffert, Olaf Rosorius, Peter Lischka, Katja Blume,
Gunther Galler, Andrea Stilper, et al. “HIV-1 Nef Mimics an Integrin Receptor
Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular
Cell. Cell Press, 2004. https://doi.org/10.1016/S1097-2765(04)00004-8.
ieee: V. Witte et al., “HIV-1 Nef mimics an integrin receptor signal that
recruits the polycomb group protein Eed to the plasma membrane,” Molecular
Cell, vol. 13, no. 2. Cell Press, pp. 179–190, 2004.
ista: Witte V, Laffert B, Rosorius O, Lischka P, Blume K, Galler G, Stilper A, Willbold
D, D’Aloja P, Sixt MK, Kolanus J, Ott M, Kolanus W, Schuler G, Baur A. 2004. HIV-1
Nef mimics an integrin receptor signal that recruits the polycomb group protein
Eed to the plasma membrane. Molecular Cell. 13(2), 179–190.
mla: Witte, Vanessa, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits
the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular Cell,
vol. 13, no. 2, Cell Press, 2004, pp. 179–90, doi:10.1016/S1097-2765(04)00004-8.
short: V. Witte, B. Laffert, O. Rosorius, P. Lischka, K. Blume, G. Galler, A. Stilper,
D. Willbold, P. D’Aloja, M.K. Sixt, J. Kolanus, M. Ott, W. Kolanus, G. Schuler,
A. Baur, Molecular Cell 13 (2004) 179–190.
date_created: 2018-12-11T12:05:56Z
date_published: 2004-01-30T00:00:00Z
date_updated: 2021-01-12T07:53:16Z
day: '30'
doi: 10.1016/S1097-2765(04)00004-8
extern: 1
intvolume: ' 13'
issue: '2'
month: '01'
page: 179 - 190
publication: Molecular Cell
publication_status: published
publisher: Cell Press
publist_id: '2197'
quality_controlled: 0
status: public
title: HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group
protein Eed to the plasma membrane
type: journal_article
volume: 13
year: '2004'
...
---
_id: '3931'
abstract:
- lang: eng
text: Hyaluronan is an unsulfated glycosaminoglycan (GAG) that is ubiquitously expressed
in the extracellular matrix (ECM) of all vertebrates, where hyaluronan rich matrices
constitute a particular permissive environment for the development of complex
biological structures and also for tumor progression. Because of its conserved
structure and ubiquitous expression, antibodies for its histochemical detection
cannot be produced. We have engineered a fusion protein, neurocan-GFP, and expressed
it as a secreted molecule in mammalian cells. Neurocan-GFP fusion protein specifically
binds to hyaluronan and directly visualizes hyaluronan on tissue sections, revealing
a very detailed picture of hyaluronan distribution. The fluorescent fusion protein
can be used in combination with antibodies and nuclear markers for double or triple
staining. In addition, it is suitable to visualize hyaluronan on living cells
by time-lapse video microscopy. The successful production and application of the
neurocan-GFP fusion protein opens up new perspectives for using GFP fusion proteins
as detection tools in histological and cytological studies complementing conventional
antibody and biotin/avidin techniques.
author:
- first_name: Hui
full_name: Zhang, Hui
last_name: Zhang
- first_name: Stephan
full_name: Baader, Stephan L
last_name: Baader
- first_name: Michael K
full_name: Michael Sixt
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Joachim
full_name: Kappler, Joachim
last_name: Kappler
- first_name: Uwe
full_name: Rauch, Uwe
last_name: Rauch
citation:
ama: 'Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. Neurocan-GFP fusion protein:
a new approach to detect hyaluronan on tissue sections and living cells. Journal
of Histochemistry and Cytochemistry. 2004;52(7):915-922. doi:10.1369/jhc.3A6221.2004'
apa: 'Zhang, H., Baader, S., Sixt, M. K., Kappler, J., & Rauch, U. (2004). Neurocan-GFP
fusion protein: a new approach to detect hyaluronan on tissue sections and living
cells. Journal of Histochemistry and Cytochemistry. Histochemical Society.
https://doi.org/10.1369/jhc.3A6221.2004'
chicago: 'Zhang, Hui, Stephan Baader, Michael K Sixt, Joachim Kappler, and Uwe Rauch.
“Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections
and Living Cells.” Journal of Histochemistry and Cytochemistry. Histochemical
Society, 2004. https://doi.org/10.1369/jhc.3A6221.2004.'
ieee: 'H. Zhang, S. Baader, M. K. Sixt, J. Kappler, and U. Rauch, “Neurocan-GFP
fusion protein: a new approach to detect hyaluronan on tissue sections and living
cells,” Journal of Histochemistry and Cytochemistry, vol. 52, no. 7. Histochemical
Society, pp. 915–922, 2004.'
ista: 'Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. 2004. Neurocan-GFP fusion
protein: a new approach to detect hyaluronan on tissue sections and living cells.
Journal of Histochemistry and Cytochemistry. 52(7), 915–922.'
mla: 'Zhang, Hui, et al. “Neurocan-GFP Fusion Protein: A New Approach to Detect
Hyaluronan on Tissue Sections and Living Cells.” Journal of Histochemistry
and Cytochemistry, vol. 52, no. 7, Histochemical Society, 2004, pp. 915–22,
doi:10.1369/jhc.3A6221.2004.'
short: H. Zhang, S. Baader, M.K. Sixt, J. Kappler, U. Rauch, Journal of Histochemistry
and Cytochemistry 52 (2004) 915–922.
date_created: 2018-12-11T12:05:57Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T07:53:17Z
day: '01'
doi: 10.1369/jhc.3A6221.2004
extern: 1
intvolume: ' 52'
issue: '7'
month: '01'
page: 915 - 922
publication: Journal of Histochemistry and Cytochemistry
publication_status: published
publisher: Histochemical Society
publist_id: '2196'
quality_controlled: 0
status: public
title: 'Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue
sections and living cells'
type: journal_article
volume: 52
year: '2004'
...
---
_id: '3984'
abstract:
- lang: eng
text: We combine topological and geometric methods to construct a multiresolution
representation for a function over a two-dimensional domain. In a preprocessing
stage, we create the Morse-Smale complex of the function and progressively simplify
its topology by cancelling pairs of critical points. Based on a simple notion
of dependency among these cancellations, we construct a hierarchical data structure
supporting traversal and reconstruction operations similarly to traditional geometry-based
representations. We use this data structure to extract topologically valid approximations
that satisfy error bounds provided at runtime.
author:
- first_name: Peer
full_name: Bremer, Peer-Timo
last_name: Bremer
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Bernd
full_name: Hamann, Bernd
last_name: Hamann
- first_name: Valerio
full_name: Pascucci, Valerio
last_name: Pascucci
citation:
ama: Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A topological hierarchy for
functions on triangulated surfaces. IEEE Transactions on Visualization and
Computer Graphics. 2004;10(4):385-396. doi:10.1109/TVCG.2004.3
apa: Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2004). A topological
hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization
and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.3
chicago: Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci.
“A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions
on Visualization and Computer Graphics. IEEE, 2004. https://doi.org/10.1109/TVCG.2004.3.
ieee: P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A topological hierarchy
for functions on triangulated surfaces,” IEEE Transactions on Visualization
and Computer Graphics, vol. 10, no. 4. IEEE, pp. 385–396, 2004.
ista: Bremer P, Edelsbrunner H, Hamann B, Pascucci V. 2004. A topological hierarchy
for functions on triangulated surfaces. IEEE Transactions on Visualization and
Computer Graphics. 10(4), 385–396.
mla: Bremer, Peer, et al. “A Topological Hierarchy for Functions on Triangulated
Surfaces.” IEEE Transactions on Visualization and Computer Graphics, vol.
10, no. 4, IEEE, 2004, pp. 385–96, doi:10.1109/TVCG.2004.3.
short: P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, IEEE Transactions on
Visualization and Computer Graphics 10 (2004) 385–396.
date_created: 2018-12-11T12:06:16Z
date_published: 2004-07-01T00:00:00Z
date_updated: 2021-01-12T07:53:39Z
day: '01'
doi: 10.1109/TVCG.2004.3
extern: 1
intvolume: ' 10'
issue: '4'
month: '07'
page: 385 - 396
publication: IEEE Transactions on Visualization and Computer Graphics
publication_status: published
publisher: IEEE
publist_id: '2139'
quality_controlled: 0
status: public
title: A topological hierarchy for functions on triangulated surfaces
type: journal_article
volume: 10
year: '2004'
...
---
_id: '3985'
abstract:
- lang: eng
text: Given a Morse function f over a 2-manifold with or without boundary, the Reeb
graph is obtained by contracting the connected components of the level sets to
points. We prove tight upper and lower bounds on the number of loops in the Reeb
graph that depend on the genus, the number of boundary components, and whether
or not the 2-manifold is orientable. We also give an algorithm that constructs
the Reeb graph in time O(n log n), where n is the number of edges in the triangulation
used to represent the 2-manifold and the Morse function.
acknowledgement: Partially supported by NSF under Grants EIA-99-72879 and CCR-00-86013.
author:
- first_name: Kree
full_name: Cole-McLaughlin, Kree
last_name: Cole Mclaughlin
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: John
full_name: Harer, John
last_name: Harer
- first_name: Vijay
full_name: Natarajan, Vijay
last_name: Natarajan
- first_name: Valerio
full_name: Pascucci, Valerio
last_name: Pascucci
citation:
ama: Cole Mclaughlin K, Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Loops
in Reeb graphs of 2-manifolds. Discrete & Computational Geometry. 2004;32(2):231-244.
doi:10.1007/s00454-004-1122-6
apa: Cole Mclaughlin, K., Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci,
V. (2004). Loops in Reeb graphs of 2-manifolds. Discrete & Computational
Geometry. Springer. https://doi.org/10.1007/s00454-004-1122-6
chicago: Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan,
and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.” Discrete &
Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1122-6.
ieee: K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci,
“Loops in Reeb graphs of 2-manifolds,” Discrete & Computational Geometry,
vol. 32, no. 2. Springer, pp. 231–244, 2004.
ista: Cole Mclaughlin K, Edelsbrunner H, Harer J, Natarajan V, Pascucci V. 2004.
Loops in Reeb graphs of 2-manifolds. Discrete & Computational Geometry. 32(2),
231–244.
mla: Cole Mclaughlin, Kree, et al. “Loops in Reeb Graphs of 2-Manifolds.” Discrete
& Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 231–44,
doi:10.1007/s00454-004-1122-6.
short: K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci,
Discrete & Computational Geometry 32 (2004) 231–244.
date_created: 2018-12-11T12:06:16Z
date_published: 2004-07-01T00:00:00Z
date_updated: 2021-01-12T07:53:39Z
day: '01'
doi: 10.1007/s00454-004-1122-6
extern: 1
intvolume: ' 32'
issue: '2'
month: '07'
page: 231 - 244
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '2140'
quality_controlled: 0
status: public
title: Loops in Reeb graphs of 2-manifolds
type: journal_article
volume: 32
year: '2004'
...
---
_id: '3986'
abstract:
- lang: eng
text: The motion of a biomolecule greatly depends on the engulfing solution, which
is mostly water. Instead of representing individual water molecules, it is desirable
to develop implicit solvent models that nevertheless accurately represent the
contribution of the solvent interaction to the motion. In such models, hydrophobicity
is expressed as a weighted sum of atomic surface areas. The derivatives of these
weighted areas contribute to the force that drives the motion. In this paper we
give formulas for the weighted and unweighted area derivatives of a molecule modeled
as a space-filling diagram made up of balls in motion. Other than the radii and
the centers of the balls, the formulas are given in terms of the sizes of circular
arcs of the boundary and edges of the power diagram. We also give inclusion-exclusion
formulas for these sizes.
acknowledgement: Partially supported by NSF under grant CCR-00-86013 and NSF under
grant CCR-97-12088.
author:
- first_name: Robert
full_name: Bryant, Robert
last_name: Bryant
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Patrice
full_name: Koehl, Patrice
last_name: Koehl
- first_name: Michael
full_name: Levitt, Michael
last_name: Levitt
citation:
ama: Bryant R, Edelsbrunner H, Koehl P, Levitt M. The area derivative of a space-filling
diagram. Discrete & Computational Geometry. 2004;32(3):293-308. doi:10.1007/s00454-004-1099-1
apa: Bryant, R., Edelsbrunner, H., Koehl, P., & Levitt, M. (2004). The area
derivative of a space-filling diagram. Discrete & Computational Geometry.
Springer. https://doi.org/10.1007/s00454-004-1099-1
chicago: Bryant, Robert, Herbert Edelsbrunner, Patrice Koehl, and Michael Levitt.
“The Area Derivative of a Space-Filling Diagram.” Discrete & Computational
Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1099-1.
ieee: R. Bryant, H. Edelsbrunner, P. Koehl, and M. Levitt, “The area derivative
of a space-filling diagram,” Discrete & Computational Geometry, vol.
32, no. 3. Springer, pp. 293–308, 2004.
ista: Bryant R, Edelsbrunner H, Koehl P, Levitt M. 2004. The area derivative of
a space-filling diagram. Discrete & Computational Geometry. 32(3), 293–308.
mla: Bryant, Robert, et al. “The Area Derivative of a Space-Filling Diagram.” Discrete
& Computational Geometry, vol. 32, no. 3, Springer, 2004, pp. 293–308,
doi:10.1007/s00454-004-1099-1.
short: R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete & Computational
Geometry 32 (2004) 293–308.
date_created: 2018-12-11T12:06:17Z
date_published: 2004-09-01T00:00:00Z
date_updated: 2021-01-12T07:53:40Z
day: '01'
doi: 10.1007/s00454-004-1099-1
extern: 1
intvolume: ' 32'
issue: '3'
month: '09'
page: 293 - 308
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '2141'
quality_controlled: 0
status: public
title: The area derivative of a space-filling diagram
type: journal_article
volume: 32
year: '2004'
...
---
_id: '3987'
abstract:
- lang: eng
text: 'We consider scientific data sets that describe density functions over three-dimensional
geometric domains. Such data sets are often large and coarsened representations
are needed for visualization and analysis. Assuming a tetrahedral mesh representation,
we construct such representations with a simplification algorithm that combines
three goals: the approximation of the function, the preservation of the mesh topology,
and the improvement of the mesh quality. The third goal is achieved with a novel
extension of the well-known quadric error metric. We perform a number of computational
experiments to understand the effect of mesh quality improvement on the density
map approximation. In addition, we study the effect of geometric simplification
on the topological features of the function by monitoring its critical points.'
author:
- first_name: Vijay
full_name: Natarajan, Vijay
last_name: Natarajan
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Natarajan V, Edelsbrunner H. Simplification of three-dimensional density maps.
IEEE Transactions on Visualization and Computer Graphics. 2004;10(5):587-597.
doi:10.1109/TVCG.2004.32
apa: Natarajan, V., & Edelsbrunner, H. (2004). Simplification of three-dimensional
density maps. IEEE Transactions on Visualization and Computer Graphics.
IEEE. https://doi.org/10.1109/TVCG.2004.32
chicago: Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional
Density Maps.” IEEE Transactions on Visualization and Computer Graphics.
IEEE, 2004. https://doi.org/10.1109/TVCG.2004.32.
ieee: V. Natarajan and H. Edelsbrunner, “Simplification of three-dimensional density
maps,” IEEE Transactions on Visualization and Computer Graphics, vol. 10,
no. 5. IEEE, pp. 587–597, 2004.
ista: Natarajan V, Edelsbrunner H. 2004. Simplification of three-dimensional density
maps. IEEE Transactions on Visualization and Computer Graphics. 10(5), 587–597.
mla: Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional
Density Maps.” IEEE Transactions on Visualization and Computer Graphics,
vol. 10, no. 5, IEEE, 2004, pp. 587–97, doi:10.1109/TVCG.2004.32.
short: V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer
Graphics 10 (2004) 587–597.
date_created: 2018-12-11T12:06:17Z
date_published: 2004-07-12T00:00:00Z
date_updated: 2021-01-12T07:53:40Z
day: '12'
doi: 10.1109/TVCG.2004.32
extern: 1
intvolume: ' 10'
issue: '5'
month: '07'
page: 587 - 597
publication: IEEE Transactions on Visualization and Computer Graphics
publication_status: published
publisher: IEEE
publist_id: '2142'
quality_controlled: 0
status: public
title: Simplification of three-dimensional density maps
type: journal_article
volume: 10
year: '2004'
...
---
_id: '3988'
abstract:
- lang: eng
text: We give an algorithm that locally improves the fit between two proteins modeled
as space-filling diagrams. The algorithm defines the fit in purely geometric terms
and improves by applying a rigid motion to one of the two proteins. Our implementation
of the algorithm takes between three and ten seconds and converges with high likelihood
to the correct docked configuration, provided it starts at a position away from
the correct one by at most 18 degrees of rotation and at most 3.0Angstrom of translation.
The speed and convergence radius make this an attractive algorithm to use in combination
with a coarse sampling of the six-dimensional space of rigid motions.
acknowledgement: Supported by NSF under grant CCR-00-86013, BGT Postdoc Program from
Duke University and NIH under grant R01 GM61822-01.
alternative_title:
- LNCS
author:
- first_name: Vicky
full_name: Choi, Vicky
last_name: Choi
- first_name: Pankaj
full_name: Agarwal, Pankaj K
last_name: Agarwal
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Johannes
full_name: Rudolph, Johannes
last_name: Rudolph
citation:
ama: 'Choi V, Agarwal P, Edelsbrunner H, Rudolph J. Local search heuristic for rigid
protein docking. In: Vol 3240. Springer; 2004:218-229. doi:10.1007/978-3-540-30219-3_19'
apa: 'Choi, V., Agarwal, P., Edelsbrunner, H., & Rudolph, J. (2004). Local search
heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the
WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer. https://doi.org/10.1007/978-3-540-30219-3_19'
chicago: Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph.
“Local Search Heuristic for Rigid Protein Docking,” 3240:218–29. Springer, 2004.
https://doi.org/10.1007/978-3-540-30219-3_19.
ieee: 'V. Choi, P. Agarwal, H. Edelsbrunner, and J. Rudolph, “Local search heuristic
for rigid protein docking,” presented at the WABI: 4th International Workshop
on Algorithms in Bioinformatics, 2004, vol. 3240, pp. 218–229.'
ista: 'Choi V, Agarwal P, Edelsbrunner H, Rudolph J. 2004. Local search heuristic
for rigid protein docking. WABI: 4th International Workshop on Algorithms in Bioinformatics,
LNCS, vol. 3240, 218–229.'
mla: Choi, Vicky, et al. Local Search Heuristic for Rigid Protein Docking.
Vol. 3240, Springer, 2004, pp. 218–29, doi:10.1007/978-3-540-30219-3_19.
short: V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp.
218–229.
conference:
name: 'WABI: 4th International Workshop on Algorithms in Bioinformatics'
date_created: 2018-12-11T12:06:17Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T07:53:41Z
day: '01'
doi: 10.1007/978-3-540-30219-3_19
extern: 1
intvolume: ' 3240'
month: '01'
page: 218 - 229
publication_status: published
publisher: Springer
publist_id: '2136'
quality_controlled: 0
status: public
title: Local search heuristic for rigid protein docking
type: conference
volume: 3240
year: '2004'
...
---
_id: '3989'
abstract:
- lang: eng
text: We introduce local and global comparison measures for a collection of k less
than or equal to d real-valued smooth functions on a common d-dimensional Riemannian
manifold. For k = d = 2 we relate the measures to the set of critical points of
one function restricted to the level sets of the other. The definition of the
measures extends to piecewise linear functions for which they ace easy to compute.
The computation of the measures forms the centerpiece of a software tool which
we use to study scientific datasets.
author:
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: John
full_name: Harer, John
last_name: Harer
- first_name: Vijay
full_name: Natarajan, Vijay
last_name: Natarajan
- first_name: Valerio
full_name: Pascucci, Valerio
last_name: Pascucci
citation:
ama: 'Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Local and global comparison
of continuous functions. In: IEEE; 2004:275-280. doi:10.1109/VISUAL.2004.68'
apa: 'Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Local
and global comparison of continuous functions (pp. 275–280). Presented at the
VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2004.68'
chicago: Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci.
“Local and Global Comparison of Continuous Functions,” 275–80. IEEE, 2004. https://doi.org/10.1109/VISUAL.2004.68.
ieee: 'H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Local and global
comparison of continuous functions,” presented at the VIS: IEEE Visualization,
2004, pp. 275–280.'
ista: 'Edelsbrunner H, Harer J, Natarajan V, Pascucci V. 2004. Local and global
comparison of continuous functions. VIS: IEEE Visualization, 275–280.'
mla: Edelsbrunner, Herbert, et al. Local and Global Comparison of Continuous
Functions. IEEE, 2004, pp. 275–80, doi:10.1109/VISUAL.2004.68.
short: H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp.
275–280.
conference:
name: 'VIS: IEEE Visualization'
date_created: 2018-12-11T12:06:18Z
date_published: 2004-10-01T00:00:00Z
date_updated: 2021-01-12T07:53:41Z
day: '01'
doi: 10.1109/VISUAL.2004.68
extern: 1
month: '10'
page: 275 - 280
publication_status: published
publisher: IEEE
publist_id: '2137'
quality_controlled: 0
status: public
title: Local and global comparison of continuous functions
type: conference
year: '2004'
...
---
_id: '3990'
abstract:
- lang: eng
text: The writhing number measures the global geometry of a closed space curve or
knot. We show that this measure is related to the average winding number of its
Gauss map. Using this relationship, we give an algorithm for computing the writhing
number for a polygonal knot with n edges in time roughly proportional to n(1.6).
We also implement a different, simple algorithm and provide experimental evidence
for its practical efficiency.
acknowledgement: Partially supported by NSF under grants CCR-00-86013, EIA-9972879
and NSF under grant CCR-97-12088.
author:
- first_name: Pankaj
full_name: Agarwal, Pankaj K
last_name: Agarwal
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Yusu
full_name: Wang, Yusu
last_name: Wang
citation:
ama: Agarwal P, Edelsbrunner H, Wang Y. Computing the writhing number of a polygonal
knot. Discrete & Computational Geometry. 2004;32(1):37-53. doi:10.1007/s00454-004-2864-x
apa: Agarwal, P., Edelsbrunner, H., & Wang, Y. (2004). Computing the writhing
number of a polygonal knot. Discrete & Computational Geometry. Springer.
https://doi.org/10.1007/s00454-004-2864-x
chicago: Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing
Number of a Polygonal Knot.” Discrete & Computational Geometry. Springer,
2004. https://doi.org/10.1007/s00454-004-2864-x.
ieee: P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of
a polygonal knot,” Discrete & Computational Geometry, vol. 32, no.
1. Springer, pp. 37–53, 2004.
ista: Agarwal P, Edelsbrunner H, Wang Y. 2004. Computing the writhing number of
a polygonal knot. Discrete & Computational Geometry. 32(1), 37–53.
mla: Agarwal, Pankaj, et al. “Computing the Writhing Number of a Polygonal Knot.”
Discrete & Computational Geometry, vol. 32, no. 1, Springer, 2004,
pp. 37–53, doi:10.1007/s00454-004-2864-x.
short: P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete & Computational Geometry
32 (2004) 37–53.
date_created: 2018-12-11T12:06:18Z
date_published: 2004-05-01T00:00:00Z
date_updated: 2021-01-12T07:53:42Z
day: '01'
doi: 10.1007/s00454-004-2864-x
extern: 1
intvolume: ' 32'
issue: '1'
month: '05'
page: 37 - 53
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '2138'
quality_controlled: 0
status: public
title: Computing the writhing number of a polygonal knot
type: journal_article
volume: 32
year: '2004'
...
---
_id: '4172'
abstract:
- lang: eng
text: 'During vertebrate gastrulation, a relatively limited number of blastodermal
cells undergoes a stereotypical set of cellular movements that leads to formation
of the three germ layers: ectoderm, mesoderm and endoderm. Gastrulation, therefore,
provides a unique developmental system in which to study cell movements in vivo
in a fairly simple cellular context. Recent advances have been made in elucidating
the cellular and molecular mechanisms that underlie cell movements during zebrafish
gastrulation. These findings can be compared with observations made in other model
systems to identify potential general mechanisms of cell migration during development.'
article_processing_charge: No
author:
- first_name: Juan
full_name: Montero, Juan
last_name: Montero
- 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: 'Montero J, Heisenberg C-PJ. Gastrulation dynamics: cells move into focus.
Trends in Cell Biology. 2004;14(11):620-627. doi:10.1016/j.tcb.2004.09.008'
apa: 'Montero, J., & Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells
move into focus. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2004.09.008'
chicago: 'Montero, Juan, and Carl-Philipp J Heisenberg. “Gastrulation Dynamics:
Cells Move into Focus.” Trends in Cell Biology. Cell Press, 2004. https://doi.org/10.1016/j.tcb.2004.09.008.'
ieee: 'J. Montero and C.-P. J. Heisenberg, “Gastrulation dynamics: cells move into
focus,” Trends in Cell Biology, vol. 14, no. 11. Cell Press, pp. 620–627,
2004.'
ista: 'Montero J, Heisenberg C-PJ. 2004. Gastrulation dynamics: cells move into
focus. Trends in Cell Biology. 14(11), 620–627.'
mla: 'Montero, Juan, and Carl-Philipp J. Heisenberg. “Gastrulation Dynamics: Cells
Move into Focus.” Trends in Cell Biology, vol. 14, no. 11, Cell Press,
2004, pp. 620–27, doi:10.1016/j.tcb.2004.09.008.'
short: J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
date_created: 2018-12-11T12:07:23Z
date_published: 2004-11-01T00:00:00Z
date_updated: 2021-01-12T07:55:02Z
day: '01'
doi: 10.1016/j.tcb.2004.09.008
extern: '1'
intvolume: ' 14'
issue: '11'
language:
- iso: eng
month: '11'
oa_version: None
page: 620 - 627
publication: Trends in Cell Biology
publication_status: published
publisher: Cell Press
publist_id: '1948'
status: public
title: 'Gastrulation dynamics: cells move into focus'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2004'
...
---
_id: '4224'
abstract:
- lang: eng
text: Developing cells acquire positional information by reading the graded distribution
of morphogens. In Drosophila, the Dpp morphogen forms a long-range concentration
gradient by spreading from a restricted source in the developing wing. It has
been assumed that Dpp spreads by extracellular diffusion. Under this assumption,
the main role of endocytosis in gradient formation is to downregulate receptors
at the cell surface. These surface receptors bind to the ligand and thereby interfere
with its long-range movement. Recent experiments indicate that Dpp spreading is
mediated by Dynamin-dependent endocytosis in the target tissue, suggesting that
extracellular diffusion alone cannot account for Dpp dispersal. Here, we perform
a theoretical study of a model for morphogen spreading based on extracellular
diffusion, which takes into account receptor binding and trafficking. We compare
profiles of ligand and surface receptors obtained in this model with experimental
data. To this end, we monitored directly the pool of surface receptors and extracellular
Dpp with specific antibodies. We conclude that current models considering pure
extracellular diffusion cannot explain the observed role of endocytosis during
Dpp long-range movement.
article_processing_charge: No
author:
- first_name: Karsten
full_name: Kruse, Karsten
last_name: Kruse
- first_name: Periklis
full_name: Pantazis, Periklis
last_name: Pantazis
- first_name: Mark Tobias
full_name: Bollenbach, Mark Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
- first_name: Frank
full_name: Julicher, Frank
last_name: Julicher
- first_name: Marcos
full_name: Gonzalez Gaitan, Marcos
last_name: Gonzalez Gaitan
citation:
ama: 'Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. Dpp gradient
formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion
model. Development. 2004;131(19):4843-4856. doi:10.1242/dev.01335'
apa: 'Kruse, K., Pantazis, P., Bollenbach, M. T., Julicher, F., & Gonzalez Gaitan,
M. (2004). Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking
and the diffusion model. Development. Company of Biologists. https://doi.org/10.1242/dev.01335'
chicago: 'Kruse, Karsten, Periklis Pantazis, Mark Tobias Bollenbach, Frank Julicher,
and Marcos Gonzalez Gaitan. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis:
Receptor Trafficking and the Diffusion Model.” Development. Company of
Biologists, 2004. https://doi.org/10.1242/dev.01335.'
ieee: 'K. Kruse, P. Pantazis, M. T. Bollenbach, F. Julicher, and M. Gonzalez Gaitan,
“Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking
and the diffusion model,” Development, vol. 131, no. 19. Company of Biologists,
pp. 4843–4856, 2004.'
ista: 'Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. 2004.
Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking
and the diffusion model. Development. 131(19), 4843–4856.'
mla: 'Kruse, Karsten, et al. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis:
Receptor Trafficking and the Diffusion Model.” Development, vol. 131, no.
19, Company of Biologists, 2004, pp. 4843–56, doi:10.1242/dev.01335.'
short: K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan,
Development 131 (2004) 4843–4856.
date_created: 2018-12-11T12:07:41Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T07:55:26Z
day: '01'
doi: 10.1242/dev.01335
extern: '1'
intvolume: ' 131'
issue: '19'
language:
- iso: eng
month: '01'
oa_version: None
page: 4843 - 4856
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '1893'
status: public
title: 'Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking
and the diffusion model'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 131
year: '2004'
...
---
_id: '4230'
alternative_title:
- Cellular Origin and Life in Extreme Habitats and Astrobiology
author:
- first_name: Harold
full_name: Harold Vladar
id: 2A181218-F248-11E8-B48F-1D18A9856A87
last_name: Vladar
orcid: 0000-0002-5985-7653
- first_name: Roberto
full_name: Cipriani, Roberto
last_name: Cipriani
- first_name: Benjamin
full_name: Scharifker, Benjamin
last_name: Scharifker
- first_name: Jose
full_name: Bubis, Jose
last_name: Bubis
citation:
ama: 'de Vladar H, Cipriani R, Scharifker B, Bubis J. A mechanism for the prebiotic
emergence of proteins. In: Hanslmeier A, Kempe S, Seckbach J, eds. Life in
the Universe From the Miller Experiment to the Search for Life on Other Worlds.
Springer; 2004:83-87.'
apa: de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A mechanism
for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, & J.
Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search
for Life on Other Worlds (pp. 83–87). Springer.
chicago: Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis.
“A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe
From the Miller Experiment to the Search for Life on Other Worlds, edited
by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
ieee: H. de Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A mechanism for the
prebiotic emergence of proteins,” in Life in the Universe From the Miller Experiment
to the Search for Life on Other Worlds, A. Hanslmeier, S. Kempe, and J. Seckbach,
Eds. Springer, 2004, pp. 83–87.
ista: 'de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A mechanism for the
prebiotic emergence of proteins. In: Life in the Universe From the Miller Experiment
to the Search for Life on Other Worlds. Cellular Origin and Life in Extreme Habitats
and Astrobiology, , 83–87.'
mla: de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.”
Life in the Universe From the Miller Experiment to the Search for Life on Other
Worlds, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.
short: H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S.
Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to
the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
date_created: 2018-12-11T12:07:44Z
date_published: 2004-12-31T00:00:00Z
date_updated: 2021-01-12T07:55:28Z
day: '31'
editor:
- first_name: A.
full_name: Hanslmeier,A.
last_name: Hanslmeier
- first_name: S.
full_name: Kempe,S.
last_name: Kempe
- first_name: J.
full_name: Seckbach,J.
last_name: Seckbach
extern: 1
month: '12'
page: 83 - 87
publication: Life in the Universe From the Miller Experiment to the Search for Life
on Other Worlds
publication_status: published
publisher: Springer
publist_id: '1884'
quality_controlled: 0
status: public
title: A mechanism for the prebiotic emergence of proteins
type: book_chapter
year: '2004'
...
---
_id: '4236'
article_processing_charge: No
author:
- first_name: Harold
full_name: de Vladar, Harold
id: 2A181218-F248-11E8-B48F-1D18A9856A87
last_name: de Vladar
orcid: 0000-0002-5985-7653
citation:
ama: de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias
de poblaciones celulares. 2004. doi:3810
apa: de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas
aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
chicago: Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas
Aleatorias de Poblaciones Celulares.” Centro de estudios avazados, IVIC, 2004.
https://doi.org/3810.
ieee: H. de Vladar, “Métodos no lineales y sus aplicaciones en dinámicas aleatorias
de poblaciones celulares,” Centro de estudios avazados, IVIC, 2004.
ista: de Vladar H. 2004. Métodos no lineales y sus aplicaciones en dinámicas aleatorias
de poblaciones celulares. Centro de estudios avazados, IVIC.
mla: de Vladar, Harold. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias
de Poblaciones Celulares. Centro de estudios avazados, IVIC, 2004, doi:3810.
short: H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias
de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
date_created: 2018-12-11T12:07:46Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T07:55:30Z
day: '01'
doi: '3810'
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
publication_status: published
publisher: Centro de estudios avazados, IVIC
publist_id: '1877'
status: public
title: Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones
celulares
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2004'
...
---
_id: '4238'
abstract:
- lang: eng
text: The dynamical basis of tumoral growth has been controversial. Many models
have been proposed to explain cancer development. The descriptions employ exponential,
potential, logistic or Gompertzian growth laws. Some of these models are concerned
with the interaction between cancer and the immunological, system. Among other
properties, these models are concerned with the microscopic behavior of tumors
and the emergence of cancer. We propose a modification of a previous model by
Stepanova, which describes the specific immunological response against cancer.
The modification consists of the substitution of a Gompertian law for the exponential
rate used for tumoral growth. This modification is motivated by the numerous works
confirming that Gompertz's equation correctly describes solid tumor growth. The
modified model predicts that near zero, tumors always tend to grow. Immunological
contraposition never suffices to induce a complete regression of the tumor. Instead,
a stable microscopic equilibrium between cancer and immunological activity can
be attained. In other words, our model predicts that the theory of immune surveillance
is plausible. A macroscopic equilibrium in which the system develops cancer is
also possible. In this case, immunological activity is depleted. This is consistent
with the phenomena of cancer tolerance. Both equilibrium points can coexist or
can exist without the other. In all cases the fixed point at zero tumor size is
unstable. Since immunity cannot induce a complete tumor regression, a therapy
is required. We include constant-dose therapies and show that they are insufficient.
Final levels of immunocompetent cells and tumoral cells are finite, thus post-treatment
regrowth of the tumor is certain. We also evaluate late-intensification therapies
which are successful. They induce an asymptotic regression to zero tumor size.
Immune response is also suppressed by the therapy, and thus plays a negligible
role in the remission. We conclude that treatment evaluation should be successful
without taking into account immunological effects. (C) 2003 Elsevier Ltd. All
rights reserved.
article_processing_charge: No
author:
- first_name: Harold
full_name: de Vladar, Harold
id: 2A181218-F248-11E8-B48F-1D18A9856A87
last_name: de Vladar
orcid: 0000-0002-5985-7653
- first_name: J.
full_name: González, J.
last_name: González
citation:
ama: de Vladar H, González J. Dynamic response of cancer under the influence of
immunological activity and therapy. Journal of Theoretical Biology. 2004;227(3):335-348.
doi:3801
apa: de Vladar, H., & González, J. (2004). Dynamic response of cancer under
the influence of immunological activity and therapy. Journal of Theoretical
Biology. Elsevier. https://doi.org/3801
chicago: Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the
Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology.
Elsevier, 2004. https://doi.org/3801.
ieee: H. de Vladar and J. González, “Dynamic response of cancer under the influence
of immunological activity and therapy,” Journal of Theoretical Biology,
vol. 227, no. 3. Elsevier, pp. 335–348, 2004.
ista: de Vladar H, González J. 2004. Dynamic response of cancer under the influence
of immunological activity and therapy. Journal of Theoretical Biology. 227(3),
335–348.
mla: de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence
of Immunological Activity and Therapy.” Journal of Theoretical Biology,
vol. 227, no. 3, Elsevier, 2004, pp. 335–48, doi:3801.
short: H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.
date_created: 2018-12-11T12:07:46Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T07:55:31Z
day: '01'
doi: '3801'
extern: '1'
intvolume: ' 227'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 335 - 348
publication: Journal of Theoretical Biology
publication_status: published
publisher: Elsevier
publist_id: '1876'
status: public
title: Dynamic response of cancer under the influence of immunological activity and
therapy
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 227
year: '2004'
...
---
_id: '4239'
alternative_title:
- Cellular Origin, Life in Extreme Habitats and Astrobiology
author:
- first_name: Harold
full_name: Harold Vladar
id: 2A181218-F248-11E8-B48F-1D18A9856A87
last_name: Vladar
orcid: 0000-0002-5985-7653
- first_name: Roberto
full_name: 'Cipriani, Roberto '
last_name: Cipriani
- first_name: Benjamin
full_name: Scharifker, Benjamin
last_name: Scharifker
- first_name: Jose
full_name: Bubis, Jose
last_name: Bubis
citation:
ama: 'de Vladar H, Cipriani R, Scharifker B, Bubis J. A Mechanism for the Prebiotic
Emergence of Proteins. In: Seckbach J, Chela Flores J, Owen T, Raulin F, eds.
Life in the Universe From the Miller Experiment to the Search for Life on Other
Worlds. Vol 7. Springer; 2004:83-87. doi:3807'
apa: de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A Mechanism
for the Prebiotic Emergence of Proteins. In J. Seckbach, J. Chela Flores, T. Owen,
& F. Raulin (Eds.), Life in the Universe From the Miller Experiment to
the Search for Life on Other Worlds (Vol. 7, pp. 83–87). Springer. https://doi.org/3807
chicago: Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis.
“A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe
From the Miller Experiment to the Search for Life on Other Worlds, edited
by J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, 7:83–87. Springer, 2004.
https://doi.org/3807.
ieee: H. de Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A Mechanism for the
Prebiotic Emergence of Proteins,” in Life in the Universe From the Miller Experiment
to the Search for Life on Other Worlds, vol. 7, J. Seckbach, J. Chela Flores,
T. Owen, and F. Raulin, Eds. Springer, 2004, pp. 83–87.
ista: 'de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A Mechanism for the
Prebiotic Emergence of Proteins. In: Life in the Universe From the Miller Experiment
to the Search for Life on Other Worlds. Cellular Origin, Life in Extreme Habitats
and Astrobiology, vol. 7, 83–87.'
mla: de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.”
Life in the Universe From the Miller Experiment to the Search for Life on Other
Worlds, edited by J. Seckbach et al., vol. 7, Springer, 2004, pp. 83–87, doi:3807.
short: H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, J. Seckbach, J.
Chela Flores, T. Owen, F. Raulin (Eds.), Life in the Universe From the Miller
Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
date_created: 2018-12-11T12:07:47Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T07:55:32Z
day: '01'
doi: '3807'
editor:
- first_name: J.
full_name: Seckbach,J.
last_name: Seckbach
- first_name: J.
full_name: Chela-Flores,J.
last_name: Chela Flores
- first_name: T.
full_name: Owen,T.
last_name: Owen
- first_name: F.
full_name: Raulin,F.
last_name: Raulin
extern: 1
intvolume: ' 7'
month: '01'
page: 83 - 87
publication: Life in the Universe From the Miller Experiment to the Search for Life
on Other Worlds
publication_status: published
publisher: Springer
publist_id: '1875'
quality_controlled: 0
status: public
title: A Mechanism for the Prebiotic Emergence of Proteins
type: book_chapter
volume: 7
year: '2004'
...
---
_id: '4253'
abstract:
- lang: eng
text: We consider a single genetic locus which carries two alleles, labelled P and
Q. This locus experiences selection and mutation. It is linked to a second neutral
locus with recombination rate r. If r = 0, this reduces to the study of a single
selected locus. Assuming a Moran model for the population dynamics, we pass to
a diffusion approximation and, assuming that the allele frequencies at the selected
locus have reached stationarity, establish the joint generating function for the
genealogy of a sample from the population and the frequency of the P allele. In
essence this is the joint generating function for a coalescent and the random
background in which it evolves. We use this to characterize, for the diffusion
approximation, the probability of identity in state at the neutral locus of a
sample of two individuals (whose type at the selected locus is known) as solutions
to a system of ordinary differential equations. The only subtlety is to find the
boundary conditions for this system. Finally, numerical examples are presented
that illustrate the accuracy and predictions of the diffusion approximation. In
particular, a comparison is made between this approach and one in which the frequencies
at the selected locus are estimated by their value in the absence of fluctuations
and a classical structured coalescent model is used.
author:
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Alison
full_name: Etheridge, Alison M
last_name: Etheridge
- first_name: Anja
full_name: Sturm, Anja K
last_name: Sturm
citation:
ama: Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals
of Applied Probability. 2004;14(2):754-785.
apa: Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random
Background. Annals of Applied Probability. Institute of Mathematical Statistics.
chicago: Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a
Random Background.” Annals of Applied Probability. Institute of Mathematical
Statistics, 2004.
ieee: N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,”
Annals of Applied Probability, vol. 14, no. 2. Institute of Mathematical
Statistics, pp. 754–785, 2004.
ista: Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background.
Annals of Applied Probability. 14(2), 754–785.
mla: Barton, Nicholas H., et al. “Coalescence in a Random Background.” Annals
of Applied Probability, vol. 14, no. 2, Institute of Mathematical Statistics,
2004, pp. 754–85.
short: N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004)
754–785.
date_created: 2018-12-11T12:07:52Z
date_published: 2004-05-01T00:00:00Z
date_updated: 2021-01-12T07:55:38Z
day: '01'
extern: 1
intvolume: ' 14'
issue: '2'
main_file_link:
- open_access: '0'
url: http://www.jstor.org/stable/4140427
month: '05'
page: 754 - 785
publication: Annals of Applied Probability
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '1842'
quality_controlled: 0
status: public
title: Coalescence in a Random Background
type: journal_article
volume: 14
year: '2004'
...
---
_id: '4372'
alternative_title:
- LNCS
author:
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Dejan
full_name: Dejan Nickovic
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
citation:
ama: 'Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals.
In: Springer; 2004:152-166. doi:1572'
apa: 'Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous
Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis
of Timed Systems, Springer. https://doi.org/1572'
chicago: Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous
Signals,” 152–66. Springer, 2004. https://doi.org/1572.
ieee: 'O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,”
presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004,
pp. 152–166.'
ista: 'Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals.
FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.'
mla: Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous
Signals. Springer, 2004, pp. 152–66, doi:1572.
short: O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
conference:
name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
date_created: 2018-12-11T12:08:31Z
date_published: 2004-12-14T00:00:00Z
date_updated: 2021-01-12T07:56:29Z
day: '14'
doi: '1572'
extern: 1
month: '12'
page: 152 - 166
publication_status: published
publisher: Springer
publist_id: '1088'
quality_controlled: 0
status: public
title: Monitoring Temporal Properties of Continuous Signals
type: conference
year: '2004'
...
---
_id: '4424'
abstract:
- lang: eng
text: "The enormous cost and ubiquity of software errors necessitates the need for
techniques and tools that can precisely analyze large systems and prove that they
meet given specifications, or if they don't, return counterexample behaviors showing
how the system fails. Recent advances in model checking, decision procedures,
program analysis and type systems, and a shift of focus to partial specifications
common to several systems (e.g., memory safety and race freedom) have resulted
in several practical verification methods. However, these methods are either precise
or they are scalable, depending on whether they track the values of variables
or only a fixed small set of dataflow facts (e.g., types), and are usually insufficient
for precisely verifying large programs.\r\n\r\nWe describe a new technique called
Lazy Abstraction (LA) which achieves both precision and scalability by localizing
the use of precise information. LA automatically builds, explores and refines
a single abstract model of the program in a way that different parts of the model
exhibit different degrees of precision, namely just enough to verify the desired
property. The algorithm automatically mines the information required by partitioning
mechanical proofs of unsatisfiability of spurious counterexamples into Craig Interpolants.
For multithreaded systems, we give a new technique based on analyzing the behavior
of a single thread executing in a context which is an abstraction of the other
(arbitrarily many) threads. We define novel context models and show how to automatically
infer them and analyze the full system (thread + context) using LA.\r\n\r\nLA
is implemented in BLAST. We have run BLAST on Windows and Linux Device Drivers
to verify API conformance properties, and have used it to find (or guarantee the
absence of) data races in multithreaded Networked Embedded Systems (NESC) applications.
BLAST is able to prove the absence of races in several cases where earlier methods,
which depend on lock-based synchronization, fail."
article_processing_charge: No
author:
- first_name: Ranjit
full_name: Jhala, Ranjit
last_name: Jhala
citation:
ama: Jhala R. Program verification by lazy abstraction. 2004:1-165.
apa: Jhala, R. (2004). Program verification by lazy abstraction. University
of California, Berkeley.
chicago: Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of
California, Berkeley, 2004.
ieee: R. Jhala, “Program verification by lazy abstraction,” University of California,
Berkeley, 2004.
ista: Jhala R. 2004. Program verification by lazy abstraction. University of California,
Berkeley.
mla: Jhala, Ranjit. Program Verification by Lazy Abstraction. University
of California, Berkeley, 2004, pp. 1–165.
short: R. Jhala, Program Verification by Lazy Abstraction, University of California,
Berkeley, 2004.
date_created: 2018-12-11T12:08:47Z
date_published: 2004-12-01T00:00:00Z
date_updated: 2021-01-12T07:56:52Z
day: '01'
extern: '1'
language:
- iso: eng
month: '12'
oa_version: None
page: 1 - 165
publication_status: published
publisher: University of California, Berkeley
publist_id: '307'
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: Program verification by lazy abstraction
type: dissertation
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2004'
...
---
_id: '4445'
abstract:
- lang: eng
text: We present a type system for E code, which is an assembly language that manages
the release, interaction, and termination of real-time tasks. E code specifies
a deadline for each task, and the type system ensures that the deadlines are path-insensitive.
We show that typed E programs allow, for given worst-case execution times of tasks,
a simple schedulability analysis. Moreover, the real-time programming language
Giotto can be compiled into typed E~code. This shows that typed E~code identifies
an easily schedulable yet expressive class of real-time programs. We have extended
the Giotto compiler to generate typed E code, and enabled the run-time system
for E code to perform a type and schedulability check before executing the code.
acknowledgement: This research was supported in part by the AFOSR MURI grant F49620-00-1-0327
and by the NSF grants CCR- 0208875 and CCR-0225610.
author:
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Christoph
full_name: Kirsch, Christoph M
last_name: Kirsch
citation:
ama: 'Henzinger TA, Kirsch C. A typed assembly language for real-time programs.
In: ACM; 2004:104-113. doi:10.1145/1017753.1017774'
apa: 'Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time
programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774'
chicago: Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for
Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
ieee: 'T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,”
presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.'
ista: 'Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs.
EMSOFT: Embedded Software , 104–113.'
mla: Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for
Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
short: T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
conference:
name: 'EMSOFT: Embedded Software '
date_created: 2018-12-11T12:08:53Z
date_published: 2004-09-01T00:00:00Z
date_updated: 2021-01-12T07:57:01Z
day: '01'
doi: 10.1145/1017753.1017774
extern: 1
month: '09'
page: 104 - 113
publication_status: published
publisher: ACM
publist_id: '285'
quality_controlled: 0
status: public
title: A typed assembly language for real-time programs
type: conference
year: '2004'
...